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).