/athena-runtime-verify — 运行时验证环
阶段义务唯一正文为 ../pace/references/stages.md。本 skill 负责运行场景与证据。
真实执行入口是 ../athena-vm/scripts/runtime-run.py 的 snapshot/doctor/run，协议见 athena-vm/references/playbook.md 与本 skill references/playbook.md。
为什么存在
PACE 到 impl 为止, review + 单测只验证 "我们想的问题实现没 / 单测过没", 不验证 实际运行. 代码单测全绿 ≠ 真实接口跑得通 / 边界数据不炸 / 换个环境不挂.
触发 (按 PACE 级别)
| 路径 | runtime-verify | /goal 承载范围 | |---|---|---| | Hotfix | 跳过 (救火无时间) | — | | Bugfix / Quick | 跳过 (改动小, 单测够) | — | | Feature | 可选 (碰外部接口 / 有状态 / 多环境 → 做) | 用户显式要求或已有 Goal 时 | | Refactor | 强制 | 可选增强，不是唯一通道 | | System | 强制 + 完整 Sprint | 可选增强 |
不在小改动上强制 (rules/coding.md 反过度工程).
普通本平台 workflow 可完成验证。VM 和另一模型平台均是可选能力，required 环境不足只阻塞相应验收。不可把 unknown、未运行或 SSH 可达当场景通过。
可选：测试已绿且 ≥2 合格候选、laav_enabled 时，在进入 review 前跑 /llm-as-a-verifier。
VERDICT: PASS | REWORK(回 impl)
不做
- ❌ 不自造 loop 引擎；无
/goal时用 runtime-run.py + 本会话继续 - ❌ 不替代单测 (单测在 impl; 这里是运行时实跑)
- ❌ 不把 SSH 可达、配置存在、未运行标成通过
- ❌ Hotfix/Bugfix/Quick 不强制
例外
- 项目无可运行环境 (纯库 / 纯算法): 降级为"用真实数据跑示例 + 边界"
- 跳过：豁免
skip_runtime_verify（_index.exemptions，带 until 与 reason；不推荐 System/Refactor 跳）
详细 playbook
完整工作流见 references/playbook.md。