← Lebesgue 萬有覆蓋問題 / 二 · 計算與重現 / Round 17 · D₃ 對稱化簡

Lebesgue 萬有覆蓋問題 二 · 計算與重現 Round 17 · D₃ 對稱化簡 懸衡 PARTIAL PASS

Round 17:D3 商精確,每次執行都能重建;商的增益被低估,尾窗的邊界來自改過的覆寫規則,而不是從深度 10 起跑

商與試點計算 PASS;尾窗建議 PARTIAL。

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

連接 · Connections

重算報告 · Runs

RUN-020Round 17:D3 商精確,每次執行都能重建;商的增益被低估,尾窗的邊界來自改過的覆寫規則,而不是從深度 10 起跑

判定:商與試點計算 PASS;尾窗建議 PARTIAL。

報告(英文原文)、程式與 gate log:報告 RUN-020.md · run020_round17_d3_cpg.py · gate log run020-round17-d3-cpg.json

展開後載入…