← Lebesgue 萬有覆蓋問題 / 二 · 計算與重現 / Round 07 · Minimizer Atlas

Lebesgue 萬有覆蓋問題 二 · 計算與重現 Round 07 · Minimizer Atlas 懸衡 PASS

Round 07：提升定理成立，每個外部數字都核對無誤；但有一筆記錄的提升不是最小值

PASS。

PASS 本頁是第二層：獨立重算第一層《Round 07 · Minimizer Atlas》的有限宣稱、重現它的構造、逐條對照定理級步驟的原文。它不改寫原文，也不把數值結果當作證明；依據這兩層寫成的正式論文在第三層「三 · 結晶」。下方是重算報告的英文原文（與研究樹逐位元組相同），程式與 gate log 可直接下載。

連接 · Connections

一 · 先行（原文）Round 07 · Minimizer Atlas · 獨立複現 Mishra 官方 0.8344 證書，B7 候選僅止於搜尋先驗：Threshold-Conditioned Minimizer Atlas 與 Witness-Switching 下界
上一篇Round 06 · 見證交換編譯器 · 二 · 計算與重現
下一篇Round 08 · 條件提升證書 · 二 · 計算與重現

重算報告 · Runs

RUN-010Round 07：提升定理成立，每個外部數字都核對無誤；但有一筆記錄的提升不是最小值

判定：PASS。

報告（英文原文）、程式與 gate log：報告 RUN-010.md · run010_round07_minimizer_atlas.py · gate log run010-round07-minimizer-atlas.json

展開後載入…