技能列表

整理动作执行前的目标、策略、预期状态和可重算摘要。

整理可能产生外部副作用的动作及其幂等、尝试和权威引用。

按对账状态和显式政策生成重试或保持阻断的结果。

对比动作台账和权威系统观察，识别已确认、未找到、冲突和未知结果。

核验审批是否在有效期内、是否需要升级以及过期决定能否继续使用。

整理人工审批动作的有效期、升级策略和副作用状态。

将审批和到期审计变成默认阻断的副作用放行结果。

检查共享 executor 是否把可变状态、会话标识或旧运行内容带入下一次运行。

汇总状态合同和污染审计，在人工确认前阻止可能残留旧状态的实例继续服务。

把每次 Agent 运行的实例范围、会话、可变状态和 reset hook 整理为可核验合同。

检查检查点的步骤顺序、父链、根节点和状态哈希是否能支持可追溯恢复。

把长流程检查点整理成可核验的快照信封，保留状态、父子关系、待处理消息和请求引用。