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
2026-11-12 22:02:57 +01:00
parent edb7030102
commit 1b9c63e947
1 changed files with 7 additions and 0 deletions
@@ -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).