示例代码中的 `_budget_exceeded` 函数同时检查三个条件：预估 token 数乘以单价得到的成本是否在阈值内、实际延迟是否满足层级 SLA、token 数是否超出模型上下文窗口。三个条件全部满足才不升级。