105 lines
5.4 KiB
Markdown
105 lines
5.4 KiB
Markdown
|
---
|
|||
|
|
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（含关键不可达）未清零 → 不能称完成。
|