⚛️ Claim-status amendment · effective 2026-08-31

<aside> ⚛️

Controlling policy: Physical Claim Promotion Protocol — Math-Substantiated Claims. Physical interpretation is no longer, by itself, a reason to hold a mathematically closed result outside theorem status. When the physical model and bridge are explicit and the claimed physical proposition follows deductively, tag it [T] or [C] and annotate Physical scope: proved within the declared model. Reserve [F], E3/E4, and H0 for assertions of measured natural realization, empirical fit, experiment, or hardware performance.

</aside>

Executable Repository / Monograph Boundary

Canonical Drive source: Factual Monograph of the Kouns–Killion / K47-125 Formalism · source revision 4 · modified 2026-07-22 00:48 UTC.

Routing disposition: governance clarification only. No new mathematical citizen is created; the existing E₄₇ identities retain their current E0/E1 states.

Repository rule: A result belongs in the public repository when a stranger can clone the project, run a command, and independently verify it. A mathematically closed physical-model theorem belongs in the validated layer when its physical model and typed bridge are explicit and reproducible. Only unresolved interpretation, missing bridges, or unproved universality claims belong in an experimental layer.

Canonical public repository

• Construction of $V_2^{\otimes 3}$, $\dim V=125$
• Total Casimir operator $C$
• Kernel operator $K=(C-6I)(C-30I)$
• Decomposition data and verification that $\ker K=5V_2\oplus2V_5$
• $\dim E_{47}=47$ and $\Omega_c=47/125$ as a dimension ratio
• Spectrum, multiplicities, spectral gap, projector construction, Hermiticity, idempotence, commutators, and residual tolerances
• Discrete contraction $\Gamma=I-\varepsilon K^\dagger K$
• Continuous semigroup $e^{-tK^2}$
• Convergence to $P_{47}$, rate bounds, and numerical experiments
• pytest, machine-readable certificates, provenance records, dependency locks, examples, and validation scope

Explicit computational extensions

A lagrangian.py implementation enters the repository only after the model fixes its spacetime lattice, boundary conditions, metric signature, discretization, recursion current, units, solver, initial conditions, measurable outputs, and tests. Computational conjectures belong under experiments/, conjectures/, or notebooks/, not inside the canonical validation layer.

Monograph