The provenance graph of every governed decision

Each node is a REAL receipt. Edges bind it to the Λ-gate that governed it, the Lean proof backing the kernel, the energy it burned, and the BFT witnesses that co-signed. Click a node for its fields + a genuine verify badge. ← full 3D atlas

provenance · honest counts

decisions…

Λ-gates…

Lean proofs…

BFT witnesses…

verified / unavail…

energy meas / UNAVAIL…

source: …

node inspector

Click any node to inspect its real receipt fields. Nothing here is fabricated — an unsigned receipt reads UNAVAILABLE, never a fake pass.

Λ = Conjecture 1 — advisory, never a theorem.
The Lean node backs the kernel invariant, not “the AI is correct”.
Energy = verbatim joules or honest UNAVAILABLE — never fabricated.
Verify badge = real WebCrypto ECDSA-P256 · read-only · no key sent.

◇

No receipts yet

The Covenant Cockpit renders only REAL receipts. Drop a receipts.json (szl-receipt in-toto shape) next to this page, or restore the bundled receipts.sample.json, and the provenance graph will appear. Nothing is fabricated here. ← full 3D atlas