jschoubben 9290cdda4d The checking program judges the module graph's cycles from the edges the running checker gathers (issue 1921, B0 review round 1) ...

ADR 0656 §5 has every check judged by parts built from the change's heads, and no record keeps the cycle rule in the
running checker. The facts carry each ordering edge's two modules and kind, never manifests: the whole catalogue's
graph is 50 edges, 3195 bytes.

Claude-Session: https://claude.ai/code/session_01NcbgfFSnn24M3GcqttoU7i

2026-11-06 23:28:20 +01:00

..

main_test.go

The checking program judges the module graph's cycles from the edges the running checker gathers (issue 1921, B0 review round 1)

2026-11-06 23:28:20 +01:00

main.go

Every check is judged by the checking program built from its heads (issue 1921)

2026-11-06 22:58:15 +01:00