다운로드

네이티브 리스펙스 참조 인터프리터를 설치하고 체크섬을 확인하거나 npm과 플레이그라운드 실행 방식을 선택합니다.

이 페이지의 모든 링크는 아래 표시된 릴리스에 고정되어 있습니다. 설치 스크립트는 현재 릴리스를 찾은 뒤, 내려받은 바이너리를 곁에 있는 SHA-256 체크섬 파일과 비교합니다.

릴리스: v1.17.0

모든 플랫폼

플랫폼바이너리체크섬
Linux · x86_64lispex-linux-x86_64.sha256
Linux · aarch64lispex-linux-aarch64.sha256
macOS · Apple siliconlispex-macos-aarch64.sha256
macOS · Intellispex-macos-x86_64.sha256
Windows · x86_64lispex-windows-x86_64.exe.sha256
릴리스 매니페스트manifest.json파일 이름, 크기, 주소, SHA-256 해시

실용 결정 워크스페이스

환불 결정 하나를 애플리케이션 경계까지 이어 가세요

v1.17.0 워크스페이스에는 검토한 규칙, 정확한 리스펙스 이미지, 서명된 바우치 증거, 수신자 정책, 현재 요청 자료, 거절 사례, 실제 환불은 하지 않는 행동 직전 인계가 함께 들어 있습니다. 전체 로컬 흐름을 직접 따라가고 애플리케이션이 어느 지점부터 책임져야 하는지 확인할 수 있습니다.

릴리스워크스페이스 아카이브체크섬
v1.17.0lispex-v1.17.0-practical-decision-workspace.zip.sha256

선택형 macOS ARM64 경로 설치 자료

보통은 네이티브의 routes fetch로 설치합니다. 아래 불변 링크는 네이티브가 내장한 카탈로그와 정확히 일치하는 컴패니언 아카이브 두 개를 그대로 보여 주므로, 버전을 추측하지 않고 내용을 감사하거나 문서에 적힌 오프라인 설치 절차를 따라갈 수 있습니다.

경로아카이브체크섬
Topaz VM 컴패니언lispex-topaz-vm-aarch64-apple-darwin.zip.sha256
Topaz AOT 컴파일러 컴패니언lispex-topaz-aot-compiler-aarch64-apple-darwin.zip.sha256
내장 경로 카탈로그route-catalog.json.sha256

정확한 제한 평가기

애플리케이션은 네이티브에 내장된 것과 같은, import가 없는 평가기 바이트를 정확히 고정할 수 있습니다. 매니페스트는 프로필, 계측, ABI, 값 코덱, 영수증 계약, 메모리 한도, 다이제스트를 고정합니다. 골든 벡터가 있어서 독립된 소비자도 정규 요청과 결과 바이트를 스스로 확인할 수 있습니다.

바이너리체크섬
import 없는 평가기 Wasm · lispex-embed-evaluator.wasm.sha256
평가기 컴포넌트 매니페스트 · lispex-embed-evaluator-manifest.json.sha256
정규 골든 벡터 · lispex-embed-evaluator-golden-vectors.json.sha256
제한 평가기 재배포 패키지 · lispex-embed-evaluator-redistribution.zip.sha256

정확한 전체 프로필 한정 평가기

별도의 full 컴포넌트는 의미 프로필, 계측, 컴포넌트, 아티팩트 식별자를 모두 따로 가지고 lispex-profile-1.5 전체를 다룹니다. 충분함이 확인된 ABI와 값 코덱과 트랜스크립트와 휴대 코어 스키마는 그대로 재사용하고, 제한 프로필 제품의 이름이나 범위는 건드리지 않습니다. 네이티브는 명시적인 embed full 명령에서만 이 컴포넌트를 고르고, 작업마다 새 인스턴스를 만듭니다.

바이너리체크섬
import 없는 전체 프로필 평가기 Wasm · lispex-full-embed-evaluator.wasm.sha256
전체 프로필 평가기 컴포넌트 매니페스트 · lispex-full-embed-evaluator-manifest.json.sha256
전체 프로필 제공자 벡터 · lispex-full-embed-evaluator-provider-vectors.json.sha256
전체 프로필 평가기 재배포 패키지 · lispex-full-embed-evaluator-redistribution.zip.sha256

한 줄 설치

SHELL
# 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

설치된 명령 확인하기

설치에 성공하면 정확한 제품 버전이 표시됩니다. 언제든 다음 명령으로 다시 확인할 수 있습니다.

SHELL
lispex --version
# 예상 결과: lispex v1.17.0

명령을 찾지 못한다면

  • macOS와 Linux는 기본적으로 ~/.lispex/bin에 설치합니다. 이 디렉터리를 PATH에 추가한 뒤 셸을 다시 시작하세요.
  • Windows는 기본적으로 %LOCALAPPDATA%\Lispex\bin에 설치합니다. 사용자 PATH에 이 디렉터리를 추가한 뒤 새 PowerShell 창을 여세요.
  • npm을 골랐다면 Node 18 이상이 활성화되어 있고 npm 전역 바이너리 디렉터리가 PATH에 들어 있는지 확인하세요.

어떤 방식으로 실행해야 하나요?

  • 네이티브를 고르면 의존성 없는 tree 인터프리터, 제한 프로필의 내장형 한정 평가기, 명시적 검증 바이트코드 Rust VM, Core IR과 바이트코드 명령, 정확한 리스펙스 이미지, 그리고 리스펙스 바우치 전체 흐름을 얻습니다. 발급, 요청 결속 재실행, 로컬 게이트는 오직 여기에만 있고, 정확 소스 컴파일 산출물과 선택적 VM 일치 요구까지 포함됩니다.
  • Node가 이미 있다면 npm판을 고르세요. 소스를 실행하고, Rust/WASM으로 네이티브와 같은 정확한 이미지 파일 명령을 제공하며, 네이티브와 같은 검증기로 바우치 증거를 인증합니다. Core IR, 바이트코드, 컴파일 산출물 판독기, VM 엔진은 없습니다. 바우치에서 npm의 역할은 인증에서 끝나므로 발급도 재실행도 게이트도 없습니다.
  • 아무것도 설치하지 않고 소스를 실행하거나, 정확한 이미지를 만들고 열고 넘겨 보고 복원하고 내려받아 명시적으로 실행하려면 플레이그라운드를 쓰세요. 전부 브라우저 안에서 일어납니다. Core IR과 바이트코드 가져오기와 VM 엔진이 없고, 바우치 산출물이나 키, 인증, 정책 도구는 드러나지 않습니다.

선택형 Topaz 경로

검증 바이트코드를 비교하거나 소스 없는 AOT 제품을 만드세요

macOS ARM64에서 네이티브는 정확한 Topaz 5.11 VM과 AOT 컴파일러 컴패니언을 명시적으로 가져올 수 있습니다. VM은 검증된 바이트코드 아티팩트 하나를 Rust와 비교하고, 컴파일러는 호출자가 지정한 Rust 도구로 소스 없는 별도 AOT 제품을 만듭니다. 설치했다고 무언가가 선택되거나 실행되지는 않으며 기본값은 계속 Rust입니다. 카탈로그, 컴패니언, 비교 결과, AOT 제품은 결코 바우치 권한에 들어가지 않습니다.

리스펙스 이미지

정확한 소스를 결정적 이미지로 전달하세요

네이티브와 npm은 같은 이미지 파일 명령을 쓰고, 공개 WASM과 플레이그라운드는 같은 Rust 코덱을 로컬에서 실행합니다. 모든 표면이 소스를 바이트 단위로 복원하고, 완전한 정규성 증명을 마친 뒤에만 실행합니다. 네이티브는 증명된 이미지를 바우치 흐름 전체에서 받아들이고, npm은 식별자와 정책과 인증 검증에만 받아들입니다. 이미지 자체는 운반 수단일 뿐, 증거도 권한도 아닙니다.

리스펙스 바우치

결정이 로컬 게이트까지 가야 한다면 네이티브를 사용하세요

네이티브는 인증된 증거를, 수신자가 묶음 밖에서 직접 제공한 정확한 소스와 입력에 결속하고, 현재 tree와 Meaning 경로로 재실행한 뒤, 일치하는 로컬 결정만 인정합니다. 명시적으로 요청하면 같은 소스에서 컴파일 산출물을 다시 유도해 검증된 Rust VM의 일치까지 요구합니다. 고정되지 않은 묶음, 일반 바이트코드, 산출물, 보고서는 스스로 권한이 될 수 없습니다.