흔들리지 않는 중심
리스펙스는 결정 규칙을 위한 작고 결정적인 언어입니다. Rust가 실행 레퍼런스이며 추적하는 원시 기능 205행을 모두 지원합니다. 정확한 리스펙스 이미지는 원본 소스 바이트를 가역적으로 전달합니다. 요청 결속 바우치는 선언한 문맥을 인증하고, 네이티브에서만 외부의 정확한 요청까지 주어졌을 때 재실행과 로컬 결정 gate로 나아갈 수 있습니다. 그 네이티브 경로는 정확한 소스에서 만든 컴파일 산출물을 명시적으로 더해, tree/Meaning 검사를 유지한 채 검증된 Rust VM 일치까지 요구할 수 있습니다.
호스팅 인터프리터의 경계는 계속 명시적입니다. 리스펙스 안의 리스펙스는 현재 capability 분모 205행 전체를 지원하고, 토파즈 안의 리스펙스는 84행을 지원합니다. LIT의 나머지 행은 호스트 동작을 빌리지 않고 닫힌 채 실패합니다. LIL의 capability 전체 지원이 언어 전체의 동등성을 뜻하지는 않습니다.
방향을 읽는 법
| 방향 | 중요한 이유 | 실제 완료 신호 | 약속하지 않는 것 |
|---|---|---|---|
| 학습성 | 새 사용자가 첫 규칙을 쓰지 못하면 뛰어난 언어도 쓸모가 없음 | 실행 가능한 수업, 정확한 결과, 자연스러운 한·영·러 문서, 검증된 이동 경로 | 큰 언어, 강의 플랫폼, 숨은 학습 상태 |
| 결정적 제품 사용성 | 같은 의미론을 설치·검사·자동화하기 쉬워야 함 | 정확한 로컬 제품, 안정된 진단, 과업 중심 네이티브/npm/WASM/플레이그라운드 안내 | 모든 표면의 같은 자원 한도 |
| 정확 소스 흐름 | 검토한 소스가 시각 전달 뒤에도 바이트 단위로 살아야 함 | 정규 증명, 정확 복원, 명시적 실행, 분명한 손상 거부 | 이미지 모양에서 얻는 기밀성·서명·출처·권한 |
| 요청 결속 근거 | 인증이 몰래 허가로 바뀌면 안 됨 | 네이티브 재실행·gate 전에 소비자가 소스와 입력을 따로 결속 | 신선도·재생 방지·정책 정당성·외부 행위 허가 |
| 제한된 백엔드 성장 | 지원 표면을 측정할 수 있을 때만 다른 구현이 유용함 | 명시적 기능 행, 부정 대조, 출처, 영수증 | 조용한 fallback이나 언어 전체 동등성 주장 |
| 연구 증거 | 비교는 분모와 가정을 밝혀야 함 | 이름 붙은 코퍼스·실행기·관측·불일치·비교 불가 | 시험 개수로 만든 증명이나 릴리스 기한 |
이식 실행 경로를 만드는 순서
아키텍처 결과는 순서대로 진행합니다. 안정된 프로필에서 LIL capability가 완성됐고, 이제 네이티브는 현재 normalized Core 전체를 해석된 셀, 명시적 꼬리 위치, primitive ID, 소스 위치, 비용 식별자, 단 하나의 엄격한 JSON 바이트 표현을 가진 정규 Core IR로 내립니다. 공개 명령은 이 아티팩트를 실행하거나 권한을 주지 않고 build·validate·inspect합니다.
이제 네이티브는 strict Core IR을 정규 lispex.bytecode/v1로 컴파일하고,
잘못된 구조를 실행 전에 거부하며, 검증된 아티팩트를 명시적 제어
lispex-rust-vm/v1에서 실행합니다. 소스 경로는 --engine vm을 고를 수
있고 기본값은 tree이며 VM은 fallback하지 않습니다. 집중 tree/VM 비교는
정확한 중간 식별자와 의미 축을 기록하면서 두 경로가 같은 Rust 계보임을
명확히 표시합니다.
Vouch에 결속된 컴파일 실행은 이제 이 순서의 제한된 결과입니다. 인증과 요청
결속 뒤 소비자의 정확한 소스에서 다시 유도한
lispex.vouch-compiled-artifact/v1만 기존 tree/Meaning 체인에 현재 검증
Rust VM 일치를 더할 수 있습니다. 일반 바이트코드·compiler 출처·산출물·
보고서는 스스로 권한으로 승격하지 못합니다.
이제 macOS ARM64 네이티브는 별도로 정확히 설치한 Topaz 5.11
lispex-topaz-vm/v1 제품도 받아들입니다. 명시적인 Topaz 바이트코드 경로와
compare-vms는 provider 제품·요청·결과·정확한 바이트코드와 입력
식별자·전체 폭 u64 자원·폴백 0을 결속합니다. 기본 실행기는 Rust이고,
Topaz 전송 경로는 모든 Vouch 생성자에서 제외되며, 비교 결과는 독립
동등성의 증명이 아니라 한정된 근거입니다.
macOS ARM64 네이티브에는 정확성을 우선한 명시적 리스펙스→Topaz AOT 경로도 있습니다. 검증된 정적 제어 그래프에서 읽을 수 있는 Topaz와 소스 맵을 만들고, 정확히 설치한 Topaz 5.11 컴파일러만 사용하며, 소스·Core IR·바이트코드·생성 묶음·artifact·실행 파일·자원·폴백 0을 결속한 소스 없는 제품을 설치합니다. 이것은 Vouch 밖의 실행 재료이지 새 백엔드 계열이나 동등성 증명이 아닙니다. 이제 네이티브는 한 요청을 유도해 tree·Rust VM·정확한 Topaz VM·일치하는 AOT 제품을 덮어쓰지 않는 진단 영수증으로 함께 기록합니다. 의미·비교 가능한 자원 축, 계보, 모든 fallback을 드러내며 이 영수증은 권한을 주거나 네 경로를 네 독립 증인으로 바꾸지 않습니다.
이로써 현재의 이식 가능한 AOT 기반은 닫혔습니다. 다음 준비 방향은 명시적 제품과 영수증의 운영 부담을 줄이는 안정 다중 경로 제품입니다. 기본값을 바꾸거나 계보를 숨기거나 정확한 도구 승인을 약화하거나 Topaz를 Vouch에 넣지 않습니다. 앞으로 명시적으로 활성화할 수 있도록 준비됐을 뿐 버전이 배정되거나 시작된 상태는 아닙니다. Python·브라우저·직접 WASM·최적화· 크로스 컴파일도 약속한 버전이나 날짜가 아니라 이후 근거를 갖춰야 하는 방향입니다.
함부로 움직이지 않는 것
수업, 백엔드, 아티팩트를 구현하기 쉽게 만들려고 언어 의미론을 바꾸지 않습니다. 실제 의미 변경은 런타임 명세, Rust 구현, 시험, 영수증, 공개 설명을 한꺼번에 갱신해야 합니다. 정확한 이미지는 새 datum이나 컴파일러가 아니라 소스 표현이고, 바우치 아티팩트는 전달 가능한 권한이 아니라 근거입니다.
현재 경계
- 로드맵 방향에는 버전, 날짜, 인력 약속이 붙어 있지 않습니다.
- Rust, LIL, LIT는 출처를 따로 표시한 실행 계열입니다. 생성·패키징 변형은 독립 증인이 되지 않습니다.
- 역사적 세 계열 영수증은 검사한 144사례 중 59사례의 전 계열 일치를 기록합니다. 문서에서 이 분모를 넓히면 안 됩니다.
- 미래 백엔드나 기계화 모델도 명시한 표면과 가정만 닫습니다.
다음으로
이 한계를 택한 이유는 철학에서, 실제로 제공된 기능의 정확한 시간 순서는 히스토리에서 확인하세요.