safety-eval-service/.cursor/skills/completion-check/references/reachability.md

50 lines
2.6 KiB
Markdown
Raw 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.

# 可达性检测判断
可达性回答:「约定的人,从约定的入口与前置出发,能否实际抵达约定结果?」
存在 ≠ 可达;内部可调 ≠ 对外可达;演示可点 ≠ 约定路径可达。
## 四类可达性
| 类型 | 判定问题 | 失败典型表现 |
|------|----------|--------------|
| 入口可达 | 约定入口是否存在且可被约定角色发现/使用? | 无入口、入口错误、未发布、未授权给约定角色 |
| 路径可达 | 从入口按约定步骤能否走到目标节点? | 断链、死路、永久加载、必经步骤缺失、被未约定墙拦截 |
| 产物可达 | 约定交付物能否被取得、打开或引用? | 链接失效、权限拒绝、介质缺失、仅口头声称有文件 |
| 复核可达 | 第三人能否按证据步骤独立复验? | 依赖私人口径、不可见环境、不可复现的一次性操作 |
## 判定值
| 判定 | 含义 | 后续处理 |
|------|------|----------|
| 可达 | 在约定前置与环境下可稳定抵达并取得观察 | 继续做正确度与闭合度判定 |
| 条件可达 | 仅在附加条件下可达,且该条件未写入基准或超出约定依赖 | 记缺口;关键项不得直接「通过」,最高「附条件完成」 |
| 不可达 | 按约定路径无法抵达或无法取得观察 | 单元不得「通过」;归入问题清单 |
| 未证实 | 尚未完成可达性取证 | 视同未通过,直至取证或降级确认 |
## 取证步骤(正确性判定之前)
1. 确认约定入口与角色、权限、环境。
2. 以约定身份出发;禁止默认使用交付方超级账号(除非基准明确允许)。
3. 只走约定路径;不采用未文档化捷径、隐藏开关、本地临时补丁。
4. 记录阻断点:位置、现象、是否可绕过、绕过是否依赖未约定条件。
5. 区分原因:入口缺失 / 路径断裂 / 权限墙 / 依赖不可得 / 产物不可取得 / 仅私有环境可达。
## 与其他偏差的关系
| 现象 | 优先归类 |
|------|----------|
| 完全没有对应产物 | 遗漏 |
| 有产物但约定路径走不到 | 不可达(可并存虚假) |
| 只有演示剧本或特权账号能走通 | 虚假 + 不可达 |
| 走到了但结果错 | 错误 |
| 走到了但解决的是另一个问题 | 偏移 |
| 基准未给出入口/环境导致无法验 | SX +「未证实」 |
## 严重级
- 主目标或关键单元不可达 → 至少 S1通常 S0。
- 非关键单元不可达 → S2。
- 入口文案不清但仍能抵达 → 可达 + 可记 S3。
- 基准未定义入口/环境 → SX +「未证实」。