From 1b9c63e947a0bb872014f1165d99cc198ca1e1ff Mon Sep 17 00:00:00 2001 From: jochen Date: Thu, 12 Nov 2026 22:02:57 +0100 Subject: [PATCH] Answer A-307 and A-308: the node-engine gains no uses, and its watch of the indexer's modules goes Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h --- 03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md | 7 +++++++ 1 file changed, 7 insertions(+) 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 65a13cef..0e128a54 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 @@ -495,3 +495,10 @@ the principle that settles it, cited as "design 47 G A-n". - **A-306** (§626, §419; principle 7) A Go module that G creates has no count at a commit of main, so §626 does not hold it; the test budget (at most 50 integration and 500 unit tests) does. A test added to a module that exists on main counts under §626, a contract's generated `TestFixtures` included. +- **A-307** (corrects A-239; §635; principle 7) The node-engine's manifest gains no `uses`: its `invokes` of + `seat:mesh-grants.withheld` gives the served-verb edge, as §635 says; A-239's last clause (`uses` gains + `mesh-grants`) is withdrawn, and the rest of A-239 holds. +- **A-308** (§628, §421, ADR 0596 §2; principle 1) §628's list of the indexer's states the node-engine still reads is + whole: `candidates`, `manifests` and `verdicts`, for compose-candidate alone. Its watch of the indexer's `modules` + (selfcompose shadow.go) goes; what it took from a module's record it reads from the catalog half's entry the want + names (§421).