References

CheungPhilosophy

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

CheungEnter

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

CheungI

N. Cheung, Manuscript I, version 2. Enter Calculus Companion. Supplied operational measurement-characterization and semantic no-cloning passages.

CheungHawk07A

N. Cheung, Hawk07-A: Existence of Operational Wormhole Certificates: A finite Enter model with a fixed receiver, nested access, and a positive-residual cutoff. Supplied manuscript Hawk07-A.tex, 15 October 2026. Immediate predecessor; no publication or compilation status is inferred.

CheungHawk04B

N. Cheung, Hawk04-B, version 2. Enter Calculus Companion. Supplied complete-output restoration, full-code correction, classical-return, and discard comparisons.

CheungHawk03A

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

CheungOai290280

N. Cheung, Oai290-A, version 1, and Oai280-C, version 1. Enter Calculus Companion. Supplied distinctions among full-code, subsystem, finite-algebra, named-effect, and implemented-decoder targets.

CheungHawk05ABC

N. Cheung, Hawk05-A, Hawk05-B, and Hawk05-C, versions 1 as specified in the supplied records. Enter Calculus Companion. Supplied classical-return obstruction, coherent and destructive entropy comparisons, and conditional capacity-clock extrapolation. No model-specific result is imported without its hypotheses.

CheungEn02BC

N. Cheung, En02-B, version 1, and En02-C, version 1. Enter Calculus Companion. Supplied batch decoder and resource vector, reference-preserving sequential soundness, streaming-memory distinctions, and postselected decoder interfaces.

CheungEn05

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

CheungEn06B

N. Cheung, En06-B, version 1. Enter Calculus Companion. Supplied payload-independent routing and complete-instrument preservation on declared schedules.

CheungEn08A

N. Cheung, En08-A, version 1. Enter Calculus Companion. Supplied distinction between scheduler consistency and additional Lorentz-cone representation hypotheses.

CheungEn07A

N. Cheung, En07-A, version 1. Enter Calculus Companion. Supplied complete residual bookkeeping, readout-and-forgetting identity, and thermodynamic underdetermination.

CheungEn07B

N. Cheung, En07-B, version 1. Enter Calculus Companion. Supplied four same-model endpoint obligations, oppositely directed recovery inequalities, and separate thermodynamic ledgers.

CheungEn07C

N. Cheung, En07-C, version 1. Enter Calculus Companion. Supplied thermal-spectrum and complete-interface distinctions. Not a wormhole-temperature derivation.

CheungEm03AF

N. Cheung, Em03-A, version 1, and Em03-F, version 1. Enter Calculus Companion. Supplied fixed-background scalar emission law and separately specified entanglement-breaking packet obstruction. Not a microscopic spacetime-wormhole model.

CheungOai265

N. Cheung, Oai265-A, version 2. Enter Calculus Companion. Supplied separation of static area-law records from recovery, temporal radiation histories, and geometric identifications.

CheungAnalytic

N. Cheung, XIV-I, version 1; XIV-J, version 1; XV-B, version 2; and XVI-N, version r12. Enter Calculus Companion. Supplied internal-amplitude, characteristic-map, lifting-interface, quantum-admission, and conditional-obstruction status records. These analytic programmes are not inputs to the finite channel proofs.

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. Preprint: https://arxiv.org/abs/quant-ph/9604034.

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. https://arxiv.org/abs/quant-ph/9503016.

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. External decoder construction with its own access and algorithmic hypotheses.

KretschmannWernerMemory

D. Kretschmann and R. F. Werner, “Quantum channels with memory.” Physical Review A 72 (2005), 062323. DOI: https://doi.org/10.1103/PhysRevA.72.062323. https://arxiv.org/abs/quant-ph/0502106.

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.

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. DOI: https://doi.org/10.1007/JHEP12(2017)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.