Playground

Run source or create, open, recover, download, and explicitly run exact Lispex Images with the shared Rust WebAssembly core. Everything stays in this browser; no server.

First decisionBrowser · Rust WebAssembly

01 · Rulerefund-window.lspx
02 · Input
03 · Decision—
04 · Checkable recordDownload Native handoff

This is a browser result, not a Native portable core or authority.

Extract into a fresh directory, then run the included explicit command to create, inspect, verify, and replay the checkable record.

Lispex

(let ((input '((days . 14) (opened . #f))))
  (let ((days (cdr (car input)))
        (opened (cdr (car (cdr input)))))
    (if (< days 15)
        (if opened "deny" "allow")
        "deny")))

Examples

Outputloading…

Diagnostics

Lispex Image

All image work stays in this browser. Images contain the exact source and are not secret, signed, trusted, or execution authority.