References

CheungVIIJ

N. Cheung, Landmark VII-J: Scheduled dependencies and certified physical causality in localized quantum simulation. Exact support, directional reachability, approximation, and continuation through a fixed-cone slicing event. -J.tex, version 1, Enter Calculus Companion, unpublished manuscript. Relevant locators include :nosignal, :schedule, :physical, :polytope, :signal-stability, :tail, :conegates, :conespeed, and :eventbenchmark. https://enter.grok.me/browse/VII-J.

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, unpublished manuscript. 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. Bibliographic information as supplied; no publication-status update is inferred. DOI: 10.3389/fphy.2026.1954943.

CheungI

N. Cheung, Manuscript I. .tex, version 2, Enter Calculus Companion, supplied unpublished manuscript. Finite measurement characterization within its declared structural class. https://enter.grok.me/browse/I.

CheungPhilosophy

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

CheungVIIF

N. Cheung, Manuscript VII-F: A particle-supported slicing event on a fixed spinless cone. -F.tex, version 1, Enter Calculus Companion, unpublished manuscript. The geometric certificate and finite event-code interface have their own declared domains. https://enter.grok.me/browse/VII-F.

Watrous

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

DaviesLewis

E. B. Davies and J. T. Lewis, “An operational approach to quantum probability,” Communications in Mathematical Physics 17 (1970), 239–260. DOI: 10.1007/BF01647093.

Fritz

T. Fritz, “Velocity polytopes of periodic graphs and a no-go theorem for digital physics,” Discrete Mathematics 313 (2013), 1289–1301. DOI: 10.1016/j.disc.2013.02.010. https://arxiv.org/abs/1109.1963. The revised preprint records earlier cycle-figure work; no priority claim for the general polytope mechanism is made here.

BHV

S. Bravyi, M. B. Hastings, and F. Verstraete, “Lieb–Robinson bounds and the generation of correlations and topological quantum order,” Physical Review Letters 97 (2006), 050401. DOI: 10.1103/PhysRevLett.97.050401. https://arxiv.org/abs/quant-ph/0603121.

NachtergaeleSims

B. Nachtergaele and R. Sims, “Lieb–Robinson bounds in quantum many-body physics,” in Entropy and the Quantum, Contemporary Mathematics 529, American Mathematical Society, 2010, pp. 141–176. https://arxiv.org/abs/1004.2086.

CheungLocality

N. Cheung, En03-A, 03-A.tex, version 1; and En05-A, 05-A.tex, version 1. Enter Calculus Companion, supplied unpublished source records. Complete channel locality, schedule envelopes, and their separate physical interpretations. https://enter.grok.me/browse/En03-A; https://enter.grok.me/browse/En05-A.

CheungEn09

N. Cheung, En09-A: Realization of Relational Time by Destructive Enter on a Clock Register. 09-A.tex, version 1, Enter Calculus Companion, supplied unpublished manuscript. Complete conditioning and separately stated dynamical covariance hypotheses. https://enter.grok.me/browse/En09-A.

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.

KnillLaflamme

E. Knill and R. Laflamme, “Theory of quantum error-correcting codes,” Physical Review A 55 (1997), 900–911. DOI: 10.1103/PhysRevA.55.900.

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 unpublished source records. Observation boundaries, complete hybrid channels, residual distinctions, and recovery scope. https://enter.grok.me/browse/VII-E; https://enter.grok.me/browse/VII-G; https://enter.grok.me/browse/VII-E-ST.

CheungSupported

N. Cheung, VI-B, -B-v1.tex, version 1; and VII-A-ST, -A-ST.tex, version 1. Enter Calculus Companion, supplied unpublished source records. Supported Grade S comparisons only. https://enter.grok.me/browse/VI-B; https://enter.grok.me/browse/VII-A-ST.

CheungVIII

N. Cheung, VIII-A, VIII-B, and VIII-C, version 3. Enter Calculus Companion, supplied unpublished source records. Fixed-presentation conical packets and separately scoped matter–geometry interfaces. https://enter.grok.me/browse/VIII-A; https://enter.grok.me/browse/VIII-B; https://enter.grok.me/browse/VIII-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 unpublished source records. Historical H2, internal I2, full I3/J2, and reconstruction or extension interfaces are distinct records. 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, revision o70-sync; and XVI-Q, release Q11. Enter Calculus Companion, supplied unpublished source records. The inherited insertion and stated XVI-O prescription are not updated by separately scoped enlarged-prescription sectors. https://enter.grok.me/browse/XVI-N; https://enter.grok.me/browse/XVI-O; https://enter.grok.me/browse/XVI-Q.

OpenAIRecord

OpenAI, OpenAI catalogue. Separate documentary collection supplied with the question and recorded by the Enter Calculus Companion, 2026. Not a premise; no family proof, formalization scope, or verification status is imported. https://enter.grok.me.