References

CheungPhilosophy

N. Cheung, The Philosophy of Enter: Destructive Readout, Quantum Recovery, and the Refusal of Identification. EntPhil, version 2, Enter Calculus Companion. Introductory essay, not a registered theorem premise. https://enter.grok.me/enter.

CheungEnter

N. Cheung, “The Enter Calculus: A Linear Quantum Lambda Calculus with an Operational Characterization of Measurement.” Frontiers in Physics, volume 14 (2026). DOI: https://doi.org/10.3389/fphy.2026.1954943. Publisher author name: Ngo Cheung. Publisher record identifies an accepted article; no independent verification of its proofs is claimed here.

CheungI

N. Cheung, Manuscript I, version 2. Enter Calculus Companion. Supplied measurement-characterization and no-cloning passages. No external publication date is inferred.

Hawk06A

N. Cheung, as attributed in the supplied source record, Hawk06-A: Existence of Operational Islands in a Finite Enter Model, version 1. Supplied predecessor manuscript. The local recovery and entropy calculations are reproduced and adapted here; publication status is not assumed.

CheungHawk04AB

N. Cheung, Hawk04-A, version 1, and Hawk04-B, version 2. Enter Calculus Companion. Supplied complete restoration, full-code correction, classical-return, discard, and finite-recurrence passages.

CheungEn07B

N. Cheung, En07-B, version 1. Enter Calculus Companion. Supplied four same-model endpoint obligations, complete-complement criterion, and endpoint certificate.

CheungOai280290

N. Cheung, Oai280-C, version 1, and Oai290-A, version 1. Enter Calculus Companion. Supplied distinctions among whole-code recovery, subsystem recovery, finite algebra, and named-observable tasks.

CheungHawk05BC

N. Cheung, attribution in the supplied manuscript records, Hawk05-B, version 1, and Hawk05-C, version 1. Enter Calculus Companion. Supplied Haar Page–Sen, record-entropy, capacity-clock, and separate recovery-certificate passages.

CheungEn02BC

N. Cheung, En02-B, version 1, and En02-C, version 1. Enter Calculus Companion. Supplied batch decoder, streaming-memory obstruction, postselected Hayden–Preskill identity, and decoder-resource passages. Benchmark-specific statements are not imported as unrestricted optima.

CheungHawk03A

N. Cheung, Hawk03-A, version 1. Enter Calculus Companion. Supplied encoded-partner algebra and no commuting duplicate logical-action comparisons.

CheungHawk04D

N. Cheung, Hawk04-D, version 1. Enter Calculus Companion. Supplied access-preserving transfer, positive-cutoff luminosity, and conditional endpoint comparisons.

CheungEn05AC

N. Cheung, En05-A, version 1, and En05-C, version 1. Enter Calculus Companion. Supplied schedule locality, entanglement-assisted communication, and snapshot–adjoint factorization passages.

CheungEn06B

N. Cheung, En06-B, version 1. Enter Calculus Companion. Supplied complete instrument preservation under declared routing and compatible payload-error budgets.

CheungEn08A

N. Cheung, En08-A, version 1. Enter Calculus Companion. Supplied failure of metric reconstruction from scheduler consistency and separately hypothesized cone-representation theorem.

CheungEn07A

N. Cheung, En07-A, version 1. Enter Calculus Companion. Supplied readout-and-forgetting identity and prop:no-landauer-from-channel.

CheungEm03AF

N. Cheung, Em03-A, version 1, and Em03-F, version 1. Enter Calculus Companion. Supplied fixed-background scalar emission law and separately declared entanglement-breaking packet obstruction. Not a complete microscopic wormhole or evaporation channel.

CheungOai265

N. Cheung, Oai265-A, version 2. Enter Calculus Companion. Supplied static area-law record and separation from recovery and radiation history. Family 265 is not verified here.

CheungXIVIJ

N. Cheung, XIV-I, version 1, and XIV-J, version 1. Enter Calculus Companion. Supplied constructed internal-amplitude gate and unresolved full-characteristic-map and quantum-admission boundaries.

CheungXVBXVIN

N. Cheung, XV-B, version 2, and XVI-N, version r12. Enter Calculus Companion. Supplied lifting-interface, graph-specific unresolved map, conditional massless obstruction, and remaining universal-obligation records.

CheungXVIO

N. Cheung, XVI-O, revision o70-sync. Enter Calculus Companion. Supplied separation of kernel-subsector progress from bulk $O.1=\text{NOT\_CLOSED}$.

KnillLaflamme

E. Knill and R. Laflamme, “Theory of quantum error-correcting codes.” Physical Review A 55 (1997), 900–911. DOI: https://doi.org/10.1103/PhysRevA.55.900.

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 (2008), 1708–1717. DOI: https://doi.org/10.1109/TIT.2008.917696. https://arxiv.org/abs/quant-ph/0605009.

WatrousBook

J. Watrous, The Theory of Quantum Information. Cambridge University Press, 2018. Author's manuscript: https://cs.uwaterloo.ca/ watrous/TQI/TQI.pdf.

WatrousSDP

J. Watrous, “Simpler semidefinite programs for completely bounded norms.” Chicago Journal of Theoretical Computer Science 2013, article 8. https://arxiv.org/abs/1207.5726.

Barenco

A. Barenco, C. H. Bennett, R. Cleve, D. P. DiVincenzo, N. Margolus, P. Shor, T. Sleator, J. A. Smolin, and H. Weinfurter, “Elementary gates for quantum computation.” Physical Review A 52 (1995), 3457–3467. DOI: https://doi.org/10.1103/PhysRevA.52.3457.

HaydenPreskill

P. Hayden and J. Preskill, “Black holes as mirrors: quantum information in random subsystems.” Journal of High Energy Physics 2007(09), 120. DOI: https://doi.org/10.1088/1126-6708/2007/09/120. https://arxiv.org/abs/0708.4025.

YoshidaKitaev

B. Yoshida and A. Kitaev, Efficient decoding for the Hayden–Preskill protocol. arXiv:1710.03363. https://arxiv.org/abs/1710.03363.

PageAverage

D. N. Page, “Average entropy of a subsystem.” Physical Review Letters 71 (1993), 1291–1294. DOI: https://doi.org/10.1103/PhysRevLett.71.1291. https://arxiv.org/abs/gr-qc/9305007.

Sen

S. Sen, “Average entropy of a subsystem.” Physical Review Letters 77 (1996), 1–3. DOI: https://doi.org/10.1103/PhysRevLett.77.1. https://arxiv.org/abs/hep-th/9601132.

EntanglementBreaking

M. Horodecki, P. W. Shor, and M. B. Ruskai, “Entanglement breaking channels.” Reviews in Mathematical Physics 15 (2003), 629–641. DOI: https://doi.org/10.1142/S0129055X03001709. https://arxiv.org/abs/quant-ph/0302031.

Teleportation

C. H. Bennett, G. Brassard, C. Crépeau, R. Jozsa, A. Peres, and W. K. Wootters, “Teleporting an unknown quantum state via dual classical and Einstein–Podolsky–Rosen channels.” Physical Review Letters 70 (1993), 1895–1899. DOI: https://doi.org/10.1103/PhysRevLett.70.1895.

WoottersZurek

W. K. Wootters and W. H. Zurek, “A single quantum cannot be cloned.” Nature 299 (1982), 802–803. DOI: https://doi.org/10.1038/299802a0.

EinsteinRosen

A. Einstein and N. Rosen, “The particle problem in the general theory of relativity.” Physical Review 48 (1935), 73–77. DOI: https://doi.org/10.1103/PhysRev.48.73.

MorrisThorne

M. S. Morris and K. S. Thorne, “Wormholes in spacetime and their use for interstellar travel: A tool for teaching general relativity.” American Journal of Physics 56 (1988), 395–412. DOI: https://doi.org/10.1119/1.15620.

MaldacenaSusskind

J. Maldacena and L. Susskind, “Cool horizons for entangled black holes.” Fortschritte der Physik 61 (2013), 781–811. DOI: https://doi.org/10.1002/prop.201300020. https://arxiv.org/abs/1306.0533.

GaoJafferisWall

P. Gao, D. L. Jafferis, and A. C. Wall, “Traversable wormholes via a double trace deformation.” Journal of High Energy Physics 2017(12), 151. https://arxiv.org/abs/1608.05687.

MaldacenaStanfordYang

J. Maldacena, D. Stanford, and Z. Yang, “Diving into traversable wormholes.” Fortschritte der Physik 65 (2017), 1700034. DOI: https://doi.org/10.1002/prop.201700034. https://arxiv.org/abs/1704.05333.