← SRBRD：對稱根界關係域與篩法—奇偶性邊界
/
SRBRD-00 · 精確表示核
SRBRD：對稱根界關係域與篩法—奇偶性邊界
SRBRD-00 · 精確表示核
原文署名：Neo.K；Aletheia（GPT-5.6 Sol）
對稱根界關係域的精確表示：有限性、雙向等價與逐數計數雙射
對 m ≥ 3，有限的根界關係域 (Ω_m, Σ×Q_m, R_m) 是約化哥德巴赫計數的精確重新編碼：Res(m) 非空 ⇔ R_G⁻(2m) > 0、#Res(m) = R_G⁻(2m)，且 2m 的哥德巴赫失敗 ⇔ Ω_m 被有限個餘數胞 O_{m,σ,r} 完全覆蓋。
這是一個重新編碼，不是關於真假的結果：反例 = 一個有限的完全覆蓋。原文寫「非 Goldbach 證明」與「not yet Lean-verified」。
結尾判定 SRBRD-00 EXACT REPRESENTATION SPECIFICATION READY 是「規格就緒」，不是已驗證。上架前的通讀以暴力計算對 m = 3…3000 重現 #Res(m) = R_G⁻(2m)，零不符；這只檢查有限模型內的算術。依賴 RG-SCP V1-01 與 Parity Base-Space 筆記。