From 6e65fe2246476b1403de550d8b758a490b580970 Mon Sep 17 00:00:00 2001 From: jochen Date: Thu, 12 Nov 2026 05:57:02 +0100 Subject: [PATCH] Answer A-204: the assigner keeps its said put waits on the bus Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h --- 03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md b/03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md index 3a644801..ea80fc40 100644 --- a/03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md +++ b/03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md @@ -98,3 +98,5 @@ the principle that settles it, cited as "design 47 G A-n". record the assigner holds; the grants part follows the assignment half by `mesh-wants`' `revision` and its `assignment-revision` event; its user list carries `withheld: [{module, subject, why}]`, and the seat `mesh-grants`' verb `withheld` takes `{node}` and answers `{node, modules: [{module, subjects: [{subject, why}]}]}`. +- **A-204** (ยง498; principle 2) The assigner keeps which put waits it said in its own state on the bus, so a put + that ends while the assigner is stopped gets its `wait-ended` at the next start.