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.
| Document | Read it to understand |
|---|---|
| Walkthrough | A concrete task before and after a missing assertion is identified. |
| Protocol | Roles, states, invariants, and the location of the gate. |
| Trust boundaries | Why a worker's narrative, a digest, and an execution result are different evidence. |
| Design decisions | The reasoning behind the design and the alternatives we rejected. |
| Measurement | How to test value without mistaking abstention for success. |
| Adoption | How to move from a specification to a bounded integration. |
| Status | What exists in this release and what has not been demonstrated. |
| Release checks | The local checks actually performed for version 0.1.0. |
| Sources | The source basis, transformation of research data, and external documentation. |