Enforce typed responses for pipeline stagesxiang

1 files changed, 4 insertions, 1 deletions

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