다운로드

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

릴리스: v1.16.0

모든 플랫폼

선택형 macOS ARM64 경로 설치 자료

보통은 네이티브의 routes fetch로 설치합니다. 아래 불변 링크에는 네이티브가 내장한 카탈로그와 정확히 일치하는 두 companion 아카이브가 있어, 버전을 추측하지 않고 내용을 감사하거나 문서의 오프라인 설치 흐름을 사용할 수 있습니다.

정확한 제한 평가기

애플리케이션은 네이티브에 내장된 것과 같은 import 0 평가기 바이트를 정확히 고정할 수 있습니다. manifest는 프로필·meter·ABI·value codec·receipt 계약·메모리 한도·digest를 고정하고, golden vector는 독립 소비자가 정규 요청과 결과 바이트를 확인하게 합니다.

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

별도 full component는 고유한 semantic-profile·meter·component·artifact identity로 lispex-profile-1.5 전체를 다룹니다. 충분성이 확인된 ABI·value codec·transcript·portable-core schema는 재사용하지만 restricted 제품의 이름을 바꾸거나 범위를 확장하지 않습니다. Native는 명시적인 embed full 명령에서만 이 component를 선택하고 작업마다 fresh instance를 만듭니다.

한 줄 설치

# 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.16.0

명령을 찾지 못한다면

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

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

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