FLX-5010: the check budget for this committed state is exhausted

Family: numerics (the 5000 band)

SEAM-FIDELITY-SPEC §4: the boundary counts the checks it answers for one committed state and refuses beyond budget.maxChecksPerState. The counter lives inside the boundary because a caller able to reset it could ask an unbounded number of questions of one fixed record set. Commit a new state, or raise the declared budget.

Look it up offline

$ fluxsim explain FLX-5010

Every code is listed in the error index.