References

CheungVI

N. Cheung, Relational Einstein–scalar observables at second order: classical descent and a compact-switch obstruction. Manuscript VI, .tex, version 1, Enter Calculus Companion, unpublished source record. The registered source has an empty author field; the attribution here follows the companion registry. Relevant locators include :jet-space, :descent, :switch-defect, :plateau-obstruction, :order-obstruction, :sourced-nonzero, and :finite-certificate. https://enter.grok.me/browse/VI.

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 consulted publisher record identifies an accepted article with final formatting forthcoming.

CheungI

N. Cheung, I, .tex, version 2. Enter Calculus Companion, unpublished manuscript. Characterization inside a stated finite operational class; not a field-instrument theorem. https://enter.grok.me/browse/I.

CheungPhilosophy

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.

CheungIB

N. Cheung, I-B-v1: A Finite Enter Spacetime—Calibrated Destructive Time Readout on a Prescribed Conical Product. -B-v1.tex, version 1. Enter Calculus Companion, unpublished manuscript. https://enter.grok.me/browse/I-B.

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. DOI: 10.1007/JHEP08(2016)032. https://arxiv.org/abs/1605.02573.

Frob

M. B. Fröb, “Gauge-invariant quantum gravitational corrections to correlation functions,” Classical and Quantum Gravity 35 (2018), 055006. DOI: 10.1088/1361-6382/aaa74c. https://arxiv.org/abs/1710.00839.

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.

CheungGradeS

N. Cheung, III-B, -B-v1.tex, version 1; and V-B, -B-v1.tex, version 1. Enter Calculus Companion, supplied unpublished source records. Local Grade S and supported-presentation comparisons only.

CheungVIIA

N. Cheung, VII-A, -A.tex, version 1. Enter Calculus Companion, supplied unpublished manuscript. Locators :first, :second, :defect, and :nohigherrepair. Plateau-restricted classical intertwiner and the larger-support boundary. https://enter.grok.me/browse/VII-A.

CheungCertificates

N. Cheung, II, .tex, version 2; and II-B, -B-v1.tex, version 1. Enter Calculus Companion, supplied unpublished manuscripts. Finite contact-span certificates and their non-transfer limits. No response catalogue is imported.

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.

CheungV

N. Cheung, Admissible currents and first retarded corrections for a fixed-time scalar response. Manuscript V, .tex, version 1. Enter Calculus Companion, unpublished manuscript. Current, first-retarded, oscillator, and distinct cubic-form objects are not identified with the present second-order jet. https://enter.grok.me/browse/V.

FV

C. J. Fewster and R. Verch, “Quantum fields and local measurements,” Communications in Mathematical Physics 378 (2020), 851–889. DOI: 10.1007/s00220-020-03800-6. https://arxiv.org/abs/1810.06512.

CheungEn09

N. Cheung, En09-A: Realization of Relational Time by Destructive Enter on a Clock Register. 09-A.tex, version 1. Enter Calculus Companion, supplied unpublished manuscript. Complete conditioning and additional covariance–stationarity hypotheses. https://enter.grok.me/browse/En09-A.

Watrous

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

CheungLocality

N. Cheung, En03-A, 03-A.tex, version 1; and En05-A, 05-A.tex, version 1. Enter Calculus Companion, supplied unpublished source records. Complete-channel schedule locality on separately prescribed interfaces.

CheungEn08

N. Cheung, En08-B, 08-B.tex, version 1. Enter Calculus Companion, supplied unpublished manuscript. Resource-controlled approximation toward a prescribed null boundary; comparison only.

CheungIII

N. Cheung, III, .tex, version 2. Enter Calculus Companion, supplied unpublished manuscript. Separate equation-space quotients and the unconstructed sourced successor S1–S3.

CheungIV

N. Cheung, IV, .tex, version 1; and IV-B, -B-v1.tex, version 1. Enter Calculus Companion, supplied unpublished manuscripts. Represented models and their declared apparatus interfaces; documentary comparisons.

CheungProductTracks

N. Cheung, VII-B, VII-C, VII-D; IX-A, IX-D, IX-E; X-G, XI-F, and XI-G. Enter Calculus Companion, supplied version-specific unpublished records. Sharp-admission, product, finite-part, variational, and free-shell questions remain separately scoped. No theorem from these tracks is a premise here.

CheungOperational

N. Cheung, VII-E through VII-J; and VIII-A, VIII-B, VIII-C, version 3. Enter Calculus Companion, supplied unpublished records. Observation, slicing, fixed-presentation, and causal-network comparisons only.

CheungPrepared

N. Cheung, XVI-A, -A.tex, version 1; and XVI-B, -B.tex, version 1. Enter Calculus Companion, supplied unpublished manuscripts. Conditional wavefront and prepared-source comparison interfaces; no inherited retarded coefficient is supplied by those comparisons.

CheungClocks

N. Cheung, Em02-E, version 1; XX-A, version 1; and XIX-A, version 1. Enter Calculus Companion, supplied unpublished records. Classical relational lapse, original rods, and clock-prescription separations.

CheungOtherInterfaces

N. Cheung, En08-A, En10-A, En10-B, and XXII-A through XXII-F. Enter Calculus Companion, supplied unpublished source records. Conditional operational and geometric comparisons, not inputs to this construction.

CheungOai282

N. Cheung, Oai282-A, 282-A.tex, version 1. Enter Calculus Companion, supplied unpublished source record. Finite local Ward residual for its own improvement and contact contract. Not a premise and not a verification of Family 282.

OpenAIRecord

OpenAI, Supplied mathematics catalogue. Separate documentary material attributed to OpenAI in the provided companion record. No family proof, publication-status claim, formalization certificate, or physical identification is imported or verified.

CheungOtherTracks

N. Cheung, Hawk, Psy, and Em packet-sheet records named in the supplied dossier. Enter Calculus Companion, unpublished documentary comparisons. Their models are not identified with ${\mathcal{J}}_{R,b}$.

CheungAnalytic

N. Cheung, XIV-H, version 1; XIV-I, version 1; XIV-J, version 1; and technical XV-B, version 2. Enter Calculus Companion, supplied unpublished manuscripts. Historical H2, constructed I2 internal amplitude, unresolved I3/J2 full joint map, and relative-lifting interfaces remain distinct.

CheungStops

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