diff --git a/03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md b/03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md index 5c6a2dff..d7dc1185 100644 --- a/03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md +++ b/03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md @@ -711,3 +711,7 @@ the principle that settles it, cited as "design 47 G A-n". version the builder gave a number, numbered or published, since that is the version the module was built against; a filled version or edge whose number the builder kept no digest for carries none (the fill needs only the number to count above it, and a filled edge is stale until the module's next build). +- **A-352** (ADR 0614 §5 and §2; principle 3) The assigner's bus-state rule counts a build that offers `bus-state` and + runs healthy from the holder's have, also while a newer build of the bus module waits for the operator's yes: the + running build serves the bus state, so a consumer that needs none of the new build's forms is not held; a consumer + whose new form only the new build reads still waits for it by its edge of kind 4 (§50).