할 일부터 고르세요
- 설치 없이 맛보기: 플레이그라운드를 엽니다. 소스와 이미지는 브라우저 안에 머뭅니다.
- 웹 애플리케이션에 내장: 공개 WASM API로 실행과 정확 이미지 기능을 사용합니다.
- Node에서 명령 사용: npm CLI를 설치합니다. 소스를 실행하고 이미지를 다루며 바우치를 인증하지만 발행·재실행·결정 gate는 하지 않습니다.
- 완전한 로컬 흐름: 네이티브를 선택합니다. 서명 근거 발행, 정확 요청 재실행, 로컬 결정 gate는 네이티브만 제공합니다.
- 해석된 Core IR 살펴보기: 네이티브에서 소스를 정규 Core IR로 만들고, 실행하지 않은 채 엄격히 검증하거나 검사합니다.
- 검증된 바이너리 실행: 네이티브에서 Core IR을 정규 바이트코드로
내리거나
--engine vm을 명시적으로 고릅니다. 기본은 tree이며 VM 실패를 tree로 숨기지 않습니다. - 별도 VM과 비교: macOS ARM64 네이티브에서 정확한 Topaz 5.11 제품을
따로 설치하고
--engine topaz --topaz-vm ROOT를 명시합니다.compare-vms는 차등 근거를 만들며 제품 discovery·fallback·Vouch 승격은 하지 않습니다. - 소스 없는 실행 파일 만들기: macOS ARM64 네이티브에서
lispex aot를 사용하면 결정적이고 읽을 수 있는 Topaz를 거쳐 실행 파일을 만듭니다. 빌드할 때 정확한 설치형 Topaz compiler와 Rust 도구 디렉터리를 명시해야 하며, 설치 제품은 어느 소스 트리도 없이 실행되고 VM/tree로 우회하지 않습니다. - 네 경로 영수증 만들기: 일치하는 AOT 제품을 만든 뒤 네이티브
compare-routes로 tree·Rust VM·Topaz VM·AOT를 한 요청에서 비교합니다. 제품이 소스와 맞지 않으면 실행 전에 거부하고, 의미와 비교 가능한 자원 차이를 덮어쓰지 않는 진단 영수증에 따로 기록합니다. - 바우치에 VM 일치 추가: 기존 요청 결속 흐름에 정확한 소스 유도와 현재
Rust VM 일치까지 더해야 할 때만 네이티브
vouch compiled를 명시적으로 고릅니다. 소스 고정·인증·tree/Meaning 일치를 대신하지 않습니다.
자동화에서는 바뀌는 latest 포인터 대신 정확한 패키지 버전이나 바이너리 해시를 고정하세요. 배포할 자원 프로필도 따로 시험해야 합니다. 같은 언어 의미론이 모든 표면의 같은 재귀 한도를 뜻하지는 않습니다.
실행 방식별 기능
| 방식 | 실행·이미지·컴파일 아티팩트 | 바우치 |
|---|---|---|
| 네이티브 | 기본 tree, 내장 Rust VM, Core IR·바이트코드 도구, macOS ARM64의 정확한 설치형 Topaz VM·고정 도구 Topaz AOT·명시적 네 경로 비교, 정확 이미지 | 식별자부터 로컬 gate까지 전체 흐름과 정확 소스 .lpxvca·Rust VM gate. Topaz VM/AOT/비교 결과와 임의 .lpxbc는 Vouch 입력이 아님 |
| npm CLI | .lspx 실행과 같은 Rust/WASM 이미지 파일 명령; Core IR·바이트코드·AOT·컴파일 산출물 reader와 VM 없음 | 같은 식별자와 정책, 원시·비고정·고정 문맥 인증, 구조 검사, 코퍼스 재생. 컴파일 명령·flag·gate 없음 |
| 공개 WASM | 내장형 소스 실행과 정확 이미지 API; Core IR·바이트코드·AOT API와 VM 없음 | 키·정책·인증 도구를 내보내지 않음 |
| 플레이그라운드 | 무설치 로컬 소스 실행과 전체 로컬 이미지 흐름; Core IR·바이트코드·AOT 가져오기와 VM 없음 | 키, 정책, 인증, 재실행, gate를 제공하지 않음 |
같은 Rust라는 뜻
네 방식은 모두 같은 Rust 구현 계열을 사용합니다. 같은 허용 바이트의 의미가 맞아야 하고 네이티브와 npm이 이미지·인증 코드를 공유한다는 뜻입니다. 하지만 이는 배포 동등성이지 독립 검증이 아닙니다. 네이티브와 npm 또는 WASM을 비교해도 두 번째 증인이 생기지 않습니다.
네 경로 법정도 공유 계보와 분리 계보를 그대로 공개할 뿐, 일치를 증명으로 바꾸지 않습니다. 사용할 수 없는 명령이나 실패한 경로를 다른 실행으로 흉내 내거나 조용히 낮추지 않습니다.
증명된 이미지는 네이티브 바우치 전 과정에서 소스가 될 수 있습니다. npm은 이미지에서 같은 식별자·정책·인증 보고서를 만들 수 있지만 여전히 근거를 발행하거나 요청을 재실행하거나 gate를 적용하지 않습니다.
흔한 오해
없는 기능을 흉내 내거나 더 약한 기능으로 조용히 바꾸면 안 됩니다. tree와 Rust VM은 같은 계보입니다. Topaz VM은 구조가 분리된 소스지만 실행 파일은 Topaz Rust Stage 0으로 만들었으므로 일치는 증명이 아닌 한정 근거입니다. 어느 VM이든 요청한 경로가 실패하면 다른 엔진으로 우회하지 않습니다.
다음으로
다운로드에서 선택한 방식을 설치하거나, 이미지의 정확한 흐름을 살펴보세요.