用途：在智能体准备报告任务完成、修复成功、测试通过，或执行提交、创建 PR 等操作前，强制要求先获得当前会话中的新鲜验证证据。核心原则为“证据先于声明”。
主要能力与流程：任何状态声明前须依次完成识别证明命令、完整运行该命令、读取完整输出与退出码、核对输出是否支持声明，最后才作声明。验证范围须与声明范围匹配：窄声明可跑单个测试，宽声明（任务完成、可以提交）须跑完整流水线（格式化、lint、全部测试、构建），若项目定义了统一门禁命令（如 make verify）则运行它。窄验证不能支撑宽声明。
必要用法：提交前运行完整验证流水线并确认零错误、零警告、零测试失败，随后按模板生成验证报告（包含 Claim、Command、Executed、Exit code、Output summary、Warnings、Errors、Verdict）；PR 前还须审查 git diff 与预期改动一致、无无关文件被暂存。验证失败时按“读取失败—诊断根因—最小修复—从头重验—带证据报告”的流程处理。
限制与边界：若无输出证据则视为未验证；不得依据上次运行、推断、其他智能体的成功报告或部分检查作声明；通过流水线不等于满足需求，宽声明还须逐条对照原始规格。本次资料未提供具体价格、平台支持或安装方式等信息。