References

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. Publisher abstract record: accepted 28 September 2026; the displayed record describes the final formatted version as forthcoming. Used for operational background, not as a field-theoretic premise.

CheungPhil

N. Cheung, The Philosophy of Enter: Destructive Readout, Quantum Recovery, and the Refusal of Identification. EntPhil, version 2, introductory essay. https://enter.grok.me/enter. Documentary philosophical source, not a theorem premise.

CheungI

N. Cheung, Manuscript I, version 2. Enter Calculus Companion. https://enter.grok.me/browse/I. Operational measurement characterization within its stated class; no uniqueness theorem is transferred here.

CheungIB

N. Cheung, I-B-v1: A Finite Enter Spacetime: Calibrated Destructive Time Readout on a Prescribed Conical Product. Version 1, source file I-B-v1.tex. https://enter.grok.me/browse/I-B. Geometric and interface provenance; all assertions used in the present construction are restated and proved here.

CheungIV

N. Cheung, Represented records for three named scalar-field models: Finite-plane corrections, dense-TT corrections, and sourced curvature pairings. Manuscript IV, version 1, source file IV.tex. https://enter.grok.me/browse/IV. Source of the three represented-model conventions and their distinct cutoff grammar.

CheungEn09

N. Cheung, Manuscript En09-A, version 1. Enter Calculus Companion. https://enter.grok.me/browse/En09-A. Supplied complete relational Enter instrument, covariance, stationarity, and refinement comparisons. Documentary comparison; the needed identities are proved in this paper.

CheungEn03

N. Cheung, Manuscript En03-A, version 1. Enter Calculus Companion. https://enter.grok.me/browse/En03-A. Supplied scheduled-block locality and record/residual interface comparisons; not an imported premise.

CheungEn05

N. Cheung, Manuscript En05-A, version 1. Enter Calculus Companion. https://enter.grok.me/browse/En05-A. Supplied schedule-past and metric-envelope comparisons; not a derivation of a metric and not an imported premise.

CheungEn08B

N. Cheung, En08-B: Resource-controlled operational approximation of null boundary transport. Version 1. https://enter.grok.me/browse/En08-B. Different lattice-refinement transport contract; documentary only.

CheungIII

N. Cheung, Manuscript III, version 2. Enter Calculus Companion. https://enter.grok.me/browse/III. Classical descent and equation-space separations; documentary only.

CheungV

N. Cheung, Manuscript V, version 1. Enter Calculus Companion. https://enter.grok.me/browse/V. Admissible-current, retarded-product, and Newton–wave cubic comparisons; documentary only.

CheungVIIIB

N. Cheung, Manuscript VIII-B, version 3. Enter Calculus Companion. https://enter.grok.me/browse/VIII-B. Conical-family, source, collar, and lapse non-identifications; documentary only.

CheungEm02E

N. Cheung, Manuscript Em02-E, version 1. Enter Calculus Companion. https://enter.grok.me/browse/Em02-E. Supplied classical relational-lapse expansion on its own background; documentary only.

CheungXIXA

N. Cheung, Manuscript XIX-A, version 1. Enter Calculus Companion. https://enter.grok.me/browse/XIX-A. Clock separation before coordinate identification; documentary only.

CheungXXA

N. Cheung, Manuscript XX-A, version 1. Enter Calculus Companion. https://enter.grok.me/browse/XX-A. Classical original-rod lapse and separate quantum-admission boundary; documentary only.

CheungOai282

N. Cheung, Manuscript Oai282-A, version 1. Enter Calculus Companion. https://enter.grok.me/browse/Oai282-A. Supplied finite local-Ward residual interface. A separation comparison, not a premise for Model 3 or Einstein dynamics.

CheungHawk

N. Cheung, Manuscripts Hawk04-C, Hawk04-D, Hawk05-A–Hawk05-C, Hawk06-A, Hawk07-A, and Hawk07-B. Enter Calculus Companion; supplied source excerpts. Complete-complement, recovery, operational-island, and operational-wormhole comparisons on separately declared interfaces. Documentary negative bearings only.

CheungEn02Em03

N. Cheung, En02 and Em03 manuscript series. Enter Calculus Companion; supplied version-specific excerpts. Decoder ledgers, packet and apparatus models, and entanglement-breaking channel comparisons. Documentary negative controls only; no model identification or theorem transfer.

CheungXIVIJ

N. Cheung, Manuscripts XIV-I and XIV-J, versions 1. Enter Calculus Companion. https://enter.grok.me/browse/XIV-I; https://enter.grok.me/browse/XIV-J. Internal-amplitude construction and the separate unresolved full characteristic-map and admission boundaries. Documentary only.

CheungXVB

N. Cheung, Manuscript XV-B, version 2. Enter Calculus Companion; supplied text. https://enter.grok.me/browse/XV-B. Relative-lifting and reconstruction-descent interfaces; the supplied technical manuscript does not itself supply the inherited full graph or quantum admission. Documentary only.

CheungXVIN

N. Cheung, Manuscript XVI-N, revision r12. Enter Calculus Companion; supplied conditional obstruction statement. https://enter.grok.me/browse/XVI-N. Not discharged or identified with the present measurement models.

OpenAICatalogue

OpenAI, OpenAI mathematical manuscript catalogue. Separate documentary collection displayed by the Enter Calculus Companion. https://enter.grok.me/openai. Catalogue attribution only. Not independently verified here and not a premise. No OpenAI family is identified with a Cheung manuscript or with the present represented instruments.

Nelson

E. Nelson, “Analytic vectors,” Annals of Mathematics, second series, 70 (1959), 572–615. doi:\,10.2307/1970331. External analytic-vector theorem used in Proposition prop:A1 after explicit sector estimates.

PageWootters

D. N. Page and W. K. Wootters, “Evolution without evolution: Dynamics described by stationary observables,” Physical Review D 27 (1983), 2885–2892. doi:\,10.1103/PhysRevD.27.2885. External conditioning context; not a premise for geometric emergence or an unscheduled Ramsey implementation.