이 페이지의 모든 링크는 아래 표시된 릴리스에 고정되어 있습니다. 설치 스크립트는 현재 릴리스를 찾은 뒤 내려받은 바이너리를 SHA-256 체크섬 파일과 비교합니다.
릴리스: v1.9.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 / 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.9.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 VM
하나의 검증 바이트코드를 Rust와 Topaz에서 비교하세요
macOS ARM64 네이티브판은 별도로 정확히 설치한 Topaz 5.11 lispex-topaz-vm/v1 제품을 명시적으로 실행하고 Rust VM과 비교할 수 있습니다. 리스펙스는 관측을 받기 전에 provider 제품·요청·결과·전체 폭 자원 카운터·폴백 0 보고를 엄격히 검사합니다. 기본 엔진은 Rust이며 Topaz 경로는 Vouch나 grant에 들어가지 않습니다.
리스펙스 이미지
정확한 소스를 결정적 이미지로 전달하세요
네이티브와 npm은 같은 파일 명령을 제공하고 공개 WASM과 플레이그라운드는 같은 Rust 코덱을 로컬에서 사용합니다. 모두 소스를 바이트 단위로 복원하고 전체 증명 뒤에만 실행합니다. 네이티브는 증명된 이미지를 Vouch 전 과정에서 받고, npm은 identity·policy·인증 검증에만 받습니다. 이미지 자체는 근거나 권한이 아닙니다.
리스펙스 바우치
결과를 로컬 결정 승인에 사용하려면 네이티브판을 선택하세요
네이티브는 인증된 근거를 묶음 밖에서 별도로 제공한 정확한 소스·입력에 결속하고 현재 tree/Meaning을 재실행한 뒤 일치하는 로컬 결정만 승인합니다. 명시적으로 고르면 그 소스에서 컴파일 산출물을 다시 유도해 검증된 Rust VM 일치까지 요구합니다. 소스를 고정하지 않은 묶음, 일반 바이트코드, 산출물, 보고서는 스스로 권한이 될 수 없습니다.