다운로드

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

릴리스 v1.18.0

모든 플랫폼

선택형 macOS ARM64 추가 엔진

보통은 네이티브의 routes fetch 명령으로 설치합니다. 여기서 추가 엔진이란 직접 골라 설치해야만 쓰는 또 다른 실행 방식이고, 리스펙스가 알아서 골라 주는 일은 없습니다. 아래 고정 링크는 네이티브가 안에 담고 있는 카탈로그와 컴패니언 아카이브 두 개를 그대로 보여 주므로, 버전을 추측하지 않고 내용을 감사하거나 문서에 적힌 오프라인 설치 절차를 따라갈 수 있습니다.

작은 규칙 엔진의 정확한 바이트

애플리케이션은 네이티브가 안에 담고 있는 것과 같은 엔진의 바이트를 그대로 고정할 수 있습니다. 이 엔진은 선언해 둔 한도 안에서 규칙 하나만 실행하고, 바깥에서 아무것도 끌어다 쓰지 않습니다. 매니페스트는 이 엔진이 다루는 범위, 작업량을 세는 방식, 값을 주고받는 방식, 영수증에 무엇이 들어가야 하는지, 메모리 한도, 체크섬을 고정합니다. 그 옆에는 미리 기록해 둔 요청과 결과 바이트가 있어서, 이 엔진을 쓰는 사람이면 누구나 자기 쪽에서도 똑같은 바이트가 나오는지 스스로 확인할 수 있습니다.

언어 전체를 다루는 규칙 엔진의 정확한 바이트

별도의 컴포넌트가 lispex-profile-1.5 언어 전체를 다루고, 다루는 범위와 작업량 계측, 컴포넌트, 아티팩트마다 자기 식별자를 따로 가집니다. 값을 주고받는 방식과 실행 기록, 남에게 건넬 수 있는 기록의 형식은 이미 충분함이 확인된 것을 그대로 다시 쓰고, 작은 쪽 제품의 이름이나 범위는 건드리지 않습니다. 네이티브는 명시적인 embed full 명령에서만 이 컴포넌트를 고르고, 작업마다 새 인스턴스를 만듭니다.

한 줄 설치

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

명령을 찾지 못한다면

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

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

• 네이티브를 고르면 쓸 수 있는 도구가 가장 많습니다. 리스펙스에 처음부터 들어 있어 따로 설치할 것이 없고 소스를 그대로 읽어 내려가는 인터프리터, 선언해 둔 한도 안에서 규칙 하나만 실행하는 별도의 작은 엔진, 검증된 바이트코드를 명시적으로 실행하는 Rust 가상 머신, 프로그램이 번역되어 가는 중간 형태를 보여 주는 명령, 정확한 리스펙스 이미지, 그리고 리스펙스 바우치 전체 흐름이 모두 여기에 있습니다. 오직 여기에만 있는 것은 셋입니다. 증거 발급, 내가 고정한 요청의 재실행, 그리고 고정한 규칙을 이 컴퓨터에서 다시 실행해도 서명된 결정이 그대로 나올 때만 통과하는 로컬 게이트 검사입니다. 같은 소스에서 컴파일한 산출물도 네이티브의 몫이고, 가상 머신까지 일치해야 한다는 조건을 선택해서 붙일 수 있습니다.
• Node가 이미 있다면 npm판을 고르세요. 소스를 실행하고, Rust를 WebAssembly로 컴파일한 코어로 네이티브와 같은 정확한 이미지 파일 명령을 제공하며, 네이티브와 같은 검사기로 바우치 증거를 인증합니다. 중간 형태나 바이트코드 명령, 컴파일 산출물 판독기, 가상 머신은 없습니다. 바우치에서 npm이 하는 일은 인증이고, 결정 코퍼스 재생 명령도 함께 갖추고 있습니다. 그 재생은 기록해 둔 영수증을 오프라인으로 비교할 뿐 인터프리터를 다시 돌리지는 않습니다. npm이 아예 거절하는 것은 증거 발급, verify의 재실행 옵션, 로컬 게이트 검사이며, 이 셋은 모두 네이티브에 남습니다.
• 아무것도 설치하지 않고 소스를 실행하거나, 정확한 이미지를 만들고 열고 넘겨 보고 복원하고 내려받아 명시적으로 실행하려면 플레이그라운드를 쓰세요. 전부 브라우저 안에서 일어납니다. 중간 형태나 바이트코드 가져오기가 없고 가상 머신도 없으며, 바우치 산출물이나 키, 인증, 정책 도구는 드러나지 않습니다.