novox/hq
9
0
Fork 0
Code Issues Pull Requests 2 Releases Wiki Activity

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

Browse Source
This commit was merged in pull request #606.
This commit is contained in:
mesh-tools
2026-11-13 12:10:51 +00:00
parent 67960e12ba 328ca1b320
commit 0bbcf98baa
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md
+4
View File
@@ -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 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 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). 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).