리스펙스는 사용자가 설치하거나 여는 실제 동작으로 각 공개 표면을 검사합니다. 기능을 구현할 때는 소유 모듈에서 직접 검사를 실행하고 릴리스에서는 immutable 제품 아티팩트와 공개 채널을 실행합니다.
제품 여정
| 표면 | 직접 확인하는 동작 | 현재 제품 상태 |
|---|---|---|
| 네이티브 기준 | 소스 평가, 값, stdout, 경고, 진단, 파일, exit status | 추적하는 primitive 205행을 지원하는 기준 인터프리터 |
| Meaning v1 | Core IR 투영, 공유 셀, 변경, 꼬리 실행, 탈출 제어, 동적 정리, 정확한 관측 | 네이티브 lower, eval-graph, meaning-diff |
| Rust VM | 정규 Core IR과 바이트코드, verifier 거부, tree 일치, 진단, 자원 | 네이티브 내장 |
| 토파즈 VM과 AOT | 정확한 provider 식별자, 요청 결속, 결과, source map, 실행 파일, 경로 영수증 | macOS ARM64 companion 제품 |
| npm | 깨끗한 설치, 기준 평가, 아티팩트 검사, 바우치 검증, SICP 명령 routing | lispex@1.20.0 |
| WebAssembly와 플레이그라운드 | 브라우저 평가, 정규 리스펙스 이미지, 복원, 명시적 이미지 실행, 프로파일 선택 | 영어, 한국어, 러시아어 Production 사이트 |
| 자원 제어 embed | 준비, 평가, 검사, 검증, 재실행, 종료 분류, 휴대 코어 | 결정 구성요소와 Full 구성요소 |
| 결정 교환과 바우치 | 키 식별자, 수신자 정책, 발급자 인증, 요청 결속, 재실행, 결정 게이트 | 네이티브 발급·게이트와 npm 검증 |
| SICP | 네이티브와 WebAssembly 실행, typed observation, 정확한 trace, 장별 예제, sicp.io 과정 이동 | @lispex/sicp@1.0.0과 sicp.io |
백엔드 관측
LIL은 추적하는 primitive 205행 중 205행, LIT는 205행 중 84행을 보고합니다. Rust tree/VM과 Rust/토파즈 비교는 소스와 중간 아티팩트와 실행기 식별자와 결과와 진단과 자원을 묶습니다. 각 영수증은 관측한 코퍼스와 실행 계열을 기록합니다.
릴리스 관측
릴리스 경로는 immutable 네이티브와 패키지 아티팩트를 한 번 만들고 같은 바이트를 설치합니다. 네이티브 Meaning v1과 npm 기준 실행과 SICP 여정을 실행하고 아티팩트를 공개한 뒤 npm과 Blob과 Production에서 공개 제품을 다시 읽습니다.