Documentation

September 17, 2026 ยท View on GitHub

Start with the walkthrough to see why a green test can still be a weak handoff. The protocol then defines how a conforming controller would handle evidence and limited continuation.

DocumentRead it to understand
WalkthroughA concrete task before and after a missing assertion is identified.
ProtocolRoles, states, invariants, and the location of the gate.
Trust boundariesWhy a worker's narrative, a digest, and an execution result are different evidence.
Design decisionsThe reasoning behind the design and the alternatives we rejected.
MeasurementHow to test value without mistaking abstention for success.
AdoptionHow to move from a specification to a bounded integration.
StatusWhat exists in this release and what has not been demonstrated.
Release checksThe local checks actually performed for version 0.1.0.
SourcesThe source basis, transformation of research data, and external documentation.