Answer A-4 to A-9 against the principles: grants, the branch follower, the gate's kept data, take-in bodies

Claude-Session: https://claude.ai/code/session_01JG73KEq4zoDfM9WtYpcQgZ
2026-11-11 21:36:23 +01:00
parent 51a9919c56
commit cfb6666711
1 changed files with 18 additions and 0 deletions
@@ -28,3 +28,21 @@ names the principle that settles it, and is cited as "design 47 G A-n".
  and runs `views.CheckFinding` on that form. A body whose wire form lacks a field the contract names fails loudly at its
  first write (principle 3) and in the writer's unit test, which runs against the real generated types of
  `mesh-conditions`.
 - **A-4** (§556; principle 7, and who may do what is no question) The grants part grants a reader of a stream read whole
  every subject an ordered consumer of that stream uses: its creation, its next message, its info and the deletion of
  its own consumer.
 - **A-5** (§614, D-5; principle 7) The branch follower of §614 (registrations, the gate's `source`, adopt and drop of
  views, entries by fingerprint kept asked, answered or not found) is built once, in `meshcatalogclient`, and every
  part named in §614 uses it; none builds its own.
 - **A-6** (§693; principle 7) The grants part keeps reading the assigner's `wants` view and consumes no `wanted`: a want
  the assigner removes leaves that view, and the grants part composes no account for it. The `removed` field of §693 is
  added to the seat `mesh-wants` for its other readers.
 - **A-7** (GR10, §276, §266, §269; principles 1 and 7) The grants part holds the entries of a revision whose accounts its
  new version has not yet composed; it keeps the hold in its own state on the bus; `clock-from` is the start of its new
  version's first pass, which it knows itself, so it hears no `build.ended`; the bound is §266's granting bound of 10
  minutes, a constant of the part.
 - **A-8** (§613; principle 7) The template state takes the local name; the gate opens each old section once at its start
  by the section's bus name, its own data, and copies a key only when the template lacks that key. No clock or
  sequence is compared. Once every key is copied the old section is left to its retirement (§613).
 - **A-9** (CT15, §476, §493, §530; principle 8) The `bodies` types are named `TakeInTaken`, `TakeInPending`,
  `TakeInMerge`, `TakeInMember` and `TakeInEntry`, as built in mesh-delivery f38e45fd..1c09de8d.