test-execution-routerlisted
Install: claude install-skill BackToCimaCoppi/Praxis
# 测试执行路由
本 skill 只回答:冻结用例如何被准备、执行、路由和收口。不要在本层改用例口径;不要写项目凭据或平台专属细节。
## 0. 同一 goal 内的两种模式
| 模式 | 发生时点 | 可以做 | 禁止做 |
|---|---|---|---|
| `bootstrap` M0 启动检查 | goal 首个里程碑 | 实现/修复测试资产、runner、夹具、数据/环境适配与证据工具;每个命中面运行一个最小健康探针 | 改冻结用例语义、扩大用户授权、给逐 AC 提前签发 Ready |
| `verification` 正式验证 | goal 各施工切片内及候选交付前 | 跑冻结矩阵、封存 raw、派生证据状态;发现基础设施缺陷可就地修复并按影响面重跑 | 手填 VERIFIED、削弱断言、把产品现状反写测试 |
两种模式执行前都必须满足:
- 已读取冻结用例规格。
- 已确认 `execution_ref` 或预定锚点。
- 已生成执行面矩阵:单元、接口、DB 预置、DB 终态、Web/admin UI、小程序 UI、视觉、手工;本任务命中面各一行,N/A 有可核理由。
- 已识别项目执行 skill;如果项目没有执行 skill,先报告缺口。
涉及真实动作时必须有上游用户授权锚点,逐项锁定目标环境、精确动作、目标对象、费用上限(含重试储备)与副作用范围。没有独立 readiness 门票;`bootstrap` 的失败先在 goal 内自愈。只有 goal-charter §4 白名单(真值矛盾 / 死亡线 / 未预授权动作,细则以彼处为真值)或计划内真实人工里程碑才交给用户;安全路径穷尽或达到限轮只交付 `EXECUTION_BLOCKED`,不前拉上游。
禁止行为:
- 边执行边修改断言。
- 用“环境不方便”跳过自动化。
- 把手工验证计作自动化覆盖。
- 把 AI 可控浏览器/开发者工具、DOM/data 断言、截图或 VLM 判读降级成手工。
- 失败后只写“测试失败”,不分类。
- 状态账本自证、派生聚合物冒充 raw、从账本反向改 raw、事后补绑候选版本或环境。
### 0.1 证据强度按影响面选择
执行载体的轻重不决定证据重量。先根据冻结规格与执行面矩阵选一种证据轮廓并记录理由,施工中发现影响面扩大时自动升档,禁止为了省事降档:
| 轮廓 | 适用判据 | 最低闭环 |
|---|---|---|
| `direct-native` | 文案、样式、局部只读展示或单点行为;不改接口契约、持久化结构/写链路、状态机/并发/时钟语义,且已有稳定 runner 能直接给出原生结果 | 最终候选 + 目标环境 + run 绑定;AC 逐项直指原生报告、截图或终点实测;失败/错误/跳过/未执行完整可见;不为包装而新造证据框架 |
| `assertion-native` | 新增/变更表、字段、索引、迁移、接口契约、持久化写链路、状态机/并发/时钟规则、跨前后端完整功能、死亡线、高失败代价,或需要新建/实质修改取证工具 | 细粒度逐 AC/证明部件的 raw → envelope → mapping → 账本;所需 fixture/harness、数据清理恢复和终态校验;项目原生检查器全绿 |
`direct-native` 不是口头验收:缺候选/环境/run 绑定、用聚合 PASS 代替原始结果、隐藏失败或无法逐 AC 定位时必须升为 `assertion-native` 或补齐原生观测。`a