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