diff options
| author | Anonymous Authors <anonymous@invalid.example> | 2026-07-24 14:03:51 -0500 |
|---|---|---|
| committer | Anonymous Authors <anonymous@invalid.example> | 2026-07-24 14:03:51 -0500 |
| commit | 708f2af9c6985e9cb5cd53e434a7d3b8dfa2b4ac (patch) | |
| tree | f4aa3d2240a621e9057ddad2a4d8ec7820db5cde /STAGE_MAP.md | |
| parent | d4eb26780a8a8c70ca75812af0c3c6a295c0797c (diff) | |
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` | |