← 哥德巴赫反向結構閉合綱領 · PROGRAM-GOLDBACH · SRBRD

SRBRD:對稱根界關係域與篩法—奇偶性邊界

Symmetric Root-Bounded Relation Domain · 2026-09-30 · 26 份文件(SRBRD-00 至 25)

SRBRD 先做一件精確的事:對每個 m ≥ 3,把「2m 是否有哥德巴赫對」改寫成一個有限的對稱根界關係域 (Ωm, Σ×Qm, Rm)——2m 有質數對 ⇔ 殘餘集非空;反例 ⇔ 這個有限域被有限個餘數胞完全覆蓋(00)。接著三段:00–10 用有限佔用矩(Bonferroni、生成森林、危險複形、矩多面體 LP)對每個固定的 m 給出非覆蓋證書,到第 10 篇作者自己判定「無相位的一致化失敗」;11–18 轉向篩法:根補全、餘因子狀態、半質數邊界、精確傳輸恆等式 MPP = nP − nSP + MSS、Buchstab 列流主恆等式,以及常數帳(理想裕度 1.70163,天真列成本 60.5588,固定列 BV 成本 29.63,水平門檻 θ* = 0.96288,列乘子須 R < 1.23315);19–25 審計哪些外部大模數定理(BFI、Maynard II/III、Lichtman、Pascadi、Yang 2026)能提供缺的輸入,把缺口定位到低列 t ∈ [1/3, 2/5] 的一條窄「互補指數帶」,最後以「GOLDBACH STILL OPEN;RSFLD NOT YET PROVED;CONSTANT CROSSING NOT YET PROVED」收尾。

誠實的現況:26 份中沒有任何一句話宣稱哥德巴赫、Chen 型結果或任何部分結果已被本系列證明;每份的 Commit Decision 都把 goldbach_proved/uniform_goldbach_closure/global_noncover_proved 設為 false,每份狀態行都帶著「未證明」句式。「PASS」是各篇自己的驗收閘門,「Closure」是這個計畫的有限閉合詞彙(26 篇裡有 19 篇的標題含這個詞);兩者都不是外部驗證、也不是已達成的閉合。所有證書都是逐個 m 的有限證書,沒有一致的陳述。全部是 v0.1、同一天、沒有審稿、沒有機器驗證(SRBRD-00 自己寫「not yet Lean-verified」)。

上架前的通讀重現了什麼:以暴力計算重現了 #Res(m) = RG−(2m)(m = 3…3000)、SRBRD-01 附錄 B 的 8 列表、奇階 Bonferroni 在 3 ≤ m ≤ 5000 皆可用 q ≤ 5 認證、SRBRD-14 傳輸恆等式(m = 3…4000)、SRBRD-15 的列鎖與三角支撐(m = 3…6000)、SRBRD-16 與 18 的數值表,並重算了全部常數。這只檢查有限模型內部的算術,不檢查模型本身;該通讀不是獨立審稿人,腳本不在本包中。SRBRD-05 至 09 的掃描宣稱、SRBRD-10 的數值與 SRBRD-21 的外部證明依賴審計沒有重現。

後面的篇章修正前面的篇章:SRBRD-13 更正 SRBRD-11 的 rough 謂詞(≤ z 的質數被誤當成障礙);SRBRD-20 縮小了 SRBRD-19 的「缺失交集」標題;SRBRD-21 撤回 SRBRD-20 的「可能的容易結果」;SRBRD-25 釐清 SRBRD-18/22/23 把 3/5 歸給錯誤權重類的混用。前面的篇章原文並未改動,所以請順著這條鏈讀。外部輸入與版本漂移:SRBRD-19、20、23、25 引用 Yang arXiv:2608.13299 的 v2(2026-09-03),但引述的定理編號與水平屬於 v1(2026-08-13);在 v2 重新對照之前,請不要把「現行線性篩水平為 3/5」當成當前的技術現況。Chen 定理在系列中只當外部基準,沒有被重新證明或使用。

作者與出處:26 份的標頭都寫「作者:Neo.K;Aletheia(GPT-5.6 Sol)」,沒有區分誰主導、誰執行;除 SRBRD-11 一處把「第二次除法」的直覺歸給使用者,檔案內沒有其他角色說明,本站不推測。SRBRD-00 至 10、12 至 14 沒有參考文獻;沒有任何程式碼或資料附在有限掃描(m 到 5000、105、106)旁邊。資料夾名「SRBRD-0 — Exact Representation Kernel」是第 00 篇的標題,不是整個系列的名字。每份結尾的「下一輪建議」會以一個下一篇的標題開頭,按 H1 切分會切錯。

閱讀路徑:00(精確重新編碼)→ 01(第一個壓縮與 no-go)→ 03(中心—邊界)→ 09(最強的有限證書族)→ 10(第一個一致化障礙)→ 11(奇偶性審計)→ 14、16(精確恆等式)→ 17、18(常數帳)→ 20、21(假設審計與其撤回)→ 25(終點)。其餘 13 份不另開頁面,列在下方表格並可下載,附一句話主張與旗標。原文是繁體中文夾英文術語;數學式是一個符號一行的顯示式,頁面載入時才在瀏覽器渲染。

獨立頁面 · 13 頁

00、01、03、09、10、11、14、16、17、18、20、21、25;其餘見下方表格。 13 個登錄閱讀頁面(13 份正文)已提供完整中英雙語;權威原文與全文譯本均可分別下載。翻譯不代表獨立數學驗證,也不提升原文的證據等級。下方另外 13 份僅供下載的原件不包含在上述全文雙語範圍內,維持原始位元組。

全部文件 · Files

有獨立頁面的文件與其餘 13 份的原始位元組,未經改寫。其餘文件附一句話主張與旗標(「無」=沒有發現誇大;「輕微」=措辭可能被過度解讀、引用版本落後,或被後面的篇章更正)。完整封存保存在 AMRAL 的研究封存庫,依 SHA-256 逐檔驗證。