← Lebesgue 萬有覆蓋問題 / 二 · 計算與重現 / Round 15 · 證明容量階梯

Lebesgue 萬有覆蓋問題 二 · 計算與重現 Round 15 · 證明容量階梯 懸衡 PARTIAL PASS

Round 15：容量代數精確；但局部證明的容量是 0.835，不是 0.8350003545——它的 B7 提升根域是為 0.835 量身定做的

容量代數 PASS；參考規劃器與階梯自動化 PARTIAL。

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

連接 · Connections

一 · 先行（原文）Round 15 · 證明容量階梯 · 證明容量代數與自動門檻階梯雙雙判定封閉：全局容量定理、自由晉升定理同時確立，但全局 0.835 重型證書仍 COMPUTE-DEFERRED
上一篇Round 14 · 語義變基壓縮 · 二 · 計算與重現
下一篇Round 16 · 全域母根試點 · 二 · 計算與重現

重算報告 · Runs

RUN-018Round 15：容量代數精確；但局部證明的容量是 0.835，不是 0.8350003545——它的 B7 提升根域是為 0.835 量身定做的

判定：容量代數 PASS；參考規劃器與階梯自動化 PARTIAL。

報告（英文原文）、程式與 gate log：報告 RUN-018.md · run018_round15_capacity_ladder.py · gate log run018-round15-capacity-ladder.json

展開後載入…