數學問題不是只有可解與不可解:多域問題診斷與 CMDC

Paper 01 的直接延伸,把 Mathematical Domain Gap Map 的 13 個域逐一展開成診斷問題與判準,並把診斷結果組成 Gap DAG(缺口彼此可能構成依賴關係,例如定義缺口會擋住形式化缺口,形式化缺口又會擋住證明缺口)。明確畫出核心邊界:Diagnosis ≠ Truth——診斷本身帶信心分數,且必須用刻意埋入已知缺口的基準測資評估自身的精確率與召回率,不是宣稱一次到位的真理判定。提出六個可否證假說(H1–H6),供後續 AMRR MVP 實驗驗證或推翻。