References

XA

N. Cheung, {Landmark X-A: Classical covariance of one fixed-regulator switched relational scalar through order ${\kappa }^2$}. -A.tex, version 1. Enter Calculus Companion, manuscript record. https://enter.grok.me/browse/X-A. Especially :Aeps, :coordinates, :preflight, :edge, :coordinate, :scalar, :varied, :noether, :puregauge, :sourced, :zeroswitch, :continuity, :kernels, and :kernel.

IB

N. Cheung, I-B: A Finite Enter Spacetime: Calibrated Destructive Time Readout on a Prescribed Conical Product. -B-v1.tex, version 1. Enter Calculus Companion, manuscript record. https://enter.grok.me/browse/I-B. Host, signature, destructive instrument, calibration, locality, and target-adapted transport.

IVB

N. Cheung, IV-B. -B-v1.tex, version 1. Supplied manuscript description and excerpts, Enter Calculus Companion. https://enter.grok.me/browse/IV-B. The declared completion and no-global-transfer pattern are restated and proved in the present presentation; no inaccessible theorem is assumed.

CheungEnter

N. Cheung, “The Enter Calculus: A Linear Quantum Lambda Calculus with an Operational Characterization of Measurement,” Frontiers in Physics 14 (2026). DOI: 10.3389/fphy.2026.1954943. Accepted-article bibliographic record. https://doi.org/10.3389/fphy.2026.1954943. Operational background only.

I

N. Cheung, Manuscript I. .tex, version 2. Enter Calculus Companion. https://enter.grok.me/browse/I. Operational characterization in its explicitly stated strategy class; not a premise of the classical proof.

EnterPhilosophy

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

BFR

R. Brunetti, K. Fredenhagen, and K. Rejzner, “Quantum Gravity from the Point of View of Locally Covariant Quantum Field Theory,” Communications in Mathematical Physics 345 (2016), 741–779. DOI: 10.1007/s00220-016-2676-x. Relational-observable background; not a covariance or quantization theorem for this switched ramp prescription.

FrobLima

M. B. Fröb and W. C. C. Lima, Propagators for gauge-invariant observables in cosmology. https://arxiv.org/abs/1711.08470. Comparison for field-dependent causal coordinates; no propagator construction is transferred here.

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. Cauchy and Green-operator theory under its stated geometric hypotheses.

VIB

N. Cheung, VI-B. -B-v1.tex, version 1. Enter Calculus Companion. https://enter.grok.me/browse/VI-B. Different switched Einstein–scalar defect and coefficientwise order obstruction; comparison only.

VIIAST

N. Cheung, VII-A-ST. -A-ST.tex, version 1. Enter Calculus Companion. https://enter.grok.me/browse/VII-A-ST. Plateau, switch-derivative, support, and comparison-map ledger on its own classical equation space.

IIIB

N. Cheung, III-B. -B-v1.tex, version 1. Enter Calculus Companion. https://enter.grok.me/browse/III-B. Free-shell tangency and coupled-jet descent remain separate from the present prescription.

VIIIandVIIJ

N. Cheung, VIII-ST and VII-J-ST. Version 1 manuscript records, Enter Calculus Companion. https://enter.grok.me/browse/VIII-ST; https://enter.grok.me/browse/VII-J-ST. Fixed-host and finite-interface comparisons only.

VIIJST

N. Cheung, VII-J-ST. Version 1, Enter Calculus Companion. https://enter.grok.me/browse/VII-J-ST. Complete scheduled ancestry and separately certified physical containment.

En08A

N. Cheung, En08-A. Version 1, Enter Calculus Companion. https://enter.grok.me/browse/En08-A. Scheduler consistency does not by itself determine a Lorentz cone.

En08B

N. Cheung, En08-B. Version 1, Enter Calculus Companion. https://enter.grok.me/browse/En08-B. Finite transport relative to a prescribed null boundary; metric and speed are inputs.

En09

N. Cheung, En09-A: Relational Enter. Version 1, Enter Calculus Companion. https://enter.grok.me/browse/En09-A. Complete destructive-clock instrument and conditioning scope.

En10

N. Cheung, En10-A. Version 1, Enter Calculus Companion. https://enter.grok.me/browse/En10-A. Source-weight acquisition for a separately declared finite statistical model.

LapseRecords

N. Cheung, Em02-E, version 1, and the supplied XX-A–XX-F manuscript records. Enter Calculus Companion. https://enter.grok.me/browse/Em02-E; https://enter.grok.me/browse/XX-A. Background and lapse prescriptions are independent of the present ramp-coordinate problem.

ConvolutionRecords

N. Cheung, X-A-conv and X-Enter. Version 1, Enter Calculus Companion. https://enter.grok.me/browse/X-A-conv; https://enter.grok.me/browse/X-Enter. Different convolution prescription and conditional relational-readout contract.

SharpRecords

N. Cheung, VII-B, VII-C, IX-A-ST, IX-B-ST, IX-C-ST, IX-D-ST, and IX-E-2. Version-qualified supplied manuscript records, Enter Calculus Companion. https://enter.grok.me/browse. Sharp admission, numerical calibration, free products, and causal-interface boundaries are documentary comparisons, not constructions of this paper.

XB

N. Cheung, X-B. -B-v3.tex, version 3. Enter Calculus Companion. https://enter.grok.me/browse/X-B. Separately specified scalar-only fixed-regulator quantum response; not imported into X-A-ST.

BoundaryRecords

N. Cheung, XIV-H, XIV-I, and XIV-J, version 1; technical XV-B, version 2; XVI-N, revision r12; and XVI-O, revision o70-sync. Supplied manuscript records, Enter Calculus Companion. https://enter.grok.me/browse. Version-specific analytical boundaries and downstream admission limits only.

Watrous

J. Watrous, The Theory of Quantum Information. Cambridge University Press, 2018. Author's manuscript and errata: https://cs.uwaterloo.ca/ watrous/TQI/. Finite channels, instruments, and completely bounded trace-norm comparisons.