From b216d914f747d525ba30281c1e4b56e5596ae366 Mon Sep 17 00:00:00 2001 From: jochen Date: Fri, 13 Nov 2026 02:47:09 +0100 Subject: [PATCH] Answer A-337: the judge counts and finds declarers over the whole trunk case Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h --- 03-DESIGN/01-to-be/47-milestones/G-22-lead-answers-2.md | 5 +++++ 1 file changed, 5 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 28ce589e..30baf99b 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 @@ -651,3 +651,8 @@ the principle that settles it, cited as "design 47 G A-n". - **A-336** (A-327, §200; principles 3, 7) Any start of a pipeline (a take-in, a package published) heard before its branch's catalog half is held starts its pipelines 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, + 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 + today's unmigrated trunk refuses none of G's 169 manifests for a count or a declarer (the dry run's re-creation).