Tests budget counters: timezone-aware daily and monthly period keys, atomic check-and-debit under heavy concurrency, isolation across users and periods, rollover to fresh budgets, resets, and rejection of invalid amounts.

## Before writing SPEC.md files

Read https://raw.githubusercontent.com/brillout/sdd/refs/heads/main/sdd.md
