이 순서로 생각하세요
- 모든 실행기는 버전된 관측 계약을 통해 값·출력, 진단, 상태, 경고, 선언 자원 관측, 아티팩트 동일성, 한도, 출처를 노출합니다.
- LIL은 리스펙스로 작성한 호스팅 인터프리터이고 LIT는 토파즈로 옮긴 인터프리터입니다. 현재 LIL은 기본 기능 205행을 모두 지원합니다. LIT는 따로 84행을 지원하고 121행을 거부합니다.
- 설치 제품 영수증은 144사례에서 구현 계보마다 하나의 호스트 실행 경로를 실행합니다. 여기서 실행 경로는 규칙을 실행하는 한 가지 방식을 뜻합니다. 내장 인터프리터나 따로 설치한 제품이 그런 방식입니다. 구현 계보 쌍은 253건이 일치하고 179건이 다릅니다. 쌍별로는 Rust/LIL 61/83, Rust/LIT 65/79, LIL/LIT 127/17이며, 세 계보가 모두 일치한 사례는 59건입니다.
- 한도를 정해 놓고 따로 모은 증거가 버전이 붙은 4호스트 검사 묶음에서 LIT 호스트 일치를 닫습니다. 대상은 인터프리터, 생성 Rust, 생성 Python, Web 경로입니다.
- 네이티브
lispex.rust-engine-comparison/v1은 Rust tree와 검증된 바이트코드 VM을 별도로 비교합니다. VM은 가상 머신으로, 이미 컴파일해 둔 명령 목록을 실행하는 프로그램입니다. 이 보고서는 정확한 중간 식별자와 폴백 횟수를 보존하지만 새 백엔드 계보를 추가하지 않습니다. - 네이티브
lispex.topaz-vm-comparison/v1은 한 번 유도한 바이트코드를 Rust VM과 정확한 설치형 토파즈 VM에서 따로 실행합니다. 별도 VM 계보를 기록하지만 역사적 Rust/LIL/LIT 공동 영수증을 다시 쓰지 않습니다. - 네이티브
lispex.route-comparison/v1은 한 소스·Core IR·바이트코드 요청을 유도해 tree·Rust VM·정확한 토파즈 VM·일치하는 AOT 제품을 명시적으로 관측합니다. 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 선택은 엄격하며 다른 방식으로 넘어가지 않음 |
| Rust 엔진 비교 | Rust 값과 프리미티브 잎을 공유하는 tree와 lispex-rust-vm/v1 | 집중 lispex.rust-engine-comparison/v1 관측과 정확한 소스·Core IR·바이트코드 식별자. 진단 전용이며 144사례 계보 영수증 밖 |
| 토파즈 VM 비교 | 내장 lispex-rust-vm/v1과 별도 설치한 lispex-topaz-vm/v1. 토파즈 소스는 구조가 분리되어 있고 토파즈 Rust Stage 0으로 컴파일 | macOS ARM64의 명시적 lispex.topaz-vm-comparison/v1. 정확한 제품·요청·결과 identity, full-u64 자원, 폴백 0을 기록하며 바우치와 역사 공동 영수증 밖 |
| 네 경로 검사 묶음 | Rust tree, 내장 Rust VM, 별도 설치형 토파즈 VM, 정확히 일치하는 토파즈 AOT. 두 토파즈 제품은 선언된 Rust Stage 0 생산 계보를 그대로 표시 | macOS ARM64의 명시적 lispex.route-comparison/v1. 한 유도 요청, 정확한 제품, 의미·비교 가능 자원 축, no-clobber, 재시도·폴백 0을 기록하며 바우치와 역사 공동 영수증 밖 |
| 공개 WebAssembly / 플레이그라운드 | 같은 Rust 계보를 WebAssembly로 컴파일 | 현재 같은 계보 관측. 프로필별 한도 |
| npm CLI | 공개 WebAssembly와 JavaScript 빌드를 감싼 Node 패키징 | 현재 패키징. 명령 부분집합은 네이티브와 다름 |
| LIL | 리스펙스로 작성한 호스팅 인터프리터이자 하나의 LIL 구현 계보 | 현재 capability 계약은 게스트 기계 프레임으로 실행하는 guest-calling 18행 전체, 한도가 정해진 private-effect 출력 4행, 순서 있는 경고형 별칭 3행, 명시적으로 표시한 문자·문자열·고급 수 호스트 커널 의존성을 포함해 205/205행이며 공개된 84행 공동 영수증 스냅샷에서 Rust/LIL 쌍은 61사례 일치하고 83사례 다름 |
| LIT 인터프리터 경로 | 토파즈로 옮긴 하나의 LIT 구현 계보이며 소스 독립성 주장은 없음 | 기본 기능 84/205행을 지원하며 공동 영수증의 Rust/LIT 쌍은 65사례 일치하고 79사례 다름 |
| LIT 호스트 경로 | 똑같은 LIT 소스 하나를 인터프리터, 생성 Rust, 생성 Python, Web에서 실행 | 한도 안에서 모은 증거가 버전이 붙은 4호스트 검사 묶음을 닫음 |
| Rust/LIL/LIT 공동 영수증 | 세 구현 계보와 구현 계보마다 하나의 설치 제품 실행 경로 | 144사례와 실행 432회에서 전체 구현 계보 일치 59사례, 쌍 일치 253건, 공개된 쌍 차이 179건 |
| 확장 생성 캠페인 | 같은 Rust 구현 계보의 네이티브와 WebAssembly 실행 경로 | 저장 사례 11,088개에서 자연 발생 차이와 인프라 실패가 모두 0건이며 세 구현 계보 영수증은 아님 |
흔한 오해
Rust 레퍼런스·LIL·LIT 구현 계보 내부의 호스트 변형은 독립 증인이 아닙니다. Rust 안에서 실행 구조가 다른 VM도 같은 계보입니다. 토파즈 VM은 별도 구현 계보를 추가하지만 전체 프로필 동등성 증명이나 기존 영수증의 자동 네 번째 계보를 만들지는 않습니다.
현재 경계
- LIT의 소스 독립성은 주장하지 않습니다. 행렬은 기록해 둔 범위 안에서만 유효하며, 전체 언어 의미 동등성도, 그 범위 밖에서 차이가 없다는 사실도 성립시키지 않습니다.
다음으로
144사례를 인벤토리별로 쪼개 놓은 곳은 검사된 표면이고, 각 행 뒤에 있는 승인 규칙은 런타임과 백엔드에 있습니다.