Expand description
Proof closure state for ledger, lineage, and authority verification.
This module is intentionally pure shape logic for cortex-core: no I/O,
no hashing, no signature verification, and no ledger reads. Verifier crates
supply the observed edges and failures; these types preserve the result
without allowing a partial proof to be accidentally reported as full.
Structs§
- Failing
Edge - A missing, unresolved, or invalid proof edge.
- Proof
Closure Report - Closure report for a proof graph.
- Proof
Edge - A verified proof edge.
Enums§
- Proof
Edge Failure - Failure category for a proof edge.
- Proof
Edge Kind - Kind of edge participating in a proof closure.
- Proof
State - Overall state of a proof closure check.