Tensor sector and pure population are additional premises. Equal Lueders statistics do not prove entanglement.
Read the exact result, assumptions and evidence
Result
In given barH5⊗H5 the invariant vector rayOmega is unique. Jointlaw diagonal5/36, otherwise1/180; I25/25 has same marginals, jointlaw1/36. R=ΣbarE_a⊗E_a has spectrum(5/6)^1,(2/3)^5,0^19; maximizing selectsOmega only as an additional rule.
Required assumptions
Relational quartic tensor sector without selected physical state
Consider conjugate(H5) tensor H5 with the actual diagonal G31 action as a finite kinematic category. Keep its unique invariant vector ray, its multiple invariant densities and correlations conditional on a chosen singlet separate. Mathematical construction does not derive the microscopic presence or population of this sector.
Exact conditional internal shape selector and scoped control. No P1-derived field/potential, complete TFPT dynamical uniqueness, physical Higgs/gauge identification or T1–T8 closure.
Read the exact result, assumptions and evidence
Result
For every traceless Hermitian rank-five endomorphism with trX²=1, globally7/30≤trX⁴≤13/20. Exhaustive stationary-spectrum classification gives equality below only at2+3 and above at1+4. The even conjugation-invariant bounded-below controls -t+t²±trX⁴ therefore favor different splits, without an inserted preferred direction. The primitive spectral functional differentiates a supplied deformation; a positive profile does not imply a positive fourth-order shape term. Original X, trace constraint, deformation and sign remain to be derived.
The diagnostic grants X=X* on an unmarked complex rank-five carrier, trX=0 and trX²=1 for shape classification. It studies trX⁴ or -t+t²±trX⁴, t=trX². Field, trace constraint, contraction, sign, even symmetry and dynamics are not derived here from P1.
Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.