Source status and dependency discipline

The Cheung references are cited by identifier and supplied version. Where the supplied material consists of excerpts, the citation does not represent an independent verification of the full manuscript. Bibliographic entries do not assign an unprovided publication year, journal, DOI, or peer-review status.

The mathematical results below use the finite spaces, channels, operators, and hypotheses explicitly defined here. Results from different Cheung manuscripts are contextual comparisons, not silently imported premises. We cite standard quantum-information results where used and prove the model-specific consequences.