리스펙스 문서
(리스펙스)
( 괄호는 구두점이고, 재귀는 운율이다 )
결정 규칙을 적기 위한 작은 리스프입니다. 같은 입력에는 늘 같은 답을 내고, 점검할 수 있는 영수증을 함께 둡니다.
코드는 데이터이며, 그대로 인쇄된다.
(define program '(+ 1 2 3))
program폼 팩토리얼
(define (factorial n)
(if (= n 0)
1
(* n (factorial (- n 1)))))
(factorial 5)데이터 인용된 폼
(define form
'(map (lambda (n) (* n 10))
'(1 2 3 4)))
form리스펙스는 서버 없이 실행됩니다. WebAssembly로 컴파일된 레퍼런스 인터프리터가 브라우저 안에서 코드를 바로 평가합니다.
세 실행 경로와 하나의 명확한 경계.
LIL은 Lispex-in-Lispex이고 LIT는 Lispex-in-Topaz로 옮긴 인터프리터입니다. 둘 다 Rust 레퍼런스와 함께 한정 구현선을 이룹니다.
현재 LIL은 primitive capability 85/205행을 지원하고 LIT는 별도 84/205 경계를 유지합니다. 공개된 공동 Rust/LIL/LIT 영수증은 전체 구현 계보 일치 59/144사례를 기록하고 쌍 차이 179건을 그대로 보여 줍니다. 별도의 같은 Rust 계보 11,088사례 캠페인에서는 자연 발생 차이가 0건이었습니다. 이 확장 결과는 세 구현 계보 또는 전체 언어에 대한 주장이 아닙니다.
결정은 영수증을 둘 수 있다.
리스펙스는 이식 가능한 bundle 인증을 유지하면서 네이티브 실행 권한 전에 정확한 외부 요청 결속을 요구합니다.
작은 결정 규칙을 적고 입력을 고정합니다. 네이티브 릴리스 바이너리의 lispex vouch issue는 발행 조건을 충족한 증거를 구성하고 서명합니다. lispex vouch verify는 정확히 결합된 컨텍스트를 인증합니다. bundle에 --reexecute를 추가하려면 이제 외부 --source와 --input이 필요하며, 그 뒤 현재 네이티브 평가기 두 경로로 규칙을 다시 실행하고 완전한 transcript를 서명된 두 관측과 비교합니다. lispex vouch gate --require-decision은 그 살아 있는 일치가 요구 결정과 정확히 같을 때만 성공합니다. gate 보고서는 전송 가능한 토큰이나 외부 행위 권한이 아닙니다. trust policy v1은 선택된 키가 정확한 소스를 허용하지 않으면 유효하게 서명된 규칙도 거부합니다. 네이티브와 npm은 같은 Rust verifier로 검사하고 같은 정규 v0 보고서를 냅니다. Unpinned bundle verify는 인증 전용으로 남아 재실행이나 gate에 도달할 수 없습니다. 인증 뒤 요청을 비교하고, 비공개인 살아 있는 request-bound 값만 현재 실행으로 이어집니다. 이는 요청 동일성이지 신선도나 replay 통제가 아닙니다. lispex vouch policy create는 소비자가 검토한 공개 키·engine digest·정확한 소스로 정규 policy v1을 구성하고 policy check는 정확한 정규 바이트를 검사합니다. 이 명령은 설정만 만들며 trust·evidence·권한을 만들지 않습니다. npm은 발행·재실행·gate·보고서 승격을 할 수 없으며 공개 WASM과 플레이그라운드는 인증이나 policy 도구 없이 평가만 제공합니다.
bundle이 gate가 실행할 요청을 고를 수 없습니다.
네이티브 bundle 재실행·gate는 완전한 외부 source/input 쌍을 요구하고 살아 있는 request-bound evidence만 실행으로 전달합니다.
Raw·unpinned 인증도 유지합니다. 권한 pin이 없거나 일부뿐이면 artifact I/O 전에 실패하며 보고서와 bundle 바이트는 grant로 승격할 수 없습니다.
전체 Vouch 흐름 실행하기생각의 원형을 담는 언어.
The language that captures the shape of thought.
Язык, воплощающий форму мысли.