Remove non-paper judge keyword checksHEADmain

1 files changed, 0 insertions, 18 deletions

diff --git a/src/gap_pipeline/kernel_models.py b/src/gap_pipeline/kernel_models.py
index f835473..0840af5 100644
--- a/src/gap_pipeline/kernel_models.py
+++ b/src/gap_pipeline/kernel_models.py
@@ -309,24 +309,6 @@ class JudgeVerdict(StrictModel):
             raise ValueError("reject verdict must identify a blocking issue")
         return self
 
-    def validate_coverage(
-        self,
-        dag: ProofDAG,
-    ) -> "JudgeVerdict":
-        missing_nodes = [
-            node_id
-            for node_id in dag.node_ids()
-            if re.search(
-                rf"(?<![A-Za-z0-9_]){re.escape(node_id)}(?![A-Za-z0-9_])",
-                self.step_by_step_check,
-            )
-            is None
-        ]
-        if missing_nodes:
-            raise ValueError(f"judge coverage incomplete: nodes={missing_nodes}")
-        return self
-
-
 class VerificationIteration(StrictModel):
     iteration: int
     bundle_sha256: str