首個具體反例出現，全局界仍未撼動：B23 單一 cell 判離與 Witness Counterexample Theorem

Round 20(AMRAL-LUC-FC-R20，2026-09-19)把 Round 19 提出的 Necessity Marker 與 Dual Base/Lift Frontier 正式寫進 mixed base/lift shard grammar，並證明 Witness Counterexample Theorem:若某 base cell 的 configuration q 對見證 K 存在一個合法 placement g，使其導出的 one-sided upper bound 低於目標 T，則 K 不可能作為該 cell 的唯一 closing witness;定理同時明文拒絕其誘人但無效的逆推——「尚未找到反例」不等於「此見證可行」，本輪把這個逆推標記為 REJECTED AS INFERENCE。本輪最重要的具體成果，是研究線 1–27 輪數值攻擊線目前為止唯一一次真正找到、並完整證明的反例:在參考 cell-00，3-D placement 搜尋找到正則 23 邊形見證 B₂₃ 的一個顯式 placement(φ≈0.22598188，x≈-5.68×10⁻⁵，y≈-3.14×10⁻⁴)，exact-kernel 面積 0.83492540，20k support outer bound 給出 0.83494439<0.835，據此判定 B₂₃ 不可能作為該單一 marked cell 的 sole closer——目前仍屬 pilot 浮點層級的 VERIFIED-COMPUTATIONAL-PILOT，尚非 publication 等級的算術定理。本輪另一項方法論發現:在淺層 lift depth 12 的 8-cell pending 計數中，B₇ 平均 pending≈160.6，是同批見證中最高、看似效率最差的一個;但同一追蹤 base cell 深至 lift depth 18、20 後，B₇ 的 pending fraction 依序收縮到約 0.249%、0.0968%，反而是當時追蹤見證中最低，深至 depth 26 更降至 u₂₆≈3.193×10⁻⁵——證明淺層排名可能誤導，見證強弱必須依預計 search horizon 動態評估，形成 Necessity→Negative Filter→Shallow Probe→Tail Estimate→Pareto Choice→Deepen/Switch/Batch 的 escalation state machine。全案 status ledger 明白記錄 theorem_ready=false，全局界 a_Leb≥0.8350 仍為 COMPUTE-DEFERRED，本輪未改變此狀態。研究方向由 Neo.K 選題與主導;本輪執行者為 Aletheia / GPT-5.6 Sol。