Merge pull request 'Design 47 G: A-352, a bus module's running build counts while its newer build waits for the operator's yes' (#606) from design/47-G-lead-answers-29 into main

2026-11-13 12:10:51 +00:00
parent 67960e12ba 328ca1b320
commit 0bbcf98baa
1 changed files with 4 additions and 0 deletions
@@ -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).