← Lebesgue 萬有覆蓋問題 / 二 · 計算與重現 / Round 23 · 嚴格覆蓋掛零

Lebesgue 萬有覆蓋問題 二 · 計算與重現 Round 23 · 嚴格覆蓋掛零 懸衡 PARTIAL PASS

Round 23:嚴格關聯文法健全,B7 的邊精確重建;用精確核心 B7 閉合全部十二格,任何諧波一格也閉合不了

嚴格關聯文法與其定理、十二格、每條 B7 邊、照算的深度 22 交叉點與深度 16 不可行性 PASS;諧波邊 PARTIAL(未閉合數重建、節點數不重建)。本輪畫出的路由在精確核心下不成立:諧波在任何深度都閉合不了任何一格,B7 在提升深度 35 之前閉合全部十二格。

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

連接 · Connections

重算報告 · Runs

RUN-026Round 23:嚴格關聯文法健全,B7 的邊精確重建;用精確核心 B7 閉合全部十二格,任何諧波一格也閉合不了

判定:嚴格關聯文法與其定理、十二格、每條 B7 邊、照算的深度 22 交叉點與深度 16 不可行性 PASS;諧波邊 PARTIAL(未閉合數重建、節點數不重建)。本輪畫出的路由在精確核心下不成立:諧波在任何深度都閉合不了任何一格,B7 在提升深度 35 之前閉合全部十二格。

報告(英文原文)、程式與 gate log:報告 RUN-026.md · run026_round23_portfolio_closure.py · gate log run026-round23-portfolio-closure.json

展開後載入…