diff options
| author | Anonymous Authors <anonymous@invalid.example> | 2026-07-24 13:24:36 -0500 |
|---|---|---|
| committer | Anonymous Authors <anonymous@invalid.example> | 2026-07-24 13:24:36 -0500 |
| commit | db293f3606a97b3e417de27124858e134005acbd (patch) | |
| tree | 8efeedcd2033b82d1c90eb0cb84e134421ff1a8f /STAGE_MAP.md | |
Add minimal GAP reproduction package
Diffstat (limited to 'STAGE_MAP.md')
| -rw-r--r-- | STAGE_MAP.md | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/STAGE_MAP.md b/STAGE_MAP.md new file mode 100644 index 0000000..1cf0691 --- /dev/null +++ b/STAGE_MAP.md @@ -0,0 +1,35 @@ +# GAP paper-to-code map + +| Paper operation | Implementation | Validated output | +|---|---|---| +| Surface rename | `surface.py` | `SurfaceVariant` with a collision-free one-to-one identifier map | +| 1. Reference solution to proof DAG | `KernelPipeline.construct_dag` | Acyclic `ProofDAG` connected to the terminal claim | +| 2. Content-free method plan | `KernelPipeline.summarize_methods` | `MethodPlan` with the DAG's node IDs and topological order | +| 3. Guarded leaf replacement | `KernelPipeline.generate_replacement` | `ReplacementSpec` with explicit guards and evidence | +| 4. Diffusion through the DAG | `KernelPipeline.diffuse_dag` | `DiffusedProof` preserving node order, dependencies, and method labels | +| 5. Problem rendering | `KernelPipeline.render_question` | Self-contained `KernelCandidate` aligned with the regenerated proof | +| Five-judge verification | `KernelPipeline.verify_candidate` | Five `JudgeVerdict` objects per round | +| Consecutive-pass protocol | `KernelPipeline.verify_candidate` | `K=2`; rejection resets the streak | +| Repair loop | `KernelPipeline._repair` | Corrected candidate with a distinct content hash; maximum `T=15` rounds | +| Audit sampling flag | `KernelPipeline._audit_selected` | Deterministic 10% post-hoc audit selection | + +## Per-item artifacts + +```text +items/<item-id>/ + input.json + config.json + calls/<request-id>.json + stages/<stage>.json + iterations/<round>.json + final.json +``` + +Each JSON artifact includes a SHA-256 digest of its canonical payload. Judge +calls remain separate rather than being collapsed into a vote count. + +## Claim boundary + +The verifier is a filtering protocol, not a formal proof of mathematical +correctness. Accepted variants should additionally be inspected in the +post-hoc human audit described in the accompanying paper. |