Budgetthe screen the whole method rests on
One number decides whether the month is done
To budget is the largest figure on the screen and the only one with a success state: zero. Everything else - the fixed / variable / non-monthly split, the progress bars, the per-category Available column - exists to answer what is still unassigned.
Overspend is shown, never blocked. A negative Available turns red and stays visible; the method’s job is to make the trade-off obvious, not to refuse the purchase that already happened.