# AMRAL × Lebesgue Universal Covering — Round 20
## Necessity-Marked Mixed Lift Shards and Adaptive Witness Escalation

**文件代號：** AMRAL-LUC-FC-R20  
**版本：** v0.1  
**日期：** 2026-09-19  
**研究狀態：** Round 20 / Mixed base-lift proof state / Witness escalation  
**研究模式：** Human-Directed + Semi-Autonomous AI Mathematical Research  
**研究發起與方法論來源：** Neo.K  
**AI 協力研究者與主要執行者：** Aletheia / ChatGPT, GPT-5.6 Sol  
**前置文件：** AMRAL-LUC-FC-R00 v0.2；R01–R19 v0.1  

---

# 0. 本輪摘要

Round 19 已建立 Necessity Marker 與 Dual Base/Lift Frontier。

Round 20 把它真正寫進 shard grammar，並把 witness selection 改成 evidence-driven escalation。

本輪完成：

1. mixed base/lift shard grammar；
2. witness negative-counterexample theorem；
3. `UNRESOLVED != DISQUALIFIED` fail-closed semantics；
4. search forcing / certificate efficiency 二維分離；
5. horizon-dependent witness ranking；
6. state-dependent Pareto witness frontier；
7. 4 個 necessity-marked base cells × B7/B11/B19 partial lift trees；
8. independent replay；
9. 第一個 actual witness disqualification：B23；
10. deep lift 中 B7 ranking reversal。

本輪判定：

$$
\boxed{\text{MIXED SHARD GRAMMAR: CLOSED}}
$$

$$
\boxed{\text{WITNESS NEGATIVE FILTER: CLOSED}}
$$

$$
\boxed{\text{ADAPTIVE ESCALATION: PILOT-CALIBRATED}}
$$

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

---

# 1. Mixed base/lift shard

一個 base leaf現在可帶：

```text
base_cell_id
base_path
base_box
necessity marker
lift attachments
negative witness evidence
```

Final shard 只有在每個 base obligation都 `BASE-CERTIFIED` 或被完整 `LIFT-CERTIFIED` 覆蓋時才能 `COMPLETE`。

---

# 2. State semantics

- `BASE-CERTIFIED`：base-only lower bound達 target。
- `NECESSITY-MARKED`：cell包含 verified base configuration with area $<T$。
- `LIFT-PROBE`：正在做有限 witness probe。
- `LIFT-ACTIVE`：已 attach witness tree，但仍未 closure。
- `LIFT-CERTIFIED`：整個 relevant witness placement root全部 closure。
- `WITNESS-DISQUALIFIED`：已有具體 witness placement counterexample。
- `PENDING`：尚未完成。

`NECESSITY-MARKED` 本身不是 closure。

---

# 3. Unresolved 不等於 witness failure

若 $B_7$ tree 到 depth $d$ 還有 pending：

$$
P_d>0,
$$

只能得到：

$$
\boxed{\text{CURRENT CERTIFICATE INCOMPLETE}.}
$$

不能推出：

$$
J_{B_7}(H)<T.
$$

原因可能只是 box太粗、base erosion太大、common-core bound太弱或 lift depth不足。

---

# 4. Witness Counterexample Theorem

令 base cell $C$ 包含 configuration $q$。

若對 witness $K$ 存在合法 placement $g$，且有 one-sided upper bound：

$$
U(\operatorname{conv}(H_{\mathcal F_3}(q)\cup gK))<T,
$$

則：

$$
\boxed{
J_K(H_{\mathcal F_3}(q))<T.
}
$$

因此 $K$ 不可能作為 $C$ 的 sole closing witness。

這是 proof-safe negative filter。

---

# 5. Actual B23 disqualification

在 reference `cell-00`，3-D placement search找到 $B_{23}$ placement：

$$
\phi\approx0.22598188,
$$

$$
x\approx-5.68\times10^{-5},
\qquad
y\approx-3.14\times10^{-4}.
$$

exact-kernel area：

$$
0.83492540.
$$

20k support outer：

$$
\boxed{
0.83494439<0.835.
}
$$

所以：

$$
\boxed{
B_{23}\text{ is pilot-disqualified as a sole closer for this marked cell}.
}
$$

目前仍是 pilot floating policy，不是 publication arithmetic theorem。

---

# 6. Absence of counterexample has no positive proof value

若 numerical search沒有找到：

$$
A<T,
$$

只能寫：

`NO-COUNTEREXAMPLE-FOUND`.

不能寫：

`VIABLE-PROVED`.

真正 positive proof只有：

$$
\boxed{
\text{complete witness placement certificate}.
}
$$

---

# 7. Shallow certificate efficiency

8 個 depth-40 marked cells，lift depth 12：

$$
B_7:\ \text{mean pending}\approx160.6,
$$

$$
B_9:\ 154.0,
$$

$$
B_{11}:\ 119.1.
$$

前 4 cells 的 larger odd-gon scan：

$$
B_{13}:89,
\quad
B_{15}:68,
\quad
B_{17}:69,
\quad
B_{19}:64,
\quad
B_{21}:64,
\quad
B_{23}:64.
$$

如果只看 shallow pending fraction，高 $n$ 看似越來越好。

B23 counterexample證明這個單一排序是錯的。

---

# 8. Why disk-like witnesses look easy

當 $n$ 增加：

$$
B_n\to D.
$$

rotation radius接近 $1/2$，box erosion loss較小。

大部分 translated placements很容易因 protrusion被證到 target以上。

只剩一小塊 near-alignment placement tail。

所以：

$$
\boxed{
\text{certificate tree easier}
\not\Rightarrow
\text{witness geometrically stronger}.
}
$$

---

# 9. Placement-search forcing signal

同一 `cell-00` 3-D witness placement search：

$$
B_7\approx0.83707775,
$$

$$
B_9\approx0.83562957,
$$

$$
B_{11}\approx0.83617312,
$$

$$
B_{13}\approx0.83592291,
$$

$$
B_{15}\approx0.83529107,
$$

$$
B_{17}\approx0.83527109,
$$

$$
B_{19}\approx0.83540886,
$$

$$
B_{21}\approx0.83514310,
$$

$$
B_{23}\approx0.83492540.
$$

除 B23 negative certificate外，其餘只是 search evidence。

---

# 10. Witness selection is Pareto

至少兩個主軸：

## Geometric forcing

search minimum距 target的 margin。

## Certificate efficiency

shallow / current depth pending fraction與 node cost。

所以不能把 witness pool寫成固定：

```text
B7 -> B11 -> B13 -> ...
```

而應維持 state-dependent Pareto frontier。

---

# 11. Horizon-dependent ranking

tracked necessity branch細到 base depth 50：

$$
\tau\approx3.83\times10^{-4}.
$$

lift depth 18：

- B7 pending fraction $\approx0.249\%$；
- B11 $\approx0.297\%$；
- B19 $\approx0.281\%$；
- B21 $\approx0.276\%$。

lift depth 20：

- B7 $\approx0.0968\%$；
- B11 $\approx0.1894\%$；
- B13 $\approx0.1868\%$；
- B19 $\approx0.1472\%$；
- B21 $\approx0.1405\%$。

所以：

$$
\boxed{
B_7\text{ shallow 較貴，但 deep tail contraction 更快}.
}
$$

---

# 12. B7 deep tail

同一 depth-50 base cell：

$$
u_{18}\approx2.491\times10^{-3},
$$

$$
u_{20}\approx9.680\times10^{-4},
$$

$$
u_{22}\approx2.494\times10^{-4},
$$

$$
u_{24}\approx8.327\times10^{-5},
$$

$$
u_{26}\approx3.193\times10^{-5}.
$$

仍未完全 closure，但下降速度明顯。

---

# 13. Horizon-aware escalation

因此 witness ranking要依預計 horizon：

- shallow probe：certificate-efficient witness有價值；
- long tail：forcing margin大的 witness可能後來反超。

scheduler應估：

$$
\rho_{K}(d_1,d_2)
=
\frac{u_{K,d_2}}{u_{K,d_1}}.
$$

不能只看：

$$
u_{K,d_1}.
$$

---

# 14. Escalation State Machine

## N0 — Necessity

base cell已有 marker。

## N1 — Negative Filter

search witness placement。

若找到 candidate $<T$，用 one-sided outer確認。

成功：

`WITNESS-DISQUALIFIED`.

## N2 — Shallow Lift Probe

對 survivors跑固定小 depth。

收集：

- nodes；
- pending fraction；
- time。

## N3 — Tail Estimate

多 depth估 contraction rate。

## N4 — Base vs Lift

若 base $\tau$仍大，先 base refine / marker segmentation。

若 $\tau$小且 witness tail快速收縮，deepening witness。

## N5 — Switch / Batch

如果 tail plateau或被 negative filter淘汰：

- switch witness；
- 或 Round 07 batch；
- 最後才 joint multi-witness placement。

---

# 15. Actual mixed-shard reference

Round 20真正建立 4 個 depth-40 necessity-marked base cells。

每個 cell attached：

- B7 depth-12 partial lift tree；
- B11 depth-12；
- B19 depth-12。

所有 marker都重新以 center outer bracket $<0.835$ 驗證。

所有 witness trees保留 pending leaves。

所以：

$$
\boxed{\texttt{theorem\_ready=false}.}
$$

這是正確 fail-closed semantics。

---

# 16. Independent mixed-shard replay

Verifier重播：

1. marker；
2. lift topology；
3. deterministic witness splits；
4. common cores；
5. hand-written monotone-chain inner hull；
6. every CERT leaf；
7. every PENDING leaf保留 unresolved；
8. stream exhaustion；
9. B23 negative counterexample。

結果：

$$
\boxed{
\texttt{REFERENCE-MIXED-SHARD-VERIFIED}
}
$$

但：

$$
\boxed{
\texttt{theorem\_ready=false}.
}
$$

「格式與已宣告 evidence正確」不等於「整個 proof已完成」。

---

# 17. Counterexample cache

negative evidence：

$$
(q,g,U<T)
$$

應進 content-addressed evidence cache。

只要 future base cell仍包含同 $q$，同 witness就可以直接重用 negative filter。

counterexample也是 proof asset。

---

# 18. Regular odd-gon ladder lesson

不能用：

$$
n\uparrow
$$

當 witness strength ordering。

regular odd-gons同時改變：

- forcing geometry；
- rotational sensitivity；
- erosion loss；
- near-disk counterexample risk。

所以它是一個多目標 family，不是一條單調 ladder。

---

# 19. Fourier fallback

Round 02 asymmetric dictionary放在：

1. regular witness Pareto pool；
2. negative filter / tail plateau；
3. hard marked cells；

之後才啟動。

這時 target oracle應從 unresolved lift tail幾何反推 asymmetric witness，而不是盲掃整個 dictionary。

---

# 20. Production rule

目前最安全的 witness escalation是：

$$
\boxed{
\text{Necessity Marker}
\to
\text{Negative Filter}
\to
\text{Shallow Probe}
\to
\text{Tail Estimate}
\to
\text{Pareto Choice}
\to
\text{Deepen / Switch / Batch}.
}
$$

---

# 21. Status ledger

- Mixed shard grammar: `IMPLEMENTED + REPLAYED`
- Necessity markers in mixed shard: `IMPLEMENTED`
- Partial lift semantics: `IMPLEMENTED`
- Witness negative theorem: `PROVED`
- B23 negative example: `VERIFIED-COMPUTATIONAL-PILOT`
- Absence-of-counterexample -> viability: `REJECTED AS INFERENCE`
- Horizon-dependent ranking: `NUMERICAL-EVIDENCE`
- B7 full closure of marked cell: `NOT YET ACHIEVED`
- Global $0.8350$: `COMPUTE-DEFERRED`

---

# 22. Round 21

## Lift-Tail Geometry and Counterexample-Guided Witness Synthesis

下一輪主攻：

1. 把 B7 depth-22/24 unresolved witness leaves投影成 $(\phi,x,y)$ placement atlas；
2. 分析 active-contact / near-alignment pattern；
3. 分析 B23 counterexample與 B7 tail的共同幾何；
4. 從 unresolved tail反推 asymmetric constant-width witness；
5. 用 Round 02 Fourier dictionary做 counterexample-guided witness synthesis；
6. 不再盲掃 odd-gon $n$。

---

# 23. 最短交接

Round 20最重要的結論：

$$
\boxed{
\text{witness selection本身也是 adaptive proof problem}.
}
$$

不能用一個固定 witness 排行榜。

正確 state machine是：

$$
\boxed{
\text{Necessity}
\to
\text{Negative Counterexample Filter}
\to
\text{Certificate Efficiency}
\to
\text{Tail Contraction}
\to
\text{Pareto Escalation}.
}
$$

Conditional Lift 至此從「attach one guessed witness」正式升級成：

$$
\boxed{
\text{evidence-driven witness escalation}.
}
$$