From 0e1a742b1066d9fb668cfb6a5ab9b05cada5de37 Mon Sep 17 00:00:00 2001 From: jochen Date: Wed, 11 Nov 2026 21:40:29 +0100 Subject: [PATCH] Answer A-10 to A-14 against the principles: seat events, the granting wait's release, the writer's subjects, ref in the id Claude-Session: https://claude.ai/code/session_01JG73KEq4zoDfM9WtYpcQgZ --- .../01-to-be/47-milestones/G-20-lead-answers.md | 12 ++++++++++++ 1 file changed, 12 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 8354c64e..e696eec4 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 @@ -46,3 +46,15 @@ names the principle that settles it, and is cited as "design 47 G A-n". 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. +- **A-10** (§276, §498; principles 1 and 7, and who may do what is no question) A holder says a seat event through one + mesh-sdk call, `Conn.EmitSeat(seat, event, body)`, publishing on `mesh.seat..event.`; the grants part + grants every holder publish of its held seats' event subjects. +- **A-11** (GR10; principle 7) A wait's `version` is the holder's own running fingerprint, as the indexer names it. +- **A-12** (GR10, §276; principle 4) `grants_release` ends the granting wait: the held entries go on, the wait is said + ended with `how` `released`, and no `acting-part-late` is raised for it. +- **A-13** (§461, §439, §383; principle 7) mesh-sdk's writer forms its four subjects itself, in §383's form + `mesh.stream..event..`, from its module and node, through one function + `views.FindingSubjects(module, node)`; a module passes no subjects. +- **A-14** (§580; principles 7 and 8) A finding that told several findings of one kind on one id apart by a `ref` puts that + part into its id (`.`, each escaped as §73 escapes a name); a kind stays a fixed word of its bundle's list. The + key's scope and id and the subject's scope and id are set equal, as before.