用途:在编写代码前,评估计划中的工作能否通过确定性反馈(deterministic backpressure)来证明,例如构建失败、类型错误、测试、lint、运行时/冒烟检查、启动探测、架构检查(依赖规则、ArchUnit、Roslyn 分析器、CodeQL)、schema 校验器和数据检查脚本。它运行在规格说明(plan-1b / plan-2c)之后、架构设计(plan-3)之前,以便在写代码前发现缺失的反馈手段,并作为可选的“Phase 0”提前规划。
主要能力:盘点仓库中已有的确定性传感器(构建、测试、lint、类型检查、CI、分析器/架构配置等),记录名称、命令和所守护的维度(maintainability、architecture-fitness、behaviour);从规格的验收标准、目标领域和风险中推导该功能可能出现的“绿灯但错误”的失败模式;构建覆盖矩阵,为每条验收标准/失败模式标注确定性传感器、状态(EXISTS / BUILDABLE / ABSENT)和层级(computational / inferential / human-judgement);给出定性确定性评级(Strong / Partial / Weak)和可选的 Recommended Phase 0 表。
使用方式:需要提供规格文件(默认路径 docs/plans/<ordinal>-<slug>/<slug>-spec.md),输出到同目录的 backpressure-coverage.md。若 docs/harness/.disabled 存在则静默跳过。若没有规格文件,提示先运行 /plan-1b-v3-specify-and-clarify。
适用场景:在架构设计前评估确定性验证覆盖度,帮助决定是否先构建缺失的传感器。
限制:该技能仅为咨询性,永不阻断、永不将计划翻转为 DRAFT,不输出数值分数、百分比或阈值;只生成一个产物,不持久化索引;Recommended Phase 0 仅为建议,用户和 plan-3 可采纳或忽略。若未来改动加入阈值、门禁、阻断行为或持久化索引,则视为错误。