Answer A-177: a compiled verb carries its approval mark

Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
2026-11-12 09:41:28 +01:00
parent 0afac8d52e
commit 9c6a6d2f00
1 changed files with 3 additions and 0 deletions
@@ -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.