References

CheungIII

N. Cheung. Descent of first-order relational scalars and the free-product obstruction: Classical equation spaces, retarded sections, and compact Ward observables. Manuscript III, .tex, version 2. Unpublished registered manuscript, Enter Calculus Companion. https://enter.grok.me/browse/III.

CheungIIIProduct

N. Cheung. Manuscript III, version 2: :Poisson, :product, and the spatial-regulator comparison. Versioned source passages associated with CheungIII. https://enter.grok.me/passage/III-theorem-thm-product.

CheungIIIKilling

N. Cheung. Manuscript III, version 2: :jets and :Killing. Versioned source passages associated with CheungIII. https://enter.grok.me/passage/III-theorem-thm-Killing.

CheungIIIJet

N. Cheung. Manuscript III, version 2: retarded-section identities and :jet-descent. Versioned source passages associated with CheungIII. https://enter.grok.me/passage/III-theorem-thm-jet-descent.

CheungIIICauchy

N. Cheung. Manuscript III, version 2: :Cauchy, :metric-gauge-data, and :reduced-Cauchy. Versioned source passages associated with CheungIII. https://enter.grok.me/passage/III-theorem-thm-Cauchy.

CheungIIIClosed

N. Cheung. Manuscript III, version 2: :range-reconstruction and :closed-range. Versioned source passages associated with CheungIII. https://enter.grok.me/passage/III-lemma-lem-closed-range.

CheungIIIExact

N. Cheung. Manuscript III, version 2: :Ward and :zero-repair. Versioned source passages associated with CheungIII. https://enter.grok.me/passage/III-proposition-prop-zero-repair.

CheungIIICompact

N. Cheung. Manuscript III, version 2: :compact-pair. Versioned source passage associated with CheungIII. https://enter.grok.me/passage/III-theorem-thm-compact-pair.

CheungIIISuccessor

N. Cheung. Manuscript III, version 2: “Conclusion and the sourced successor.” Supplied source record and corresponding section of CheungIII. The S1–S3 problems are not completed by the present adaptation.

CheungIB

N. Cheung. I-B: A Finite Enter Spacetime. -B-v1.tex, version 1. Unpublished registered manuscript, Enter Calculus Companion. Supplied locators: :experiment, :instrument, :calibration, :fixed-event, :local-causal, and :transport. https://enter.grok.me/browse/I-B.

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. At the bibliographic consultation, the record listed the final formatted version as forthcoming. https://www.frontiersin.org/journals/physics/articles/10.3389/fphy.2026.1954943/abstract.

CheungI

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

CheungPhilosophy

N. Cheung. The Philosophy of Enter. Introductory source record, Enter Calculus Companion. Destructive readout, quantum return, thermodynamic interpretation, and identification are distinguished. https://enter.grok.me/enter.

CheungEn09

N. Cheung. En09-A, 09-A.tex, version 1. Unpublished registered manuscript, Enter Calculus Companion. Supplied source records: complete destructive clock instrument, finite conditioning, no-return, and release boundaries. https://enter.grok.me/browse/En09-A.

CheungEn03

N. Cheung. En03-A, 03-A.tex, version 1. Unpublished registered manuscript, Enter Calculus Companion. Supplied interface and schedule-locality records. 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 is a complete-channel upper bound. https://enter.grok.me/.

CheungEn08

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

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. General smooth wave background; no global theorem from this reference is applied to the full punctured cone.

Hack

T.-P. Hack. Quantization of the linearised Einstein–Klein–Gordon system on arbitrary backgrounds and the special case of perturbations in inflation. Classical and Quantum Gravity, 31:215004, 2014. doi:\ 10.1088/0264-9381/31/21/215004. https://arxiv.org/abs/1403.3957. Comparison with a genuinely coupled system on on-shell backgrounds, not a premise for the triangular model.

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.

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:2885–2892, 1983. doi:\ 10.1103/PhysRevD.27.2885.

CheungObservation

N. Cheung. VIII-A, -A-v3.tex, version 3; and VII-E, version 1. Supplied unpublished source records, Enter Calculus Companion. Comparison locators include :thm:residual and instrument-level observation criteria. No field apparatus is imported.

CheungLapse

N. Cheung. Em02-E, 02-E-v1.tex, version 1; and XX-A–XX-F, supplied version-1 records. Unpublished manuscripts, Enter Calculus Companion. Classical relational lapse, original rods, and separate quantum-admission obligations. Documentary comparison only.

CheungClockSeparation

N. Cheung. XIX-A–XIX-E, supplied version-1 records. Unpublished manuscripts, Enter Calculus Companion. In particular, -A.tex, :main, and :rod-detection, distinguish time, rod, lapse, incidence, and ramp prescriptions. Documentary comparison only.

CheungII

N. Cheung. Finite contact-span certificates for a two-species spin-two tree. Manuscript II, .tex, version 2. Supplied unpublished source, Enter Calculus Companion. The finite contact certificate is not a premise or a contact-space identification in III-B.

CheungOaiWard

N. Cheung. Oai282-A, 282-A.tex, version 1. Supplied unpublished source record, Enter Calculus Companion. Locator: :ward. Its finite local-Ward improvement and contact contract are not identified with the compact classical Ward pair in this paper.

CheungHawk

N. Cheung. Hawk04-A, version 1; Hawk04-B, version 2; and the supplied Hawk05–Hawk07 comparison records. Unpublished manuscripts, Enter Calculus Companion. Documentary access, recovery, and operational-analogue comparisons only; no theorem from this collection is a premise.

CheungAnalytic

N. Cheung. XIV-H, -H.tex, version 1; XIV-I, -I.tex, version 1; XIV-J, -J.tex, version 1; and technical XV-B, -B.tex, version 2. Supplied unpublished source records, Enter Calculus Companion. Relevant documentary locators: :H2, :I2, :I3, :J2, :noadmission, and :lifting. No characteristic construction or admission is transferred.

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 obstructions, inherited open entries, and separately scoped two-point reports have different hypothesis packages. This paper updates none of them.

OpenAIRecord

OpenAI. OpenAI mathematics catalogue. Separately attributed documentary record reproduced through the supplied Enter Calculus Companion material. No catalogue theorem, reported formalization, or family claim is a premise or independently verified by III-B. https://enter.grok.me/.