bundle은 로컬 gate가 사용할 요청을 선택할 수 없습니다. 네이티브 권한은 한 호출 안에서 인증, 외부 source·input의 정확한 결속, 현재 완전 transcript 일치, 명시한 요구 결정을 모두 요구합니다.
작업 방법
diff-receipt는 고정 입력으로 검사 프로필 규칙을 평가하고csk.differential-receipt/v0을 출력합니다.- 네이티브
lispex vouch issue는 제공된 소스와 입력으로 영수증을 직접 구성하고 발행 가능성 게이트를 적용한 뒤 Ed25519 키로 정규 페이로드를 DSSE 봉투에 서명합니다. - 네이티브와 npm의
lispex vouch verify는 소비자가 제공한 신뢰와 고정 컨텍스트에 대해 봉투를 인증하고 같은 바이트에 대해 바이트 단위로 동일한csk.native-verify-report/v0을 냅니다. 네이티브--reexecute는 살아 있는 request-bound evidence만 받으며--bundle에서는 외부--source와--input이 모두 필수입니다. lispex vouch gate ... --source RULE --input INPUT --require-decision approve --report-out GATE-REPORT는 인증, 요청 결속, 현재 재실행, 결정 비교를 내부에서 수행합니다. 종료 0은 살아 있는 일치 grant가 있어야 하며 10은 인증된 현재 실행에서 일치 grant를 만들지 못했음을 뜻합니다.lispex vouch inspect는 비서명 구조와 정합성을 검사하고 npmlispex vouch replay는 고정 코퍼스를 변경 전후로 비교합니다. 어느 작업도 출처를 인증하지 않습니다.- Bridge 보고서는 별도 검사기를 쓰는 외부 엔진 아티팩트 클래스입니다.
- bundle은 로컬 gate가 사용할 요청을 선택할 수 없습니다. 네이티브 재실행은 비공개 request-bound evidence만 받고 현재 완전 transcript 일치와 요구 결정의 정확한 동일성 뒤에만 grant를 만듭니다.
경계
- 유효한 네이티브 서명은 제공된 신뢰 정책에 따라 허가된 키가 정확히 검사된 페이로드에 서명했음을 세웁니다. 사람이나 조직의 신원, 서명 시각, 정직한 배포, 정책 정당성, 검사 표면을 넘는 의미적 동등성은 세우지 않습니다.
- 발행, 검증자 재실행, 로컬 결정 gate는 네이티브 전용입니다. npm은 인증 verify, 구조 inspect, replay를 제공하지만 살아 있는 evidence handle이나 보고서 승격 API를 노출하지 않으며 공개 WASM과 플레이그라운드는 평가만 제공하고 인증 Vouch 표면은 없습니다.
- gate grant는 프로세스 내부 로컬 결과이며 전송 가능한 토큰, 신선도나 replay 방지, 신원 증명, 정책 정당성 증명, 외부 행위 권한이 아닙니다. 직렬화 gate·재실행·인증·Bridge 보고서는 grant로 승격할 수 없습니다.
- 네이티브 영수증과 Bridge 보고서는 의도적으로 혼동할 수 없는 아티팩트 형태입니다.