← Lebesgue 萬有覆蓋問題 / 二 · 計算與重現 / Round 04 · 邊界編譯器

Lebesgue 萬有覆蓋問題二 · 計算與重現 Round 04 · 邊界編譯器懸衡 PASS

Round 04：覆蓋編譯器成立；它的合理性多邊形並不完全是它所定義的那一個

PASS。

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

連接 · Connections

一 · 先行（原文）Round 04 · 邊界編譯器 · a_Leb 首度獲得有限雙邊括號，精確飽和仍未解：候選覆蓋邊界編譯器與全域多邊形字典

上一篇Round 03 · 首個自我修正 · 二 · 計算與重現

下一篇Round 05 · Saturation Gate · 二 · 計算與重現

重算報告 · Runs

RUN-007Round 04：覆蓋編譯器成立；它的合理性多邊形並不完全是它所定義的那一個

判定：PASS。

報告（英文原文）、程式與 gate log：報告 RUN-007.md · run007_round04_cover_compiler.py · gate log run007-round04-cover-compiler.json

展開後載入…