UC-017: Budget Exhaustion

Layer: B — Dispatch Enforcement Threat: Resource Overborrowing

Scenario

An agent makes repeated tool calls that exhaust the configured budget ceiling (P0 cost limit or per-session call limit).

Expected Behavior

• Budget ceiling breach → BUDGET_EXCEEDED
• ACID budget lock prevents over-commit
• All subsequent calls denied until budget reset

Pass Criteria

• Verdict: DENY
• Reason code: BUDGET_EXCEEDED
• Receipt: signed deny receipt for each post-exhaustion call
• Budget state remains consistent (no double-spend)