Lispex는 Rust 레퍼런스와 함께 한정 LIL과 LIT 실행 경로를 공개하며 capability 한계와 측정된 차이를 그대로 드러냅니다.
현재 보장
- Lispex-in-Lispex인 LIL은 Lispex로 작성해 호스팅 소스로 실행하는 인터프리터입니다. 현재 primitive capability 205행 가운데 85행을 지원하고 나머지 120행은 명시적으로 거부합니다.
- Lispex-in-Topaz인 LIT는 고정 Lispex 프로필을 Topaz로 옮긴 인터프리터입니다. 별도로 추적하는 84/205 capability 경계를 유지하며 내부 증거는 인터프리터와 생성 Rust와 생성 Python과 Web 경로의 버전된 4호스트 검사 표면을 봉인합니다.
- 공동 Rust/LIL/LIT 영수증은 144사례와 설치 백엔드 실행 432회를 다룹니다. 전체 구현 계보 일치 59사례와 구현 계보 쌍 일치 253건과 공개된 쌍 차이 179건을 기록합니다.
- 별도의 같은 Rust 계보 캠페인은 생성 사례 11,088개를 저장하며 자연 발생 차이와 인프라 실패가 모두 0건입니다.
계획된 구현선
| 구현선 | 현재 상태 | 완료 신호 |
|---|---|---|
| Rust 레퍼런스 | 현재 운영 레퍼런스 | primitive capability 205행 전체를 지원하며 네이티브 npm WASM 플레이그라운드 배포 계보를 식별 |
| Lispex-in-Lispex | 한정 LIL 실행선으로 공개 | Lispex로 작성한 호스팅 인터프리터가 primitive 84/205행과 guest-calling 6/18행을 지원하고 나머지는 명시적으로 거부 |
| Lispex-in-Topaz | 한정 LIT 옮김 실행선으로 공개 | Topaz로 작성한 인터프리터가 같은 84/205 및 6/18 capability 경계를 지원하며 소스 독립성 주장은 없음 |
| LIT 호스트 일치 | 내부 증거로 봉인 | 인터프리터와 생성 Rust와 생성 Python과 Web 경로가 정확한 버전 4호스트 검사 표면에서 일치 |
| Rust/LIL/LIT 공동 영수증 | 144사례에서 current-bounded | 설치 백엔드 실행 432회에서 전체 구현 계보 일치 59사례와 쌍 일치 253건과 공개된 쌍 차이 179건을 기록 |
| 확장 생성 캠페인 | 저장 사례 11,088개에서 봉인 | 같은 Rust 계보의 네이티브와 WASM 경로에서 자연 발생 차이와 인프라 실패가 모두 0건 |
| 호스팅 capability 확장 | 현재 점진 작업 | Rust 의미론을 약화하거나 미지원 행과 차이를 숨기지 않고 별도로 추적하는 LIL 85/205와 LIT 84/205 경계를 확대 |
| 기계화 | 장기 연구 방향 | 이름 붙은 기계검증 아티팩트가 명시한 모델·가정 범위만 닫음 |
경계
- 로드맵 항목은 구현 방향이며 출시 날짜나 버전 번호를 약속하지 않습니다.
- 내부 Topaz 통합 봉인은 LIT 호스트 일치 증거이며 공개 Topaz 릴리스가 아닙니다.
- LIT는 별도 구현 계보이지만 이 릴리스는 LIT의 소스 독립성을 주장하지 않습니다. 생성 호스트 경로는 하나의 LIT 소스에서 나온 변형이며 추가 독립 구현이 아닙니다.
- 11,088사례 무차이 결과는 세 구현 계보 N-way 결과가 아닙니다. 같은 Rust 구현 계보의 네이티브와 WASM 패키징을 비교합니다.
- 이 한정 영수증은 전체 언어 동등성이나 형식 검증이나 재현 가능한 빌드나 범위 없는 무차이를 세우지 않습니다.