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

105 lines
5.4 KiB
Markdown
Raw Permalink Blame History

This file contains ambiguous Unicode characters!

This file contains ambiguous Unicode characters that may be confused with others in your current locale. If your use case is intentional and legitimate, you can safely ignore this warning. Use the Escape button to highlight these characters.

---
name: completion-check
description: 对任意交付物做完成度、可达性、错误、虚假实现、偏移实现、遗漏与过度实现检测,并产出可复核的检测报告。用于验收、审计、完成度评估、假完成排查、不可达/断链/特权路径排查、偏移/遗漏检查;用户提到完成度、可达性、虚假实现、空壳、硬编码演示、偏移实现、漏做、验收检测、对照需求验真、附条件完成时使用。适用于软件、文档、数据、流程、方案、线下交付等任意形态;只检测与报告,不替交付方重做实现。
---
# 完成度与实现真实性检测
**核心原则**:对照约定的「应然结果」检验「实然产物」;完成度看覆盖、正确、闭合与可达;真实性看证据与可复核。先可达,再论正确与完成。
## 绝对边界
- 只做检测与报告;不重写实现、不补做交付、不把检测者偏好升格为基准。
- 不以某一仓库目录、技术栈、文件命名或组织习惯作为通过标准;只以本次约定基准为准。
- 声明「已完成」「已对接」「Done」不是证据证据不足只能判「未证实」不得写「通过」。
- 错误 / 虚假 / 偏移 / 遗漏 / 过度必须分型标注;可达性单独判定,不可达不得写「通过」。
- 禁止默认用特权账号、隐藏捷径或交付方私有入口冒充约定可达。
## 工作流程
` ext
固定约定基准
→ 盘点实然产物
→ 建立检测单元映射表
→ 逐单元:可达性判定 → 正确/闭合取证
→ 归类偏差 + 定严重级
→ 合成完成度等级
→ 输出检测报告
→ 争议项复验或澄清基准
`
### 步骤要点
1. **固定基准**:整理目标、范围、成功标准、验收方式、约束、输入依赖、排除项、交付清单。细则见 [references/baseline-and-model.md](references/baseline-and-model.md)。
2. **盘点产物**:列出实际提交/发布/声称完成的对象与位置;无对应则标「未映射」。
3. **映射表**:每单元含可达性与阻断点字段。模板见 [references/report-template.md](references/report-template.md)。
4. **先可达再正确**:以约定角色与约定路径取证;不可达则停止「通过」判定。可达性细则见 [references/reachability.md](references/reachability.md)。
5. **分型与定级**:识别方法见 [references/deviations.md](references/deviations.md)。
6. **出报告**:结构对齐 [references/report-template.md](references/report-template.md)。
### 基准不清时
- 高影响缺口(无法区分完成与偏移、无法判定范围或入口)→ 一次性澄清,中断等待。
- 低影响模糊 → 显式假设并记入报告,继续子集检测。
## 四维完成度与等级
| 维度 | 问法 |
|------|------|
| 覆盖度 | 该做的是否都有对应产物/结果? |
| 可达度 | 按约定路径能否走到、拿到、用上? |
| 正确度 | 抵达之后,结果是否做对? |
| 闭合度 | 主路径 + 必要异常/边界 + 收尾是否闭环? |
判定顺序:覆盖映射 → 可达 → 正确 → 闭合。存在未关闭 S0/S1含关键不可达→ 不得标「完成」。
等级:未开始 → 局部草稿 → 主路径可用 → 附条件完成 → 完成(另可标 超范围)。
## 可达性速查
| 判定 | 含义 |
|------|------|
| 可达 | 约定前置下可稳定抵达并观察 |
| 条件可达 | 依赖未写入基准的附加条件 |
| 不可达 | 约定路径走不到或拿不到观察 |
| 未证实 | 尚未完成可达性取证 |
存在 ≠ 可达;内部可调 ≠ 对外可达;演示可点 ≠ 约定路径可达。
## 五类偏差(速查)
| 类型 | 一句话 | 优先探针 |
|------|--------|----------|
| 错误 | 做错了 | 用规则/样例/公式证伪 |
| 虚假 | 只有完成的样子 | 换数据、断依赖、是否必须按剧本 |
| 偏移 | 做了真东西但不是要的 | 写清约定 A / 实然 B / 差异 C |
| 遗漏 | 范围内应有而未有 | 应有 实有;排除项不算遗漏 |
| 过度 | 未授权超范围 | 单列;关键风险可否决「完成」 |
## 输出要求
- 默认产出完整检测报告Markdown含结论摘要、可达性统计、问题清单、虚假/偏移/不可达专项、附条件与证据索引。
- 用户指定路径则写入该路径;未指定则在回复中直接给出报告。
- 每个失败项必须写清:约定、实然、可达性/阻断点、证据、偏差类型与严重级。
## 交付前自检
- [ ] 已固定约定基准,未用习惯/模板替代?
- [ ] 每单元先做了可达性判定?不可达未被写成通过?
- [ ] 以约定角色/入口取证,而非特权账号或隐藏捷径?
- [ ] 失败项均能指出约定 vs 实然?
- [ ] 通过项均有证据?五类偏差已分型?
- [ ] 关键路径做过非剧本复核?「未证实」未被写成通过?
- [ ] 排除项未误判为遗漏?超范围已单列?
- [ ] 报告可供第三人复验(复核可达)?
## 快速口令
1. 约定是什么?写不出就先别判完成。
2. 产物在哪?指不出 → 遗漏/未证实。
3. 约定路径走得到吗?走不到 → 不可达,先别谈正确。
4. 证据是什么?无观察 → 不写通过。
5. 换条件还成吗?不成 → 查虚假/脆弱。
6. 是不是另一个问题?是 → 偏移。
7. S0/S1含关键不可达未清零 → 不能称完成。