From 60e5c8d2ca992e197b640c58a5ba276bb6299bf4 Mon Sep 17 00:00:00 2001
From: Anonymous Authors <anonymous@invalid.example>
Date: Sat, 25 Jul 2026 13:42:41 -0500
Subject: Remove non-paper judge keyword checks

---
 src/gap_pipeline/kernel_models.py | 18 ------------------
 1 file changed, 18 deletions(-)

(limited to 'src/gap_pipeline/kernel_models.py')

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
-- 
cgit v1.2.3