SYSE.49:4.4 - Construct feedback that can defeat the generator

Derive checks from the supplied result predicates. Prefer direct state or effect checks where they establish the claim. Use a judgment model only for a contribution that needs it, with an explicit basis and disagreement return. A favorable narrative cannot overrule an observed failure of a required condition.

Test the feedback against deliberately wrong trajectories: a plausible acknowledgement without an effect, the right final state reached through a forbidden duplicate, a needless mutation, or a task that cannot succeed. Choose the challenge from the actual contract.

Challenge shared generator/verifier errors using an independently grounded check or reader. Independently generated prose from the same mistaken premise is insufficient. Executable code that runs without errors establishes runtime consistency, not the validity of its success rule.