用途：在做出任何完成度声明前，强制要求针对实际声明获取新鲜验证证据。遵循用户授权范围，仓库说明只提供应执行的检查，不构成修改、发布或弱化需求的许可。
主要能力：先解决范围歧义再编辑，检查仓库并在解释明确时给出安全假设；检查 git status --porcelain 并保留无关改动。运行任何测试套件或迁移（含基线）前，确认数据库与服务目标是可丢弃的（专用测试库、容器或临时 schema，绝不用开发库）。依赖/框架升级、代码生成或迁移时，先记录现有验证命令集，写完后原样重跑；基线为红则先报告。识别能证明声明的命令，发布级声明需检查完整链路：构建、类型、lint、测试、安全扫描与 diff 审查，遇首个失败即停。按项目声明的门禁及其顺序执行，不自行发明门禁。立即运行证明，早前输出、子代理报告、信心或改名的成功措辞都不能替代新鲜执行。读取完整输出与退出状态，包括警告、执行/通过计数与缺失产物；未执行任何内容的套件不算证明。确认实际运行的是预期二进制、解释器、源码版本与入口点。保留原始证据，解析、补丁、计数、比较或审查依赖完整记录或精确字节时使用未过滤输出。验证证据覆盖需求与相关失败路径，仅拒绝路径、桩、mock 或不可达实现属部分完成。只声明证据支持的内容，报告结果、执行命令/URL/点击路径、失败或跳过检查及重大残余风险。不得为获得绿色而降低判定标准，重新生成预期输出前须审查并说明语义变更。
使用方式：按验证风险路由，脏工作树、广泛改动、严格输入校验或夹具与实况来源问题读 proof-integrity.md；共享模块含无关编辑再读 isolated-verification.md；仓库级扫描或“每一项”声明读 scope-and-sweeps.md；命令包装、空结果、聚合总数、已安装二进制或物化版本读 verification-oracles.md；前端、后端、CLI、基础设施、迁移、包、schema、文档或脚本扫描改动读 change-strategies.md 对应行；集成边界、回调或孤立状态读 system-wide-test-check.md；分类交付物、处理失败检查、讨论分支范围或遇到 pre-commit 失败读 claims-and-failures.md。
限制：不得在验证未变的情况下反复重试直到碰巧通过；修复授权范围内的实现失败后重跑，否则指明具体阻塞。“既有问题”“环境问题”“不稳定”需针对刻意选择的基线或独立确立的原因提供证据。不得绕过由本次工作导致的 pre-commit 失败，文档化例外需复现基线分支失败并事先告知用户。委派工作须通过 diff 与相关命令直接验证，规格符合性与质量分开检查，逐行重读需求。新提交或外部状态可能使先前审查失效时刷新事实与坐标。报告保持决策相关，不写空状态章节或编造确定性。