From 708f2af9c6985e9cb5cd53e434a7d3b8dfa2b4ac Mon Sep 17 00:00:00 2001 From: Anonymous Authors Date: Fri, 24 Jul 2026 14:03:51 -0500 Subject: Validate path-structured proof-plan DAG --- src/gap_pipeline/__init__.py | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/gap_pipeline/__init__.py') diff --git a/src/gap_pipeline/__init__.py b/src/gap_pipeline/__init__.py index fe2e04c..fbc2adb 100644 --- a/src/gap_pipeline/__init__.py +++ b/src/gap_pipeline/__init__.py @@ -5,6 +5,8 @@ from .models import ( KernelCandidate, KernelPlan, KernelRunResult, + ProofPlanDAG, + ProofPlanNode, ) from .pipeline import KernelPipeline, PipelineConfig @@ -15,6 +17,8 @@ __all__ = [ "KernelPlan", "KernelRunResult", "PipelineConfig", + "ProofPlanDAG", + "ProofPlanNode", ] __version__ = "0.2.0" -- cgit v1.2.3