用途：在宣称任务完成、缺陷已修复、测试通过或功能达到 GO 之前，用新鲜证据核验声明是否成立。适用于任务收尾、修复确认、构建或测试结果确认、功能级验证，以及信任其他子代理的成功报告之前；不适用于早期规划或推测性状态更新。
主要能力：要求提供确切声明及其类型（TASK、FIX、TEST_OR_BUILD、FEATURE_GO）、验证命令、当前命令输出与退出码、相关任务 ID、需求 ID 和设计引用。功能级声明还需提供需求覆盖状态、设计一致性、集成状态、受阻任务状态。输出三种结果之一：VERIFIED、NOT_VERIFIED、MANUAL_VERIFY_REQUIRED，并返回被审声明、所用证据、范围与证据不匹配之处。
使用方式：先明确声明，再确定能证明该声明的确切命令或检查清单，要求来自当前代码状态的新鲜证据，检查退出码、失败数、被跳过范围和缺失覆盖，拒绝超出证据范围的声明。若必需验证无法完成，返回 MANUAL_VERIFY_REQUIRED。
按类型规则：TASK 需任务局部验证证据、无未解决的阻塞性审查发现、证据与任务边界一致；FIX 需原始症状已解决的证据、相关验证范围内无更大回归；TEST_OR_BUILD 需实际命令输出与退出码，不得从无关检查推断；FEATURE_GO 需完整测试套件结果、运行时冒烟启动结果（构建产物达到首个可用状态）、需求覆盖评估、跨任务集成评估、设计端到端一致性评估、受阻任务评估，仅测试通过不足以判定 GO。
限制与升级：无规范验证命令、所需环境不可用、或必需人工验证步骤无法执行时返回 MANUAL_VERIFY_REQUIRED；命令失败、证据过期或不完整、声明超出证据、功能仍有未解决受阻任务或未覆盖需求时返回 NOT_VERIFIED。子代理报告成功、早先测试通过、lint 通过等均不构成验证证据。输出语言按 spec.json 指定。