References

CheungIXB

N. Cheung, Landmark IX-B: Derivative-stable triangle calibration and counterterm constraints for sharp Cauchy insertions. -B-v2.tex, version 2, Enter Calculus Companion, manuscript record. https://enter.grok.me/browse/IX-B.

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. https://enter.grok.me/browse/IX-A.

IXAST

IX-A-ST: Boundary-sensitive admission of sharp Cauchy insertions on a prescribed conical Enter spacetime. -A-ST.tex, version 1. Supplied local adaptation; author field intentionally empty. Carrier, support-saturation, separator, and classical topology inputs only. https://enter.grok.me/browse/IX-A-ST.

CheungVIID

N. Cheung, Finite part of the regulated Cauchy-reflection triangle: A strong numerical distributional limit for the VII-C family. -D.tex, version 1, Enter Calculus Companion, manuscript record. https://enter.grok.me/browse/VII-D.

CheungVIIC

N. Cheung, Landmark VII-C: A mixed-Wick obstruction to a normal-topology boundary extension for sharp Cauchy harmonic insertions. -C.tex, version 1, Enter Calculus Companion, manuscript record. https://enter.grok.me/browse/VII-C.

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, manuscript record. 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. Accepted publisher record; the consulted record identifies the final formatted version as forthcoming. 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. Philosophical and documentary 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. https://arxiv.org/abs/0806.1036.

FR

K. Fredenhagen and K. Rejzner, Perturbative algebraic quantum field theory. Lecture notes, revised version 2, 2013. https://arxiv.org/abs/1208.1428.

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.

Watrous

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

CheungEn09

N. Cheung, En09-A: Relational Enter. 09-A.tex, version 1, Enter Calculus Companion, supplied manuscript record. https://enter.grok.me/browse/En09-A.

CheungObservation

N. Cheung, VII-E, -E.tex, version 1; VII-G, -G.tex, version 1; and VIII-A, -A-v3.tex, version 3. Enter Calculus Companion, supplied manuscript records. Record compatibility, residual criteria, and complete finite-instrument comparisons. https://enter.grok.me/browse/VII-E; https://enter.grok.me/browse/VII-G; https://enter.grok.me/browse/VIII-A.

STInterfaces

VIII-ST, version 1; VII-E-ST, version 1; VII-F-ST, version 1; and VII-J-ST, version 1. Enter Calculus Companion, supplied spacetime adaptation records. Fixed-host, observation, clock, and causal-interface comparisons; not product premises. https://enter.grok.me/browse/VIII-ST; https://enter.grok.me/browse/VII-E-ST; https://enter.grok.me/browse/VII-F-ST; https://enter.grok.me/browse/VII-J-ST.

CheungLocality

N. Cheung, En03-A, version 1; En05-A, version 1; and VII-J, version 1. Enter Calculus Companion, supplied manuscript records. Scheduled locality and separate physical-containment interfaces. https://enter.grok.me/browse/En03-A; https://enter.grok.me/browse/En05-A; https://enter.grok.me/browse/VII-J.

CheungTransport

N. Cheung, En08-A, version 1; and En08-B, 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.

CheungSuccessors

N. Cheung, IX-C, version 1; IX-Free, version 1; IX-Free-2, version 1; and IX-D, version 3. Enter Calculus Companion, supplied manuscript records. Version-qualified successor constructions and interfaces; not inputs to IX-B-ST. https://enter.grok.me/browse/IX-C; https://enter.grok.me/browse/IX-Free; https://enter.grok.me/browse/IX-Free-2; https://enter.grok.me/browse/IX-D.

CheungCharacteristic

N. Cheung, Em01-B, version 3; and Em01-C, version 3. Enter Calculus Companion, supplied manuscript records. Moderate smoothing growth and separate scale-profile constructions; documentary separations only. https://enter.grok.me/browse/Em01-B; https://enter.grok.me/browse/Em01-C.

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 amplitude and full-characteristic-map boundaries; not premises of the calibration. 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; and XVI-O, revision o70-sync. Enter Calculus Companion, supplied manuscript records. Insertion-obstruction and prescription-qualified O.1 comparisons. https://enter.grok.me/browse/XVI-N; https://enter.grok.me/browse/XVI-O.

CheungFreeComparisons

N. Cheung, VII-H, version 1; and VII-I, version 1. Enter Calculus Companion, supplied manuscript records. Separate free-field benchmarks and finite-width constructions. https://enter.grok.me/browse/VII-H; https://enter.grok.me/browse/VII-I.

CheungSourceEstimates

N. Cheung, En10-A, version 1; and En10-B, version 1. Enter Calculus Companion, supplied manuscript records. Source-weight estimation and its separate acquisition requirements; not this triangle residue. https://enter.grok.me/browse/En10-A; https://enter.grok.me/browse/En10-B.

OpenAIRecord

OpenAI, OpenAI mathematics catalogue. Separate documentary source collection, recorded in the Enter Calculus Companion wrapper .tex. The wrapper's :not-premise is a source-separation record, not verification of the underlying catalogue. https://enter.grok.me.

OpenAIComparisons

N. Cheung, Oai282-A, Oai282-B, Oai069-A, Oai283-A, Oai365-A, Oai212-A, Oai265-A/B, Oai272-A, Oai276-A, Oai279-A, Oai227-A, and Oai119-A. Enter Calculus Companion, supplied comparison records. Documentary separations only; no catalogue family or theorem is imported or independently verified here. https://enter.grok.me/browse.