Descent, class transfer, and formal orders

A nonzero classical defect must be repaired at classical order by a completed classical expression, an explicitly changed model, or a justified quotient. It cannot be cancelled by an asserted positive-$\hslash$ loop. This is a formal-series statement, not a claim about numerical cancellation at one nonzero value of $\hslash$.