# 《哥德巴赫反向結構閉合綱領》08
## 反向閉合總成：源類審計、可形式化核心與第一階實驗規格
### Reverse Goldbach Structural Closure Program 08
### Reverse Closure Synthesis: Source-Class Audit, Formalizable Core, and First Experimental Protocol

**系列名稱：** 哥德巴赫反向結構閉合綱領  
**英文名稱：** Reverse Goldbach Structural Closure Program  
**縮寫：** RG-SCP  
**篇次：** 08 / 第一階段收束篇  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**日期：** 2026-09-28  
**版本：** v0.1  
**性質：** 第一階段總成／源類審計／形式化與實驗規格  
**狀態：** 非哥德巴赫猜想證明；本文不新增大規模核心猜想，主要任務是審計 RG-SCP 01–07、固定 proof boundary、規劃形式化與第一階實驗

---

## 摘要

《哥德巴赫反向結構閉合綱領》第一階段由七篇前置文件組成。

其核心研究策略不是直接嘗試證明：

$$
\forall N\ge4,
\quad
N\equiv0\pmod2
\Longrightarrow
\exists p,q\in\mathbb P,
\quad
N=p+q,
$$

而是先假設存在 hypothetical Goldbach failure：

$$
F_G(N)=1,
$$

再逐層追問：

> 這個反例若要在標準算術與既有質數結構中合法存在，必須同時支付哪些結構義務？

第一階段已將這個問題分解為：

$$
\boxed{
\text{failure state}
}
$$

$$
\Downarrow
$$

$$
\boxed{
\text{proper obstruction cover}
}
$$

$$
\Downarrow
$$

$$
\boxed{
\text{M6 / Wheel hard geometry}
}
$$

$$
\Downarrow
$$

$$
\boxed{
\text{fixed-point section hole}
}
$$

$$
\Downarrow
$$

$$
\boxed{
\text{demand–capacity inequality}
}
$$

$$
\Downarrow
$$

$$
\boxed{
\text{minimality transport demand}.
}
$$

本文的任務不是繼續增加新層，而是回答五個更重要的問題。

第一：

> 01–07 中哪些內容是真正 exact theorem，哪些只是等價改寫，哪些只是 heuristic，哪些仍是 open target？

第二：

> M6 fixed point、least prime factor、wheel、obstruction map 等看似不同的語言，實際上是否共享同一 source？如果共享，就不能重複計算成多份證據。

第三：

> 哪一組 elementary core 最值得先送進 Lean／Coq／Isabelle，而不必一開始就把解析數論外部結果綁進去？

第四：

> 第一輪本地實驗到底要測什麼，才能真正判斷 RG-SCP 是否產生了新 proof compression，而不是只把 Goldbach 搜尋重新命名？

第五：

> 什麼條件下才值得開 RG-SCP 09–10，往 pair-spectral、generating-function 或其他 source-class escape 繼續？

本文因此建立四層 claim taxonomy：

$$
\boxed{
\mathrm{T}
=
\text{exact theorem}
}
$$

$$
\boxed{
\mathrm{E}
=
\text{equivalent reformulation}
}
$$

$$
\boxed{
\mathrm{H}
=
\text{heuristic / empirical object}
}
$$

$$
\boxed{
\mathrm{O}
=
\text{open target}.
}
$$

並建立 source-class ledger：

$$
\mathcal S_0,
\mathcal S_1,
\ldots,
\mathcal S_6.
$$

其中最重要的審計結果是：

$$
\boxed{
T_{\mathrm{top}}(n),
\quad
\operatorname{lpf}(n),
\quad
\text{canonical obstruction factor}
}
$$

在 M6 hard branch 上屬於同一 factor source，不得當成三份獨立證據。

同理：

$$
\bmod 6,
\quad
\bmod 30,
\quad
\bmod 210,
\quad
\text{finite wheel refinements}
$$

屬於同一有限 quotient family，除非產生超越其 deterministic closure 的新 invariant，否則不能被視為 source-class escape。

本文將第一階段真正新增的 relational organization 定位為：

1. counterexample admissibility filtration；
2. complete obstruction assignment；
3. self-suppression geometry；
4. fixed-point section-hole decomposition；
5. shadow-gap representation；
6. demand–capacity inequality；
7. minimality smooth-shift transport graph。

其中真正可能帶來新 proof power 的地方，不在「重新判定質數」，而在：

$$
\boxed{
\text{many local factor obligations}
\to
\text{one global cross-input constraint}.
}
$$

第一階段形式化核心建議鎖定：

$$
\boxed{
\text{RG-SCP-Core-0.1}
}
$$

只包含 elementary definitions、finite-set identities、self-suppression、dual-hole decomposition、demand–capacity inequality 與 transport matching。

解析數論結果全部隔離於 interface layer。

第一輪實驗則不以「找 Goldbach 反例」為目標，而以四個 falsification 問題為核心：

1. demand lower bounds 是否比 trivial count 真正更強？
2. capacity upper bounds 是否能顯著壓低 raw AP sum？
3. minimality transport 是否提供超過既有 demand 的新 lower bound？
4. 所有新增量是否只是 factorization／wheel 的 deterministic readout？

若四個問題長期給出否定答案，RG-SCP 第一階段就應凍結，不再加深同一 source class。

若至少出現一個可升格成 exact theorem 的非平凡 crossing：

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

或一個可被形式化的 cross-$p$ invariant，才值得啟動第二階段。

因此本文最終不是「第八篇再提出一個新猜想」，而是建立一個研究閘門：

$$
\boxed{
\text{Validate}
\to
\text{Formalize}
\to
\text{Audit}
\to
\text{Promote or Stop}.
}
$$

---

# 1. 第一階段研究目標回顧

標準二元 Goldbach 命題記為：

$$
G:
\forall N\ge4,
\quad
N\equiv0\pmod2
\Longrightarrow
R_G(N)>0.
$$

其中：

$$
R_G(N)
=
\#\left\{
p\in\mathbb P:
2\le p\le N-2,
\quad
N-p\in\mathbb P
\right\}.
$$

定義 failure predicate：

$$
F_G(N)=1
\Longleftrightarrow
R_G(N)=0.
$$

RG-SCP 第一階段不直接證：

$$
G.
$$

而研究：

$$
F_G(N)=1
$$

必須推出哪些必要結構。

---

# 2. Counterexample universe

定義：

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

則：

$$
G
\Longleftrightarrow
\mathcal C_G=\varnothing.
$$

所以整個 RG-SCP 可以理解成：

$$
\boxed{
\text{逐層壓縮 }
\mathcal C_G
\text{ 的可容許超集}.
}
$$

---

# 3. Admissibility filtration

第一篇定義一族：

$$
\mathcal A_0
\supseteq
\mathcal A_1
\supseteq
\mathcal A_2
\supseteq
\cdots
$$

其中：

$$
\mathcal C_G
\subseteq
\mathcal A_k
$$

對每一層都必須保持。

如果某一層真的證：

$$
\mathcal A_k=\varnothing,
$$

則：

$$
\mathcal C_G=\varnothing.
$$

這是 RG-SCP 的全域 closure semantics。

---

# 4. Claim taxonomy

本系列後續所有文件必須標記 claim class。

## 4.1 T — Exact Theorem

可以由：

- 初等算術；
- 已知 theorem；
- machine-checked proof；
- exact finite certificate；

嚴格推出。

記：

$$
[\mathrm T].
$$

---

## 4.2 E — Equivalent Reformulation

與原命題邏輯等價，但沒有降低 proof burden。

記：

$$
[\mathrm E].
$$

---

## 4.3 H — Heuristic / Empirical

依賴：

- fitting；
- regression；
- finite observation；
- numerical pattern；
- approximate spectral reconstruction；
- AI-generated hypothesis。

記：

$$
[\mathrm H].
$$

---

## 4.4 O — Open Target

目前尚未證明，但若成立會真正降低 counterexample admissibility。

記：

$$
[\mathrm O].
$$

---

# 5. 為什麼 taxonomy 必須固定

RG-SCP 使用很多重寫：

- obstruction；
- fixed point；
- shadow；
- demand；
- capacity；
- transport。

重寫本身很容易產生「看起來像證明進展」的錯覺。

所以任何新 object 都先問：

$$
\boxed{
\text{它是新 theorem，
還是只是新 coordinate？}
}
$$

---

# 6. RG-SCP 01 審計

## 核心內容

### [T/E]

$$
\mathcal C_G=\varnothing
$$

與 Goldbach 等價。

### [T]

若：

$$
\mathcal C_G\neq\varnothing,
$$

則存在最小反例：

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

### [Framework]

counterexample admissibility filtration：

$$
\mathcal A_{k+1}
\subseteq
\mathcal A_k.
$$

### [O]

尋找有限：

$$
k
$$

使：

$$
\mathcal A_k=\varnothing.
$$

---

# 7. RG-SCP 02 審計

第二篇建立 proper obstruction system。

若：

$$
F_G(N)=1,
$$

則對每個 reduced prime input：

$$
p\in\mathbb P_N^{-}
$$

有：

$$
N-p
$$

composite。

定義 canonical obstruction：

$$
\Phi_N^{\min}(p)
=
\operatorname{lpf}(N-p).
$$

---

## 7.1 [T] Obstruction Map Characterization

對 fixed $N$：

$$
F_G(N)=1
$$

等價於存在 total proper obstruction map：

$$
\Phi_N:
\mathbb P_N^{-}
\to
\mathbb P
$$

使：

$$
\Phi_N(p)\mid(N-p),
$$

且：

$$
\Phi_N(p)\le\sqrt{N-p}.
$$

這是 exact equivalence。

---

## 7.2 [T] Canonical partition

failure 下：

$$
\mathbb P_N^{-}
=
\bigsqcup_r
B_r(N),
$$

其中：

$$
B_r(N)
=
\left\{
p:
\operatorname{lpf}(N-p)=r
\right\}.
$$

---

## 7.3 [E] 注意

obstruction map 本質上仍是：

$$
\text{compositeness}
\leftrightarrow
\text{proper factor witness}.
$$

它沒有自行增加新的 primality information。

它的價值在：

$$
\boxed{
\text{把所有 complements 同時組織成一個 cover / partition}.
}
$$

---

# 8. RG-SCP 03 審計

第三篇引入 M6／Wheel geometry。

---

## 8.1 [T] M6 easy/hard branch

對：

$$
N\bmod6\in\{0,2,4\},
$$

以及：

$$
p\bmod6\in\{1,5\},
$$

可以 exact 分類：

$$
3\mid(N-p)
$$

或：

$$
\gcd(N-p,6)=1.
$$

---

## 8.2 [T] Divisor self-suppression

若：

$$
r\mid N
$$

且：

$$
r\mid(N-p),
$$

其中 $p,r$ 皆 prime，

則：

$$
p=r.
$$

所以：

$$
r\mid N
\Longrightarrow
\mathcal O_r(N)\subseteq\{r\}.
$$

---

## 8.3 [T] Primorial suppression

若：

$$
M_k\mid N
$$

且：

$$
F_G(N)=1,
$$

則對：

$$
p_k<p\le\frac N2
$$

的 prime：

$$
\operatorname{lpf}(N-p)>p_k.
$$

---

## 8.4 [H/O]

coverage cost、obstruction energy、entropy、pressure 等量是研究量，不是 theorem-level contradiction。

真正 open target 是：

$$
\boxed{
\text{obstruction demand}
>
\text{admissible obstruction capacity}.
}
$$

---

# 9. RG-SCP 04 審計

第四篇把既有 M6 fixed-point line 接入。

定義：

$$
M6^*
=
\left\{
n>1:
\gcd(n,6)=1
\right\}.
$$

以及：

$$
T_{\mathrm{top}}(n)
=
\min
\left\{
d\in M6^*:
d\mid n
\right\}.
$$

既有 M6 v0.2 的核心結果：

$$
\boxed{
\operatorname{Fix}(T_{\mathrm{top}})
=
P^*
=
\mathbb P_{>3}.
}
$$

---

# 10. Fixed-point source audit

在：

$$
n\in M6^*
$$

時，

$$
T_{\mathrm{top}}(n)
$$

就是：

$$
\operatorname{lpf}(n).
$$

所以：

$$
\boxed{
T_{\mathrm{top}}
\equiv
\operatorname{lpf}
}
$$

在 element-level source 上。

因此：

- fixed-point exclusion；
- least-factor obstruction；
- non-fixed fiber label；

不是三份獨立 information sources。

---

# 11. [T] Two-channel decomposition

對偶數：

$$
N\ge10,
$$

定義 M6 section defect：

$$
\Delta_6(N).
$$

第四篇得到：

$$
\boxed{
R_G(N)>0
\Longleftrightarrow
\left[
\Delta_6(N)=0
\right]
\lor
\left[
N-3\in\mathbb P
\right].
}
$$

因此：

$$
\boxed{
F_G(N)=1
\Longleftrightarrow
\left[
\Delta_6(N)>0
\right]
\land
\left[
N-3\notin\mathbb P
\right].
}
$$

---

# 12. [T] Clean $6\mid N$ branch

對：

$$
N\ge12,
\quad
6\mid N,
$$

有：

$$
N-3
$$

必為大於 $3$ 的 $3$ 倍數。

所以：

$$
\boxed{
F_G(N)=1
\Longleftrightarrow
\Delta_6(N)>0.
}
$$

這是 RG-SCP 最乾淨的 fixed-point branch。

---

# 13. [T/E] Shadow gap

定義：

$$
S_N(a)
=
T_{\mathrm{top}}(a)
+
T_{\mathrm{top}}(N-a).
$$

以及：

$$
\mathcal S_6(N)
=
\left\{
S_N(a):
a\in\mathcal A_N^{(6)}
\right\}.
$$

則：

$$
\boxed{
\Delta_6(N)
=
N-\max\mathcal S_6(N).
}
$$

這是 exact identity。

但它仍主要是：

$$
[\mathrm E]
$$

式 coordinate change。

---

# 14. [T] Naive descent no-go

若：

$$
S_N(a)<N,
$$

則：

$$
S_N(a)
$$

本身已是兩個 primes 的和。

所以 fixed-point shadow projection：

$$
N\mapsto S_N(a)
$$

不會把 failure transport 成更小 failure。

這排除一條自然但無效的 minimal-counterexample route。

---

# 15. RG-SCP 05 審計

第五篇引入：

- $\varepsilon_{\mathrm{full}}$；
- prime approximation；
- arithmetic skew；
- complement pressure；
- null models；
- surrogate worlds。

全部默認屬於：

$$
[\mathrm H].
$$

---

# 16. Heuristic Promotion Rule

只有經：

$$
\text{heuristic anomaly}
$$

$$
\Downarrow
$$

$$
\text{exact candidate statement}
$$

$$
\Downarrow
$$

$$
\text{independent proof}
$$

之後，

才允許進：

$$
[\mathrm T].
$$

---

# 17. $\varepsilon_{\mathrm{full}}$ 的正確角色

RG-SCP 中：

$$
\varepsilon_{\mathrm{full}}
$$

不是 primality theorem。

它的角色是：

$$
\boxed{
\text{scale calibrator}
}
$$

與：

$$
\boxed{
\text{search prioritizer}.
}
$$

---

# 18. 《歪線》的正確角色

算術 residual：

$$
\Delta_\pi(x)
=
\pi(x)-\operatorname{Li}(x),
$$

以及：

$$
\Delta_\psi(x)
=
\psi(x)-x
$$

是 exact objects。

但：

$$
\text{某種 skew interpretation}
$$

是否能控制 Goldbach pair positivity，

仍是：

$$
[\mathrm O].
$$

---

# 19. One-point vs Two-point

本系列必須保持：

$$
\boxed{
\text{one-point prime fit}
\neq
\text{two-point Goldbach control}.
}
$$

即使一個 model 很準地重建：

$$
\pi(x),
$$

也不代表它保留：

$$
\mathbf1_{\mathbb P}(a)
\mathbf1_{\mathbb P}(N-a).
$$

---

# 20. RG-SCP 06 審計

第六篇正式建立 demand–capacity framework。

定義：

$$
\mathbb H_y(N)
=
\left\{
p\in\mathbb P_N^{-}:
\gcd(N-p,P(y))=1
\right\}.
$$

以及：

$$
D_N(y)
=
|\mathbb H_y(N)|.
$$

---

# 21. [T] Deep incidence capacity

定義：

$$
m_y(N,p)
=
\#\left\{
r\in\mathbb P:
y<r\le\sqrt{N-p},
\quad
r\mid(N-p)
\right\},
$$

以及：

$$
I_N(y)
=
\sum_{p\in\mathbb H_y(N)}
m_y(N,p).
$$

若：

$$
F_G(N)=1,
$$

則：

$$
\boxed{
D_N(y)\le I_N(y).
}
$$

---

# 22. [T] Exact representation identity

定義 overlap surplus：

$$
\Omega_N(y)
=
\sum_{p\in\mathbb H_y(N)}
\max
\left(
m_y(N,p)-1,
0
\right).
$$

則：

$$
\boxed{
R_G^{-}(N)
=
D_N(y)
+
\Omega_N(y)
-
I_N(y).
}
$$

這是 exact finite identity。

---

# 23. [T] Primorial demand formula

若：

$$
M_k\mid N
$$

且：

$$
p_k\le\frac N2,
$$

則：

$$
\boxed{
D_N(p_k)
=
\pi\left(\frac N2\right)-k.
}
$$

這是第一階段最乾淨的 explicit demand formula。

---

# 24. [O] 真正 closure target

若能證：

$$
D_N(y)\ge L_N(y),
$$

$$
I_N(y)\le U_N(y),
$$

並有：

$$
\boxed{
L_N(y)>U_N(y),
}
$$

則：

$$
R_G(N)>0.
$$

問題在於：

$$
U_N(y)
$$

目前通常太鬆。

---

# 25. Raw AP capacity 的局限

把：

$$
I_N(y)
$$

按 obstruction prime $r$ 分解後：

$$
I_N(y)
=
\sum_r
C_r(N;y).
$$

raw AP upper bound：

$$
C_r(N;y)
\le
\pi(x_r;r,N\bmod r)
$$

是合法的，

但直接求和會：

- 重複計數；
- 忽略 least-factor uniqueness；
- 忽略 smaller-prime avoidance；
- 忽略 cross-$r$ consistency。

所以：

$$
\boxed{
\text{raw AP capacity}
}
$$

更像 baseline，而不是終點。

---

# 26. RG-SCP 07 審計

第七篇把 minimality 轉成 upward pressure。

假設：

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

則所有：

$$
M<N_*
$$

的偶數都有 Goldbach representation。

---

# 27. [T] Lift blocking

若：

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

且：

$$
p,q
$$

prime，

則：

$$
p+h
$$

與：

$$
q+h
$$

都不能 prime。

否則立即得到：

$$
N_*
$$

的 representation。

---

# 28. [T] Smooth shift suppression

若：

$$
M_k\mid h
$$

且：

$$
p>p_k
$$

prime，

則：

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

若 $N_*$ 為 failure，

再得到：

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

---

# 29. [T] Transport graph demand

定義 smooth-shift transport graph：

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

令其 maximum matching：

$$
\nu_k(N_*).
$$

則：

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

---

# 30. [T] Bounded-degree matching lower bound

令右側最大 degree：

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

則：

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

---

# 31. [O] Minimality closure target

若能證：

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

則 minimal counterexample 不存在。

目前尚未建立此 crossing。

---

# 32. 第一階段 exact theorem ledger

截至 RG-SCP 08，建議正式保留以下 theorem ledger。

## T01

Counterexample universe emptiness equivalence。

## T02

Minimal counterexample existence under nonempty counterexample universe。

## T03

Proper obstruction map characterization。

## T04

Canonical least-factor partition。

## T05

Divisor self-suppression。

## T06

M6 easy/hard branch classification。

## T07

Primorial suppression。

## T08

M6 fixed-point characterization：

$$
\operatorname{Fix}(T_{\mathrm{top}})=P^*.
$$

## T09

Two-channel Goldbach decomposition。

## T10

$6\mid N$ clean-branch equivalence。

## T11

Shadow identity與 shadow-gap identity。

## T12

Naive fixed-point descent no-go。

## T13

Demand–incidence necessary inequality。

## T14

Exact demand–overlap–incidence identity。

## T15

Primorial demand formula。

## T16

Lift-blocking theorem。

## T17

Smooth-shift deep obstruction。

## T18

Transport edge-to-hard-survivor theorem。

## T19

Matching demand lower bound。

## T20

Bounded-degree matching lower bound。

---

# 33. Equivalent-reformulation ledger

以下內容即使漂亮，也不應獨立列成「突破 theorem」。

## E01

Goldbach：

$$
\Longleftrightarrow
\mathcal C_G=\varnothing.
$$

## E02

Goldbach：

$$
\Longleftrightarrow
\text{不存在 total proper obstruction map}.
$$

## E03

Goldbach：

$$
\Longleftrightarrow
\min E_N=0.
$$

## E04

M6 section success：

$$
\Longleftrightarrow
\Delta_6(N)=0.
$$

## E05

section gap：

$$
\Longleftrightarrow
N-\max\mathcal S_6(N).
$$

這些 coordinate 很有研究價值，

但不能單獨被描述成證明進展。

---

# 34. Heuristic ledger

以下默認：

$$
[\mathrm H].
$$

- $\varepsilon_{\mathrm{full}}$ fitted segments；
- fitted next-prime trajectory；
- local skew score；
- anomaly score；
- pressure ridge；
- synthetic no-Goldbach surrogate；
- learned capacity predictor；
- AI conjectured inequality；
- empirical optimal cutoff；
- empirical transport congestion law。

---

# 35. Open-target ledger

第一階段後真正值得繼續的 open targets：

## O01

Sieved canonical capacity upper bound：

$$
|B_r(N;y)|
\le
U_r^{\mathrm{sieve}}(N;y).
$$

## O02

Demand lower bound stronger than trivial union-bound residual。

## O03

Demand–capacity crossing：

$$
L_N(y)>U_N(y).
$$

## O04

Transport graph Hall expansion。

## O05

Nontrivial right-degree AP bound。

## O06

Minimality transport lower bound beating ordinary demand lower bound。

## O07

Cross-$p$ invariant not reducible to finite quotient／lpf source。

## O08

Pair-spectral source linking additive convolution positivity to new certificate structure。

---

# 36. Source-class ledger

現在對所有 RG-SCP source 做去重。

---

# 37. $\mathcal S_0$：Elementary arithmetic source

包含：

- parity；
- addition；
- multiplication；
- divisibility；
- order；
- finite sets。

這是基礎語言。

---

# 38. $\mathcal S_1$：Factor / least-prime-factor source

包含：

$$
\operatorname{lpf}(n),
$$

$$
T_{\mathrm{top}}(n),
$$

$$
\Phi_N^{\min}(p),
$$

canonical obstruction cells。

它們在 M6 hard branch高度等價。

因此：

$$
\boxed{
\mathcal S_1
\text{ 只算一個 source family}.
}
$$

---

# 39. $\mathcal S_2$：Finite quotient / wheel source

包含：

$$
\bmod6,
$$

$$
\bmod30,
$$

$$
\bmod210,
$$

$$
\bmod2310,
$$

一般 finite primorial wheel。

只增加：

$$
k
$$

通常是 refinement，

不是 source-class escape。

---

# 40. $\mathcal S_3$：Fixed-point relational organization

元素層資訊仍來自：

$$
\mathcal S_1.
$$

但：

- fiber partition；
- section incidence；
- shadow map；
- additive fiber；

提供新的 relational organization。

所以它是：

$$
\boxed{
\text{new organization layer}
}
$$

而不是新的 primality oracle。

---

# 41. $\mathcal S_4$：Additive-history / minimality source

由：

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

提供。

這不是 factor source 的 deterministic readout。

它使用 target problem 的 prefix history。

因此：

$$
\boxed{
\mathcal S_4
}
$$

是第一階段中最明顯的新 relational source family。

---

# 42. $\mathcal S_5$：Analytic counting source

包含：

- $\pi(x)$ bounds；
- primes in arithmetic progressions；
- Brun–Titchmarsh；
- explicit PNT bounds；
- sieve upper/lower bounds。

這些是外部已知 analytic sources。

RG-SCP 本身沒有重新證明它們。

---

# 43. $\mathcal S_6$：Heuristic approximation / skew source

包含：

- fitted $\varepsilon$；
- prime predictors；
- skew features；
- learned models；
- anomaly detectors。

默認不能進 proof chain。

---

# 44. Future $\mathcal S_7$：Pair-spectral / nonlocal source

尚未正式建立。

可能包含：

- convolution spectrum；
- additive correlation operator；
- generating function；
- nonlocal graph invariant；
- cross-$p$ certificate；
- pair-spectral positivity structure。

只有當它不能被：

$$
\mathcal S_1
\vee
\mathcal S_2
\vee
\mathcal S_5
$$

簡單 deterministic reconstruct，

才值得叫 source escape。

---

# 45. Source duplication matrix

建議後續所有 claim 都附：

```text
source:
  elementary:
  factor:
  quotient:
  fixed_point_relational:
  additive_history:
  analytic_external:
  heuristic:
  candidate_new:
```

如果兩個 theorem 的 source signature 完全相同，

不能只因語言不同就當成獨立佐證。

---

# 46. 第一階段真正的 novelty 在哪裡

不是：

$$
6k\pm1.
$$

不是：

$$
\operatorname{lpf}.
$$

也不是：

$$
T_{\mathrm{top}}
$$

本身。

第一階段真正的新研究組織更接近：

$$
\boxed{
\text{failure}
\to
\text{global obstruction demand}
\to
\text{capacity comparison}
}
$$

與：

$$
\boxed{
\text{minimality}
\to
\text{smooth-shift transport graph}
\to
\text{matching demand}.
}
$$

---

# 47. Prime-Surface Insufficiency Gate

若後續所有進展只是：

$$
p_k
\to
p_{k+1}
$$

增加更多 wheel primes，

或：

$$
\sqrt N
$$

之前測更多 factors，

則應標：

$$
\boxed{
\text{exhaustive refinement}
}
$$

而不是 proof compression。

---

# 48. Proof Compression Criterion

一個新結果若要被標為「結構進展」，至少應滿足一項：

1. 一個 bounded-size invariant吸收無限／大族 factor obligations；
2. 一個 family theorem一次排除無限多 $N$；
3. 一個 cross-$p$ theorem替代逐點 primality checking；
4. 一個 transport theorem把 minimality轉成 uniform lower bound；
5. 一個 capacity theorem把大量 AP columns一起壓縮；
6. 一個 certificate architecture顯著縮短 verifier burden。

---

# 49. Formalization 第一原則

不要一次形式化整個系列。

先凍結：

$$
\boxed{
\text{RG-SCP-Core-0.1}
}
$$

只做 elementary exact core。

解析數論與 heuristic 全部隔離。

---

# 50. RG-SCP-Core-0.1 建議模組

```text
RGSCP/
├── Basic.lean
├── Goldbach.lean
├── Counterexample.lean
├── Obstruction.lean
├── M6.lean
├── FixedPoint.lean
├── Demand.lean
├── Capacity.lean
├── Minimality.lean
├── Transport.lean
└── Audit.lean
```

---

# 51. Basic.lean

內容：

- parity；
- reduced prime domain；
- finite intervals；
- complement map；
- basic divisibility lemmas。

---

# 52. Goldbach.lean

定義：

$$
R_G^{-}(N),
$$

$$
F_G(N),
$$

以及：

$$
\mathcal G(N).
$$

證：

$$
R_G^{-}(N)>0
\Longleftrightarrow
\text{Goldbach representation exists}.
$$

---

# 53. Counterexample.lean

定義：

$$
\mathcal C_G.
$$

若非空，建立：

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

並證：

$$
M<N_*,
\quad
M\text{ even}
\Longrightarrow
F_G(M)=0.
$$

---

# 54. Obstruction.lean

定義：

$$
\Phi_N^{\min},
$$

proper obstruction map，

並證：

$$
F_G(N)=1
$$

與 total proper obstruction map存在性的等價。

再證：

$$
r\mid N
\Rightarrow
\mathcal O_r(N)\subseteq\{r\}.
$$

---

# 55. M6.lean

優先重用既有 M6 v0.2：

$$
\operatorname{Fix}(T_{\mathrm{top}})=P^*.
$$

但 RG-SCP 需把依賴與 theorem names 對齊。

不得複製一份不同定義的 $T_{\mathrm{top}}$。

---

# 56. FixedPoint.lean

建立：

$$
\mathcal A_N^{(6)},
$$

$$
E_{6,N}(a),
$$

$$
\Delta_6(N),
$$

$$
\mathcal S_6(N).
$$

證：

$$
R_G(N)>0
\Longleftrightarrow
\Delta_6(N)=0
\lor
N-3\in\mathbb P.
$$

---

# 57. Demand.lean

建立：

$$
\mathbb H_y(N),
$$

$$
D_N(y).
$$

以及 primorial demand formula：

$$
M_k\mid N
\Longrightarrow
D_N(p_k)
=
\pi(N/2)-k.
$$

若 Mathlib 直接使用 $\pi$ 不方便，

可先用 finite prime-cardinality形式化，

最後再 bridge 到 counting function。

---

# 58. Capacity.lean

建立：

$$
m_y(N,p),
$$

$$
I_N(y),
$$

$$
\Omega_N(y).
$$

證：

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

以及：

$$
R_G^{-}(N)
=
D_N(y)
+
\Omega_N(y)
-
I_N(y).
$$

---

# 59. Minimality.lean

證：

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

---

# 60. Transport.lean

建立：

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

transport graph，

證：

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

再證 edge-to-hard-survivor 與 matching demand。

---

# 61. Audit.lean

不是數學 theorem 本身，

而是 dependency metadata。

每個 major theorem 附：

```text
uses_factor_source:
uses_quotient_source:
uses_minimality:
uses_external_analytic:
```

這能防止未來 proof chain 偷偷 circular reuse。

---

# 62. External interface layer

解析數論外部 theorem 建議獨立：

```text
RGSCPExternal/
├── PrimeCountBounds.lean
├── PrimeAPBounds.lean
├── BrunTitchmarsh.lean
├── SieveBounds.lean
└── PairCorrelationInterfaces.lean
```

如果無法完整 formalize 外部 theorem，

至少以明確 assumption interface 接入，

不要埋在 core definitions 裡。

---

# 63. 第一階段形式化 Gate

只有當以下全部 PASS：

### G-F1

所有 core definitions type-check。

### G-F2

01–07 的 elementary exact theorems都有 machine proof。

### G-F3

無 `sorry`。

### G-F4

無 hidden primality oracle。

### G-F5

M6 fixed-point source 與 lpf source dependency清楚標記。

### G-F6

heuristic module 不被 import 到 proof core。

才允許標：

$$
\boxed{
\text{RG-SCP Core Formalized}.
}
$$

---

# 64. 第一輪本地實驗的真正目的

不是：

> 搜尋 Goldbach 反例。

也不是：

> 再驗證 Goldbach 到更大的數。

而是驗證：

$$
\boxed{
\text{RG-SCP 的壓縮量到底有沒有研究價值。}
}
$$

---

# 65. Experiment Phase E0：Exact identity validation

先在小域：

$$
N\le10^5
$$

驗證所有 exact identities。

至少包括：

$$
R_G^{-}(N)
=
D_N(y)
+
\Omega_N(y)
-
I_N(y).
$$

以及：

$$
\Delta_6(N)
=
N-\max\mathcal S_6(N).
$$

若任何 identity 不一致，

停止後續實驗。

---

# 66. E0 cutoffs

建議：

$$
y
\in
\{3,5,7,11,13,17,19,23,29,31\}.
$$

並另外使用：

$$
y=p_k
$$

對 primorial branch。

---

# 67. Experiment Phase E1：Branch census

範圍：

$$
N\le10^6.
$$

分類：

1. all even；
2. $6\mid N$；
3. $30\mid N$；
4. $210\mid N$；
5. $2310\mid N$；
6. matched non-primorial controls。

---

# 68. E1 exact fields

每個 $N$ 保存：

$$
R_G^{-}(N),
$$

$$
\Delta_6(N),
$$

$$
D_N(y),
$$

$$
I_N(y),
$$

$$
\Omega_N(y),
$$

$$
D_G(N),
$$

以及：

$$
\omega(N).
$$

若可行再存：

$$
\operatorname{lpf}(N-p)
$$

histogram。

---

# 69. Experiment Phase E2：Demand-bound audit

不是看：

$$
D_N(y)
$$

本身。

而是比較：

$$
D_N(y)
$$

與 proposed lower bounds：

$$
L_N^{(0)}(y),
$$

$$
L_N^{(1)}(y),
$$

$$
L_N^{\mathrm{sieve}}(y).
$$

記錄：

$$
\boxed{
\operatorname{DemandTightness}
=
\frac{
L_N(y)
}{
D_N(y)
}
}
$$

若：

$$
L_N/D_N
$$

長期極低，

該 lower-bound route 價值有限。

---

# 70. Experiment Phase E3：Capacity-bound audit

比較 exact：

$$
I_N(y)
$$

與：

- raw AP upper bound；
- self-suppressed AP upper bound；
- Bonferroni refined bound；
- canonical least-factor cell upper bound。

記錄：

$$
\boxed{
\operatorname{CapacitySlack}
=
\frac{
U_N(y)
}{
I_N(y)+1
}.
}
$$

若：

$$
U/I
$$

巨大，

就知道真正 bottleneck 在 capacity side。

---

# 71. E3 最重要輸出

不需要漂亮圖。

最重要的是：

```text
which bound is loose?
how loose?
at what scale?
on which residue family?
does primorial suppression help?
```

這會直接決定是否值得繼續 sieve/capacity line。

---

# 72. Experiment Phase E4：Cutoff optimization

對每個：

$$
N,
$$

掃：

$$
y.
$$

比較 rigorous candidate gap：

$$
\boxed{
\Gamma_N(y)
=
L_N(y)-U_N(y).
}
$$

如果：

$$
\Gamma_N(y)>0,
$$

就得到 finite certified exclusion。

即使所有 $N$ 本來都已知 Goldbach-success，

我們仍要看：

> inequality framework 能不能自己證出它，而不是偷讀 representation。

---

# 73. E4 oracle isolation

計算：

$$
R_G(N)
$$

可以作 truth channel。

但：

$$
L_N,
U_N
$$

的計算不得讀：

$$
R_G(N).
$$

因此必須分：

```text
Proof Probe Channel
Truth Channel
```

與 SDRPC prime experiments一致。

---

# 74. Experiment Phase E5：Primorial branch stress test

對：

$$
M_k\mid N
$$

測：

$$
D_N(p_k)
=
\pi(N/2)-k
$$

是否正確。

再測：

$$
U_N(p_k)
$$

相對 demand 的 ratio：

$$
\boxed{
\operatorname{PrimorialGapRatio}
=
\frac{
U_N(p_k)
}{
\pi(N/2)-k
}.
}
$$

若 ratio 長期遠大於 $1$，

raw capacity route沒有接近 closure。

---

# 75. Experiment Phase E6：Minimality transport surrogate

真 minimal counterexample 不存在已知樣本。

所以不能直接做真 minimality experiment。

但可以對任意 successful $N$：

假裝：

$$
N
$$

是 target frontier，

只使用：

$$
M<N
$$

的 success information建立 transport graph。

然後測：

$$
\nu_k(N),
$$

$$
\Delta_k^R(N),
$$

$$
|\Gamma_k(N)|.
$$

這只測 transport geometry，

不宣稱 $N$ 是 counterexample。

---

# 76. E6 transport gain

定義：

$$
\boxed{
G_k^{\mathrm{trans}}(N)
=
\frac{
\nu_k(N)
}{
D_N(p_k)+1
}.
}
$$

以及：

$$
\boxed{
G_{k,\mathrm{deg}}^{\mathrm{trans}}(N)
=
\frac{
\lceil
|\mathcal H_k(N)|/\Delta_k^R(N)
\rceil
}{
D_N(p_k)+1
}.
}
$$

看 matching lower bound能 capture 真 demand 的多少。

---

# 77. Transport novelty test

若：

$$
\nu_k(N)
$$

長期遠低於一個早已存在的 trivial demand lower bound，

那 minimality transport沒有新增 proof power。

如果它在某些 family顯著更強，

才值得繼續。

---

# 78. Experiment Phase E7：Heuristic target selection

第五篇的 heuristic layer只在此介入。

可以用：

- $\varepsilon_{\mathrm{full}}$；
- skew；
- pressure；
- anomaly detection；

選：

- $N$ family；
- cutoff $y$；
- shift scale $k$；
- local subset $S$。

但最後 E7 的輸出必須是：

$$
\boxed{
\text{candidate exact inequality}
}
$$

而不是「模型分數」。

---

# 79. Experiment Phase E8：Adversarial null worlds

至少建立：

1. density-matched；
2. wheel-preserved；
3. residue-shuffled；
4. no-Goldbach surrogate；
5. lpf-profile-matched surrogate。

看 RG-SCP probes 能否區分：

$$
\text{true prime world}
$$

與：

$$
\text{target-different surrogate}.
$$

---

# 80. E8 的判斷標準

如果一組 probes 在：

$$
J_{\mathrm{probe}}(\text{true})
\approx
J_{\mathrm{probe}}(\text{surrogate})
$$

但 target 完全不同，

表示：

$$
\boxed{
\text{current source family insufficient}.
}
$$

這比繼續 fit 更有價值。

---

# 81. 第一階實驗資料格式

建議每個：

$$
N
$$

一列 canonical record：

```yaml
N:
parity:
residue:
divisors:
omega:

goldbach_truth:
  unordered_count:
  first_pair:

m6:
  delta_6:
  shadow_max:
  boundary_3_prime:

demand_capacity:
  - y:
    demand_exact:
    incidence_exact:
    overlap_exact:
    identity_check:
    demand_lower_bounds:
    capacity_upper_bounds:
    certified_gap:

primorial:
  k:
  divides_N:
  exact_demand:

transport:
  k:
  shift_count:
  right_count:
  max_right_degree:
  matching_exact:
  matching_lower_bound:

heuristic:
  epsilon_scale:
  skew_features:

provenance:
hash:
```

---

# 82. Certificate-first 原則

每一個 finite conclusion：

$$
\Gamma_N(y)>0
$$

都應能輸出 machine-verifiable certificate。

例如：

- prime list hash；
- factor certificates；
- survivor list；
- AP count certificate；
- matching certificate；
- final inequality。

不只存 summary CSV。

---

# 83. 不建議第一輪做的事

暫時不要：

- 直接跑到 $10^{18}$；
- 訓練大型 neural predictor；
- 大量微調 fitted coefficients；
- 同時引入 zeta zero spectrum；
- 把 Lean 與大型數值 pipeline 混在一起；
- 宣稱「接近證明」。

第一輪目標是：

$$
\boxed{
\text{測 proof architecture 是否有壓縮力}.
}
$$

---

# 84. 第一階 Stop Conditions

若以下條件成立，應停止同一路線。

### S1 — Demand Weakness

所有 rigorous：

$$
L_N(y)
$$

都遠低於 exact：

$$
D_N(y).
$$

### S2 — Capacity Slack

所有：

$$
U_N(y)
$$

都遠高於 exact：

$$
I_N(y).
$$

### S3 — Transport Redundancy

$$
\nu_k
$$

沒有提供超過普通 demand bounds 的增量。

### S4 — Source Duplication

新 invariant 全是：

$$
\operatorname{lpf}
+
\bmod M
$$

的 deterministic readout。

### S5 — Surrogate Indistinguishability

probe 無法區分 true world 與 adversarial target-different surrogate。

### S6 — No Promotion

大量 heuristic anomalies 無法生成任何 exact theorem candidate。

---

# 85. 第一階 Promotion Conditions

只有至少一項成立，才建議開第二階段。

### P1

出現 family-level：

$$
L(N)>U(N)
$$

theorem candidate。

### P2

出現 nontrivial sieved capacity bound。

### P3

transport graph 出現可證 Hall expansion。

### P4

找到不依賴 lpf／finite wheel 的 cross-$p$ invariant。

### P5

surrogate test 顯示某新 source 真正 split target fibers。

### P6

有一條新 theorem 可完成 formal proof。

---

# 86. Formalization Gate 與 Experiment Gate 必須分開

可能出現：

### Case A

形式化成功，但 inequality framework沒有壓縮力。

則：

$$
\text{theory correct}
\neq
\text{theory sufficient}.
$$

### Case B

實驗顯示強 pattern，但形式化 core有漏洞。

則：

$$
\text{pattern promising}
\neq
\text{foundation valid}.
$$

兩個 Gate 必須都過。

---

# 87. 第一階 Phase Status

本文建議將 RG-SCP Phase I 標成：

```text
Conceptual Architecture     COMPLETE
Elementary Exact Core      DRAFT-COMPLETE
Source Audit               COMPLETE
Formalization              PENDING
Local Experimental Suite   PENDING
Analytic Capacity Closure  OPEN
Global Goldbach Closure    OPEN
```

---

# 88. 第一階最值得形式化的十個 theorem

如果只選十個：

1. obstruction-map characterization；
2. divisor self-suppression；
3. primorial suppression；
4. two-channel Goldbach decomposition；
5. $6\mid N$ failure iff $\Delta_6>0$；
6. shadow-gap identity；
7. demand $\le$ incidence under failure；
8. $R_G^{-}=D+\Omega-I$；
9. primorial demand formula；
10. smooth-shift matching demand。

這十個足以把 Phase I 的骨架固定住。

---

# 89. 哪些 theorem 暫時不要形式化

暫不優先：

- heuristic skew；
- $\varepsilon_{\mathrm{full}}$ fitting；
- anomaly scores；
- capacity energy；
- entropy；
- speculative source escape；
- spectral interpretation。

原因是它們不是第一階 proof core。

---

# 90. 第一個真正 analytic target

若 formal core完成，

建議 analytic 端第一個只攻：

$$
\boxed{
|B_r(N;y)|
}
$$

其中：

$$
B_r(N;y)
=
\left\{
p\in\mathbb H_y(N):
\operatorname{lpf}(N-p)=r
\right\}.
$$

因為這是 canonical、互斥、沒有 overlap 的 capacity cell。

---

# 91. 為什麼 $B_r$ 比 raw AP 更值得

raw：

$$
A_r(N)
=
\left\{
p:
r\mid(N-p)
\right\}
$$

會把：

$$
N-p
$$

有更小 factor 的情況也算進來。

但：

$$
B_r
$$

要求：

$$
r
$$

恰為 least factor。

所以它已內建：

$$
\text{smaller-prime avoidance}.
$$

這更接近真正的 obstruction budget。

---

# 92. 第一個 transport target

transport 端第一個 analytic target：

$$
\boxed{
\Delta_k^R(N)
}
$$

或 Hall expansion。

因為：

$$
\nu_k
$$

的價值主要由 collision 決定。

如果能證：

$$
\Delta_k^R(N)
$$

遠小於：

$$
|\mathcal H_k(N)|,
$$

minimality demand就會變強。

---

# 93. 兩個最關鍵 unknown

Phase I 收束後，

最值得記住的其實只有兩個 hard unknown。

### Unknown A

canonical obstruction capacity：

$$
\sum_r
|B_r(N;y)|
$$

能否被 uniform 壓低？

### Unknown B

minimality transport：

$$
\nu_k(N_*)
$$

能否被 uniform 拉高？

若：

$$
\text{A 夠低}
$$

且：

$$
\text{B 夠高},
$$

就會 crossing。

---

# 94. 第二階段可能方向 A：Pair-Spectral

Goldbach 是：

$$
r_2(N)
=
(\mathbf1_{\mathbb P}*\mathbf1_{\mathbb P})(N).
$$

如果 Phase I 卡在 factor／sieve capacity，

可能需要直接研究 additive convolution 的新 source。

第二階段可考慮：

$$
\boxed{
\text{pair spectrum}
}
$$

而不是單點 prime spectrum。

---

# 95. Pair-Spectral 的最低門檻

不能只重寫 circle method。

新的 source 至少要提供：

- 新 positivity certificate；
- 新 cross-frequency invariant；
- 新 finite verifier；
- 新 source-kernel split。

否則只是已知解析數論語言重述。

---

# 96. 第二階段可能方向 B：Generating Function

可研究：

$$
P(z)
=
\sum_{p\in\mathbb P}z^p.
$$

則：

$$
P(z)^2
$$

的係數正好編碼 Goldbach representation counts。

但：

$$
\boxed{
\text{coefficient positivity}
}
$$

本身仍與 Goldbach 等價。

所以只有找到新的：

- analytic continuation structure；
- coefficient lower-bound mechanism；
- positivity-preserving transform；

才算 source progress。

---

# 97. 第二階段可能方向 C：Nonlocal Operator

尋找：

$$
\mathcal T_N
$$

直接作用於整個 complement family：

$$
\left\{
N-p:
p\in\mathbb P_N^{-}
\right\},
$$

而不是逐一作用。

目標：

$$
\boxed{
\text{one operator}
\to
\text{many complement constraints}.
}
$$

這最符合 Prime-Surface Insufficiency 的 escape spirit。

---

# 98. 第二階段可能方向 D：World / Domain Escape

若 standard integer representation 長期沒有新 source，

可考慮把 Goldbach failure 嵌入：

- graph；
- spectral object；
- dynamical system；
- category／morphism；
- certificate automaton。

但任何新 domain 必須保留：

$$
\text{target relevance}.
$$

不是為換語言而換語言。

---

# 99. 是否現在就開 RG-SCP 09？

本文建議：

$$
\boxed{
\text{先不要自動開}.
}
$$

先完成：

1. Core formalization；
2. E0–E6 local experiments；
3. source audit report；
4. bottleneck classification。

如果沒有 theorem-promotion candidate，

09 應該改成：

$$
\text{Source-Class Escape Report},
$$

而不是繼續在原 wheel／factor line 堆技巧。

---

# 100. 若 Gate 通過，RG-SCP 09 的候選

如果 Phase I 顯示：

- capacity side 有可壓縮結構；
- transport side有 expansion；
- 或出現新 cross-$p$ invariant；

則 09 可以是：

# RG-SCP 09
## Canonical Capacity Compression
### Least-Factor Cells, Cross-Residue Coupling, and Family Exclusion

---

# 101. 若 Gate 不通過，RG-SCP 09 的候選

如果：

- AP capacity太鬆；
- matching demand太弱；
- source duplication嚴重；

則應改為：

# RG-SCP 09
## Source-Class Escape
### From Prime-Surface Obstructions to Pair-Spectral or Nonlocal Representations

這樣不會在已知 stalled source class 裡無限加 complexity。

---

# 102. RG-SCP 10 的位置

10 不應預先承諾是「證明篇」。

它應根據 09 結果決定：

### 若有 closure

整理 theorem、certificate、formal proof。

### 若無 closure

做 falsification report：

$$
\boxed{
\text{這一代 RG-SCP source 到哪裡失效？}
}
$$

這同樣是有價值成果。

---

# 103. Canonical Research Loop

第一階段後建議固定：

$$
\boxed{
\text{Define}
}
$$

$$
\Downarrow
$$

$$
\boxed{
\text{Formalize}
}
$$

$$
\Downarrow
$$

$$
\boxed{
\text{Measure}
}
$$

$$
\Downarrow
$$

$$
\boxed{
\text{Audit Source}
}
$$

$$
\Downarrow
$$

$$
\boxed{
\text{Promote or Falsify}
}
$$

$$
\Downarrow
$$

$$
\boxed{
\text{Only then expand}.
}
$$

---

# 104. Phase I 的真正成果

第一階段目前最重要的成果不是：

$$
\text{Goldbach 被證明}.
$$

而是：

$$
\boxed{
\text{Goldbach failure 被分解成一組可審計、可形式化、可量化的結構義務。}
}
$$

包括：

- factor obstruction；
- quotient hard branch；
- fixed-point section hole；
- deep-factor demand；
- capacity budget；
- minimality transport demand。

---

# 105. Phase I 的真正缺口

真正缺口也變得非常清楚。

我們仍缺：

$$
\boxed{
\text{一個足夠強的 upper capacity theorem}
}
$$

或：

$$
\boxed{
\text{一個足夠強的 lower transport/demand theorem}.
}
$$

也就是：

$$
\boxed{
L>U.
}
$$

目前尚未出現。

---

# 106. 這比「再找一個 pattern」更重要

如果未來 AI 再找到：

$$
p\bmod M
$$

的新 pattern，

第一個問題不應是：

> 漂不漂亮？

而是：

$$
\boxed{
\text{它能讓 }L\uparrow
\text{ 還是讓 }U\downarrow？
}
$$

如果兩者都不能，

它就不應成為 RG-SCP 主線。

---

# 107. 最終 Source Audit Principle

本文將 Phase I 的 source audit 壓成一句：

> **不要把同一個 factor source 換三種語言後，誤認成三個互相獨立的證據。**

形式化地：

若：

$$
J_2=f\circ J_1,
$$

則：

$$
J_2
$$

不算新 independent source。

只有當新 source split 舊 observation fibers，

才算真正增加 proof information。

---

# 108. 最終 Proof-Promotion Principle

同樣：

> **不要把「看起來逼近 closure」升格成 closure。**

只有：

$$
\boxed{
\text{rigorous lower bound}
>
\text{rigorous upper bound}
}
$$

或其他形式的 exact contradiction，

才允許刪除 counterexample branch。

---

# 109. Phase I 結論

RG-SCP 第一階段已完成從：

$$
\text{direct Goldbach attack}
$$

到：

$$
\text{counterexample admissibility analysis}
$$

的轉換。

它沒有解決 Goldbach。

它完成的是：

$$
\boxed{
\text{問題的 proof burden decomposition}.
}
$$

現在 hypothetical counterexample 不再只是：

> 某個偶數沒有兩質數表示。

而是一個必須同時滿足：

$$
\text{complete obstruction cover},
$$

$$
\text{M6 / Wheel compatibility},
$$

$$
\text{fixed-point section hole},
$$

$$
\text{demand}\le\text{capacity},
$$

$$
\text{minimality transport constraints}
$$

的高度結構化 failure state。

---

# 110. 最短版本

如果只保留一句話：

> **RG-SCP 第一階段沒有證明哥德巴赫，而是把「反例若存在」壓成一組可形式化的需求—容量約束；下一步不應再增加漂亮重寫，而應直接測能否證明某個 demand lower bound 嚴格超過 obstruction capacity upper bound。**

核心研究閘門：

$$
\boxed{
\text{Formal Core PASS}
}
$$

$$
\land
$$

$$
\boxed{
\text{Experimental Compression PASS}
}
$$

$$
\land
$$

$$
\boxed{
\text{Source Novelty PASS}
}
$$

$$
\Longrightarrow
$$

$$
\boxed{
\text{Phase II}
}
$$

否則：

$$
\boxed{
\text{Freeze / Source Escape}.
}
$$

---

# 附錄 A：RG-SCP 01–08 Status Matrix

| 篇次 | 主題 | Exact Core | Heuristic | Open Closure |
|---|---|---|---|---|
| 01 | 反例宇宙 | counterexample / minimality definitions | 無 | admissibility emptiness |
| 02 | 障礙覆蓋 | proper obstruction map / lpf partition | load metrics | higher-order obstruction compression |
| 03 | M6 / Wheel | self-suppression / primorial suppression | cost metrics | demand vs capacity |
| 04 | Fixed Point | dual-hole / shadow identity | gap statistics | section-incidence theorem |
| 05 | Approx / Skew | proof boundary only | 主體 | heuristic promotion |
| 06 | Demand–Capacity | $D\le I$ / exact identity / primorial demand | cutoff search | $L>U$ |
| 07 | Minimality Transport | smooth shift / matching demand | scale selection | matching > capacity |
| 08 | Synthesis | source audit / protocol | experiment planning | Phase-II gate |

---

# 附錄 B：Canonical Source Map

```text
S0  Elementary arithmetic
│
├── S1  Factor / lpf
│   ├── canonical obstruction
│   └── T_top on M6*
│
├── S2  Finite quotient / wheel
│
├── S3  Fixed-point relational organization
│
├── S4  Additive-history / minimality
│   └── smooth-shift transport
│
├── S5  External analytic counting
│   ├── prime count
│   ├── AP bounds
│   └── sieve bounds
│
├── S6  Heuristic approximation / skew
│
└── S7  Future pair-spectral / nonlocal source
```

---

# 附錄 C：Canonical Claim Labels

```yaml
claim:
  id:
  class: T | E | H | O
  statement:
  domain:
  assumptions:
  sources:
  equivalent_to_known_target:
  proof_status:
  formalization_status:
  certificate:
  falsification:
  notes:
```

---

# 附錄 D：Phase-I Experimental Directory

```text
rg-scp-phase1/
├── canonical/
│   ├── definitions.md
│   ├── theorem_ledger.yaml
│   ├── source_ledger.yaml
│   └── claim_ledger.jsonl
│
├── formal/
│   ├── core/
│   ├── interfaces/
│   └── certificates/
│
├── experiments/
│   ├── E0_identity/
│   ├── E1_branch_census/
│   ├── E2_demand/
│   ├── E3_capacity/
│   ├── E4_cutoff/
│   ├── E5_primorial/
│   ├── E6_transport/
│   ├── E7_heuristic_targets/
│   └── E8_adversarial/
│
├── data/
│   ├── exact/
│   ├── derived/
│   └── surrogate/
│
├── reports/
│   ├── formalization_report.md
│   ├── capacity_bottleneck_report.md
│   ├── transport_bottleneck_report.md
│   └── phase2_gate_report.md
│
└── manifests/
    ├── hashes.json
    ├── provenance.jsonl
    └── environment.json
```

---

# 附錄 E：Phase-II Gate Checklist

```text
[ ] Exact core formalized
[ ] No sorry / no hidden oracle
[ ] Source duplication audited
[ ] E0 identities all pass
[ ] Demand bounds measured
[ ] Capacity slack measured
[ ] Primorial branch measured
[ ] Transport matching measured
[ ] Surrogate insufficiency tested
[ ] At least one theorem-promotion candidate exists
[ ] Candidate uses a genuinely useful source
```

判定：

```text
PASS:
  open Phase II

PARTIAL:
  keep Phase I frozen, repair one bottleneck

FAIL:
  stop wheel/factor expansion
  open source-class escape instead
```

---

# 附錄 F：第一階段 Canonical Checkpoint

```yaml
series: RG-SCP
phase: I
paper: 08
version: v0.1
date: 2026-09-28

status:
  conceptual_architecture: complete
  theorem_audit: complete
  source_audit: complete
  formalization: pending
  experiments: pending
  analytic_closure: open
  goldbach_closure: open

canonical_target:
  counterexample_universe: C_G
  closure_goal: C_G_empty

core_objects:
  obstruction_map: Phi_min
  m6_defect: Delta_6
  demand: D_N_y
  incidence: I_N_y
  overlap: Omega_N_y
  transport_matching: nu_k

core_closure_shapes:
  - L_N_y > U_N_y
  - nu_k > U_N_pk
  - Hall_expansion_plus_capacity_squeeze

source_classes:
  S0: elementary
  S1: factor_lpf
  S2: finite_quotient
  S3: fixed_point_relational
  S4: additive_history_minimality
  S5: external_analytic
  S6: heuristic
  S7: future_pair_spectral_nonlocal

phase2_gate:
  formal_core_pass: false
  compression_pass: false
  source_novelty_pass: false

next_action:
  formalize_core_then_run_E0_to_E6

checkpoint_hash:
```