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

2.6 KiB
Raw Permalink Blame History

可达性检测判断

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

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

四类可达性

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

判定值

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

取证步骤(正确性判定之前)

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

与其他偏差的关系

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

严重级

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