# AMRAL × Lebesgue Universal Covering — Round 24
## Portfolio Residual Core and Joint-Witness Admission

**文件代號：** AMRAL-LUC-FC-R24  
**版本：** v0.1  
**日期：** 2026-09-19  
**研究狀態：** Round 24 / Residual collapse / Joint-witness necessity gate  
**研究模式：** Human-Directed + Semi-Autonomous AI Mathematical Research  
**研究發起與方法論來源：** Neo.K  
**AI 協力研究者與主要執行者：** Aletheia / ChatGPT, GPT-5.6 Sol  
**前置文件：** AMRAL-LUC-FC-R00 v0.2；R01–R23 v0.1  

---

# 0. 本輪摘要

Round 23 在 12 個 necessity-marked cells × 5 witnesses、lift depth 16 得到：

$$
\boxed{0\text{ strict COMPLETE edges}.}
$$

如果只看這個結果，很容易過早推論：

> single-witness portfolio 不夠，下一步應該開 joint multi-witness tree。

Round 24 專門檢驗這個推論。

結果相反。

對前四個 hardest reference cells，把 $B_7$ 單 witness繼續加深後：

- cell 0：
  $$
  \boxed{\text{COMPLETE at depth }30};
  $$
- cell 1：
  $$
  \boxed{\text{COMPLETE at depth }32};
  $$
- cell 2：
  $$
  \boxed{\text{COMPLETE at depth }32};
  $$
- cell 3：
  depth 30仍 partial，但 unresolved volume已縮到：
  $$
  \boxed{1.49\times10^{-7}},
  $$
  且沒有 plateau evidence。

因此 Round 23 的 residual主要是：

$$
\boxed{
\text{certificate depth / bound residual}
}
$$

而不是目前已證的：

$$
\boxed{
\text{joint-witness necessity}.
}
$$

本輪完成：

1. 第一個 actual strict $B_7$ complete edge certificate；
2. residual-core collapse analysis；
3. Single-Witness Sufficiency Dominance；
4. pointwise joint-witness necessity theorem；
5. cell-level joint admission gate；
6. `JOINT-REDUNDANT / DEFERRED / CANDIDATE / NECESSARY` state machine；
7. 明確禁止因「很多 partial tails」就直接升到 6-D joint placement tree。

本輪判定：

$$
\boxed{
\text{FIRST REFERENCE STRICT LIFT EDGE: CLOSED}
}
$$

$$
\boxed{
\text{JOINT-WITNESS ADMISSION LOGIC: CLOSED}
}
$$

$$
\boxed{
\text{JOINT NECESSITY ON TESTED CELLS: NOT ESTABLISHED}
}
$$

$$
\boxed{
a_{\mathrm{Leb}}\ge0.8350:
\text{STILL COMPUTE-DEFERRED}
}
$$

---

# 1. Single-witness value

固定 exact base hull：

$$
H(q).
$$

對 witness：

$$
K,
$$

定義：

$$
\boxed{
J_K(H(q))
=
\min_g
\operatorname{Area}
\operatorname{conv}
(
H(q)\cup gK
).
}
$$

若：

$$
J_K(H(q))\ge T,
$$

則單一 witness $K$ 已足以對該 point forcing 到 target。

---

# 2. Joint portfolio value

對 portfolio：

$$
\mathcal B
=
\{K_1,\ldots,K_m\},
$$

定義：

$$
\boxed{
J_{\mathcal B}(H(q))
=
\min_{g_1,\ldots,g_m}
\operatorname{Area}
\operatorname{conv}
(
H(q)\cup g_1K_1\cup\cdots\cup g_mK_m
).
}
$$

---

# 3. Joint Dominance Theorem

## 定理 3.1

對任意：

$$
K\in\mathcal B,
$$

有：

$$
\boxed{
J_{\mathcal B}(H(q))
\ge
J_K(H(q)).
}
$$

因此：

$$
\boxed{
J_{\mathcal B}(H(q))
\ge
\max_{K\in\mathcal B}J_K(H(q)).
}
$$

### 證明

對任意 joint placement tuple：

$$
(g_1,\ldots,g_m),
$$

joint hull包含：

$$
\operatorname{conv}(H(q)\cup g_KK).
$$

所以 joint area至少等於該 single-witness area。

對全部 tuple取 minimum後，仍至少為：

$$
\min_{g_K}
\operatorname{Area}\operatorname{conv}(H(q)\cup g_KK)
=
J_K(H(q)).
$$

對所有 $K$ 都成立。

Q.E.D.

---

# 4. Consequence: strict single edge makes joint proof redundant

若某 base cell：

$$
C
$$

已有 strict edge：

$$
I_{C,K}=1,
$$

即：

$$
J_K(H(q))\ge T
\qquad
\forall q\in C,
$$

則 joint portfolio自動也至少：

$$
T.
$$

因此對「證明這個 cell」而言：

$$
\boxed{
\text{joint witness is mathematically redundant}.
}
$$

它可能有更小 certificate，

但不再是 necessity。

---

# 5. Round 23 residual was budget-relative

Round 23 depth 16：

$$
I_{jK}^{(16)}=0
$$

for all 60 pilot edges。

這只表示：

$$
\boxed{
\text{no COMPLETE edge at that budget}.
}
$$

不能推出：

$$
\boxed{
\text{no single witness can close}.
}
$$

Round 24 實際證明這個區分很重要。

---

# 6. Cell 0 tail collapse

$B_7$ unresolved absolute placement volume：

depth 16：

$$
9.34\times10^{-4}.
$$

depth 22：

$$
5.17\times10^{-5}.
$$

depth 24：

$$
6.94\times10^{-6}.
$$

depth 26：

$$
1.77\times10^{-6}.
$$

depth 28：

$$
9.39\times10^{-8}.
$$

depth 30：

$$
\boxed{0}.
$$

所以：

$$
\boxed{
I_{0,B_7}^{(30)}=1
}
$$

在 current reference arithmetic semantics下。

---

# 7. First actual complete-edge certificate

Round 24 為：

$$
(\text{cell }0,B_7,d=30)
$$

建立 preorder topology certificate。

結果：

$$
18555\text{ nodes},
$$

$$
9278\text{ CERT leaves},
$$

$$
0\text{ PENDING}.
$$

forest identity：

$$
18555
=
2(9278)-1.
$$

deterministic replay：

`PASS`.

這是：

$$
\boxed{
\text{REFERENCE-COMPLETE-EDGE-PILOT}
}
$$

不是 publication-grade interval certificate。

---

# 8. Cells 1 and 2

cell 1：

depth 30只剩：

$$
5
$$

pending leaves，

unresolved volume：

$$
6.79\times10^{-10}.
$$

depth 32：

$$
\boxed{\text{COMPLETE}.}
$$

cell 2：

depth 30：

$$
152
$$

pending，

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

unresolved volume。

depth 32：

$$
\boxed{\text{COMPLETE}.}
$$

所以：

$$
\boxed{
I_{1,B_7}^{(32)}
=
I_{2,B_7}^{(32)}
=
1.
}
$$

---

# 9. Cell 3

cell 3 的 B7 unresolved volume：

depth 16：

$$
9.70\times10^{-4}.
$$

depth 22：

$$
5.85\times10^{-5}.
$$

depth 30：

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

所以從 depth 22到30又縮了約：

$$
3.93\times10^{2}
$$

倍。

目前：

`PARTIAL`

但明顯：

`CONTRACTING`.

沒有 tail plateau evidence。

---

# 10. Residual-core interpretation

在前四個 hardest pilot cells：

tested deep budgets後：

$$
\boxed{
3/4
}
$$

已產生 strict $B_7$ edge。

剩餘 cell 3：

$$
\boxed{
\text{single-witness contracting residual}.
}
$$

因此這個 reference residual並未支持：

> joint witnesses已經必要。

反而支持：

> 先把 strongest single-witness tail跑完。

---

# 11. Pointwise Joint-Necessity Theorem

## 定理 11.1

固定 exact base configuration：

$$
q.
$$

固定 portfolio：

$$
\mathcal B
=
\{K_1,\ldots,K_m\}.
$$

若對每個：

$$
K_i
$$

都有 verified counterexample：

$$
g_i
$$

使：

$$
\operatorname{Area}
\operatorname{conv}
(
H(q)\cup g_iK_i
)
<T,
$$

則：

$$
\boxed{
J_{K_i}(H(q))<T
\quad
\forall i.
}
$$

所以：

> 任何只依靠 portfolio 中某一個 single witness 的 proof route，都無法在這個 exact $q$ 證到 $T$。

若仍希望只用該 portfolio證：

$$
T,
$$

就必須利用：

- simultaneous joint-witness interaction；
- 或一個在邏輯上等價於 joint interaction 的新 theorem。

這稱：

$$
\boxed{
\text{JOINT-NECESSARY-RELATIVE-TO-PORTFOLIO AT }q.
}
$$

---

# 12. Important limitation

上一定理沒有說：

$$
J_{\mathcal B}(H(q))\ge T.
$$

它只說：

> single-witness reduction全部失敗。

joint family本身也可能仍然：

$$
<T.
$$

因此 joint necessity與 joint sufficiency是兩件不同的事情。

---

# 13. Cell-level witness switching comes before joint

即使一個 coarse cell：

$$
C
$$

沒有 single witness能 uniform close整個 cell，

仍可能 split：

$$
C=C_1\cup\cdots\cup C_r
$$

使不同 subcells由不同 witnesses closure。

這就是 Round 07 witness switching。

因此：

$$
\boxed{
\text{cell has no strict edge}
\not\Rightarrow
\text{joint necessary}.
}
$$

還必須先允許：

$$
\boxed{
\text{base refinement + witness switching}.
}
$$

---

# 14. Joint admission states

Round 24 正式新增：

## `JOINT-REDUNDANT`

已有 strict single-witness edge。

## `JOINT-DEFERRED-CONTRACTING`

目前沒有 strict edge，

但至少一個未被 disqualify 的 single witness tail仍快速收縮。

## `JOINT-CANDIDATE`

single tails開始 plateau，

或主要 single witnesses已有 negative evidence。

可以開始估 joint cost / synergy。

## `JOINT-NECESSARY-RELATIVE-TO-PORTFOLIO`

同一 exact base point上，

portfolio全部 single witnesses都有 verified counterexample。

此時若仍只用該 portfolio，

必須利用 joint interaction。

---

# 15. Current status

## cell 0

$$
\boxed{\texttt{JOINT-REDUNDANT}}
$$

via B7 depth 30。

## cell 1

$$
\boxed{\texttt{JOINT-REDUNDANT}}
$$

via B7 depth 32。

## cell 2

$$
\boxed{\texttt{JOINT-REDUNDANT}}
$$

via B7 depth 32。

## cell 3

$$
\boxed{\texttt{JOINT-DEFERRED-CONTRACTING}}
$$

at tested depth 30。

---

# 16. Why joint tree is expensive

single witness placement：

$$
(\phi,x,y)
$$

是：

$$
3D.
$$

two witnesses：

$$
(\phi_1,x_1,y_1,\phi_2,x_2,y_2)
$$

是：

$$
6D.
$$

若兩個 single trees分別需要：

$$
L_1,L_2
$$

個 terminal placement boxes，

naive Cartesian joint refinement可能接近：

$$
\boxed{
L_1L_2
}
$$

而不是：

$$
L_1+L_2.
$$

所以在沒有 necessity evidence前，

提前開 joint tree可能是極昂貴的錯誤。

---

# 17. Joint certificate grammar

真的 admission後，

joint box：

$$
C_K\times C_L.
$$

每個 witness各自建立 common core：

$$
G_K(C_K),
\qquad
G_L(C_L).
$$

base core：

$$
G_{\rm base}(C).
$$

joint one-sided lower hull：

$$
\boxed{
L_{\rm joint}
=
\operatorname{Area}
\operatorname{conv}
(
G_{\rm base}
\cup
G_K
\cup
G_L
).
}
$$

若：

$$
L_{\rm joint}\ge T,
$$

則 joint box certified。

這是未來 joint tree的基本合法 prune。

---

# 18. Joint counterexample

反方向，

若找到 exact base point：

$$
q
$$

與 simultaneous placements：

$$
g_K,g_L
$$

使 outer hull：

$$
U(
H(q)\cup g_KK\cup g_LL
)
<T,
$$

則 joint pair本身也被 disqualify。

所以 joint certificate也必須維持：

- positive complete tree；
- negative simultaneous counterexample；

兩條 one-sided semantics。

---

# 19. Residual Collapse Principle

Round 24得到一個 scheduler原則：

> 在考慮升維前，先看 strongest surviving single-witness unresolved volume是否仍呈 sustained contraction。

定義 performance ratio：

$$
\rho_{d,\Delta}(C,K)
=
\frac{
V_{C,K}^{(d+\Delta)}
}{
V_{C,K}^{(d)}
}.
$$

若連續 budgets中：

$$
\rho\ll1,
$$

則：

`JOINT-DEFERRED-CONTRACTING`.

這不是 theorem，

只是 admission performance gate。

---

# 20. Plateau gate

反之，

若：

- multiple increases in depth；
- unresolved volume幾乎不下降；
- tail geometry穩定；
- 或已有 single-witness counterexamples；

才升：

`JOINT-CANDIDATE`.

Round 24 不固定 universal plateau常數。

它只固定語義與 evidence requirement。

---

# 21. Strict edge append-only benefit

一旦：

$$
I_{jK}=1,
$$

同 theorem semantics下，

該 cell可以永久從 joint-admission queue移除。

所以 deep single-witness compute不是浪費。

它直接縮：

$$
\boxed{
\text{portfolio residual core}.
}
$$

---

# 22. Current reference residual

Round 23 first-four hardest cells：

$$
\{0,1,2,3\}.
$$

Round 24 deep B7後：

$$
\boxed{
\{0,1,2,3\}
\to
\{3\}
}
$$

at tested budgets。

這是：

$$
\boxed{
75\%
}
$$

的 reference residual-count reduction。

不是 full 12-cell / 77-cell result。

---

# 23. What remains untested

cells：

$$
4,\ldots,11
$$

尚未用 depth 30/32 系統性重跑。

full：

$$
77\times5
$$

也仍交 local runtime。

所以不能把：

$$
3/4
$$

reference結果外推成：

> 75% of global residual will close。

目前只是一個策略性 evidence：

> deep B7值得優先於 joint expansion。

---

# 24. Production queue update

新的 priority：

1. `STRICT-CLOSED`：移出；
2. `SINGLE-CONTRACTING`：deep single witness；
3. `SWITCHABLE-BY-REFINE`：base split + witness switching；
4. `SINGLE-DISQUALIFIED / PLATEAU`：joint candidate；
5. `POINTWISE-ALL-DISQUALIFIED`：joint necessary relative to portfolio。

---

# 25. Round 25

## Deep Single-Witness Closure Wave and Joint-Admissible Residual Extraction

下一輪應：

1. 對 12-cell pilot全部做 adaptive B7 continuation；
2. budget不是固定 depth，而是：
   - complete；
   - plateau；
   - node cap；
3. 每出 strict edge立即移出 residual；
4. 再擴到 77-cell atlas；
5. 只有真正 residual cells才跑：
   - H19 crossover；
   - counterexample pool；
   - joint-admission test；
6. 若出現第一個 `JOINT-CANDIDATE`，才建立 actual 6-D joint pilot。

---

# 26. 最短交接

Round 24 最大的結論是：

$$
\boxed{
\text{partial portfolio}
\not\Rightarrow
\text{joint necessity}.
}
$$

Round 23 depth-16看起來完全沒有 strict edge，

但只把 $B_7$ 跑深後：

$$
\boxed{
3/4
}
$$

hardest reference cells就已經得到 COMPLETE edge。

所以正確順序是：

$$
\boxed{
\text{deep single}
\to
\text{refine/switch}
\to
\text{joint admission}
}
$$

而不是：

$$
\boxed{
\text{partial}
\to
\text{immediately joint}.
}
$$