Correction relation

Continued legitimate correction possibility: handles plus the channel profile they actually reach.

Lenses and frameworks

Role. Target. Graph node correction.

Continued legitimate correction possibility is the relational object; viability is the shape of the conditional dynamical guarantee.

— Frames draft §4.5 (TSA 2.0 reading)

TSA’s object is a relation among a legitimate correcting process, the target’s update mechanism, handles, causal reach, timeliness, anti-capture, and persistence through successors. A CCI profile measures those coordinates. Viability is not a second target: a correction-supporting set is supplied first.

Christiano’s broad basin is a cousin, informal. Soares-style handles specialize this relation; they are not substitutes.