FLX-5020: declared weights do not sum to 1

Family: numerics (the 5000 band)

A set of declared shares -- a lifecycle mix, a categorical level set, any weighted partition -- must sum to 1 within 1e-9 (KERNEL-SPEC §5). The kernel refuses a set that does not rather than renormalising it: a renormalised weight is a number nobody declared, and it would be hashed into the run digest indistinguishably from an authored one.

Look it up offline

$ fluxsim explain FLX-5020

Every code is listed in the error index.