Declarations

of the contribution. This is a self-contained framing and separation note. No novelty is claimed for Stinespring dilation, exact quantum correction, no-hiding, entanglement-breaking channels, reversible computation, or Landauer's principle.

status. Hawk04-B version 2 is supplied as a complete source. Other Cheung manuscripts are cited through the supplied records or excerpts, with version identifiers where provided. Missing journal or archival metadata are not invented. Documentary summaries do not certify the full companion proofs.

results. Standard channel structure is identified by ordinary published references. The thermal inequality (eq:external-landauer) is explicitly external. Holographic references provide context only; none is a premise of a local channel proof.

. The mathematical claims are the analytical arguments printed here. Successful pdfLaTeX execution, proof-assistant verification, numerical optimization, independent technical review, laboratory realization, and journal acceptance are not asserted.