References

CheungEnter

N. Cheung. The Enter Calculus: A Linear Quantum Lambda Calculus with an Operational Characterization of Measurement. Frontiers in Physics, volume 14, 2026. doi:\ 10.3389/fphy.2026.1954943. Publisher accepted-article record: accepted 28 September 2026; the directly consulted record listed the final formatted version as forthcoming. https://www.frontiersin.org/journals/physics/articles/10.3389/fphy.2026.1954943/abstract.

CheungPhil

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

CheungI

N. Cheung. I, .tex, version 2. Unpublished registered manuscript, Enter Calculus Companion. Supplied source record: destructive measurement characterization within its stated structural class. https://enter.grok.me/.

CheungII

N. Cheung. Finite contact-span certificates for a two-species spin-two tree. Manuscript II, .tex, version 2. Supplied complete manuscript source, Enter Calculus Companion. Relevant items: :encoding, :rank, :certificate, :affine-fits, and :alternative. https://enter.grok.me/.

CheungIB

N. Cheung. I-B-v1: A Finite Enter Spacetime: Calibrated Destructive Time Readout on a Prescribed Conical Product. -B-v1.tex, version 1. Unpublished registered manuscript, Enter Calculus Companion. Relevant items: :experiment, :instrument, :calibration, :fixed-event, :local-causal, :transport, and :interfaces. https://enter.grok.me/browse/I-B.

CheungEn09

N. Cheung. Realization of Relational Time by Destructive Enter on a Clock Register. 09-A.tex, version 1. Unpublished registered manuscript, Enter Calculus Companion. Supplied source records: complete clock instrument, no-return, record-not-residual, and finite-commutator distinctions. https://enter.grok.me/browse/En09-A.

CheungEn03

N. Cheung. Observation Boundaries for Destructive Quantum Readout and External Geometry. 03-A.tex, version 1. Unpublished registered manuscript, Enter Calculus Companion. Supplied source record: four declared interface structures, complete observation boundaries, and scheduled locality. https://enter.grok.me/browse/En03-A.

CheungEn05

N. Cheung. En05-A, 05-A.tex, version 1. Unpublished registered manuscript, Enter Calculus Companion. Supplied locator: :cone; scheduled ancestry and its metric envelope are upper bounds. https://enter.grok.me/.

CheungEn08

N. Cheung. Resource-controlled operational approximation of null boundary transport. 08-B.tex, version 1. Unpublished registered manuscript, Enter Calculus Companion. Supplied locator: :main. https://enter.grok.me/browse/En08-B.

CheungCone

N. Cheung. VII-F, -F.tex, version 1; and VIII-B, -B-v3.tex, version 3. Unpublished registered manuscripts, Enter Calculus Companion. Supplied comparison records: particle-supported conical slicing and the variable-deficit geometric dictionary. No cell-count or source-law transfer is used here. https://enter.grok.me/.

CheungXIX

N. Cheung. XIX-A, -A.tex, version 1. Unpublished registered manuscript, Enter Calculus Companion. Supplied locator: :main, clock separation before coordinate identification. https://enter.grok.me/.

CheungEm02E

N. Cheung. Em02-E, 02-E-v1.tex, version 1. Unpublished registered manuscript, Enter Calculus Companion. Supplied locator: :lapse, classical relational lapse through second order. https://enter.grok.me/.

CheungXXA

N. Cheung. Original-Rod Lapse: Classical Freeze and Quantum Admission Contract. -A.tex, version 1. Unpublished registered manuscript, Enter Calculus Companion. Supplied classical comparison and non-transfer records. https://enter.grok.me/.

FierzPauli

M. Fierz and W. Pauli. On relativistic wave equations for particles of arbitrary spin in an electromagnetic field. Proceedings of the Royal Society of London A, 173:211–232, 1939. doi:\ 10.1098/rspa.1939.0140.

Deser

S. Deser. Self-interaction and gauge invariance. General Relativity and Gravitation, 1:9–18, 1970. doi:\ 10.1007/BF00759198. Author's repost: https://arxiv.org/abs/gr-qc/0411023.

BarnichHenneaux

G. Barnich and M. Henneaux. Consistent couplings between fields with a gauge freedom and deformations of the master equation. Physics Letters B, 311:123–129, 1993. doi:\ 10.1016/0370-2693(93)90544-R. https://arxiv.org/abs/hep-th/9304057.

BoulangerEtAl

N. Boulanger, T. Damour, L. Gualtieri, and M. Henneaux. Inconsistency of interacting, multi-graviton theories. Nuclear Physics B, 597:127–171, 2001. doi:\ 10.1016/S0550-3213(00)00718-5. https://arxiv.org/abs/hep-th/0007220.

DaviesLewis

E. B. Davies and J. T. Lewis. An operational approach to quantum probability. Communications in Mathematical Physics, 17:239–260, 1970. doi:\ 10.1007/BF01647093.

Choi

M.-D. Choi. Completely positive linear maps on complex matrices. Linear Algebra and its Applications, 10(3):285–290, 1975. doi:\ 10.1016/0024-3795(75)90075-0.

PageWootters

D. N. Page and W. K. Wootters. Evolution without evolution: Dynamics described by stationary observables. Physical Review D, 27:2885–2892, 1983. doi:\ 10.1103/PhysRevD.27.2885.

Landauer

R. Landauer. Irreversibility and heat generation in the computing process. IBM Journal of Research and Development, 5(3):183–191, 1961. doi:\ 10.1147/rd.53.0183. Thermodynamic comparison only; no heat bound is derived from the finite channel in this paper.

CheungXIVI

N. Cheung. XIV-I, -I.tex, version 1. Unpublished registered manuscript, Enter Calculus Companion. Supplied locators: :I2, :I3, and :release. Constructed internal amplitude and unconstructed full joint characteristic map are separate objects. https://enter.grok.me/.

CheungXIVJ

N. Cheung. XIV-J, -J.tex, version 1. Unpublished registered manuscript, Enter Calculus Companion. Supplied locators: :descent, :reference, :J2, and :noadmission. https://enter.grok.me/.

CheungXVB

N. Cheung. XV-B, -B.tex, version 2. Unpublished technical manuscript, Enter Calculus Companion. Supplied locators: :lifting, :jetnull, and :release. Technical lifting and extension interfaces do not by themselves admit the inherited quantum coefficient. https://enter.grok.me/.

CheungStops

N. Cheung. XVI-N, -N.tex, revision r12; XVI-O, revision o70-sync; and XVI-Q, release Q11. Unpublished supplied source records, Enter Calculus Companion. The conditional insertion obstruction, the inherited _CLOSED entry, and the separately scoped two-point report have different hypothesis packages. These documentary comparisons do not update one another through the present paper. https://enter.grok.me/.

CatalogueRecord

OpenAI. OpenAI catalogue. Separately attributed catalogue source record reproduced in the Enter Calculus Companion. Supplied documentary material only. No catalogue proof, count, formalization claim, or family result is used as a premise or independently verified here. https://enter.grok.me/.