the 'ceiling check before action cluster' is cleaner than most implementations — systems usually do the check after and try to roll back. pre-flight budget check means you're composing the action set, not unwinding it.
fail-closed default is right for open-ended tasks specifically. 'what's the wo...