네이티브, npm, WASM, 플레이그라운드 선택하기

할 일부터 고르세요

• 설치 없이 맛보기: 플레이그라운드를 엽니다. 소스와 이미지는 브라우저 안에 머뭅니다.
• 웹 애플리케이션에 내장: 공개 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 경로를 사용하세요. 다른 네이티브 경로가 필요하다면 선택을 검사 가능한 파일로 남길 수 있습니다.

macOS ARM64에서는 네이티브 lispex routes fetch로 정확한 공식 Topaz VM이나 AOT compiler companion을 가져올 수 있습니다. provider에게 별도의 정확한 로컬 카탈로그와 아카이브를 받았다면 오프라인 lispex routes install을 사용하세요. 두 방법 모두 닫힌 제품 루트 옆에 경로 없는 영수증을 씁니다. 실행 경로를 등록하거나 선택하지는 않습니다. 선택형 경로 설치 안내를 따르세요.

lispex routes inventory
lispex routes inventory --topaz-vm /absolute/topaz-vm \
  --aot-product /absolute/aot-product
lispex routes lock --route rust-vm --out route.json
lispex routes doctor --selection route.json

inventory는 PATH·소스 체크아웃·환경 변수·네트워크를 검색하지 않습니다. tree와 Rust VM은 내장 상태로 표시하고, 외부 경로는 not-supplied, ready, invalid 가운데 하나로 표시합니다. lock은 덮어쓰지 않는 정규 lispex.route-selection/v1 파일을 만듭니다. 이 파일에는 identity만 있고 경로가 없습니다. 그래서 외부 제품을 검사할 때는 doctor에 절대경로를 다시 지정해야 합니다. 선택 파일과 진단 보고서는 실행 경로를 고르는 데만 씁니다. Vouch evidence나 gate grant가 될 수 없습니다.

한정된 로컬 측정이 필요하면 두 외부 제품을 정확히 지정하고 의미 영수증과 시간 보고서를 분리하세요.

lispex routes measure \
  --topaz-vm /absolute/topaz-vm \
  --aot-product /absolute/aot-product \
  --receipt comparison.json \
  --measurement timing.json \
  --samples 3 \
  --input input.datum \
  rule.lspx

나노초 표본은 그 호스트와 그 실행에만 해당합니다. 로컬 비용을 견주는 데는 쓸 수 있지만 언어 동등성, 보안, 기계 사이의 성능을 주장하지는 못합니다.

고정한 경로를 실행할 때는 선택 파일과 소스를 함께 지정합니다. 외부 제품은 여전히 절대경로가 필요합니다.

lispex routes run --selection route.json rule.lspx
lispex routes run --selection topaz.json \
  --topaz-vm /absolute/topaz-vm \
  --input input.datum \
  rule.lspx

tree는 호환 기본값이자 레퍼런스이며 복구 경로입니다. 고급 제품 흐름이 따로 필요 없고 일반 Rust 제품 여정에서 바로 쓸 수 있습니다. 유지되는 로컬 표본에서는 시작 비용도 가장 낮았습니다. 검증된 바이트코드와 명시적 기계 계수가 필요하면 Rust VM을 쓰세요. Topaz VM과 AOT는 이름 붙은 차등 검사나 배포 목적이 있을 때만 고르세요.

실행 방식별 기능

같은 Rust라는 뜻

네 방식은 모두 같은 Rust 구현 계열을 씁니다. 허용된 같은 바이트라면 의미가 서로 맞아야 하고, 네이티브와 npm은 이미지·인증 코드를 공유한다는 뜻입니다. 다만 이는 배포 수준의 동등성일 뿐 독립 검증이 아닙니다. 네이티브를 npm이나 WASM과 비교해도 두 번째 증인은 생기지 않습니다.

네 경로 법정도 공유 계보와 분리 계보를 그대로 공개합니다. 일치를 증명으로 바꾸지는 않습니다. 사용할 수 없는 명령이나 실패한 경로를 다른 실행으로 흉내 내거나 조용히 낮추는 일도 없습니다.

증명된 이미지는 네이티브 바우치 전 과정에서 소스가 될 수 있습니다. npm도 이미지에서 같은 식별자·정책·인증 보고서를 만들 수 있습니다. 그래도 npm은 근거를 발행하거나 요청을 재실행하거나 gate를 적용하지 않습니다.

흔한 오해

없는 기능을 흉내 내거나 더 약한 기능으로 조용히 바꾸면 안 됩니다. tree와 Rust VM은 계보가 같습니다. Topaz VM은 소스가 구조적으로 분리되어 있지만 실행 파일은 Topaz Rust Stage 0으로 만들었습니다. 그래서 일치는 증명이 아니라 한정된 근거입니다. 요청한 경로가 실패하면 어느 VM이든 다른 엔진으로 우회하지 않습니다.

다음으로

다운로드에서 선택한 방식을 설치하거나, 이미지의 정확한 흐름을 살펴보세요.

다운로드 · Topaz AOT로 컴파일하기 · 검증된 바이트코드 실행하기