IIP-070: Receipts anyone can verify offline
IIP-070 is recorded on the Hypervisor Daemon roadmap with status Active implementation in Horizon 0 — building the governed core: Receipts anyone can verify offline. A run exports as a session whose signed, chained receipts verify on a clean machine with only a verifier and independently trusted roots, and whose recorded inputs replay to the same decisions..
What it is
A run exports as a session whose signed, chained receipts verify on a clean machine with only a verifier and independently trusted roots, and whose recorded inputs replay to the same decisions.
Where it stands
Partly built. The v2 receipt schema is published in the repository, and a verifier written independently of the daemon has a specification and test vectors; it waits for the daemon’s real receipts.
What has to be true next
The independent verifier passes on real exported sessions and catches every seeded tampering case (mutation, omission, truncation, fork, revoked key), and replay reproduces every decision.
Status
Active implementation in Horizon 0 — building the governed core. Implementation is underway and has current code anchors, but the stated scope is not complete. Horizons order work by evidence, not by date.
Evidence
The paper, release, repository path or evidence bundle behind this status.