D-D18H-ADAPTIVE-DEG5

REFUTED as a per-prime closure: the adaptive degree-5 dual stayed positive on the ~20000-vector sample, but the exact non-tight p=197 witness has adaptive B5 = 0, so it certifies nothing there

In plain language

The best fifth-order certificate looked to work on every sampled case, but an exact witness drives it to zero, so the per-prime route does not close.

Exact statement

REFUTED as a per-prime closure: the adaptive degree-5 dual stayed positive on the ~20000-vector sample, but the exact non-tight p=197 witness has adaptive B5 = 0, so it certifies nothing there