← AMRAL · PROGRAM-RCHM-HODGE

RCHM × 霍奇研究輪

RCHM × Hodge Research Round · 方法論草案加 27 輪內部研究筆記（2026-09-17 至 09-18）；沒有任何一輪證明或反證霍奇猜想

RCHM（Relational Constraint–Handoff Methodology，關係約束交接方法論）是 Neo.K 的一套把「相交」「無限」「有限」「存在」寫成有型別的關係與交接的方法。這個案例收錄它套用在霍奇猜想上的第一批文件：一份 zh-TW 的方法論草案，加 27 輪英文的內部研究筆記（R01–R27）。內容分四段：(A) R01–R06，以文獻為基礎把 Hodge 重寫成見證／交接／載體問題（Kloosterman、Duque Franco–Villaflor Loyola、Movasati–Sertoz、Cifani–Pirola–Schlesinger）；(B) R07–R13，在明確的四次曲面上，以精確 SymPy 計算從 Hodge 零化子簽名重建曲線；(C) R14–R19，把一個「橋搜尋編譯器」拿已被他人證明的案例校準（Weil 四維體、三次體、Gushel–Mukai、Verra、Küchle c7／d3）；(D) R20–R27，Küchle c5 Fano 四維體的格與週期簿記，最後停在一個尚未解決的整數 ρ_per。沒有任何一輪對 c5 或任何開放的個案陳述 Hodge 猜想的結果。

誠實的現況：沒有任何一輪宣稱證明或反證霍奇猜想或任何開放的個案；「counterexample」一詞在整批文件裡一次也沒出現。內容是三類：(i) 在構造出的例子上做的精確計算，可重現——本站把 22 個驗證腳本全部重跑過，stdout 與隨包輸出逐位元組相同，29 個 JSON 語意相同，MANIFEST 的 sha256 全部相符；(ii) 對他人已證結果的重播（R14–R19，用已知案例校準）；(iii) 對 Küchle c5 的格與週期分析，未經審稿、未解（R27：「Round 27 does not claim: rho_per=0」，並稱這是「目前可得最安全的閉合」）。本站另外用自己的程式重算了 c5 的基礎數字（Gram [[20,16],[16,14]]、b₄ = 26、χ(Ω³(H)) = −5、χ(Ω^p) = −1, 4, −4），都吻合；爆開推前、Wu 類一步與 R27 的 BWB 資料沒有獨立檢查。

錯誤與更正都保留在原文裡：R20 的秩 24 區塊在 R21 更正為秩 22；R22 的「3A₂」與 R23 的「det 648」在 R24 第 26 節撤回；R24 結尾的負面結論（直接整係數 K3^[2] 同構 = FAIL）被 R25 推翻（R24 用了只在偶么模環境格中成立的 q_T = −q_A）；R11 讓 R10 的跨型圖冊塌縮。驗證腳本的 PASS 只是對手打輸入的算術：R22、R23 對後來撤回的值也印出「ALL … EXACT CHECKS PASSED」，R15–R19 把文獻事實寫成固定的 PASS，R27 重新加總一份儲存的證書、沒有附 BWB／HLYY 生成器。本站保留這些原文，並在 R24 頁加上勘誤橫幅。

作者與出處：這批文件沒有任何署名行——28 份文件與腳本都找不到作者或 AI 角色的字樣（作者、Neo、Aletheia、GPT、Claude 等都沒有）。唯一的出處線索是 21 份 verification_output.txt 結尾相同的沙盒回溯，顯示這些計算在託管式執行環境中跑過，不是在 Neo 的機器上。是誰執行、用哪個模型，原文沒有寫，本站不推測，待確認後補上。版本號是輪次計數（R10 = v1.0，R27 = v2.7），不是獨立發行版；各輪沒有「主張／狀態」欄位，狀態詞彙從非正式的保留語，演變成證據型別、PASS／UNKNOWN／FAIL、T0–T2、REUSED／REDUCED／CONDITIONAL／NOVEL。

與本站霍奇猜想案例的關係：這是一條平行的新線，不是重複，也不是續篇。霍奇猜想案例是 MLRSC（Neo.K 的框架，57 輪 Aletheia 執行，Weil 阿貝爾六／八維體、Markman 等）；「RCHM」這個名稱在該案例的頁面裡從未出現。本站 Lebesgue 案例曾說 RCHM 與霍奇猜想案例底層是同一套框架，這批文件才是第一份明確寫著「RCHM × Hodge」的材料，它晚於霍奇案例的上線（2026-09-16）。兩者的接觸點只有：同樣引用兩篇 Weil 四維體論文、Kuga–Satake、三次四維體，以及幾個意思不同的共用詞（carrier、witness、gate、bridge、Pareto）。本站沒有 Küchle、Gushel–Mukai、EPW 或 Verra 四維體的其他內容。

閱讀路徑：先讀 R27（終點）與 R24 → R25（一次完整的錯誤、更正與推翻）；想知道方法怎麼起步，讀方法論草案、R01、R02、R06；想看已知案例上的重現，讀 R07、R08、R12、R14、R16；想看 Küchle c5 的進展，讀 R19 → R21 → R24 → R25 → R27。其餘輪次不另開頁面，列在下方表格並提供下載。方法論草案是一份自稱「內部」的文件，本站依 Neo 的指示一併公開。

獨立頁面 · 方法論加 14 輪

方法論草案與 14 輪有獨立頁面，現均提供中英雙語全文。方法論以中文原文、R01–R27 以英文原文為研究主張的權威來源；其餘 13 輪只提供原文下載，未新增全文翻譯。

全部文件 · Files

有獨立頁面的 15 份文件與其餘各輪的原始位元組，未經改寫；R07–R27 的 21 個原始 zip 另附。其餘 13 輪附一句話主張與旗標（「無」＝沒有發現誇大；「輕微」＝措辭可能被過度解讀，或系列後面已更正）。完整封存保存在 AMRAL 的研究封存庫，依 SHA-256 逐檔驗證。

Relational_Constraint_Handoff_Methodology_v0.1_zhTW.md — RCHM · 方法論 v0.1
RCHM_Hodge_Research_Round_01_v0.1.md — R01 · 見證缺陷與剛性障礙
RCHM_Hodge_Research_Round_02_v0.2.md — R02 · 約束疊加與見證—載體轉換
RCHM_Hodge_Research_Round_06_v0.6.md — R06 · 載體逆問題與信心格
RCHM_Hodge_Research_Round_07_v0.7.md — R07 · 第一個閉環載體重建
RCHM_Hodge_Research_Round_08_v0.8.md — R08 · 有理四次曲線的負對照
RCHM_Hodge_Research_Round_11_v1.1.md — R11 · 可實現性支配與閘門序
RCHM_Hodge_Research_Round_12_v1.2.md — R12 · 從已發表週期簽名重建
RCHM_Hodge_Research_Round_14_v1.4.md — R14 · Weil 四維體的橋重播
RCHM_Hodge_Research_Round_16_v1.6.md — R16 · 三次四維體的校準
RCHM_Hodge_Research_Round_19_v1.9.md — R19 · 祖源化約與新穎性前沿
RCHM_Hodge_Research_Round_21_v2.1.md — R21 · Küchle c5 的祖源正規化
RCHM_Hodge_Research_Round_24_v2.4.md — R24 · 更正與精確飽和（含勘誤）
RCHM_Hodge_Research_Round_25_v2.5.md — R25 · 奇么模黏合更正（推翻 R24）
RCHM_Hodge_Research_Round_27_v2.7.md — R27 · 週期共振的有限譜問題（終點）
RCHM_Hodge_Research_Round_03_v0.3.md — R03 · 關係譜、約束關聯幾何與對稱釘住耦合：把耦合係數當成射影空間的點，定義約束關聯簇，證明精確的雙通道秩三分（秩 0／1／2 對應全部／恰好一個／沒有合法關係），並把 Kloosterman 的例外耦合 λ = +1（三次）與 λ = −1（四次）讀成對稱釘住的譜點。原文：在這些例子中成立，不主張為普遍定理。旗標：無。
RCHM_Hodge_Research_Round_04_v0.4.md — R04 · 約束擬陣、行列式相閾值與算術合法性：m ≥ 3 個通道時，耦合族的降秩軌跡是行列式的，最小消去是可表示的「約束擬陣」的圈；並補上算術缺口：複數關係不必是有理的 Hodge 關係。旗標：無（一般性假設下的標準行列式／擬陣事實）。
RCHM_Hodge_Research_Round_05_v0.5.md — R05 · Plücker 相圖冊、圈誕生幾何與賦值退化：把約束擬陣提升成 Grassmannian 的點，給出基本圈公式與一個下降的噴射持久性過濾；原文標為「計算啟發式，不是關於 Hodge 代數性的定理」。旗標：無。
RCHM_Hodge_Research_Round_09_v0.9.md — R09 · 包絡相對的分解關聯作為無載體的純度分裂器：在包絡 Q = P¹×P¹ 上，10 維幾何區塊內以唯一核恢復 F_C（雙次數 (3,1)）與 F_D ((1,3))，並以一個顯式 12 維延伸加半連續性說明一般的 2 維污染仍保持唯一恢復；實際的 Hodge 雜質沒有計算。旗標：無。
RCHM_Hodge_Research_Round_10_v1.0.md — R10 · 雜質別名判別式與餘維三穩健界：對兩個真因子的同型別名，行列式與 Gröbner 精確計算把壞雜質軌跡界在 Gr(2,6) 內餘維 ≥ 3，所以一般的 2 維污染保持兩種載體的唯一恢復；原文：同型穩健 ≠ 普遍載體型穩健。旗標：無。
RCHM_Hodge_Research_Round_13_v1.3.md — R13 · 非因子盲基準：由合沖恢復單一扭三次載體：在自建、座標盲化的基準（三個沒有公因子的二次式加一個環境四次式）上，找到 2 個線性合沖、一個重生理想的 Hilbert–Burch 矩陣、Hilbert 多項式 3n + 1，因此是單一扭三次曲線。旗標：輕微（「盲」只指求解器不讀 ground_truth.json；基準由同一作者生成）。
RCHM_Hodge_Research_Round_15_v1.5.md — R15 · 橋搜尋編譯器：型別化閘門編譯器（C0–C7 上同調閘門、G0–G6 幾何閘門；PASS／UNKNOWN／FAIL），從 Weil 四維體簽名導出秩 6 的 K3 型反向 Kuga–Satake 指紋，並拒絕最大 Mumford–Tate 的一級張量橋。原文：「不是自動的 Hodge 猜想求解器」「橋的發現 ≠ 橋的證明」。旗標：無（驗證腳本對文獻事實的 PASS 是寫死的輸入，不是獨立檢查）。
RCHM_Hodge_Research_Round_17_v1.7.md — R17 · Gushel–Mukai 四維體作為第二個推廣測試：秩 22 的消失 Hodge 結構 (1,20,1) 與雙 EPW 六次體（K3^[2]）的 H²_prim 吻合，有三種獨立實現支持；Fu–Moonen 的已知 GHC 只當作外部真值集。旗標：無。
RCHM_Hodge_Research_Round_18_v1.8.md — R18 · Verra 四維體：平行的 K3／雙 EPW 橋與 Pareto 最優橋搜尋：兩條低維橋都有效；提議在 Pareto 前緣搜尋之前先做證明層級過濾（T0／T1／T2）。旗標：無（含一個插入的未編號第 10.5 節，編輯痕跡）。
RCHM_Hodge_Research_Round_20_v2.0.md — R20 · Küchle c5 在新穎性前沿：環境格抽取、OG10 假陽性拒絕與退化橋候選：精確局部化給出 σ₂、σ₁₁ 的 Gram 矩陣 [[20,16],[16,14]]（行列式 24），移除後留下「操作性」的秩 24、(1,22,1)、簽名 (22,2) 區塊，直接的 OG10 橋模板在二次簽名閘門被拒。旗標：輕微（秩 24 的難區塊被 R21 取代為秩 22）。
RCHM_Hodge_Research_Round_22_v2.2.md — R22 · Küchle c5：旗中心的 Porteous 塌縮與六次 del Pezzo A₂ 根區塊候選：旗中心 F 的類是 σ₂ − σ₁₁（沒有新方向），並在六次 del Pezzo 曲面的 Pic 中定位一個 A₂(−1) 根區塊，宣稱例外提升的 Gram 為 3A₂；下降到五維體留作開放閘門。旗標：輕微（錯誤的 3A₂／det 27 在 R24 第 26 節撤回；驗證腳本對錯誤值也印出 PASS）。
RCHM_Hodge_Research_Round_23_v2.3.md — R23 · 閉合 A₂ 下降閘門：爆開交截幾何、精確根下降與秩 4 Gram 子格：顯示 A₂ 根類下降到五維體的 CH² 且無左例外修正，與可見平面正交，給出顯式的秩 4 Gram 子格（宣稱行列式 648）。旗標：輕微（Gram 的 (6,−3;−3,6)、det 648 與「72」飽和候選被 R24 取代；下降的結論倖存）。
RCHM_Hodge_Research_Round_26_v2.6.md — R26 · Küchle c5 週期閘門：精確 Euler 局部化、五維週期過剩與單一共振上同調障礙：精確的等變指標計算給出 χ(Y, Ω³_Y(H)) = −5；配合穩定性／Nakano 消失與餘法線序列，得 dim ker(dP) = 5 + ρ、rank dP = 20 − ρ，其中 ρ = h²(Y, Ω³_Y(H)) 未定；「父核猜想」只標為猜想。旗標：無（本站以自己的 HRR 程式獨立重現 χ = −5）。
RCHM_Hodge_Research_Round_07_v0.7.zip — R07 原始 zip（論文、驗證腳本、verification_output.txt、MANIFEST.json 與 JSON 證書）；verification_output.txt 結尾的沙盒警告不屬於任何計算。
RCHM_Hodge_Research_Round_08_v0.8.zip — R08 原始 zip（論文、驗證腳本、verification_output.txt、MANIFEST.json 與 JSON 證書）；verification_output.txt 結尾的沙盒警告不屬於任何計算。
RCHM_Hodge_Research_Round_09_v0.9.zip — R09 原始 zip（論文、驗證腳本、verification_output.txt、MANIFEST.json 與 JSON 證書）；verification_output.txt 結尾的沙盒警告不屬於任何計算。
RCHM_Hodge_Research_Round_10_v1.0.zip — R10 原始 zip（論文、驗證腳本、verification_output.txt、MANIFEST.json 與 JSON 證書）；verification_output.txt 結尾的沙盒警告不屬於任何計算。
RCHM_Hodge_Research_Round_11_v1.1.zip — R11 原始 zip（論文、驗證腳本、verification_output.txt、MANIFEST.json 與 JSON 證書）；verification_output.txt 結尾的沙盒警告不屬於任何計算。
RCHM_Hodge_Research_Round_12_v1.2.zip — R12 原始 zip（論文、驗證腳本、verification_output.txt、MANIFEST.json 與 JSON 證書）；verification_output.txt 結尾的沙盒警告不屬於任何計算。
RCHM_Hodge_Research_Round_13_v1.3.zip — R13 原始 zip（論文、驗證腳本、verification_output.txt、MANIFEST.json 與 JSON 證書）；verification_output.txt 結尾的沙盒警告不屬於任何計算。
RCHM_Hodge_Research_Round_14_v1.4.zip — R14 原始 zip（論文、驗證腳本、verification_output.txt、MANIFEST.json 與 JSON 證書）；verification_output.txt 結尾的沙盒警告不屬於任何計算。
RCHM_Hodge_Research_Round_15_v1.5.zip — R15 原始 zip（論文、驗證腳本、verification_output.txt、MANIFEST.json 與 JSON 證書）；verification_output.txt 結尾的沙盒警告不屬於任何計算。
RCHM_Hodge_Research_Round_16_v1.6.zip — R16 原始 zip（論文、驗證腳本、verification_output.txt、MANIFEST.json 與 JSON 證書）；verification_output.txt 結尾的沙盒警告不屬於任何計算。
RCHM_Hodge_Research_Round_17_v1.7.zip — R17 原始 zip（論文、驗證腳本、verification_output.txt、MANIFEST.json 與 JSON 證書）；verification_output.txt 結尾的沙盒警告不屬於任何計算。
RCHM_Hodge_Research_Round_18_v1.8.zip — R18 原始 zip（論文、驗證腳本、verification_output.txt、MANIFEST.json 與 JSON 證書）；verification_output.txt 結尾的沙盒警告不屬於任何計算。
RCHM_Hodge_Research_Round_19_v1.9.zip — R19 原始 zip（論文、驗證腳本、verification_output.txt、MANIFEST.json 與 JSON 證書）；verification_output.txt 結尾的沙盒警告不屬於任何計算。
RCHM_Hodge_Research_Round_20_v2.0.zip — R20 原始 zip（論文、驗證腳本、verification_output.txt、MANIFEST.json 與 JSON 證書）；verification_output.txt 結尾的沙盒警告不屬於任何計算。
RCHM_Hodge_Research_Round_21_v2.1.zip — R21 原始 zip（論文、驗證腳本、verification_output.txt、MANIFEST.json 與 JSON 證書）；verification_output.txt 結尾的沙盒警告不屬於任何計算。
RCHM_Hodge_Research_Round_22_v2.2.zip — R22 原始 zip（論文、驗證腳本、verification_output.txt、MANIFEST.json 與 JSON 證書）；verification_output.txt 結尾的沙盒警告不屬於任何計算。
RCHM_Hodge_Research_Round_23_v2.3.zip — R23 原始 zip（論文、驗證腳本、verification_output.txt、MANIFEST.json 與 JSON 證書）；verification_output.txt 結尾的沙盒警告不屬於任何計算。
RCHM_Hodge_Research_Round_24_v2.4.zip — R24 原始 zip（論文、驗證腳本、verification_output.txt、MANIFEST.json 與 JSON 證書）；verification_output.txt 結尾的沙盒警告不屬於任何計算。
RCHM_Hodge_Research_Round_25_v2.5.zip — R25 原始 zip（論文、驗證腳本、verification_output.txt、MANIFEST.json 與 JSON 證書）；verification_output.txt 結尾的沙盒警告不屬於任何計算。
RCHM_Hodge_Research_Round_26_v2.6.zip — R26 原始 zip（論文、驗證腳本、verification_output.txt、MANIFEST.json 與 JSON 證書）；verification_output.txt 結尾的沙盒警告不屬於任何計算。
RCHM_Hodge_Research_Round_27_v2.7.zip — R27 原始 zip（論文、驗證腳本、verification_output.txt、MANIFEST.json 與 JSON 證書）；verification_output.txt 結尾的沙盒警告不屬於任何計算。