Remove non-paper judge keyword checksHEADmain

1 files changed, 1 insertions, 17 deletions

diff --git a/src/gap_pipeline/models.py b/src/gap_pipeline/models.py
index 9b0f214..51bc49e 100644
--- a/src/gap_pipeline/models.py
+++ b/src/gap_pipeline/models.py
@@ -3,7 +3,6 @@
 from __future__ import annotations
 
 import json
-import re
 from datetime import datetime, timezone
 from typing import Any, Literal
 
@@ -103,7 +102,7 @@ class ProofPlanDAG(StrictModel):
         return cls(nodes=nodes, terminal_node_id=nodes[-1].node_id)
 
     def method_labels_payload(self) -> list[str]:
-        """Keep the judge input a sequence while making node coverage auditable."""
+        """Keep the judge input as an ordered, labeled sequence."""
 
         return [f"{node.node_id}: {node.method_label}" for node in self.nodes]
 
@@ -217,21 +216,6 @@ class JudgeVerdict(StrictModel):
             raise ValueError("reject verdict must identify a blocking issue")
         return self
 
-    def validate_coverage(self, dag: ProofPlanDAG) -> "JudgeVerdict":
-        missing = [
-            node.node_id
-            for node in dag.nodes
-            if re.search(
-                rf"(?<![A-Za-z0-9_]){re.escape(node.node_id)}(?![A-Za-z0-9_])",
-                self.step_by_step_check,
-            )
-            is None
-        ]
-        if missing:
-            raise ValueError(f"judge check does not cover DAG nodes: {missing}")
-        return self
-
-
 class IterationRecord(StrictModel):
     iteration: int
     candidate_sha256: str