References

IXC

N. Cheung, Landmark IX-C: Actual-functional factorization and coefficientwise coherence for one sharp ordered word. -C.tex, version 1. Enter Calculus Companion, manuscript record. https://enter.grok.me/browse/IX-C. Specific source statements: :first, :firstcontinuity, :descent, :scalarfactor, :coherence, and :package.

IXFree

N. Cheung, Landmark IX-Free: Actual-functional binary factorization of one sharp ordered word. -Free.tex, version 1. Enter Calculus Companion, manuscript record. https://enter.grok.me/browse/IX-Free. Specific source statements: :relations, :prelations, :fullsupport, :primitive, :qinjective, :endpoints, :forest, :treeadmission, and :degree2maps.

IXFreeTwo

N. Cheung, Landmark IX-Free-2: Degree-four descent and overlap agreement for one sharp ordered word. -Free-2.tex, version 1. Enter Calculus Companion, manuscript record. https://enter.grok.me/browse/IX-Free-2. Specific source statements: :restricted, :pinjective, :surfaceWF, :sharpcharge, :separation, :newdirect, :anchored, :oldgluing, :product, and :release.

IXAST

IX-A-ST: Boundary-sensitive admission of sharp Cauchy insertions on a prescribed conical Enter spacetime. -A-ST.tex, version 1. Supplied anonymous local adaptation. Enter Calculus Companion. https://enter.grok.me/browse/IX-A-ST. Carrier, saturation, separator, trace, and separate-classical- continuity inputs.

IXB

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. The supplied IX-B-ST draft is a supported adaptation of this calibration; no public registration of that draft is asserted here.

VIID

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. Parent estimate and conversion input only; the ultraviolet ledger is not re-proved here.

VIIC

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. Tensor data and the original :extension/:noalgebra boundary.

IB

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.

EnterArticle

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. Used for the finite operational background, not as an analytical product theorem.

EnterI

N. Cheung, Born–Lüders as the unique measurement strategy of a strictly linear quantum lambda-calculus: A self-contained finite characterization in the Enter calculus. .tex, version 2. Enter Calculus Companion, manuscript record. https://enter.grok.me/browse/I.

EnterPhilosophy

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

En09

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

BGP

C. Bär, N. Ginoux, and F. Pfäffle, Wave Equations on Lorentzian Manifolds and Quantization. European Mathematical Society, 2007. https://arxiv.org/abs/0806.1036.

Hormander

L. Hörmander, The Analysis of Linear Partial Differential Operators I: Distribution Theory and Fourier Analysis, second edition. Springer, 1990. Distributional products, tensor products, wavefront sets, and proper pushforward calculus.

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.

FR

K. Fredenhagen and K. Rejzner, Perturbative algebraic quantum field theory. Lecture notes, revised version 2, 2013. https://arxiv.org/abs/1208.1428. Functional microcausality and the distinction between free products and causal interacting constructions.

Watrous

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

STInterfaces

VIII-ST, VII-E-ST, VII-F-ST, and VII-J-ST, version 1 adaptation records. Enter Calculus Companion, supplied sources. Fixed-host, observation, clock, and transport interfaces; not premises supplying a distributional product. 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.

En05

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

En08

N. Cheung, En08-A, version 1, and En08-B, version 1. Enter Calculus Companion, supplied manuscript records. Scheduler/cone separation and transport relative to a prescribed null boundary. https://enter.grok.me/browse/En08-A; https://enter.grok.me/browse/En08-B.

IXD

N. Cheung, Landmark IX-D: Causal-support interfaces for one sharp ordered word after construction of the declared partial free product. -D-v3.tex, version 3. Enter Calculus Companion, manuscript record. https://enter.grok.me/browse/IX-D. :nonlift and the causal-interface release are documentary successor boundaries, not premises.

V

N. Cheung, Admissible currents and first retarded corrections for a fixed-time scalar response. .tex, version 1. Enter Calculus Companion, supplied manuscript record. https://enter.grok.me/browse/V. Separation source only.

LaterIX

N. Cheung, IX-E, version 1, and IX-E-2, version 1. Enter Calculus Companion, supplied manuscript records. First-stage commutator and support comparisons only. https://enter.grok.me/browse/IX-E; https://enter.grok.me/browse/IX-E-2.

BoundaryRecords

N. Cheung, VII-H, version 1; VII-I, version 1; Em01-B, version 3; Em01-C, version 3; XIV-H, XIV-I, XIV-J, version 1; technical XV-B, version 2; XVI-N, revision r12; and XVI-O, revision o70-sync. Enter Calculus Companion, supplied manuscript records. Version-qualified documentary boundaries only. https://enter.grok.me/browse.

OperationalRecords

N. Cheung, En03-A, En10-A, and En10-B, version 1. Enter Calculus Companion, supplied manuscript records. Separate locality, source-estimation, and acquisition contracts; not this partial product. https://enter.grok.me/browse/En03-A; https://enter.grok.me/browse/En10-A; https://enter.grok.me/browse/En10-B.

OpenAIRecord

OpenAI, OpenAI mathematics catalogue, as documented in the separate Enter Calculus Companion wrapper .tex. The wrapper's :not-premise and the supplied Oai comparison records are documentary separations. No family proof or verification status is imported. https://enter.grok.me.