References

FierzPauli

M. Fierz and W. Pauli. On relativistic wave equations for particles of arbitrary spin in an electromagnetic field. Proceedings of the Royal Society of London A, 173:211–232, 1939. doi:\ 10.1098/rspa.1939.0140.

Deser

S. Deser. Self-interaction and gauge invariance. General Relativity and Gravitation, 1:9–18, 1970. doi:\ 10.1007/BF00759198. Author's repost: arXiv:-qc/0411023.

BarnichHenneaux

G. Barnich and M. Henneaux. Consistent couplings between fields with a gauge freedom and deformations of the master equation. Physics Letters B, 311:123–129, 1993. doi:\ 10.1016/0370-2693(93)90544-R. arXiv:-th/9304057.

BoulangerEtAl

N. Boulanger, T. Damour, L. Gualtieri, and M. Henneaux. Inconsistency of interacting, multi-graviton theories. Nuclear Physics B, 597:127–171, 2001. doi:\ 10.1016/S0550-3213(00)00718-5. arXiv:-th/0007220.

Brauer

R. Brauer. On algebras which are connected with the semisimple continuous groups. Annals of Mathematics, 38(4):857–872, 1937. doi:\ 10.2307/1968843.

CheungEnter

N. Cheung. The Enter Calculus: A Linear Quantum Lambda Calculus with an Operational Characterization of Measurement. Frontiers in Physics, volume 14, 2026. doi:\ 10.3389/fphy.2026.1954943. Accepted-article record; accepted 28 September 2026. The publisher listed the formatted version as forthcoming at the bibliographic check on 10 October 2026. https://www.frontiersin.org/journals/physics/articles/10.3389/fphy.2026.1954943/abstract.

CompanionRegistry

N. Cheung. Enter Calculus Companion. Registered-manuscript index and source-record interface. https://enter.grok.me/. Registry consulted 10 October 2026. Individual companion references below are unpublished source records, not independently machine-verified publications.

CheungI

N. Cheung. I, .tex, version 1. Undated registered manuscript, Enter Calculus Companion. Supplied locator: :main. Finite measurement characterization in its declared class.

CheungIII

N. Cheung. III, .tex, version 1. Undated registered manuscript, Enter Calculus Companion. Supplied comparison locators: :closed-range and :jet-descent. Its gauge-image and coupled-descent problems are not the contact-matrix problem of this paper.

CheungIV

N. Cheung. IV, .tex, version 1. Undated registered manuscript, Enter Calculus Companion. Supplied locator: :Ramsey; three separately declared represented-measurement models. No coherent-matching interface for the present tree is imported.

CheungV

N. Cheung. V, .tex, version 1. Undated registered manuscript, Enter Calculus Companion. Supplied comparison locators: :defect, :residualwitness, and :gaugeidentity. The raw current and scalar-response cubic have their own definitions and are not the Einstein cubic used here.

CheungVI

N. Cheung. VI, registered manuscript. Undated source record, Enter Calculus Companion. Supplied comparison locators: :catalogue, :finite-certificate, and :certificate-meaning. Cited for certificate scope, not as a premise or an identification of quantum correction classes.

CheungVII

N. Cheung. VII-H and VII-I, registered manuscripts. Undated source records, Enter Calculus Companion. Supplied VII-H locator: :bank. The connected-vacuum ambiguity and finite-width free algebra are separate from the present contact catalogue.

CheungVIII

N. Cheung. VIII-A and VIII-B, registered manuscripts. Undated source records, Enter Calculus Companion. Supplied comparison locators: :prop:fixed-certificate and :finite. Their finite matching and packet domains are not $\mathcal{X}$.

CheungX

N. Cheung. X-E, X-F, and X-G, registered manuscripts. Undated source records, Enter Calculus Companion. Supplied comparison locators: :ward, :main, :obstruction, and :Dsigned. Selected tree responses, additional prescriptions, and reciprocity tests are not identified with $N_S$.

CheungXI

N. Cheung. XI-G, registered manuscript. Undated source record, Enter Calculus Companion. Supplied comparison locator: :criterion. Cited for the class-invariant formulation, not for transfer of its obstruction.

CheungXII

N. Cheung. XII-B and XII-F, registered manuscripts. Undated source records, Enter Calculus Companion. Supplied comparison locators: :weighted, :boundary, :obstruction, and :main-shell. Weighted-source and unchanged-observable statements have their own hypothesis packages.

CheungXIII

N. Cheung. XIII-E, registered manuscript. Undated source record, Enter Calculus Companion. Cited for the supplied overlap-equation comparison; no contact-space identification or unfinished limit is imported.

CheungXIVH

N. Cheung. XIV-H, -H.tex, version 1. Undated registered manuscript, Enter Calculus Companion. Supplied locators: :K5exact and :H2. Its versioned H2 verdict is a documentary statement about its internal-symbol task.

CheungXIVI

N. Cheung. XIV-I, -I.tex, version 1. Undated registered manuscript, Enter Calculus Companion. Supplied locators: :I2, :I3, and :release. The named internal amplitude and missing joint characteristic map are distinct objects.

CheungXIVJ

N. Cheung. XIV-J, -J.tex, version 1. Undated registered manuscript, Enter Calculus Companion. Supplied locators: :descent, :reference, :conditionalextension, :J2, and :noadmission. A partial supported-sector reference and conditional extension interface do not supply the full joint map.

CheungEm01

N. Cheung. Em01-A and Em01-G, registered source records. Undated manuscripts, Enter Calculus Companion. Supplied comparison locator in Em01-A: :no-witness-certificate. An isolated contraction certificate is not a complete classification or a contact column of this paper.