Verify 是 Plate 仓库中 pstack Bug fix playbook 的驱动技能，主要处理实现验收、证明选择、运行时就绪、驱动和证据记录。其测试参考负责测试形态与运行器；verify testing audit 用于搜索未覆盖的契约；test-audit 用于修剪现有测试。
用途：在编写计划之前，通过实际的证明所有者审查实现归属并验证 Plate 包、编辑器状态和注册表产物。它定义了完成边界：在选择证明之前，需说明报告的设置、输入、预期结果和必要的后续步骤，并保留在现有用例或计划中，而不是单独建立注册表。
主要能力包括：
- 选择能观察每个必需结果的最小测试边界。注意模型测试、分离转换、替代路由、合成点击或模型集选择不能证明浏览器缺陷的原生输入、焦点消费者、绘制或事件顺序；独立演示、块路由或文档包装器不能认证报告命名的路由。
- 报告后续是增量：已确认的需求保持到报告者或已接受的产品法律移除它；残余症状加入原始验收而非替换。
- 对于不稳定、原生、生命周期、合成器、焦点、选择、拖放或设备风险，最终证明需运行五次（预热、无重试），每次执行证明命令，缓存结果不算。若 turbo 打印 Cached，则需要 TURBO_FORCE=true 重跑。
- 在有多会话编辑的检出中，在基础提交加任务保存补丁的分离工作树中运行验收检查，并归因每个失败。
- 本地验证与发布分开报告；已接受的实现审查和当前检出证明可关闭本地修复，公共声明门控由 Maintainer 负责。
使用方式：
- 实现审查：审查最终差异、拥有路径和显著不同的消费者；对于布局缺陷，先比较结构布局和 CSS；每个新增效果、观察器、订阅等必须通过当前需求和正确生命周期获得其位置；证明需观察用户不变量。
- 规范清单：从现有所有者发现当前清单，不创建第二特性图或断言注册表。清单包括 Plate 复制的 UI、公共包行为、文档与注册表输出、回归用例、性能等，每个条目需记录用户入口、设置/动作、预期效果和注意事项。
- 启动：从当前 Plate 检出运行，先阅读相关包脚本和配置。Plate 应用：pnpm --filter www dev --port 3297。当树不能改变时，使用 PLATE_WWW_DYNAMIC_DOCS=1 next dev --port <port>。库级证明使用实际受影响包的测试/类型脚本。Next 就绪需要就绪输出和精确路由应答。
- Doctor：检查所选实例，绑定命令/会话、PID、cwd、源/构建身份和 URL；在 macOS 上使用 lsof 读取 cwd 和监听器。使用 curl --fail --silent --show-error 请求精确本地路由，并通过浏览器控制检查；HTTP 成功仅证明可达性。
- 驱动：使用当前运行时的浏览器或 CUA API；在编辑器逐键输入（当声明依赖键入触发时），确认活动标记后读回插入文本和渲染标记。仓库中现有 Playwright 规范是执行证明所有者，通过其包运行器运行。
- 手工驱动：每个浏览器可见结果的变更在关闭前由代理进行一次手工驱动，即使测试已覆盖。在桌面宽度（1200px 或更宽）浅色模式下驱动每个显示变更的页面；根据变更添加 375px、平板宽度、深色、中文页面等状态。重载页面后执行交互并滚动变更元素到视图，阅读截图检查溢出、裁剪、折叠列表、深色对比度和变更行为。
适用场景：Plate 实现验收、缺陷修复验证、浏览器驱动与手工驱动、注册表产物验证、性能基准验证等。
限制：不得编造功能；缺少事实的地方暂未提供。该技能依赖当前 Plate 检出和配置，不得复用其他检出的端口或源路径。浏览器仿真不能证明原始 Android/iOS 输入；只有 Chromium 暴露剪贴板权限给自动化，Playwright 的 WebKit 构建不是 Safari。协作功能需要配置的 WebSocket 服务器。移动视口和合成组合测试保留其代理范围。