(Lispex)

Every link on this page is pinned to the release shown below. The install scripts resolve the current release and compare the downloaded binary with its SHA-256 sidecar.

Release: v1.9.0

All platforms

Platform	Binary	Checksum
Linux · x86_64	lispex-linux-x86_64	.sha256
Linux · aarch64	lispex-linux-aarch64	.sha256
macOS · Apple silicon	lispex-macos-aarch64	.sha256
macOS · Intel	lispex-macos-x86_64	.sha256
Windows · x86_64	lispex-windows-x86_64.exe	.sha256
Release manifest	manifest.json	asset names, sizes, URLs, and SHA-256 digests

One-line install

SHELL

# macOS / Linux
curl -fsSL https://www.lispex.com/install.sh | sh

# Windows (PowerShell)
irm https://www.lispex.com/install.ps1 | iex

# npm (Node 18+)
npm install -g lispex

Check the installed command

A successful install prints the exact product version. You can repeat the check at any time:

SHELL

lispex --version
# Expected: lispex v1.9.0

If the command is not found

macOS and Linux install to ~/.lispex/bin by default. Add that directory to PATH, then restart the shell.
Windows installs to %LOCALAPPDATA%\Lispex\bin by default. Add that directory to the user PATH, then open a new PowerShell window.
If you chose npm, confirm that Node 18 or newer is active and that the global npm binary directory is on PATH.

Which surface should I use?

Use the native binary for the dependency-free tree interpreter, explicit verified-bytecode Rust VM, Core IR and bytecode commands, exact Lispex Images, and the complete Lispex Vouch workflow including exact-source compiled artifacts and optional VM-agreement gates.
Use npm when Node is already available. It provides the same exact Lispex Image file commands through Rust/WASM, runs source, and authenticates Vouch evidence. It has no Core IR, bytecode, compiled-artifact reader, or VM engine; it does not issue, re-execute, or gate Vouch evidence.
Use the Playground without installing anything to run source or create, open, navigate, recover, download, and explicitly run exact images entirely in your browser. It has no Core IR or bytecode import and no VM engine, and exposes no Vouch artifacts, keys, authentication, or policy tools.

Optional Topaz VM

Compare one verified bytecode artifact in Rust and Topaz

On macOS ARM64, Native can explicitly run the exact separately installed Topaz 5.11 lispex-topaz-vm/v1 product and compare it with the Rust VM. Lispex checks the provider product, request, result, full-width resource counters, and zero-fallback report before accepting the observation. Rust remains the default; the Topaz route does not enter Vouch or grant authority.

Lispex Images

Carry exact source as a deterministic image

Native and npm provide the same file commands; public WASM and the Playground use the same Rust codec locally. All restore source byte for byte and run only after full proof. Native accepts a proved image throughout Vouch; npm accepts it for identity, policy, and authenticated verification only. The image itself is not evidence or authority.

Lispex Vouch

Use Native when the decision must reach a local gate

Native can bind authenticated evidence to the exact source and input supplied outside a bundle, re-execute with current tree/Meaning, and grant only a matching local decision. When explicitly requested, it re-derives a compiled artifact from that source and also requires the verified Rust VM to agree. Unpinned bundles, ordinary bytecode, artifacts, and reports cannot promote themselves into authority.