Remark: Residuals and records

The payload is not measured, and the protocol produces no destructive classical payload record. Its non-output quantum registers remain part of the resource ledger until terminal reduction. The distinction between a record and a residual system, emphasized in the supplied VIII-A material, is respected directly CheungVIIIA. Classical influence–reachability equality is not used to infer Lemma lem:identity.