References

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. Especially :interfaces, :support, :nonlift, :separation, :contact, :conditionalret, :hbaraudit, and :release.

IXE

N. Cheung, Landmark IX-E: Binary time ordering and causal subtraction on the declared sharp comparison sector. -E.tex, version 1. Enter Calculus Companion, manuscript record. https://enter.grok.me/browse/IX-E. Especially :geometry, :spacelike, :commutator, :obstruction, :algebraic, and :subtraction.

IXE2

N. Cheung, Landmark IX-E-2: Exact imaginary part of the locked Cauchy kernel and the first-stage commutator on the retained two-way sector. -E-2.tex, version 1. Enter Calculus Companion, manuscript record. https://enter.grok.me/browse/IX-E-2. Common-regulator subtraction, exact imaginary part, strongly separated witness class, and support-bridge stop.

IXE3

N. Cheung, Landmark IX-E-3: Functional support of the sharp insertion and the two-way commutator bridge. -E-3.tex, version 1. Enter Calculus Companion, manuscript record. https://enter.grok.me/browse/IX-E-3. Boundary-trace certificate, null-sphere lower support, specified flat realization, solid-ball correction, and inherited-operator identification boundary.

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. Inherited free partial product only.

IXCST

IX-C-ST: A supported partial product for one sharp ordered word. Supplied preceding combined adaptation of IX-C, IX-Free, and IX-Free-2; author field empty. Used only with its explicit analytical premises. Its adjoint-trace statement requires the same-operator audit in Section sec:identification. No public registration or independent verification is asserted.

IXAST

IX-A-ST: Boundary-sensitive admission on a prescribed conical Enter spacetime. Version 1 adaptation record. Enter Calculus Companion. https://enter.grok.me/browse/IX-A-ST. Especially :saturation, :separator, :separate, and :release. The inherited carrier is the adapted carrier.

IXB

N. Cheung, Landmark IX-B. -B-v2.tex, version 2. Enter Calculus Companion, manuscript record. https://enter.grok.me/browse/IX-B. Source-locked parent calibration under its VII-D premise.

VIID

N. Cheung, Landmark VII-D: Strong finite part and conversion of the regulated Cauchy-reflection triangle. -D.tex, version 1. Enter Calculus Companion, manuscript record. https://enter.grok.me/browse/VII-D. Especially :finitepart and :conversion. The ultraviolet estimate is inherited, not re-proved.

VIIC

N. Cheung, Landmark VII-C: The mixed-Wick obstruction for the sharp Cauchy sector. -C.tex, version 1. Enter Calculus Companion, manuscript record. https://enter.grok.me/browse/VII-C. The logarithmic result and obstruction retain their original joint hypotheses.

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. Accepted manuscript record, accepted September 28, 2026. DOI: 10.3389/fphy.2026.1954943.

EnterI

N. Cheung, Manuscript I: Finite operational characterization of destructive measurement in the Enter calculus. .tex, version 2. Enter Calculus Companion, manuscript record. https://enter.grok.me/browse/I. Its structural class is not re-proved here.

EnterPhil

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.

FR

K. Fredenhagen and K. Rejzner, Perturbative algebraic quantum field theory. Lecture notes, version 2, 2013. https://arxiv.org/abs/1208.1428. Documentary comparison for regular time ordering and renormalized extension, not existence for this sharp sector.

BF

R. Brunetti and K. Fredenhagen, “Microlocal analysis and interacting quantum field theories: Renormalization on physical backgrounds,” Communications in Mathematical Physics 208 (2000), 623–661. https://arxiv.org/abs/math-ph/9903028. Extension framework under its stated hypotheses; not applied as an existence theorem for the missing map.

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. Local and global Cauchy/Green-operator hypotheses are kept distinct.

Watrous

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

En09

N. Cheung, En09-A: Relational Enter. Version 1, supplied manuscript record. https://enter.grok.me/browse/En09-A. Complete destructive-clock identity and conditioning scope only.

En03

N. Cheung, En03-A. Version 1, supplied manuscript record. https://enter.grok.me/browse/En03-A. Finite scheduled support and separately supplied geometric interfaces.

En08

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

STInterfaces

VIII-ST and VII-J-ST. Version 1 adaptation records. Enter Calculus Companion. https://enter.grok.me/browse/VIII-ST; https://enter.grok.me/browse/VII-J-ST. Fixed-host and operational interface comparisons only.

OperationalRecords

N. Cheung, VII-E, VII-F, VIII-A, VIII-B, VIII-C, En05-A, and En10-A. Version-qualified supplied records in the Enter Calculus Companion. Observation boundaries, matching, scheduled locality, and source-weight acquisition are separate contracts. https://enter.grok.me/browse.

BoundaryRecords

N. Cheung, VII-H and VII-I, version 1; Em01-B and Em01-C, version 3; XIV-H, XIV-I, and XIV-J, version 1; technical XV-B, version 2; XVI-N, revision r12; XVI-O, revision o70-sync. Supplied manuscript records, Enter Calculus Companion. Documentary boundaries, not analytical inputs replacing the missing causal extension. https://enter.grok.me/browse.