Proof LedgerIn build
Interactive Proof Ledger
A running record of gate runs, decisions, and open gaps.
What it is for
Proof Ledger in the proof lifecycle.
The Proof Ledger is a filterable record of gate runs: decision, claim mapping, open gap, evidence status, and record status. It keeps every authorized decision traceable.
Interactive Proof LedgerInteractive illustration · sample data
| Gate run | Decision | Claim mapping | Open gap | Evidence | Record |
|---|---|---|---|---|---|
| GR-4471 | Accepted | plain-language status | none | Witnessed | Recorded |
| GR-4468 | Accepted | protected-file controls | none | Witnessed | Recorded |
| GR-4462 | Hold | preview evidence available | Needs evidence | Needs evidence | Open |
| GR-4459 | Blocked | commercial readiness | External proof | Blocked | Blocked |
| GR-4455 | Accepted | preview flow witnessed | none | Witnessed | Recorded |
| GR-4450 | Hold | demo-to-real path | Open | Needs evidence | Open |
Claims stay grounded in the record.
Where it fits
Relation to the Evidence Lab.
The Proof Ledger is the Evidence Lab’s memory. Accepted evidence packets are recorded here, and the Claim Register and Benchmarks both read from it.
Proof boundaries
What is not claimed.
- Interactive illustration · sample gate runs with fictional identifiers.
- Sample records do not represent real project runs or customers.
- A recorded run is not an external or commercial proof.