用途:在多步智能体、状态机、循环或多智能体工作流新增恢复路径时,用确定性、非生产的故障计划验证其在依赖失败时是否保持状态、预算、安全边界与证据。适用于沙箱执行、MCP/工具调用、worker、检查点存储或记忆可能超时或消失的场景;在声称重试、恢复、截止时间、隔离或部分失败行为可用于生产前使用。禁止针对生产目标、真实用户数据、线上凭证或无界外部服务;需先转换为本地模拟器或获授权的预发布环境。
主要能力:提供恢复契约(如从最新持久检查点恢复、保持任务身份与安全策略、预算不超、外部可见效果至多一次)、显式状态模型、故障矩阵(沙箱拒绝、MCP/工具超时、worker 重启、检查点缺失或过期、并行分支失败、记忆丢失、重试/截止时间耗尽)、确定性注入计划(按事件序号而非随机时钟)、边界恢复规则、预算与四类终态判定(recovered、contained_failure、unrecoverable、inconclusive),以及机器可读事件记录和人类可读摘要。
使用方式:先冻结工作流版本、模型/提示配置、工具模式、种子、输入夹具、超时、重试预算、截止时间与期望终态;在一次性沙箱中用合成输入和桩工具运行,默认关闭网络。写入恢复契约后再注入故障,最小覆盖新恢复逻辑,确定性计划通过前不要随机化。记录 run_id、seq、逻辑时间、状态前后、actor、事件、fault_id、attempt、checkpoint_seq、重试与时间余量、脱敏 evidence_ref;同一计划跑两次并比较归一化时间线。
限制:本地桩无法证明部署模型、MCP 服务器、调度器、文件系统或网络的行为;确定性计划只覆盖命名路径,不估计随机故障频率或发现未知失败模式;至多一次效果需要幂等且可观测的契约,仅凭时间线不能证明外部写入未重复。缺失证据只能判为 inconclusive。不得包含破坏性命令、利用载荷或凭证材料;时间线存储或附加到 PR 前须脱敏。相关技能包括 agent-evaluation-reporting、cross-platform-contract-propagation-audit、multi-agent-patterns。