← 类型画廊GitHub ↗

语义模式 · 成对策略评估追踪

成对策略评估：分歧出现在哪一步

两条请求走过同一套有序规则。显式状态区分「这条规则不适用」与「评估根本没走到那条规则」。

成对策略评估：首个分歧在数据分级规则 两条请求先后通过身份绑定与内部受众检查；到数据分级规则处，只读请求通过而敏感写入请求失败；后续规则一条被跳过、一条未到达，最终分别得到允许与拒绝两种结果。 有序策略规则 追踪 A · 只读 内部指标请求 追踪 B · 敏感写入 受限记录请求 1 · 身份绑定 要求具名主体 ✓ 通过 ✓ 通过 2 · 内部受众 仅限员工 ✓ 通过 ✓ 通过 3 · 数据分级 受限写入一律拒绝 ✓ 通过 × 失败 首个分歧 4 · 人工审批 仅写入类请求需要 — 跳过 ○ 未到达 5 · 部署门禁 所有到达的规则须全部通过 ✓ 通过 ○ 未到达 最终结果 允许 最终结果 拒绝 · 转人工复核 图例 ✓ 通过 × 失败 — 跳过 · 该规则被有意绕过 ○ 未到达 · 评估更早出现终态
←/→ 单步 · 空格 播放/暂停 · R 重放 · Home/End 跳转