Item 60: A transition model of reachable corrective capability
Deference line — second wave · difficulty substantial · project deference · closed · node item-60
— answered, negatively, by the reachable-corrective-control round
Answered, and mostly negatively, by the reachable-corrective-control round; registered as corrective.* in projects/deference/CLAIMS.md. The model has no protected coordinate: the advisor reproduces the principal's entire successor state, and reachable capability measures advisor cooperation rather than principal control. The dynamics half survived the review that established this. Record: prompts/2026-08-12-reachable-corrective-control/REPORT.md; lean/Workspace/Deference/Contrib/PROVENANCE.md.
Registered results bearing on this item
- corrective.advisor-veto: A refutation. Corrective capability quantifies the advisor existentially, so it is not a statement about the principal's control.
- corrective.can-correct-future-iff: The time-indexed form.
- corrective.can-correct-iff: A conclusion, not a definition: capability is defined by quantifying over the transition relation, and this characterises it by reading a state field.
- corrective.capability-measures-cooperation: A refutation, and the sharpest: it exhibits an advisor policy that destroys the capability at every horizon while the preservation predicate certifies it.
- corrective.forecloses-iff: The third characterisation.
- corrective.no-exclusive-effect: A refutation the round proved against itself: the advisor reproduces the principal's entire successor state at every state, so the model has no protected coordinate.
Where it hangs
- held by deference-and-trust
Rounds and decisions that touch it
None recorded.