UC-017

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)