用途：当智能体、执行框架、网关、MCP 工作流或多步自动化声称已完成任务时，用现有追踪、检查点、审批、工具调用等记录，重建实际发生过程，把笼统的成功声明拆成可被独立判定的原子断言，并逐条给出结论。
主要能力：先确立契约（声明的目标与终态成功标准、运行与任务标识、不可变版本、参与者与信任边界、各类预算、已有证据清单与收集缺口），再建立“断言台账”，为每条断言记录 claim_id、谓词、所需证人、证据引用、反证引用、覆盖率、结论与缺口。典型断言包括：各必需步骤是否到达终态后置条件、沙箱隔离是否全程成立、必需的 MCP/工具调用是否有对应响应、重试是否遵守幂等且未重复提交、检查点是否被持久写入并真正用于恢复、并行分支是否满足既定汇合策略、内存读取是否引用带版本来源、各类预算是否被遵守、审批是否由被授权人针对确切工件与目标给出、部署平台是否部署了同一工件并通过声明健康检查。
使用方式：这是只读审计。不重跑工具、不批准操作、不恢复 worker、不部署工件、不修改证据，除非用户另行授权。需先归一化证据（保留原始记录，另建统一事件视图，缺失值用 null 或 unknown，不合成 ID、时间戳、摘要、成本、审批或结果），校验签名或哈希，检查重复 ID、断链、非单调序列、非法状态转换、时钟偏差与追踪缺口；按“离效果最近者优先”评估证人等级，如代码变更以提交/树与 diff 为准，测试通过需绑定版本的完整结果，MCP 效果以服务端或提供方审计记录为准，人类批准以授权系统针对确切工件与目标的决定为准；再把事件按因果与来源序列排序重建时间线，标记缺口与非法转换，链接重试链与检查点，保留各并行分支结果，追踪剩余预算，绑定审批与部署记录到确切工件摘要。
结论等级：proven（证据覆盖该断言全部实例且无反证）、partially_proven（部分实例或字段已证并说明未覆盖部分）、contradicted（可靠证据与断言冲突）、not_proven（证据缺失、循环、不可验证或仅自述）。缺失日志用 not_proven 而非 contradicted；当追踪显示健康检查失败、效果重复、审批人越权、检查点损坏、必需分支被跳过或预算耗尽时用 contradicted。整体结论不得强于其最弱的必需断言。
适用场景：审计已完成或中断的智能体运行；核查端到端成功声明是否真有支撑；复核 MCP、网关、沙箱、检查点、重试、内存、审批或部署证据；区分自主成功与人工协助或仅被请求的结果。
限制：审计无法恢复没有任何可信来源记录的事实；提供方日志可证明外部效果但不证明智能体内部推理；对机密与个人数据可能需要脱敏，需记录脱敏范围并保留稳定引用；若证据收集会改动外部状态或暴露敏感数据，应停止并请求授权。本技能不用于为未来运行设计埋点，也不代替执行缺失动作。