# 《哥德巴赫反向結構閉合綱領》07
## 最小反例、平移傳輸與需求容量閉合
### Reverse Goldbach Structural Closure Program 07
### Minimal Counterexamples, Shift Transport, and Demand–Capacity Closure

**系列名稱：** 哥德巴赫反向結構閉合綱領  
**英文名稱：** Reverse Goldbach Structural Closure Program  
**縮寫：** RG-SCP  
**篇次：** 07 / 預計 08–10  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**日期：** 2026-09-28  
**版本：** v0.1  
**性質：** 最小反例稿／傳輸算子稿／需求容量閉合接口  
**狀態：** 非哥德巴赫猜想證明；本文將「所有較小偶數皆成功」的 minimality 資訊轉成 smooth-shift transport constraints 與新的 demand lower bounds

---

## 摘要

《哥德巴赫反向結構閉合綱領》前六篇依次建立：

1. counterexample universe；
2. proper obstruction cover；
3. M6／Wheel coverage cost；
4. fixed-point section hole；
5. approximation／skew heuristic layer；
6. exact demand–capacity inequalities。

第六篇的核心必要條件為：

$$
F_G(N)=1
\Longrightarrow
D_N(y)\le I_N(y),
$$

其中：

$$
D_N(y)
$$

是避開所有不超過 $y$ 小質因子的 prime-complement demand，

而：

$$
I_N(y)
$$

是可用的 deep proper-factor incidence capacity。

本文進一步假設存在最小 Goldbach counterexample：

$$
\boxed{
N_*
=
\min\mathcal C_G.
}
$$

因此對每一個較小偶數：

$$
4\le M<N_*,
$$

都有：

$$
R_G(M)>0.
$$

本文首先把這件事寫成 prime-pair lattice 的「第一個空偶反對角線」：

$$
\boxed{
\forall M<N_*,
\quad
M\equiv0\pmod2
\Rightarrow
\mathcal G(M)\neq\varnothing,
}
$$

但：

$$
\boxed{
\mathcal G(N_*)=\varnothing.
}
$$

其中：

$$
\mathcal G(M)
=
\left\{
(p,q)\in\mathbb P^2:
p+q=M
\right\}.
$$

接著定義 even shift：

$$
h=N_*-M.
$$

若：

$$
(p,q)\in\mathcal G(M),
$$

則：

$$
N_*
=
(p+h)+q
=
p+(q+h).
$$

因 $N_*$ 是 Goldbach failure，所以必有：

$$
p+h
$$

與：

$$
q+h
$$

皆為 composite。

因此 minimality 導出一整族 **universal lift-blocking constraints**：

$$
\boxed{
(p,q)\in\mathcal G(N_*-h)
\Longrightarrow
p+h,\ q+h
\notin\mathbb P.
}
$$

但本文同時指出：

> 若 $h$ 沒有額外結構，這個 lift condition 大部分只是把原本的 complement-obstruction condition 換一種寫法，並沒有新增 factor source。

真正的增量出現在 **smooth shifts**。

令：

$$
M_k
=
\prod_{i=1}^{k}p_i
$$

為第 $k$ 個 primorial。

若：

$$
M_k\mid h
$$

且：

$$
p>p_k
$$

為 prime，

則：

$$
\gcd(p+h,M_k)=1.
$$

因此若 $N_*$ 為 failure，且 $p$ 是較小成功層中的 representation endpoint，則：

$$
p+h
$$

不只 composite，還必須避開前 $k$ 個質因子：

$$
\boxed{
\operatorname{lpf}(p+h)>p_k.
}
$$

這提供本文的核心傳輸原理：

$$
\boxed{
\text{minimality}
+
\text{smooth shift}
\Longrightarrow
\text{deep obstruction demand}.
}
$$

值得注意的是，這個結論不要求：

$$
M_k\mid N_*.
$$

它只要求：

$$
M_k\mid h.
$$

因此 smooth-shift transport 可以在 $N_*$ 本身不是 primorial multiple 時，仍強迫出一批 $p_k$-rough composite complements。

本文再定義一個 **minimal-counterexample transport graph**。

左側節點是：

$$
h\in\mathcal H_k(N_*),
$$

其中：

$$
M_k\mid h
$$

且：

$$
N_*-h>2p_k.
$$

右側節點是較小 Goldbach representation 的 reduced prime endpoint：

$$
q\le\frac{N_*-h}{2}.
$$

若：

$$
q
$$

與：

$$
p=N_*-h-q
$$

皆為 prime，則連一條邊。

minimality 保證每個左節點至少有一條邊。

對任何邊：

$$
h\sim q,
$$

有：

$$
N_*-q=p+h,
$$

且：

$$
\operatorname{lpf}(N_*-q)>p_k.
$$

所以 transport graph 的所有右鄰居都落入：

$$
\mathbb H_{p_k}(N_*).
$$

若其最大匹配大小為：

$$
\nu_k(N_*),
$$

則得到 exact demand lower bound：

$$
\boxed{
D_{N_*}(p_k)
\ge
\nu_k(N_*).
}
$$

再由第六篇 failure capacity inequality：

$$
D_{N_*}(p_k)
\le
I_{N_*}(p_k)
\le
U_{N_*}(p_k),
$$

得到 minimal-counterexample necessary inequality：

$$
\boxed{
\nu_k(N_*)
\le
U_{N_*}(p_k).
}
$$

若未來能證：

$$
\nu_k(N_*)
>
U_{N_*}(p_k),
$$

則最小反例不存在。

本文再使用右側最大度：

$$
\Delta_k^{R}(N_*)
$$

給出一般 matching lower bound：

$$
\boxed{
\nu_k(N_*)
\ge
\left\lceil
\frac{
|\mathcal H_k(N_*)|
}{
\Delta_k^{R}(N_*)
}
\right\rceil.
}
$$

而：

$$
\Delta_k^{R}(N_*)
$$

本身可由 primes in arithmetic progressions 控制，因固定右端點 $q$ 時，所有對應的大端點：

$$
p=N_*-q-h
$$

都落在同一 residue class：

$$
p\equiv N_*-q\pmod{M_k}.
$$

因此本文最終得到一個新的 proof architecture：

$$
\boxed{
\text{minimality}
\to
\text{occupied lower diagonals}
\to
\text{smooth-shift graph}
\to
\text{matching demand}
\to
\text{deep-factor capacity}
\to
\text{contradiction}.
}
$$

這比第四篇嘗試的 naive fixed-point descent 更自然：它不試圖把 failure 往下搬，而是把「下方全部成功」反過來轉成對最小 failure 的額外 obstruction demand。

---

# 1. 最小反例假設

定義 Goldbach counterexample universe：

$$
\mathcal C_G
=
\left\{
N\in2\mathbb N:
N\ge4,
\quad
R_G(N)=0
\right\}.
$$

假設：

$$
\mathcal C_G\neq\varnothing.
$$

則由自然數良序性，存在：

$$
\boxed{
N_*
=
\min\mathcal C_G.
}
$$

因此：

$$
F_G(N_*)=1.
$$

並且：

$$
\boxed{
\forall M,
\quad
4\le M<N_*,
\quad
M\equiv0\pmod2
\Longrightarrow
R_G(M)>0.
}
$$

---

# 2. Prime-pair lattice

定義：

$$
\boxed{
\mathcal G(M)
=
\left\{
(p,q)\in\mathbb P^2:
p+q=M
\right\}.
}
$$

這是 ordered prime-pair representation fiber。

有：

$$
R_G(M)>0
\Longleftrightarrow
\mathcal G(M)\neq\varnothing.
$$

所以 minimality 等價於：

$$
\boxed{
\mathcal G(M)\neq\varnothing
}
$$

對所有較小偶數 $M$，

但：

$$
\boxed{
\mathcal G(N_*)=\varnothing.
}
$$

---

# 3. 第一個空偶反對角線

在：

$$
\mathbb P\times\mathbb P
$$

格點上，

方程：

$$
p+q=M
$$

是一條反對角線。

所以 hypothetical minimal counterexample $N_*$ 的幾何語義是：

> 所有更低的偶數反對角線至少碰到一個 prime lattice point，但 $N_*$ 這條偶反對角線第一次完全空掉。

本文稱此為：

# First Empty Even Anti-Diagonal

形式上：

$$
\boxed{
N_*
=
\min
\left\{
M\in2\mathbb N_{\ge4}:
\mathcal G(M)=\varnothing
\right\}.
}
$$

---

# 4. Representation count frontier

定義 ordered representation count：

$$
\boxed{
r_2(M)
=
|\mathcal G(M)|.
}
$$

則 minimality 給：

$$
r_2(M)>0
$$

對所有較小偶數 $M$，

以及：

$$
r_2(N_*)=0.
$$

因此：

$$
\boxed{
r_2(N_*-2)>0,
\quad
r_2(N_*)=0.
}
$$

所以最小反例必須伴隨一個 terminal drop：

$$
r_2(N_*)-r_2(N_*-2)
=
-r_2(N_*-2)
<0.
$$

這是 exact，但尚未形成矛盾。

---

# 5. 為什麼「表示數突然掉到零」還不夠

即使：

$$
r_2(M)
$$

在許多尺度上看起來平滑或平均為正，

也不能僅由 empirical smoothness 排除：

$$
r_2(N_*)=0.
$$

所以：

$$
\boxed{
\text{first zero}
}
$$

是一個 target condition，

不是 contradiction 本身。

若未來能由解析、頻譜或 combinatorial theorem 證明：

$$
r_2(M)
$$

在某區間不可能從正值掉到零，

那才會形成真正 closure。

---

# 6. Even shift

令：

$$
h
$$

為正偶數，

並令：

$$
M=N_*-h.
$$

只要：

$$
4\le M<N_*,
$$

minimality 保證：

$$
\mathcal G(M)\neq\varnothing.
$$

所以存在：

$$
p,q\in\mathbb P
$$

使：

$$
p+q=M.
$$

---

# 7. Lift operators

定義兩個 endpoint lift：

$$
\boxed{
L_h^{(1)}(p,q)
=
(p+h,q),
}
$$

以及：

$$
\boxed{
L_h^{(2)}(p,q)
=
(p,q+h).
}
$$

因：

$$
p+q=N_*-h,
$$

所以：

$$
(p+h)+q=N_*,
$$

以及：

$$
p+(q+h)=N_*.
$$

---

# 8. Universal Lift-Blocking Theorem

## 定理 RG-SCP-07.1

若：

$$
F_G(N_*)=1,
$$

且：

$$
(p,q)\in\mathcal G(N_*-h),
$$

則：

$$
\boxed{
p+h\notin\mathbb P
}
$$

以及：

$$
\boxed{
q+h\notin\mathbb P.
}
$$

---

## 證明

若：

$$
p+h
$$

為 prime，

則：

$$
N_*
=
(p+h)+q
$$

為兩質數和，

與：

$$
F_G(N_*)=1
$$

矛盾。

同理：

$$
q+h
$$

也不能為 prime。

證畢。

---

# 9. Minimality 的角色

注意 RG-SCP-07.1 本身只需要：

$$
F_G(N_*)=1.
$$

minimality 真正增加的是：

$$
\boxed{
\mathcal G(N_*-h)\neq\varnothing
}
$$

對每一個合法 even shift $h$ 都成立。

所以 minimality 把 lift-blocking 從：

$$
\text{conditional on a lower representation existing}
$$

提升成：

$$
\text{every lower even layer都至少有一個可 lift 的成功 witness}.
$$

---

# 10. Shifted endpoint set

定義：

$$
\mathcal E_h(N_*)
=
\left\{
p\in\mathbb P:
\exists q\in\mathbb P,
\quad
p+q=N_*-h
\right\}.
$$

因表示對稱：

$$
p\in\mathcal E_h(N_*)
\Longleftrightarrow
N_*-h-p\in\mathbb P.
$$

由 lift-blocking：

$$
\boxed{
p\in\mathcal E_h(N_*)
\Longrightarrow
p+h
\text{ composite}.
}
$$

---

# 11. Shift-prime survival count

定義：

$$
\boxed{
S_h(N_*)
=
\#\left\{
p\in\mathcal E_h(N_*):
p+h\in\mathbb P
\right\}.
}
$$

若：

$$
N_*
$$

為 Goldbach failure，

則：

$$
\boxed{
S_h(N_*)=0
}
$$

對所有合法 $h$。

minimality 再保證：

$$
\mathcal E_h(N_*)\neq\varnothing.
$$

所以這不是空集合上的 vacuous statement。

---

# 12. $h=2$ 的特殊形式

取：

$$
h=2.
$$

則：

$$
\mathcal E_2(N_*)
$$

是：

$$
N_*-2
$$

所有 Goldbach representation endpoints。

minimality 要求：

$$
\mathcal E_2(N_*)\neq\varnothing.
$$

而 failure 要求：

$$
\boxed{
p\in\mathcal E_2(N_*)
\Longrightarrow
p+2
\text{ composite}.
}
$$

也就是：

> $N_*-2$ 的所有 Goldbach endpoints 都不能是 twin-prime starts。

這是 exact structural constraint。

---

# 13. 一般 even-gap blocking

對任何 even：

$$
h,
$$

minimal counterexample 要求：

> $N_*-h$ 的每一個 Goldbach endpoint，都不能在距離 $h$ 處再遇到 prime。

也就是：

$$
\boxed{
\mathcal E_h(N_*)
\cap
\left(
\mathbb P-h
\right)
=
\varnothing.
}
$$

這把 minimality 與 prime-pair gaps 接上。

但本文不假設任何未證的 prime-gap conjecture。

---

# 14. Naive lift 的資訊增量有限

如果只知道：

$$
p+h
$$

composite，

那麼因：

$$
p+h
=
N_*-q,
$$

這只是：

$$
N_*-q
$$

composite 的 complement obstruction。

所以：

$$
\boxed{
\text{unstructured lift blocking}
}
$$

大部分只是舊 obstruction map 的重新索引。

因此 minimality 若要真正提供新力量，必須在：

$$
h
$$

上加入額外結構。

---

# 15. Smooth shift

令：

$$
M_k
=
\prod_{i=1}^{k}p_i.
$$

若：

$$
M_k\mid h,
$$

則稱：

$$
h
$$

為第 $k$ 層 **primorial-smooth shift**。

因：

$$
p_i\mid h
$$

對所有：

$$
i\le k.
$$

---

# 16. Shift Self-Suppression

## 引理 RG-SCP-07.2

若：

$$
M_k\mid h,
$$

且：

$$
p>p_k
$$

為 prime，

則：

$$
\boxed{
\gcd(p+h,M_k)=1.
}
$$

---

## 證明

對任意：

$$
p_i\le p_k,
$$

有：

$$
p_i\mid h.
$$

若又：

$$
p_i\mid(p+h),
$$

則：

$$
p_i\mid p.
$$

但：

$$
p
$$

為大於：

$$
p_k
$$

的 prime，

所以：

$$
p_i\nmid p.
$$

矛盾。

因此：

$$
p_i\nmid(p+h)
$$

對所有：

$$
i\le k.
$$

故：

$$
\gcd(p+h,M_k)=1.
$$

證畢。

---

# 17. Smooth-Shift Deep Obstruction Theorem

## 定理 RG-SCP-07.3

若：

$$
F_G(N_*)=1,
$$

$$
M_k\mid h,
$$

且：

$$
(p,q)\in\mathcal G(N_*-h)
$$

並滿足：

$$
p>p_k,
$$

則：

$$
\boxed{
p+h
\text{ composite}
}
$$

且：

$$
\boxed{
\operatorname{lpf}(p+h)>p_k.
}
$$

---

## 證明

由 lift-blocking：

$$
p+h
$$

為 composite。

由 shift self-suppression：

$$
\gcd(p+h,M_k)=1.
$$

所以：

$$
p+h
$$

沒有任何不超過：

$$
p_k
$$

的 prime divisor。

因此：

$$
\operatorname{lpf}(p+h)>p_k.
$$

證畢。

---

# 18. 這裡真正新增了什麼

第三篇的 primorial suppression 要求：

$$
M_k\mid N.
$$

本文則得到：

$$
\boxed{
M_k\mid h
}
$$

即可在 transported endpoint：

$$
p+h
$$

上產生同樣的 deep-factor requirement。

所以：

$$
\boxed{
M_k\nmid N_*
}
$$

並不妨礙我們利用 primorial smoothness。

只要選：

$$
h
$$

為：

$$
M_k
$$

的倍數即可。

這是 minimality transport 真正不同於原 obstruction geometry 的地方。

---

# 19. Reduced representation endpoint

對 even：

$$
M,
$$

定義：

$$
\boxed{
\mathcal R^{-}(M)
=
\left\{
q\in\mathbb P:
q\le\frac M2,
\quad
M-q\in\mathbb P
\right\}.
}
$$

若：

$$
R_G(M)>0,
$$

則：

$$
\mathcal R^{-}(M)\neq\varnothing.
$$

每個：

$$
q\in\mathcal R^{-}(M)
$$

對應：

$$
p=M-q
$$

且：

$$
p\ge\frac M2.
$$

---

# 20. 為什麼 reduced orientation 很重要

若：

$$
M>2p_k,
$$

則：

$$
\frac M2>p_k.
$$

因此對：

$$
q\in\mathcal R^{-}(M),
$$

其 partner：

$$
p=M-q
$$

滿足：

$$
p\ge\frac M2>p_k.
$$

所以所有 reduced representation 都自動提供：

$$
p>p_k.
$$

這正好能套 smooth-shift theorem。

---

# 21. Smooth-shift layer set

對 hypothetical minimal counterexample：

$$
N_*,
$$

定義：

$$
\boxed{
\mathcal H_k(N_*)
=
\left\{
h\in\mathbb N:
h\ge M_k,
\quad
M_k\mid h,
\quad
N_*-h>2p_k
\right\}.
}
$$

因：

$$
M_k
$$

含 $2$，

所以：

$$
h
$$

自動為偶數。

對：

$$
h\in\mathcal H_k(N_*),
$$

有：

$$
M_h
=
N_*-h
$$

為較小偶數且：

$$
M_h>2p_k.
$$

---

# 22. Minimality 保證每層被占據

由：

$$
N_*
$$

最小，

對所有：

$$
h\in\mathcal H_k(N_*),
$$

都有：

$$
R_G(M_h)>0.
$$

所以：

$$
\boxed{
\mathcal R^{-}(M_h)\neq\varnothing.
}
$$

因此每一個 smooth-shift layer 都至少有一個 reduced Goldbach witness。

---

# 23. Transport graph

定義二分圖：

$$
\boxed{
\mathcal T_k(N_*)
=
(L_k,R_k,E_k)
}
$$

其中左側：

$$
L_k
=
\mathcal H_k(N_*).
$$

右側取所有可能 reduced prime endpoints：

$$
R_k
=
\left\{
q\in\mathbb P:
q<\frac{N_*}{2}
\right\}.
$$

定義邊：

$$
h\sim q
$$

當且僅當：

$$
q\in
\mathcal R^{-}(N_*-h).
$$

---

# 24. 每個左節點非孤立

由 minimality：

$$
\boxed{
\deg_L(h)\ge1
}
$$

對所有：

$$
h\in L_k.
$$

這是 minimality 在 transport graph 中最直接的圖論表現。

---

# 25. Edge 的 large endpoint

若：

$$
h\sim q,
$$

令：

$$
p
=
N_*-h-q.
$$

因：

$$
q\le\frac{N_*-h}{2},
$$

所以：

$$
p\ge\frac{N_*-h}{2}.
$$

又：

$$
N_*-h>2p_k.
$$

故：

$$
\boxed{
p>p_k.
}
$$

---

# 26. Edge-to-hard-survivor theorem

## 定理 RG-SCP-07.4

若：

$$
h\sim q
$$

於：

$$
\mathcal T_k(N_*),
$$

則：

$$
\boxed{
q\in
\mathbb H_{p_k}(N_*).
}
$$

---

## 證明

由 edge 定義，

$$
p=N_*-h-q
$$

為 prime，且由前節：

$$
p>p_k.
$$

又：

$$
M_k\mid h.
$$

所以：

$$
\gcd(p+h,M_k)=1.
$$

但：

$$
p+h
=
N_*-q.
$$

因此：

$$
\gcd(N_*-q,M_k)=1.
$$

又：

$$
q<\frac{N_*}{2}.
$$

所以：

$$
q\in
\mathbb H_{p_k}(N_*).
$$

證畢。

---

# 27. 更強：右鄰居的 complement 是 rough composite

因：

$$
F_G(N_*)=1,
$$

對：

$$
q\in R_k
$$

若它是 transport neighbor，

則：

$$
N_*-q
$$

為 composite。

再由 RG-SCP-07.4：

$$
\gcd(N_*-q,M_k)=1.
$$

所以：

$$
\boxed{
\operatorname{lpf}(N_*-q)>p_k.
}
$$

因此 transport graph 的 right-neighborhood 是一個由 minimality 強迫產生的 deep-obstruction subset。

---

# 28. Transport neighborhood

定義：

$$
\boxed{
\Gamma_k(N_*)
=
\Gamma_{\mathcal T_k}(L_k)
}
$$

為所有 smooth-shift layers 的右鄰居聯集。

則：

$$
\boxed{
\Gamma_k(N_*)
\subseteq
\mathbb H_{p_k}(N_*).
}
$$

所以：

$$
\boxed{
D_{N_*}(p_k)
\ge
|\Gamma_k(N_*)|.
}
$$

---

# 29. 為什麼只數 layer 數還不夠

雖然：

$$
|L_k|
$$

可能很大，

不同 smooth shifts 可能共用同一個：

$$
q.
$$

所以不能直接寫：

$$
D_{N_*}(p_k)\ge|L_k|.
$$

這會重複計算 right endpoint。

需要控制：

$$
\boxed{
\text{transport collision}.
}
$$

---

# 30. Maximum matching

令：

$$
\boxed{
\nu_k(N_*)
=
\nu
\left(
\mathcal T_k(N_*)
\right)
}
$$

為 transport graph 的 maximum matching size。

matching 選出：

$$
\nu_k
$$

個彼此不同的 left shifts，

以及：

$$
\nu_k
$$

個彼此不同的 right prime endpoints。

所以：

$$
\boxed{
|\Gamma_k(N_*)|
\ge
\nu_k(N_*).
}
$$

---

# 31. Matching Demand Theorem

## 定理 RG-SCP-07.5

若：

$$
N_*
$$

為 minimal Goldbach counterexample，

則：

$$
\boxed{
D_{N_*}(p_k)
\ge
\nu_k(N_*).
}
$$

---

## 證明

由 RG-SCP-07.4，

transport graph 的所有 right neighbors 都位於：

$$
\mathbb H_{p_k}(N_*).
$$

maximum matching 使用：

$$
\nu_k
$$

個不同 right vertices。

因此：

$$
\mathbb H_{p_k}(N_*)
$$

至少有：

$$
\nu_k
$$

個元素。

故：

$$
D_{N_*}(p_k)
\ge
\nu_k.
$$

證畢。

---

# 32. 這是 minimality-derived demand

第六篇的 demand：

$$
D_N(p_k)
$$

直接由 $N$ 的 complement structure 定義。

本文則從：

$$
\text{all smaller evens are successful}
$$

導出 lower bound：

$$
\boxed{
D_{N_*}(p_k)
\ge
\nu_k(N_*).
}
$$

所以：

$$
\nu_k
$$

是：

# Minimality-Derived Transport Demand

---

# 33. 與第六篇 capacity 接合

第六篇若：

$$
F_G(N_*)=1,
$$

則：

$$
D_{N_*}(p_k)
\le
I_{N_*}(p_k).
$$

若再有 rigorous upper bound：

$$
I_{N_*}(p_k)
\le
U_{N_*}(p_k),
$$

則：

$$
\boxed{
\nu_k(N_*)
\le
U_{N_*}(p_k).
}
$$

這是 minimal counterexample 必須滿足的新 necessary inequality。

---

# 34. Minimality Demand–Capacity Closure

## 定理模板 RG-SCP-07.A

若對 hypothetical minimal counterexample $N_*$ 能證：

$$
\boxed{
\nu_k(N_*)
>
U_{N_*}(p_k),
}
$$

則：

$$
\boxed{
N_*
\text{ 不存在}.
}
$$

因此 Goldbach counterexample universe 為空。

注意：

> 這只是 closure template；本文尚未建立能使左右 crossing 的普遍 bounds。

---

# 35. 右側最大度

定義：

$$
\boxed{
\Delta_k^{R}(N_*)
=
\max_{q\in R_k}
\deg(q).
}
$$

它測量：

> 同一個 reduced prime endpoint $q$ 最多能被多少個 smooth-shift layers 共用。

如果：

$$
\Delta_k^R
$$

很大，

transport layers 高度碰撞，

matching demand 會變小。

---

# 36. Bounded-Degree Matching Lemma

## 引理 RG-SCP-07.6

若一個有限二分圖的每個左節點 degree 至少為 $1$，右側最大 degree 為：

$$
\Delta_R,
$$

則其 maximum matching：

$$
\nu
$$

滿足：

$$
\boxed{
\nu
\ge
\left\lceil
\frac{|L|}{\Delta_R}
\right\rceil.
}
$$

---

## 證明

取一個 maximal matching，大小為：

$$
m.
$$

若某未匹配左節點鄰接到未匹配右節點，

即可加入該 edge，

與 maximality 矛盾。

所以每個左節點都鄰接到某個已匹配右節點。

每個已匹配右節點最多鄰接：

$$
\Delta_R
$$

個左節點。

因此：

$$
|L|
\le
m\Delta_R.
$$

故：

$$
m
\ge
\frac{|L|}{\Delta_R}.
$$

maximum matching：

$$
\nu\ge m,
$$

所以：

$$
\nu
\ge
\left\lceil
\frac{|L|}{\Delta_R}
\right\rceil.
$$

證畢。

---

# 37. Transport demand lower bound

套用 RG-SCP-07.6：

$$
\boxed{
D_{N_*}(p_k)
\ge
\nu_k(N_*)
\ge
\left\lceil
\frac{
|\mathcal H_k(N_*)|
}{
\Delta_k^{R}(N_*)
}
\right\rceil.
}
$$

這是第一個不需要直接計算：

$$
D_{N_*}
$$

的 minimality demand lower bound。

---

# 38. Smooth-shift layer count

對：

$$
k\ge2,
$$

由：

$$
N_*-h>2p_k
$$

且兩者皆為偶數，

等價於：

$$
h\le
N_*-2p_k-2.
$$

所以若：

$$
N_*>2p_k+2+M_k,
$$

則：

$$
\boxed{
|\mathcal H_k(N_*)|
=
\left\lfloor
\frac{
N_*-2p_k-2
}{
M_k
}
\right\rfloor.
}
$$

若右側小於 $1$，則該 layer family 為空。

---

# 39. Minimality 產生線性數量的 smooth layers

固定：

$$
k,
$$

當：

$$
N_*\to\infty,
$$

有：

$$
|\mathcal H_k(N_*)|
\asymp
\frac{N_*}{M_k}.
$$

這裡只是 elementary layer count。

真正問題是：

$$
\Delta_k^R(N_*)
$$

會不會同樣大到把 matching lower bound完全吃掉。

---

# 40. 右 degree 的 arithmetic-progression 結構

固定 right vertex：

$$
q.
$$

若：

$$
h\sim q,
$$

則：

$$
p
=
N_*-q-h
$$

為 prime。

又：

$$
M_k\mid h.
$$

所以：

$$
\boxed{
p
\equiv
N_*-q
\pmod{M_k}.
}
$$

因此同一：

$$
q
$$

的所有 left neighbors 對應的 partner primes：

$$
p
$$

全部落在單一 arithmetic progression。

---

# 41. Degree AP bound

因：

$$
h\ge M_k,
$$

有：

$$
p
\le
N_*-q-M_k.
$$

所以：

$$
\deg(q)
$$

不超過：

$$
\boxed{
\pi
\left(
N_*-q-M_k;
M_k,
N_*-q\bmod M_k
\right)
}
$$

在 residue reduced 時成立。

若：

$$
\gcd(N_*-q,M_k)>1,
$$

則對：

$$
p>p_k
$$

根本沒有 edge。

---

# 42. Global right-degree envelope

定義：

$$
\boxed{
B_k(N_*)
=
\max_{\substack{
a\bmod M_k\\
\gcd(a,M_k)=1
}}
\pi
\left(
N_*-M_k-2;
M_k,a
\right).
}
$$

則：

$$
\boxed{
\Delta_k^R(N_*)
\le
B_k(N_*).
}
$$

這是一個 rigorous but raw AP envelope。

---

# 43. AP-controlled transport demand

因此：

$$
\boxed{
D_{N_*}(p_k)
\ge
\left\lceil
\frac{
|\mathcal H_k(N_*)|
}{
B_k(N_*)
}
\right\rceil.
}
$$

這第一次把：

- minimality；
- primorial smooth shift；
- arithmetic progression occupancy；

合成一個 demand lower bound。

---

# 44. 外部 AP upper bound interface

若使用任何 rigorous：

$$
B_k(N_*)
\le
\widetilde B_k(N_*),
$$

就得到：

$$
\boxed{
D_{N_*}(p_k)
\ge
\left\lceil
\frac{
|\mathcal H_k(N_*)|
}{
\widetilde B_k(N_*)
}
\right\rceil.
}
$$

可以使用：

- Brun–Titchmarsh 類 upper bound；
- explicit AP prime-count bound；
- 更強的特定模數估計。

本文不把任何外部 bound 內嵌成已完成 closure。

---

# 45. Hall transport criterion

更強地，

若 transport graph 滿足：

$$
\boxed{
|\Gamma(S)|
\ge
|S|
}
$$

對所有：

$$
S\subseteq L_k,
$$

則由 Hall marriage theorem，

存在 matching 覆蓋整個左側。

所以：

$$
\nu_k(N_*)
=
|L_k|.
$$

因此：

$$
\boxed{
D_{N_*}(p_k)
\ge
|\mathcal H_k(N_*)|.
}
$$

---

# 46. Hall condition 的意義

Hall condition 等價於：

> smooth-shift layers 不能過度擠到少數幾個 right prime endpoints 上。

如果 lower Goldbach representations具有足夠 expansion，

minimality 就會強迫：

$$
N_*
$$

擁有很多彼此不同的 rough composite complements。

這比單純每層存在一個 witness 強得多。

---

# 47. Transport congestion

定義：

$$
\boxed{
\kappa_k(N_*)
=
\frac{
|L_k|
}{
|\Gamma_k(N_*)|
}
}
$$

若右鄰居非空。

它測量平均：

> 幾個 smooth-shift layers 共用一個 right endpoint。

Hall-like expansion 對應：

$$
\kappa_k
$$

接近 $1$。

高度 collision 對應：

$$
\kappa_k\gg1.
$$

---

# 48. Congestion 不是任意的

固定：

$$
q,
$$

若它被很多：

$$
h
$$

共用，

則：

$$
N_*-q-h
$$

必須在同一：

$$
\bmod M_k
$$

residue class 中反覆為 prime。

所以 high transport congestion 本身需要一條 prime-in-AP concentration。

因此：

$$
\boxed{
\text{matching demand 小}
}
$$

與：

$$
\boxed{
\text{AP congestion 大}
}
$$

互為 trade-off。

---

# 49. 第一個 minimality trade-off

由：

$$
D_{N_*}(p_k)
\ge
\frac{|L_k|}{\Delta_k^R},
$$

可讀成：

$$
\boxed{
\text{要讓 transport demand 小，
就必須讓某些 right endpoints 承擔高 congestion}.
}
$$

而高 congestion 又需要相應 AP capacity。

這是 minimality 帶來的第一個真正非平凡 trade-off。

---

# 50. 與第六篇 capacity 的雙重 AP 結構

有趣的是：

### Transport side

控制：

$$
\Delta_k^R
$$

需要計數：

$$
p
\equiv
N_*-q
\pmod{M_k}.
$$

### Obstruction side

控制：

$$
I_{N_*}(p_k)
$$

需要計數 deep factor classes：

$$
q
\equiv
N_*
\pmod r.
$$

所以最小反例同時必須維持兩套 AP capacities：

$$
\boxed{
\text{lower-success transport AP}
}
$$

與：

$$
\boxed{
\text{upper-failure obstruction AP}.
}
$$

這可能形成新的 cross-source coupling。

---

# 51. Two-Capacity Squeeze

可以抽象寫成：

$$
\boxed{
\frac{
|\mathcal H_k(N_*)|
}{
\text{TransportCongestionCapacity}
}
\le
D_{N_*}(p_k)
\le
\text{ObstructionCapacity}.
}
$$

若左側 lower bound 超過右側 upper bound，

最小反例被排除。

這是本文的核心 squeeze architecture。

---

# 52. Transport demand lower envelope

定義任意 rigorous：

$$
\Delta_k^R(N_*)
\le
C_k^{\mathrm{trans}}(N_*).
$$

則：

$$
\boxed{
L_k^{\mathrm{trans}}(N_*)
=
\left\lceil
\frac{
|\mathcal H_k(N_*)|
}{
C_k^{\mathrm{trans}}(N_*)
}
\right\rceil
}
$$

滿足：

$$
D_{N_*}(p_k)
\ge
L_k^{\mathrm{trans}}(N_*).
$$

---

# 53. Minimal-counterexample closure criterion

若再有第六篇 rigorous capacity upper bound：

$$
I_{N_*}(p_k)
\le
U_k^{\mathrm{obs}}(N_*),
$$

則 minimal counterexample 必須：

$$
\boxed{
L_k^{\mathrm{trans}}(N_*)
\le
U_k^{\mathrm{obs}}(N_*).
}
$$

若能證：

$$
\boxed{
L_k^{\mathrm{trans}}(N_*)
>
U_k^{\mathrm{obs}}(N_*),
}
$$

則不存在 minimal counterexample。

---

# 54. 這比 naive descent 更自然

第四篇研究：

$$
N_*
\to
N'<N_*
$$

的 failure-preserving descent，

但 naive fixed-point shadow 只會產生 success state。

本文改變方向：

不是把 failure 往下傳。

而是把：

$$
\boxed{
\text{所有 lower states 都 success}
}
$$

往上轉成：

$$
\boxed{
\text{extra demand on }N_*.
}
$$

所以 minimality 被使用成：

# Upward Pressure Source

而不是：

# Downward Failure Transport

---

# 55. Minimality Collapse Lemma

需要誠實指出：

若不限制：

$$
h
$$

的結構，

則：

$$
p+h=N_*-q
$$

只是原 complement。

因此把所有：

$$
h
$$

與所有 lower representations 全部展開，

最終可能只重複描述：

$$
N_*-q
$$

composite。

所以：

$$
\boxed{
\text{minimality alone}
}
$$

不會自動增加 factor-information rank。

真正增量來自：

$$
\boxed{
\text{structured selection of }h.
}
$$

本文選擇：

$$
M_k\mid h.
$$

---

# 56. 為什麼 smooth shift 是 natural choice

若：

$$
M_k\mid h,
$$

則：

$$
p+h
$$

對 small factors 的 residue 完全由：

$$
p
$$

控制：

$$
p+h
\equiv p
\pmod{p_i}.
$$

而：

$$
p>p_k
$$

prime 自動避開所有：

$$
p_i.
$$

因此 smooth shift 把：

$$
\boxed{
\text{prime endpoint}
}
$$

直接搬成：

$$
\boxed{
\text{small-factor-free shifted endpoint}.
}
$$

這是一個 exact transport，不是 heuristic。

---

# 57. Shift-space source novelty

第三篇使用：

$$
M_k\mid N.
$$

本文使用：

$$
M_k\mid h.
$$

這兩者 provenance 不同：

- 前者是 target-state divisor structure；
- 後者是 transport-step structure。

因此 shift-space 提供一個新的操作自由度。

但最終 factor witness 仍是 least-prime-factor source。

所以 source novelty 是：

$$
\boxed{
\text{new constraint geometry},
}
$$

不是：

$$
\boxed{
\text{new primality oracle}.
}
$$

---

# 58. Smooth shift ladder

可以固定：

$$
k
$$

考察：

$$
h_j=jM_k.
$$

得到：

$$
N_*-M_k,
$$

$$
N_*-2M_k,
$$

$$
N_*-3M_k,
$$

$$
\ldots
$$

的一串 lower even layers。

minimality 保證每一層都有 Goldbach representation，

直到：

$$
N_*-h_j
$$

太小。

這形成：

$$
\boxed{
\text{smooth-shift success ladder}.
}
$$

---

# 59. Ladder terminal condition

每一層：

$$
h_j
$$

至少產生一個 reduced endpoint：

$$
q_j.
$$

而其 partner：

$$
p_j
$$

滿足：

$$
p_j>p_k.
$$

所以：

$$
N_*-q_j
=
p_j+h_j
$$

是：

$$
p_k
$$

-rough composite。

若很多：

$$
q_j
$$

彼此不同，

就會快速推高：

$$
D_{N_*}(p_k).
$$

---

# 60. Collision 是唯一逃生方式之一

因此 hypothetical minimal counterexample 若想避免 transport demand 太大，

一種方式是讓很多：

$$
h_j
$$

共用相同：

$$
q.
$$

也就是高 collision。

但高 collision 會把 partner primes：

$$
p_j
=
N_*-q-jM_k
$$

塞進同一 arithmetic progression。

所以：

$$
\boxed{
\text{avoid demand growth}
\to
\text{pay AP congestion cost}.
}
$$

---

# 61. 這是第二層「反例自己支付存在成本」

第一篇的 principle 是：

> 反例必須支付存在成本。

第七篇現在得到更精確版本：

> minimal counterexample 若想避免 smooth-shift transport 產生大量不同 rough complements，就必須用少數 right endpoints 承擔大量 lower Goldbach layers；這又要求 partner primes 在固定 arithmetic progressions 中高度集中。

所以存在成本出現兩種支付方式：

$$
\boxed{
\text{many distinct rough complements}
}
$$

或：

$$
\boxed{
\text{high transport congestion}.
}
$$

---

# 62. Transport dichotomy

可概念性寫成：

$$
\boxed{
\text{Minimal Counterexample}
\Longrightarrow
\begin{cases}
\text{large matching demand},\\
\text{or high AP congestion}.
\end{cases}
}
$$

這不是額外 theorem，

而是 bounded-degree matching inequality 的結構讀法。

---

# 63. Local transport subsets

不一定要使用全部：

$$
\mathcal H_k(N_*).
$$

可選：

$$
H\subseteq\mathcal H_k(N_*).
$$

定義 induced transport graph：

$$
\mathcal T_k(N_*;H).
$$

則同樣：

$$
D_{N_*}(p_k)
\ge
\nu
\left(
\mathcal T_k(N_*;H)
\right).
$$

這允許選擇：

- short shift windows；
- special multipliers；
- low-congestion layers；
- heuristic-selected layers。

---

# 64. Heuristic 與 proof 的接口

第五篇可以用：

- representation counts；
- congestion profiles；
- skew；
- pressure field；

搜尋高-value shift subset：

$$
H.
$$

但第七篇只接受：

$$
\boxed{
\text{rigorous matching lower bound}
}
$$

作 proof input。

所以：

$$
\text{heuristic subset selection}
\to
\text{exact graph proof}.
$$

---

# 65. Transport graph 的 right degree 還能再精煉

raw AP bound 忽略了：

$$
q
$$

本身必須與 partner：

$$
p
$$

形成 smaller Goldbach representation。

也就是：

$$
p
$$

prime 已包含，

而：

$$
q
$$

固定也是 prime。

所以 transport degree 是：

$$
\text{prime count in one AP}
$$

而不是 arbitrary integer count。

這比 general layer collision已經薄很多。

---

# 66. 若再限制 $q$ family

如果選：

$$
q
$$

落在某個 residue family，

partner AP 還會受：

$$
N_*-q
$$

residue 進一步限制。

因此 local transport graph 可能有更低：

$$
\Delta_R.
$$

這提供 subset optimization 的理由。

---

# 67. Hall-expansion search

最理想的 transport theorem 不是 bound 最大度，

而是直接證某類：

$$
H
$$

滿足：

$$
|\Gamma(S)|\ge|S|
$$

對所有：

$$
S\subseteq H.
$$

那麼：

$$
\nu=|H|.
$$

這把每一個 smooth-shift layer 都轉成一個不同的 rough complement demand。

---

# 68. Hall theorem target shape

候選 theorem 可長成：

> 對某個 $k$ 與所有 sufficiently large minimal-counterexample candidates $N$，smooth-shift transport graph $\mathcal T_k(N)$ 滿足 Hall condition。

若能證，

則：

$$
D_N(p_k)
\ge
|\mathcal H_k(N)|.
$$

再與 capacity upper bound比較。

本文目前沒有此 theorem。

---

# 69. Shift divisor suppression 的更一般版本

不一定要：

$$
M_k\mid h.
$$

對任意 shift：

$$
h,
$$

定義：

$$
\mathcal D(h)
=
\left\{
r\in\mathbb P:
r\mid h
\right\}.
$$

若：

$$
p
$$

為 prime 且：

$$
p\notin\mathcal D(h),
$$

則：

$$
r\in\mathcal D(h)
\Longrightarrow
r\nmid(p+h).
$$

因此：

$$
\boxed{
\text{prime divisors of }h
}
$$

就是 shifted endpoint 的 suppressed obstruction colors。

---

# 70. General shift suppression theorem

若：

$$
F_G(N_*)=1,
$$

$$
(p,q)\in\mathcal G(N_*-h),
$$

且：

$$
p
$$

不等於 $h$ 的任何 prime divisor，

則：

$$
p+h
$$

composite，

而：

$$
\operatorname{lpf}(p+h)
\notin
\mathcal D(h).
$$

primorial shift只是把：

$$
\mathcal D(h)
$$

設計成：

$$
\{p_1,\ldots,p_k\}.
$$

---

# 71. Shift design problem

因此未來甚至不必只用 primorial。

可以設計：

$$
h
$$

使其 prime divisor set：

$$
\mathcal D(h)
$$

專門 suppress 某一組 obstruction channels。

這形成：

$$
\boxed{
\text{transport-step design}.
}
$$

primorial 是最自然的第一版。

---

# 72. Smoothness budget

shift 越 smooth，

通常：

$$
h
$$

越大。

而：

$$
h
$$

越大，

lower state：

$$
N_*-h
$$

越小。

所以：

$$
\boxed{
\text{suppression depth}
}
$$

與：

$$
\boxed{
\text{available lower-layer range}
}
$$

之間有 trade-off。

---

# 73. $k$ 的 trade-off

增加：

$$
k
$$

會：

### 好處

suppress 更多 small obstruction primes：

$$
p_1,\ldots,p_k.
$$

### 代價

$$
M_k
$$

快速增長，

所以：

$$
|\mathcal H_k(N_*)|
$$

快速下降。

因此：

$$
k
$$

是 transport demand 的 natural optimization parameter。

---

# 74. Transport objective

定義概念性：

$$
\boxed{
\mathcal T\mathrm{Gain}_k(N)
=
\frac{
|\mathcal H_k(N)|
}{
\Delta_k^R(N)
}
}
$$

它近似 matching lower bound 的未取整版本。

heuristic channel 可搜尋：

$$
k
$$

使：

$$
\mathcal T\mathrm{Gain}_k
$$

最大。

proof channel再證對應 bounds。

---

# 75. 與第六篇 cutoff optimization 對偶

第六篇優化：

$$
y.
$$

第七篇優化：

$$
k
$$

或：

$$
h
$$

的 smoothness。

兩者對應：

### Obstruction side

選 cutoff：

$$
y=p_k.
$$

### Transport side

選 shift：

$$
M_k\mid h.
$$

因此可以同步選擇同一：

$$
k.
$$

這產生非常自然的雙邊 squeeze。

---

# 76. Same-$k$ Closure Program

固定：

$$
k.
$$

左側：

$$
\boxed{
L_k^{\mathrm{trans}}(N_*)
}
$$

來自 smooth-shift transport matching。

右側：

$$
\boxed{
U_k^{\mathrm{obs}}(N_*)
}
$$

來自 deep-factor obstruction capacity。

目標：

$$
\boxed{
L_k^{\mathrm{trans}}(N_*)
>
U_k^{\mathrm{obs}}(N_*).
}
$$

這就是同一 primorial scale 上的 minimality closure。

---

# 77. 可能需要不同尺度

也可能最佳：

$$
k_{\mathrm{trans}}
\neq
k_{\mathrm{obs}}.
$$

所以更一般：

$$
L_{k_1}^{\mathrm{trans}}(N_*)
>
U_{k_2}^{\mathrm{obs}}(N_*).
$$

只要 transport-neighbor set確實落在：

$$
\mathbb H_{p_{k_2}}(N_*).
$$

若：

$$
k_2\le k_1,
$$

則：

$$
p_{k_1}\text{-rough}
\Rightarrow
p_{k_2}\text{-rough}.
$$

所以可以跨尺度比較。

---

# 78. Cross-scale monotonicity

若：

$$
k_1\ge k_2,
$$

則：

$$
\mathbb H_{p_{k_1}}(N)
\subseteq
\mathbb H_{p_{k_2}}(N).
$$

所以 transport 在深尺度產生的 distinct right neighbors，

也能作淺尺度 demand。

這提供 cross-scale flexibility。

---

# 79. Minimality-derived local subset

matching 選出的 right vertices：

$$
Q_k^{\mathrm{match}}
$$

形成：

$$
\mathbb H_{p_k}(N_*)
$$

的一個 exact subset。

可直接對：

$$
Q_k^{\mathrm{match}}
$$

建立 local capacity upper bound，而不必控制整個：

$$
D_{N_*}(p_k).
$$

這可能比 whole-domain capacity 更容易。

---

# 80. Local capacity closure

若 matching 給：

$$
|Q_k^{\mathrm{match}}|
=
\nu_k,
$$

且能證這些 q 的 deep obstruction總容量：

$$
U_k^{\mathrm{local}}
<
\nu_k,
$$

則同樣矛盾。

所以：

$$
\boxed{
\text{matching-selected local demand}
}
$$

可能比全域 demand 更適合 closure。

---

# 81. 但 matching subset 本身依賴 graph

如果 proof 使用：

$$
Q_k^{\mathrm{match}},
$$

就必須提供：

- matching certificate；
- 每個 edge 的 smaller Goldbach representation；
- distinct right endpoints；
- smooth-shift divisibility；
- local capacity bound。

這很適合 certificate-carrying proof architecture。

---

# 82. Finite matching certificate

固定 candidate：

$$
N,
$$

可輸出：

```text
k
M_k
shift list h_i
for each h_i:
  smaller even M_i = N-h_i
  reduced Goldbach pair (q_i,p_i)
matching:
  all q_i distinct
checks:
  p_i + q_i = M_i
  p_i,q_i prime
  p_i > p_k
  M_k | h_i
  gcd(N-q_i,M_k)=1
```

若再證：

$$
N-q_i
$$

全部 composite，

就形成 finite transport obstruction certificate。

---

# 83. Symbolic family proof 更重要

但 RG-SCP 最終目標不是替每個：

$$
N
$$

輸出一份巨大 matching。

而是建立 symbolic theorem：

$$
\nu_k(N)\ge L(N,k).
$$

並配：

$$
U(N,k).
$$

若：

$$
L(N,k)>U(N,k)
$$

對整個 family 成立，

才是真正 closure。

---

# 84. Minimality 與 prime-gap theorem 的接口

$h=2$ 時，

所有 lower endpoints：

$$
p
$$

都必須滿足：

$$
p+2
$$

composite。

一般 $h$ 時，

$$
p+h
$$

composite。

所以任何能保證：

> 某些 lower Goldbach representation endpoints 中必有一個 endpoint 同時與 $h$ 形成 prime pair

的 theorem，

都會直接排除 minimal counterexample。

目前沒有這種足夠強的 universal theorem。

---

# 85. Bounded-gap results 為什麼不能直接用

即使知道無限多 prime pairs gap：

$$
\le H,
$$

也不表示：

> 每個 specific lower Goldbach endpoint set 都一定包含這種 pair。

所以不能從 global bounded-gap theorem直接推出：

$$
S_h(N_*)>0.
$$

RG-SCP 必須保持 target population 一致。

---

# 86. Population discipline

任何外部 theorem 必須明確回答：

- 對哪些 primes？
- 在什麼區間？
- 對多少比例？
- 是否與 representation endpoint condition相容？
- 是否對 fixed $h$？
- 是否 uniform in $N$？

不能拿：

$$
\exists^\infty p
$$

直接替代：

$$
\forall N_*
\exists p\in\mathcal E_h(N_*).
$$

---

# 87. Minimality as additive-history source

Prime-Surface Insufficiency 強調需要新 source。

minimality 提供的 source 不是新的 primality predicate。

它提供：

$$
\boxed{
\text{additive history below }N_*.
}
$$

也就是：

$$
\forall M<N_*,
\quad
R_G(M)>0.
$$

這是 target problem 自身的 prefix information。

---

# 88. Prefix information 是否足夠？

未知。

可能：

$$
\boxed{
\text{all prior even sums succeed}
}
$$

仍不足以強迫：

$$
N_*
$$

成功。

但本文至少把 prefix information轉成：

- occupied lower diagonals；
- smooth-shift transport graph；
- matching demand；
- AP congestion。

所以它已不再只是語義上的「較小都成立」。

---

# 89. Prefix serialization

若研究 hypothetical：

$$
N_*,
$$

可保存：

```yaml
minimal_counterexample_prefix:
  N_star:
  all_even_below_success: assumed_by_minimality
  selected_shift_scales:
    - k:
      M_k:
      shifts:
      transport_graph:
      left_count:
      right_count:
      max_right_degree:
      matching_lower_bound:
      matching_certificate:
  transport_demand:
  obstruction_capacity:
  closure_gap:
```

---

# 90. Formalization targets

本篇 elementary core 很適合形式化。

### L1

minimal counterexample implies smaller-even success。

### L2

lift-blocking：

$$
(p,q)\in\mathcal G(N_*-h)
\Rightarrow
p+h,q+h
\text{ composite}.
$$

### L3

shift self-suppression：

$$
M_k\mid h
\land
p>p_k
\Rightarrow
\gcd(p+h,M_k)=1.
$$

### L4

smooth-shift deep obstruction。

### L5

transport graph left-totality。

### L6

edge-to-hard-survivor theorem。

### L7

matching demand：

$$
D_{N_*}(p_k)\ge\nu_k.
$$

### L8

bounded-degree matching lower bound。

### L9

AP right-degree envelope。

### L10

minimality demand–capacity closure theorem。

---

# 91. External theorem isolation

若使用：

- Hall；
- Brun–Titchmarsh；
- explicit PNT in AP；
- matching theorem；
- sieve bounds；

應分開 interface。

其中 Hall 與 basic matching theorem可直接形式化。

解析數論 bounds 另放 external interface。

---

# 92. Source provenance graph

```text
minimality
  ↓
all lower even layers successful
  ↓
smooth shift selection
  ↓
transport graph left-totality
  ↓
matching demand
  ↓
rough complements at N*
  ↓
deep obstruction demand
  ↓
capacity upper bound
```

與：

```text
smooth shift collision
  ↓
right degree
  ↓
prime AP congestion
  ↓
matching lower bound
```

---

# 93. 本篇的 exact theorem 群

本文目前建立的核心 exact statements：

## T1

若：

$$
(p,q)\in\mathcal G(N_*-h),
$$

則：

$$
p+h,q+h
$$

皆 composite。

## T2

若：

$$
M_k\mid h
$$

且：

$$
p>p_k
$$

prime，

則：

$$
\gcd(p+h,M_k)=1.
$$

## T3

若再有 failure，

則：

$$
\operatorname{lpf}(p+h)>p_k.
$$

## T4

transport edge：

$$
h\sim q
$$

推出：

$$
q\in\mathbb H_{p_k}(N_*).
$$

## T5

$$
D_{N_*}(p_k)
\ge
\nu_k(N_*).
$$

## T6

$$
\nu_k(N_*)
\ge
\left\lceil
\frac{
|\mathcal H_k(N_*)|
}{
\Delta_k^R(N_*)
}
\right\rceil.
$$

## T7

minimal counterexample 必須：

$$
\nu_k(N_*)
\le
U_{N_*}(p_k)
$$

對任何合法 capacity upper bound成立。

---

# 94. 本篇仍未證明的東西

本文沒有證：

$$
\nu_k(N_*)
>
U_{N_*}(p_k).
$$

也沒有證 Hall condition普遍成立。

更沒有證 right congestion 一定足夠小。

所以：

$$
\boxed{
\text{transport architecture}
\neq
\text{Goldbach proof}.
}
$$

---

# 95. 可證偽條件

### F1

transport graph 的 right congestion 可以大到讓 matching demand幾乎失效。

### F2

smooth-shift rough complements並沒有比原 demand帶來更強可證下界。

### F3

AP degree bound太鬆。

### F4

local capacity仍遠大於 matching demand。

### F5

Hall expansion在 relevant family 中普遍失敗。

### F6

所有 shift-design 都只是原 complement obstruction 的重編碼。

若 F1–F6 長期成立，

minimality transport line 應停止擴張。

---

# 96. 下一篇接口

到第七篇為止，RG-SCP 已經有：

- counterexample state；
- obstruction cover；
- wheel geometry；
- fixed-point dual-hole；
- heuristic pressure；
- demand–capacity inequality；
- minimality transport demand。

下一篇自然應做一次：

# RG-SCP 08
## 反向閉合總成：源類審計、可形式化核心與第一階實驗規格
### Reverse Closure Synthesis: Source-Class Audit, Formalizable Core, and First Experimental Protocol

它不再新增太多理論，

而是整理：

1. 哪些是 exact theorem；
2. 哪些只是 equivalent reformulation；
3. 哪些是 heuristic；
4. 哪些 source 重複；
5. 哪些真正值得 Lean；
6. 第一輪 computation 要跑什麼；
7. 哪些 stop conditions 會讓我們轉向新 source。

如果第八篇整理後仍值得繼續，

再決定是否開：

$$
09
$$

與：

$$
10
$$

做更深的 analytic / spectral source escape。

---

# 97. 結論

第四篇嘗試從：

$$
N_*
$$

向下 transport failure，

發現 naive fixed-point shadow只會得到更小成功態。

第七篇改變方向：

$$
\boxed{
\text{不把 failure 往下搬；
把 lower successes 往上變成 pressure。}
}
$$

如果：

$$
N_*
$$

是最小反例，

則所有較小偶數：

$$
N_*-h
$$

都有 Goldbach representation。

任何 representation：

$$
p+q=N_*-h
$$

都必須滿足：

$$
p+h,\ q+h
$$

composite。

當：

$$
M_k\mid h
$$

時，

若：

$$
p>p_k,
$$

更有：

$$
\boxed{
\operatorname{lpf}(p+h)>p_k.
}
$$

所以 smooth-shift lower success 會在：

$$
N_*
$$

上生成 deep obstruction demand。

transport graph 把所有 smooth shifts 組織起來。

minimality 保證每個 left layer 被占據，

matching 則控制有多少不同 rough complements 被強迫產生：

$$
\boxed{
D_{N_*}(p_k)
\ge
\nu_k(N_*).
}
$$

collision 若太嚴重，

又必須支付 arithmetic-progression congestion：

$$
p
\equiv
N_*-q
\pmod{M_k}.
$$

因此 hypothetical minimal counterexample 被夾在：

$$
\boxed{
\text{large transport demand}
}
$$

與：

$$
\boxed{
\text{large AP congestion}
}
$$

之間。

最後再接第六篇：

$$
D_{N_*}(p_k)
\le
U_{N_*}(p_k),
$$

得到：

$$
\boxed{
\nu_k(N_*)
\le
U_{N_*}(p_k).
}
$$

所以真正的 minimality closure target 是：

$$
\boxed{
\text{transport matching lower bound}
>
\text{deep obstruction capacity upper bound}.
}
$$

這是目前 RG-SCP 第一次把：

- 最小反例；
- lower Goldbach success；
- primorial smoothness；
- bipartite matching；
- arithmetic progression congestion；
- obstruction capacity；

放進同一條 proof architecture。

---

# 98. 最短版本

如果只保留一句話：

> **最小 Goldbach 反例若存在，所有較小偶數都必須已有 prime pair；把這些 pair 沿 primorial-smooth shift 往上搬時，shifted prime endpoints 必須全部變成避開前 $k$ 個小質因子的合數，因此 minimality 會生成一個可由 matching 計數的 deep-obstruction demand。**

核心鏈：

$$
\boxed{
N_*
\text{ minimal failure}
}
$$

$$
\Downarrow
$$

$$
\boxed{
\forall h\in\mathcal H_k(N_*),
\quad
\mathcal G(N_*-h)\neq\varnothing
}
$$

$$
\Downarrow
$$

$$
\boxed{
\mathcal T_k(N_*)
}
$$

$$
\Downarrow
$$

$$
\boxed{
D_{N_*}(p_k)
\ge
\nu_k(N_*)
}
$$

$$
\Downarrow
$$

$$
\boxed{
\nu_k(N_*)
\le
U_{N_*}(p_k)
}
$$

而真正要攻的是：

$$
\boxed{
\nu_k(N_*)
>
U_{N_*}(p_k).
}
$$

一旦在某個 scale 上證成，

最小反例就無法存在。

---

# 附錄 A：Canonical Transport Objects

$$
\mathcal G(M)
=
\left\{
(p,q)\in\mathbb P^2:
p+q=M
\right\}.
$$

$$
\mathcal R^{-}(M)
=
\left\{
q\in\mathbb P:
q\le M/2,
\quad
M-q\in\mathbb P
\right\}.
$$

$$
\mathcal H_k(N)
=
\left\{
h:
M_k\mid h,
\quad
h\ge M_k,
\quad
N-h>2p_k
\right\}.
$$

$$
h\sim q
\Longleftrightarrow
q\in
\mathcal R^{-}(N-h).
$$

$$
\nu_k(N)
=
\nu(\mathcal T_k(N)).
$$

---

# 附錄 B：Minimality Demand Chain

$$
N_*
=
\min\mathcal C_G
$$

$$
\Longrightarrow
$$

$$
\forall h\in\mathcal H_k(N_*),
\quad
\mathcal R^{-}(N_*-h)\neq\varnothing
$$

$$
\Longrightarrow
$$

$$
\deg_L(h)\ge1
$$

$$
\Longrightarrow
$$

$$
\nu_k
\ge
\left\lceil
|L_k|/\Delta_k^R
\right\rceil
$$

$$
\Longrightarrow
$$

$$
D_{N_*}(p_k)\ge\nu_k.
$$

---

# 附錄 C：Closure Certificate Schema

```yaml
rg_scp_minimal_transport:
  version:
  N_star:
  minimality_assumption:

  scale:
    k:
    p_k:
    M_k:

  smooth_shifts:
    definition:
    count:
    bound:

  transport_graph:
    left_vertices:
    right_vertices:
    edge_rule:
    left_total:
    max_right_degree:
    degree_upper_bound:
    matching_lower_bound:
    matching_certificate:

  transported_demand:
    hard_survivor_subset:
    demand_lower_bound:

  obstruction_capacity:
    cutoff: p_k
    capacity_upper_bound:
    bound_source:

  closure:
    transport_lower:
    capacity_upper:
    strict_gap:
    minimal_counterexample_excluded:

  source_audit:
  external_theorems:
  formalization:
  provenance:
  checkpoint_hash:
```

---

# 附錄 D：Formalization Roadmap

```text
RG-SCP-07-Core
├── MinimalCounterexample
├── LowerEvenSuccess
├── GoldbachPairFiber
├── LiftOperators
├── LiftBlocking
├── ShiftSelfSuppression
├── SmoothShiftDeepObstruction
├── ReducedRepresentationEndpoint
├── TransportGraph
├── LeftTotality
├── EdgeToHardSurvivor
├── MatchingDemand
├── BoundedDegreeMatching
└── MinimalityCapacityClosure

RG-SCP-07-Interfaces
├── APDegreeUpperBound
├── HallExpansion
├── LocalCapacityUpperBound
└── CrossScaleClosure
```

---

# 附錄 E：研究停損條件

若後續驗證顯示：

1. $\Delta_k^R$ 幾乎與 $|\mathcal H_k|$ 同階，matching demand 無增益；
2. Hall expansion在所有有用 scale 都嚴重失敗；
3. transport lower bound遠低於第六篇已有 demand lower bound；
4. AP congestion upper bound無法改善；
5. smooth shift只造成 source reindexing，沒有新的 family-level constraint；
6. local capacity永遠吞掉 transport demand；

則應判定：

$$
\boxed{
\text{minimality-transport source stalled}.
}
$$

此時第八篇 source-class audit 應正式決定：

- 停止在此線加深；
- 或轉向 pair-spectral／generating-function／nonlocal source。