用途：在功能构建完成后证明行为确实可用，或按用户自己的 QA 清单执行发布前检查。它只做验证，不修改产品代码；发现失败只报告，修复交给 pe-build 技能。唯一可能写入仓库的是用户要求播种或编辑的 QA 清单。
主要能力：两种模式。feature 模式用于“验证这个”“为 X 创建验证”，检查来自变更与对话内容；list 模式用于“运行 QA 清单”“发布检查”，逐条对应用户在 .product/ 下的 markdown 清单，每条都出现在报告中。list 运行分选择性或全部，报告需说明是哪种；选择性运行需给出 selection_basis，未运行条目记为 not-run 并说明原因。检查分为 code、browser、mixed 三类，运行时逐项判定。
使用方式：运行产物全部落在系统临时目录下的 pe-verify/<repo>/<YYYY-MM-DD-HHMM>/，包括 JSON、HTML、录屏和截图，绝不写入仓库或提交。交付物是一个 report.json，不写 HTML；用 scripts/render-report.py 生成 report.html，先校验再渲染并打开。校验命令：python3 <skill>/scripts/validate-report.py <run>/report.json，渲染命令：python3 <skill>/scripts/render-report.py <run>/report.json --open。仅在明确要求时才把 report.json 复制到 .product/runs/。
限制：每个 fail 和 flag 必须带 file:line、录屏时间戳或命令作为证据，否则不算发现。缺少浏览器时相关项跳过而非阻塞，可在 Scope 阶段提供 npx playwright install chromium，worker 不提示。skipped 表示无法运行并说明原因，not-run 只存在于选择性运行。不要求特定 harness、模型或工作流引擎。质量判断、可访问性、与已批准稿的一致性交给 pe-review，已验证行为的文档化交给 pe-product-description。