이 페이지의 모든 링크는 아래 표시된 릴리스에 고정되어 있습니다. 설치 스크립트는 현재 릴리스를 찾은 뒤 내려받은 바이너리를 SHA-256 체크섬 파일과 비교합니다.
릴리스: v1.11.0
모든 플랫폼
| 플랫폼 | 바이너리 | 체크섬 |
|---|---|---|
| Linux · x86_64 | lispex-linux-x86_64 | .sha256 |
| Linux · aarch64 | lispex-linux-aarch64 | .sha256 |
| macOS · Apple silicon | lispex-macos-aarch64 | .sha256 |
| macOS · Intel | lispex-macos-x86_64 | .sha256 |
| Windows · x86_64 | lispex-windows-x86_64.exe | .sha256 |
| 릴리스 목록 파일 | manifest.json | 파일 이름, 크기, 주소, SHA-256 해시 |
선택형 macOS ARM64 경로 설치 자료
보통은 네이티브의 routes fetch로 설치합니다. 아래 불변 링크에는 네이티브가 내장한 카탈로그와 정확히 일치하는 두 companion 아카이브가 있어, 버전을 추측하지 않고 내용을 감사하거나 문서의 오프라인 설치 흐름을 사용할 수 있습니다.
| 경로 | 아카이브 | 체크섬 |
|---|---|---|
| Topaz VM companion | lispex-topaz-vm-aarch64-apple-darwin.zip | .sha256 |
| Topaz AOT 컴파일러 companion | lispex-topaz-aot-compiler-aarch64-apple-darwin.zip | .sha256 |
| 내장 경로 카탈로그 | route-catalog.json | .sha256 |
한 줄 설치
# macOS / Linux
curl -fsSL https://www.lispex.com/install.sh | sh
# Windows (PowerShell)
irm https://www.lispex.com/install.ps1 | iex
# npm (Node 18+)
npm install -g lispex설치된 명령 확인하기
설치에 성공하면 정확한 제품 버전이 표시됩니다. 언제든 다음 명령으로 다시 확인할 수 있습니다.
lispex --version
# 예상 결과: lispex v1.11.0명령을 찾지 못한다면
- macOS와 Linux는 기본적으로 ~/.lispex/bin에 설치합니다. 이 디렉터리를 PATH에 추가한 뒤 셸을 다시 시작하세요.
- Windows는 기본적으로 %LOCALAPPDATA%\Lispex\bin에 설치합니다. 사용자 PATH에 이 디렉터리를 추가한 뒤 새 PowerShell 창을 여세요.
- npm을 골랐다면 Node 18 이상이 활성화되어 있고 npm 전역 바이너리 디렉터리가 PATH에 들어 있는지 확인하세요.
어떤 방식으로 실행해야 하나요?
- 별도 의존성 없는 tree 인터프리터, 명시적인 검증 바이트코드 Rust VM, Core IR·바이트코드 명령, 정확한 리스펙스 이미지, 정확 소스 컴파일 산출물과 선택적 VM 일치 gate를 포함한 Lispex Vouch 전체 흐름이 필요하면 네이티브를 선택하세요.
- Node가 이미 설치되어 있다면 npm판을 사용하세요. Rust/WASM으로 네이티브와 같은 정확한 리스펙스 이미지 파일 명령을 제공하고 소스를 실행하며 Vouch 근거를 인증합니다. Core IR·바이트코드·컴파일 산출물 reader와 VM은 없고, Vouch 발행·재실행·gate도 지원하지 않습니다.
- 설치 없이 소스를 실행하거나 정확한 이미지를 만들고 열고 페이지를 넘기며 복원·다운로드·명시적 실행하려면 플레이그라운드를 사용하세요. Core IR·바이트코드 가져오기와 VM은 없고, 모든 작업은 브라우저 안에서 이루어지며 Vouch 산출물·키·인증·정책 도구도 제공하지 않습니다.
선택형 Topaz 경로
검증 바이트코드를 비교하거나 소스 없는 AOT 제품을 만드세요
macOS ARM64 네이티브판은 정확한 Topaz 5.11 VM과 AOT 컴파일러 companion을 명시적으로 가져올 수 있습니다. VM은 하나의 검증 바이트코드를 Rust와 비교하고, 컴파일러는 사용자가 별도로 지정한 Rust 도구로 소스 없는 AOT 제품을 만듭니다. 설치는 경로를 선택하거나 실행하지 않고 Rust가 기본값으로 남으며, 카탈로그·companion·결과·AOT 제품은 Vouch 권한에 들어가지 않습니다.
리스펙스 이미지
정확한 소스를 결정적 이미지로 전달하세요
네이티브와 npm은 같은 파일 명령을 제공하고 공개 WASM과 플레이그라운드는 같은 Rust 코덱을 로컬에서 사용합니다. 모두 소스를 바이트 단위로 복원하고 전체 증명 뒤에만 실행합니다. 네이티브는 증명된 이미지를 Vouch 전 과정에서 받고, npm은 identity·policy·인증 검증에만 받습니다. 이미지 자체는 근거나 권한이 아닙니다.
리스펙스 바우치
결과를 로컬 결정 승인에 사용하려면 네이티브판을 선택하세요
네이티브는 인증된 근거를 묶음 밖에서 별도로 제공한 정확한 소스·입력에 결속하고 현재 tree/Meaning을 재실행한 뒤 일치하는 로컬 결정만 승인합니다. 명시적으로 고르면 그 소스에서 컴파일 산출물을 다시 유도해 검증된 Rust VM 일치까지 요구합니다. 소스를 고정하지 않은 묶음, 일반 바이트코드, 산출물, 보고서는 스스로 권한이 될 수 없습니다.