← Lebesgue 萬有覆蓋問題 / 二 · 計算與重現 / Round 13 · 自主排程與合併

Lebesgue 萬有覆蓋問題 二 · 計算與重現 Round 13 · 自主排程與合併 懸衡 PARTIAL PASS

Round 13：合併規則健全、競態可以重播；但參考合併器從不寫入彙總，也無法同時容納兩份有效證書

合併定理與競態 PASS；排程器／合併器 ABI PARTIAL。

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

連接 · Connections

一 · 先行（原文）Round 13 · 自主排程與合併 · Certified Ancestor Contraction 定理證明成立：晚到的強證明可吸收已分裂子樹，自主排程與正典合併 ABI 隨之封閉、並發競態實測三連 PASS
上一篇Round 12 · 檢查點結晶 · 二 · 計算與重現
下一篇Round 14 · 語義變基壓縮 · 二 · 計算與重現

重算報告 · Runs

RUN-016Round 13：合併規則健全、競態可以重播；但參考合併器從不寫入彙總，也無法同時容納兩份有效證書

判定：合併定理與競態 PASS；排程器／合併器 ABI PARTIAL。

報告（英文原文）、程式與 gate log：報告 RUN-016.md · run016_round13_autonomous_scheduler.py · gate log run016-round13-autonomous-scheduler.json

展開後載入…