# MCC-OE-11 — Dependency-Preserving Direct-Area Compiler and First-Order Renormalized Residual
## 從 $10^{-9}$ Raw Margin 到 $R_2^{\rm fin}\approx0.106$：把 B01 Hard Core 重新寫成可條件化的有限半徑殘差問題

**系列：** Measured-Construct Closure / Observable Exhaustion  
**文件代號：** `MCC-OE-11-v0.1`  
**作者：** Neo.K  
**機構：** EveMissLab／一言諾科技有限公司  
**版本：** v0.1  
**日期：** 2026-09-23  
**文件性質：** Dependency-Preserving Direct Area／First-Order Renormalization／Finite-Radius Residual Compiler  
**前置：** MCC-OE-00～10；LESR 09D～09I；UESFCM-LUC Cycle 13／15  
**狀態：** `RENORMALIZED DIRECT-AREA TARGET FOUND / GLOBAL COUNTER-SEARCH POSITIVE / INTERVAL CERTIFICATE OPEN`  
**Canonical Source：** UTF-8 Markdown  
**數學原始碼規範：** inline math 僅使用 ` $...$ `，display math 僅使用 `$$...$$`

---

# 摘要

MCC-OE-10 證明兩條原本看似便宜的 direct-route 捷徑都不適合 B01 near-extremal hard core：

1. 舊 Cycle-17 五個 AREF-certified parent boxes 與 B01 local tube 不相交；
2. legacy axis-aligned 5D finite-witness `box_lower` 雖然 sound，但在 B01 $10^{-9}$ 級 local margin 上遭遇 severe erosion / discretization floor。

因此 MCC-OE-10 將下一條 route 定義為：

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

並要求從頭到尾保留 B01 真實四維參數：

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

本文第一次實作這條 route 的數值／解析核心。

關鍵不是直接對 raw area：

$$
A(\rho,u,v,w)
$$

做新的暴力 lower bound。

而是使用 LESR Paper 09E 已解析得到的完整 first epi-derivative：

$$
\boxed{
\Phi_1(u,v,w)
=
\gamma_w w
+
\frac12
\left(
|E_T|
+
|E_L|
+
|E_R|
\right).
}
$$

其中：

$$
E_T
=
s u\beta_{5T}
-
\beta_{3T}(\gamma_T+v),
$$

$$
F
=
-s\sin\theta_\star L_\alpha u
+
L_\theta
(
\gamma_L+\sin\theta_\star v
),
$$

$$
E_L=F-Kw,
$$

$$
E_R=F+Kw.
$$

09E 已建立：

$$
\boxed{
\Phi_1\ge0
}
$$

且 zero set 唯一：

$$
\boxed{
\mathcal C_1
=
\{
(u_\star,v_\star,0)
\}.
}
$$

因此本文不再把一階變化混入 finite-radius area margin，而定義 **Finite First-Order-Renormalized Residual**：

$$
\boxed{
R_2^{\rm fin}(\rho,u,v,w)
=
\frac{
A(\rho,u,v,w)
-
A_0
-
\rho\Phi_1(u,v,w)
}{
\rho^2
}.
}
$$

這不是把 finite-radius quantity 偷寫成 asymptotic $\Phi_2$。

它只是對任何：

$$
\rho>0
$$

都成立的 finite-radius 定義。

因此有**完全精確的代數恆等式**：

$$
\boxed{
A
-
\left(
A_0+0.1\rho^2
\right)
=
\rho\Phi_1
+
\rho^2
\left(
R_2^{\rm fin}-0.1
\right).
}
$$

這個 identity 直接產生一條非常強的新 closure theorem：

如果在 B01 domain 上能證：

$$
\boxed{
\Phi_1\ge0
}
$$

以及：

$$
\boxed{
R_2^{\rm fin}\ge0.1,
}
$$

則：

$$
\boxed{
A(\rho,u,v,w)
\ge
A_0+0.1\rho^2
}
$$

對完整 B01 boundary domain 一次成立。

第一個條件已由 09E 的 analytic first-order multichart reduction提供。

所以 B01 boundary 的新核心 blocker可以壓成單一有限量：

$$
\boxed{
\inf_{D_{B01}}
R_2^{\rm fin}
\overset{?}{\ge}
0.1.
}
$$

本文對這個 quantity做第一次大規模 counter-search。

結果非常穩定。

10 次不同 seed 的 differential-evolution 搜尋都收斂到同一外側 basin，最低 diagnostic value約：

$$
\boxed{
R_{2,\min}^{\rm fin,diag}
\approx
0.1060773573.
}
$$

對應位置接近：

$$
\boxed{
\rho
\approx
1.40\times10^{-4},
\quad
u=6,
\quad
v=-0.15,
\quad
w\approx-0.00436.
}
$$

這個點**不在** first-order critical cone。

其：

$$
\Phi_1
\approx
0.00982,
$$

所以 raw theorem margin本身很大。

另外對 full B01 做：

$$
32{,}768
$$

點 scrambled Sobol counter-search，

最低：

$$
\boxed{
R_2^{\rm fin}
\approx
0.1064178425.
}
$$

沒有任何 sample落到：

$$
0.1
$$

以下。

同時，直接對 full finite quadratic ratio：

$$
Q_{\rm fin}
=
\frac{
A-A_0
}{
\rho^2
}
$$

做 4D differential-evolution counter-search，

最低找到：

$$
\boxed{
Q_{\min}^{\rm diag}
\approx
0.2255588290.
}
$$

位置反而靠近 09G 已知的 moving critical branch：

$$
u
\approx
5.16226,
$$

$$
v
\approx
-0.189210,
$$

$$
w
\approx
-2.48\times10^{-5}.
$$

這產生一個非常重要的風險分離：

$$
\boxed{
\text{weakest }R_2^{\rm fin}
\text{ occurs far from the first-order critical cone},
}
$$

但：

$$
\boxed{
\text{weakest total quadratic ratio}
\text{ occurs near the critical cone}.
}
$$

原因是遠離 critical cone 時：

$$
\rho\Phi_1
$$

巨大而安全；

靠近 critical cone時：

$$
\Phi_1
\approx0,
$$

但 finite second-order residual反而約：

$$
0.168\sim0.225
$$

級別。

例如第一 genuine leaf center：

$$
(\rho,u,v,w)
=
(
10^{-4},
5.1608274323,
-0.1892148296,
-1.78516\times10^{-5}
)
$$

有：

$$
\boxed{
\Phi_1
\approx
5.6749434\times10^{-6},
}
$$

$$
\boxed{
R_2^{\rm fin}
\approx
0.1687178661,
}
$$

而：

$$
\boxed{
\frac{A-A_0}{\rho^2}
\approx
0.2254673004.
}
$$

所以原本看起來只有：

$$
\sim1.25\times10^{-9}
$$

的 raw target margin，其實是：

$$
\boxed{
\rho^2
\times
0.1254673
}
$$

被縮到 machine-looking small scale 的結果。

這說明 MCC-OE-06～09 的 HSL hard core 並不一定代表 theorem structure真的只剩 $10^{-9}$ margin。

很大一部分困難其實是：

$$
\boxed{
\text{certificate conditioning}.
}
$$

本文也實作一條較保守的 `DPDA-T` route：

固定 $\rho_c$，利用 Cycle-13／15 已採用的 Fáry–Rédei / linear-parameter convexity，將 convex-hull area視為 $B_3/B_5$ translation coordinates的 convex function。

不用對 support chart求導。

只使用中心 exact-envelope area與四個 translation directions 的左右 secants，即可建立一個 subgradient enclosure，再將 supporting hyperplane拉回 B01 的：

$$
(u,v,w)
$$

真實 dependency manifold。

在第一 genuine leaf上，這條 route得到正 research lower margin約：

$$
\boxed{
1.13\times10^{-9},
}
$$

與既有 HSL PASS一致。

但對 MCC-OE-09 剩餘 hard cells，`DPDA-T` 仍被 $\rho$ direction 的 B5 rotation Hausdorff guard壓垮，典型 guard仍在：

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

area尺度。

這個結果進一步證明：

$$
\boxed{
\text{translation dependency preservation alone is not enough};
}
$$

真正必須解析處理的是：

$$
\boxed{
\rho\text{ direction}.
}
$$

而 09E 的：

$$
\rho\Phi_1
$$

正是這個缺口的 canonical analytic information。

因此本文正式將下一代 direct route分成：

- `DPDA-T`：translation-convex supporting-plane route；
- `DPDA- $\Phi_1$ `：first-order-renormalized finite residual route。

後者現在成為主線。

本文沒有把：

$$
R_2^{\rm fin}>0.1
$$

的 numerical counter-search偷升格為 interval theorem。

所以 official B01 explicit certified coverage仍維持：

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

但是 closure target 已從：

> 如何把剩餘 16.94% HSL cells繼續切碎？

重寫成：

$$
\boxed{
\text{如何 outward-certify }
R_2^{\rm fin}
\ge0.1
\text{ on B01?}
}
$$

如果成功，

則 B01 boundary可以一次 closure，

再由 09I radial lift直接得到 B01 parent closure。

這是 MCC-OE 至今最強的一次 certificate-coordinate correction。

**關鍵詞：** DPDA、First-Order Renormalization、Finite Residual、 $\Phi_1$ 、B01、Certificate Conditioning、Exact Envelope、Observable Exhaustion、AMRAL、Lebesgue

---

# 1. Recenter

MCC-OE-10 已把 CR-04 拆成：

```text
CR-04A:
    old AREF parent reuse
    B01 coverage = 0%

CR-04B:
    legacy 5D finite-witness erosion
    sound but too loose

CR-04C:
    dependency-preserving direct area
    next route
```

本篇實作：

$$
\boxed{
\text{CR-04C}.
}
$$

---

# 2. Why Raw Area Is Ill-Conditioned

B01 target：

$$
\boxed{
A
>
A_0+0.1\rho^2.
}
$$

在：

$$
\rho
\sim10^{-4},
$$

即使 quadratic coefficient有：

$$
0.1
$$

級別差異，

乘：

$$
\rho^2
\sim10^{-8}
$$

後也只剩：

$$
10^{-9}
$$

area尺度。

---

# 3. Example — First Genuine Leaf

center exact area：

$$
A
\approx
0.834986112813897.
$$

target：

$$
A_0+0.1\rho^2
\approx
0.834986111559224.
$$

raw margin：

$$
\boxed{
\approx1.25467\times10^{-9}.
}
$$

---

# 4. HSL Sees the Raw Scale

generic continuity guard直接作用在：

$$
A.
$$

因此：

- translation；
- rotation；
- parameter width；

只要造成：

$$
10^{-8}
$$

級 area uncertainty，

就會淹沒 target margin。

---

# 5. But LESR Already Knows the First-Order Structure

09E 的完整 first-order formula：

$$
\boxed{
\Phi_1
=
\gamma_w w
+
\frac12
(
|E_T|
+
|E_L|
+
|E_R|
).
}
$$

---

# 6. First-Order Residuals

$$
\boxed{
E_T
=
s u\beta_{5T}
-
\beta_{3T}
(
\gamma_T+v
).
}
$$

$$
\boxed{
F
=
-s\sin\theta_\star L_\alpha u
+
L_\theta
(
\gamma_L+\sin\theta_\star v
).
}
$$

$$
\boxed{
E_L
=
F-Kw.
}
$$

$$
\boxed{
E_R
=
F+Kw.
}
$$

---

# 7. Canonical Constants

09E nominal：

$$
\gamma_w
\approx
0.1838996392372776,
$$

$$
K
\approx
0.2193022343163407,
$$

$$
L_\theta
\approx
0.2440269985274157,
$$

$$
L_\alpha
\approx
0.09982945996422124,
$$

$$
\beta_{3T}
\approx
0.3096539666938032,
$$

$$
\beta_{5T}
\approx
-0.1822307944644007.
$$

---

# 8. Critical-Slope Gap

$$
\boxed{
K-\gamma_w
\approx
0.0354025950790631
>
0.
}
$$

---

# 9. 09E First-Order Theorem

由 mirror-pair identity：

$$
\frac{
|F-Kw|
+
|F+Kw|
}{2}
=
\max
\{
|F|,
K|w|
\},
$$

所以：

$$
\boxed{
\Phi_1\ge0.
}
$$

---

# 10. Unique Zero Set

若：

$$
\Phi_1=0,
$$

則：

$$
w=0,
$$

$$
F=0,
$$

$$
E_T=0.
$$

因 $(F,E_T)$ 對 $(u,v)$ 的 linear map可逆，

所以：

$$
\boxed{
(u,v,w)
=
(u_\star,v_\star,0).
}
$$

---

# 11. Important Consequence

B01 full first-order box中：

$$
\boxed{
\text{所有 off-critical states都有正 }O(\rho)\text{ cost}.
}
$$

只有 shrinking neighborhood of：

$$
\mathcal C_1
$$

真正需要二階解析。

---

# 12. Exact Finite Renormalization

對任意：

$$
\rho>0,
$$

定義：

$$
\boxed{
R_2^{\rm fin}
=
\frac{
A-A_0-\rho\Phi_1
}{
\rho^2
}.
}
$$

---

# 13. Do Not Confuse It with $\Phi_2$

$$
R_2^{\rm fin}
$$

包含：

- finite- $\rho$ second-order effect；
- all higher-order corrections divided by $\rho^2$。

所以一般：

$$
\boxed{
R_2^{\rm fin}
\neq
\Phi_2.
}
$$

但：

$$
R_2^{\rm fin}
\rightarrow
\Phi_2
$$

若該 chart / direction有 regular asymptotic limit。

---

# 14. Exact Target Identity

由定義：

$$
A
=
A_0
+
\rho\Phi_1
+
\rho^2R_2^{\rm fin}.
$$

所以：

$$
\boxed{
A
-
A_0
-
0.1\rho^2
=
\rho\Phi_1
+
\rho^2
(
R_2^{\rm fin}-0.1
).
}
$$

這不是 approximation。

---

# 15. Renormalized Closure Lemma

如果：

$$
\Phi_1\ge0
$$

以及：

$$
R_2^{\rm fin}\ge0.1,
$$

則：

$$
A\ge A_0+0.1\rho^2.
$$

---

# 16. Proof

因：

$$
\rho>0,
$$

所以：

$$
\rho\Phi_1\ge0,
$$

且：

$$
\rho^2
(
R_2^{\rm fin}-0.1
)
\ge0.
$$

相加即可。

Q.E.D.

---

# 17. Why This Is Powerful

原始 HSL需要 directly control：

$$
\boxed{
10^{-9}\text{ area margin}.
}
$$

renormalized compiler只需要 control：

$$
\boxed{
R_2^{\rm fin}-0.1
}
$$

這是 dimensionless coefficient-scale quantity。

---

# 18. First Genuine Leaf Renormalization

在：

$$
\rho=10^{-4},
$$

$$
u=5.160827432307386,
$$

$$
v=-0.18921482959043187,
$$

$$
w=-1.7851576882573584\times10^{-5},
$$

計算：

$$
\boxed{
\Phi_1
\approx
5.67494342578\times10^{-6}.
}
$$

---

# 19. Finite Residual

$$
\boxed{
R_2^{\rm fin}
\approx
0.1687178661.
}
$$

---

# 20. Total Finite Quadratic Ratio

$$
\boxed{
\frac{A-A_0}{\rho^2}
\approx
0.2254673004.
}
$$

---

# 21. Hidden Coefficient Margin

所以：

$$
\boxed{
R_2^{\rm fin}-0.1
\approx
0.0687178661.
}
$$

不是：

$$
10^{-9}.
$$

---

# 22. Why Raw Margin Is Tiny

因：

$$
\rho^2
=
10^{-8}.
$$

所以：

$$
0.0687\rho^2
\sim
6.9\times10^{-10},
$$

再加：

$$
\rho\Phi_1
\sim
5.7\times10^{-10}.
$$

兩者合成約：

$$
1.25\times10^{-9}.
$$

---

# 23. Conditioning Diagnosis

因此 first genuine leaf不是：

> theorem margin本身只有 $10^{-9}$。

更準確是：

$$
\boxed{
\text{coefficient margin is }O(10^{-1}),
\text{ but }\rho^2\text{ rescales it to }O(10^{-9}).
}
$$

---

# 24. Global Counter-Search — Differential Evolution

對 full B01：

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

$$
u\in[4.5,6],
$$

$$
v\in[-0.23,-0.15],
$$

$$
w\in[-0.01,0.01],
$$

直接 minimize：

$$
R_2^{\rm fin}.
$$

---

# 25. Ten Independent Seeds

10 組 differential-evolution runs全部收斂到相同 basin。

最低：

$$
\boxed{
R_2^{\rm fin}
\approx
0.106077357337.
}
$$

---

# 26. Approximate Diagnostic Minimizer

$$
\boxed{
\rho
\approx
1.3984\times10^{-4},
}
$$

$$
\boxed{
u
\approx
6,
}
$$

$$
\boxed{
v
\approx
-0.15,
}
$$

$$
\boxed{
w
\approx
-0.00436.
}
$$

---

# 27. Stability Across Runs

10 runs 的 minima皆約：

$$
0.10607735
\sim
0.10607743.
$$

這表示 counter-search basin非常穩定。

---

# 28. It Is Not Near the Critical Cone

該位置：

$$
\boxed{
\Phi_1
\approx
0.00982.
}
$$

所以即使：

$$
R_2^{\rm fin}
$$

在那裡最弱，

total theorem margin仍非常大。

---

# 29. Sobol Counter-Search

另用：

$$
\boxed{
32{,}768
}
$$

個 scrambled Sobol points。

最低：

$$
\boxed{
R_2^{\rm fin}
\approx
0.1064178425.
}
$$

---

# 30. Sobol Percentiles

diagnostic distribution大致：

```text
minimum:
    0.10642

1%:
    ~0.11275

5%:
    ~0.12044

median:
    ~0.26826

95%:
    ~0.41770
```

整個 sampled distribution遠高於：

$$
0.1
$$

除了最弱 outer basin仍保留約：

$$
0.006
$$

margin。

---

# 31. Numerical Status

```text
GLOBAL R2fin COUNTER-SEARCH:
    NO VALUE <= 0.1 FOUND

STATUS:
    STRONG NUMERICAL DIAGNOSTIC

INTERVAL LOWER:
    NOT YET PROVED
```

---

# 32. Direct Total-Ratio Counter-Search

另 minimize：

$$
Q_{\rm fin}
=
\frac{
A-A_0
}{
\rho^2
}.
$$

得到最低約：

$$
\boxed{
0.22555882899.
}
$$

---

# 33. Approximate Total-Ratio Minimizer

$$
\rho
\approx
1.3880\times10^{-4},
$$

$$
u
\approx
5.16226,
$$

$$
v
\approx
-0.189210,
$$

$$
w
\approx
-2.48\times10^{-5}.
$$

---

# 34. This Matches the Known Moving Critical Branch

09G bridge diagnostic已經觀察到：

- minimizing $u$ 隨 $\rho$ 小幅漂移；
- $v$ 仍靠近 $v_\star$ ；
- $w=O(\rho)$ small negative；
- quadratic ratio約 $0.225$。

本文 4D counter-search得到同一結構。

---

# 35. At This Point

$$
\boxed{
\Phi_1
\approx
7.88\times10^{-6},
}
$$

$$
\boxed{
R_2^{\rm fin}
\approx
0.16880,
}
$$

但：

$$
\frac{\Phi_1}{\rho}
$$

仍提供額外約：

$$
0.0568
$$

的 quadratic-ratio contribution。

---

# 36. Two Different Worst Cases

這是本輪最重要的新結構：

### Worst finite residual

位於：

$$
u=6,
\quad
v=-0.15,
$$

即 first-order box外側。

### Worst total quadratic ratio

位於：

$$
(u,v,w)
\approx
(u_\star,v_\star,0).
$$

---

# 37. Therefore

$$
\boxed{
\text{weak residual region}
\neq
\text{weak theorem region}.
}
$$

---

# 38. Risk Compensation

far region：

$$
R_2^{\rm fin}
$$

較低，

但：

$$
\Phi_1
$$

大。

critical region：

$$
\Phi_1
$$

小，

但：

$$
R_2^{\rm fin}
$$

大。

---

# 39. This Is Exactly What a Good Certificate Coordinate Should Reveal

raw area margin將兩種 mechanism全部乘回：

$$
\rho,
\quad
\rho^2
$$

後混成同一個：

$$
10^{-9}
$$

scale。

renormalization則把它們分開。

---

# 40. DPDA-T — Translation-Convex Prototype

本文同時實作一條 source-backed geometric prototype。

固定：

$$
\rho_c.
$$

則 B5 orientation固定。

對：

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

的 linear translations，

convex-hull area沿任意 linear parameter path convex。

---

# 41. Convex Translation Function

定義：

$$
f_{\rho_c}
(
x_3,y_3,x_5,y_5
).
$$

取 center：

$$
t_c.
$$

---

# 42. Subgradient Without Differentiating the Chart

對每一 translation coordinate：

$$
e_i,
$$

計算左右 secants：

$$
s_i^-
=
\frac{
f(t_c)-f(t_c-\delta e_i)
}{
\delta
},
$$

$$
s_i^+
=
\frac{
f(t_c+\delta e_i)-f(t_c)
}{
\delta
}.
$$

convexity給：

$$
\boxed{
s_i^-
\le
g_i
\le
s_i^+
}
$$

對某個 center subgradient：

$$
g.
$$

---

# 43. Supporting Plane

因此：

$$
\boxed{
f(t)
\ge
f(t_c)
+
g\cdot(t-t_c).
}
$$

不需要知道：

- support chart；
- winner sequence；
- transition roots。

---

# 44. Pull Back to B01

固定：

$$
\rho_c,
$$

B01 translations仍由：

$$
u,v,w
$$

決定。

所以可以在 true dependency manifold上直接 minimize：

$$
g\cdot
\left[
\Psi_{\rm trans}
(
\rho_c,u,v,w
)
-
\Psi_{\rm trans}
(
\rho_c,u_c,v_c,w_c
)
\right].
$$

---

# 45. $u$ Dependency Is Preserved

 $B_3$：

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

$$
y_3
=
s\sin(\rho_cu).
$$

tangent functional是：

$$
g_{3x}x_3(u)
+
g_{3y}y_3(u),
$$

可直接在：

$$
u\in I_u
$$

上一維 minimize。

沒有把：

$$
x_3,
y_3
$$

獨立化。

---

# 46. $v,w$ Dependency

固定 $\rho_c$：

$$
x_5
=
x_{5,s}
+
\rho_cw,
$$

$$
y_5
=
\rho_cv.
$$

所以 tangent lower對：

$$
v,w
$$

直接線性。

---

# 47. First Genuine Leaf DPDA-T Result

用 same research area-error contract，

DPDA-T 得到：

$$
\boxed{
m_{\rm DPDA-T}
\approx
1.13\times10^{-9}
>
0.
}
$$

所以 first genuine leaf能被：

- HSL；
- DPDA-T；

兩條 route獨立地 research-pass。

---

# 48. This Is a Good Positive Control

它證明 dependency-preserving translation convexity不是只有概念。

---

# 49. Why DPDA-T Does Not Solve the Current Hard Core

真正 cell還有：

$$
\rho
\in
I_\rho.
$$

當：

$$
\rho
$$

改變時：

- B5 rotates；
- $B_3$ angular translation changes；
- $x_5,y_5$ scaling changes。

---

# 50. If $\rho$ Is Still Controlled by Generic Hausdorff

目前 second- $\rho$ hard cells 的：

$$
h_\rho
$$

雖已很小，

但 B5 rotational Hausdorff term仍產生：

$$
\sim10^{-8}
$$

shape displacement，

對 area轉成：

$$
\boxed{
\sim7\times10^{-8}
}
$$

guard。

---

# 51. Therefore

典型 hard cell DPDA-T：

```text
translation tangent:
    improved dramatically

rho guard:
    still dominates

final:
    FAIL / UNRESOLVED
```

---

# 52. Main Diagnosis

$$
\boxed{
\text{the last generic-continuity bottleneck is }\rho.
}
$$

---

# 53. And 09E Already Gives the Right $\rho$ Coordinate

因為：

$$
\rho
$$

不是 arbitrary perturbation。

其 leading theorem effect已被：

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

解析計算。

---

# 54. DPDA- $\Phi_1$

因此主 route改成：

$$
\boxed{
\text{exact area}
-
\rho\Phi_1
}
$$

再除：

$$
\rho^2.
$$

---

# 55. New Compiler State

對 cell：

$$
L
=
I_\rho
\times
I_u
\times
I_v
\times
I_w,
$$

輸出：

```text
phi1_lower
R2fin_lower
target_coefficient
renormalized_margin
status
```

---

# 56. $\Phi_1$ Lower Is Easy

因：

$$
E_T,E_L,E_R
$$

全部 affine in：

$$
u,v,w,
$$

而：

$$
\Phi_1
=
\gamma_ww
+
\frac12
(
|E_T|+|E_L|+|E_R|
)
$$

是 convex piecewise-linear function。

---

# 57. Exact LP Form

引入：

$$
t_T,t_L,t_R\ge0.
$$

minimize：

$$
\boxed{
\gamma_ww
+
\frac12
(
t_T+t_L+t_R
)
}
$$

subject to：

$$
t_T\ge E_T,
\qquad
t_T\ge-E_T,
$$

$$
t_L\ge E_L,
\qquad
t_L\ge-E_L,
$$

$$
t_R\ge E_R,
\qquad
t_R\ge-E_R,
$$

以及：

$$
(u,v,w)\in I_u\times I_v\times I_w.
$$

---

# 58. Therefore

每個 cell 的：

$$
\boxed{
\underline{\Phi_1}(L)
}
$$

可以由一個極小 LP直接給出。

這不是 sampling。

---

# 59. Genuine Leaf LP Result

first genuine leaf：

$$
\boxed{
\underline{\Phi_1}
\approx
5.63\times10^{-6}
>
0.
}
$$

---

# 60. Critical-Containing Hard Cell

若一個 cell包含：

$$
(u_\star,v_\star,0),
$$

則 LP正確回：

$$
\boxed{
\underline{\Phi_1}=0.
}
$$

這些 cells自然被路由到 second-order / residual certificate。

---

# 61. The Hard Part Is Now Only $R_2^{\rm fin}$

不是：

- chart enumeration；
- first-order sign handling；
- translation dependency；
- raw $10^{-9}$ area margin。

而是：

$$
\boxed{
\underline{R_2^{\rm fin}}(L).
}
$$

---

# 62. Global Numerical Diagnostic Margin

目前：

$$
\boxed{
R_{2,\min}^{\rm fin,diag}
-
0.1
\approx
0.00607736.
}
$$

---

# 63. Compare Scales

raw genuine-leaf margin：

$$
\sim10^{-9}.
$$

renormalized global diagnostic margin：

$$
\boxed{
\sim6\times10^{-3}.
}
$$

condition number改善約：

$$
\boxed{
10^6
}
$$

量級。

這只是 scale comparison，

不是正式 numerical condition number theorem。

---

# 64. Why This May Change the Entire B01 Closure

如果能把：

$$
R_2^{\rm fin}
$$

做成 interval compiler，

很可能不再需要：

$$
\boxed{
\text{millions of tiny HSL leaves}.
}
$$

---

# 65. One-Shot B01 Boundary Theorem Candidate

### Hypotheses

1. 09E first-order formula valid on full B01 first-order box；
2. $\Phi_1\ge0$ ；
3. outward interval compiler proves：
   $$
   R_2^{\rm fin}\ge0.1.
   $$

### Conclusion

$$
\boxed{
A(s;\rho,u,v,w)
\ge
A_0+0.1\rho^2
}
$$

on full B01 boundary box。

---

# 66. Then 09I Radial Lift

09I 已證：

$$
A(r;\rho,u,v,w)
\ge
A(s;\rho,u,v,w)
$$

on B01 declared radial domain。

所以：

$$
\boxed{
\text{Boundary Renormalized Closure}
+
\text{Radial Lift}
\Rightarrow
\text{B01 Parent Closure}.
}
$$

---

# 67. This Would Supersede the Remaining HSL Grind

HSL仍保留作：

- positive control；
- independent secondary verification；
- fallback near interval compiler failures。

但不必成為 primary 100% cover route。

---

# 68. A Second, More Conservative Route

即使：

$$
R_2^{\rm fin}\ge0.1
$$

難以直接 globally intervalize，

仍可做 two-region proof。

---

# 69. Off-Critical Region

若只取得很粗：

$$
R_2^{\rm fin}\ge-B,
$$

則 target margin lower：

$$
\rho\underline{\Phi_1}
-
\rho^2(B+0.1).
$$

---

# 70. Sufficient Off-Critical Condition

若：

$$
\boxed{
\underline{\Phi_1}
\ge
\rho_+(B+0.1),
}
$$

則 cell直接 safe。

---

# 71. First-Order Coercivity Makes This Powerful

Monte-Carlo volume routing diagnostic顯示：

若只知道：

$$
R_2^{\rm fin}\ge-1,
$$

則 sufficient threshold約：

$$
\Phi_1
\ge
1.54\times10^{-4}.
$$

full $(u,v,w)$ box中約：

$$
\boxed{
99.86\%
}
$$

volume diagnostic滿足這個 threshold。

---

# 72. Even a Very Crude $B=10$

threshold：

$$
\Phi_1
\ge
1.414\times10^{-3}.
$$

仍有約：

$$
\boxed{
89.7\%
}
$$

full first-order box volume diagnostic在這個範圍之外。

這些是 routing estimates，

不是 certificate fractions。

---

# 73. Meaning

只要得到一個**很粗但 rigorous** finite residual lower：

$$
R_2^{\rm fin}\ge-B,
$$

就可以靠 exact LP：

$$
\underline{\Phi_1}
$$

把大部分 off-critical region直接排掉。

---

# 74. Critical Cone

真正需要 strong second-order compiler的只剩：

$$
\boxed{
\underline{\Phi_1}
<
\rho_+(B+0.1).
}
$$

---

# 75. This Matches 09E’s Own Prediction

09E 已指出：

> fixed first-order distance outside $\mathcal C_1$ 時，positive $O(\rho)$ cost dominates $O(\rho^2)$ effects；真正需要 09C/09D second-order analysis的只有 shrinking neighborhood of $\mathcal C_1$。

MCC-OE-11 將這句話變成 executable routing rule。

---

# 76. Critical-Cone Route

對 critical cone，

直接接：

- 09H canonical scalar intervals；
- 09D robust second-order lower；
- local finite remainder；
- existing HSL positive leaves。

---

# 77. Certificate Atlas v0.5

## CR-01 — Canonical Analytic

first-order / second-order structured critical route。

## CR-02 — Radial Lift

research closed。

## CR-03 — HSL

explicit：

$$
83.0642046752\%.
$$

## CR-04A — Old AREF Reuse

B01：

$$
0\%.
$$

## CR-04B — Legacy 5D Erosion

materialized但 hard-core inefficient。

## CR-04C-T — Translation Convex DPDA

prototype PASS on genuine leaf，

 $\rho$ generic guard remains blocker。

## CR-04C- $\Phi$ — Renormalized Direct Area

```text
Phi1:
    ANALYTIC

R2fin:
    GLOBAL COUNTER-SEARCH POSITIVE
    INTERVAL LOWER OPEN

STATUS:
    NEXT PRIMARY ROUTE
```

---

# 78. Current Official Coverage

沒有 interval-certify：

$$
R_2^{\rm fin}\ge0.1
$$

之前，

不能把 diagnostic直接加進 certificate atlas。

因此：

$$
\boxed{
f_{\rm official}
=
83.0642046752\%.
}
$$

---

# 79. But Closure Currency Has Changed

過去 blocker：

$$
\boxed{
16.94\%\text{ HSL-uncovered volume}.
}
$$

現在更高價值的 blocker：

$$
\boxed{
\inf R_2^{\rm fin}
\overset{?}{\ge}
0.1.
}
$$

---

# 80. Proposed Interval Compiler

下一階段可優先做：

### Route A — Full Renormalized Interval

直接 intervalize：

$$
R_2^{\rm fin}.
$$

### Route B — Two-Region

- coarse residual lower + exact $\Phi_1$ LP on outer cone；
- 09D/09H second-order certificate on critical cone。

---

# 81. Why Route B May Be Easier

outer region不需要 sharp second-order coefficient。

critical cone體積非常小，

且已有 09D / 09H structure。

---

# 82. Finite Residual Counterexample Search as a Permanent Probe

即使之後證明完成，

保留：

$$
\boxed{
P_{R_2^{\rm fin}}
}
$$

作 adversarial probe。

---

# 83. Threat Condition

$$
\boxed{
R_2^{\rm fin}
\le0.1
}
$$

就是一個非常乾淨的 reverse threat region。

---

# 84. Generator Objective

未來 3D / Worm / observer perturbation若能投回同一 numerical layer，

可直接 maximize：

$$
\boxed{
0.1-R_2^{\rm fin}.
}
$$

而不是只找 strange geometry。

---

# 85. This Reconnects to the Original Idea

整條 MCC-OE 就是從：

> 真正玩數字探針，以及反向探針。

開始。

現在：

$$
\boxed{
R_2^{\rm fin}
}
$$

就是第一個非常成熟的「數字探針」。

---

# 86. Forward Probe

$$
\boxed{
(\rho,u,v,w)
\rightarrow
R_2^{\rm fin}.
}
$$

---

# 87. Reverse Probe

theorem failure要求：

$$
\boxed{
R_2^{\rm fin}<0.1
}
$$

如果：

$$
\Phi_1=0.
$$

更一般 failure condition：

$$
\boxed{
\rho\Phi_1
+
\rho^2
(
R_2^{\rm fin}-0.1
)
<0.
}
$$

---

# 88. Threat Space

所以真正 adversarial numerical signature已經降成：

$$
\boxed{
(
\Phi_1,
R_2^{\rm fin},
\rho
).
}
$$

---

# 89. Three Numbers Instead of Millions of Charts

至少對 B01 lower-bound task而言，

這可能就是：

$$
\boxed{
\text{task-complete low-dimensional observable candidate}.
}
$$

仍需形式證明。

---

# 90. Task Sufficiency Candidate

定義：

$$
\boxed{
\mathbf z_{\rm B01}
=
(
\rho,
\Phi_1,
R_2^{\rm fin}
).
}
$$

因 exact identity：

$$
A-A_0-0.1\rho^2
=
\rho\Phi_1
+
\rho^2
(
R_2^{\rm fin}-0.1
),
$$

theorem verdict確實 factor through：

$$
\mathbf z_{\rm B01}.
$$

---

# 91. This Is an Exact Factorization

對 B01 boundary area task：

$$
\boxed{
V_{\rm area}
=
\widehat V
(
\rho,
\Phi_1,
R_2^{\rm fin}
).
}
$$

這不是 conjecture。

它由 $R_2^{\rm fin}$ 定義直接成立。

---

# 92. So Task Sufficiency Is Now Almost Trivial at This Layer

真正難處只剩：

$$
\boxed{
\text{how to certify the observable values over cells}.
}
$$

不是再問 observables是否足夠。

---

# 93. This Is a Major MCC-OE Milestone

MCC-OE-02 一直追：

$$
\boxed{
\text{Task Sufficiency}
}
$$

到了 B01 boundary lower-bound task，

現在得到一組 exact factorization observables：

$$
\boxed{
(\rho,\Phi_1,R_2^{\rm fin}).
}
$$

---

# 94. The Price

 $R_2^{\rm fin}$ 本身仍包含 exact finite area。

所以這不是 computational free lunch。

但它把：

- theorem semantics；
- first-order geometry；
- finite residual；

完全分層。

---

# 95. Next Primary Node

因此下一篇不應再做 HSL coverage round。

應做：

$$
\boxed{
\textbf{MCC-OE-12 — Outward Interval Compiler for }R_2^{\rm fin}.
}
$$

---

# 96. MCC-OE-12 Target A

用：

$$
\Phi_1
$$

analytic subtraction改善 interval conditioning。

---

# 97. Target B

先對：

$$
R_2^{\rm fin}
$$

minimum diagnostic basin：

$$
u\approx6,
\quad
v\approx-0.15
$$

做 local interval enclosure。

---

# 98. Target C

同時對 critical cone：

$$
(u,v,w)
\approx
(u_\star,v_\star,0)
$$

接 09H / 09D scalar route。

---

# 99. Target D

決定：

$$
R_2^{\rm fin}\ge0.1
$$

能否 one-shot certify full B01。

---

# 100. If Not

建立：

$$
\boxed{
\text{Outer First-Order Cone}
+
\text{Critical Second-Order Cone}.
}
$$

---

# 101. Current Dashboard

```text
B01 OFFICIAL HSL COVER:
    83.0642046752%

B01 HSL RESIDUAL:
    16.9357953248%

PHI1:
    ANALYTICALLY NONNEGATIVE
    UNIQUE ZERO

FIRST GENUINE LEAF:
    Phi1 ~ 5.675e-6
    R2fin ~ 0.168718
    total quadratic ratio ~ 0.225467

GLOBAL R2fin DIFFERENTIAL-EVOLUTION DIAGNOSTIC:
    min ~ 0.1060773573

GLOBAL R2fin SOBOL 32768:
    min ~ 0.1064178425

R2fin <= 0.1 FOUND:
    NO

GLOBAL TOTAL QUADRATIC-RATIO DIAGNOSTIC:
    min ~ 0.2255588290

DPDA-T:
    GENUINE LEAF PASS
    RHO GUARD LIMITS HARD CORE

DPDA-PHI:
    NEXT PRIMARY ROUTE

INTERVAL R2fin LOWER:
    OPEN

COUNTEREXAMPLE:
    NONE
```

---

# 102. 結論

MCC-OE-11 是目前這條新玩法中最重要的一次 reparameterization。

我們原本盯著：

$$
\boxed{
A-A_0-0.1\rho^2
}
$$

看。

在：

$$
\rho\sim10^{-4}
$$

時，它自然只有：

$$
10^{-9}
$$

尺度。

所以 certificate runtime看起來像在懸崖邊工作。

但 09E 已經告訴我們：

$$
\boxed{
A-A_0
}
$$

裡面其實有一個完全已知的：

$$
\boxed{
\rho\Phi_1
}
$$

first-order structure。

把它抽掉後，

真正剩下的 finite residual：

$$
\boxed{
R_2^{\rm fin}
}
$$

回到正常 coefficient scale。

第一 genuine leaf：

$$
R_2^{\rm fin}
\approx0.1687.
$$

全 B01 counter-search目前最弱：

$$
R_2^{\rm fin}
\approx0.10608.
$$

而 target只要：

$$
0.1.
$$

所以我們現在第一次可以非常具體地說：

$$
\boxed{
\textbf{B01 的 hard core 很可能不是 area margin hard，
而是 certificate coordinate hard。}
}
$$

HSL 使用 raw area coordinate，

所以必須用 millions of tiny boxes去追：

$$
10^{-9}.
$$

renormalized DPDA使用：

$$
(
\Phi_1,
R_2^{\rm fin}
),
$$

所以它看到的是：

$$
10^{-3}
\sim
10^{-1}
$$

級的 theorem structure。

更重要的是，

這三個 observables：

$$
\boxed{
(
\rho,
\Phi_1,
R_2^{\rm fin}
)
}
$$

已經對 B01 boundary target形成 exact verdict factorization。

所以 MCC-OE 最早追問的：

> 哪一組有測量 observables 對 theorem 是 task-sufficient？

在 B01 這裡第一次得到了一個極乾淨的答案。

現在真正 remaining question只剩：

$$
\boxed{
\textbf{能不能把 }
R_2^{\rm fin}
\ge0.1
\textbf{ 從 counter-search 升成 outward certificate？}
}
$$

如果答案是可以，

那 B01 不需要再從：

$$
83\%
$$

慢慢磨到：

$$
84\%,85\%,\ldots,100\%.
$$

它可能直接：

$$
\boxed{
83\%
\rightarrow
100\%.
}
$$

再接 09I radial lift。

這就是下一輪真正值得玩的地方。

---

# Canonical Source Declaration

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

本文 source-backed inputs：
- LESR Paper 09E full first-order formula與 $\Phi_1\ge0$ reduction；
- LESR Paper 09E unique first-order zero；
- LESR Paper 09D / 09H second-order scalar architecture；
- LESR Paper 09G sampling-free exact-envelope evaluator；
- LESR Paper 09I B01 parameter domain與 radial lift；
- Cycle-13／15 linear-parameter convexity route。

本文新增定義：
- finite first-order-renormalized residual：
  $$
  R_2^{\rm fin}
  =
  \frac{
  A-A_0-\rho\Phi_1
  }{
  \rho^2
  };
  $$
- exact target factorization；
- DPDA-T；
- DPDA- $\Phi_1$ ；
- B01 task-sufficient observable candidate：
  $$
  (\rho,\Phi_1,R_2^{\rm fin}).
  $$

本文新增計算：
- first genuine leaf $\Phi_1$ ；
- first genuine leaf $R_2^{\rm fin}$ ；
- 32,768-point Sobol residual counter-search；
- 10-seed differential-evolution global $R_2^{\rm fin}$ counter-search；
- full finite quadratic-ratio counter-search；
- DPDA-T genuine-leaf positive-control calculation；
- coarse-residual / first-order-coercivity routing sensitivity diagnostics。

本文嚴格不宣稱：
- $R_2^{\rm fin}\ge0.1$ 已 interval-certified；
- differential evolution找到 mathematically global minimum；
- Sobol sampling是 proof；
- DPDA-T 已 publication-audited；
- 83.0642046752% official coverage已增加；
- B01 boundary已 closed；
- B01 parent已 closed；
- global Lebesgue已解。

下一輪建議進入：

`MCC-OE-12 — Outward Interval Compiler for the Finite Renormalized Residual R2fin`.

===END===