门控即判据

Gate as Executable Criterion

PE-P-04内容已写满G09落地实践第 22 层

01为什么需要它

质量判断若停在人的观感上就不可复现：同一次改动，换一个人或换一天会得出不同结论，讨论只能靠印象与记忆。

• 把「这次改动是否可接受」写成一条会失败的脚本、用退出码作结论，判断才成为可重复执行的事实；阈值也随之内化在脚本里，想放宽就必须改脚本本身并留下痕迹，而不是在评审时说一句「这次先放过」。

02机制说明

一条可用的判据由四件事构成：断言（检查什么）、级别（失败是否阻断）、证据（失败时打印什么才够定位）、负向自检（一个必须让它失败的负例）。

• 判据最常见的三种失效形态都出在这四件事上
• 1. 恒真：断言的对象是空集，检查从未真正发生，脚本却返回通过，缺的是空集守卫
  2. 假绿：判据覆盖的对象少于结论所断言的对象，存量数据恰好落在判据面之外，于是「全绿」被读成「已达标」，判据面必须与结论面同宽
  3. 代理判据：目标性质难以直接检查，就退而检查一个容易测的替代物，再把替代物的结果当成结论，而替代物与结论之间那一步从未被验证。
• 数值阈值另有一条纪律：只有当把数据改成符合该阈值会改善内容时，阈值才配当硬判据，否则它只配作报告项逐条打印，因为此时问题在阈值而不在数据。
• 失败输出须给出对象标识、期望与实测三元组，否则失败不可定位；判据也不得为已识别的死代码或死令牌设置豁免，豁免会成为新的漏洞面。
• 门控与评测集互补：评测集回答质量是否变好，门控回答约束是否被违反。

03何时该用 / 何时不该用

04实验台

1. filepython

   查看代码

   def gate(items, limit):
       return all(x["score"] <= limit for x in items)      # 空集时循环体不执行，函数照样返回 True
   
   def gate_guarded(items, limit):
       assert items, "empty set: nothing was checked"      # 空集守卫：没有对象可检时必须失败
       return all(x["score"] <= limit for x in items)
   
   print("unguarded on empty set:", gate([], 5))
   try:
       gate_guarded([], 5)
       print("guarded on empty set: PASS (unexpected)")
   except AssertionError as e:
       print("guarded on empty set: FAIL:", e)
   print("guarded on real data:", gate_guarded([{"score": 3}], 5))

   预期观察：第一行打印 unguarded on empty set: True，说明没有守卫的判据在空集上恒真；第二行打印 guarded on empty set: FAIL: empty set: nothing was checked，说明守卫把「没有对象可检」变成可见失败；最后一行打印 guarded on real data: True，说明判据在真实数据上仍按预期工作。

2. filepython

   查看代码

   rows = [{"id": "a", "ok": True}, {"id": "b", "ok": False}]
   
   scope = rows[:1]                                       # 判据只覆盖第一个对象
   print("gate over scope:", all(r["ok"] for r in scope))
   print("claim over all rows:", all(r["ok"] for r in rows))

   预期观察：第一行打印 gate over scope: True：判据只覆盖一个对象且存量数据恰好不触发，于是显示全绿；第二行打印 claim over all rows: False，说明结论所断言的范围大于判据覆盖的范围时，全绿不构成达标结论。

05证据

06术语

07失效模式

• 恒真判据断言对象为空集时检查一次都没执行，脚本照样返回通过，问题从未被检查。
• 假绿判据覆盖的对象少于结论所断言的对象，存量数据恰好不触发，全绿被读成已达标。
• 代理判据用容易测的替代物代替难以直测的目标性质，替代物与结论之间那一步从未被验证。
• 阈值误升为硬判据把只影响版式的数值写成阻断条件，为过门控去改数据，反而降低内容质量。

08在本站知识结构中的位置

所属分组

G09落地实践

依赖深度

第 22 层（同层节点彼此无先后约束）

在 交互全景图 中定位本节点。