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.1

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 and LIT each support 84/205 primitive capability rows. The 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.1 adds native Vouch issuance: qualifying checked decisions can now be constructed and signed as DSSE envelopes.

Write a small decision rule and pin the input it runs on. The native release binary can use lispex issue-native to construct a qualifying receipt from those exact bytes and sign its canonical payload with an Ed25519 key. lispex verify-native checks the envelope against a consumer-supplied trust policy and the pinned source, input, profile, and engine context. Issuance is not available in npm, WASM, or the Playground. A valid signature authorizes a key for the checked payload; it does not prove human identity, time, honest deployment, policy correctness, or whole-language equivalence.

Read about Lispex Vouch

생각의 원형을 담는 언어.

The language that captures the shape of thought.

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