Failure records and resource claims

A finite operational programme supplies complete history maps $K_h$ satisfying

The returned channel is the sum over every history, with all failure outputs declared. If the experiment consumes a returned quantum register to obtain a record, that later destructive operation is not the earlier quantum return.

These distinctions are explicitly developed in Cheung's En02-B/C and Landmark I CheungEn02B,CheungEn02C,CheungI. The present information-theoretic mixture specifies a channel. A resource bound additionally requires its own instruction and live-register ledger. No such laboratory implementation is inferred from tree distance.