用途：这是对由 /create-verification-skill 生成（或任何带功能地图的项目本地验证技能）的维护循环。功能地图会随应用变化而失效，本技能以「功能」而非每句话为严谨单位，从源码覆盖每个功能文件，并逐一进行实测。
结果：三选一并说明——clean（每个功能都有源码与实测覆盖，无需发布，不建分支和 PR）；changed（一个 PR 提交已验证的文档、验证工具或地图修正）；blocked（覆盖未完成或已验证的修复无法安全发布，需说明具体阻塞原因）。
编辑范围：只编辑验证技能自身目录（其 SKILL.md、features/ 及其拥有的工具脚本）。运行中绝不改动产品代码：地图描述的行为与应用不符，要么是文档漂移（修地图），要么是产品回归（报告，不在文档中掩盖）。
流程：定位目标技能（通常位于 .agents/skills/verify-*/，含启动/驱动章节与功能地图）；多个候选时询问，找不到则指向 /create-verification-skill，不自行编造目标。随后做索引卫生（读取功能地图 README、检查同目录文件，修复缺失、多余、重复或失效条目）。源码波次：读取 list_profiles，为每个功能文件并发启动一个只读的 pstack-explorer 子智能体（默认 codex/gpt-6.1-sol xhigh），由源码解释「这个面向用户的功能如何工作」，标注可能的文档漂移并附引用，返回一份简洁的实测配方；子智能体不驱动应用、不编辑文件。之后进行对齐：每个功能文件都有摘要，合并重叠配方为尽量少的状态，抽查被引用的漂移，扫描近期变更中地图遗漏的用户界面，要求提供具体源码路径才认定缺失。
实测：即使源码看起来干净也必须执行。由协调者独占驱动，遵循验证技能自身的启动模型（服务器和 UI 用一个长驻实例串行驱动，短生命周期的 CLI 每个驱动用全新隔离会话，由技能的 Launch 章节决定）。每个功能至少实测一次，全程保持三条不变量：未经自上次异常后健康检查的实例不得驱动（首次驱动前、每个新会话、任何驱动失败后都要 doctor；doctor 看不到的故障要重置或重启，不靠侥幸）；已捕获证据在每次清理后仍存活并到指定位置核对；一次驱动产生的东西不得超出该驱动的有效期（共享实例清理残留而非实例）。由技能漂移导致的 doctor 失败属于漂移，按编辑范围修复并重试一次，否则判为 blocked。
分诊与发布：用户视角描述错误或缺失属文档漂移，修之；行为正常但验证工具无法驱动属工具缺口，修之，修复需遵循与生成相同的辅助脚本规则（脚本可执行、在技能正文记录调用方式）；应用确实损坏属产品缺口，记录给用户，不进入本次 PR。changed 时提交一个已验证修正的 PR，提交前重读所有改动文件；clean 或 blocked 时不建 PR，如实报告结果与覆盖情况。运行笔记（已覆盖功能、不可达前置条件、确认的漂移、结果）记在临时位置，不提交。