Live enforcement · kernel.execlayer.io

Test the kernel, live.

You are about to file a real intent with the production kernel and watch it get refused, with signed evidence anyone can verify.

The live kernel

kernel.execlayer.io · signed ED25519 receipts

This files a real intent with the kernel: a rover asking to fire a thruster at nineteen times its authorized burn. The action is refused unless it is authorized, and the refusal comes back as signed evidence anyone can verify.

Plain-English tour · 80 seconds · audio with captions

subject

rover-7

operation

THRUST_ADJUST

parameters

{ "delta_v": 9.5 }

target

thr-x

grant_id

G1

Adjudication takes a few seconds in the browser. This is a demo surface, not the production path.
Flight strip[ DENY ]
ACTORrover-7
ACTIONTHRUST_ADJUST
RISKHIGH
POLICYG1:G-catalog
2026-08-06T23:58:27.210Zrcpt 2c9f43...51d6

Recorded from kernel.execlayer.io

Verify it yourself

The evidence outlives the demo.

Every decision above came with a signed receipt. Carry it into the Auditor and your browser checks the structure, the decision hash, and the ED25519 signature itself. No trust in ExecLayer required.

The full surface

Compose your own intents, walk the receipt lineage, and audit proofs on the kernel itself.

Open kernel.execlayer.io

Score your own governance

The Agentic Governance Benchmark scores six enforcement dimensions, entirely in your browser.

Run the assessment