제품 표면
| 제품 | 명령 표면 |
|---|---|
| 네이티브 | 전체 소스 런타임, SICP, 포매팅, MCP, Meaning Graph, Core IR, 바이트코드, Rust VM, 설치형 토파즈 VM과 AOT 경로, 이미지, 영수증, 전체 바우치 흐름 |
| npm CLI | WebAssembly 소스 런타임, 이미지, 영수증 구조 검사와 리플레이, 정책 도구, 바우치 인증과 검사 |
설치한 버전이 받는 플래그는 lispex --help와
lispex <family> --help에서 확인합니다.
소스와 작성 도구
| 명령 | 입력 | 결과 |
|---|---|---|
lispex [FILE|-] | 리스펙스 소스 | 기준 인터프리터 값과 표준 출력과 경고와 진단 |
lispex sicp run <file.scm|-> | 최대 1MiB의 SICP 소스 하나 | SICP 표준 출력과 최종 값 |
lispex fmt [--check|--write] [FILE|-] | UTF-8 리스펙스 소스 | 포매팅한 소스와 조용한 검사 상태 또는 원자적 제자리 교체 |
lispex mcp serve | 로컬 stdio 프레임 요청 | 언어와 레지스트리 참조와 작성 실행과 진단과 고정 경로 비교 |
MCP 작성 평가기는 선언한 바이트와 시간 상한을 사용합니다. 이 로컬 작성 표면은 네이티브가 소유하고, 작업 공간 경로와 네트워크 접근과 외부 행동은 호스트 애플리케이션이 소유합니다.
Meaning Graph와 Core IR
| 명령 | 입력 | 결과 |
|---|---|---|
lispex lower --graph-version v1 SOURCE | 검증한 Core IR을 거친 정확한 소스 | 정규 해소형 Meaning Graph v1 |
lispex eval-graph [--steps N] [--trace] GRAPH | Meaning Graph v0 또는 v1과 선택 입력 | 태그로 선택한 종료 상태와 선택 추적을 담은 Meaning 보고서 |
lispex meaning-diff [--input I] SOURCE | 소스와 선택 datum | csk.meaning-differential-report/v1의 현재 Rust tree와 Meaning 관측 |
lispex core-ir build --source S --out O | 정확한 소스 | 정규 해소형 lispex.core-ir/v1과 요약 |
lispex core-ir inspect --ir IR | Core IR | 해소한 셀과 캡처와 요구사항과 위치와 식별자 |
lispex core-ir validate --ir IR | Core IR | 엄격한 검사와 정규 재인코딩 결과 |
Core IR build와 inspect와 validate는 execution: "not-run"과
authority: "integrity-only"를 기록합니다. 사용자가 선택한 런타임과 Meaning과
바이트코드와 바우치 명령에서 실행이 시작됩니다.
바이트코드와 런타임 경로
| 명령 | 입력 | 결과 |
|---|---|---|
lispex bytecode build --ir IR --out O | 엄격한 Core IR | 검증한 정규 .lpxbc와 요약 |
lispex bytecode inspect --bytecode BC | 검증 바이트코드 | 식별자와 개수와 요구사항과 opcode와 root와 소스 맵 범위 |
lispex bytecode validate --bytecode BC | 바이트코드 | 엄격한 decode와 verify와 정규 재인코딩 결과 |
lispex bytecode run --bytecode BC [--input I] | 검증 바이트코드와 선택 datum | Rust VM 관측 |
lispex bytecode run --engine topaz --topaz-vm ROOT ... | 설치한 토파즈 제품과 바이트코드와 선택 datum | 이름 붙은 자원 프로필의 토파즈 VM 관측 |
lispex run --backend rust --engine tree|vm FILE | 리스펙스 소스 | 명시적으로 선택한 Rust tree 또는 VM 관측 |
lispex compare-engines --receipt R FILE | 리스펙스 소스 | 같은 계보의 tree와 Rust VM 비교 보고서 |
lispex compare-vms --topaz-vm ROOT --receipt R FILE | 소스와 설치한 토파즈 VM | Rust와 토파즈 VM 비교 보고서 |
선택한 경로는 자체 오류와 자원과 계보 상태를 유지합니다. 비교 보고서는 의미와 자원과 출처 필드를 분리해 기록합니다.
설치형 토파즈 제품
| 명령 | 입력 | 결과 |
|---|---|---|
lispex routes install ... | 정확한 카탈로그 항목과 stored-ZIP 아카이브 | 닫힌 제품 디렉터리와 installation.json |
lispex routes fetch --route topaz-vm|aot-compiler ... | 네이티브 내장 공식 카탈로그 | HTTPS 획득과 같은 닫힌 설치 |
lispex routes lock ... | 검토한 설치 경로 | 정규 선택 lock |
lispex routes run --selection LOCK ... | 선택 lock과 소스 | lock이 고른 경로의 관측 |
lispex aot build --source S ... --out O | 정확한 소스와 절대경로 빌드 도구 | 도구 식별자를 담은 소스 없는 네이티브 제품 |
lispex aot inspect|validate --product P | 설치한 AOT 제품 | 파일 목록과 식별자와 재유도 결과 |
lispex aot run --product P [--input I] [--json] | 설치한 제품과 자원 요청 | 실행 파일 직접 관측 |
lispex compare-routes ... --receipt R SOURCE | 정확한 소스와 입력과 토파즈 VM과 AOT 제품 | 네 경로의 의미와 자원과 계보 보고서 |
이미지
| 명령 | 결과 |
|---|---|
lispex image encode --source SOURCE --out IMAGE | 정규 .lspx.png 또는 .lspx-images.zip |
lispex image inspect --image IMAGE | 형식과 프로필과 페이지와 식별자와 결속값 요약 |
lispex image decode --image IMAGE --out SOURCE | 정확히 복원한 소스 |
lispex run --image IMAGE | 복원한 소스의 기준 인터프리터 관측 |
소스 컨텍스트를 받는 바우치 명령은 --source RULE과
--source-image IMAGE 가운데 하나를 사용합니다. 재실행과 게이트는 그 소스를
별도로 전달한 --input INPUT과 결속합니다.
영수증과 바우치
| 명령 | 결과 |
|---|---|
lispex diff-receipt --input I RULE | csk.differential-receipt/v0 |
lispex verify RECEIPT [--source RULE] | 오프라인 구조 정합성 판정 |
lispex replay CORPUS --against BASELINE | 결정 변경 보고서 |
lispex vouch policy create|check ... | 정규 수신자 신뢰 정책과 검사 보고서 |
lispex vouch issue ... | 서명 payload와 DSSE 봉투와 발행 보고서 |
lispex vouch verify ... | 정확한 서명 컨텍스트의 인증 보고서 |
lispex vouch verify --reexecute ... | 인증과 현재 tree와 Meaning 일치 |
lispex vouch gate --require-decision ... | 현재 로컬 승인 또는 거부와 게이트 보고서 |
lispex vouch compiled build ... --out A | 소스 결속형 lispex.vouch-compiled-artifact/v1과 요약 |
lispex vouch compiled inspect --artifact A | 컨테이너와 내장 바이트코드 무결성 요약 |
lispex vouch compiled validate ... | 정확한 소스→Core IR→바이트코드 재유도 결과 |
lispex vouch verify --reexecute --compiled-artifact A | 현재 tree와 Meaning과 검증 Rust VM 일치 |
lispex verify-bridge REPORT | 브릿지 구조와 수신자가 선택한 바이트 결속 판정 |
호환 명령 receipt, issue-native, verify-native와 평면 verify는 공개된
아티팩트 계약을 유지합니다. 이름 공간 vouch 명령은 인증 흐름을 제공합니다.
종료 상태와 게시
- 종료
0은 요청한 작업의 성공을 뜻합니다. - 인증형 바우치 경로의 종료
10은 인증 성공과 게이트 또는 진단 승격 보류를 뜻합니다. - 종료
1은 검사와 실행과 비교 또는 인증 거부를 보고합니다. - 종료
2는 사용법과 선택 엔진 또는 자원 처리 오류를 보고합니다. - 종료
3은 입출력 또는 이름 붙은 보고서 게시 오류를 보고합니다.
이름 붙은 아티팩트와 보고서는 새 경로에 원자적으로 게시됩니다. JSON 아티팩트는 표준 출력을 정확한 바이트로 유지합니다. 호스트 애플리케이션은 로컬 게이트 결과를 소비하고 외부 행동을 소유합니다.