From a50c26ecea6db9ad8da57e0c54027ccf012423c5 Mon Sep 17 00:00:00 2001 From: jochen Date: Thu, 12 Nov 2026 06:21:29 +0100 Subject: [PATCH] Answer A-239: the composition says the withheld subjects Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h --- 03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md | 4 ++++ 1 file changed, 4 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 908c796c..fe06dde8 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 @@ -231,3 +231,7 @@ the principle that settles it, cited as "design 47 G A-n". - **A-238** (§712; principle 7) A run ask may name no head: `RunJob.check` takes an empty `Heads` when the program is named, and the holder lays an empty `MESH_RUN_HEADS`; the validation's program is built from the indexer's entry alone. +- **A-239** (design 46 approval mark §6, H-21; principles 3 and 7) The node-engine's `composition` answer gains + `withheld` [{subject, why}] (the module's entry of the grants part's `withheld` for this node) and + `withheld-unknown`, the words "withheld unknown: the grants part does not answer" when the verb fails; its + manifest's `uses` gains `mesh-grants` beside the `invokes` of `seat:mesh-grants.withheld` H-21 added.