From 84fab096b3a2500755fea3f538933dbed0e8c72c Mon Sep 17 00:00:00 2001 From: Anonymous Authors Date: Sat, 25 Jul 2026 13:10:52 -0500 Subject: Enforce typed responses for pipeline stages --- README.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'README.md') diff --git a/README.md b/README.md index bcc7ff4..d27b600 100644 --- a/README.md +++ b/README.md @@ -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 -- cgit v1.2.3