Skip to content

Evidence graph

Every claim this project makes, wired to the document that defines it, the file that implements it, and the test that proves it.

Each claim is one node. Around it sit the kinds of evidence that can back it: the document that specifies it, the file that implements it, and the behavioural test that proves it. Evidence nodes are shared, so a file that carries several claims is one node with several edges, and a claim standing on nothing is visible as a dot with nothing attached.

A claim marked guaranteed must reach a test. That is not a convention — the generator refuses to build this page if one does not, and the check that follows the build refuses if the edge was lost on the way in.

docs/CLAIMS.yaml

Select a node to see what it is and what it touches.

Every claim and the evidence attached to it. Evidence nodes are shared, so a file carrying several claims appears once.
The same graph as text — 329 nodes, 428 edges
6 advisory Projected into the worker's instructions. Whether a worker honours it is not observable from outside. Documentation, not enforcement. 134 guaranteed Deterministic and blocking. Implemented, and a behavioural test proves it. 6 planned Specified and not implemented. Named so the omission is visible. 2 rejected Considered and deliberately refused, with the reason recorded.

The canonical source is docs/CLAIMS.yaml; the full table with sources, implementations and tests is on guarantees.