jschoubben
df05b1a5f7
A graph node now names what its manifest invokes and serves, and the verb edges the graph leaves out; a bus-state entry is a requirement of bus-state. Before and Cycle count the kept verb edges beside bases and awaited provisions, never a package or toolchain edge. LeaveOut leaves out every verb edge whose ends reach each other, so the builder's remove and a holder's builder_versions hold nothing and the check never refuses them. Claude-Session: https://claude.ai/code/session_01JG73KG7AfSdh6FP8VrBqCn