References

CheungVI

N. Cheung, Landmark VI, version 1, supplied unpublished manuscript, .tex, n.d. Supplied records on finite-time harmonic relational descent, the compact-switch obstruction, and the RG-open quantum audit. Enter Calculus Companion: https://enter.grok.me.

CheungVIIIA

N. Cheung, Landmark VIII-A, version 3, supplied unpublished manuscript, -A-v3.tex, n.d. Especially “The exact clock is not a relational lapse” and the finite matching and record–residual interfaces. Enter Calculus Companion: https://enter.grok.me.

CheungVIIIB

N. Cheung, Landmark VIII-B, version 3, supplied unpublished manuscript, -B-v3.tex, n.d. Especially :lapse, :gradients, :dictionary, and the parameter–relational-lapse non-identification. Enter Calculus Companion: https://enter.grok.me.

CheungXA

N. Cheung, X-A, version 1, supplied unpublished manuscript, -A.tex, n.d. Smooth time ramp in a divergence-form coordinate density, its plateau covariance test, and the excluded transition-region response. Enter Calculus Companion: https://enter.grok.me.

CheungEm02E

N. Cheung, Em02-E, version 1, supplied unpublished manuscript, 02-E-v1.tex, n.d. Original inflaton-slice harmonic rods, classical relational lapse, :background, :lapse, and the incomplete quantum audit. Enter Calculus Companion: https://enter.grok.me.

CheungEm02A

N. Cheung, Em02-A, version 6, supplied unpublished manuscript, 02-A-v6.tex, n.d. Identification-first boundary and :transition; localization in $ϵ$ is kept distinct from smoothing in $\delta$. Enter Calculus Companion: https://enter.grok.me.

CheungEm02D

N. Cheung, Em02-D, version 4, supplied unpublished manuscript, 02-D-v4.tex, n.d. :main; the leading inverse-cubic expansion belongs to its fixed distribution model. Enter Calculus Companion: https://enter.grok.me.

CheungXVID

N. Cheung, Landmark XVI-D, version 1, supplied unpublished manuscript, -D.tex, n.d. :response-package and the conditional inherited-coordinate compatibility interface. Enter Calculus Companion: https://enter.grok.me.

CheungEnter

N. Cheung, “The Enter Calculus: A Linear Quantum Lambda Calculus with an Operational Characterization of Measurement,” Frontiers in Physics 14 (2026), article 1954943. Publisher accepted-article record; accepted 28 September 2026. https://doi.org/10.3389/fphy.2026.1954943. Operational comparison only; no clock or gravitational theorem is imported.

BFHPR

R. Brunetti, K. Fredenhagen, T.-P. Hack, N. Pinamonti, and K. Rejzner, “Cosmological perturbation theory and quantum gravity,” Journal of High Energy Physics 08 (2016), 032. https://doi.org/10.1007/JHEP08(2016)032. https://arxiv.org/abs/1605.02573. Original and modified spatial-coordinate prescriptions are distinguished in the arXiv equations (28)–(35).

Frob

M. B. Fröb, “Gauge-invariant quantum gravitational corrections to correlation functions,” Classical and Quantum Gravity 35 (2018), 055006. https://doi.org/10.1088/1361-6382/aaa74c. https://arxiv.org/abs/1710.00839. Relational-coordinate comparison; its propagator choice and quantum results are not adopted as the finite-time prescription of this paper.

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, Zürich, 2007. https://doi.org/10.4171/037. https://arxiv.org/abs/0806.1036.

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. https://doi.org/10.1007/s002200050004. https://arxiv.org/abs/math-ph/9903028. General distributional construction and extension framework; no application to an unconstructed quantum lapse family is asserted.

CGS

M. Correggi, A. Giuliani, and R. Seiringer, “Validity of the spin-wave approximation for the free energy of the Heisenberg ferromagnet,” Communications in Mathematical Physics 339 (2015), 279–307. https://doi.org/10.1007/s00220-015-2402-0. https://arxiv.org/abs/1312.7873. Statistical-mechanical context only, not a clock-paper premise.

Catalogue271

OpenAI mathematics catalogue: Family 271 and reported Lean scope, attributed to OpenAI in the supplied companion record, record dated 7 October 2026. Enter Calculus Companion: https://enter.grok.me/openai. The supplied scope names 271-04 only. Catalogue attribution, mathematical proofs, and Lean execution are not independently authenticated here. Documentary separation only.