概念/概念定义

应用背景

财务 Agent 要找出一个部门中超出差旅额度的员工。普通工具调用会先取员工列表，再逐人查询费用和额度；每次结果都回到模型，调用次数和上下文随人数增长。这个步骤实际需要一段循环、若干并行查询和一次确定性汇总。

概念定义

程序化工具调用让模型写一段短程序，在受限执行环境中调用已经注册并明确准入的工具。程序处理循环、条件、并行、聚合和错误分支，中间数据可以留在执行环境，最终只把必要结果送回模型。

members = await get_members("engineering")
expenses = await gather(get_expenses(m.id) for m in members)
limits = await get_limits(unique(m.level for m in members))
print(find_exceeded(members, expenses, limits))

上例没有临时发明 get_expenses。这些工具已经注册；临时生成的是调用和处理它们的程序。

工程用法

只有显式允许被代码调用的工具进入运行环境。沙箱限制 CPU、内存、执行时长、循环次数、文件读写和网络出口；工具权限仍按当前主体、资源和 Intent 检查。Trace 要同时记录生成代码版本、每次实际工具调用、中间错误、stdout 和最终返回。

与 ReAct 和 CodeAct 的区别

ReAct 每取得一次观察，模型就再次决定下一步。程序化工具调用把一段局部控制流交给代码，因此能减少模型往返和大批中间结果。CodeAct 把可执行代码作为更通用的行动空间，可以使用库、计算和动态生成的辅助函数，不限于调用注册工具。

在 ADPS 中的位置

它连接 A1 工具调度和 A2 规划执行：A2 确定当前步骤，PTC 在步骤内部组合多次工具调用，A1 仍负责工具注册、候选范围和每次准入。程序只服务当前运行时，它还是执行机制；经过测试、命名、版本化并允许跨任务调用后，才成为 M5 程序性记忆。