01 / Run integrity
Status, coverage, and evidence gates. Missing evidence is UNKNOWN, never an implied pass.
02 / Agent turns
Runtime observations and authority effects share a lane but retain distinct evidence classes.
03 / Event causality
Edges come from recorded causes. Wall clocks never manufacture cross-node order.
04 / Collaboration evidence
Connected components formed only from explicit backward causes. References are displayed as annotations, never inferred as identity edges.