FLX-5033: a correlation property is incompletely declared

Family: numerics (the 5000 band)

SEAM-FIDELITY-SPEC §2: a correlation property declares two columns and a minVariance. Without the second column there is nothing to correlate; without the variance floor the encoding error on a correlation has no bound (KERNEL-SPEC §12), so no margin can be compiled.

Look it up offline

$ fluxsim explain FLX-5033

Every code is listed in the error index.