Round 26：在套件的 pad 下，77 個必要性格逐列重建；圖冊裡最薄的葉以 8.5×10⁻¹¹ 越過 T，不是 2.9×10⁻⁹

77 格與其標記、閉合曲線、帳本每一列、殘餘的體積、類別與比例、緊葉多邊形稽核與徑向稽核 PASS；§14 的最小餘裕照所述 PASS，但那只是十棵受稽核樹的最小值——在全部 51 棵完整樹上最小值是 8.47×10⁻¹¹（cell 8），有 11 棵樹的葉比 §14 的 2.8982×10⁻⁹ 更薄。拒絕更大全域 pad 的結論依然成立，而且比 §14 的論證更強。

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

連接 · Connections

一 · 先行（原文）Round 26 · 77 格全圖 · 首次推到完整 77 格必要性圖譜：共同深度 d=36 達成 51/77，一個統一 global pad 提案在啟用前被自己的稽核數據否決

上一篇Round 25 · 單一見證全閉合 · 二 · 計算與重現

下一篇Round 27 · 首個精確證書 · 二 · 計算與重現

重算報告 · Runs

RUN-029Round 26：在套件的 pad 下，77 個必要性格逐列重建；圖冊裡最薄的葉以 8.5×10⁻¹¹ 越過 T，不是 2.9×10⁻⁹

判定：77 格與其標記、閉合曲線、帳本每一列、殘餘的體積、類別與比例、緊葉多邊形稽核與徑向稽核 PASS；§14 的最小餘裕照所述 PASS，但那只是十棵受稽核樹的最小值——在全部 51 棵完整樹上最小值是 8.47×10⁻¹¹（cell 8），有 11 棵樹的葉比 §14 的 2.8982×10⁻⁹ 更薄。拒絕更大全域 pad 的結論依然成立，而且比 §14 的論證更強。

報告（英文原文）、程式與 gate log：報告 RUN-029.md · run029_round26_full_atlas.py · gate log run029-round26-full-atlas.json

展開後載入…