Subsidiary contraction defect and exact normalization problem

This criterion is written for the actual native maps. It has the same algebraic shape as the actual-image criteria recorded by Cheung CheungXVIIIA,CheungXIXD, but no solution is imported from those comparisons.

in XX-C. The defect is left as part of the output. No pair of corrections satisfying all of positivity, quotient descent, required infrared control, and (eq:actualimage) is constructed. Its smoothness is not announced as its cancellation.

The negative tensor-sector modification in Theorem thm:nonpositive leaves this defect unchanged because $\mathcal{F}U=0$.