리스펙스를 플레이그라운드에서 실행하거나 npm CLI를 설치하거나 네이티브 바이너리를 내려받으세요. 네이티브와 npm은 공유 Rust로 정확한 요청에 고정한 bundle을 인증하며, 네이티브 재실행과 gate는 이 외부 source·input 경로를 반드시 요구합니다.
한눈에 보기
LISPEX
(define answer (* 6 7))
answer결과
OUTPUT
42작업 방법
- 플레이그라운드는 설치 없이 공개 WASM 빌드를 실행합니다.
- Node 배포 CLI는
npm install -g lispex를 사용하고, 플랫폼 바이너리와 체크섬은 다운로드 페이지에서 받습니다. - 파일 또는 표준 입력을 위에서 아래로 평가하고 마지막 결과를 정규 표기로 출력합니다.
- 리스펙스를 설치하고 정확한 identity를 산출·검토하고 policy v1을 생성·검사한 뒤, 모든 bundle 재실행·gate 호출에 의도한 source·input을 bundle 밖에서 제공하세요.
- 웹사이트 루트 주소를 열면 서버가 브라우저의 Accept-Language 선호를 협상합니다. 한국어는
/v1.7/ko, 러시아어는/v1.7/ru, 나머지는/v1.7/en으로 이동합니다. 공개 마이너 버전 경로는 모든 다국어 랜딩·설명서·다운로드·플레이그라운드 URL에 유지됩니다. 품질 가중치와 지역 서브태그를 반영하고 언어 전환기에서 명시적으로 고른 언어가 우선하며, 기존 무버전·v1.6 로케일 URL은 현재 마이너 버전으로 이동합니다.
경계
- 네이티브만
lispex vouch issue,vouch verify --reexecute,vouch gate --require-decision을 제공합니다. 네이티브와 npm은 모두 flag 없는 인증vouch verify를 제공하고 npm은 구조 검사vouch inspect와 코퍼스vouch replay도 제공합니다. - 네이티브와 WASM 프로필의 자원 상한은 다를 수 있습니다.