References

CheungEnter

N. Cheung, “The Enter Calculus: A Linear Quantum Lambda Calculus with an Operational Characterization of Measurement,” Frontiers in Physics 14 (2026). DOI: 10.3389/fphy.2026.1954943. Publisher accepted-article record, accepted 28 September 2026; the consulted page describes the final formatted version as forthcoming. https://www.frontiersin.org/journals/physics/articles/10.3389/fphy.2026.1954943/abstract.

CheungI

N. Cheung, Manuscript I, version 2, .tex. Enter Calculus Companion; supplied version-qualified record. Finite measurement characterization within its stated 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, not a theorem premise. https://enter.grok.me/enter.

CheungIB

N. Cheung, I-B: A Finite Enter Spacetime—Calibrated Destructive Time Readout on a Prescribed Conical Product, -B-v1.tex, version 1. Enter Calculus Companion. Complete clock instrument, calibration, reference-preserving transport, and prescribed-geometry boundaries. https://enter.grok.me/browse/I-B.

CheungEn03

N. Cheung, Observation Boundaries for Destructive Quantum Readout and External Geometry, 03-A.tex, version 1. Enter Calculus Companion. Four-part interface and :locality. https://enter.grok.me/browse/En03-A.

CheungEn09

N. Cheung, Realization of Relational Time by Destructive Enter on a Clock Register, 09-A.tex, version 1. Enter Calculus Companion; supplied record. https://enter.grok.me/browse/En09-A.

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.

Watrous

J. Watrous, The Theory of Quantum Information, Cambridge University Press, 2018. DOI: 10.1017/9781316848142. https://cs.uwaterloo.ca/ watrous/TQI/.

SuppliedV3

XVI-O1-ST-v3.tex. User-supplied consolidated predecessor. Finite proofs, synthetic witnesses, and audit of the earlier affine and modular-rank verification claims. No authorship or execution is inferred from its filename.

SuppliedBot

XVI-O1-ST(bot).tex. User-supplied second-readout and gauge-lift predecessor. Source for the attributed loop calculations and printed coefficient tables. Its underlying loop scripts and complete logs are not supplied as inspected artifacts here.

SuppliedV4

XVI-O1-ST-v4.tex. User-supplied audit-hardened predecessor, including its tables, ledger, and embedded regression. The typeset D01 table and embedded regression are distinguished in the present integrity audit.

V4Artifacts

verify_xvi_o1_st_v4.py, v4_verification_output.txt, and DETAILED_SUMMARY_v4.txt. User-supplied v4 program, failed execution transcript, and explanatory summary. Reported environment: Python 3.10.21 and SymPy 1.14.0. The transcript is attributed, not independently replayed; the summary is not an independent execution record.

CheungXAST

N. Cheung, X-A-ST: Supported Classical Covariance of a Fixed-Ramp Relational Scalar, -A-ST.tex, version 1. Enter Calculus Companion; supplied host, completion, non-GH, and signature records. https://enter.grok.me/browse/X-A-ST.

CheungXGST

N. Cheung, X-G-ST: Free Causal BRST Compatibility and a Variational Upgrade Obstruction, -G-ST.tex, version 1. Enter Calculus Companion; supplied source descriptions, including :freeBRST and :obstruction. No successful fresh full-source retrieval is asserted. https://enter.grok.me/browse/X-G-ST.

CheungXHST

N. Cheung, X-H-ST: Relative Classical BV Structure and Complete Instruments for Supplied Residual Reports, -H-ST.tex, version 1. Enter Calculus Companion. Relevant locators: :BV, :nondescent, :instrument, :noacquisition. https://enter.grok.me/browse/X-H-ST.

CheungXEnterST

N. Cheung, X-Enter-ST: Readout Closure of an Obstructed Convolution Coefficient on a Prescribed Conical Host, -Enter-ST.tex, version 1. Enter Calculus Companion; supplied locality, route, and attachment descriptions. https://enter.grok.me/browse/X-Enter-ST.

CheungXVIP

N. Cheung, Manuscript XVI-P, -P.tex, release p23. Enter Calculus Companion; supplied record. DRED/$\overline{\mathrm{MS}}$ prescription, p14r/p22 domains, inventory, pole records, and Grassmann-orientation errata. https://enter.grok.me/browse/XVI-P.

CheungXVIQ

N. Cheung, Manuscript XVI-Q, -Q.tex, release Q11. Enter Calculus Companion; supplied excerpts and reading map. Q03 scope, Q05 rules, Q06–Q11 chronology, and conditional evanescent classification remain version-qualified. https://enter.grok.me/browse/XVI-Q.

CheungXVIR

N. Cheung, as attributed in the supplied predecessor, XVI-R review package, R07–R09. Supplied review-package descriptions, not independently inspected registered manuscripts. Reduced-system classification and resource reports retain their own presentations and evidence status.

CheungII

N. Cheung, Finite Contact-Span Certificates for a Two-Species Spin-Two Tree, Manuscript II, version 2. Enter Calculus Companion; supplied record. Original-minor, affine-family, and coverage discipline. https://enter.grok.me/browse/II.

CheungIIB

N. Cheung, II-B: Finite Contact-Span Certificates on a Declared Conical Enter Spacetime—A Grade S Operational Adaptation, version 1. Enter Calculus Companion; supplied record. Presentation template only; its numerical certificate is not imported. https://enter.grok.me/browse/II-B.

CheungOai282

N. Cheung, Oai282-A: Finite Local-Ward Certificates and Scale–Conformal Separation, version 1. Enter Calculus Companion; supplied excerpts, including :ward and the finite-release description. Not a gravitational response map or verification of an external catalogue family. https://enter.grok.me/browse/Oai282-A.

CheungOai283

Oai283-A: Conditional Operational Certification of Constant-Error Oracle Unitary Synthesis, version 1. Enter Calculus Companion, under its supplied N. Cheung manuscript attribution; the rendered record notes a conflicting authorship declaration, not resolved here. Resource/error and conditional-assembly comparison only. https://enter.grok.me/browse/Oai283-A.

Stockinger

D. Stöckinger, “Regularization by dimensional reduction: consistency, quantum action principle, and supersymmetry,” Journal of High Energy Physics 03 (2005), 076. DOI: 10.1088/1126-6708/2005/03/076. https://arxiv.org/abs/hep-ph/0503129.

Frob2018

M. B. Fröb, “Gauge-invariant quantum gravitational corrections to correlation functions,” Classical and Quantum Gravity 35 (2018), 055006. DOI: 10.1088/1361-6382/aaa74c. https://arxiv.org/abs/1710.00839.

ManteuffelSchabinger

A. von Manteuffel and R. M. Schabinger, “A novel approach to integration by parts reduction,” Physics Letters B 744 (2015), 101–104. DOI: 10.1016/j.physletb.2015.03.029. https://arxiv.org/abs/1406.4513.

Peraro

T. Peraro, “Scattering amplitudes over finite fields and multivariate functional reconstruction,” Journal of High Energy Physics 12 (2016), 030. DOI: 10.1007/JHEP12(2016)030. https://arxiv.org/abs/1608.01902.

Zimmermann

W. Zimmermann, “Convergence of Bogoliubov's method of renormalization in momentum space,” Communications in Mathematical Physics 15 (1969), 208–234. DOI: 10.1007/BF01645676.

SmirnovChetyrkin

V. A. Smirnov and K. G. Chetyrkin, “$R^{\ast }$ operation in the minimal subtraction scheme,” Theoretical and Mathematical Physics 63 (1985), 462–469. DOI: 10.1007/BF01017902.

DuganGrinstein

M. J. Dugan and B. Grinstein, “On the vanishing of evanescent operators,” Physics Letters B 256 (1991), 239–244. DOI: 10.1016/0370-2693(91)90680-O.

CheungXVIN

N. Cheung, Manuscript XVI-N, -N.tex, revision r12. Enter Calculus Companion; supplied excerpts. Conditional massless special-family obstruction, unresolved universal completion, and retained Route B boundary. https://enter.grok.me/browse/XVI-N.

CheungXVIO

N. Cheung, Manuscript XVI-O, -O.tex, revision 70-sync. Enter Calculus Companion; supplied excerpts. Distinct kernel prescription, insertion freeze, and standing O.1 boundary. https://enter.grok.me/browse/XVI-O.

CheungXComparisons

N. Cheung, X-A-conv-ST, X-D-ST, and X-F-ST, supplied version-qualified records. Fixed-convolution obstruction, sharp-limit versus metric-admission distinction, and three equation-level trees counted once. Grouped documentary comparison only. https://enter.grok.me/browse.

CheungXIVH

N. Cheung, Landmark XIV-H: Internal Kernel Relations on the Operator Route, -H.tex, version 1. Supplied excerpts, including :H2. Historical amplitude stop, not a finite-matrix premise. https://enter.grok.me/browse/XIV-H.

CheungXIVI

N. Cheung, Landmark XIV-I, -I.tex, version 1. Supplied excerpts, including :I2, :I3, and :release. Internal amplitude construction does not supply the full joint characteristic map. https://enter.grok.me/browse/XIV-I.

CheungXIVJ

N. Cheung, Landmark XIV-J, -J.tex, version 1. Supplied excerpts, including :descent, :null, :reference, :J2, and :noadmission. Supported reference and reconstruction descent are not complete characteristic composition or quantum admission. https://enter.grok.me/browse/XIV-J.

CheungXVB

N. Cheung, Manuscript XV-B, -B.tex, version 2. Supplied technical-interface descriptions. Relative lifting and normal-jet interfaces do not open the inherited downstream quantum-admission exit. https://enter.grok.me/browse/XV-B.

SymPyMatrices

SymPy Development Team, Matrices: linear algebra, official SymPy documentation. Matrix extraction, rank, nullspaces, and parametric _jordan_solve. https://docs.sympy.org/latest/modules/matrices/matrices.html. Documentation consultation is not execution of the v5 listing.

PythonAssert

Python Software Foundation, The Python Language Reference: Simple statements, section “The assert statement.” https://docs.python.org/3/reference/simple_stmts.html. Documents assertion behavior under optimized execution.