← Lebesgue 萬有覆蓋問題 · PROGRAM-UNIVERSAL-COVERING · LESR-6217

LESR · Root 6217 局部分析（Paper 09C–09U）

Lebesgue 案例第一層（續）：從二階係數到 [0, 0.003] 的局部「研究區間」閉合，19 篇論文、1 份交接稿、1 份開放問題集，以及找回的 BCODR-LUC-06 與 09V 快照

LESR（Lebesgue Extremal Shape Reconstruction）是 Neo.K 把本站歪度場案例的變分技術搬到 Lebesgue 問題上的一條線；本案例第一層收錄了它的 Paper 00，第二層重算到 Paper 09B。這一批是後續：Paper 09C 到 09U、2026-09-24 的 Root-6217 交接稿，以及一份 20 題的「開放問題集」；2026-10-07 另找回了 BCODR-LUC-06 與 09V 尾段快照。它們研究的是 root 6217 這個局部極小：圓盤、Reuleaux-3 與 Reuleaux-5 的凸包（面積 A0 ≈ 0.8349861，低於 0.835）附近的正旋轉。作者把旋轉半徑 ρ 分成微觀段 [0, 1e-4]、十一個橋接格 B01–B11（到 0.003）與尾段 [0.003, π/120]，要證明 A(ρ) ≥ A0 + 0.1ρ²。局部段 [0, 0.003] 在作者自訂的「研究區間」權威下被認為閉合；尾段只有部分；root 6217 的正旋轉本身與全域 Lebesgue 都是開放的。

2026-10-08 重建更新：依現存敘述補成明列來源的重建版，原件與新實作分列。六項重建總覽與下載包。

誠實的現況：沒有一篇宣稱改善或完成 Lebesgue 的全域下界；每篇結尾都有不宣稱，交接稿第 26 節寫「GLOBAL LEBESGUE: OPEN」與「ROOT6217 POSITIVE ROTATION: OPEN」，09K 寫 a_Leb≥0.835「NOT CERTIFIED」。A0 ≈ 0.8349861 低於 0.835，而這些文件研究的是一個受限的局部極小，所以即使全部完成，也不會自動給出該格上 ≥ 0.835 的證書（這是本站的讀法，不是原文的陳述）。「RESEARCH-CLOSED」是作者自訂的狀態詞：在宣告的速度盒、mpmath.iv 區間 jet 與假定 1e-10 的格心評估誤差合約之下成立；所有數值結果都是研究層級、未經審稿。交接稿把 RESEARCH-CLOSED、LOCAL-REPLAY-PASSED、PUBLICATION-CERTIFIED 三級分開，目前只到第一級。整理時以獨立的凸包程式抽查，支持局部錨點（A0 ≈ 0.83498611055；臨界路徑的 (A−A0)/ρ² → ≈ 0.34802；09C 次級路徑 → ≈ 0.22559）；B01–B11、微觀段、尾段與 09T 的 64-QP 步驟沒有被獨立檢查。

第二層尚未覆蓋：第二層 · 計算與重現重算了第一層的 42 篇原文與到 Paper 09B 為止的內容，尚未重算這一批。第二層的 RUN-049（邊界鎖定引理）與 RUN-057（障礙常數）支持這一批的兩項輸入；它對 root 6217 的其他發現（RUN-048、058）與本批交接稿的帳之間的關係見MCC-OE首頁的說明。09T 與 09U 的 64-QP 步驟（把一階符號區的通用下界與任何有限圖的高階資料配對）是微觀段封印的邏輯樞紐，建議第二層先測它。

作者與出處：19 篇論文、交接稿與 PPS 系列的標頭都寫「作者：Neo.K；AI 協力研究者：Aletheia / ChatGPT, GPT-5.6 Sol；機構：EveMissLab／一言諾科技有限公司」。開放問題集沒有任何署名、日期或狀態標頭。部分腳本寫到 /mnt/data（ChatGPT 沙盒路徑）；09L、09N 提到一個私有的研究雲端資料夾（只是資訊）。2026-10-07 找回的 BCODR-LUC-06 同樣署「作者：Neo.K」與「AI 協力：Aletheia / ChatGPT, GPT-5.6 Sol」。

系列內部的更正與缺檔：09E 更正 09C、09D 的垂直項與「五個細條」的算法，並撤回 09D 的平坦極小面讀法；09J 的餘項由 09K 取代；09L 的 B04 分割由 09M 放棄；09N 的路線 A 由 09O 的顯式係數取代；09F 的微觀規劃由 09U 取代。缺檔與找回：Paper 09V 的原稿未恢復，已有明列來源的重建本文（找回包只留下一個推測的預定題名，本站不採用）。125 檔的 LESR_09V_Tail_Campaign_Snapshot_2026-09-24.zip 與 BCODR-LUC-06 已於 2026-10-07 找回，見下一則說明與 BCODR-LUC-06 的頁面；09L／09N 提到的雲端檢查點檔案仍未找到。介面上的不一致：階梯順序（開放問題集的 Finite-Branch 在 Counterexample-Resistant 之下，PPS-06 相反）、「B」同時指見證體、橋接格與分支類。

找回的 09V 快照與 BCODR-LUC-06：2026-10-07 由 GPT 從 ChatGPT Library／Drive 找回；找回包（SHA-256 5532652b…）內的校驗和 27 項全部吻合，本站另把快照內嵌清單的 125 個檔案逐一重放雜湊與位元組數，零不符。快照是尾段證明在逾時前存下的中途狀態，不是結論：清單記 29 個難核父格中 9 個已閉（1、13、45、47、95、143、169、178、186），並寫 tail_gate: OPEN、root6217_positive_rotation: OPEN、global_lebesgue: OPEN。它是較早的 9/29 狀態：交接稿的 cloud freeze 名單多了父格 0，MCC-OE-27 並明記 9/24 的最後交接在先前的 9 個之上加入父格 0（9/29 → 10/29），所以快照裡父格 0 的狀態檔仍是 OPEN（待處理佇列 10 格）。也就是說，「9 個已閉」有這份快照的檔案支持；第 10 個（父格 0）與「19 個剩餘」只有交接稿與 MCC-OE-27 的陳述，本站沒有可重放的檔案。快照 zip 有 33.6 MB（解壓約 359 MB），超過託管平台對單一靜態檔案的上限（25 MiB），所以不在站上，完整保存在 AMRAL 的研究封存庫；站上只放它內嵌的清單、八份檢查點文字、BCODR-LUC-06 的原始套件 zip、兩個 JSON 與驗證腳本。BCODR-LUC-06 的驗證腳本依賴 UESFCM Cycle 17 的核心程式，它不在任何已找回的包內，本站沒有重跑那一步，只核對了 JSON 的結構與文中的表格；原始套件裡的 VALIDATION.json 記的是作者執行環境自己的重放（PASS），不是獨立重放。

閱讀路徑：先讀開放問題集（作者自己列的「還不能排除什麼」）與交接稿（現況帳）；想看一條完整的證書鏈，讀 09C → 09E（含自我更正）→ 09H（研究區間與經審計核的區別）→ 09I → 09K（第一個母格的閉合配方）→ 09M → 09O → 09T → 09U。09G、09L、09N、09P、09Q、09R、09S 不另開頁面，列在下方表格並提供下載。ANWIS_08 與這批一起送來，但與 Lebesgue 無關（它是另一個系列的草稿），這裡不收錄；PPS 系列（Paper 02–06）見投影可能性空間。

獨立頁面 · 15 篇

開放問題集、12 篇 LESR 論文、交接稿與 BCODR-LUC-06 有獨立頁面；其餘 7 篇見下方表格。

全部文件 · Files

有獨立頁面的 15 份文件與其餘文件的原始位元組，未經改寫；20 個原始 zip 另附（論文、驗證腳本與 JSON 帳本）。2026-10-07 找回的檔案放在 recovered/ 子目錄；09V 快照 zip（33.6 MB）超過託管平台對單一靜態檔案的上限（25 MiB），沒有放上來，只放它內嵌的清單與八份檢查點文字。其餘 7 篇附一句話主張與旗標（「無」＝沒有發現誇大；「輕微」＝措辭可能被過度解讀，或系列後面已更正）。原件保持原有位元組；2026-10-08 重建材料以 reconstructed 目錄與標籤區分。

AMRAL_Lebesgue_Final_Closure_Open_Questions_v0.1.md — 開放問題集 · 20 題
LESR_Paper09C_Secondary_Sliver_Asymptotics_and_Explicit_Phi2_v0.1.md — LESR 09C · 次級細條與二階係數 Φ₂
LESR_Paper09D_Paired_Sliver_Domination_and_Robust_Scalar_Certificate_v0.1.md — LESR 09D · 配對細條支配與穩健純量證書
LESR_Paper09E_Six_Wall_First_Epi_Closure_and_Vertical_Pair_Correction_v0.1.md — LESR 09E · 六壁一階閉合與垂直對修正
LESR_Paper09F_Canonical_Scalar_Generation_and_Micro_to_Finite_Bridge_v0.1.md — LESR 09F · 純量生成與微觀到有限橋接
LESR_Paper09H_Outward_Observable_Enclosures_and_Bridge_Leaf_Preconditions_v0.1.md — LESR 09H · 外向可觀測量包絡與橋葉前置條件
LESR_Paper09I_Radial_Cover_Integration_and_First_Bridge_Subleaf_v0.1.md — LESR 09I · 徑向覆蓋與第一個真實橋子葉
LESR_Paper09J_Eight_Chart_Quadratic_Floor_on_B01_v0.1.md — LESR 09J · B01 的八圖二階下界
LESR_Paper09K_Uniform_Cubic_Bound_and_Research_Closure_of_B01_v0.1.md — LESR 09K · B01 的研究閉合
LESR_Paper09M_B04_Split_Closure_and_Removal_of_First_High_Order_Frontier_v0.1.md — LESR 09M · B04 的分割閉合
LESR_Paper09O_Explicit_Quartic_Quintic_Repair_and_Research_Closure_of_B06_v0.1.md — LESR 09O · 顯式四五次修補與 B06 研究閉合
LESR_Paper09T_B11_Final_Bridge_Closure_and_Local_Positive_Rotation_Bridge_Seal_v0.1.md — LESR 09T · 最後一格與有限圖遷移
LESR_Paper09U_Micro_Gate_Monotone_Inheritance_and_Local_Seal_v0.1.md — LESR 09U · 微觀閘門的單調繼承與局部封印
reconstructed/LESR_Paper09V_Tail_Campaign_Reconstructed_2026-10-08.md — LESR 09V · 尾段戰役（重建本文）
LESR_Root6217_Local_Verification_and_Series_Integration_Handoff_v0.1.md — Root 6217 交接稿 · 現況帳
recovered/BCODR_LUC_06_Frontier_Spine_Closure_Against_Aref_Tail_v0.1.md — BCODR-LUC-06 · 對 A_ref 尾段的前沿脊柱閉合
LESR_Paper09G_Canonical_Observable_Compiler_and_Bridge_Diagnostics_v0.1.md — LESR 09G · 典範可觀測量編譯器與橋接診斷：二階隱函數根生成器、正側 Taylor 面積與十一格橋接的無取樣診斷；23 個樣本的反搜尋在 11 個橋格內找不到低於 A0 + 0.1ρ² 的狀態（最低正規化值 0.225053）。原文明言 mpmath 輸出不是外向捨入證明，並寫「BRIDGE CELLS RIGOROUSLY CERTIFIED: 0/11」。旗標：無。
LESR_Paper09L_Propagation_of_Closure_Compiler_to_B02_B03_v0.1.md — LESR 09L · 閉合編譯器傳播到 B02、B03：B02（294,912 格徑向覆蓋）與 B03（921,600 格，六個檢查點分片）皆為「research-closed」（正規化下界 0.10348、0.10158）；繼承常數在 B04 頂端失效（0.09786）。旗標：輕微（同研究閉合限定語；引用不在包內的 Drive 檢查點資料夾；B04a／b 分割後被 09M 放棄）。
LESR_Paper09N_B05_Research_Closure_and_B06_Method_Frontier_v0.1.md — LESR 09N · B05 研究閉合與 B06 方法前沿：B05 閉合（最差正規化下界 0.10079866，根鄰域 ±0.0035，徑向下界 2.86e-4）；B06 標為方法前沿（零中心四階繼承降到 0.0949629，而在危險狀態的直接重播仍給 0.1060514）。旗標：輕微（zip、檔名與印出標題三種命名不一致）。
LESR_Paper09P_Propagation_of_Explicit_High_Order_Closure_to_B07_v0.1.md — LESR 09P · 顯式高階閉合傳播到 B07：根鄰域 ±0.006，最差正規化下界 0.10579856，ρ-only 細化後徑向導數下界 0.00997758，24／24 圖冊重播狀態如預期。旗標：輕微。
LESR_Paper09Q_Stressing_Explicit_High_Order_Regime_on_B08_v0.1.md — LESR 09Q · 在 B08 上加壓顯式高階機制：88 個根出現位置以 ±0.006 括住，最差正規化下界 0.10563163，徑向下界 0.0030706（兩個難圖經 8 個 ρ 分片），24／24 圖冊重播。旗標：輕微。
LESR_Paper09R_B09_First_Milliradian_Scale_Stress_Test_v0.1.md — LESR 09R · B09 與第一個毫弧度尺度的壓力測試：超過 ρ = 2e-3，根鄰域必須放寬到 ±0.012，最差正規化下界 0.10500447，徑向下界 0.00115169；餘裕 5.0e-3 且在縮小。旗標：輕微。
LESR_Paper09S_B10_Approach_to_003_Local_Gate_Boundary_v0.1.md — LESR 09S · B10 與逼近 0.003 局部閘門邊界：B10（11 個橋接母格中的第 10 個）閉合，最差正規化下界 0.10310291；以 h = 0.005 的無圖局部割線覆蓋 442,368 格（最小已認證 2.82e-5）。旗標：輕微。
LESR_Paper09C_Secondary_Sliver_Phi2_v0.1.zip — LESR Paper 09C 原始 zip（論文、驗證腳本與 JSON 帳本）。
LESR_Paper09D_Robust_Scalar_Certificate_v0.1.zip — LESR Paper 09D 原始 zip（論文、驗證腳本與 JSON 帳本）。
LESR_Paper09E_FirstOrder_Chart_Exhaustion_v0.1.zip — LESR Paper 09E 原始 zip（論文、驗證腳本與 JSON 帳本）。
LESR_Paper09F_Canonical_Scalars_and_Bridge_v0.1.zip — LESR Paper 09F 原始 zip（論文、驗證腳本與 JSON 帳本）。
LESR_Paper09G_Observable_Compiler_v0.1.zip — LESR Paper 09G 原始 zip（論文、驗證腳本與 JSON 帳本）。
LESR_Paper09H_Outward_Observable_Enclosures_v0.1.zip — LESR Paper 09H 原始 zip（論文、驗證腳本與 JSON 帳本）。
LESR_Paper09I_Radial_Cover_First_Bridge_Leaf_v0.1.zip — LESR Paper 09I 原始 zip（論文、驗證腳本與 JSON 帳本）。
LESR_Paper09J_B01_Quadratic_Floor_v0.1.zip — LESR Paper 09J 原始 zip（論文、驗證腳本與 JSON 帳本）。
LESR_Paper09K_B01_Research_Closure_v0.1.zip — LESR Paper 09K 原始 zip（論文、驗證腳本與 JSON 帳本）。
LESR_Paper09L_B02_B03_Propagation_v0.1.zip — LESR Paper 09L 原始 zip（論文、驗證腳本與 JSON 帳本）。
LESR_Paper09M_B04_Research_Closure_v0.1.zip — LESR Paper 09M 原始 zip（論文、驗證腳本與 JSON 帳本）。
LESR_Paper09N_B05_Closure_B06_Frontier_v0.1.zip — LESR Paper 09N 原始 zip（論文、驗證腳本與 JSON 帳本）。
LESR_Paper09O_B06_Research_Closure_v0.1.zip — LESR Paper 09O 原始 zip（論文、驗證腳本與 JSON 帳本）。
LESR_Paper09P_B07_Research_Closure_v0.1.zip — LESR Paper 09P 原始 zip（論文、驗證腳本與 JSON 帳本）。
LESR_Paper09Q_B08_Research_Closure_v0.1.zip — LESR Paper 09Q 原始 zip（論文、驗證腳本與 JSON 帳本）。
LESR_Paper09R_B09_Research_Closure_v0.1.zip — LESR Paper 09R 原始 zip（論文、驗證腳本與 JSON 帳本）。
LESR_Paper09S_B10_Research_Closure_v0.1.zip — LESR Paper 09S 原始 zip（論文、驗證腳本與 JSON 帳本）。
LESR_Paper09T_B11_Final_Bridge_Closure_v0.1.zip — LESR Paper 09T 原始 zip（論文、驗證腳本與 JSON 帳本）。
LESR_Paper09U_Micro_Gate_Local_Seal_v0.1.zip — LESR Paper 09U 原始 zip（論文、驗證腳本與 JSON 帳本）。
recovered/BCODR_LUC_06_Package_v0.1.zip — BCODR-LUC-06 · 原始套件 zip（2026-10-07 由 Neo 補上，8 個檔案）：主文、證書 JSON、父格帳 JSON 與驗證腳本（四者和先前找回的逐位元組相同），另有關係圖（dot 與 png，選定前沿 9 → 永久 NOT-F3／新 A_ref 閉合／倖存的 131）、STATE 與 VALIDATION。VALIDATION.json 記錄作者執行環境的重放：PASS、11,679 個節點、最小餘裕 8.63e-9；那不是獨立重放，驗證腳本依賴的 Cycle 17 核心仍不在任何已找回的包內。旗標：無。
recovered/BCODR_LUC_06_Selected_Tail_Aref_Certificate_v0.1.json — BCODR-LUC-06 · 選定尾段 A_ref 證書 JSON（約 1 MB）：父格 101、103、104、164、167 的有限二叉分割樹（A 葉：下界 − η > 0.8349865；N 葉：永久 NOT-F3），共 11,679 個節點，最小餘裕 8.63e-9。本站核對了結構（五棵樹的葉路徑構成完整二叉分割，節點與葉數和論文表格一致）；每個葉的面積下界要用 UESFCM Cycle 17 的核心程式重放，它不在任何已找回的包內，未重算。
recovered/BCODR_LUC_06_Corrected_Parent_Shape_Ledger_v0.1.json — BCODR-LUC-06 · 修正後的父格形狀帳 JSON：200 個 Cycle-11 root-6217 父格的逐格狀態（永久 NOT-F3、先前的 A_ref、新的 A_ref 或仍有效），取代 Paper 08 的「200 → 195」；修正帳為 200 → 192 → 187 → 182。
recovered/BCODR_LUC_06_Verify_Selected_Tail_Aref.py — BCODR-LUC-06 · 驗證腳本（與原始套件內的逐位元組相同，也見於 09V 快照的 tail09v_sources）：逐棵樹檢查二叉分割的完整性，並檢查 NOT-F3 葉與 A 葉的餘裕；它依賴 UESFCM_Lebesgue_Cycle_17_Verify_Hierarchical_F3.py，該檔不在任何已找回的包內，所以本站沒有執行它。
recovered/LESR_09V_Tail_Campaign_Snapshot_2026-09-24_manifest.json — LESR 09V 快照 · 內嵌清單：125 個 payload 檔的路徑、位元組數與 SHA-256；欄位 hard_core_closed_ids = [1, 13, 45, 47, 95, 143, 169, 178, 186]（9 個），tail_gate、root6217_positive_rotation、global_lebesgue 皆為 OPEN。本站逐檔重放校驗：125／125 吻合。快照 zip 本身（33.6 MB、解壓約 359 MB）超過站上單檔上限，只保存在研究封存庫。
recovered/LESR_CHECKPOINT_2026-09-23_09V_TAIL_HANDOFF.txt — LESR 09V 檢查點 · 尾段交接（2026-09-23）：Paper 08 的 200 個父格帳（5 個先前的 A_ref 父格、195 個有效）被 BCODR-LUC-06 修正為 200 → 192 → 187 → 182；下一步是把有效父格與尾段 [0.003, π/120] 求交，逐一對 A_ref 認證。聲明尾段、root 6217 正旋轉與全域 Lebesgue 都未閉合。
recovered/LESR_CHECKPOINT_2026-09-23_09V_TAIL_LOOKAHEAD_STAGE1.txt — LESR 09V 檢查點 · 尾段前瞻第一階段（2026-09-23）：173 個與尾段相交的父格中，136 個已由原本的 A_ref 有限戰役閉合、37 個開放；改用確定性的 K64／RING256 前瞻切分器接手後，第一階段閉合 8 個，剩 29 個難核父格（逐一列出佇列、節點數與最小餘裕）。
recovered/LESR_CHECKPOINT_2026-09-23_09V_EXACT_CORE_TIER.txt — LESR 09V 檢查點 · 精確侵蝕核層（2026-09-23）：新的研究層證明層級 EXACT_ERODED_CORE_SUPPORT（以侵蝕後的精確支撐弧取代內接多邊形）；對 337 個現有難核邊界盒都高於舊的 K1024 下界（0 個退步），640 個隨機實際擺放 0 個違反，立即關閉 24／337。檢查點自己寫明這只是研究層級，出版級的有向捨入或獨立後端審計仍開放。
recovered/LESR_CHECKPOINT_2026-09-23_09V_EXACT_CORE_FIRST_CLOSE.txt — LESR 09V 檢查點 · 精確核層首次閉合（2026-09-23）：父格 186 在 14,607 個新節點後閉合，最小餘裕 2.15e-9；聲明沒有全域尾段結論。
recovered/LESR_CHECKPOINT_2026-09-23_09V_EXACT_CORE_5_CLOSED.txt — LESR 09V 檢查點 · 5 個已閉（2026-09-23）：父格 1、47、95、178、186 已閉；最新的是父格 1（97,297 個節點，最小餘裕 2.91e-10）。尾段、正旋轉與全域 Lebesgue 仍開放。
recovered/LESR_CHECKPOINT_2026-09-24_09V_EXACT_CORE_6_CLOSED.txt — LESR 09V 檢查點 · 6 個已閉（2026-09-24）：加上父格 143（109,925 個節點，最小餘裕 8.54e-10）；父格 177 仍開放（佇列 13）。
recovered/LESR_CHECKPOINT_2026-09-24_09V_EXACT_CORE_8_CLOSED.txt — LESR 09V 檢查點 · 8 個已閉（2026-09-24）：加上父格 13（181,041 個節點，最小餘裕 4.92e-10）與父格 169（160,099 個節點，最小餘裕 3.12e-10）。
recovered/LESR_CHECKPOINT_2026-09-24_09V_EXACT_CORE_9_CLOSED.txt — LESR 09V 檢查點 · 9 個已閉（2026-09-24）：已閉為 1、13、45、47、95、143、169、178、186，29 個難核父格中仍有 20 個開放，逐一列出佇列、節點數與最小餘裕；聲明尾段、正旋轉與全域 Lebesgue 仍開放。這是快照時的最後一份檢查點，父格 0 要到最後交接才被記為已閉。