References

AttalPautrat

S. Attal and Y. Pautrat, “From repeated to continuous quantum interactions,” Annales Henri Poincaré 7, 59–104 (2006). arXiv:math-ph/0311002.

Ciccarello

F. Ciccarello, S. Lorenzo, V. Giovannetti, and G. M. Palma, “Quantum collision models: Open system dynamics from repeated interactions,” Physics Reports 954, 1 (2022). arXiv:2106.11974. Background overview; not a premise of the model-specific proofs.

Erasure

C. H. Bennett, D. P. DiVincenzo, and J. A. Smolin, “Capacities of quantum erasure channels,” Physical Review Letters 78, 3217–3220 (1997). arXiv:quant-ph/9701015.

Watrous

J. Watrous, The Theory of Quantum Information, Cambridge University Press (2018).

KSW

D. Kretschmann, D. Schlingemann, and R. F. Werner, “The information-disturbance tradeoff and the continuity of Stinespring's representation,” IEEE Transactions on Information Theory 54, 1708–1717 (2008). arXiv:quant-ph/0605009.

Mathur

S. D. Mathur, “The information paradox: A pedagogical introduction,” Classical and Quantum Gravity 26, 224001 (2009). arXiv:0909.1038.

ExecutionRecord

Hawk02-B Optional Diagnostic Script Execution Summary, supplied execution record, October 10, 2026. Filename: summary (20).txt. Includes a transcription of manifest.json and reported matrix shapes. Reported source SHA256: 0cd724f6588ab5b87dbefc4a7b5a0d11221
ace68518b0c3e9167b460d691e6dc. The two hash lines concatenate without a separator.

CheungHawk02A

N. Cheung, Hawk02-A, version 1, manuscript, n.d. Supplied certification-interface and complete-output source records.

CheungHawk01B

N. Cheung, Hawk01-B, version 1, manuscript, n.d. Supplied recovery, residual-decoupling, endpoint, and thm:entropyseparation records.

CheungHawk01A

N. Cheung, Hawk01-A, version 1, manuscript, n.d. Supplied source and conserving-completion comparisons, including thm:source and thm:completion.

CheungEm03E

N. Cheung, Em03-E, version 1, manuscript, n.d. Supplied Hamiltonian-derived finite emission and complete-complement records.

CheungEm05B

N. Cheung, Em05-B, version 1, manuscript, n.d. Supplied thm:constantComplement.

CheungEm06B

N. Cheung, Em06-B, version 1, manuscript, n.d. Supplied thm:input-stability; its classical vector estimate is not a channel allowance in this paper.

CheungVIIG

N. Cheung, VII-G, version 1, manuscript, n.d. Supplied thm:stability, finite-execution comparison.

CheungEn02B

N. Cheung, En02-B, version 1, manuscript, n.d. Supplied thm:B1, resource-certified decoder soundness.

CheungEn02C

N. Cheung, En02-C, version 1, manuscript, n.d. Supplied thm:C1, reference-preserving sequential soundness.

CheungEn02E

N. Cheung, En02-E, version 2, manuscript, n.d. Supplied thm:cutoff, commuting Gaussian-state flagged cutoff.

CheungPsy04A

N. Cheung, Psy04-A, version 1, manuscript, n.d. Supplied thm:classical, bounded classical-memory delayed-query benchmark.

CheungEn03A

N. Cheung, En03-A, version 1, manuscript, n.d. Supplied thm:obstruction, record/residual separation.

CheungPsy02B

N. Cheung, Psy02-B, version 2, manuscript, n.d. Supplied thm:process, complete-process equality and testing.

CheungEm03A

N. Cheung, Em03-A, version 1, manuscript, n.d. Supplied thm:main, fixed-background scalar emission law.

CheungEm03F

N. Cheung, Em03-F, version 1, manuscript, n.d. Supplied thm:fieldchannel, exterior source-to-field channel.

CheungXIVI

N. Cheung, XIV-I, version 1, manuscript, n.d. Supplied thm:I2, thm:I3, and release boundaries. Not a premise of this finite model.

CheungXIVJ

N. Cheung, XIV-J, version 1, manuscript, n.d. Supplied thm:J2 and cor:noadmission. Not a premise of this finite model.

CheungXVIN

N. Cheung, XVI-N, version r12, manuscript, n.d. Supplied thm:massless-obstruction. Its separate hypotheses and boundary are unchanged.

CheungXVIO

N. Cheung, XVI-O, version o70-sync, manuscript, n.d. Supplied kernel-subsector/bulk verdict distinction. Bulk O.1 remains NOT_CLOSED.