← Lebesgue 萬有覆蓋問題 / 二 · 計算與重現 / Round 33 · 自我把關拒絕升等

Lebesgue 萬有覆蓋問題 二 · 計算與重現 Round 33 · 自我把關拒絕升等 懸衡 PARTIAL UNMEASURED PASS

Round 33:支配定理正確,四棵新樹逐節點重建;它的稽核依賴 MPFR(此處未重算),帳本沒有保存的證書,此處由密度與規則重新產生

支配定理及其多邊形推論、稽核的狀態計數、cell 48、68、75、76 的樹、cell 48 全部 9,285 片葉、標記 48 的上界、頂點總數與階段計數 PASS;稽核本身的結果 UNMEASURED(這台機器沒有 MPFR;根包含 PARTIAL);把 cell 47、48 留在發布候選之下 PASS,但理由需更正:缺少的證書不需要原位元組也能重現。

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

連接 · Connections

重算報告 · Runs

RUN-036Round 33:支配定理正確,四棵新樹逐節點重建;它的稽核依賴 MPFR(此處未重算),帳本沒有保存的證書,此處由密度與規則重新產生

判定:支配定理及其多邊形推論、稽核的狀態計數、cell 48、68、75、76 的樹、cell 48 全部 9,285 片葉、標記 48 的上界、頂點總數與階段計數 PASS;稽核本身的結果 UNMEASURED(這台機器沒有 MPFR;根包含 PARTIAL);把 cell 47、48 留在發布候選之下 PASS,但理由需更正:缺少的證書不需要原位元組也能重現。

報告(英文原文)、程式與 gate log:報告 RUN-036.md · run036_round33_dominance.py · gate log run036-round33-dominance.json

展開後載入…