diff options
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -50,7 +50,10 @@ five-stage path is the reproduction entry point. The OpenAI adapter does not send `temperature`; this is compatible with `o3`, whose supported value is its default. See `STAGE_MAP.md` for the exact -paper-to-code map. +paper-to-code map. Each typed stage also requests a strict JSON schema. If a +provider response still fails local structural or provenance validation, the +same stage is retried once with the exact same prompt; both responses remain +separately auditable. `ProofDAG` supports branching dependencies and validates topological order, known dependencies, acyclicity, and terminal connectivity. Replacement plans |