token-budget 1 AI SDLC: Cost per Merged PR - Token Budgets for Coding Agents and the Four Numbers We Track Oct 18, 2026