summaryrefslogtreecommitdiff
path: root/src/gap_pipeline/paper_pipeline.py
diff options
context:
space:
mode:
Diffstat (limited to 'src/gap_pipeline/paper_pipeline.py')
-rw-r--r--src/gap_pipeline/paper_pipeline.py3
1 files changed, 0 insertions, 3 deletions
diff --git a/src/gap_pipeline/paper_pipeline.py b/src/gap_pipeline/paper_pipeline.py
index ffe9f15..6998a17 100644
--- a/src/gap_pipeline/paper_pipeline.py
+++ b/src/gap_pipeline/paper_pipeline.py
@@ -343,7 +343,6 @@ class PaperKernelPipeline:
judge: JsonLLM,
*,
item: CanonicalItem,
- dag: ProofDAG,
methods: MethodPlan,
bundle: CandidateBundle,
iteration: int,
@@ -361,7 +360,6 @@ class PaperKernelPipeline:
bundle.variant,
),
response_model=JudgeVerdict,
- validate=lambda value: value.validate_coverage(dag),
)
return verdict
@@ -398,7 +396,6 @@ class PaperKernelPipeline:
self._judge_once(
judge,
item=item,
- dag=dag,
methods=methods,
bundle=bundle,
iteration=iteration,