References

CheungV

N. Cheung, Admissible currents and first retarded corrections for a fixed-time scalar response. Manuscript V, .tex, version 1, registered unpublished manuscript, Enter Calculus Companion. Relevant source locators include :rawcurrent, :defect, :rawclassification, :harmonic, :planeextension, :external, :ESA, :cubicform, and :cubicwitness. https://enter.grok.me/browse/V.

CheungIB

N. Cheung, I-B: A Finite Enter Spacetime. -B-v1.tex, version 1, registered unpublished manuscript, Enter Calculus Companion. Prescribed cone, clock instrument, calibration, and target-adapted transport source record. https://enter.grok.me/browse/I-B.

CheungEnter

N. Cheung, “The Enter Calculus: A Linear Quantum Lambda Calculus with an Operational Characterization of Measurement.” Enter-calculus article identified in the supplied bibliographic record by DOI 10.3389/fphy.2026.1954943. Its supplied record lists Frontiers in Physics 14 (2026), article 1954943. Publisher publication-status metadata is not independently certified here. The present instrument is proved directly and does not require a publication-status premise.

CheungPhilosophy

N. Cheung, The Philosophy of Enter. Enter Calculus Companion introductory source record. https://enter.grok.me/enter.

CheungEn09

N. Cheung, En09-A: Realization of Relational Time by Destructive Enter on a Clock Register. 09-A.tex, version 1, registered unpublished manuscript, Enter Calculus Companion. Complete extraction, covariance, stationarity, and reference-extension boundaries. https://enter.grok.me/browse/En09-A.

BGP

C. Bär, N. Ginoux, and F. Pfäffle, Wave Equations on Lorentzian Manifolds and Quantization. ESI Lectures in Mathematics and Physics, European Mathematical Society, 2007. https://arxiv.org/abs/0806.1036.

FH

C. J. Fewster and D. S. Hunt, “Quantization of linearized gravity in cosmological vacuum spacetimes,” Reviews in Mathematical Physics 25 (2013), 1330003. DOI: 10.1142/S0129055X13300033. https://arxiv.org/abs/1203.0261. The compact conserved observable class supplies context; no radical-exhaustion theorem is imported.

BF

R. Brunetti and K. Fredenhagen, “Microlocal analysis and interacting quantum field theories: Renormalization on physical backgrounds,” Communications in Mathematical Physics 208 (2000), 623–661. DOI: 10.1007/s002200050004. https://arxiv.org/abs/math-ph/9903028.

DF

M. Dütsch and K. Fredenhagen, “Causal perturbation theory in terms of retarded products, and a proof of the Action Ward Identity,” Reviews in Mathematical Physics 16 (2004), 1291–1348. DOI: 10.1142/S0129055X04002266. https://arxiv.org/abs/hep-th/0403213.

Nelson

E. Nelson, “Analytic vectors,” Annals of Mathematics 70 (1959), 572–615. DOI: 10.2307/1970331.

Watrous

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

PageWootters

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

CheungEn03

N. Cheung, En03-A, 03-A.tex, version 1. Registered unpublished manuscript, Enter Calculus Companion. Supplied records on schedule locality, observation interfaces, and restricted destructive deferred readout. https://enter.grok.me/browse/En03-A.

CheungEn05

N. Cheung, En05-A, 05-A.tex, version 1. Registered unpublished manuscript, Enter Calculus Companion. Supplied locator :cone: complete-channel dependence on a prescribed schedule past.

CheungEn08

N. Cheung, En08-B, 08-B.tex, version 1. Registered unpublished manuscript, Enter Calculus Companion. Resource-controlled finite transport toward a prescribed null boundary; comparison only. https://enter.grok.me/browse/En08-B.

CheungIII

N. Cheung, III, .tex, version 2. Registered unpublished manuscript, Enter Calculus Companion. Classical equation spaces, first-order descent, and the separate sourced successor S1–S3. https://enter.grok.me/browse/III.

CheungIV

N. Cheung, IV, .tex, version 1. Registered unpublished manuscript, Enter Calculus Companion. Three represented models with separately declared observables, cutoffs, and measurement assumptions. Documentary comparison.

CheungII

N. Cheung, II, .tex, version 2. Registered unpublished manuscript, Enter Calculus Companion. Finite contact-span certificate; no contact-space identification or global identity is transferred to this paper.

CheungLapse

N. Cheung, Em02-E, version 1; XX-A, version 1; and XIX-A, version 1. Supplied unpublished source records, Enter Calculus Companion. Classical relational lapse, original rods, and clock-prescription separations. Documentary comparisons, not premises.

CheungOaiWard

N. Cheung, Oai282-A, 282-A.tex, version 1. Supplied unpublished source record, Enter Calculus Companion. Locator :ward: finite tested Ward residual for its own improvement and contact contract. Not a premise here and not a verification of an OpenAI catalogue family.

OpenAIRecord

OpenAI, OpenAI mathematics catalogue. Separately attributed documentary material reproduced in the supplied companion record. No catalogue theorem, family proof, or formalization certificate is a premise or independently authenticated by this manuscript.

CheungHawk

N. Cheung, Hawk04-A, version 1; Hawk04-B, version 2; and the supplied Hawk05–Hawk07 records. Unpublished manuscripts, Enter Calculus Companion. Operational access and recovery comparisons only.

CheungAnalytic

N. Cheung, XIV-H, version 1; XIV-I, version 1; XIV-J, version 1; and technical XV-B, version 2. Supplied unpublished manuscripts, Enter Calculus Companion. Internal-amplitude, reconstruction, supported-reference, and relative-lifting records. No full inherited characteristic coefficient is imported.

CheungStops

N. Cheung, XVI-N, revision r12; XVI-O, revision o70-sync; and XVI-Q, release Q11. Supplied unpublished source records, Enter Calculus Companion. Conditional insertion obstruction and separately scoped subsector reports. This paper updates none of their release conditions.