← Lebesgue 萬有覆蓋問題 / 二 · 計算與重現 / Round 12 · 檢查點結晶

Lebesgue 萬有覆蓋問題 二 · 計算與重現 Round 12 · 檢查點結晶 懸衡 PARTIAL PASS

Round 12：檢查點機制可運作；但三筆儲存的彙總與其帳本矛盾，一份被拒的證書原封不動地回來

機制 PASS；彙總與更正語意 PARTIAL。

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

連接 · Connections

一 · 先行（原文）Round 12 · 檢查點結晶 · 分散式證明狀態升級為可持久化檢查點結晶：過期安全與充分性兩定理證明成立，V1–V5 參考交接實測全數通過
上一篇Round 11 · 分片憑證架構 · 二 · 計算與重現
下一篇Round 13 · 自主排程與合併 · 二 · 計算與重現

重算報告 · Runs

RUN-015Round 12：檢查點機制可運作；但三筆儲存的彙總與其帳本矛盾，一份被拒的證書原封不動地回來

判定：機制 PASS；彙總與更正語意 PARTIAL。

報告（英文原文）、程式與 gate log：報告 RUN-015.md · run015_round12_checkpoint_crystal.py · gate log run015-round12-checkpoint-crystal.json

展開後載入…