References

CheungVIIIA

N. Cheung, Finite affine matching certificates for a spinless conical spacetime. Landmark VIII-A. -A-v3.tex, version 3, Enter Calculus Companion, unpublished manuscript. https://enter.grok.me/browse/VIII-A.

CheungVIIIB

N. Cheung, A sourced spinless conical packet with a persistent three-to-six polyhedral slicing event. Landmark VIII-B. -B-v3.tex, version 3, Enter Calculus Companion, unpublished manuscript. https://enter.grok.me/browse/VIII-B.

CheungVIIIC

N. Cheung, Certified fixed-packet flow, guarded events, and finite reversible composition. Landmark VIII-C. -C-v3.tex, version 3, Enter Calculus Companion, unpublished manuscript. In particular, the computational support theorem :C5 is not a physical causal-past theorem. https://enter.grok.me/browse/VIII-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, 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. Publisher record identifies an accepted article; the final formatted version is stated to be forthcoming. DOI: 10.3389/fphy.2026.1954943. https://www.frontiersin.org/journals/physics/articles/10.3389/fphy.2026.1954943/abstract.

CheungI

N. Cheung, Manuscript I. .tex, version 2, Enter Calculus Companion, supplied unpublished manuscript. Operational 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, Enter Calculus Companion, introductory essay. Not a registered theorem premise. https://enter.grok.me/enter.

CheungVIIF

N. Cheung, A particle-supported slicing event on a fixed spinless cone. Landmark VII-F. -F.tex, version 1, Enter Calculus Companion, unpublished manuscript. https://enter.grok.me/browse/VII-F.

CheungVIIJ

N. Cheung, Scheduled dependencies and certified physical causality in localized quantum simulation. Landmark VII-J. -J.tex, version 1, Enter Calculus Companion, unpublished manuscript. https://enter.grok.me/browse/VII-J.

CheungVIIJST

N. Cheung, VII-J-ST: Scheduled dependencies and certified causality on a prescribed conical spacetime. -J-ST.tex, version 1, Enter Calculus Companion, supplied manuscript record. Regular-part buffering, complete controllers, and separately certified causal embedding. https://enter.grok.me/browse/VII-J-ST.

CheungObservation

N. Cheung, VII-E, -E.tex, version 1; VII-G, -G.tex, version 1; VII-E-ST, -E-ST.tex, version 1; and VII-F-ST, -F-ST.tex, version 1. Enter Calculus Companion, supplied unpublished source records. Complete instruments, residual distinctions, finite hybrid channels, and supported observation interfaces. https://enter.grok.me/browse/VII-E; https://enter.grok.me/browse/VII-G; https://enter.grok.me/browse/VII-E-ST; https://enter.grok.me/browse/VII-F-ST.

CheungSupported

N. Cheung, VI-B, -B-v1.tex, version 1. Enter Calculus Companion, supplied unpublished manuscript. Supported Grade S presentation and finite encoding of already-defined classical evaluations. https://enter.grok.me/browse/VI-B.

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

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. Prescribed complete-channel locality and its distinct metric and physical interfaces. https://enter.grok.me/browse/En03-A; https://enter.grok.me/browse/En05-A.

CheungTransport

N. Cheung, En08-A, 08-A.tex, version 1; and En08-B, 08-B.tex, version 1. Enter Calculus Companion, supplied unpublished source records. Scheduler-versus-cone separation and resource-controlled transport for a prescribed null boundary. https://enter.grok.me/browse/En08-A; https://enter.grok.me/browse/En08-B.

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.

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. https://arxiv.org/abs/quant-ph/9604034.

Bennett

C. H. Bennett, “Logical reversibility of computation,” IBM Journal of Research and Development 17 (1973), 525–532. DOI: 10.1147/rd.176.0525.

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.

DJH

S. Deser, R. Jackiw, and G. 't Hooft, “Three-dimensional Einstein gravity: Dynamics of flat space,” Annals of Physics 152 (1984), 220–235. DOI: 10.1016/0003-4916(84)90085-X. Classical geometric context only; no source normalization or dynamical equation is imported into the finite operational model.

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, constructed internal amplitudes, and the absent full characteristic map at I3/J2 are different 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 the 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 mathematics catalogue. Separate documentary source collection supplied with the question and recorded by the Enter Calculus Companion. No family theorem, formalization scope, or verification status is imported. https://enter.grok.me.