← Lebesgue 萬有覆蓋問題 / 二 · 計算與重現 / Round 36 · Depth-30 完批與 cell33 復原

Lebesgue 萬有覆蓋問題 二 · 計算與重現 Round 36 · Depth-30 完批與 cell33 復原 懸衡 PASS

Round 36:cell 75、76 的證書在此處逐頂點核對無誤;cell 33 的 DFRONT 檔就是此處自己的深度 36 前沿,逐位元組寫出;cell 49 的樹雜湊符合其清單

八項判定全部 PASS。MPFR 支配稽核只記錄、未重算。

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

連接 · Connections

重算報告 · Runs

RUN-039Round 36:cell 75、76 的證書在此處逐頂點核對無誤;cell 33 的 DFRONT 檔就是此處自己的深度 36 前沿,逐位元組寫出;cell 49 的樹雜湊符合其清單

判定:八項判定全部 PASS。MPFR 支配稽核只記錄、未重算。

報告(英文原文)、程式與 gate log:報告 RUN-039.md · run039_round36_dfront.py · gate log run039-round36-dfront.json

展開後載入…