$ loading_
为 AI 代理校验行为契约并对比回归，发现关键规则退化
复制安装指令，让 AI 自动完成配置 · 推荐新手
"agent-invariants" 暂无可直接复制的安装信息，请查看页面文档或源码仓库。
请根据这组标准化事件轨迹，按 operating contracts 检查该 AI 代理是否违反停止、审批、作用域和完成规则，并列出不符合项。
返回一份契约校验结果，指出哪些规则通过、哪些规则失败及相关异常点。
请比较基线版本与候选版本的标准化事件轨迹，重点检测审批、恢复、停止和完成行为上的回归，并总结差异。
输出一份回归分析结果，标明候选版本相对基线的行为退化项与差异摘要。
给定代理在异常场景下的标准化事件轨迹，请检查其恢复流程是否符合既定契约，并说明是否存在未完成或越界操作。
得到一份针对恢复流程的契约检查结果，说明是否恢复得当以及潜在问题位置。
开发者或研究人员在升级代理策略后，可用它对比基线与候选版本的事件轨迹，尽早发现行为回归。它特别适合检查审批、停止和完成等关键规则是否被破坏。
当团队需要为 AI 代理定义稳定的运行契约时，这个工具可基于标准化事件轨迹做确定性校验。它有助于把行为验收从主观观察变成可重复的检查流程。
在代理出现异常处理不一致时，团队可用它审查恢复与作用域规则是否被遵守。这样能更快定位恢复失败、越界操作或未完成流程的问题。
它是一个面向 AI 代理的确定性行为兼容层。它会检查标准化事件轨迹是否符合运行契约，并对比基线与候选版本来发现回归。
根据描述，它主要用于捕捉审批、停止、作用域、恢复和完成规则上的退化或违规。也就是说，它关注代理行为是否偏离既定契约。
给定素材没有提供安装步骤、运行时要求或密钥信息。具体前置条件与接入方式请见源码仓库。
用于比较 AI 代理轨迹并锁定行为契约
为 AI 代理提供离线、可验证的预操作安全门控与签名裁决。
为 AI 代理提供审查、签名证明与公开留痕的可信验证层
分析 AI 代理本地性能与成本归因，定位异常行为并提供配置修复建议
为结构化输出执行安全不变量校验，防止模型擅自填写锁定字段
用于校验智能体输出、发现规律并进行确定性数学求解