v1.5 관측 계약은 Rust 레퍼런스와 LIL과 LIT를 세 구현 계보로 비교하며 정확한 실행기와 아티팩트와 호스트 경로와 출처 표지를 보존합니다.
현재 보장
- 모든 실행기는 버전된 관측 계약을 통해 값·출력, 진단, 상태, 경고, 선언 자원 관측, 아티팩트 동일성, 한도, 출처를 노출합니다.
- LIL은 Lispex로 작성한 호스팅 인터프리터이고 LIT는 Topaz로 옮긴 인터프리터입니다. 현재 LIL은 primitive capability 205행 가운데 85행을 지원하고 120행을 거부하며, LIT는 별도로 84행 지원과 121행 거부를 유지합니다.
- 설치 제품 영수증은 144사례에서 구현 계보마다 하나의 호스트 경로를 실행합니다. 구현 계보 쌍 일치 253건과 차이 179건을 기록하며 쌍별 결과는 Rust/LIL 61/83과 Rust/LIT 65/79와 LIL/LIT 127/17이고 전체 구현 계보 일치는 59사례입니다.
- 별도 내부 Topaz 5.7.0 증거는 버전된 4호스트 검사 표면에서 인터프리터와 생성 Rust와 생성 Python과 Web 경로의 LIT 호스트 일치를 봉인합니다.
현재 백엔드 상태
| 표면 | 구현 / 출처 | 현재 증거 경계 |
|---|---|---|
| 네이티브 CLI | Rust 레퍼런스 인터프리터; same-origin-reference | 현재; 전체 네이티브 CLI와 이름 붙은 영수증 |
| 공개 WASM / 플레이그라운드 | 같은 Rust 계보의 WASM 컴파일 | 현재 같은 계보 관측; 프로필별 한도 |
| npm CLI | 공개 WASM·JS 표면의 Node 패키징 | 현재 패키징; 명령 부분집합은 네이티브와 다름 |
| Lispex-in-Lispex | Lispex로 작성한 호스팅 인터프리터이자 하나의 LIL 구현 계보 | 현재 capability 계약은 85/205행이며 공개된 84행 공동 영수증 스냅샷에서 Rust/LIL 쌍은 61사례 일치하고 83사례 다름 |
| Lispex-in-Topaz 인터프리터 경로 | Topaz로 옮긴 하나의 LIT 구현 계보이며 소스 독립성 주장은 없음 | primitive capability 84/205행을 지원하며 공동 영수증의 Rust/LIT 쌍은 65사례 일치하고 79사례 다름 |
| Lispex-in-Topaz 호스트 경로 | 같은 정본 LIT 소스를 인터프리터와 생성 Rust와 생성 Python과 Web에서 실행 | 내부 Topaz 5.7.0 증거가 버전된 4호스트 검사 표면을 봉인하며 공개 Topaz는 v5.6.3 유지 |
| Rust/LIL/LIT 공동 영수증 | 세 구현 계보와 구현 계보마다 하나의 설치 제품 경로 | 144사례와 실행 432회에서 전체 구현 계보 일치 59사례와 쌍 일치 253건과 공개된 쌍 차이 179건 |
| 확장 생성 캠페인 | 같은 Rust 구현 계보의 네이티브와 WASM 경로 | 저장 사례 11,088개에서 자연 발생 차이와 인프라 실패가 모두 0건이며 세 구현 계보 영수증은 아님 |
경계
- Rust 레퍼런스·LIL·LIT 구현 계보 내부의 호스트 변형은 독립 증인이 아닙니다.
- LIT의 소스 독립성을 주장하지 않습니다. 행렬은 기록된 표면에 한정되며 전체 언어 의미 동등성이나 그 밖의 무차이를 세우지 않습니다.