AI Harness工程

为 Agent 工具设计幂等语义

2026-03-08 #工具调用#幂等#分布式系统

模型可能重试或并发调用,副作用接口必须识别同一意图。

问题背景

生成式模型擅长处理模糊语言和提出候选方案,却不天然保证状态一致、权限正确或动作可恢复。讨论“为 Agent 工具设计幂等语义”时,重点不应只是跑通演示,而是系统失败后是否知道发生了什么、能否安全继续,以及结果能否重复验证。

设计方案

Harness 生成稳定幂等键,工具记录未开始、执行中、成功与未知状态。

在“幂等执行记录”进入实现前,先标注输入来源、调用身份和数据等级;输出通过结构与领域校验后才允许进入下一步。涉及外部副作用时,执行记录必须包含稳定业务键和脱敏证据。

实施产物:幂等执行记录

由业务键生成 idempotency_key;首次执行原子写入占位;重复请求返回原结果;不确定状态先查询下游。先在测试环境保存一条完整运行证据,再接入真实写操作;每次变更都必须能定位到配置、代码和数据版本。

1
2
3
4
5
6
7
practice:
id: harness-idempotent-tools
artifact: "幂等执行记录"
owner: platform-team
timeout_seconds: 30
failure_mode: fail_closed
audit: required

示例只表达边界,不是可直接复制的完整框架配置。落地时应使用当前依赖版本的官方 API,并把超时、身份和审计接到现有基础设施。

实施步骤

  1. 选一个可回放的小任务,写清输入、成功条件和禁止发生的副作用。
  2. 实现“幂等执行记录”,把模型建议与真正执行隔离。
  3. 人工走通成功、拒绝和恢复三条路径,保存 run_id 与关键事件。
  4. 加入自动化回归,再用小比例非关键流量观察指标。
  5. 达到门槛后逐步放量;任一安全约束失败立即停止新任务并回退版本。

失败演练与验收

首要反例是:用随机请求 ID,重试时产生新副作用。不要只验证顺利完成;还要注入超时、重复请求、取消、无权限输入和依赖返回畸形数据。

本篇的硬性验收是:超时后连续重试十次,下游仍只有一笔记录。同时记录 去重命中率、不确定结果数、重复副作用数。验收脚本应按结构化字段判定,不以“回答看起来合理”代替测试。

上线与回滚

“幂等执行记录”上线前要固定模型、提示、规则、工具 schema 与数据版本,并用影子或灰度流量比较旧版。若 去重命中率、不确定结果数、重复副作用数 越过门槛,先停止新 Run,再处理在途任务,恢复旧组合后逐项核对未决副作用。

适用边界

当场景是“天然只读工具”时,这套设计的维护成本通常高于收益。权限、金额、删除和一致性约束始终交给确定性代码,不能交给模型自行判断。

幂等记录的状态机

状态 含义 重复请求行为
reserved 已占用键,尚未开始 等待或返回处理中
executing 外部调用进行中 不启动第二次
succeeded 结果确定成功 返回原结果
failed_final 确定失败且无副作用 返回原错误
unknown 超时/断线,结果不明 先查询或对账

键由调用方业务操作生成,服务端记录租户、工具、参数摘要和有效期。同一键不同摘要返回冲突;不能把它当新请求执行。记录持久化与本地业务写入尽量在同一事务,外部系统则传递同一幂等键或建立查询结果的 reconcile 过程。

锁超时不等于动作失败。执行者失联后接管者先读取外部状态,必要时由人工处理 unknown;盲目把记录改回 pending 会双写。并发测试让十个请求共享一个键,并在外部成功、响应返回前断网,断言最终业务对象唯一、所有调用方得到可解释结果、过期清理不会删除仍在执行的记录。

第二轮实践复核

围绕“幂等执行记录”建立一个不接触生产数据的最小项目,固定运行时、框架、模型、提示、规则和工具 schema 版本。正文代码块若缺少完整依赖、导入或领域类型,应视为架构伪代码;只有放入示例仓库并通过下述命令的代码才标记为可运行。

  • 项目验证:运行项目既有的 schema 校验、契约测试与离线评测命令
  • 回归夹具:把输入、结构化输出、工具轨迹和副作用记录为 JSON,用固定版本执行正常、拒绝、超时、取消与重复请求五组回归样本。
  • 必留证据:run_id、版本组合、终止原因、动作幂等键,以及 去重命中率、不确定结果数、重复副作用数。
  • 通过条件:未批准写操作为零副作用;相同幂等键重复执行只产生一个业务结果;超时或恢复后状态可解释。
  • 失败处理:先停新任务,再核对在途动作;回滚模型、提示、规则、工具与状态迁移的完整组合,不能只换回模型。

复用顺序

  1. 为“为 Agent 工具设计幂等语义”建立确定性假工具,先跑契约与失败用例,不接触真实凭据。
  2. 围绕“幂等执行记录”接入只读能力,核对权限裁剪、脱敏字段和 Trace 完整性。
  3. 需要写能力时先输出 dry-run 差异,再绑定审批结果与一次性动作哈希。
  4. 以本文验收指标比较影子流量;达到门槛才放量,越线立即执行文中的组合回滚。

实践与资料复核日期:2026-08-22;框架 API 以锁定版本的官方文档为准。

参考资料

框架 API 会持续演进,复制示例前应再次确认当前版本。可持续的 AI 工程不依赖某个模型偶尔表现出色,而依赖清晰契约、可靠 Harness 与可重复验证。

评论
分享

评论