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

Merge pull request 'Design 25 bus-state: the lead's answer L1, a merged candidate's manifest is newly accepted' (#578) from design/25-merged-verdict into main

Browse Source
This commit was merged in pull request #578.
This commit is contained in:
mesh-tools
2026-11-12 12:28:30 +00:00
parent a45b31fdaf ff30ac166e
commit a412c0760b
1 changed files with 7 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
03-DESIGN/01-to-be/25-milestones/bus-state.md
+7
View File
@@ -397,3 +397,10 @@ clause of the record that statement cites, as it was before the move; "§ 12.n"
23 readers of ADR 0615 §1 and move in the next milestone, queued on issue 1966. The manifest validator still refuses a moved module's subscription to an event 23 readers of ADR 0615 §1 and move in the next milestone, queued on issue 1966. The manifest validator still refuses a moved module's subscription to an event
its owner does not declare. Every other reader moves when its module is next touched. These moves are tracked by its owner does not declare. Every other reader moves when its module is next touched. These moves are tracked by
issue 1966. issue 1966.
## The lead's answers
- **L1** (issue 1966, met three times on 2026-11-12: a merged module's new build waited for its part grant): a candidate's
manifest that a merge makes a module's trunk manifest is newly accepted in §1, so the indexer's merge pass says
`manifest-accepted` from the verdict it holds even when that verdict was written for the candidate before the merge
and is unchanged; a reader that receives it below the revision it holds treats it as a gap (§12.2) (P3, P1).