From cfb66667112f58e78c599ea980ac232fdefecd2e Mon Sep 17 00:00:00 2001 From: jochen Date: Wed, 11 Nov 2026 21:36:23 +0100 Subject: [PATCH] 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 --- .../47-milestones/G-20-lead-answers.md | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/03-DESIGN/01-to-be/47-milestones/G-20-lead-answers.md b/03-DESIGN/01-to-be/47-milestones/G-20-lead-answers.md index 6b562d78..8354c64e 100644 --- a/03-DESIGN/01-to-be/47-milestones/G-20-lead-answers.md +++ b/03-DESIGN/01-to-be/47-milestones/G-20-lead-answers.md @@ -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.