技能列表

把旧版服务端请求样例转换成 MRTR 输入请求和重试骨架。

检查每条声明的证据存在性、时效和内容哈希。

固定智能体目标、声明、证据引用和动作引用，生成可审计信封。

在证据未完整覆盖或不可逆动作缺少人审时输出 HOLD。

按首个分歧事件给出可复核的初步故障类别。

校验并规范化智能体 JSONL 运行事件，生成可比较账本。

比较基线与故障账本，定位首个事件分歧。

筛查工具返回内容中的角色覆盖、导出、执行和隐藏文本样式。

只允许来源白名单且筛查通过的工具数据以 typed facts 模式进入下一步。

把工具返回内容封装为不可信数据并记录来源与内容哈希。

汇总见证审计和动作摘要，生成 fail-closed 的执行前结果。

重新核验执行前状态、目标引用和策略版本是否仍与契约一致。