References

CheungVI

N. Cheung, Relational Einstein–scalar observables at second order: classical descent and a compact-switch obstruction, Landmark VI, version 1, .tex, unpublished manuscript, n.d. Enter Calculus Companion. Relevant locators: :DK, :jet-space, :Gzero, :coordinates, :coordinate-transform, :descent, :switch-defect, and :plateau-obstruction.

CheungXVIB

N. Cheung, Landmark XVI-B: Prepared-source diagnostics and the complete-insertion boundary, version 1, -B.tex, unpublished manuscript, n.d. Enter Calculus Companion. Relevant locators: :trace, :pair, :tf, :coordinate-leg, :Aone, and :later-response. The last record explicitly writes $R_{\lambda }=-\mathcal{P}{V}_{\lambda }$.

CheungXVID

N. Cheung, Landmark XVI-D: Prepared witness response and completion domains, version 1, -D.tex, unpublished manuscript, n.d. Enter Calculus Companion; supplied passages. Relevant locators: :Slambda, :coord, :Xcand, :uniqueness, :restricted-extension, :coordinate-compatibility, :legs, and :response-package. Item (6) of the response package retains its conditional hypothesis.

XIXA

XIX-A: Clock Separation Before Coordinate Identification: Four Labelled Objects and Five Non-Identifications, anonymous draft supplied in the present manuscript exchange, -A.tex, n.d. Relevant locators: :harmonic, :harmonic-existence, and the release table. No registered authorship or independent verification is inferred.

CheungVIIA

N. Cheung, Plateau-compatible relational scalars: a second-order classical intertwiner, Landmark VII-A, version 1, -A.tex, unpublished manuscript, n.d. Enter Calculus Companion. Method and documentary comparison only; the supplied X-A prerequisite record is cited separately.

CheungXA

N. Cheung, X-A, version 1, -A.tex, unpublished manuscript, n.d. Enter Calculus Companion. “Prerequisite sheet”, including its separately copied VI, VII-A, and III interfaces. Copied statements are not transferred into the present coordinate comparison.

CheungIII

N. Cheung, Descent of first-order relational scalars and the free-product obstruction: Classical equation spaces, retarded sections, and compact Ward observables, Landmark III, version 2, .tex, unpublished manuscript, n.d. Enter Calculus Companion. Documentary comparison of the unreduced Cauchy problem, reduced quotient, forced retarded section, and product question.

CheungV

N. Cheung, Admissible currents and first retarded corrections for a fixed-time scalar response, Landmark V, version 1, .tex, unpublished manuscript, n.d. Enter Calculus Companion. Negative control: a fixed-time scalar response is not a coordinate jet.

CheungXVIIIA

N. Cheung, Landmark XVIII-A: Prepared Relational Observables: Non-Determination, Normalization Compatibility, and Conditional Ultraviolet Matching, version 2, -A-v2.tex, unpublished manuscript, n.d. Enter Calculus Companion. Relevant locators: :witness, :smoothwitness, :lateresponse, :hbar, and :release.

CheungXVIH

N. Cheung, Landmark XVI-H: Compact polarized kernel and witness recovery, version 1, -H.tex, unpublished manuscript, n.d. Enter Calculus Companion; supplied passages. The general-test compact kernel and its partial witness contraction are distinct from full-kernel admission.

CheungXVIA

N. Cheung, Landmark XVI-A: Fixed-width retarded coefficient obligations, version 1, -A.tex, unpublished manuscript, n.d. Enter Calculus Companion. The three retarded-slot obligations remain separate.

CheungXVIN

N. Cheung, XVI-N, version r12, -N.tex, unpublished manuscript, n.d. Enter Calculus Companion; supplied passages. Its conditional massless obstruction and unresolved Route B are not coordinate Cauchy conclusions.

CheungXVIQ

N. Cheung, XVI-Q, release Q11, -Q.tex, unpublished manuscript, n.d. Enter Calculus Companion; supplied passages. Relevant documentary locator: :o1. Its scoped two-point closure is not enlarged or independently verified here.

CheungXVB

N. Cheung, XV-B, version 2, -B.tex, unpublished manuscript, n.d. Enter Calculus Companion; supplied passages. The relative-lifting results do not construct the inherited full characteristic map or open its downstream admission exit.

CatalogueRecord

OpenAI catalogue and companion scope records, supplied documentary records, including Family 271, record dated 7 October 2026, and the supplied Family 282 and Family 069 comparisons. The reported Lean scope for Family 271 names 271-04 only. Catalogue attribution, proof validity, and Lean execution are not independently verified in this paper.

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. DOI: 10.3389/fphy.2026.1954943. Operational context only; no result is imported as coordinate data.

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. arXiv:1605.02573. Relational-observable context, not an identification of the two Cauchy prescriptions compared here.

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. arXiv:1710.00839. External relational-coordinate context; its quantum calculation is not transferred to the present classical witness.

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. DOI: 10.4171/037. arXiv:0806.1036.