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.