C-D18J-UNCOVERED-CONE

The region not certified by any adaptive dual vertex is exactly the p0=0 truncated moment cone (distributions on {1..13})

In plain language

The uncovered set is exactly the profiles admitting a zero-loneliness companion distribution.

Exact statement

The region not certified by any adaptive dual vertex is exactly the p0=0 truncated moment cone (distributions on {1..13})