From 9c6a6d2f005069f755cc003480db4bf12d8c5a42 Mon Sep 17 00:00:00 2001 From: jochen Date: Thu, 12 Nov 2026 05:41:02 +0100 Subject: [PATCH] Answer A-177: a compiled verb carries its approval mark Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h --- 03-DESIGN/01-to-be/47-milestones/G-20-lead-answers.md | 3 +++ 1 file changed, 3 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 07f4495c..6fcfd8a0 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 @@ -668,3 +668,6 @@ names the principle that settles it, and is cited as "design 47 G A-n". unacknowledged message was delivered) into its module's own state `consumers` (history 1, a key per consumer) through one mesh-sdk helper, after each message it applies; the runner and the indexer use it, and their tools read that state. +- **A-177** (design 46 approval mark ยง4; principle 7) mesh-sdk's compiled `catalogue.Verb` gains `NeedsApproval`, + copied by `SeatsFromDefinitions` from the definition, so the validator and every reader of the seat list read a + verb's mark from one place.