القائمة
PACE impl 后的运行时验证环 (Codex). 实跑接口、CLI 或 UI, 覆盖正常/边界/失败场景并自测自改. System/Refactor 强制, Feature 可选; 仅在用户显式要求或已有 Goal 时用 Goals 承载.
يُحدَّد Prompt الذي يراجع المصدر أولًا بشكل افتراضي. يمكنك التبديل إلى أمر مباشر أو تنزيل نسخة محلية.
اقرأ SKILL.md وأي ملفات مرافقة يعرضها SkillsMP قبل أن تقرر التثبيت.
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
يتجاوز الأمر المباشر Prompt المخصّص للمراجعة. افحص المصدر قبل تشغيله.
npx skills add https://github.com/WenJunDuan/Rlues --skill athena-runtime-verifyيبقى الأمر في سطر واحد. مرّر أفقيًا لمراجعته كاملًا قبل النسخ.
تفضّل نسخة محلية؟ نزّل الملفات المتاحة حاليًا لدى SkillsMP.
استنادا إلى تصنيف SOC المهني
عرض SKILL.md
| name | athena-runtime-verify |
| description | PACE impl 后的运行时验证环 (Codex). 实跑接口、CLI 或 UI, 覆盖正常/边界/失败场景并自测自改. System/Refactor 强制, Feature 可选; 仅在用户显式要求或已有 Goal 时用 Goals 承载. |
单测与静态 review 不等于真实系统可运行. 本 stage 在 impl 与 review 之间执行实际命令、真实接口或可重复 E2E, 发现问题后回 impl 修复并复跑.
| 路径 | 要求 |
|---|---|
| Hotfix / Bugfix / Quick | 默认跳过; fix-note 可含定点实跑 |
| Feature | 外部接口、有状态或多环境时启用 |
| Refactor / System | 强制 |
开环前写清:
sprints/{current_sprint_slug}/runtime-verify.md.任一缺失, 先补再实跑.
至少覆盖:
_index.tools_available.vm_available=true 时按 /athena-vm doctor 结果决定是否增加 VM前端/E2E 优先 $playwright; 后端/API 用真实 HTTP 或测试库; CLI 用实际命令、退出码与 stdout/stderr 断言.
普通 workflow 足以完成本环. 只有用户显式要求 Goal, 或当前线程已有 Goal 时, 才把上述完成条件交给 Goals 承载; 本 skill 不自行创建 Goal.
密集测试如需隔离, 用 spawn_agent 分派有界任务; 任务消息必须包含 worktree 绝对路径、写集和验证命令.
对照 design 与实跑证据回答:
reflect 只检查本 sprint 完整性, 不发散新需求.
主 agent 写 sprints/{current_sprint_slug}/runtime-verify.md, 至少包含:
## 完成条件与停止条件## 测试场景## 自测自改记录## Reflect## VERDICT每个场景记录命令、环境、关键实际输出与 PASS/FAIL/BLOCKED. 未运行的场景不得标 PASS.
System/Refactor 在 ship 时必须存在 runtime-verify.md 且含测试场景与 VERDICT. skip_runtime_verify=true 仅用于确无可运行表面的库/算法, 并在 design 中写清理由.