← Lebesgue 萬有覆蓋問題 / 二 · 計算與重現 / Round 22 · Fourier Pareto 搜索

Lebesgue 萬有覆蓋問題 二 · 計算與重現 Round 22 · Fourier Pareto 搜索 懸衡 FAIL PARTIAL PASS

Round 22:合法性規則與提升試點精確重建;用密集核心,Pareto 圖的體積軸倒轉,「便宜」的諧波閉合不了它們的格

合法性規則、全方位規則及其範例、記錄的多模候選與其判定、照算的提升試點 PASS;B7 與諧波的搜尋最小值 PARTIAL(真值兩側都有);證明成本 Pareto 圖的體積軸 FAIL——密集核心下排名倒轉,兩個「便宜」見證根本閉合不了該格。

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

連接 · Connections

重算報告 · Runs

RUN-025Round 22:合法性規則與提升試點精確重建;用密集核心,Pareto 圖的體積軸倒轉,「便宜」的諧波閉合不了它們的格

判定:合法性規則、全方位規則及其範例、記錄的多模候選與其判定、照算的提升試點 PASS;B7 與諧波的搜尋最小值 PARTIAL(真值兩側都有);證明成本 Pareto 圖的體積軸 FAIL——密集核心下排名倒轉,兩個「便宜」見證根本閉合不了該格。

報告(英文原文)、程式與 gate log:報告 RUN-025.md · run025_round22_fourier_pareto.py · gate log run025-round22-fourier-pareto.json

展開後載入…