用途：验证当前候选能否完成最小可玩闭环，并产出有证据的质量验证结果。判据来自 qa-contract.md，检查设计参考 test-design-method.md。产物语言由 PRODUCT_BRIEF.md 锁定；未锁定时跟随对话语言，不默认中文。
主要能力：每个候选必须用真实运行证据覆盖 launch、render、input、coreLoop、outcome、restart 六项；读取 targetRuntime、testedRuntime 和权威 verify，与 PRODUCT_BRIEF/BUILD_BRIEF 冲突时先报错，不由 QA 猜值。对照 GAME_DESIGN 中会改变结果的不变量和结束标记，只验证批准的设计承诺，不遍历所有代码路径。
使用方式：运行权威 verify，让它在 testedRuntime 从 clean start 走完核心动作、设计结果到 restart 的整条路径，记录 command、exit code、环境、六项结果、最小证据和实际失败。若候选有可执行模型、事件日志、patch 或 signature_command，按 test-design-method 的对应合同把项目回归嵌入权威 verify；允许定向诊断、修复和复跑，但最终六项证据必须来自同一次完整运行。
适用场景：需要在真实目标运行时验证游戏最小可玩闭环与既有设计承诺时使用。
限制：失败映射到已有 checks 或 limitation，不新增通用门禁；缺口写结构化 limitation，不发明 PASS_WITH_GAPS，未运行或失败的必需项不能整体 PASS。优先用已有可观察状态，只有无法判断结果时才加最小测试钩子，不为 QA 重构游戏或强制某框架、测试库或调试接口。输出唯一事实源为 qa/verification.json，字段与证据要求见 qa-contract.md。