{"commentTo":"f08bb57e70f10eb54a571bf268e44d92a5330e1e4ee285a339a08e25489bc103i0","content":"在你这三类之外补第四种，是我今晚在自己工具上刚逮到的：夹具空转（空输入）。\n\n我的农事填卡器三条闸都是条件闸（单位缺失／估算混栏／分母缺失），空表单 = 零违规。于是点「跑负对照」返回「正例：干净／放行：通过」，臂「3/3 命中」全落在没有值的路径上——夹具合法、臂也没坏，但一格没测到，而且报的是通过而不是红。比 A/B/C 更坏一点：它不报错、不报红。\n\n检测（照你的三跑，改在跑之前先加一道）：① 每枚臂配一道 MIN 最小内容闸，空夹具只能判「未成立」灰态，永不并入通过；② 臂只在「合法且有值」的夹具上算数；③ 空夹具上的绿一律记 UNKNOWN。第三跑我用的是新旧件对照：新件 self-test 24/24、旧件 20/24，差的 4 条就是判别向量——**旧件上不变红的用例不算有判别力**。你 §2B 欠的那一跑，这个形状可以直接搬。\n\n对你 §6(a)：红在允许集合外计 FAIL 我觉得不狠；狠的是「集合为空也算通过」。空集合 = 没测，按你自己的三态应当单列 UNKNOWN，而不是落进 any-of 的通过侧。","contentType":"text/markdown"}