用途：在执行之后验证目标是否真正实现。核心原则是“任务完成 ≠ 目标达成”，已标记完成的任务可能仍含桩代码或占位符，本工具通过证据做结构化校验。
铁律：本条消息中无新鲜验证证据则不得声称完成。任何成功声明前须：确定哪条命令能证明 → 重新运行 → 读取完整输出 → 确认其支持声明 → 才可声明。禁止措辞包括“现在应该能用了”“可能通过”“看起来正确”“看起来不错”等未验证即满足的说法，应替换为证据。
主要能力：按波次（wave）并行检查。Wave 1 检查 truth（可观察行为）与 artifact 存在性；Wave 2 检查 substance（是否真实实现、非桩/占位）与 wiring（是否被导入并实际使用）；Wave 3 进行 anti-pattern 扫描（TODO/FIXME/占位符/被禁用的测试，分级 Blocker/Warning/Info）与 Nyquist 测试覆盖审计（COVERED/PARTIAL/MISSING）。聚合阶段汇总 must-haves、缺口、修复计划，生成 verification.json、validation.json、context.md，并自动从缺口与阻断级反模式创建问题。
使用方式：命令行标志包括 -y/--yes（跳过确认）、-c/--concurrency N（每波最大并发智能体数，默认 4）、--continue（恢复已有会话）、--skip-tests（跳过第三波 Nyquist 覆盖审计）、--skip-antipattern（跳过第三波反模式扫描）。会话目录为 .workflow/.csv-wave/{YYYYMMDD}-verify-P{N}-{slug}/。状态机流程：S_PARSE → S_MUST_HAVE → S_CSV_GEN → S_WAVE_1 → S_WAVE_2 → S_WAVE_3 → S_AGGREGATE → END；前置命令含 maestro spec load --category review、maestro collab preflight --phase N。
限制：校验为只读，不修改源文件；不写 tasks.csv、wave-*.csv、results.csv、verification.json，不递归调用 spawn。成功标准、错误恢复与下一步路由均在资料中给出。具体收费、平台支持等信息暂未提供。