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