Expand description
Versioned contracts for deterministic, source-grounded memory transitions.
Structs§
- Active
Head Simulation V1 - Assertion
Draft V1 - One proposed canonical assertion and its complete source grounding.
- Dependency
Simulation V1 - Memory
Transition Candidate V1 - Candidate proposed by extraction or an operator before canonical admission.
- Memory
Transition Record V1 - Immutable audit/quarantine row adjacent to the existing authority journal.
- Memory
Transition Verification V1 - Deterministic compiler result. It intentionally carries no wall-clock fields.
- Omitted
Source Span V1 - Source
Artifact V1 - Immutable raw evidence supplied to the transition compiler.
- Source
Span RefV1 - Byte-exact reference into one immutable source artifact.
- Supersession
Draft V1 - Explicit replacement of one current authority head.
- Unsupported
Assertion Span V1 - Verification
Score