A conditional affine correction is not a supplied map

The criterion does not construct $F_0$, evaluate its null defect, or prove that a permitted correction space is exhaustive for the frozen graph. Membership means the actual image, not merely its closure. These are the distinctions in the supplied XV-B revision CheungXVB.