Lispex manual
(Lispex)
( parens are punctuation, recursion is rhyme )
A small Lisp for decision rules. Same input, same answer, and receipts you can check.
Code is data, printed plainly.
(define program '(+ 1 2 3))
programForm factorial
(define (factorial n)
(if (= n 0)
1
(* n (factorial (- n 1)))))
(factorial 5)Datum quoted form
(define form
'(map (lambda (n) (* n 10))
'(1 2 3 4)))
formLispex runs without a server. A reference interpreter, compiled to WebAssembly, evaluates code right in your browser.
Three execution paths, one visible boundary.
LIL is Lispex-in-Lispex. LIT is a Lispex-in-Topaz transliteration. Both join the Rust reference as bounded implementation lines.
LIL currently supports 85/205 primitive capability rows; LIT remains separately bounded at 84/205. The released joint Rust/LIL/LIT receipt records 59/144 all-family agreements and keeps 179 pair divergences visible. A separate 11,088-case same-Rust-lineage campaign found zero natural divergence. That scaled result is not a three-family or whole-language claim.
Every decision can keep a receipt.
Lispex v1.5.3 adds a Native local decision gate after authentication and current execution agreement.
Write a small decision rule and pin the input it runs on. The native release binary can use lispex vouch issue to construct and sign qualifying evidence. lispex vouch verify authenticates the exact bound context; adding --reexecute reruns the rule with both current Native evaluator paths and compares the complete transcript with both signed observations. lispex vouch gate --require-decision then returns success only when that live agreement exactly matches the required decision. Its report is not a transferable token or permission for an external action. npm offers structural inspect and replay; WASM and the Playground expose evaluation, not signed Vouch verification or gate.
생각의 원형을 담는 언어.
The language that captures the shape of thought.
Язык, воплощающий форму мысли.