ms: m_c lowered by 1/10 (pieces no longer reach m_c)           rejected  40 /  40
ms: m_c raised by 1/10 (capped certificate must cover more)    rejected  38 /  40
ms: top piece removed / halved                                 rejected  40 /  40
ms: p* lowered by 1/100 (below phi(m_c))                       rejected  40 /  40
ms: constant term of c2 lowered by 1/1000                      rejected  40 /  40
ms: constant term of c1 multiplied by 99/100                   rejected  40 /  40
ms: r-interval widened downwards by 1/20                       rejected  40 /  40
ms: t-interval widened downwards by 1/20                       rejected  40 /  40
ms: phi_ok(-m_c, 1 + m_c^3) (guards 0 < m_c, p* < 0)           rejected  40 /  40
ms (info): u shifted by +1/20, part D only                     rejected  40 /  40
ms (info): u shifted by +1/20, part F only (expected 0)        rejected   0 /  40
lp: c0 lowered by 1e-3 |c0|                                    rejected  60 /  60
lp: c6 lowered by 1e-1 |c6|                                    rejected  60 /  60
lp: r-interval widened downwards by 1/10                       rejected  60 /  60
lp (info): sign s flipped                                      rejected  53 /  60
nc: r-interval widened downwards by 1/10                       rejected  60 /  60
nc (info): box moved to u <= 3/2 < u0 (q > q0)                 rejected  31 /  60
one: c0 lowered by 1e-3 |c0|                                   rejected  40 /  40
one (info): a-interval widened by 1/10 each side               rejected  40 /  40
three-bit claim fails at q3 - 1/1000 (OR_3): True; at q0 + 1/1000 (dictator): True
