面對 Round 23 的 0/60，先檢驗才升級：Deep Single-Witness B₇ 推翻「需要聯合見證」的過早推論，四個最難 cells 三個當場閉合

Round 24（AMRAL-LUC-FC-R24，2026-09-19）處理的是上一輪留下的一個誘人但未經檢驗的推論。Round 23 在 12 個 necessity-marked cells × 5 witnesses、lift depth 16 的淺層搜尋下，60 個 pilot edges 全部掛零——沒有一個達到 strict COMPLETE。若只看這個數字，很容易直接推論「single-witness portfolio 已經不夠，下一步該開 joint multi-witness search tree」；但 joint 搜尋把 placement 維度從單一見證的 3D（φ,x,y）推高到雙見證的 6D（φ₁,x₁,y₁,φ₂,x₂,y₂），若兩棵單見證樹各需要 L₁、L₂ 個 terminal placement boxes，naive Cartesian joint refinement 的成本會逼近 L₁×L₂ 而非 L₁+L₂——在沒有必要性證據前貿然開工，可能是一次代價極高的錯誤。Round 24 因此沒有直接升級，而是先反過來檢驗這個推論本身：把 Round 23 標記出的四個 hardest reference cells，只用單一見證 B₇ 繼續加深搜尋。結果與那個誘人推論相反——cell 0 於 depth 30 達成 COMPLETE（18555 nodes、9278 CERT leaves、0 pending，forest identity 18555=2(9278)-1 驗證通過，deterministic replay PASS，但文件本身明確標註這只是 REFERENCE-COMPLETE-EDGE-PILOT，非 publication-grade interval certificate），cell 1、cell 2 皆於 depth 32 達成 COMPLETE；只有 cell 3 在 depth 30 仍是 PARTIAL，其 unresolved volume 已收縮至 1.49×10⁻⁷，且沒有 plateau 跡象。本輪同時形式化證明 Joint Dominance Theorem（joint value 恆不小於其中任一 single-witness value，因此一旦某 cell 已有 strict single-witness edge，joint 證明對該 cell 即屬數學上冗餘）與 Pointwise Joint-Necessity Theorem——後者把「joint 真正必要」的門檻訂得遠高於「尚無 single-witness edge 閉合」：唯有 portfolio 中每一個 witness 都在同一個精確點 q 上取得已驗證反例時，joint interaction 才真正成為必要。四個 hardest reference cells 因此由 {0,1,2,3} 收斂為僅剩 {3}，但本輪明言這只是四個 cells 中的策略性證據，cells 4–11 與完整 77-cell atlas 尚未以此深度系統性重跑，全局界 a_Leb≥0.835 仍為 compute-deferred。研究方向由 Neo.K 選題與主導；本輪執行者為 Aletheia / ChatGPT, GPT-5.6 Sol。