F = S - 6M: exact identity verified
Bernstein[0] = 33512387/160000000 > 0
Bernstein[1] = 122637237/256000000 > 0
Bernstein[2] = 81552893/61440000 > 0
Bernstein[3] = 1123221/409600 > 0
Bernstein[4] = 298307/65536 > 0
lower endpoint padding = 197/17500 > 0
upper endpoint padding = 1/16 > 0
sqrt7 lower-bound square gap = 7/64 > 0
upper bound numerator at 9/4 = 47/4 > 0
negative-sector contradiction gap = 113/64 > 0
Both mixed-sector quartic factorizations: exact identities verified
sqrt21 square gap = 3/4 > 0
left cubic interval bound = 10815/8 > 0
middle cubic interval bound = 1143 > 0
right cubic interval bound = 1329/8 > 0
Mixed-sector D upper bounds remain positive; Mplus(3/2)=17/1024>0
Equality: sumL^2=3; sumD=6; D<=1/2; exactly12 positiveD
Sharp one-qubit factor: trace=1, purity=2, six stabilizer expectations in{0,1}
