Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study
Token Budgets：63起LLM Agent预算超支事件实证目录与Rust仿射类型缓解
🧭 Agent 预算控制与类型安全
构建63起LLM Agent预算超支事件分类目录，并利用Rust仿射类型实现编译时防超支的token-budgets库
📌 工作参考价值（4 点）
- 编译时防止预算误操作：借鉴Rust仿射类型，将预算设计为不可克隆、不可别名、用后即焚（affine ownership），在编译期杜绝克隆、双重花费、use-after-delegation等错误。在Python/TypeScript等无所有权机制的语言中，可通过类型系统模拟（如unique指针、移动语义）或运行时静态分析，减少因operator误用导致的预算泄漏。
- 多Agent委托场景的预算安全：多个Agent委托任务时，预算传递若用简单计数器，并发下易重复扣除。直接迁移Rust的借用检查思想，对budget对象采用编译时唯一引用传递，避免运行时race condition。若不能换语言，可在框架层面实现类似“移动语义”的wrapper，确保同一时刻只有一个owner持有budget。
- 事件分类指导防御手段设计：论文给出八类预算超支故障模式（如retry-loop无限重试、无上限API调用、并发委托导致重复扣除等），可直接用于电商或推荐系统中Agent链路的审计清单，针对不同模式提前设置编译器检查或runtime guard。
- 轻量级实现可嵌入现有Agent框架：1,180行Rust代码（无unsafe）可作为库引入，或者将其理念转化为Lua/Python等胶水语言的类型约束层，为预算敏感场景提供零成本保证。