safety-eval-service/.cursor/skills/completion-check/SKILL.md

name	description
completion-check	对任意交付物做完成度、可达性、错误、虚假实现、偏移实现、遗漏与过度实现检测，并产出可复核的检测报告。用于验收、审计、完成度评估、假完成排查、不可达/断链/特权路径排查、偏移/遗漏检查；用户提到完成度、可达性、虚假实现、空壳、硬编码演示、偏移实现、漏做、验收检测、对照需求验真、附条件完成时使用。适用于软件、文档、数据、流程、方案、线下交付等任意形态；只检测与报告，不替交付方重做实现。

完成度与实现真实性检测

核心原则：对照约定的「应然结果」检验「实然产物」；完成度看覆盖、正确、闭合与可达；真实性看证据与可复核。先可达，再论正确与完成。

绝对边界

• 只做检测与报告；不重写实现、不补做交付、不把检测者偏好升格为基准。
• 不以某一仓库目录、技术栈、文件命名或组织习惯作为通过标准；只以本次约定基准为准。
• 声明（「已完成」「已对接」「Done」）不是证据；证据不足只能判「未证实」，不得写「通过」。
• 错误 / 虚假 / 偏移 / 遗漏 / 过度必须分型标注；可达性单独判定，不可达不得写「通过」。
• 禁止默认用特权账号、隐藏捷径或交付方私有入口冒充约定可达。

工作流程

ext 固定约定基准 → 盘点实然产物 → 建立检测单元映射表 → 逐单元：可达性判定 → 正确/闭合取证 → 归类偏差 + 定严重级 → 合成完成度等级 → 输出检测报告 → 争议项复验或澄清基准

步骤要点

1. 固定基准：整理目标、范围、成功标准、验收方式、约束、输入依赖、排除项、交付清单。细则见 references/baseline-and-model.md。
2. 盘点产物：列出实际提交/发布/声称完成的对象与位置；无对应则标「未映射」。
3. 映射表：每单元含可达性与阻断点字段。模板见 references/report-template.md。
4. 先可达再正确：以约定角色与约定路径取证；不可达则停止「通过」判定。可达性细则见 references/reachability.md。
5. 分型与定级：识别方法见 references/deviations.md。
6. 出报告：结构对齐 references/report-template.md。

基准不清时

• 高影响缺口（无法区分完成与偏移、无法判定范围或入口）→ 一次性澄清，中断等待。
• 低影响模糊 → 显式假设并记入报告，继续子集检测。

四维完成度与等级

维度	问法
覆盖度	该做的是否都有对应产物/结果？
可达度	按约定路径能否走到、拿到、用上？
正确度	抵达之后，结果是否做对？
闭合度	主路径 + 必要异常/边界 + 收尾是否闭环？

判定顺序：覆盖映射 → 可达 → 正确 → 闭合。存在未关闭 S0/S1（含关键不可达）→ 不得标「完成」。

等级：未开始 → 局部草稿 → 主路径可用 → 附条件完成 → 完成（另可标 超范围）。

可达性速查

判定	含义
可达	约定前置下可稳定抵达并观察
条件可达	依赖未写入基准的附加条件
不可达	约定路径走不到或拿不到观察
未证实	尚未完成可达性取证

存在 ≠ 可达；内部可调 ≠ 对外可达；演示可点 ≠ 约定路径可达。

五类偏差（速查）

类型	一句话	优先探针
错误	做错了	用规则/样例/公式证伪
虚假	只有完成的样子	换数据、断依赖、是否必须按剧本
偏移	做了真东西但不是要的	写清约定 A / 实然 B / 差异 C
遗漏	范围内应有而未有	应有 − 实有；排除项不算遗漏
过度	未授权超范围	单列；关键风险可否决「完成」

输出要求

• 默认产出完整检测报告（Markdown），含结论摘要、可达性统计、问题清单、虚假/偏移/不可达专项、附条件与证据索引。
• 用户指定路径则写入该路径；未指定则在回复中直接给出报告。
• 每个失败项必须写清：约定、实然、可达性/阻断点、证据、偏差类型与严重级。

交付前自检

• 已固定约定基准，未用习惯/模板替代？
• 每单元先做了可达性判定？不可达未被写成通过？
• 以约定角色/入口取证，而非特权账号或隐藏捷径？
• 失败项均能指出约定 vs 实然？
• 通过项均有证据？五类偏差已分型？
• 关键路径做过非剧本复核？「未证实」未被写成通过？
• 排除项未误判为遗漏？超范围已单列？
• 报告可供第三人复验（复核可达）？

快速口令

1. 约定是什么？写不出就先别判完成。
2. 产物在哪？指不出 → 遗漏/未证实。
3. 约定路径走得到吗？走不到 → 不可达，先别谈正确。
4. 证据是什么？无观察 → 不写通过。
5. 换条件还成吗？不成 → 查虚假/脆弱。
6. 是不是另一个问题？是 → 偏移。
7. S0/S1（含关键不可达）未清零 → 不能称完成。