# MCC-OE-28 重建版
## Root-6217 Replay Contract、Publication Debt Ledger 與 AMRAL LinkBack

**版本：** reconstructed-v1 · 2026-10-08  
**性質：** 依 Neo.K 指示，以現存 MCC-OE-27、LESR 交接及 09V 快照重建的整理稿。原始第 28 篇與原始對話未恢復；本文的表格和契約是本次重建，不冒充原稿。

## 0. 承接位置

MCC-OE-27 第 62–67 節已明列下一節點的題名和五条工作線：權威升級契約、局部區間重放、尾段已閉父格重放、剩餘父格持續狀態，以及回連 AMRAL 全域責任圖。本版把這五項展開成可實行的交接契約。

本版沒有新增 root-6217 的幾何下界。局部門檻仍為 A0 約 0.83498611、尾段 A_ref 約 0.8349865；兩者都不能由此提升成全域 Lebesgue 下界 0.835。

## 1. 先分開兩個觀察版本

| 來源 | 難核父格 | 已閉名單 | 證據層級 |
|---|---:|---|---|
| 2026-09-24 09V 快照內嵌清單 | 29 | 1, 13, 45, 47, 95, 143, 169, 178, 186 | 九個有快照清單和狀態檔支持；完整數值證書仍需重放 |
| LESR 最後交接、MCC-OE-27 | 29 | 0 加上上述九個 | 十個是後期文字帳；父格 0 的最終閉合證書未恢復 |

後期剩餘名單為

```text
46,63,81,92,93,94,124,125,128,129,131,142,150,152,159,160,161,168,177
```

不能把早期 9/29 的狀態檔改成後期 10/29。應保留 supersedes 關係及各自的 artifact hash。父格 129、131 也要連同 target 與 clipping 區間辨識；原 target 的閉合不自動等於尾段的新 target 閉合。

## 2. Lane A：權威升級契約

研究狀態沿用

```text
RESEARCH-CLOSED → LOCAL-REPLAY-PASSED → PUBLICATION-CERTIFIED
```

每一次升級至少附上：命題 ID、target、参数域、算術後端與誤差契約、输入和程式 hashes、輸出證書 hash、重放者與執行版本，以及失敗或缺失的義務。

`LOCAL-REPLAY-PASSED` 要有實際重放及結果相符；`PUBLICATION-CERTIFIED` 還需要每個有限葉片的有效覆蓋、完整根／分支枚舉、外向誤差控制及獨立檢查的來源。本文沒有執行這些升級。

## 3. Lane B：局部 [0,0.003] 重放清單

局部重放範圍要把微觀段、B01–B11 橋接格，以及有限父格組合保持為不同命題。對每個格子列出

```text
claim_id / target_id / rho_interval / parameter_box
method / authority / assumptions
inputs / program / certificate / hashes
result / unresolved_obligations
```

已存在的研究區間檢查與浮點誤差契約必須原樣標明。只有格心、抽樣點或摘要 PASS，不能替代整個格子的覆蓋證書。

## 4. Lane C：尾段已閉父格的重放契約

對尾段 [0.003,π/120]，每一父格須有自己的 clipped domain、A_ref、二叉分割树、未處理佇列、葉片類型和最低餘裕。重放時檢查树是否覆蓋整個 target，NOT-F3 葉及 A 葉是否各自滿足其條件，並檢查後端假設。

重建版先給出三態：`AVAILABLE_SNAPSHOT`、`TEXT_REPORTED_ONLY`、`MISSING_CERTIFICATE`。其中父格 0 的後期狀態為後兩態；不能因為它出現在最後交接名單，就產生一份虛構的閉合證書。

## 5. Lane D：剩餘十九格的持續狀態

建議狀態格式：

```json
{
  "parent_id": 46,
  "target_id": "root6217-tail-aref",
  "status": "OPEN",
  "queue_artifact": null,
  "checkpoint_sha256": null,
  "backend": null,
  "verified_leaf_count": null,
  "remaining_obligations": ["resume from an identified checkpoint"]
}
```

`null` 表示未恢復的輸入，不能填成零。狀態更新只由新的執行紀錄與證書支持；舊 root IDs、舊 target 或不同後端的帳不能直接相加。

## 6. Lane E：回連 AMRAL 的責任圖

每一局部結果都回連到 LESR 原文、對應 MCC-OE 節點、重放包及 Lebesgue 母問題。關係應包括 `depends_on`、`supersedes`、`replays`、`reported_by` 與 `open_obligation`。

局部研究閉合、可重放證書、全域幾何推論是不同節點。最後一條仍須證明局部 target 與所有直徑一凸體之間的充分性；本版沒有這條全域箭頭。

## 7. 本輪交付與仍待恢復者

本版恢复的是 MCC-OE-27 已指定的下一節點結構，並使 9/29 與 10/29 的差異可追溯。它沒有完成任何深 DFS 搜尋，也沒有提升整個尾段的權威。

仍待補齊：父格 0 的後期證書、剩餘十九格、獨立出版級數值審計、正旋轉、root-6217 全形狀及全域 Lebesgue。

## 來源

- MCC_OE_27_Root6217_Residual_Ledger_Reconciliation_and_Hybrid_Certificate_Atlas_v0.1_2026-09-24.md，尤其第 62–68 節。
- LESR_Root6217_Local_Verification_and_Series_Integration_Handoff_v0.1.md，第 11–14、26 節。
- 已公開的 LESR_09V_Tail_Campaign_Snapshot_2026-09-24_manifest.json 及八份 checkpoint。

===END OF RECONSTRUCTED EDITION===