로봇 정책·릴리스·사고 증거를 결정론적으로 인증하는 플랫폼.
certify → stage → verify+ hash-chain 인증 원장 — 하나의 커널, N개 도메인 팩. HELIX Condense 레시피가 robotics/release 군집에서 자동 emit한 4번째-stra플랫폼.
Certstra는 하나의 결정론 인증 커널 + N개 도메인 팩 구조다. HELIX corpus의 robotics/release 군집(CertMesh·ReleaseMesh·RoboTrace·RouteSentinel·OrbiRoam)이 공유하는 인증 기계(certification-drift verdict + provenance + staged rollout)를 커널로 승격하고, 각 도메인을 팩으로 얹는다.
🔗 생태계 데모: stra-demo — route → clear → certify → attest가 한 결정을 함께 처리하는 end-to-end 데모.
| 플랫폼 | 동사 | 역할 |
|---|---|---|
| Attestra | attest | 위임 행위 증언 |
| Clearstra | clear | 시장 청산 |
| Routestra | route | 자원 라우팅 |
| Certstra | certify | 로봇 정책·릴리스 인증 |
| Scorestra | score | 가중 스코어 → 등급 분류 (Condense emit) |
앞 네 플랫폼은 verdict severity 대수를 공유한다: Certstra의 certifiable < needs_review < blocked는
Attestra valid/thin/breach와 정렬(to_attestra_verdict) → 인증 결과를 Attestra가 증언 가능.
Scorestra는 verdict가 아니라 등급 tier(가중 score→분류)를 내는 5번째 형제(2번째 Condense emit).
Attestra·Clearstra·Routestra는 손으로 만들었다. Certstra는 그 3회를 정식화한 HELIX Condense
레시피(_workspace/condense/U2-condense-recipe.md)를 robotics/release 군집에 적용해 반자동으로
emit된 첫 플랫폼이다 — "HELIX가 프로젝트가 아니라 플랫폼을 만든다"의 실증.
- 재사용 machine(검증 완료): ledger(M1)·fingerprint(M14)·determinism·verdict(M2)·provenance(M4) →
기존
-stra커널에서 이식. - 신규 machine:
stage_schedule(M12 staged rollout) — 이 군집 고유.
| 단계 | 커널 함수 | 실코드 근거 |
|---|---|---|
| certify | certify(checks) — severity 병합 |
CertMesh.certify (drift → certifiable/needs_review/blocked) |
| stage | plan_stages(release, schedule) — 단계적 rollout + go/halt |
ReleaseMesh 계승 (M12, 신규) |
| verify | verify_provenance(record, chain) |
RoboTrace 사고증거 / OrbiRoam hash-chain 인가 |
cert-mesh가 레퍼런스 팩(CertMesh parity).
cert-mesh(레퍼런스) · release-mesh(certify+stage) · robo-trace(certify) · orbi-roam(궤도 tasking
인가 — HELIX machine-aware routing이 corpus에서 흡수한 첫 certify 팩: authorized/review_required/
blocked ≅ certifiable/needs_review/blocked, 원본과 parity 테스트 동봉). 각 팩은 source_project로
원본(github.com/sadpig70/*) 추적. (route-sentinel은 로봇 detour/rollback 시뮬레이션 엔진이라 단일
certify primitive로 환원 안 돼 defer.)
커널·팩 = 순수 stdlib, 시계·네트워크·AI 없음. 시간은 주입(now), hash에서 시간 메타 제외. certstra determinism → clean.
MIT License © 2026 sadpig70 (Jung Wook Yang)