Joint
A budget over several levers — the constraint that makes a multi-lever action a joint choice rather than several independent ones (§4.4.6).
It is checked over the values that will actually be written, not over what the rule asked for, because a constraint is a statement about what the model will hold and a lever forced to its neutral contributes the neutral (§4.4.6.3).