diff options
| author | Anonymous Authors <anonymous@invalid.example> | 2026-07-25 13:42:41 -0500 |
|---|---|---|
| committer | Anonymous Authors <anonymous@invalid.example> | 2026-07-25 13:42:41 -0500 |
| commit | 60e5c8d2ca992e197b640c58a5ba276bb6299bf4 (patch) | |
| tree | dd714f98a535a0682818704f8222fd79e52ad3cb /src/gap_pipeline/paper_pipeline.py | |
| parent | 84fab096b3a2500755fea3f538933dbed0e8c72c (diff) | |
Diffstat (limited to 'src/gap_pipeline/paper_pipeline.py')
| -rw-r--r-- | src/gap_pipeline/paper_pipeline.py | 3 |
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, |