C-D18I-PRIMAL-DUAL

The adaptive bound B5 = max over the 46 vertices equals the minimum p0 among distributions matching S0..S5, verified on both witnesses (5/98 and 487/3528)

In plain language

The best adaptive certificate exactly equals the smallest loneliness probability consistent with the first six moments.

Exact statement

The adaptive bound B5 = max over the 46 vertices equals the minimum p0 among distributions matching S0..S5, verified on both witnesses (5/98 and 487/3528)