Playground

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

First decisionBrowser · Rust WebAssembly

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

This is a browser result. Native creates transferable decision records and evaluates application action gates.

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 store the exact source bytes. Native supplies signing, trust policy, and action-gate workflows.