Rust 인터프리터는 계속 운영 레퍼런스이며 버전된 어댑터는 선언된 검사 표면에서 Rust와 LIL과 LIT를 하나의 fail-closed 관측 계약으로 노출합니다.
현재 보장
- 평가는 호스트 unwind 대신 명시적 결과, 신호, 트램펄린을 사용합니다.
- 백엔드 descriptor는 인터프리터 종류, 호출 프로토콜, 아티팩트 동일성, 지원 축, 출처, 자원 프로필을 기록합니다.
- 외부 admission은 fail-closed입니다. 공동 영수증은 144사례 각각을 실행한 Rust와 LIL과 LIT 제품 실행기 아티팩트와 한도와 관측과 재생에 결합합니다.
- Vouch 제품 기능은 표면별로 다릅니다. 네이티브는 key/engine/source/input identity·policy 도구·발행·인증·재실행·로컬 gate·검사를 제공하고 npm은 같은 identity 도구·policy 도구·인증·검사·코퍼스 replay를 제공하며 WASM과 플레이그라운드는 Vouch 없이 평가합니다.
- 리스펙스 이미지는 네이티브와 WASM 표면이 공유하는 하나의 Rust 제품 코어가 구현하는 공식 소스 표현입니다. 정확히 복원한 뒤에는 기존 reader와 evaluator 의미론이 그대로이며, LIL이나 LIT는 복원한 소스에 대한 기존 실행 경로로만 선택할 수 있습니다.
실행기 admission 필드
| 필드 | 요구사항 | 거부 경계 |
|---|---|---|
| 백엔드 종류 | interpreter | compiler 종류 거부 |
| 호출 | 결정적 framing의 버전 명령·프로토콜 | 형식 오류, 중복, 비요청, 버전 drift 응답 |
| 아티팩트 동일성 | 실행 바이너리·WASM·glue 바이트 식별 | 기록 동일성과 실행 아티팩트 불일치 |
| 출처 | 선언된 같은 계보·외부 상태 | 독립 증인으로 몰래 승격 |
| 자원 프로필 | 이름 붙은 한도와 보고 지원 | 동일 임계값 과대주장 |
| admission 범위 | 정확한 버전 코퍼스, 구현 계보, 호스트 변형 | 한정 관측을 백엔드 전체·전체 언어 주장으로 몰래 확대 |
경계
- 패키징·생성 코드 타깃은 자동으로 별도 구현이나 독립 증인이 되지 않습니다.
- LIT 인터프리터와 생성 Rust와 생성 Python과 Web 경로는 하나의 Topaz 소스에서 나온 호스트 변형입니다. 내부 4호스트 일치는 144사례 공동 영수증을 확장하거나 소스 독립성을 세우지 않습니다.