[P] Pre-execution budget enforcement for autonomous agents — the concurrency problem with in-process counters