차등 영수증
csk.differential-receipt/v0은 결정 프로파일 규칙 하나와 정확한 입력과 tree와
lowered 관측과 해시와 계약 버전을 기록합니다. 네이티브는
lispex diff-receipt로 만들고, 네이티브와 npm은 lispex verify로 검사하며
lispex replay로 코퍼스를 비교합니다.
아티팩트 역할
| 아티팩트 | 기록 | 소비자 |
|---|---|---|
csk.differential-receipt/v0 | 정확한 규칙과 입력과 lowering과 관측과 버전과 해시 | 구조 verify와 코퍼스 replay |
csk.vouch-input-bundle/v0 | 정확한 봉투와 소스와 입력 바이트 | 인증형 vouch verify |
| 신뢰 정책 v1 | 수신자가 고른 키와 엔진과 프로필과 소스 식별자 | 인증 |
| 인증 보고서 | 정확히 결속한 컨텍스트의 서명과 정책 결과 | 운영 진단과 네이티브 재실행 |
lispex.vouch-compiled-artifact/v1 | 소스 식별자와 Core IR과 검증 바이트코드와 검증기와 VM과 자원 프로필 | 컴파일 검사와 네이티브 컴파일 재실행 |
csk.native-reexecution-report/v0 | 인증과 현재 tree와 Meaning 일치 | 로컬 게이트 |
csk.native-compiled-reexecution-report/v1 | 요청 결속 인증과 현재 tree와 Meaning 일치와 정확한 재유도와 현재 검증 Rust VM 일치 | 컴파일 로컬 게이트 |
| 토파즈 VM 요청과 결과와 비교 | 설치 제품 계보와 정확한 바이트코드 관측 | 엔지니어링 검사와 비교 |
| 토파즈 AOT 제품과 보고서 | 설치 실행 파일 계보와 소스 맵과 자원 요청과 관측 | AOT inspect와 validate와 run과 경로 비교 |
| 네 경로 보고서 | 소스와 입력과 Core IR과 바이트코드와 네 관측과 의미 축과 자원 축과 계보 | 엔지니어링 검사 |
csk.native-gate-report/v0 | 요구 결정의 현재 로컬 승인 또는 거부 | 호스트 애플리케이션 |
csk.native-compiled-gate-report/v1 | 현재 컴파일 로컬 승인 또는 거부 | 호스트 애플리케이션 |
| 브릿지 보고서 | 외부 엔진 아티팩트 결속과 식별자와 선언 게이트 | lispex verify-bridge와 수신자 정책 |
| 리플레이 보고서 | 선택 코퍼스의 일치와 불일치와 비교 상태 | 규칙 검토 흐름 |
현재 결정 사슬
서명 봉투
→ 수신자 정책 인증
→ 정확한 외부 요청 결속
→ 현재 tree와 Meaning 재실행
→ 선택형 정확한 재유도와 검증 Rust VM 일치
→ 요구 결정 로컬 게이트
→ 호스트 애플리케이션 행동각 전이는 같은 네이티브 프로세스에서 앞 단계의 타입 결과를 소비합니다. 보고서는 애플리케이션 검사와 기록을 위해 전이를 남깁니다.
명령
SH
lispex diff-receipt --input input.datum rule.lspx > receipt.json
lispex verify receipt.json --source rule.lspx
lispex replay corpus --against receipts
lispex vouch verify ... --report-out authenticated.json
lispex vouch verify ... --reexecute --report-out current.json
lispex vouch gate ... --require-decision approve --report-out gate.json
lispex vouch compiled build --source rule.lspx --out rule.lpxvca
lispex vouch compiled validate --artifact rule.lpxvca --source rule.lspx
lispex vouch verify ... --reexecute --compiled-artifact rule.lpxvca수신자 정책은 허용할 식별자와 소스를 소유합니다. 네이티브는 현재 재실행과 로컬 게이트를 소유합니다. 호스트 애플리케이션은 실행자와 시각과 요청 고유성과 트랜잭션 상태와 외부 행동을 소유합니다.