References

CheungEnter

N. Cheung, “The Enter Calculus: A Linear Quantum Lambda Calculus with an Operational Characterization of Measurement,” Frontiers in Physics 14 (2026), article 1954943. doi:10.3389/fphy.2026.1954943. The publisher record identifies an accepted article and a forthcoming final formatted version. Its stated strategy class is not enlarged here.

CheungPhilosophy

N. Cheung, The Philosophy of Enter: Destructive Readout, Quantum Recovery, and the Refusal of Identification, EntPhil-v2.tex, version 2. Enter Calculus Companion, introductory essay. Philosophical map, not a registered theorem or a proof premise.

CheungI

N. Cheung, Landmark I, I.tex, version 2. Supplied manuscript excerpts, especially thm:main: characterization of destructive Enter within the specified strategy class. Cited with the scope of the supplied text; no independent verification of the complete manuscript is asserted.

CheungRelational

N. Cheung, En10-A, En10-A.tex, version 1. Supplied manuscript excerpts, especially thm:main, eq:exact-channel-identity, eq:drop-record, and eq:linear-interface. Finite relational clock readout by destructive Enter. Called “source En10-A@1” in the present document.

CheungXIXC

N. Cheung, XIX-C, XIX-C.tex, version 1. Supplied manuscript excerpts, especially thm:main and the token/acquisition comparison. Finite incidence, complete-channel semantics, and continuum non-determination.

CheungEn08B

N. Cheung, En08-B, En08-B.tex, version 1. Supplied manuscript excerpts, especially thm:main and lem:telescoping. Resource-controlled operational approximation on a prescribed comparison interface.

CheungEn08A

N. Cheung, En08-A, En08-A.tex, version 1. Supplied manuscript excerpts, especially thm:main. Scheduler consistency and conditional geometric representation are distinct claims.

CheungVIIJ

N. Cheung, VII-J, VII-J.tex, version 1. Supplied manuscript excerpts. Scheduled ancestry, operational influence, and independently supplied causal geometry remain separate.

CheungOai265

N. Cheung, Oai265-A, Oai265-A.tex, version 1, especially thm:separation; and Oai265-B, Oai265-B-v2.tex, version 2, especially thm:main. Supplied manuscript excerpts. Record/recovery separation and complete-record finite-confidence certification; neither supplies an astrophysical identification.

CheungEn07B

N. Cheung, En07-B, En07-B.tex, version 1. Supplied manuscript excerpts, especially prop:no-landauer-from-channel. Thermodynamic underdetermination from observable-channel equality alone.

CheungAnalytic

N. Cheung, XIV-J, XIV-J.tex, version 1, especially thm:J2 and cor:noadmission; and XV-B, XV-B.tex, version 2, especially thm:release. Supplied manuscript excerpts. Separate reconstruction and characteristic-map programme; documentary comparison only.

Song2025

X. Song, S. S. Borjigin, F. Salvati, Y.-X. Wang, N. Yunger Halpern, D. R. M. Arvidsson-Shukur, and K. Murch, Superconducting antiqubits achieve optimal phase estimation via unitary inversion, arXiv:2506.04315 (2025). doi:10.48550/arXiv.2506.04315. Platform-specific inverse response and a separate qubit–antiqubit metrology protocol.

Hoeffding1963

W. Hoeffding, “Probability inequalities for sums of bounded random variables,” Journal of the American Statistical Association 58, no. 301 (1963), 13–30. doi:10.1080/01621459.1963.10500830.

BraunsteinCaves1994

S. L. Braunstein and C. M. Caves, “Statistical distance and the geometry of quantum states,” Physical Review Letters 72 (1994), 3439–3443. doi:10.1103/PhysRevLett.72.3439.

HorodeckiShorRuskai2003

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

ReebWolf2014

D. Reeb and M. M. Wolf, “An improved Landauer principle with finite-size corrections,” New Journal of Physics 16 (2014), 103011. doi:10.1088/1367-2630/16/10/103011. arXiv:1306.4352.

Siegert2016

T. Siegert, R. Diehl, G. Khachatryan, M. G. H. Krause, F. Guglielmetti, J. Greiner, A. W. Strong, and X. Zhang, “Gamma-ray spectroscopy of positron annihilation in the Milky Way,” Astronomy & Astrophysics 586 (2016), A84. doi:10.1051/0004-6361/201527510. arXiv:1512.00325. Astrophysical motivation only; no fit, rate, or spatial model is imported into the finite theorem.