docs: align reconstruction termination contract

Author: futhr

conformance/HARNESS.md

@@ -284,6 +284,9 @@ uses fixed browser-provider and strict PNG inputs to exercise repeatability,
 resource identity, query-secret redaction, evidence classes and omissions,
 typed atomic proposal application, flat-copy rejection, observation codec
 fixpoints, calibration interpolation/selective review and finite loop stops.
+The correction-loop fixture now exercises an explicit successful objective
+threshold; the library also reports `no_improvement` when a fresh candidate is
+rejected, while repeated canonical state remains a separate terminal result.
 The report carries explicit non-claims for live browser capture, OCR/model
 accuracy, a broad or held-out corpus, independent evaluation and training.
 

docs/roadmap.md

@@ -261,7 +261,10 @@ profile; an independent evaluator reproduces the main result.
 The executable baseline currently proves observation-codec fixpoints, explicit
 observed/inferred evidence and omissions, typed atomic proposals, default
 flat-copy rejection, deterministic loop termination and training-only ranking
-of five bounded layout hypotheses against a live held-out viewport. The typed
+of five bounded layout hypotheses against a live held-out viewport. The
+correction loop now has explicit `success`, `no_improvement`, and
+`repeated_state` outcomes, with a caller-provided objective threshold so a
+perfect score is never assumed by the core. The typed
 `nuif-reconstruction-evaluation-0` report now covers every required per-example
 family, preserves empty denominators as unscored, rejects screenshot-only
 source-resource recall claims and keeps unavailable hardware measurements