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  37 /  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 (no range check)    rejected  23 /  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  58 /  58
lp (info): sign s flipped                                      rejected  45 /  60
nc: r-interval widened downwards by 1/10                       rejected  60 /  60
nc (info): box moved to u <= 2 < u3 (q > q3)                   rejected  17 /  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 (k=3) fails at q3 + 1/1000 (OR_2): True
