用途：给定关于代码的行为断言或刚应用的重变更，它决定用最便宜的方式取得真实执行证据，隔离运行，并将原始结果作为凭据（receipt）返回。它不评分，只负责执行并观察，不给出置信度或通过/失败判定。它能回答两类问题：claim-verification（某条行为断言是否成立，只读，向 confidence(code) 提供证据）和 change-verification（刚应用的变更是否产生预期结果，作为应用后门禁）。
主要能力：采用成本最低优先的三层验证阶梯。Tier 1 语法层（grep、ast-grep、Read）；Tier 2 语义但不执行（tsc --noEmit、go build/go vet/staticcheck、cargo check/clippy、pyright/mypy）；Tier 3 执行层（运行覆盖测试或合成并运行最小复现）。只要较低层级已能判定，就不升级。
使用方式：解析参数首 token 决定模式，无 token 或 claim 进入 claim 模式（返回单个凭据，只读），change 进入 change 模式（返回凭据与 green/red 门禁结果）。输入包括 claim（行为断言）、target、expected（change 模式下的预期结果）、review_relation（self/cross/untrusted，影响 Tier 3 信任划分）、caller（仅日志）。流程分为 V1 工具链发现（先看 checks.yaml，再按检测模式，再看 manifest 脚本，绝不假设全局安装）、V2 层级选择、V3 隔离执行、V4 生成凭据、V5 报告。
限制：Tier 3 必须在一次性工作树中运行，不修改受追踪文件，运行后删除临时目录，默认无网络，绝不将远程脚本管道进 shell；Tier 3 仅对调用方自身代码默认开启，跨方或不可信代码需显式沙箱开启。空结果或无法复现的结果会被丢弃或视为矛盾，绝不当作确认。本技能不输出置信度分数，也不针对意图评级。资料未提供价格、平台或安装命令等信息。