SdpBound

The certified worst case against the analytic estimator and the honest channel

5/5 passed in 1555ms

Test	What it does	Result
test_abort_raw	Past the monitoring line's reach the bound returns above 1/2 unclamped, so the depth of the failure is readable.	✅ pass
test_above_honest	The certified worst case sits at or above the honest channel's phase error, one point of the set it maximises over.	✅ pass
test_below_analytic	THE LOAD-BEARING ONE. The certified worst case sits at or below Gao's Cauchy-Schwarz bound at every operating point.	✅ pass
test_bound_pinned	One certified value is pinned at 0.19597124, a tighter tolerance returns a smaller certified gap, and every bound stays within its own gap of the tightest.	✅ pass
test_empty_lever	With COW's own three sequences at honest gains, raising the vacuum-sequence row alone drives the certified phase error from 0.274 through the 1/2 abort: the empty sequence makes this COW' rather than COW.	✅ pass