FLX-5002: encoding-error bound is not smaller than the declared tolerance

Family: numerics (the 5000 band)

The tolerance a property declares is no larger than the error the fixed-point encoding can introduce, so a comparison against it would report agreement it cannot support. Widen the tolerance, raise fractionalBits, or narrow the declared value range.

Look it up offline

$ fluxsim explain FLX-5002

Every code is listed in the error index.