summaryrefslogtreecommitdiff
path: root/src/gap_pipeline/__init__.py
diff options
context:
space:
mode:
authorAnonymous Authors <anonymous@invalid.example>2026-07-24 14:03:51 -0500
committerAnonymous Authors <anonymous@invalid.example>2026-07-24 14:03:51 -0500
commit708f2af9c6985e9cb5cd53e434a7d3b8dfa2b4ac (patch)
treef4aa3d2240a621e9057ddad2a4d8ec7820db5cde /src/gap_pipeline/__init__.py
parentd4eb26780a8a8c70ca75812af0c3c6a295c0797c (diff)
Validate path-structured proof-plan DAGHEADmain
Diffstat (limited to 'src/gap_pipeline/__init__.py')
-rw-r--r--src/gap_pipeline/__init__.py4
1 files changed, 4 insertions, 0 deletions
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"