Lispex manual

(Lispex)

( parens are punctuation, recursion is rhyme )

A small Lisp for decision rules. Same input, same answer, and receipts you can check.

Plate I

Code is data, printed plainly.

LISPEX

(define program '(+ 1 2 3))
program

Form factorial

LISPEX

(define (factorial n)
  (if (= n 0)
      1
      (* n (factorial (- n 1)))))

(factorial 5)

Datum quoted form

LISPEX

(define form
  '(map (lambda (n) (* n 10))
        '(1 2 3 4)))

form

Lispex runs without a server. A reference interpreter, compiled to WebAssembly, evaluates code right in your browser.

Lispex v1.5.4

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.

Explore the backend observations

Lispex Vouch

Every decision can keep a receipt.

Lispex v1.5.4 brings authenticated Vouch verification to the npm CLI without moving Native re-execution or gate authority.

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. In v1.5.4 the npm CLI authenticates the same envelope and exact context with a verification-only build of the shared Rust core and emits the same canonical v0 report. npm cannot issue, re-execute, gate, or promote that report. Public WASM and the Playground expose evaluation, not the authentication export.

Read about Lispex Vouch

생각의 원형을 담는 언어.

The language that captures the shape of thought.

Язык, воплощающий форму мысли.