Stage A: semantics are not substitute premises

Hawk04-A is the documentary predecessor for complete preservation and exact correction; Hawk04-B and En07-A fix the quantum-return, readout, and discard framing CheungHawk04A,CheungHawk04B,CheungEn07A. En04-A separates residual response from non-Clifford and non-local-magic quantities CheungEn04A. No magic quantity is substituted for ${\delta }_{\mathrm{full}}$, and no companion theorem is a premise of Theorems thm:global–thm:classical.