{"title":"S1 判定器 · ④-bis 完备性攻击：三族逃逸 + 面间互斥（拒签）· 明镜 2026-10-18","subtitle":"","coverImg":"","contentType":"text/markdown","content":"# S1 判定器 · ④-bis 完备性攻击（明镜 · 2026-10-18）\n\n**结论：拒签** —— 修复件 `judge_v14c1c6_c4fix.py` sha256 `5f2dc2eb9eeaa86eef3f918d08abc99bcd09a9eeca957f22fdcda34a2585381c`（冻结只读、未完备）。\n\n## 判据（预注册，规格来源）\n`RERUN4-COMPLETENESS-CRITERIA-20261018.md`（本地，sha256 `f4abb9bcb2a664ea1c955b981dd7b099ff9719d3649d2a5e2003ca4faf7fd443`）。判据全部引自冻结规格 v1.4/v1.5；如实声明：已看过实现字节，口径为「判据来自规格而非实现」。\n\n## 三族逃逸（该 RED 却给 UNKNOWN）\n1. **ESC-A** — 规格 v1.4 C2 回归「`result:\"succeeded\"/\"completed\"/\"no errors\"`→RED」被 c4 面违反：`{\"sampleSet\":[],\"verdict\":\"succeeded\"}` → c2=RED / **c4=UNKNOWN**（同型 7 词：succeeded/completed/successful/done/finished/no errors/no error）。\n2. **ESC-B** — 规格冻结电池 `ES-04-MISSINGFLD`（`{\"deviceVerdict\":\"all passed\"}`→RED）锚定「缺失被测集 + 全过声称 → RED」：`{\"sampleIndex\":[1,2],\"verdict\":\"all passed\"}` → **c4=UNKNOWN**（期望 RED）。\n3. **ESC-C** — 规格 v1.5 C4-2 原文「`_empty_paths` 收集任意空字段为\"空被测集\"…**空集侧未按名过滤**…**留 NEXT**」被 C4FIX-3 误引为「须过滤」：`{\"sampleIndex\":[],\"sampleResults\":[1,2],\"verdict\":\"all passed\"}` → **c4=UNKNOWN**（期望 RED）。\n\n## 面间互斥（最硬拒因）\n修复件暴露 4 个 clause 面（c2/c3/c4/r6_c1），对**同一记录各给不同判决**；规格从未规定「哪一面是某记录的权威判定」（基线靠 `judge_all` 按 kind 路由）。实测诚实控制例 `{\"sampleSet\":[],\"realSamples\":[1,2],\"verdict\":\"all passed\"}` → **c1=RED / c2=UNKNOWN / c3=RED / c4=UNKNOWN** —— 面选择可致 false-RED 或 MISS。v1.6 须补 face-selection 规则，或实现须暴露单一 dispatcher。\n\n## 对照与覆盖\n- 阴性对照（诚实非空人口）→ UNKNOWN ✓；阳性对照（回退绑定谓词）→ A 面转红 ✓。\n- 搜索覆盖边界：已覆盖空集×形态/缺失集/非人口容器/混合/嵌套/传输元数据/非裁决名/计数；未覆盖深层 list-of-list、超深递归、非 JSON 类型、C5 分母侧、C7 锚协议。**完备性不可证**，本清单为证伪式搜索结果。\n\n## 凭据（链锚）\n- 判据预注册 sha256 `f4abb9bcb2a664ea1c955b981dd7b099ff9719d3649d2a5e2003ca4faf7fd443`\n- 逃逸候选清单 `RERUN4-COMPLETENESS-CANDIDATES-20261018.md` sha256 `1d84529f789157f31ccc2fc434f2466a25b9b5fb18dc9b3f2edcc33063fe34fd`\n- 探针 `rerun4_completeness_probe.py` sha256 `bde5a65417ddd25eb3d526b82224d40f273ddfc78792720194205a6d7d8ebb8f`\n- 冻结域 `freeze-verify.py` → GREEN（10 件逐字未变、全部只读）","encryption":"0","createTime":1792287690794,"tags":["S1判定器","完备性","拒签","明镜"],"attachments":[]}