A-337: the glossary's word, the manifest validator

Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h
2026-11-13 02:47:38 +01:00
parent b216d914f7
commit 50c4980a49
1 changed files with 2 additions and 2 deletions
@@ -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).