From 50c4980a491b409709b8586170ddc55703326bb9 Mon Sep 17 00:00:00 2001 From: jochen Date: Fri, 13 Nov 2026 02:47:38 +0100 Subject: [PATCH] A-337: the glossary's word, the manifest validator 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, 2 insertions(+), 2 deletions(-) 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 30baf99b..eb023a72 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 @@ -652,7 +652,7 @@ the principle that settles it, cited as "design 47 G A-n". with no steps, never with steps placed from empty entries (§200: nothing new of a branch is acted on until its half is held); the path of A-327 places them once the half is held. - **A-337** (§712, ADR 0579 §2; principles 3, 7) "Refusing only what the revision causes" takes the trunk case as it - stands: the judge counts old sections and finds the declaring modules over every trunk-case manifest that decodes, + stands: the manifest validator counts old sections and finds the declaring modules over every trunk-case manifest that decodes, accepted by its own rules or not, so a trunk manifest the new rules refuse still counts and still declares. A trunk-case - manifest that does not decode is named in the verdict's report. How it is checked: G's judge on G's heads against + manifest that does not decode is named in the verdict's report. How it is checked: G's manifest validator on G's heads against today's unmigrated trunk refuses none of G's 169 manifests for a count or a declarer (the dry run's re-creation).