用途:该技能面向资深规格作者,依据完整的评审发现修订某一个具名规格。成功产物是更新后的规格簇,而非过程说明;是否达标由独立评审会话或 evals/closure 判定,本技能不自行宣布规格就绪,也不重跑评审。
主要能力与用法:逐条消费发现的“Evidence and impact、Root and closure、Proof”三段式紧凑格式,按 Root and closure 关闭根因,涵盖稳定 id、表现形式、生产者、消费者、门禁、状态、恢复路径、命名交互邻居和可证伪决策。若 Root and closure 缺失或不完整,先从发现中推导缺失的关闭工作,不扩大超出工作清单的排查范围;三段式已承载的字段不要求重复标注。
评审周期交接:adversarial-spec-review 与 spec-readiness 共用同一评审周期;同一未变更修订仅后续修订才递增,第二个门禁沿用原编号。须先从报告的 Basis 行获取周期再编辑。报告以 Workflow stop 结束时已达 3/3,不得再作推测性修订,应原样把报告结论交回人工,仅可附直接请求的澄清;之后人工变更任务授权视为新任务,不会静默重置该停止周期。
分类与重复诊断:incomplete closure 表示原根因仍有效,需关闭其 Root and closure 中所有面;prior-review gap 需跨其根因及报告成批的同结果兄弟关闭,传播规范契约,不只为先前评审列举的示例追加条款;revision-induced 表示当前修订引入了根因,需移除或调和该引入变更。重复根因 id 按其 Repeat diagnosis 处理。
关闭规则:把每条发现视为问题树的一个尖端,走到最近的任务自有、有证据支撑的根因;评审者的补救只是线索而非权威。一次只修一个根因,直到报告故障不再可达;共享变更规则的交互邻居也须一并关闭或标记为阻塞。当根因是有限状态空间上的决策时,用单一有序穷尽划分替换累积例外。独立根因可在另一根因阻塞时继续;不得越过缺失证据、未决产品决策或权限边界猜测。无法关闭时保持所有依赖选择的规格面无改动,并报告被阻塞的确切决策及受影响面。
验证:行为对照 evals/closure 检查(固定输入→产出规格),辨别性检查看规格本身而非“已扫描”的声明。限制:未提供具体安装命令、平台、价格或代码示例。