What is proved locally and what is documentary

Sections sec:channels–sec:examples provide local proofs of the channel facts needed by the framing. These facts are standard exact-correction, no-hiding, and entanglement-breaking structures KnillLaflamme,BraunsteinPati,HorodeckiShorRuskai. Their inclusion makes the present arguments independent of unavailable companion proofs.

The thermodynamic inequality discussed in Section subsec:landauer is an explicitly external result, with additional physical assumptions Landauer,Bennett,ReebWolf. It is not deduced from the readout-and-drop identity.

The microscopic energy statements from Hawk04-B and Em03-E are recorded with their source-model restrictions. No new Hamiltonian, field-to-memory receiver, or reservoir regulator is constructed here. The companion comparisons in Section sec:companions and Appendix app:analytic are documentary, not theorem premises.

Published references are distinguished from supplied unpublished manuscripts and excerpts. The supplied records are not represented as independently verified journal articles, and the bibliography does not invent missing publication or archival metadata.