런타임 계보
| 계보 | 현재 기능 행 | 구현 계보 | 주요 역할 |
|---|---|---|---|
| Rust 기준 | 205/205 | 설치형 Rust 기준 인터프리터 | 언어 운영 기준 |
| LIL | 205/205 | 리스펙스로 작성한 인터프리터 | 셀프 호스팅 언어 경로 |
| LIT | 84/205 | 토파즈 번체 | 토파즈 소유 구현 경로 |
레지스트리 205행은 모두 profile-required입니다. 각 백엔드는 같은 버전 관측
계약으로 구현한 행을 보고합니다. LIT는 나머지 121행에 명시적 기능 상태를
반환해 토파즈의 정확한 구현 대기열을 제공합니다.
역사적 계보 영수증은 이름 붙은 144사례를 실행한 Rust와 LIL과 LIT 제품 실행기 아티팩트와 자원 프로필과 관측과 리플레이에 결속합니다.
Rust 제품 표면
| 제품 | 런타임과 도구 |
|---|---|
| 네이티브 | Rust tree 기준, Rust VM, 포매팅, MCP 작성 도구, Core IR, 바이트코드, macOS ARM64 설치형 토파즈 VM과 AOT 경로, 영수증 생성, 전체 바우치 흐름 |
| npm CLI와 패키지 | WebAssembly의 Rust 기준, 이미지 지원, 오프라인 영수증 검사와 리플레이, 정책 도구, 인증형 바우치 검사 |
| 공개 WebAssembly | Rust 기준 API와 이미지 encode와 inspect와 decode와 run |
| 플레이그라운드 | 브라우저의 대화형 Rust 기준 실행과 이미지 흐름 |
네이티브와 npm과 공개 WebAssembly와 플레이그라운드는 전체 소스 대화형 투영을
공유합니다. 전체 소스를 읽고 정규화한 뒤 명시적 출력과 성공한 각 폼의 값을
순서대로 렌더링하고 종료 상태를 0, 1, 2로 보고합니다. 일반 런타임 결함은
앞선 폼이 이미 확정한 출력을 보존합니다. 자원 종료는 빈 출력과 자원 진단 하나와
상태 2를 반환합니다. 브라우저 결과는 output, diagnostics, ok,
exit_status를 직접 제공합니다.
lispex fmt, fmt --check, fmt --write는 설치한 네이티브 바이너리를
사용합니다. VS Code와 Open VSX 확장도 문서 포매팅을 그 바이너리에 맡깁니다.
lispex mcp serve는 로컬 stdio로 현재 언어와 프리미티브 레지스트리, 선언한
바이트와 시간 상한 안의 신뢰 소스 작성 실행, 진단과 고정 경로 비교를
제공합니다. 이 작성 표면은 네이티브가 소유합니다.
Core IR과 컴파일 실행
네이티브는 현재 프로필 전체를 정규 lispex.core-ir/v1로 내리고 엄격히
검사하며 해석된 셀과 캡처와 꼬리 위치와 요구사항과 소스 위치와 식별자를
보여 줍니다.
엄격한 Core IR은 정규 lispex.bytecode/v1로 컴파일됩니다. 검증기는 VM
상태를 만들기 전에 아티팩트를 검사하고, lispex-rust-vm/v1은 게스트
프로시저를 부르는 18행을 포함해 프리미티브 205행 전부를 반복형 VM 상태
기계로 실행합니다. Rust tree가 기본 엔진이고 --engine vm으로 VM을
명시적으로 선택합니다.
macOS ARM64 네이티브에서는 설치한 lispex-topaz-vm/v1 제품이 자체 토파즈
리더와 검증기와 명시적 제어 VM으로 같은 바이트코드를 읽습니다. 요청은
정확한 소스와 Core IR과 바이트코드와 입력과 제품 식별자와 전체 폭 u64
transition 상한과 전송 상한과 폴백 0 카운터 5개를 기록합니다.
토파즈 AOT 경로는 읽을 수 있는 정적 제어 그래프를 만들고 설치한 토파즈
5.11 도구체인으로 컴파일해 소스 없는 제품을 만듭니다. 제품과 소스 맵과
실행 파일과 도구 식별자와 입력과 자원 요청과 관측은 aot build, inspect,
validate, run을 통해 함께 결속됩니다.
compare-engines, compare-vms, compare-routes는 명시적으로 선택한 실행
경로의 진단 보고서를 새 경로에 원자적으로 게시합니다. 각 보고서는 의미와
자원과 계보 관측을 서로 다른 필드에 기록합니다.
바우치 통합
Core IR과 바이트코드는 정규 의미와 실행 아티팩트를 제공합니다. 네이티브
바우치는 소스에 결속한 lispex.vouch-compiled-artifact/v1을 만들고 요청을
인증한 뒤, 수신자가 선택한 정확한 소스에서 Core IR과 바이트코드를 다시
유도합니다. 이어 현재 tree와 Meaning 일치와 검증한 Rust VM 관측을 기록하고
그 결과를 로컬 게이트에 전달합니다.
토파즈 VM과 AOT와 경로 비교 보고서는 각 제품 식별자를 가진 엔지니어링 경로입니다. 컴파일 바우치 경로는 수신자가 선택한 정확한 소스에서 유도한 Rust VM 아티팩트를 사용합니다.
실행기 승인 기록
| 필드 | 기록 값 |
|---|---|
| 백엔드 종류 | 인터프리터 계보와 버전 실행 경로 |
| 호출 | 결정적 명령 또는 프레임 프로토콜 |
| 아티팩트 식별자 | 실행한 바이너리와 WebAssembly와 연결 코드 바이트 |
| 출처 | 선언한 소스와 제작자 계보 |
| 자원 프로필 | 이름 붙은 상한과 보고한 카운터 |
| 관측 범위 | 정확한 코퍼스와 계보와 대상과 호스트 변형 |
이 필드들은 모든 비교를 실제로 실행한 제품에 연결하고 다음 릴리스의 정확한 재개 지점을 제공합니다.