From da6c3ab1630558ea28b08c0b717344f0eba45c14 Mon Sep 17 00:00:00 2001 From: jochen Date: Thu, 12 Nov 2026 15:43:59 +0100 Subject: [PATCH] Answer A-287 and A-288: a kept announcement names every declared state; a refusal's test holds its meaning 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 ae7709f5..31c003b2 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 @@ -414,3 +414,7 @@ the principle that settles it, cited as "design 47 G A-n". does not compile or generate) ends failed with its answer all the same: its fetch and the levels so far, beside its error, so the checker previews from it. A failed test or a failed level never hides the manifest validator or the composition. +- **A-287** (principle 4) A module's kept announcement names every state its manifest declares, so each can be + read by its tools; gitea's `KEPT` gains `failed-steps`, `idle` and `transfers`. +- **A-288** (principle 3) A refusal's test holds what the refusal must say, not its earlier wording: the one tool + that may do the refused act and that it runs on the operator's Approve of that call.