C-D18J-VECTOR-SEPARATION

REFUTED: real speed-vector moment profiles do NOT separate from the p0=0 cone, an exact p=197 vector realizes it, so no per-prime realizability cut exists

In plain language

The hoped-for separation of real vectors from the uncovered cone is false, real improper vectors exist at single primes.

Exact statement

REFUTED: real speed-vector moment profiles do NOT separate from the p0=0 cone, an exact p=197 vector realizes it, so no per-prime realizability cut exists