A budget that is itself a state (§4.4.6.1) — "ship no more than is on hand". The descriptor records envelope as the declared total and flags the constraint state-dependent, because a serialized descriptor cannot carry a lambda.