# MCC-OE-10 — AREF / Direct Certificate Materialization and the Erosion-Lower-Bound Barrier
## 從舊 AREF Parent Reuse 的零覆蓋，到 `box_lower` 真實重播：為什麼 B01 Hard Core 需要 Dependency-Preserving Direct-Area Compiler

**系列：** Measured-Construct Closure / Observable Exhaustion  
**文件代號：** `MCC-OE-10-v0.1`  
**作者：** Neo.K  
**機構：** EveMissLab／一言諾科技有限公司  
**版本：** v0.1  
**日期：** 2026-09-23  
**文件性質：** AREF Materialization／Finite-Witness Backend Audit／Negative Certificate-Route Result／Next-Compiler Recenter  
**前置：** MCC-OE-00～09；UESFCM-LUC Cycle 10／15／16／17；BCODR-LUC-01／06；LESR 09H～09I  
**狀態：** `AREF BACKEND MATERIALIZED / OLD-SEED REUSE = 0% B01 COVER / EROSION FLOOR IDENTIFIED / DEPENDENCY-PRESERVING ROUTE REQUIRED`  
**Canonical Source：** UTF-8 Markdown  
**數學原始碼規範：** inline math 僅使用 ` $...$ `，display math 僅使用 `$$...$$`

---

# 摘要

MCC-OE-09 將 B01 boundary 的 explicit chart-free HSL certificate coverage 推進為：

$$
\boxed{
83.0642046752\%.
}
$$

剩餘：

$$
\boxed{
16.9357953248\%
}
$$

parameter volume，且 post- $\rho_2$ HSL routing sample 已出現顯著遞減：

$$
\rho_3\approx1.06\%,
\qquad
w_2\approx0.73\%,
\qquad
v_2\approx0.58\%
$$

的 pass-child recovery。

因此 MCC-OE-09 將下一責任固定為：

$$
\boxed{
\text{materialize CR-04 Direct / AREF route}.
}
$$

本文完成這個 materialization，而且得到一個重要的**負結果**。

首先，透過 Library source recovery，重新取得 Cycle-17 tight- $A_{\rm ref}$ 正式資料。Cycle 17 以：

$$
\boxed{
A_{\rm ref}=0.8349865
}
$$

為 tight reference，對五個 root-6217 current cells：

$$
\boxed{
28,\ 36,\ 68,\ 144,\ 155
}
$$

建立完整 finite certificates。

Cycle-17 母文記錄：

- certificate nodes：
  $$
  61{,}487;
  $$
- area leaves：
  $$
  30{,}467;
  $$
- `NOT-F3` leaves：
  $$
  279;
  $$
- independent replay：
  `PASS`;
- minimum verified slack after canonical $10^{-9}$ safe subtraction：
  $$
  \boxed{
  2.582831171160649\times10^{-9}>0.
  }
  $$

其次，本文從 `BCODR_LUC_06_Corrected_Parent_Shape_Ledger_v0.1.json` 恢復這五個已 closed parent boxes 的完整 5D center / halfwidth。

然後將完整 B01 boundary domain 透過：

$$
\Psi:
(\rho,u,v,w)
\mapsto
(x_3,y_3,\rho_5,x_5,y_5)
$$

映射到 placement space。

B01 full-domain 5D image 的 conservative bounding box 為：

$$
\boxed{
x_3
\in
[
-0.020978831205965012,
-0.020978828987294182
]
}
$$

$$
\boxed{
y_3
\in
[
3.968999866046251\times10^{-6},
7.40879912872515\times10^{-6}
]
}
$$

$$
\boxed{
\rho_5
\in
[
10^{-4},
1.4\times10^{-4}
]
}
$$

$$
\boxed{
x_5
\in
[
0.019769546347947576,
0.019772346347947573
]
}
$$

$$
\boxed{
y_5
\in
[
-3.22\times10^{-5},
-1.5\times10^{-5}
].
}
$$

這個 bounding box 與五個舊 AREF-certified parent boxes全部不相交。

因此：

$$
\boxed{
\text{old Cycle-17 AREF parent-box reuse contributes exactly }0\%\text{ B01 coverage}.
}
$$

最近的是 root 155，但仍至少在：

$$
x_3
$$

方向有約：

$$
\boxed{
2.3442\times10^{-4}
}
$$

的 separation，

在：

$$
y_5
$$

方向有約：

$$
\boxed{
1.5078\times10^{-3}
}
$$

的 separation。

這與 BCODR-LUC-01 已記錄的：

> active root boxes 與五個 AREF-certified prune seed boxes沒有 positive 5D measure overlap

一致。

然而，本文沒有在這裡停止。

Library 中還恢復了 Cycle-10 的獨立 verifier：

`UESFCM_Lebesgue_Cycle_10_Verify_27Root_F3.py`

以及其真正 finite-witness lower-bound primitive：

```text
box_lower(center, half)
```

其核心數學語義是：

對 placement box：

$$
\mathcal B,
$$

建立 disk inscribed polygon、 $B_3$ common erosion core、 $B_5$ common erosion core 與有限 internal witnesses，得到：

$$
\widehat\beta(\mathcal B),
$$

並滿足：

$$
\boxed{
\widehat\beta(\mathcal B)
\le
\inf_{v\in\mathcal B}
A(v).
}
$$

Cycle-10 verifier使用：

$$
\boxed{
K_{\rm core}=256,
\qquad
M_{\rm disk}=256,
}
$$

及保守：

$$
\boxed{
\eta_{\rm safe}=10^{-9}.
}
$$

因此 AREF direct route可以真正定義為：

$$
\boxed{
\operatorname{box\_lower}(\mathcal B)
-
10^{-9}
>
A_{\rm ref}.
}
$$

本文實際將這個 backend 套到 B01。

結果顯示：

完整 B01 5D enclosing box：

$$
\boxed{
\operatorname{box\_lower}
\approx
0.834927328484809,
}
$$

相對 $A_{\rm ref}$ 的 verified-style slack 約為：

$$
\boxed{
-5.91725\times10^{-5}.
}
$$

第一個 genuine B01 HSL leaf 的 tiny 5D image box：

$$
\boxed{
\operatorname{box\_lower}
\approx
0.8349456158732875,
}
$$

相對 $A_{\rm ref}$：

$$
\boxed{
-4.08851\times10^{-5}.
}
$$

也就是說，舊 finite-witness primitive雖然 sound，卻在 B01 near-minimizer tube 中過度保守。

更進一步，本文將第一 genuine leaf 的 halfwidth 壓到零，只測 finite-witness discretization floor。

該 center 的 exact-envelope area：

$$
\boxed{
A_{\rm exact}
\approx
0.8349861128140168,
}
$$

current target：

$$
\boxed{
A_0+0.1\rho^2
\approx
0.8349861115592241,
}
$$

raw margin僅：

$$
\boxed{
1.254792714\times10^{-9}.
}
$$

但 finite witness resolution sweep得到：

| $M=K$ | pointwise witness lower | exact − witness |
|---:|---:|---:|
| 128 | 0.834869438510050 | $1.16674\times10^{-4}$ |
| 256 | 0.834945615914181 | $4.04969\times10^{-5}$ |
| 512 | 0.834979209241604 | $6.90357\times10^{-6}$ |
| 1024 | 0.834984361451706 | $1.75136\times10^{-6}$ |
| 2048 | 0.834985633376189 | $4.79438\times10^{-7}$ |
| 4096 | 0.834986004618085 | $1.08196\times10^{-7}$ |
| 8192 | 0.834986082922819 | $2.98912\times10^{-8}$ |

高 resolution diagnostics 呈現非常接近：

$$
\boxed{
\text{error}
\sim
\frac{1.97}{M^2}.
}
$$

而因：

$$
\eta_{\rm safe}
=
10^{-9},
$$

raw margin真正留給 witness discretization 的空間只有約：

$$
\boxed{
2.55\times10^{-10}.
}
$$

以 observed $M^{-2}$ scaling 外推，pointwise witness resolution需要約：

$$
\boxed{
M
\sim
8.8\times10^4
}
$$

才有可能在這個 center 上單靠相同 finite-witness architecture 吃掉 discretization error。

而這還**沒有**加入 nonzero leaf halfwidth 的 erosion loss。

因此：

$$
\boxed{
\text{the inherited Cycle-10 finite-witness AREF primitive is not an efficient B01-hard-core certificate route}.
}
$$

這不是數學錯誤，也不是 B01 中出現反例。

它是：

$$
\boxed{
\textbf{Erosion-Lower-Bound Barrier}.
}
$$

更重要的是，本文找出這個 barrier 的兩個來源。

第一：

$$
\boxed{
\text{finite witness discretization floor}.
}
$$

第二：

$$
\boxed{
\text{dependency loss under the 4D}\rightarrow\text{axis-aligned 5D bridge}.
}
$$

B01 的真狀態不是五個獨立 placement coordinates。

它滿足：

$$
q=\rho u,
$$

$$
x_3=x_{3,0}-s\cos(\rho u),
$$

$$
y_3=s\sin(\rho u),
$$

$$
x_5=x_{5,s}+\rho w,
$$

$$
y_5=\rho v.
$$

因此對 B01 leaf：

$$
L\subset\mathbb R^4,
$$

真正 image：

$$
\Psi(L)
$$

只是 5D placement space 中一個有強烈耦合的低維流形／tube。

但舊 `box_lower` route先做：

$$
\boxed{
\Psi(L)
\subseteq
\Box(\Psi(L)),
}
$$

再對 axis-aligned：

$$
\Box(\Psi(L))
$$

做 common erosion。

所以 verifier被迫同時涵蓋大量 B01 中根本不可實現的 combinations。

因此：

$$
\boxed{
\inf_{\Box(\Psi(L))}A
\le
\inf_{\Psi(L)}A,
}
$$

而 gap 可以非常大。

這正是 NIOT / bridge theory 中：

$$
\boxed{
\text{projection / recoding can destroy dependency information}
}
$$

在 AMRAL Lebesgue hard core 上的具體實例。

所以 CR-04 在本文後正式拆成：

- `CR-04A`：舊 AREF parent-box reuse；
- `CR-04B`：legacy axis-aligned 5D finite-witness erosion；
- `CR-04C`：**Dependency-Preserving Direct-Area Compiler**。

其中：

```text
CR-04A:
    MATERIALIZED
    B01 COVERAGE = 0%

CR-04B:
    BACKEND MATERIALIZED
    SOUND
    NEAR-HARD B01 INEFFICIENT

CR-04C:
    NEXT PRIMARY ROUTE
```

本文因此沒有增加官方 B01 coverage。

它仍維持：

$$
\boxed{
83.0642046752\%.
}
$$

但 closure problem 又被進一步定位：

$$
\boxed{
\text{remaining 16.94\% is not waiting for an old AREF table;
it requires a dependency-preserving local lower-bound language}.
}
$$

**關鍵詞：** AREF、Finite Witness、Erosion Lower Bound、Dependency Preservation、B01、Direct Area、Certificate Atlas、NIOT Bridge、AMRAL、Lebesgue

---

# 1. Current B01 Status

MCC-OE-09：

```text
EXPLICIT HSL BOUNDARY COVER:
    83.0642046752%

RESIDUAL:
    16.9357953248%

COUNTEREXAMPLE:
    NONE
```

pure HSL refinement已進入 diminishing-return regime。

所以本輪主問題：

$$
\boxed{
\text{CR-04 到底能不能真正吃掉 B01 hard core？}
}
$$

---

# 2. Recovering the Original AREF Source

Library source：

`UESFCM_Lebesgue_Cycle_17_Hierarchical_Competitive_Core_Closure_v0.1.md`

記錄 Cycle 16 留下：

$$
68
$$

個 root-6217 current cells。

Cycle 17使用：

$$
\boxed{
A_{\rm ref}=0.8349865.
}
$$

---

# 3. Tight-Reference Elimination Lemma

如果 current responsibility cell：

$$
\mathcal B
$$

滿足：

$$
\boxed{
\inf_{\mathcal B\cap F_3}A
>
A_{\rm ref},
}
$$

則該 cell不可能包含 root-6217 constrained minimizer。

---

# 4. Five Certified AREF Parent Cells

Cycle 17完整關掉：

$$
\boxed{
28,\ 36,\ 68,\ 144,\ 155.
}
$$

---

# 5. Certificate Scale

Cycle-17 source記錄：

$$
\boxed{
61{,}487
}
$$

nodes，

其中：

$$
30{,}467
$$

area leaves，

$$
279
$$

`NOT-F3` leaves。

---

# 6. Independent Replay

結果：

$$
\boxed{
\mathrm{PASS}.
}
$$

minimum verified slack：

$$
\boxed{
2.582831171160649\times10^{-9}>0.
}
$$

因此這五個 parent domains是真正 source-backed AREF certificate domains。

---

# 7. Recovering Parent Box Geometry

雖然 `UESFCM_Lebesgue_Cycle_17_Aref5_Certificate.json` 本體未在目前 Library listing 中 materialize，

但：

`BCODR_LUC_06_Corrected_Parent_Shape_Ledger_v0.1.json`

保存了五個 parent domains 的完整 center / halfwidth。

---

# 8. Root 28

center：

$$
\boxed{
(-0.016667556543713498,
0.007576162065324318,
0.0032724923474893677,
0.013859830226644911,
-0.0015399811362938787)
}
$$

halfwidth：

$$
\boxed{
(0.0015152324130648636,
0.0015152324130648636,
0.0032724923474893677,
0.0015399811362938787,
0.0015399811362938787)
}
$$

---

# 9. Root 36

center：

$$
\boxed{
(-0.013637091717583772,
0.010606626891454045,
0.0032724923474893677,
0.016939792499232668,
-0.009239886817763273)
}
$$

halfwidth：

$$
\boxed{
(0.0015152324130648636,
0.0015152324130648636,
0.0032724923474893677,
0.0015399811362938787,
0.0030799622725877574)
}
$$

---

# 10. Root 68

center：

$$
\boxed{
(-0.022728486195972952,
0.009091394478389182,
0.0016362461737446838,
0.01462982079479185,
-0.0038499528407346974)
}
$$

halfwidth：

$$
\boxed{
(0.0015152324130648636,
0.003030464826129727,
0.0016362461737446838,
0.0007699905681469393,
0.0007699905681469393)
}
$$

---

# 11. Root 144

center：

$$
\boxed{
(-0.022728486195972952,
0.003030464826129727,
0.008181230868723419,
0.020789745339967365,
-0.0046199434088816365)
}
$$

halfwidth：

$$
\boxed{
(0.0015152324130648636,
0.003030464826129727,
0.0016362461737446838,
0.0007699905681469393,
0.0015399811362938787)
}
$$

---

# 12. Root 155

center：

$$
\boxed{
(-0.022728486195972952,
0.0015152324130648636,
0.0008181230868723419,
0.019634759487746952,
-0.0023099717044408183)
}
$$

halfwidth：

$$
\boxed{
(0.0015152324130648636,
0.0015152324130648636,
0.0008181230868723419,
0.00038499528407346967,
0.0007699905681469393)
}
$$

---

# 13. B01 Boundary-to-5D Map

在：

$$
r=s,
$$

$$
q=\rho u.
$$

所以：

$$
\boxed{
x_3
=
x_{3,0}
-
s\cos(\rho u)
}
$$

$$
\boxed{
y_3
=
s\sin(\rho u)
}
$$

$$
\boxed{
\rho_5
=
\rho
}
$$

$$
\boxed{
x_5
=
x_{5,s}
+
\rho w
}
$$

$$
\boxed{
y_5
=
\rho v.
}
$$

---

# 14. Full B01 5D Image Bounds

完整 B01 boundary domain image 被以下 axis box containment：

$$
\boxed{
x_3
\in
[
-0.020978831205965012,
-0.020978828987294182
].
}
$$

$$
\boxed{
y_3
\in
[
3.968999866046251\times10^{-6},
7.40879912872515\times10^{-6}
].
}
$$

$$
\boxed{
\rho_5
\in
[
10^{-4},
1.4\times10^{-4}
].
}
$$

$$
\boxed{
x_5
\in
[
0.019769546347947576,
0.019772346347947573
].
}
$$

$$
\boxed{
y_5
\in
[
-3.22\times10^{-5},
-1.5\times10^{-5}
].
}
$$

---

# 15. Old Parent-Box Membership Test

對五個：

$$
P_{28},
P_{36},
P_{68},
P_{144},
P_{155},
$$

測：

$$
\Box(\Psi(D_{B01}))
\cap
P_k.
$$

結果：

```text
28:
    DISJOINT

36:
    DISJOINT

68:
    DISJOINT

144:
    DISJOINT

155:
    DISJOINT
```

---

# 16. Immediate Consequence

因為連 B01 image 的 enclosing axis box都與五個 parent boxes disjoint，

真實：

$$
\Psi(D_{B01})
$$

當然也 disjoint。

因此：

$$
\boxed{
f_{\rm old\ AREF\ seed\ reuse}
=
0.
}
$$

---

# 17. Nearest Old Seed — Root 155

root 155 5D box與 B01最近。

但：

$$
x_{3,\max}^{155}
\approx
-0.021213253782908087,
$$

而：

$$
x_{3,\min}^{B01}
\approx
-0.020978831205965012.
$$

所以：

$$
\boxed{
\Delta x_3
\approx
2.34422576943\times10^{-4}.
}
$$

---

# 18. $y_5$ Separation

root 155：

$$
y_{5,\max}^{155}
\approx
-0.001539981136293879.
$$

B01：

$$
y_{5,\min}^{B01}
=
-3.22\times10^{-5}.
$$

所以：

$$
\boxed{
\Delta y_5
\approx
1.50778113629\times10^{-3}.
}
$$

---

# 19. 5D Box Distance to Root 155

axis separation vector約：

$$
(2.3442\times10^{-4},
0,
0,
0,
1.5078\times10^{-3}).
$$

Euclidean box distance：

$$
\boxed{
\approx
1.5259\times10^{-3}.
}
$$

---

# 20. Interpretation

所以 root 155 是 BCODR inward provenance seed，

但：

$$
\boxed{
\text{provenance proximity}
\neq
\text{certificate-domain containment}.
}
$$

這再次呼應 BCODR：

- nearest inward source；
- overlap field；
- certificate domain；

不是同一概念。

---

# 21. Recovering the Actual Finite-Witness Backend

Library：

`UESFCM_Lebesgue_Cycle_10_Verify_27Root_F3.py`

包含獨立：

```text
box_lower(center, half)
```

verifier primitive。

---

# 22. Finite Witness Semantics

對 5D placement box：

$$
\mathcal B,
$$

以：

- disk inscribed $M$ -gon；
- $B_3$ common erosion core；
- $B_5$ common erosion core；
- finite internal witnesses；

建：

$$
\widehat\beta(\mathcal B).
$$

---

# 23. Lower-Bound Property

來源 theorem：

$$
\boxed{
\widehat\beta(\mathcal B)
\le
\inf_{v\in\mathcal B}
A(v).
}
$$

所以這是真正可用的 lower certificate，

不是 heuristic center estimate。

---

# 24. Cycle-10 Resolution

$$
\boxed{
M_{\rm disk}
=
256,
\qquad
K_{\rm core}
=
256.
}
$$

---

# 25. Error Contract

Cycle-10 model error：

$$
\eta_{\rm model}
\lesssim
1.149\times10^{-10}.
$$

實際 verifier採：

$$
\boxed{
\eta_{\rm safe}
=
10^{-9}.
}
$$

---

# 26. AREF Criterion

對 tight-reference route：

$$
\boxed{
\operatorname{box\_lower}(\mathcal B)
-
10^{-9}
>
0.8349865.
}
$$

---

# 27. Positive Historical Fact

Cycle 17確實利用同一 finite-witness family，

透過 hierarchical subdivision關閉五個 AREF parent cells。

所以：

$$
\boxed{
\text{primitive is sound and operational}.
}
$$

---

# 28. Important Parent-Level Observation

如果只對五個 parent boxes本身直接跑：

$$
\operatorname{box\_lower},
$$

它們全部都**不**直接通過 $A_{\rm ref}$。

例如 root 155 parent：

$$
\operatorname{box\_lower}
\approx
0.83277678236.
$$

但 Cycle-17 仍能透過深 binary subdivision完成 parent certificate。

---

# 29. Therefore

$$
\boxed{
\text{parent-level lower failure}
\not\Rightarrow
\text{certificate route failure}.
}
$$

finite witness route依賴 refinement tree。

---

# 30. Apply `box_lower` to Full B01

把完整 B01 image outer-box作 5D placement box。

得到：

$$
\boxed{
\operatorname{box\_lower}(B01_{\rm full})
\approx
0.834927328484809.
}
$$

---

# 31. AREF Slack

$$
\boxed{
0.834927328484809
-
10^{-9}
-
0.8349865
\approx
-5.9172515\times10^{-5}.
}
$$

非常不接近 PASS。

---

# 32. First Genuine Leaf Test

對：

`B01-RADIAL-HARD-0001`

的 tiny B01 box先映成 conservative 5D box。

得到：

$$
\boxed{
\operatorname{box\_lower}
\approx
0.8349456158732875.
}
$$

---

# 33. Against $A_{\rm ref}$

$$
\boxed{
m_{\rm AREF}
\approx
-4.0885127\times10^{-5}.
}
$$

---

# 34. Against the Actual Local Quadratic Target

即使不用 $A_{\rm ref}$，

而只比較：

$$
A_0+0.1\rho^2,
$$

這個 256-resolution lower bound也仍低約：

$$
\boxed{
4.05\times10^{-5}.
}
$$

所以 problem不只是 tight reference太高。

---

# 35. Why Further Parameter Subdivision Alone Cannot Fix It

把 leaf halfwidth：

$$
h
$$

送到：

$$
0
$$

時，

erosion loss會消失，

但 finite witness discretization error仍在。

---

# 36. Pointwise Exact Center

first genuine leaf center exact-envelope：

$$
\boxed{
A_{\rm exact}
=
0.8349861128140168.
}
$$

---

# 37. Pointwise Target

$$
\boxed{
A_{\rm target}
=
0.8349861115592241.
}
$$

raw margin：

$$
\boxed{
m_{\rm raw}
=
1.25479271418\times10^{-9}.
}
$$

---

# 38. Available Margin after Safety

因：

$$
\eta_{\rm safe}
=
10^{-9},
$$

留給 finite witness under-approximation的空間只有：

$$
\boxed{
m_{\rm raw}
-
\eta_{\rm safe}
\approx
2.54792714\times10^{-10}.
}
$$

---

# 39. Resolution Sweep — $M=K=128$

pointwise witness lower：

$$
0.834869438510050.
$$

error：

$$
\boxed{
1.16674304\times10^{-4}.
}
$$

---

# 40. $M=K=256$

lower：

$$
0.834945615914181.
$$

error：

$$
\boxed{
4.04968998\times10^{-5}.
}
$$

---

# 41. $M=K=512$

lower：

$$
0.834979209241604.
$$

error：

$$
\boxed{
6.90357241\times10^{-6}.
}
$$

---

# 42. $M=K=1024$

lower：

$$
0.834984361451706.
$$

error：

$$
\boxed{
1.75136231\times10^{-6}.
}
$$

---

# 43. $M=K=2048$

lower：

$$
0.834985633376189.
$$

error：

$$
\boxed{
4.79437827\times10^{-7}.
}
$$

---

# 44. $M=K=4096$

lower：

$$
0.834986004618085.
$$

error：

$$
\boxed{
1.08195931\times10^{-7}.
}
$$

---

# 45. $M=K=8192$

lower：

$$
0.834986082922819.
$$

error：

$$
\boxed{
2.98911975\times10^{-8}.
}
$$

---

# 46. Observed High-Resolution Scaling

對：

$$
M
=
2048,\ 4096,\ 8192
$$

log-log fit給：

$$
\boxed{
\operatorname{error}(M)
\approx
\frac{1.97}{M^{2.002}}.
}
$$

可近似看成：

$$
\boxed{
O(M^{-2}).
}
$$

Status：

```text
NUMERICAL-DIAGNOSTIC
NOT A RIGOROUS ERROR THEOREM
```

---

# 47. Required Pointwise Resolution Estimate

要讓：

$$
\operatorname{error}
<
2.55\times10^{-10},
$$

依上述 diagnostic scaling，

需要：

$$
\boxed{
M
\approx
8.8\times10^4.
}
$$

量級。

---

# 48. And That Is Before Cell Width

這只是：

$$
h=0
$$

pointwise witness。

真 leaf還需要：

- common erosion；
- rotational uncertainty；
- translation uncertainty。

所以實際 finite-box需求只會更難。

---

# 49. Erosion-Lower-Bound Barrier

本文定義：

$$
\boxed{
\textbf{Erosion-Lower-Bound Barrier}
}
$$

為：

> 一個 lower-bound primitive在理論上 sound，但其 common-core erosion與 finite witness discretization error遠大於 theorem剩餘 margin，使它在 near-extremal local tube 中失去有效 certificate resolution。

---

# 50. This Explains Cycle-17’s Own Diagnosis

Cycle-17 source已指出：

- tight-reference pruning sound and useful；
- uniform 2000-node-per-cell deepening無法直接關大量 cells；
- erosion lower bound對 uniform batching仍過於 conservative；
- 這是 compiler-efficiency issue，不是新的 low-area basin。

B01 現在是更極端的版本。

---

# 51. Target-Specific Closure Again

注意 genuine leaf 的 256 witness lower：

$$
0.83494561587
$$

雖然遠低於：

$$
A_{\rm ref}=0.8349865,
$$

但相對：

$$
A_3^+=0.834781191
$$

仍有：

$$
\boxed{
\approx1.64424\times10^{-4}
}
$$

的 verified-style餘裕。

所以同一 primitive：

```text
VALUE PROOF at A3+:
    STRONG

BARRIER-SCALE CLOSURE near A0:
    TOO LOOSE
```

---

# 52. This Is Not a Contradiction

它正是：

$$
\boxed{
\text{certificate strength is target-relative}.
}
$$

---

# 53. Why Axis-Aligned 5D Boxing Makes It Worse

B01 parameter state只有四個自由度：

$$
p
=
(\rho,u,v,w).
$$

5D placements由：

$$
\Psi(p)
$$

決定。

---

# 54. Dependency Structure

$$
\boxed{
q=\rho u
}
$$

同時控制：

$$
x_3,
\quad
y_3.
$$

所以：

$$
x_3
$$

與：

$$
y_3
$$

不是獨立變量。

---

# 55. Shared $\rho$ Dependency

同一：

$$
\rho
$$

同時控制：

- $B_5$ rotation；
- $x_5=x_{5,s}+\rho w$ ；
- $y_5=\rho v$ ；
- $q=\rho u$。

所以五個 placement coordinates存在強 coupling。

---

# 56. True Image vs Axis Box

對 B01 leaf：

$$
L\subset\mathbb R^4,
$$

真正 admissible image：

$$
\boxed{
\Psi(L).
}
$$

舊 direct route改成：

$$
\boxed{
\Psi(L)
\subseteq
\Box(\Psi(L)).
}
$$

---

# 57. Lost Dependencies

 $\Box(\Psi(L))$ 包含很多：

$$
(x_3,y_3,\rho,x_5,y_5)
$$

組合，

它們根本不存在任何：

$$
(\rho,u,v,w)\in L
$$

可以同時實現。

---

# 58. Lower-Bound Penalty

因此：

$$
\boxed{
\inf_{z\in\Box(\Psi(L))}
A(z)
\le
\inf_{z\in\Psi(L)}
A(z).
}
$$

axis relaxation只會讓 lower bound更低。

---

# 59. This Is a Bridge-Loss Problem

NIOT language：

$$
\boxed{
\text{B01 4D semantic state}
\rightarrow
\text{5D independent-coordinate box}
}
$$

是一個 lossy bridge。

它保存 coordinate ranges，

但沒有保存：

$$
\boxed{
\text{dependency relations}.
}
$$

---

# 60. So CR-04 Must Split

本文將 CR-04正式拆成三條。

---

# 61. CR-04A — Old AREF Parent Reuse

方法：

$$
\Psi(L)
\subseteq
P_k.
$$

結果：

```text
B01 FULL DOMAIN:
    DISJOINT FROM ALL FIVE OLD PARENTS

B01 COVERAGE:
    0%
```

Status：

```text
CLOSED NEGATIVE RESULT
```

---

# 62. CR-04B — Legacy 5D Finite-Witness Erosion

方法：

1. B01 leaf；
2. 5D axis enclosing box；
3. `box_lower`；
4. safe subtraction；
5. compare target。

Status：

```text
BACKEND:
    MATERIALIZED

SOUNDNESS:
    SOURCE-SUPPORTED

B01 NEAR-HARD EFFICIENCY:
    POOR

FIRST GENUINE LEAF:
    FAIL BY ~4.05e-5 VS LOCAL TARGET
```

---

# 63. CR-04B Is Still Useful Elsewhere

它不應被刪掉。

對：

- large-margin cells；
- outer root families；
- coarse value-proof threshold；

它已被歷史 certificates證明非常有用。

只是：

$$
\boxed{
\text{wrong tool for B01 extremal micro-core}.
}
$$

---

# 64. CR-04C — Dependency-Preserving Direct-Area Compiler

下一個主 route：

$$
\boxed{
\textbf{DPDA}
}
$$

暫稱：

$$
\boxed{
\text{Dependency-Preserving Direct Area}.
}
$$

---

# 65. DPDA Input

不是 5D axis box。

而是：

$$
\boxed{
L
=
I_\rho
\times
I_u
\times
I_v
\times
I_w
}
$$

加完整 map：

$$
\Psi.
$$

---

# 66. DPDA Must Preserve

$$
q=\rho u,
$$

$$
(x_3,y_3)
=
\left(
x_{3,0}-s\cos q,
s\sin q
\right),
$$

$$
(x_5,y_5)
=
\left(
x_{5,s}+\rho w,
\rho v
\right).
$$

---

# 67. DPDA Output

需要直接給：

$$
\boxed{
A_{\rm lower}^{\rm DPDA}(L)
}
$$

使：

$$
A_{\rm lower}^{\rm DPDA}(L)
\le
\inf_{p\in L}
A(\Psi(p)).
$$

---

# 68. DPDA Pass Rule

$$
\boxed{
A_{\rm lower}^{\rm DPDA}(L)
>
A_0+0.1\rho_+^2.
}
$$

---

# 69. DPDA Candidate Construction A — 4D Interval Taylor

以：

$$
p_c
$$

為 center：

$$
A(p)
=
A(p_c)
+
\nabla A(p_c)\cdot(p-p_c)
+
R_2.
$$

用 interval gradient / Hessian控制：

$$
R_2.
$$

---

# 70. Advantage over HSL

HSL只知道：

$$
d_H(K,K_c)\le\delta,
$$

所以用一個 scalar geometric worst-case guard。

DPDA Taylor可以保留：

- sign；
- direction；
- cancellation；
- parameter dependency。

---

# 71. Candidate Construction B — Dependency-Preserving Support Integral

直接對：

$$
h(\theta;p)
=
\max
\{
h_D,
h_{B_3}(p),
h_{B_5}(p)
\}
$$

做 parameter interval decomposition。

在必要處切：

- $\theta$ ；
- parameter cell；

但不先將 parameter map axis-relax到 independent 5D placement box。

---

# 72. Candidate Construction C — Moving Witnesses

舊 finite witness使用：

$$
\boxed{
\text{one common erosion core for the entire independent placement box}.
}
$$

新 route可考慮 parameter-dependent witness family：

$$
W(p)
$$

再對其合法內含性做 interval proof。

---

# 73. Moving Witness Challenge

必須避免：

> witness depends on unknown point，因而不再是 uniform lower certificate。

所以需要：

- interval-parameterized witness；
- analytic inner family；
- or finite cover of witness motion。

---

# 74. Most Immediate DPDA Route

目前最直接的不是重新發明 erosion geometry。

而是：

$$
\boxed{
\text{exact-envelope center}
+
\text{dependency-preserving interval derivatives}.
}
$$

因為 B01 已經有：

- exact center compiler；
- very small 4D cells；
- known hard-core localization；
- smooth parameter map。

---

# 75. DPDA and HSL Are Complementary

HSL：

$$
\boxed{
\text{topology-insensitive global continuity bound}.
}
$$

DPDA：

$$
\boxed{
\text{local dependency-sensitive sharper lower bound}.
}
$$

---

# 76. Natural Hybrid Rule

對 hard leaf：

```text
1. HSL
2. DPDA
3. deeper HSL if cheap
4. analytic route if structured
5. escalate
```

---

# 77. Why DPDA Is More Promising Than Huge Witness Resolution

resolution：

$$
M\sim10^5
$$

的 pointwise witness仍只解 discretization，

沒有解 nonzero leaf dependency loss。

而 DPDA直接針對：

$$
10^{-9}
$$

scale local margin。

---

# 78. Old AREF Certificates Remain Valuable

五個 Cycle-17 boxes與 BCODR-LUC-06 新 AREF parents仍然是：

- inward certificate field；
- outer-region route；
- positive controls；
- DPDA cross-check targets。

只是它們不直接覆蓋 B01 local tube。

---

# 79. AREF Source as a Validation Dataset

DPDA完成後，

可以先在：

$$
28,36,68,144,155
$$

或：

$$
101,103,104,164,167
$$

這些已知 AREF-closed regions上做：

```text
DPDA should also PASS or at least remain consistent.
```

但 target/domain語義需對齊。

---

# 80. CR-04 Dashboard

```text
CR-04A OLD BOX REUSE:
    MATERIALIZED
    B01 COVERAGE = 0%

CR-04B LEGACY box_lower:
    MATERIALIZED
    SOUND
    B01 NEAR-HARD TOO LOOSE

CR-04C DPDA:
    SPECIFIED
    IMPLEMENTATION NEXT
```

---

# 81. Official B01 Coverage

本文沒有加入任何新的 PASS volume。

因此：

$$
\boxed{
f_{\rm B01}^{\rm explicit}
=
83.0642046752\%.
}
$$

---

# 82. Why a Negative Round Is Progress

因為原本 CR-04 還只是：

> 也許 AREF 可以幫忙。

現在變成：

$$
\boxed{
\text{old AREF domains cannot overlap B01;
legacy erosion compiler cannot resolve B01 extremal margin efficiently}.
}
$$

這排掉了兩條錯誤的「捷徑」。

---

# 83. New Hard-Core Statement

現在剩餘：

$$
16.94\%
$$

不再只是：

```text
HSL hard.
```

更準確是：

$$
\boxed{
\text{HSL-hard}
\cap
\text{old-AREF-domain-disjoint}
\cap
\text{legacy-erosion-resolution-limited}.
}
$$

---

# 84. This Is a Much Narrower Problem

下一個 compiler不需要處理整個 root6217。

只需要處理：

$$
\boxed{
\text{the 4D B01 dependency-preserving near-extremal tube}.
}
$$

---

# 85. DPDA State Vector

建議：

$$
\boxed{
p
=
(\rho,u,v,w).
}
$$

不要先切回：

$$
(x_3,y_3,\rho,x_5,y_5).
$$

5D只保留作：

- output；
- provenance；
- cross-certificate bridge。

---

# 86. Reverse Probe for DPDA

對 hard leaf，

真正要問：

$$
\boxed{
\min_{p\in L}
\left[
A(\Psi(p))
-
A_0
-
0.1\rho^2
\right]
>0?
}
$$

---

# 87. Define Direct Margin Function

$$
\boxed{
F(p)
=
A(\Psi(p))
-
A_0
-
0.1\rho^2.
}
$$

---

# 88. Then DPDA Is Simply

找 certified：

$$
\boxed{
\underline F(L)>0.
}
$$

---

# 89. This Is Cleaner Than AREF for the Hard Core

不需要：

$$
A>A_{\rm ref}.
$$

直接證當前所需 target即可。

---

# 90. Suggested First DPDA Prototype

對每個 hard leaf：

1. exact $F(p_c)$ ；
2. finite-difference / AD gradient diagnostic；
3. interval gradient；
4. if gradient enclosure足夠，first-order box lower；
5. otherwise interval Hessian；
6. only unresolved leaves split。

---

# 91. First-Order DPDA Lower

若：

$$
\frac{\partial F}{\partial p_i}
\in
G_i(L),
$$

則：

$$
\boxed{
F(p)
\ge
F(p_c)
-
\sum_i
\sup|G_i(L)|h_i.
}
$$

---

# 92. This Looks Similar to HSL but Is Sharper

因為：

- derivative是 task-specific；
- parameter directions independent only in true 4D domain；
- no impossible 5D combinations；
- no generic perimeter worst-case bound。

---

# 93. Second-Order DPDA

若 first-order仍太寬：

$$
\boxed{
F(p)
\ge
F(p_c)
+
g_c^\top d
-
\frac12
\sup_{H\in\mathcal H(L)}
|d^\top Hd|
}
$$

用 interval Hessian / Gershgorin / spectral bound。

---

# 94. Connection to LESR

這其實重新接回：

- first-order coercivity；
- canonical scalar second-order data；
- observable compiler；

但現在不是只在 canonical ray，

而是對 B01 hard leaves直接做 local task function：

$$
F(\rho,u,v,w).
$$

---

# 95. This Is Also NIOT-Style Reverse Probing

因為我們不是重建所有 geometry。

而是直接 probe：

$$
\boxed{
\text{which local measured directions can push }F\text{ to zero?}
}
$$

---

# 96. Next Paper

因此下一個真正高價值節點應是：

$$
\boxed{
\textbf{MCC-OE-11 — Dependency-Preserving Direct-Area Compiler for the B01 Hard Core}
}
$$

---

# 97. MCC-OE-11 Target A

定義：

$$
F(\rho,u,v,w).
$$

---

# 98. Target B

對 current 16.94% residual leaf sample，

計算：

$$
\nabla F.
$$

找 threat directions。

---

# 99. Target C

建立 interval first-order DPDA lower。

---

# 100. Target D

量化：

$$
\boxed{
f_{\rm DPDA}
}
$$

能新增多少 certificate coverage。

---

# 101. Target E

只把：

$$
\text{HSL FAIL}
\cap
\text{DPDA FAIL}
$$

留給真正 deeper hard-core work。

---

# 102. Current Certificate Atlas v0.4

## CR-01

Canonical analytic。

## CR-02

Radial lift。

## CR-03

Adaptive HSL：

$$
\boxed{
83.0642046752\%.
}
$$

## CR-04A

Old AREF seed reuse：

$$
\boxed{
0\%\text{ B01 overlap}.
}
$$

## CR-04B

Legacy finite-witness erosion：

```text
materialized
but resolution-limited on B01 hard core
```

## CR-04C

Dependency-Preserving Direct Area：

```text
NEXT ACTIVE ROUTE
```

---

# 103. Current Verdict

```text
B01 EXPLICIT SAFE BOUNDARY VOLUME:
    83.0642046752%

B01 RESIDUAL:
    16.9357953248%

OLD AREF PARENT REUSE:
    0%

LEGACY box_lower BACKEND:
    MATERIALIZED

LEGACY box_lower B01 HARD-CORE EFFECTIVENESS:
    POOR

COUNTEREXAMPLE:
    NONE

NEXT BLOCKER:
    DEPENDENCY-PRESERVING DIRECT AREA
```

---

# 104. 結論

MCC-OE-10 原本的問題是：

> 能不能把舊 AREF route 接回來，直接吃掉剩下 16.94%？

答案現在很清楚：

$$
\boxed{
\text{不能用原本想像的方式。}
}
$$

第一條捷徑：

$$
\boxed{
\text{reuse old five AREF parent boxes}
}
$$

直接被排除。

B01 local tube和：

$$
28,36,68,144,155
$$

五個 domains完全 disjoint。

第二條捷徑：

$$
\boxed{
\text{直接拿 Cycle-10 box\_lower 套 B01 hard leaf}
}
$$

也不夠。

不是因為它錯。

而是因為它為較粗 target與較大 margin設計。

當剩餘 theorem margin進入：

$$
10^{-9}
$$

級時，

 $256$ resolution finite witness本身就有：

$$
10^{-5}
$$

級 under-approximation floor。

即使推到：

$$
8192
$$

points，

仍有：

$$
\sim3\times10^{-8}
$$

的 pointwise gap。

這揭露了真正問題：

$$
\boxed{
\textbf{我們不是缺更多 subdivision；
我們缺一個保留 B01 dependency 的 lower-bound language。}
}
$$

而且 B01 的 4D→5D mapping本身告訴我們為什麼。

舊 route把：

$$
q=\rho u,
$$

$$
(x_3,y_3)=f(\rho,u),
$$

$$
(x_5,y_5)=g(\rho,v,w)
$$

這些 coupling全部打散，

再把五個 coordinates當成彼此獨立。

這在 lower-bound proof中非常昂貴。

所以 MCC-OE 的主線再次往前一步：

前面我們從：

$$
\text{Geometric Atlas}
$$

轉成：

$$
\text{Certificate Atlas}.
$$

現在又從：

$$
\text{Axis-Box Certificate}
$$

轉成：

$$
\boxed{
\textbf{Dependency-Preserving Certificate}.
}
$$

這就是 MCC-OE-10 的真正成果。

官方 coverage沒有變。

仍然是：

$$
\boxed{
83.0642046752\%.
}
$$

但剩下的 16.94% 現在不再需要盲目問：

> 再切哪個 axis？

而是有一個更直接的新 target：

$$
\boxed{
\textbf{certify }
F(\rho,u,v,w)
=
A(\Psi(\rho,u,v,w))
-
A_0
-
0.1\rho^2
>0
}
$$

並且從頭到尾保留：

$$
\boxed{
(\rho,u,v,w)
}
$$

之間的真實依賴。

這就是下一個 compiler。

---

# Canonical Source Declaration

本檔為 `MCC-OE-10-v0.1` 的 UTF-8 Markdown canonical source。

本文來源基礎：
- `UESFCM_Lebesgue_Cycle_17_Hierarchical_Competitive_Core_Closure_v0.1.md`；
- `BCODR_LUC_06_Corrected_Parent_Shape_Ledger_v0.1.json`；
- `BCODR_LUC_01_Arrival_Information_Ledger_v0.1.json`；
- `UESFCM_Lebesgue_Cycle_10_Verify_27Root_F3.py`；
- `UESFCM_Lebesgue_Cycle_10_27Root_Finite_Closure_v0.1.md`；
- LESR 09H／09I；
- MCC-OE-09。

本文新增實際 source recovery：
- Cycle-17 AREF parent identities；
- five AREF parent center/halfwidth boxes；
- Cycle-10 finite-witness `box_lower` backend。

本文新增實際計算：
- full B01 5D image enclosing box；
- B01 vs five old AREF parent disjointness；
- nearest root155 5D separation；
- `box_lower` replay on full B01 box；
- `box_lower` replay on first genuine leaf；
- finite witness resolution sweep $128\rightarrow8192$ ；
- diagnostic $M^{-2}$ convergence fit；
- estimated near- $10^5$ witness resolution needed for a pointwise $10^{-9}$ hard margin under inherited safety contract。

本文正式新增：
- Erosion-Lower-Bound Barrier；
- CR-04A / CR-04B / CR-04C split；
- Dependency-Preserving Direct-Area (`DPDA`) route；
- 4D task margin function：
  $$
  F(\rho,u,v,w)
  =
  A(\Psi(\rho,u,v,w))
  -
  A_0
  -
  0.1\rho^2.
  $$

本文不宣稱：
- Cycle-17 `Aref5_Certificate.json` 本體已被 materialize；
- old AREF route globally useless；
- finite-witness primitive mathematically weak；
- diagnostic $M^{-2}$ fit是 rigorous convergence theorem；
- $M\sim8.8\times10^4$ 是正式 minimal resolution；
- DPDA 已實作；
- B01 explicit coverage高於 83.0642046752%；
- B01 parent已 closed；
- global Lebesgue已解。

下一輪建議進入：

`MCC-OE-11 — Dependency-Preserving Direct-Area Compiler for the B01 Hard Core`.

===END===