用途：在声称任务完成、缺陷已修复、测试通过、功能可 GO，或采信子代理成功报告之前，核验声明是否有与范围匹配的新鲜证据。不适用于早期规划或推测性状态更新。
主要能力：接收待核验声明及其类型（TASK、FIX、TEST_OR_BUILD、FEATURE_GO）、验证命令、最新命令输出与退出码、相关任务/需求/设计引用；输出 VERIFIED、NOT_VERIFIED 或 MANUAL_VERIFY_REQUIRED，并附声明、所用证据及范围与证据不匹配之处。语言按 spec.json 指定。
核验规则：先确定精确声明与可证明它的命令或清单，要求来自当前代码状态的新鲜证据，检查退出码、失败数、跳过范围和覆盖缺失，拒绝超出证据范围的声明。TASK 需任务本地证据且无未解决阻塞；FIX 需原症状已解决且相关范围无更广回归；TEST_OR_BUILD 需实际命令输出与退出码，不得由无关检查推断；FEATURE_GO 需完整测试套件、运行时冒烟启动、需求覆盖、跨任务集成、设计端到端对齐及阻塞任务评估，仅测试通过不够。
限制：无规范验证命令、环境不可用或必须人工验证无法执行时返回 MANUAL_VERIFY_REQUIRED；命令失败、证据过期或不完整、声明超出证据、仍有阻塞任务或未覆盖需求时返回 NOT_VERIFIED。子代理报告、早前测试、lint 通过均不构成验证证据。