Answer A-311 and A-312, and give A-310's shape

Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
2026-11-12 22:20:34 +01:00
parent 47bb7409be
commit 5744cc0472
1 changed files with 9 additions and 0 deletions
@@ -511,3 +511,12 @@ the principle that settles it, cited as "design 47 G A-n".
  reads the entry by `seat:mesh-catalog.entry` with that fingerprint, takes its manifest whole, and refuses the request,
  saying which module, when the entry's `manifest-digest` differs or a digest comes without a fingerprint. A manifest
  sent whole (`raw`, the assigner and the indexer) is read as today.
+- **A-311** (design 34 every-event §19; principle 7) The console wait keeps its floor of one second; its test runs the
+  independent one-second rows as parallel subtests, and no clock hook is added to `bus.Conn` or the console.
+- **A-312** (§421, §628, ADR 0596 §2; principles 1 and 3) For a module an assignment candidate adds to a node that has
+  no want for it there, the node-engine's shadow asks `seat:mesh-catalog.module` for the trunk's fingerprint when it
+  composes that candidate, then takes that fingerprint's entry by `seat:mesh-catalog.entry`; a call, no watch, no
+  picture of the catalog. Its manifest invokes `seat:mesh-catalog.module`; a module the answer gives no fingerprint is
+  held, the verb's reason named.
+- **A-310's shape:** `composer.Manifest` is `{Raw, Digest, Fingerprint}` (wire `fingerprint`), and `composer.Fill`'s
+  getter takes the `Manifest`.