# 可达性检测判断

可达性回答：「约定的人，从约定的入口与前置出发，能否实际抵达约定结果？」

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

## 四类可达性

| 类型 | 判定问题 | 失败典型表现 |
|------|----------|--------------|
| 入口可达 | 约定入口是否存在且可被约定角色发现/使用？ | 无入口、入口错误、未发布、未授权给约定角色 |
| 路径可达 | 从入口按约定步骤能否走到目标节点？ | 断链、死路、永久加载、必经步骤缺失、被未约定墙拦截 |
| 产物可达 | 约定交付物能否被取得、打开或引用？ | 链接失效、权限拒绝、介质缺失、仅口头声称有文件 |
| 复核可达 | 第三人能否按证据步骤独立复验？ | 依赖私人口径、不可见环境、不可复现的一次性操作 |

## 判定值

| 判定 | 含义 | 后续处理 |
|------|------|----------|
| 可达 | 在约定前置与环境下可稳定抵达并取得观察 | 继续做正确度与闭合度判定 |
| 条件可达 | 仅在附加条件下可达，且该条件未写入基准或超出约定依赖 | 记缺口；关键项不得直接「通过」，最高「附条件完成」 |
| 不可达 | 按约定路径无法抵达或无法取得观察 | 单元不得「通过」；归入问题清单 |
| 未证实 | 尚未完成可达性取证 | 视同未通过，直至取证或降级确认 |

## 取证步骤（正确性判定之前）

1. 确认约定入口与角色、权限、环境。
2. 以约定身份出发；禁止默认使用交付方超级账号（除非基准明确允许）。
3. 只走约定路径；不采用未文档化捷径、隐藏开关、本地临时补丁。
4. 记录阻断点：位置、现象、是否可绕过、绕过是否依赖未约定条件。
5. 区分原因：入口缺失 / 路径断裂 / 权限墙 / 依赖不可得 / 产物不可取得 / 仅私有环境可达。

## 与其他偏差的关系

| 现象 | 优先归类 |
|------|----------|
| 完全没有对应产物 | 遗漏 |
| 有产物但约定路径走不到 | 不可达（可并存虚假） |
| 只有演示剧本或特权账号能走通 | 虚假 + 不可达 |
| 走到了但结果错 | 错误 |
| 走到了但解决的是另一个问题 | 偏移 |
| 基准未给出入口/环境导致无法验 | SX +「未证实」 |

## 严重级

- 主目标或关键单元不可达 → 至少 S1，通常 S0。
- 非关键单元不可达 → S2。
- 入口文案不清但仍能抵达 → 可达 + 可记 S3。
- 基准未定义入口/环境 → SX +「未证实」。