(리스펙스)

이 순서로 생각하세요

모든 실행기는 버전된 관측 계약을 통해 값·출력, 진단, 상태, 경고, 선언 자원 관측, 아티팩트 동일성, 한도, 출처를 노출합니다.
LIL은 Lispex로 작성한 호스팅 인터프리터이고 LIT는 Topaz로 옮긴 인터프리터입니다. 현재 LIL은 primitive capability 205행 전체를 지원하며, LIT는 별도로 84행 지원과 121행 거부를 유지합니다.
설치 제품 영수증은 144사례에서 구현 계보마다 하나의 호스트 경로를 실행합니다. 구현 계보 쌍 일치 253건과 차이 179건을 기록하며 쌍별 결과는 Rust/LIL 61/83과 Rust/LIT 65/79와 LIL/LIT 127/17이고 전체 구현 계보 일치는 59사례입니다.
별도 내부 증거는 버전된 4호스트 검사 표면에서 인터프리터와 생성 Rust와 생성 Python과 Web 경로의 LIT 호스트 일치를 봉인합니다.
네이티브 lispex.rust-engine-comparison/v1은 Rust tree와 검증된 바이트코드 VM을 별도로 비교합니다. 정확한 중간 식별자와 fallback 횟수를 보존하지만 새 백엔드 계보를 추가하지 않습니다.
네이티브 lispex.topaz-vm-comparison/v1은 한 번 유도한 바이트코드를 Rust VM과 정확한 설치형 Topaz VM에서 따로 실행합니다. 별도 VM 계보를 기록하지만 역사적 Rust/LIL/LIT 공동 영수증을 다시 쓰지 않습니다.
네이티브 lispex.route-comparison/v1은 한 소스·Core IR·바이트코드 요청을 유도해 tree·Rust VM·정확한 Topaz VM·일치하는 AOT 제품을 명시적으로 관측합니다. 의미 축과 비교 가능한 바이트코드 비용 자원을 따로 검사하며 tree에 없는 수치는 없는 그대로 둡니다.

179개 쌍 차이가 생긴 이유

역사 영수증의 모든 비교쌍에는 결정적으로 산출한 주된 분류가 하나씩 붙습니다. “분류됨”은 원인이 기계로 보인다는 뜻이지, 그 차이를 허용하거나 고쳤다는 뜻이 아닙니다.

주된 분류	쌍 수	읽는 법
`capability-unsupported-loud`	115	한정 백엔드 하나 이상이 구현하지 않은 capability를 명시적으로 거부
`different-disposition-known-defect`	46	실행 또는 오류 단계가 서로 다름
`diagnostic-projection-difference`	2	실행 단계는 같지만 진단이나 경고가 다름
`host-resource-profile`	10	이름 붙은 자원 표면이나 자원 결과가 다름
`semantic-mismatch`	6	같은 실행 단계의 관측 차이로, 아직 조사해야 함

전체 원장은 구현 계보 쌍 432건, 일치 253건, 차이 179건이며 현재 unclassified 차이는 0건입니다. 새 차이는 이유와 근거가 기록될 때까지 미분류 상태로 닫힌 채 실패합니다.

현재 백엔드 상태

표면	구현 / 출처	현재 증거 경계
네이티브 CLI	기본 tree와 명시적 검증 바이트코드 VM을 가진 Rust 레퍼런스; same-origin-reference	현재 전체 네이티브 CLI. VM 선택은 strict no-fallback
Rust 엔진 비교	Rust 값과 primitive leaf를 공유하는 tree와 `lispex-rust-vm/v1`	집중 `lispex.rust-engine-comparison/v1` 관측과 정확한 소스·Core IR·바이트코드 식별자. 진단 전용이며 144사례 계보 영수증 밖
Topaz VM 비교	내장 `lispex-rust-vm/v1`과 별도 설치한 `lispex-topaz-vm/v1`. Topaz 소스는 구조가 분리되어 있고 Topaz Rust Stage 0으로 컴파일	macOS ARM64의 명시적 `lispex.topaz-vm-comparison/v1`. 정확한 제품·요청·결과 identity, full-u64 자원, fallback 0을 기록하며 Vouch와 역사 공동 영수증 밖
네 경로 법정	Rust tree, 내장 Rust VM, 별도 설치형 Topaz VM, 정확히 일치하는 Topaz AOT. 두 Topaz 제품은 선언된 Rust Stage 0 생산 계보를 그대로 표시	macOS ARM64의 명시적 `lispex.route-comparison/v1`. 한 유도 요청, 정확한 제품, 의미·비교 가능 자원 축, no-clobber, 재시도·fallback 0을 기록하며 Vouch와 역사 공동 영수증 밖
공개 WASM / 플레이그라운드	같은 Rust 계보의 WASM 컴파일	현재 같은 계보 관측; 프로필별 한도
npm CLI	공개 WASM·JS 표면의 Node 패키징	현재 패키징; 명령 부분집합은 네이티브와 다름
Lispex-in-Lispex	Lispex로 작성한 호스팅 인터프리터이자 하나의 LIL 구현 계보	현재 capability 계약은 게스트 머신 프레임으로 실행하는 guest-calling 18행 전체, bounded private-effect 출력 4행, 순서 있는 경고형 별칭 3행, 명시적으로 표시한 문자·문자열·고급 수 호스트 커널 의존성을 포함해 205/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에서 실행	내부 증거가 버전된 4호스트 검사 표면을 봉인
Rust/LIL/LIT 공동 영수증	세 구현 계보와 구현 계보마다 하나의 설치 제품 경로	144사례와 실행 432회에서 전체 구현 계보 일치 59사례와 쌍 일치 253건과 공개된 쌍 차이 179건
확장 생성 캠페인	같은 Rust 구현 계보의 네이티브와 WASM 경로	저장 사례 11,088개에서 자연 발생 차이와 인프라 실패가 모두 0건이며 세 구현 계보 영수증은 아님

흔한 오해

Rust 레퍼런스·LIL·LIT 구현 계보 내부의 호스트 변형은 독립 증인이 아닙니다. Rust 안에서 실행 구조가 다른 VM도 같은 계보입니다. Topaz VM은 별도 구현 계보를 추가하지만 전체 프로필 동등성 증명이나 기존 영수증의 자동 네 번째 계보를 만들지는 않습니다.

현재 경계

LIT의 소스 독립성을 주장하지 않습니다. 행렬은 기록된 표면에 한정되며 전체 언어 의미 동등성이나 그 밖의 무차이를 세우지 않습니다.

다음으로

코드를 작성할 때 이 페이지를 곁에 두세요. 안내식 설명이 필요하면 문법 지도나 관련 매뉴얼로 돌아가면 됩니다.

바이트코드와 Rust VM · 문법 한눈에 보기 · 학습 경로