References

CheungVIIIA

N. Cheung, Landmark VIII-A, version 3, supplied unpublished manuscript, -A-v3.tex, n.d. Enter Calculus Companion. Comparison locators: finite affine matching, :residual, and “Admissibility is not sourced dynamics.” Documentary comparison; the native geometric certificate is not independently reconstructed here.

CheungVIIIB

N. Cheung, Landmark VIII-B, version 3, supplied unpublished manuscript, -B-v3.tex, n.d. Enter Calculus Companion. Comparison locators: :matching-unique, :rejections, :affine, :obstruction, and “Separate successors.”

CheungVIIIC

N. Cheung, Landmark VIII-C, version 3, supplied unpublished manuscript, -C-v3.tex, n.d. Enter Calculus Companion. Comparison locators: :complete-output, :token-obstruction, :C5, and “Conclusion and the four missing interfaces.”

CheungVIIJ

N. Cheung, Landmark VII-J, version 1, supplied unpublished manuscript, -J.tex, n.d. Enter Calculus Companion. Timed dependency graphs, intervention-based influence, physical containment, reference-stable simulation allowances, and the fixed-cone buffered transport comparison.

CheungVIIF

N. Cheung, Landmark VII-F, version 1, supplied unpublished manuscript, -F.tex, n.d. Enter Calculus Companion. Comparison locator: :event. The native three-to-six geometric event is not reconstructed from the finite interface in this manuscript.

CheungEn05A

N. Cheung, En05-A, version 1, supplied unpublished manuscript, 05-A.tex, n.d. Enter Calculus Companion. Finite snapshot–channel–adjoint comparison, schedule-past envelopes, and conditional continuum and frame-covariance interfaces.

CheungI

N. Cheung, Landmark I, version 2, supplied unpublished manuscript, .tex, n.d. Enter Calculus Companion. Finite measurement characterization, records, destructive residual outputs, and bounded-resource scope.

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. Publisher accepted-article record, accepted 28 September 2026. Finite operational context only; no continuum or gravitational construction is imported.

CheungEn05B

N. Cheung, En05-B, version 1, supplied unpublished manuscript, 05-B.tex, n.d. Enter Calculus Companion. Isotropic matched operational-limit construction on its own growing directional and finite-experiment family. Not the continuum realization of the incidence package.

CheungEn05C

N. Cheung, En05-C, version 1, supplied unpublished manuscript, 05-C.tex, n.d. Enter Calculus Companion. Comparison locator: :release. Tensor-free snapshot–channel–adjoint comparison, observable and refinement limits, and conditional spacetime realization.

CheungEn06A

N. Cheung, En06-A, version 1, supplied unpublished manuscript, 06-A.tex, n.d. Enter Calculus Companion. Corrected layer account and separately stated operational, observable-algebra, and frame-covariance interfaces.

CheungEn06B

N. Cheung, En06-B, version 1, supplied unpublished manuscript, 06-B.tex, n.d. Enter Calculus Companion. Comparison locator: :release. Finite-capacity transport and refinement on prescribed routes and speed; no derived speed or autonomous substrate is imported.

CheungXVIIIA

N. Cheung, Landmark XVIII-A: Prepared Relational Observables: Non-Determination, Normalization Compatibility, and Conditional Ultraviolet Matching, version 2, supplied unpublished manuscript, -A-v2.tex, n.d. Enter Calculus Companion. Comparison locators: :witness, :smoothwitness, and :readout. Witness, full kernel, record, and quantum-return interfaces remain distinct.

XIXA

XIX-A: Clock Separation Before Coordinate Identification: Four Labelled Objects and Five Non-Identifications, anonymous draft supplied in the present manuscript exchange, -A.tex, n.d. Comparison locators: :factor, :retiming, and :foliation-clock. No authorship or independent verification is inferred.

XIXB

XIX-B: A Witness Mismatch Between Two Coordinate Cauchy Prescriptions: Unswitched Harmonic Coordinates and Prepared Coordinate Completion, anonymous draft supplied in the present manuscript exchange, -B.tex, n.d. Its direct first-order coordinate mismatch is a separate result, not a premise of the present finite-register theorem.

CheungEm02E

N. Cheung, Em02-E, version 1, supplied unpublished manuscript, 02-E-v1.tex, n.d. Enter Calculus Companion. Original scalar-clock rods, classical relational lapse, :lapse, and the incomplete quantum audit. No quantum identity or regulator-removal theorem is imported.

CheungVI

N. Cheung, Relational Einstein–scalar observables at second order: classical descent and a compact-switch obstruction, Landmark VI, version 1, supplied unpublished manuscript, .tex, n.d. Enter Calculus Companion. Classical descent and the separately RG-open quantum finite-renormalization certificate.

CheungXIVH

N. Cheung, Landmark XIV-H: Internal kernel relations on the operator route, version 1, supplied unpublished manuscript, -H.tex, n.d. Comparison locators: :H2 and :release. Historical internal-amplitude stop, not a finite-register premise.

CheungXIVI

N. Cheung, Landmark XIV-I, version 1, supplied unpublished manuscript, -I.tex, n.d. Enter Calculus Companion. Comparison locators: :I2, :I3, and :release. Internal amplitudes and the missing complete joint map remain different gates.

CheungXIVJ

N. Cheung, Landmark XIV-J, version 1, supplied unpublished manuscript, -J.tex, n.d. Enter Calculus Companion. Comparison locators: :reference, :J2, :noadmission, and :release. A supported-sector reference is not the full characteristic map.

CheungXVB

N. Cheung, XV-B, version 2, supplied unpublished manuscript, -B.tex, n.d. Enter Calculus Companion. Comparison locators: :lifting, :jetnull, and :release. Technical descent and extension interfaces are distinct from the inherited downstream quantum-admission exit.

CheungXVIN

N. Cheung, XVI-N, version r12, supplied unpublished manuscript, -N.tex, n.d. Enter Calculus Companion. Conditional massless special-family obstruction and the undischarged spatially compact Route B. Neither is a finite-register continuum theorem.

CheungOai282B

N. Cheung, Oai282-B, version 1, supplied unpublished manuscript, 282-B.tex, n.d. Enter Calculus Companion. Local Ward and nontransfer comparisons only; not a gravitational dictionary or clock construction.

CheungOai069A

N. Cheung, Oai069-A, version 1, supplied unpublished manuscript, 069-A.tex, n.d. Enter Calculus Companion. Comparison locator: :category. Finite-monodromy local systems and separately scoped finite operational comparisons; not incidence dynamics.

Catalogue271

OpenAI catalogue: Family 271 and reported Lean scope, attributed to OpenAI in the supplied companion record, record dated 7 October 2026. Enter Calculus Companion. The supplied Lean scope names 271-04 only. Catalogue attribution, proof validity, and Lean execution are not independently authenticated here.

Watrous

J. Watrous, The Theory of Quantum Information, Cambridge University Press, Cambridge, 2018. DOI: 10.1017/9781316848142. Finite channels, reference systems, trace distance, and diamond-norm conventions.

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. arXiv:1109.1963. Periodic-graph context only; no graph obstruction is transferred to changing refinement families or conical dynamics.

FritzCorrigendum

T. Fritz, “Corrigendum to `Velocity polytopes of periodic graphs and a no-go theorem for digital physics',” Discrete Mathematics 313 (2013), 2380. DOI: 10.1016/j.disc.2013.07.011. Records the earlier cycle-figure and crystal-lattice literature.