이 페이지의 모든 링크는 아래 표시된 릴리스에 고정되어 있습니다. 설치 스크립트는 현재 릴리스를 찾은 뒤, 내려받은 바이너리를 곁에 있는 SHA-256 체크섬 파일과 비교합니다.
릴리스 v1.20.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 해시 |
미리 만들어 둔 환불 예제
환불 결정 하나를 애플리케이션 경계까지 이어 가세요
v1.17.0 예제 묶음에는 검토한 규칙과 정확한 리스펙스 이미지와 서명된 바우치 증거와 수신자 정책과 현재 요청과 음성 정책 사례와 마지막 would_act 기록이 들어 있습니다. 전체 로컬 흐름을 따라간 뒤 그 기록을 애플리케이션이 소유한 행동에 연결할 수 있습니다.
| 릴리스 | 예제 아카이브 | 체크섬 |
|---|---|---|
v1.17.0 | lispex-v1.17.0-practical-decision-workspace.zip | .sha256 |
선택형 macOS ARM64 추가 엔진
네이티브의 routes fetch 명령으로 제품을 설치하고 추가 리스펙스 엔진을 명시적으로 선택합니다. 아래 고정 링크는 네이티브에 내장된 카탈로그와 컴패니언 아카이브 두 개를 공개해 감사와 문서화된 오프라인 설치에 사용합니다.
| 항목 | 아카이브 | 체크섬 |
|---|---|---|
| Topaz 가상 머신 컴패니언 | lispex-topaz-vm-aarch64-apple-darwin.zip | .sha256 |
| 미리 컴파일해 두는 Topaz 컴패니언 | lispex-topaz-aot-compiler-aarch64-apple-darwin.zip | .sha256 |
| 내장 추가 엔진 카탈로그 | route-catalog.json | .sha256 |
자원 제어 규칙 엔진의 정확한 바이트
애플리케이션은 네이티브에 내장된 엔진의 정확한 바이트를 고정할 수 있습니다. 이 엔진은 선언한 자원 프로필로 규칙 하나를 실행합니다. 매니페스트는 기능과 계량과 값 교환과 영수증 필드와 메모리 상한과 체크섬을 고정합니다. 기록한 요청과 결과 바이트로 모든 소비자가 정확한 관측을 비교할 수 있습니다.
| 항목 | 파일 | 체크섬 |
|---|---|---|
| 자원 제어 규칙 엔진 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 |
언어 전체를 다루는 규칙 엔진의 정확한 바이트
별도의 컴포넌트가 lispex-profile-1.5 전체를 다루고 기능과 계량과 컴포넌트와 아티팩트 식별자를 각각 가집니다. 확립된 값 교환과 실행 기록과 전달형 기록 형식을 재사용합니다. 네이티브는 명시적인 embed full 명령에서 이 컴포넌트를 고르고 작업마다 새 인스턴스를 만듭니다.
| 항목 | 파일 | 체크섬 |
|---|---|---|
| 언어 전체 규칙 엔진 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 |
한 줄 설치
# 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.20.0명령을 찾지 못한다면
- macOS와 Linux는 기본적으로 ~/.lispex/bin에 설치합니다. 이 디렉터리를 PATH에 추가한 뒤 셸을 다시 시작하세요.
- Windows는 기본적으로 %LOCALAPPDATA%\Lispex\bin에 설치합니다. 사용자 PATH에 이 디렉터리를 추가한 뒤 새 PowerShell 창을 여세요.
- npm을 골랐다면 Node 18 이상이 활성화되어 있고 npm 전역 바이너리 디렉터리가 PATH에 들어 있는지 확인하세요.
어떤 방식으로 실행해야 하나요?
- 네이티브를 고르면 가장 넓은 도구 표면을 쓸 수 있습니다. 소스 인터프리터와 자원 제어 규칙 엔진과 검증 바이트코드용 Rust VM과 중간 형식 명령과 정확한 리스펙스 이미지와 전체 바우치 흐름이 들어 있습니다. 네이티브는 증거 발행과 고정 요청의 현재 재실행과 로컬 게이트를 맡습니다. 같은 정확한 소스에서 compiled artifact를 유도하고 Rust VM 일치도 기록할 수 있습니다.
- Node가 이미 있다면 npm판을 고르세요. 소스를 실행하고 Rust를 WebAssembly로 컴파일한 코어로 네이티브와 같은 정확한 이미지 명령을 제공하며 같은 검사기로 바우치 증거를 인증합니다. 결정 코퍼스도 오프라인으로 리플레이합니다. 중간 형식과 검증 바이트코드와 VM, 증거 발행과 현재 재실행과 로컬 게이트는 네이티브가 맡습니다.
- 플레이그라운드에서는 브라우저 안에서 소스를 실행하고 정확한 이미지를 만들고 열고 넘겨 보고 복원하고 내려받아 실행할 수 있습니다. 네이티브는 중간 형식과 바이트코드와 VM을 제공하고, 네이티브와 npm은 바우치 아티팩트와 정책 도구를 제공합니다.
선택형 Topaz 추가 엔진
검증 바이트코드를 비교하거나 소스가 들어 있지 않은 제품을 만드세요
macOS ARM64 네이티브는 정확한 토파즈 5.11 VM과 AOT 컴파일러를 가져올 수 있습니다. VM은 검증 바이트코드를 Rust와 비교하고, 컴파일러는 사용자가 지정한 Rust 도구로 소스 없는 제품을 만듭니다. 설치 경로를 선택하기 전에는 Rust가 기본값입니다. 바우치는 소스 결속형 compiled artifact와 Rust VM 일치를 사용합니다.
리스펙스 이미지
정확한 소스를 언제 열어도 그대로인 이미지로 전달하세요
네이티브와 npm은 같은 이미지 명령을 쓰고 공개 WebAssembly와 플레이그라운드는 같은 Rust 코덱을 로컬로 실행합니다. 형식과 무결성과 패리티와 재생성 검사를 거쳐 소스를 바이트 단위로 복원합니다. 네이티브는 복원한 소스를 전체 바우치 흐름에 연결하고 npm은 식별자와 정책과 인증 검사에 연결합니다.
리스펙스 바우치
결정이 로컬 게이트까지 가야 한다면 네이티브를 사용하세요
네이티브는 인증된 증거를 수신자가 묶음 밖에서 제공한 정확한 소스와 입력에 결속하고, 자기 컴퓨터에서 규칙을 다시 실행해 일치하는 로컬 결정을 기록합니다. 요청하면 같은 소스에서 compiled artifact를 유도하고 검증 Rust VM 일치도 기록합니다. 로컬 게이트는 현재 요청 결속 근거를 소비하고 호스트 애플리케이션은 게이트 결과를 소비합니다.