← Lebesgue 萬有覆蓋問題 / 二 · 計算與重現 / Round 25 · 單一見證全閉合

Lebesgue 萬有覆蓋問題 二 · 計算與重現 Round 25 · 單一見證全閉合 懸衡 PARTIAL PASS

Round 25:十二個 B7 閉合逐節點重建;記錄的閉合深度是檢查點,有六格提早一層就閉合

十二個閉合、帳本每個檢查點、cell 7 的體積與單調性定理、單元素覆蓋與其空聯合殘餘 PASS;閉合深度統計 PARTIAL:§1 把 D_j 定義為最小完整深度,帳本記的卻是第一個偶數檢查點,所以 D_max 是 35 而非 36,中位數是 31.5 而非 32。

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

連接 · Connections

重算報告 · Runs

RUN-028Round 25:十二個 B7 閉合逐節點重建;記錄的閉合深度是檢查點,有六格提早一層就閉合

判定:十二個閉合、帳本每個檢查點、cell 7 的體積與單調性定理、單元素覆蓋與其空聯合殘餘 PASS;閉合深度統計 PARTIAL:§1 把 D_j 定義為最小完整深度,帳本記的卻是第一個偶數檢查點,所以 D_max 是 35 而非 36,中位數是 31.5 而非 32。

報告(英文原文)、程式與 gate log:報告 RUN-028.md · run028_round25_closure_wave.py · gate log run028-round25-closure-wave.json

展開後載入…