Only the specified R096 branch under its jointly required premises. No derived physical Higgs measure, general H(x) field theory or P1 source completion.
Read the exact result, assumptions and evidence
Result
For actual X_H=(2cosh(ell h_H))^-1, g(u)=Tr_Q X_H=6sum_j[2cosh(ell sqrt(p²+y_j²u))]^-1. Under the specified real face frame and positive nonconstant radial law g strictly decreases, f(u)=u/(1+u) strictly increases, and Cov_mu(f,B_Q)<0. The face identifications cannot be independently rotated without the actual transport.
Required assumptions
Same constant Higgs and two-face carrier
R096 compares the same original constant Higgs parameter on the same actual two-face CAR carrier and fixed source caller. Face labels are not internal chiral L/R labels. This is a conditional source comparison, not derivation of the primitive P1 identification.
Real face frame and positive nonconstant radial law
The negative mixed covariance witness uses the original 36-dimensional quark particle module with one common real face frame, ell>0, p>0 and at least one nonzero original Yukawa singular value. Mu is positive normalized and u=H†H is not almost surely constant. Independent face gauge transport is not supplied.
Only the specified R096 branch under its jointly required premises. No derived physical Higgs measure, general H(x) field theory or P1 source completion.
Read the exact result, assumptions and evidence
Result
The conditional identities <O>_H=24m(H)^2 and <N>_H=3m(H) give Z[O]=8Z[mN] with the same integrable unnormalized weights. Positivity is unnecessary for this branch. Actual origin of the mixed insertion in the original solver remains open.
Required assumptions
Same constant Higgs and two-face carrier
R096 compares the same original constant Higgs parameter on the same actual two-face CAR carrier and fixed source caller. Face labels are not internal chiral L/R labels. This is a conditional source comparison, not derivation of the primitive P1 identification.
Actual R054 color-symmetric quasifree fibers
The four-word connection uses the actual constant color-symmetric conditionally quasifree R054 fermion fibers on the same carrier: <O>_H=24m(H)^2 and <N>_H=3m(H). The averaged source is not assumed quasifree.
Identical integrable unnormalized weights and insertions
The linear identity Z[O]=8Z[mN] uses identical integrable unnormalized weights and conditional fiber values on both sides. Positivity or finite complex normalization is not assumed for this linear statement. Physical use still requires deriving the mixed insertion from the original alphabet.
Only the specified R096 branch under its jointly required premises. No derived physical Higgs measure, general H(x) field theory or P1 source completion.
Read the exact result, assumptions and evidence
Result
For Pbar=integral P_H dmu and m=Tr(L P_H L), Tr L(Pbar-Pbar²)L>=Var_mu(m)/6. Under the additional named R054 fiber premises Delta_O=24Var_mu(m), giving the same lower bound Delta_O/144. Var(m)>0 excludes projection of Pbar; a pure primitive state before H integration remains possible.
Required assumptions
Same constant Higgs and two-face carrier
R096 compares the same original constant Higgs parameter on the same actual two-face CAR carrier and fixed source caller. Face labels are not internal chiral L/R labels. This is a conditional source comparison, not derivation of the primitive P1 identification.
Positive normalized mixture of covariance contractions
For the quantitative two-face defect mu is positive normalized, each conditional covariance P_H is self-adjoint with 0<=P_H<=1 on the same CAR space, and L is the fixed rank-six projector. Pbar uses precisely these weights.
Actual R054 color-symmetric quasifree fibers
The four-word connection uses the actual constant color-symmetric conditionally quasifree R054 fermion fibers on the same carrier: <O>_H=24m(H)^2 and <N>_H=3m(H). The averaged source is not assumed quasifree.
Constant Higgs and same actual two-face carrier, color symmetry and R054 conditional quasifreeness for the four-word part. No derived physical Higgs measure, general H(x), P1 seam, or independent gauge transport. The mixed source insertion is not assumed present in search alphabets without an actual source map.
Read the exact result, assumptions and evidence
Result
For one positive Higgs mixture and full two-face covariance, Tr L(Pbar-Pbar²)L >= Var(m)/6 = DeltaO/144 under R054 conditional quasifree premises, strengthening the earlier qualitative nonprojection result. The unnormalized linear identity Z[O]=8 Z[mN] requires matching conditional fibers and weights, not positivity. On the original 36-dimensional quark carrier the two-face trace g(u)=6 sum_j[2 cosh(ell sqrt(p²+y_j²u))]^-1 is strictly decreasing, implying Cov(u/(1+u),B_Q)<0 for a positive nonpoint radial law. Original 96 constructor and exact abstract rank-six control checked.
Required assumptions
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.
Same constant Higgs and two-face carrier
R096 compares the same original constant Higgs parameter on the same actual two-face CAR carrier and fixed source caller. Face labels are not internal chiral L/R labels. This is a conditional source comparison, not derivation of the primitive P1 identification.