refine(hypatia-rules): HYP-S005 empty-metadata handling + S001 scope note

HYP-S005 — extend `grade_ge_c_but_early_stage` to treat absent
completion-percentage as equivalent to <50 (a missing number cannot
back a C claim). Add `grade_ge_c_but_missing_self_consistency_inputs`:
if either version OR completion-percentage is absent on a C/B/A claim,
the self-consistency precheck cannot run — treat the claim as a
structural overclaim until STATE.a2ml is completed.

HYP-S001 — add validation note: S001 stays narrowly scoped to actual
backwards transitions in the recorded grade octad. Self-inconsistency
belongs in S005 so historical demotions and forward overshoots remain
separable in findings.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

hypatia-rules/crg-demotion-detector.a2ml

@@ -5,6 +5,11 @@
 # Sibling: HYP-S005 crg-overclaim-detector fires on forwards-overshoots
 # (self-declared grade without v2.0 evidence artefacts). Together the pair
 # enforces grade-honesty in both directions.
+#
+# Validation note (2026-04-18): keep S001 narrowly scoped to *actual*
+# backwards transitions in recorded grade octads; do not fold self-consistency
+# checks here. Self-inconsistent C/B/A claims belong in HYP-S005 so forward
+# overshoots and historical demotions stay separable in findings.
 
 @rule(version="1.0"):
 id: HYP-S001

hypatia-rules/crg-overclaim-detector.a2ml

@@ -172,18 +172,37 @@ grade_ge_c_but_early_stage:
   condition: >-
     parse_state.crg-grade IN {"C", "B", "A"}
     AND parse_state.version < "0.5.0"
-    AND parse_state.completion-percentage < 50
+    AND (
+      parse_state.completion-percentage < 50
+      OR parse_state.completion-percentage IS empty_or_absent
+    )
     AND parse_state.dogfooding-status IS empty_or_absent
   severity: high
   finding_kind: self-inconsistent-claim
   exempt_if:
     - "[dogfooding-status] is populated (explains why C is plausible despite the numbers)"
     - "crg-grade-demoted is set to a recent date (repo is already in a correction cycle)"
   message: >-
-    {component} claims {declared} with version={version}, completion={completion}%,
-    no [dogfooding-status]. Under v2.0 this is an overclaim on the face of
-    STATE.a2ml — demote to E (or D if structural-policy compliant), or populate
-    [dogfooding-status] with evidence.
+    {component} claims {declared} with early-stage metadata
+    (version={version}, completion={completion}) and no [dogfooding-status].
+    Under v2.0 this is an overclaim on the face of STATE.a2ml — demote to E
+    (or D if structural-policy compliant), or populate [dogfooding-status]
+    with evidence.
+
+grade_ge_c_but_missing_self_consistency_inputs:
+  condition: >-
+    parse_state.crg-grade IN {"C", "B", "A"}
+    AND (
+      parse_state.version IS empty_or_absent
+      OR parse_state.completion-percentage IS empty_or_absent
+    )
+  severity: high
+  finding_kind: self-inconsistent-claim
+  message: >-
+    {component} claims {declared} but STATE.a2ml is missing version and/or
+    completion-percentage. The CRG self-consistency precheck cannot run
+    without these keys — treat this as a structural overclaim until state
+    metadata is completed.
 
 grade_b_but_no_external_targets:
   condition: >-