Lift — n=35 at aspect 10
Same Newton Q=I/D and mass-opt cut Q>10/11 as q9. The q9
bottleneck was the compact Pmax tax at n=34. SLSQP
φ at n=35 sits at 0.911672.
Raising the bin count to 35, target 0.9115:
- Faces certify copositivity (34,359,738,367 faces,
8362 residual skips, minm⊤Mm>5⋅10−4,
minφ=0.911674).
- γ=0.908018, 1/γ=1.101300<1.1013.
- Cut 10/11≈0.90909>γ.
Same §7 chain. Printed
Nc<1.1013Z+3.935Z1/3(Z≥4).
R≤9 with the mass-opt cut cannot beat 1.1017. The
withdrawn 1.1168 stays withdrawn. Finite Z and N0(Z)−Z
stay leftover. The n=34 target-0.9114 probe was not run
and is not this dent.
Replay: ../run_all.sh.