From cab8c547f1a41fb918236efaf3cce20d51d0d002 Mon Sep 17 00:00:00 2001 From: jochen Date: Wed, 11 Nov 2026 21:55:01 +0100 Subject: [PATCH] Correct A-13: findings-asked is heard on the seat's subject, not the part's stream Claude-Session: https://claude.ai/code/session_01JG73KEq4zoDfM9WtYpcQgZ --- 03-DESIGN/01-to-be/47-milestones/G-20-lead-answers.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 8e92712b..364c9604 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 @@ -52,9 +52,9 @@ names the principle that settles it, and is cited as "design 47 G A-n". - **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 +- **A-13** (§461, §439, §383; principle 7) mesh-sdk's writer forms its three own subjects (`finding-written`, `finding-cleared`, `findings-stated`) 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. + `views.FindingSubjects(module, node)`; a module passes no subjects. It hears `findings-asked` on the seat's subject `mesh.seat.mesh-conditions.event.findings-asked` (§387, §390, A-17), never on the part's own stream. - **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.