L3a: the indexer waits on a manifest field its judge does not know; the grants part keeps a held module's users and others' grants (ADR 0601 clause 3) #145

2026-11-03T12:08:43Z

mesh-tools commented

2026-11-03 12:08:43 +00:00

Design 47 milestone L3, first release (L3a), issue 774, ADR 0601 clause 3. Group feat/l3a-waits with mesh-sdk (pinned at 42bd7b80); no manifest of any module changes, so nothing is refused at its merge.

Indexer: a manifest with a field its judge does not know waits (no refusal, no manifest-refused); it is refused only once the indexer's running build, asked of the node-engine seat's composition verb, is the trunk's fingerprint for it; judged again at every start pass; tools indexer_verdicts and indexer_judge (which asks the running build again first); one judge pass at a time.
Grants part: a held (refused or waiting) module keeps its bus users from the list in force (warning mesh-grants.module-held); its seats, the streams others hear from it, its reads, object reads and the node-engine's manifest are composed from the manifest its running build was judged on, so no other principal loses a grant; one held manifest no longer holds the whole list, except a placed module with no running manifest, which is a failed gap and keeps the list in force.
Watchman: a wait is its own finding; checker: hands the sandbox a wait as a refusal.

Tests: rows in existing tests in the indexer, the grants part and the watchman; each fails without its change; no new test function.

Reviewed-by: mesh-code-reviewer@shanks at 83f7a7612d

Design 47 milestone L3, first release (L3a), issue 774, ADR 0601 clause 3. Group feat/l3a-waits with mesh-sdk (pinned at 42bd7b80); no manifest of any module changes, so nothing is refused at its merge. - Indexer: a manifest with a field its judge does not know waits (no refusal, no manifest-refused); it is refused only once the indexer's running build, asked of the node-engine seat's composition verb, is the trunk's fingerprint for it; judged again at every start pass; tools indexer_verdicts and indexer_judge (which asks the running build again first); one judge pass at a time. - Grants part: a held (refused or waiting) module keeps its bus users from the list in force (warning mesh-grants.module-held); its seats, the streams others hear from it, its reads, object reads and the node-engine's manifest are composed from the manifest its running build was judged on, so no other principal loses a grant; one held manifest no longer holds the whole list, except a placed module with no running manifest, which is a failed gap and keeps the list in force. - Watchman: a wait is its own finding; checker: hands the sandbox a wait as a refusal. Tests: rows in existing tests in the indexer, the grants part and the watchman; each fails without its change; no new test function. Reviewed-by: mesh-code-reviewer@shanks at 83f7a7612d1955dbb962d80e009689d1e6eefac8

mesh-tools added 3 commits 2026-11-03 12:08:44 +00:00

A manifest with a field the judge does not know waits instead of being refused; a held module keeps its bus users; tools list and redo the verdicts (ADR 0578 amended, issue 774) 40da5e924e

Review round 1: the indexer learns its build from the node-engine's seat; a held module's seats and hearings come from its running manifest; indexer_judge; one judge pass at a time (issue 774) 1fe1beee58

Review round 2: a held module's object reads come from its running manifest; one with none keeps the list in force, said; indexer_judge asks the engine for the running build again (issue 774)

mesh/check failed (3): shanks: novox/mesh-sdk#163 does not merge into the trunk: files in conflict: go/deli…; and 2 more | 83f7a7612d19 on c4470f42dba9

mesh/delivery-group group feat/l3a-waits rejected: composed together: the checker's verdict at the members' heads (de2cdacb9cde): shanks

Details

mesh/delivery closed: the pull request closed unmerged

Details

83f7a7612d

mesh-tools commented

2026-11-03 12:08:46 +00:00

Delivery novox/mesh-delivery@83f7a7612d19 — closed since 2026-11-03T17:00:15Z

Transitions

2026-11-03 12:08 (new) → proposed (announced): novox/mesh-delivery#145's head announced
2026-11-03 12:08 proposed → ready (accepted): a verdict names this commit and the trunk's head as its trunk commit, the gate passed or warned, and the repository's own check did not fail; or the check gates no merge (check-gates-merge false)
2026-11-03 17:00 ready → closed (closed): the pull request closed unmerged

The commit's note under refs/notes/mesh-plan keeps every transition of this change up to its merge: git log --notes=mesh-plan.

**Delivery** `novox/mesh-delivery@83f7a7612d19` — **closed** since 2026-11-03T17:00:15Z **Transitions** - 2026-11-03 12:08 (new) → proposed (announced): novox/mesh-delivery#145's head announced - 2026-11-03 12:08 proposed → ready (accepted): a verdict names this commit and the trunk's head as its trunk commit, the gate passed or warned, and the repository's own check did not fail; or the check gates no merge (check-gates-merge false) - 2026-11-03 17:00 ready → closed (closed): the pull request closed unmerged The commit's note under `refs/notes/mesh-plan` keeps every transition of this change up to its merge: `git log --notes=mesh-plan`.

mesh-tools commented

2026-11-03 12:30:07 +00:00

mesh-delivery: not merged. The merge of this pull request into main at 83f7a7612d was declined: the operator, via telegram (user id verified), chose Decline. A new head asks the operator again.

mesh-delivery: **not merged.** The merge of this pull request into main at 83f7a7612d1955dbb962d80e009689d1e6eefac8 was declined: the operator, via telegram (user id verified), chose Decline. A new head asks the operator again.

mesh-tools referenced this pull request

2026-11-03 16:59:35 +00:00

L3: a source revision ordered by the module graph, the check waits on its candidate's builds, and an emptied repository never drops a module another trunk holds (ADR 0603, ADR 0604, issues 1367, 774) #147

mesh-tools closed this pull request

2026-11-03 17:00:13 +00:00

Pull request closed

Please reopen this pull request to perform a merge.

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: novox/mesh-delivery#145