diff options
Diffstat (limited to 'STAGE_MAP.md')
| -rw-r--r-- | STAGE_MAP.md | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/STAGE_MAP.md b/STAGE_MAP.md index 26077a3..ee77f96 100644 --- a/STAGE_MAP.md +++ b/STAGE_MAP.md @@ -6,10 +6,16 @@ re-instantiates that plan and returns the regenerated proof and question. The package writes each conceptual output separately so every paper stage is visible in an end-to-end run without changing either prompt. +The ordered nodes form a path-structured DAG, the exact graph induced by a +minimal sequential proof plan. `ProofPlanDAG` validates node identity, +dependencies, acyclicity, terminal connectivity, and order. The five judges +receive stable node IDs with the method-label sequence, and a verdict is valid +only when its step-by-step check covers every node. + | Paper operation | Implementation | Saved artifact | |---|---|---| | Surface rename | `SurfacePipeline.run_family` | `surface_<family>_variant.json` | -| 1. Reference solution to proof structure | `KernelPipeline.extract_plan` | `01_proof_dag.json` | +| 1. Reference solution to proof structure | `KernelPipeline.extract_plan` + `ProofPlanDAG` validation | `01_proof_dag.json` | | 2. Content-free method plan | `KernelPipeline.extract_plan` | `02_method_plan.json` | | 3. Mutable-slot identification | `KernelPipeline.extract_plan` | `03_mutable_slots.json` | | 4. Proof regeneration | `KernelPipeline.generate_candidate` | `04_regenerated_proof.json` | |