Answer A-331: a cycle across steps is a cycle; amends 272 as A-323 built it
Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
This commit is contained in:
@@ -625,3 +625,6 @@ the principle that settles it, cited as "design 47 G A-n".
|
||||
pass that finds the want held on no cycle clears it. "Held by nothing but its build" means held by no acting edge: the
|
||||
node-engine's want on a node (the holder of the seat `node-engine` there, read from the acting edges' seat) keeps every
|
||||
other rule of a want (grant, hold, canary, composition).
|
||||
- **A-331** (amends §272 by A-323; §49; principle 3) §272's "a cycle across two steps is none" no longer holds: a cycle of
|
||||
acting waits across steps is a cycle (A-323), delivered as one step where it has delivery edges only (§49), and a want
|
||||
held on one no rule breaks raises `acting-cycle` (A-330).
|
||||
|
||||
Reference in New Issue
Block a user