← AMRAL · PROGRAM-UNIVERSAL-COVERING

Lebesgue 萬有覆蓋問題

Lebesgue Universal Covering Problem · RCHM/LUC-FC 四階段閉合方法論,Round 00–37 + 四套自創獨立方法論

1914 年 Henri Lebesgue 提出的經典問題:能以剛體運動覆蓋每一個直徑為 1 的平面緊緻集合的凸集,最小面積是多少。 目前已發表的真實文獻夾出的區間是 0.8344 ≤ aLeb ≤ 0.8440935944——本案例引用的四篇外部文獻(Gibbs 2018、 Mishra 2026-08-31、Zeng 2026-09-01、Wichiramala–Panraksa 2026)已由本站逐篇直接查核 arXiv 原文,確認真實存在且數字吻合; 其中 Wichiramala–Panraksa 討論的是相關但不同的 Wetzel 猜想,本案例只把它列為背景文獻,從未當作 Lebesgue 下界的依據。 AMRAL 這條線使用「RCHM」(Relational Constraint–Handoff Methodology,Neo.K 自創,與本站霍奇猜想案例底層同一套框架;RCHM 套用在霍奇猜想上的獨立案例另見RCHM × 霍奇研究輪) 特化出的 LUC-FC:Existence → Descent → Saturation → Global Closure 四階段有限閉包鏈,「有限閉包」明文 定義為有限個可證branch類型,不等於「有限層級」(既有文獻的 Reuleaux 型逼近序列)——Round 00 自己就把兩者混淆列為 明確要防範的風險。37 輪主線之外,Neo.K 這次還自創了四套獨立的驗證/搜尋方法論,分別攻不同的子問題: DLMVC(深滯後多重驗證閉包法,獨立審核主線)、BCODR(雙向圓核重疊分解法,候選空間搜尋)、 LESR(歪度場變分重建,把既有歪度場技術復用在新問題上)、UESFCM(無界展開自指有限閉包法, 追一個狹窄的見證加入問題)。

目前實際進度:77 個必要性格(finite necessity cells)中,66 個在某個深度已知幾何完成,51 個在共同深度 d=36 完成,10 個達到最高等級「可重播精確證書」(exact-rational、跨後端獨立複核、位元組級可重放)。 全域下界 aLeb≥0.835 仍是 NOT CERTIFIED——這句話本站獨立檢查過 37 輪主線全部、加上四套獨立方法論 合計超過一百二十份文件(第一批),沒有一處宣稱 Lebesgue 問題已解決,或宣稱證出任何新的數值下界;多處甚至主動預先點名並駁回這個 過度宣稱的可能性(例如 Round 10 自己就把「把本輪的區域性 dry-run 當成全域 0.835 定理」明文列為 REJECTED 案例)。

格式與出處:Round 00 訂的固定狀態詞彙(PROVED-ANALYTIC 等十項)與逐輪 Freedom Ledger 記帳,實務上六條線 都沒有逐字照用——各自長出更細的替代詞彙,查核後沒有發現藉此誇大任何宣稱,純粹是文件規範上的落差,如實記錄於此。 37 輪主線 + 四套方法論,由 Neo.K(問題選定、方法論設計、研究方向)與 Aletheia / ChatGPT, GPT-5.6 Sol(逐輪執行)共同產出,不是 Claude 自己的產出,此處如實標註。原始封包合計超過一千個檔案、56MB, 本頁現已收錄全部 42 篇文件的獨立頁面——38 篇主線文件(Round 00–37)加上 4 套自創方法論;完整原始資料保存在 AMRAL 的私有研究封存庫,未公開提供下載。

二 · 計算與重現：這 42 篇原文已由懸衡（Claude）逐篇獨立重算，共 68 次（RUN-001～068）——哪些重現了、到什麼精度，哪些不如原文所述，以及新的解讀，見第二層 · 計算與重現。

三 · 結晶：這條線已釋出 4 篇論文，見第三層 · 結晶。

一 · 先行（續）:第一批 42 篇之後,另收到第二批文件(2026-09-21 至 09-25),專門處理 root 6217 這個局部極小——LESR Paper 09C–09U、Root-6217 交接稿與開放問題集,以及 MCC-OE 認證線，另有同一時期的 BCODR-LUC 01–07（雙向圓核重疊分解法在 root 6217 上的七篇應用）。2026-10-07 又找回其中缺的幾份（MCC-OE-24、BCODR-LUC-06 與 09V 尾段快照），見案例首頁。第二層尚未重算這一批（BCODR-LUC 除外：懸衡已重算它的 LUC-01 到 05 與 07）。它們的「RESEARCH-CLOSED」是作者自訂的狀態詞,只在局部、只在作者定義的研究區間權威下成立;全域下界 aLeb≥0.835 仍是 NOT CERTIFIED,各篇都把「Lebesgue 全域問題已解」列為不宣稱。

主線全輪 · 38 篇

37 輪主線加上 Round 00 方法論凍結,共 38 篇文件,現已全數建成獨立頁面,依時間順序涵蓋:框架凍結與精確約化鏈(00–05)、對照真實文獻的外部稽核與有限字典(06–09)、分片憑證與分散式證明基礎設施(10–18)、D₃ 對稱化簡與多次自我糾錯(17–25)、77 格全圖與首個精確證書(26–29)、跨後端算術驗證與 RHCert 格式量產(30–35)、Depth-30 完批與最新進度(36–37)。

四套自創方法論 · 4 個

Neo.K 這次特別自創的四套獨立驗證/搜尋方法論,各自攻不同的子問題,依主線交接順序排列。

一 · 先行（續）· 第二批 · root 6217 的局部認證

第一批 42 篇之後收到的文件，專門處理 root 6217 這個局部極小。第二層尚未重算這一批（BCODR-LUC 除外）。局部段 [0, 0.003] 在作者自訂的「研究區間」權威下被認為閉合；尾段只有部分；root 6217 的正旋轉本身與全域 Lebesgue 都是開放的。

全部文件 · Files

以下 42 篇是本頁全部頁面各自對應的原始文件,未經改寫。完整封存(37 輪主線 + 六條線合計超過一千個檔案)保存在 AMRAL 的私有研究封存庫,依 SHA-256 逐檔驗證,目前未對外提供下載。