用途：verify 是清单（Manifest）验证运行器，负责编排对 Manifest 中全部准则的验证，通过并行启动验证代理完成核查，并按类型分组报告结果。
主要能力：支持选择性验证与完整验证两种模式。选择性模式只运行范围内交付物的验收标准（AC）以及全部全局不变量（INV-G*）；完整模式运行所有交付物的每条 AC 加全部全局不变量。支持按阶段（phase）顺序执行，阶段 N+1 仅在前一阶段全部通过后启动。支持按模式（efficient/balanced/thorough）控制并行度、模型路由与质量门。
使用方式：输入格式为 <manifest-file-path> <execution-log-path> [--mode efficient|balanced|thorough] [--scope D1,D2,...] [--final] [--deferred]。两个路径均为必填，缺失则返回用法错误；mode 默认 thorough；--scope 与 --final 互斥，同时出现按 final 处理；--deferred 仅运行 method: deferred-auto 的准则。
适用场景：用于 /do 修复循环中的范围化验证、最终完整门禁，以及用户手动触发的延迟自动准则验证。
限制：PG-* 为流程指引，不被 verify 检查；验证代理崩溃或超时按准则失败处理；模式文件无法加载时立即返回错误，不执行任何验证；--final 仅内部使用，/do 不传该参数；--deferred 不进入最终门禁、不自动触发后续验证、不调用 /done。