Declarations

to Hawk07-A. The supplied Hawk07-A is the immediate finite-model predecessor. Its dimension-$16$ special measure is not silently generalized. The arbitrary-dimension moment is rederived, and the scaled turnover and composition statements are proved with new explicit hypotheses.

contribution. The manuscript gives corrected sufficient resource scaling, explicit positive-cutoff designs, a dimension-dependent turnover extension, operational function bounds, and two different finite composition contracts. The underlying correction, teleportation, and diamond-norm tools are established quantum-information theory; no priority claim is made for them.

scope. All predictions are conditional finite-model statements. A failed sufficient certificate is not a recovery no-go result. A successful selected effect is not an unrestricted channel certificate. A Haar device-selection event is not a heralded transmission event.

and implementation. The paper prices dimension and batch occupancy under declared ideal controls. Gate counts, duration, fuel, thermal reset cost, device calibration, and efficient decoding remain separately specified implementation questions.

. The philosophy essay and the publisher record for Cheung's Enter article are distinct from the supplied internal manuscript records. Internal identifiers and versions do not establish journal publication, acceptance, or independent proof checking. All companion-model references are scoped comparisons.

limits. No geometric wormhole, metric emergence, exotic-matter requirement, energy-condition violation, material spacecraft transport, gravitational endpoint, or quantum-gravity coefficient is constructed.

. This source is intended for standalone pdflatex. No successful compilation, numerical optimization, sampled Haar experiment, proof-assistant check, independently executed decoder, referee approval, or acceptance of Hawk07-B is asserted.