References

CheungIXA

N. Cheung, Landmark IX-A: An off-shell admission domain and boundary-sensitive topology for sharp Cauchy relational insertions. -A.tex, version 1, Enter Calculus Companion, manuscript record. In particular: :adjoint, :charge, :closure, :separate, :admission, :witness, :IX1, and :knownoutputs. https://enter.grok.me/browse/IX-A.

CheungIB

N. Cheung, I-B: A finite Enter spacetime on a prescribed conical product. -B-v1.tex, version 1, Enter Calculus Companion, supplied manuscript record. Prescribed background, destructive clock, fixed-event calibration, and finite transport interface. 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 14 (2026), article 1954943. DOI: 10.3389/fphy.2026.1954943. Publisher record: accepted article; final formatted version identified as forthcoming in the consulted record. https://www.frontiersin.org/journals/physics/articles/10.3389/fphy.2026.1954943/abstract.

CheungPhilosophy

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

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. DOI: 10.4171/037. https://arxiv.org/abs/0806.1036.

BDH

C. Brouder, N. V. Dang, and F. Hélein, “Continuity of the fundamental operations on distributions having a specified wave front set (with a counterexample by Semyon Alesker),” Studia Mathematica 232 (2016), 201–226. DOI: 10.4064/sm8316-3-2016. https://arxiv.org/abs/1409.7662.

BDHIntro

C. Brouder, N. V. Dang, and F. Hélein, A smooth introduction to the wavefront set. Author manuscript, 2014. https://arxiv.org/abs/1404.1778. Wavefront product, tensor, and pullback criteria are used only where their hypotheses are checked.

FR

K. Fredenhagen and K. Rejzner, Perturbative algebraic quantum field theory. Lecture notes, revised version 2, 2013. https://arxiv.org/abs/1208.1428. Functional products, free contractions, and the distinct time-ordered and interacting constructions.

Watrous

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

CheungVIIC

N. Cheung, Manuscript VII-C. -C.tex, version 1, Enter Calculus Companion, supplied manuscript record. The specified normal-topology mixed-Wick obstruction, :main; documentary comparison only. https://enter.grok.me/browse/VII-C.

CheungVIID

N. Cheung, Manuscript VII-D. -D.tex, version 1, Enter Calculus Companion, supplied manuscript record. A numerical finite-part prescription, not an algebra construction. https://enter.grok.me/browse/VII-D.

CheungIXB

N. Cheung, Manuscript IX-B. -B-v2.tex, version 2, Enter Calculus Companion, supplied manuscript record. Two-factor admission and the separate subsequent sharp multiplication boundary; not a premise here. https://enter.grok.me/browse/IX-B.

CheungIXD

N. Cheung, Manuscript IX-D. -D-v3.tex, version 3, Enter Calculus Companion, supplied manuscript record. Version-qualified distinction between a relative partial free product and missing time-ordered or retarded constructions. Documentary comparison only. https://enter.grok.me/browse/IX-D.

CheungVIB

N. Cheung, Manuscript VI-B. -B-v1.tex, version 1, Enter Calculus Companion, supplied manuscript record. Finite encoding of already-defined classical evaluations and complete destructive-clock instruments. https://enter.grok.me/browse/VI-B.

CheungEn09

N. Cheung, En09-A: Relational Enter. 09-A.tex, version 1, Enter Calculus Companion, supplied manuscript record. Complete conditioning and separately required covariance hypotheses. https://enter.grok.me/browse/En09-A.

CheungObservation

N. Cheung, VII-E, -E.tex, version 1; VII-G, -G.tex, version 1; and VII-E-ST, -E-ST.tex, version 1. Enter Calculus Companion, supplied manuscript records. Record/residual compatibility, spectator-blind control, and finite hybrid instruments. https://enter.grok.me/browse/VII-E; https://enter.grok.me/browse/VII-G; https://enter.grok.me/browse/VII-E-ST.

CheungVIIIA

N. Cheung, Manuscript VIII-A. -A-v3.tex, version 3, Enter Calculus Companion, supplied manuscript record. Instrument-level residual separation, including :thm:residual. https://enter.grok.me/browse/VIII-A.

CheungLocality

N. Cheung, En03-A, 03-A.tex, version 1; and En05-A, 05-A.tex, version 1. Enter Calculus Companion, supplied manuscript records. Complete scheduled-support and reference-preserving comparison interfaces. https://enter.grok.me/browse/En03-A; https://enter.grok.me/browse/En05-A.

CheungVIIJ

N. Cheung, VII-J, -J.tex, version 1; and VII-J-ST, -J-ST.tex, version 1. Enter Calculus Companion, supplied manuscript records. Timed dependency graphs, separate causal embedding, and regular-part buffered transport. https://enter.grok.me/browse/VII-J; https://enter.grok.me/browse/VII-J-ST.

CheungTransport

N. Cheung, En08-A, 08-A.tex, version 1; and En08-B, 08-B.tex, version 1. Enter Calculus Companion, supplied manuscript records. Scheduler-versus-cone separation and transport relative to a prescribed null boundary. https://enter.grok.me/browse/En08-A; https://enter.grok.me/browse/En08-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 manuscript records. Historical H2, internal amplitude progress, and the still unconstructed full characteristic map are distinct version-qualified objects. https://enter.grok.me/browse/XIV-H; https://enter.grok.me/browse/XIV-I; https://enter.grok.me/browse/XIV-J; https://enter.grok.me/browse/XV-B.

CheungStops

N. Cheung, XVI-N, revision r12; XVI-O; and XVI-Q. Enter Calculus Companion, supplied manuscript records. Conditional insertion obstruction and prescription-qualified status comparisons only. https://enter.grok.me/browse/XVI-N; https://enter.grok.me/browse/XVI-O; https://enter.grok.me/browse/XVI-Q.

OpenAIRecord

OpenAI, OpenAI mathematics catalogue. Separate documentary source collection supplied with the request and recorded by the Enter Calculus Companion. No theorem, formalization scope, or verification claim is imported. https://enter.grok.me.