# 《哥德巴赫反向結構閉合綱領》02
## 哥德巴赫失敗障礙覆蓋：從質數互補失敗到最小質因子分割
### Reverse Goldbach Structural Closure Program 02
### Goldbach Failure Obstruction Cover: From Prime-Complement Failure to Least-Prime-Factor Partition

**系列名稱：** 哥德巴赫反向結構閉合綱領  
**英文名稱：** Reverse Goldbach Structural Closure Program  
**縮寫：** RG-SCP  
**篇次：** 02 / 預計 08–10  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**日期：** 2026-09-28  
**版本：** v0.1  
**性質：** 研究綱領／結構定理稿／後續 M6、Wheel、Fixed-Point 層之前置文件  
**狀態：** 非哥德巴赫猜想證明；本文建立 Goldbach failure 的精確 obstruction-cover 等價形式

---

## 摘要

《哥德巴赫反向結構閉合綱領》第一篇把二元哥德巴赫猜想的研究對象由「直接證明所有偶數皆可表示為兩質數之和」改寫為「壓縮所有可能 Goldbach failure states 的結構可容許空間」。

本文完成第一個真正的結構化步驟：

> 若某偶數 $N$ 是 Goldbach failure state，則對每一個可作為第一加數的質數 $p$，其互補數 $N-p$ 都必須是合數；因此每個 $p$ 都必須被至少一個 $N-p$ 的真質因子所阻擋。

這導致一個精確的 obstruction-cover 表示。

令：

$$
\mathbb P_N
=
\left\{
p\in\mathbb P:
2\le p\le N-2
\right\}.
$$

若 $N$ 是 Goldbach failure，則對所有 $p\in\mathbb P_N$：

$$
N-p
$$

皆為合數，因此存在質數 $r$ 使：

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

並且：

$$
r\le\sqrt{N-p}\le\sqrt{N-2}.
$$

等價地：

$$
p\equiv N\pmod r.
$$

因此可定義 obstruction class：

$$
\mathcal O_r(N)
=
\left\{
p\in\mathbb P_N:
p\equiv N\pmod r
\right\},
$$

並得到必要覆蓋：

$$
\boxed{
\mathbb P_N
\subseteq
\bigcup_{\substack{
r\in\mathbb P\\
r\le\sqrt{N-2}
}}
\mathcal O_r(N).
}
$$

本文進一步證明一個更精確的等價形式：

$$
\boxed{
F_G(N)=1
}
$$

當且僅當存在一個 total proper obstruction map：

$$
\Phi_N:
\mathbb P_N
\to
\mathbb P
$$

使所有 $p\in\mathbb P_N$ 都滿足：

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

以及：

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

若取：

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

其中 $\operatorname{lpf}$ 表示 least prime factor，則得到 canonical obstruction map，並把 prime domain 分割成互斥的 least-factor obstruction cells。

本文同時建立：

- full obstruction cover；
- reduced half-domain cover；
- least-prime-factor partition；
- obstruction depth；
- wheel-truncated residual；
- divisor-of-$N$ obstruction suppression；
- $M_6$ easy/hard branch；
- source-class audit；
- serialization schema。

核心研究轉換為：

$$
\boxed{
\text{Goldbach failure}
\Longleftrightarrow
\text{existence of a complete proper obstruction assignment}.
}
$$

這不是 Goldbach proof，但它把反例從「某個神祕偶數」壓成一個必須完整覆蓋整個 prime-complement domain 的可審核結構。

---

# 1. 從 failure state 到 obstruction obligation

定義標準二元哥德巴赫 representation count：

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

Goldbach failure predicate 為：

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

若：

$$
F_G(N)=1,
$$

則：

$$
\forall p\in\mathbb P_N,
\quad
N-p\notin\mathbb P.
$$

因為：

$$
2\le N-p\le N-2,
$$

所以 $N-p$ 不是 $1$ 或 $0$。

因此：

$$
\boxed{
\forall p\in\mathbb P_N,
\quad
N-p
\text{ 必為合數}.
}
$$

這是本文所有 obstruction 結構的起點。

---

# 2. 真質因子義務

對任意合數 $m\ge4$，存在質數 $r$ 使：

$$
r\mid m
$$

且：

$$
r\le\sqrt m.
$$

因此若：

$$
F_G(N)=1,
$$

則對任意：

$$
p\in\mathbb P_N,
$$

存在質數 $r$ 使：

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

以及：

$$
r\le\sqrt{N-p}.
$$

所以：

$$
r\le\sqrt{N-2}.
$$

這表示任何 Goldbach failure 都產生一個有限的 obstruction-prime universe：

$$
\mathcal R_N
=
\left\{
r\in\mathbb P:
r\le\sqrt{N-2}
\right\}.
$$

---

# 3. Congruence obstruction

由：

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

立即得到：

$$
N-p\equiv0\pmod r,
$$

所以：

$$
\boxed{
p\equiv N\pmod r.
}
$$

因此每一個 complement-factor obstruction 都可以投影成一個 residue obstruction。

定義：

$$
\mathcal O_r(N)
=
\left\{
p\in\mathbb P_N:
r\mid(N-p)
\right\}.
$$

等價地：

$$
\mathcal O_r(N)
=
\left\{
p\in\mathbb P_N:
p\equiv N\pmod r
\right\}.
$$

所以 obstruction 並不是任意貼在 prime 上的標籤。

它必須與 $N$ 共享同一個 residue relation。

---

# 4. Goldbach Failure Obstruction Cover

若：

$$
F_G(N)=1,
$$

則每個：

$$
p\in\mathbb P_N
$$

至少屬於一個：

$$
\mathcal O_r(N),
$$

其中：

$$
r\in\mathcal R_N.
$$

因此：

$$
\boxed{
\mathbb P_N
\subseteq
\bigcup_{r\in\mathcal R_N}
\mathcal O_r(N).
}
$$

稱此為：

# Goldbach Failure Obstruction Cover

縮寫：

$$
\boxed{
\operatorname{GFOC}(N).
}
$$

這個 cover 是 Goldbach failure 的必要條件。

---

# 5. 為什麼只是 cover 還不夠

一個 complement：

$$
N-p
$$

可能有多個不同質因子。

例如：

$$
N-p
=
r_1r_2r_3.
$$

則同一個 $p$ 同時屬於：

$$
\mathcal O_{r_1}(N),
\quad
\mathcal O_{r_2}(N),
\quad
\mathcal O_{r_3}(N).
$$

所以 raw GFOC 是高度重疊的。

如果後續要研究：

- cover cost；
- obstruction depth；
- branch load；
- serialization；
- source provenance；

就需要一個 canonical assignment。

---

# 6. Least Prime Factor

對合數 $m$，定義：

$$
\operatorname{lpf}(m)
=
\min
\left\{
r\in\mathbb P:
r\mid m
\right\}.
$$

若 $m$ 為合數，則：

$$
\operatorname{lpf}(m)
\le
\sqrt m.
$$

因此若：

$$
F_G(N)=1,
$$

可對每個：

$$
p\in\mathbb P_N
$$

定義：

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

這稱為：

# Canonical Least-Factor Obstruction Map

---

# 7. Total Proper Obstruction Map

更一般地，定義一個 map：

$$
\Phi_N:
\mathbb P_N
\to
\mathbb P.
$$

若對所有 $p\in\mathbb P_N$ 都滿足：

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

以及：

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

則稱：

$$
\Phi_N
$$

為一個 **total proper obstruction map**。

「proper」的重要性在於：

若：

$$
N-p
$$

本身是質數，唯一質因子就是：

$$
N-p,
$$

而它不滿足：

$$
N-p
\le
\sqrt{N-p}
$$

除非落入不存在的平凡小值。

因此 proper-factor bound 自動排除「用 complement 本身冒充 obstruction」的情況。

---

# 8. Obstruction Map Characterization Theorem

## 定理 RG-SCP-02.1

對偶數：

$$
N\ge4,
$$

以下兩件事等價：

### A

$$
F_G(N)=1.
$$

### B

存在 total proper obstruction map：

$$
\Phi_N:
\mathbb P_N
\to
\mathbb P
$$

使對所有：

$$
p\in\mathbb P_N
$$

都有：

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

且：

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

---

## 證明

### A 推 B

假設：

$$
F_G(N)=1.
$$

則對所有：

$$
p\in\mathbb P_N,
$$

都有：

$$
N-p
$$

為合數。

所以：

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

存在，且：

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

令：

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

即可得到 total proper obstruction map。

### B 推 A

反過來，假設存在這樣的：

$$
\Phi_N.
$$

則對所有：

$$
p\in\mathbb P_N,
$$

都有質數：

$$
\Phi_N(p)
$$

使：

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

且：

$$
1<
\Phi_N(p)
<
N-p.
$$

因此：

$$
N-p
$$

必為合數。

所以不存在：

$$
p\in\mathbb P_N
$$

使：

$$
N-p\in\mathbb P.
$$

故：

$$
R_G(N)=0.
$$

因此：

$$
F_G(N)=1.
$$

證畢。

---

# 9. 這個等價形式的意義

哥德巴赫猜想可重新寫成：

$$
\boxed{
\forall N\ge4,
\quad
N\equiv0\pmod2
\Longrightarrow
\text{不存在 total proper obstruction map } \Phi_N.
}
$$

因此 Goldbach 問題出現一個全新的反向入口：

> 不直接尋找 prime pair，而研究是否可能對所有 prime inputs 完成一個 proper factor obstruction assignment。

也就是：

$$
\text{Prime Pair Existence}
$$

被轉成：

$$
\text{Complete Obstruction Assignment Impossibility}.
$$

---

# 10. Canonical Obstruction Partition

利用：

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

對每個：

$$
r\in\mathcal R_N
$$

定義：

$$
\mathcal O_r^{\min}(N)
=
\left\{
p\in\mathbb P_N:
\Phi_N^{\min}(p)=r
\right\}.
$$

由 least prime factor 的唯一性：

$$
\mathcal O_r^{\min}(N)
\cap
\mathcal O_s^{\min}(N)
=
\varnothing
$$

對：

$$
r\neq s.
$$

而若：

$$
F_G(N)=1,
$$

則：

$$
\boxed{
\mathbb P_N
=
\bigsqcup_{r\in\mathcal R_N}
\mathcal O_r^{\min}(N).
}
$$

因此 raw cover 被提升為一個 canonical partition。

---

# 11. Obstruction Coloring

可把：

$$
\Phi_N^{\min}
$$

視為對 prime domain 的著色：

$$
p
\mapsto
r.
$$

其中顏色 $r$ 表示：

> $N-p$ 被哪一個最小質因子首先證明為 composite。

因此 hypothetical Goldbach counterexample 必須產生一個完整 coloring：

$$
\boxed{
\mathbb P_N
\to
\mathcal R_N.
}
$$

而且這個 coloring 不是任意的。

每個顏色 $r$ 必須滿足：

$$
p\equiv N\pmod r.
$$

所以這是一個：

$$
\boxed{
\text{congruence-constrained prime coloring}.
}
$$

---

# 12. Reduced Half-Domain

完整的：

$$
\mathbb P_N
$$

包含互補對的兩側。

若：

$$
p+q=N,
$$

則至少有一個：

$$
p\le\frac N2.
$$

因此可定義 reduced prime domain：

$$
\mathbb P_N^{-}
=
\left\{
p\in\mathbb P:
2\le p\le\frac N2
\right\}.
$$

則：

$$
F_G(N)=1
$$

等價於：

$$
\forall p\in\mathbb P_N^{-},
\quad
N-p
\notin\mathbb P.
$$

因此所有 obstruction theorem 都可以只在：

$$
\mathbb P_N^{-}
$$

上建立。

這使 proof obligation 約減少一半，同時不改變命題語義。

---

# 13. Reduced Obstruction Characterization

定義：

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

若：

$$
\Phi_N^{-}(p)\mid(N-p)
$$

且：

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

對所有：

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

成立，則：

$$
F_G(N)=1.
$$

反之亦然。

所以：

$$
\boxed{
F_G(N)=1
\Longleftrightarrow
\exists
\text{ total proper reduced obstruction map}.
}
$$

後續實驗與形式化可優先使用 reduced domain。

---

# 14. Obstruction Load

對 canonical partition，定義每個 obstruction prime 的 load：

$$
L_r(N)
=
\left|
\mathcal O_r^{\min}(N)
\right|.
$$

若：

$$
F_G(N)=1,
$$

則：

$$
\sum_{r\in\mathcal R_N}
L_r(N)
=
|\mathbb P_N|.
$$

在 reduced domain 中：

$$
\sum_{r\in\mathcal R_N}
L_r^{-}(N)
=
|\mathbb P_N^{-}|.
$$

這使 counterexample 可以被表示成一個 obstruction-load spectrum：

$$
\boxed{
\mathcal L_N
=
\left(
L_2(N),
L_3(N),
L_5(N),
L_7(N),
\ldots
\right).
}
$$

---

# 15. Obstruction Depth

定義 canonical obstruction depth：

$$
D_G(N)
=
\max_{p\in\mathbb P_N^{-}}
\Phi_N^{\min}(p).
$$

若：

$$
F_G(N)=1,
$$

則：

$$
D_G(N)
\le
\sqrt{N-2}.
$$

$D_G(N)$ 表示：

> 為了證明所有 reduced prime complements 都是 composite，最深需要走到多大的 least prime factor。

如果：

$$
D_G(N)
$$

接近：

$$
\sqrt N,
$$

表示 obstruction cover 幾乎需要走到完整 trial-factor depth。

如果：

$$
D_G(N)
$$

遠小於：

$$
\sqrt N,
$$

則表示 failure state 在很淺的 factor scale 就已經完成全覆蓋。

這是後續區分「真正結構壓縮」與「窮舉式封鎖」的重要量。

---

# 16. Primorial Truncation

令：

$$
P(y)
=
\prod_{\substack{
r\le y\\
r\in\mathbb P
}}
r.
$$

定義 $y$-level obstruction-covered prime set：

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

以及 residual survivor set：

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

因此：

$$
\mathbb P_N^{-}
=
\mathbb P_N^{\mathrm{cov}}(y)
\bigsqcup
\mathbb P_N^{\mathrm{res}}(y).
$$

---

# 17. Truncated Cover Ratio

定義：

$$
\Theta_N(y)
=
\frac{
|\mathbb P_N^{\mathrm{cov}}(y)|
}{
|\mathbb P_N^{-}|
}.
$$

則：

$$
0\le\Theta_N(y)\le1.
$$

而：

$$
y_1\le y_2
\Longrightarrow
\Theta_N(y_1)
\le
\Theta_N(y_2).
$$

若：

$$
F_G(N)=1,
$$

則當：

$$
y\ge D_G(N)
$$

時：

$$
\Theta_N(y)=1.
$$

因此：

$$
D_G(N)
=
\min
\left\{
y:
\Theta_N(y)=1
\right\}
$$

若只允許 $y$ 取質數階層，可作相應離散化。

---

# 18. 為什麼 $\sqrt N$ closure 不算新證明壓縮

對任何 composite：

$$
m\le N,
$$

只要檢查所有：

$$
r\le\sqrt m,
$$

就能找到質因子。

因此若 Goldbach failure 已被假設，當：

$$
y\sim\sqrt N
$$

時得到完整 obstruction cover，主要只是把：

$$
\text{every complement is composite}
$$

重新翻譯成：

$$
\text{every complement has a factor below its square root}.
$$

這不是新的 proof compression。

真正值得研究的是：

> 是否存在遠小於完整 factor-search 深度的 uniform structural mechanism，可以迫使 hypothetical failure 完成 cover？

也就是尋找：

$$
y(N)\ll\sqrt N
$$

或更高階、非單純 factor-cutoff 的 closure mechanism。

---

# 19. Fixed-Period Source 警戒

若 $y$ 固定，則：

$$
P(y)
$$

是一個固定 modulus。

對：

$$
\gcd(N-p,P(y))
$$

的觀察仍屬於 finite fixed-period source。

因此依照 Prime-Surface Insufficiency line 的警告：

$$
\boxed{
\text{固定 }y
\text{ 的 wheel cover 不應被期待單獨閉合全域 Goldbach}.
}
$$

如果只是不斷：

$$
y
\to
\text{更大的固定值},
$$

那可能只是：

$$
\text{deeper exhaustive refinement}.
$$

RG-SCP 的目標不是把 wheel 做到無限深，而是判斷何時必須離開該 source class。

---

# 20. Divisor-of-$N$ Obstruction Suppression

這裡出現第一個非平凡但簡潔的結構限制。

## 定理 RG-SCP-02.2

令：

$$
r
$$

為質數且：

$$
r\mid N.
$$

若：

$$
p\in\mathbb P
$$

且：

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

則：

$$
p=r.
$$

---

## 證明

由：

$$
r\mid N
$$

以及：

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

可得：

$$
r\mid p.
$$

因 $p$ 為質數，所以：

$$
p=r.
$$

證畢。

---

# 21. Self-Suppression Principle

因此如果：

$$
r\mid N,
$$

則 obstruction class：

$$
\mathcal O_r(N)
$$

在 prime domain 中最多只能覆蓋：

$$
p=r.
$$

也就是：

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

這表示：

> $N$ 自己含有某個小質因子，反而會讓該質因子失去覆蓋其他 prime inputs 的能力。

我們稱此為：

# Obstruction Self-Suppression

---

# 22. Self-Suppression 的直觀意義

若 hypothetical counterexample $N$ 含有許多小質因子：

$$
2,3,5,\ldots,
$$

那麼這些小質因子對大多數：

$$
p\in\mathbb P_N
$$

都不能作為：

$$
N-p
$$

的 obstruction factor。

因此：

$$
N
$$

越具有 small-prime smoothness，可能越需要把 obstruction burden 推向更大的質因子。

這不是 Goldbach proof。

但它提供一個新的可測壓力：

$$
\boxed{
\text{small factors of }N
\quad\text{vs.}\quad
\text{available small obstruction channels}.
}
$$

---

# 23. Prime Divisor Suppression Set

定義：

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

則對：

$$
p\in\mathbb P_N
\setminus
\mathcal D(N),
$$

任何 canonical obstruction：

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

都不能屬於：

$$
\mathcal D(N).
$$

因此：

$$
\boxed{
p\notin\mathcal D(N)
\Longrightarrow
\Phi_N^{\min}(p)
\notin\mathcal D(N).
}
$$

這可作為 obstruction-coloring 的 forbidden-color rule。

---

# 24. $r=2$ 的特殊地位

因 $N$ 為偶數。

對任何奇質數：

$$
p>2,
$$

都有：

$$
N-p
$$

為奇數。

因此：

$$
2\nmid(N-p).
$$

所以：

$$
\Phi_N^{\min}(p)\neq2.
$$

唯一可能使用 obstruction color $2$ 的 prime input 是：

$$
p=2.
$$

若：

$$
F_G(N)=1,
$$

則：

$$
N-2
$$

必為 composite。

由 $N$ 偶：

$$
N-2
$$

亦為偶數。

因此：

$$
\Phi_N^{\min}(2)=2.
$$

所以：

$$
\boxed{
\mathcal O_2^{\min}(N)=\{2\}
}
$$

對 hypothetical Goldbach failure 成立。

這是 canonical obstruction partition 的第一個完全固定 cell。

---

# 25. $r=3$ 的分支行為

對：

$$
p>3,
$$

prime 必滿足：

$$
p\equiv1
\quad\text{或}\quad
5
\pmod6.
$$

而 $N$ 為偶數，因此：

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

考慮：

$$
N-p\bmod6.
$$

可以得到三種不同的 obstruction geometry。

---

# 26. $N\equiv0\pmod6$

若：

$$
N\equiv0\pmod6,
$$

則：

$$
p\equiv1\pmod6
\Longrightarrow
N-p\equiv5\pmod6,
$$

以及：

$$
p\equiv5\pmod6
\Longrightarrow
N-p\equiv1\pmod6.
$$

所以對：

$$
p>3,
$$

所有 complement 都滿足：

$$
N-p\equiv\pm1\pmod6.
$$

因此：

$$
2\nmid(N-p),
$$

且：

$$
3\nmid(N-p).
$$

故任何 composite complement 的 least prime factor 必滿足：

$$
\boxed{
\Phi_N^{\min}(p)\ge5.
}
$$

這是 $N\equiv0\pmod6$ failure state 的第一個 hard-obstruction condition。

---

# 27. $N\equiv2\pmod6$

若：

$$
N\equiv2\pmod6,
$$

則：

$$
p\equiv1\pmod6
\Longrightarrow
N-p\equiv1\pmod6,
$$

而：

$$
p\equiv5\pmod6
\Longrightarrow
N-p\equiv3\pmod6.
$$

因此第二支：

$$
p\equiv5\pmod6
$$

會自動落入：

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

除非：

$$
N-p=3,
$$

但該情況會直接形成 Goldbach representation，與 failure 假設衝突。

所以在 failure state 中，這一支可以被 $r=3$ obstruction 大量吸收。

相對地：

$$
p\equiv1\pmod6
$$

形成 hard branch。

---

# 28. $N\equiv4\pmod6$

若：

$$
N\equiv4\pmod6,
$$

則：

$$
p\equiv1\pmod6
\Longrightarrow
N-p\equiv3\pmod6,
$$

而：

$$
p\equiv5\pmod6
\Longrightarrow
N-p\equiv5\pmod6.
$$

因此：

$$
p\equiv1\pmod6
$$

形成 $r=3$ easy branch，

而：

$$
p\equiv5\pmod6
$$

形成 hard branch。

---

# 29. M6 Easy / Hard Branch Table

對：

$$
p>3,
$$

可整理為：

| $N\bmod6$ | $p\bmod6=1$ | $p\bmod6=5$ |
|---|---|---|
| $0$ | hard，$N-p\equiv5$ | hard，$N-p\equiv1$ |
| $2$ | hard，$N-p\equiv1$ | easy，$3\mid(N-p)$ |
| $4$ | easy，$3\mid(N-p)$ | hard，$N-p\equiv5$ |

其中：

- easy 表示有直接 $r=3$ obstruction；
- hard 表示 complement 已逃離 $2$ 與 $3$，若仍 composite，則最小質因子至少為 $5$。

這不是 Goldbach 的證明。

它只是把 obstruction burden 在 $M_6$ 上第一次分流。

---

# 30. M6 Hard Branch Set

定義：

$$
\mathbb H_6(N)
=
\left\{
p\in\mathbb P_N^{-}:
p>3,
\quad
\gcd(N-p,6)=1
\right\}.
$$

對：

$$
p\in\mathbb H_6(N),
$$

若：

$$
F_G(N)=1,
$$

則：

$$
\Phi_N^{\min}(p)\ge5.
$$

所以後續 M6 fixed-point line 真正需要研究的不是 easy branch，而是：

$$
\boxed{
\mathbb H_6(N).
}
$$

---

# 31. 從 M6 推廣到 Wheel Hard Branch

令：

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

為第 $k$ 層 primorial。

定義：

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

若：

$$
p\in\mathbb H_{M_k}(N)
$$

且：

$$
F_G(N)=1,
$$

則：

$$
\Phi_N^{\min}(p)>p_k.
$$

因此 wheel refinement 可被重新解釋成：

> 把仍未被 small-prime obstruction 吸收的 prime inputs 推入更深的 hard branch。

---

# 32. Wheel Residual 與 Prime-Surface Insufficiency

當：

$$
k
$$

增加時：

$$
\mathbb H_{M_{k+1}}(N)
\subseteq
\mathbb H_{M_k}(N).
$$

但是如果研究只是不斷加入：

$$
p_{k+1},
$$

直到所有 complement 都被某個質因子捕捉，那只是：

$$
\boxed{
\text{factor-by-factor exhaustion}.
}
$$

因此後續必須追蹤：

$$
\operatorname{CompressionGain}(k)
$$

以及：

$$
\operatorname{SourceNovelty}(k).
$$

如果新 wheel level 只是新增一個 divisibility test，就不能把它描述成新的 global mechanism。

---

# 33. Obstruction Coverage Function

定義：

$$
C_N(y)
=
\left|
\mathbb P_N^{\mathrm{cov}}(y)
\right|.
$$

以及 residual：

$$
R_N(y)
=
\left|
\mathbb P_N^{\mathrm{res}}(y)
\right|.
$$

有：

$$
C_N(y)+R_N(y)
=
|\mathbb P_N^{-}|.
$$

若：

$$
F_G(N)=1,
$$

則：

$$
R_N(D_G(N))=0.
$$

後續可研究：

$$
R_N(3),
\quad
R_N(5),
\quad
R_N(7),
\quad
R_N(11),
\ldots
$$

如何衰減。

但這些曲線首先是 diagnostic，不是 proof。

---

# 34. Obstruction Entropy

為比較不同 hypothetical failure states 的 obstruction 分布，可定義 normalized load：

$$
\pi_r(N)
=
\frac{
L_r^{-}(N)
}{
|\mathbb P_N^{-}|
}.
$$

若：

$$
F_G(N)=1,
$$

則：

$$
\sum_r\pi_r(N)=1.
$$

定義 obstruction entropy：

$$
H_{\mathrm{obs}}(N)
=
-
\sum_r
\pi_r(N)\log\pi_r(N).
$$

此量可用來區分：

- 少數小因子高度集中覆蓋；
- obstruction burden 分散到許多較大因子。

但：

$$
H_{\mathrm{obs}}
$$

只是一個分析量。

它本身不提供 Goldbach proof。

---

# 35. Obstruction Energy

也可定義帶深度成本的量：

$$
E_{\mathrm{obs}}^{(\alpha)}(N)
=
\sum_{p\in\mathbb P_N^{-}}
\left(
\Phi_N^{\min}(p)
\right)^\alpha,
$$

其中：

$$
\alpha>0.
$$

若 obstruction 被迫使用更大的 least prime factors，則：

$$
E_{\mathrm{obs}}^{(\alpha)}(N)
$$

上升。

這可用來研究：

> 某些 residue / divisor structures 是否會迫使 hypothetical counterexample 支付更高 obstruction cost。

同樣，這是 discovery metric，不是 theorem 本身。

---

# 36. Canonical Failure Certificate

若真的發現某個：

$$
N
$$

滿足：

$$
F_G(N)=1,
$$

則最自然的 finite certificate 之一就是：

$$
\Phi_N^{\min}.
$$

也就是對所有：

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

提供：

$$
r_p
=
\operatorname{lpf}(N-p),
$$

並驗證：

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

$$
r_p\le\sqrt{N-p}.
$$

因此一個 candidate Goldbach counterexample 應附：

```text
N
prime-domain bound
p list or reproducible prime generator
complement N-p
least prime factor r_p
divisibility witness
coverage completeness
hash
independent verifier
```

這避免把「搜尋程式說沒有 representation」當作唯一證據。

---

# 37. Canonical Obstruction State

對 hypothetical failure state $N$，定義：

$$
\mathfrak O_N
=
(
N,
\mathbb P_N^{-},
\Phi_N^{\min},
\mathcal L_N,
D_G(N),
\Theta_N,
\mathcal D(N),
\mathbb H_6(N),
\Pi_N,
C_N
).
$$

其中：

- $N$：候選 failure state；
- $\mathbb P_N^{-}$：reduced prime domain；
- $\Phi_N^{\min}$：canonical obstruction map；
- $\mathcal L_N$：obstruction-load spectrum；
- $D_G(N)$：obstruction depth；
- $\Theta_N$：truncated cover curve；
- $\mathcal D(N)$：prime divisors of $N$；
- $\mathbb H_6(N)$：M6 hard branch；
- $\Pi_N$：provenance；
- $C_N$：certificates。

---

# 38. Serialization Schema

可保存為：

```yaml
goldbach_obstruction_state:
  version:
  N:
  domain:
    prime_lower_bound:
    prime_upper_bound:
    reduced_domain: true
  failure_status:
  obstruction_map:
    canonical: least_prime_factor
  obstruction_cells:
  obstruction_loads:
  obstruction_depth:
  primorial_cutoffs:
  covered_counts:
  residual_counts:
  divisor_suppression_set:
  m6:
    residue_of_N:
    easy_branch:
    hard_branch:
  wheel_hard_branches:
  proof_constraints:
  heuristic_metrics:
  certificates:
  provenance:
  checkpoint_hash:
```

這讓 RG-SCP 可逐層延伸，而不是每一輪重新建立 prime/complement 分析。

---

# 39. 研究中的三種 cover

為避免術語混淆，本文區分：

## 39.1 Raw Factor Cover

$$
\mathbb P_N
\subseteq
\bigcup_r
\mathcal O_r(N).
$$

可重疊。

## 39.2 Canonical Least-Factor Partition

$$
\mathbb P_N
=
\bigsqcup_r
\mathcal O_r^{\min}(N).
$$

互斥。

## 39.3 Truncated Wheel Cover

只允許：

$$
r\le y.
$$

得到：

$$
\mathbb P_N^{\mathrm{cov}}(y).
$$

它一般只覆蓋部分 prime domain。

三者不能互相混用。

---

# 40. 研究中的三種「閉合」

同樣區分：

## 40.1 Finite-factor closure

對固定 $N$，一路檢查到：

$$
\sqrt N.
$$

這是 finite verification。

## 40.2 Structural closure

由某有限或統一結構直接推出：

$$
R_N(y)=0
$$

或其他等價 impossibility，而不是逐項 trial division。

## 40.3 Global Goldbach closure

證明：

$$
\forall N\ge4,
\quad
F_G(N)=0.
$$

只有第三種才是完整 Goldbach proof。

---

# 41. 反例存在成本的第一個量化版本

第一篇提出：

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

本文現在可以給第一個明確版本。

若：

$$
F_G(N)=1,
$$

則它至少必須支付：

### C1

對所有：

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

提供 composite complement。

### C2

對所有 complement 提供 proper prime factor。

### C3

所有 obstruction factor 必須服從：

$$
p\equiv N\pmod r.
$$

### C4

若：

$$
r\mid N,
$$

則 $r$ 幾乎不能覆蓋其他 prime inputs。

### C5

所有 M6 hard branch inputs 必須使用：

$$
r\ge5.
$$

### C6

所有 deeper wheel hard branch inputs 必須使用更大的 factor。

這使「不存在 prime pair」不再是一句單一否定，而是一組大規模同步義務。

---

# 42. 不能把 coverage 本身誤當 proof

需要特別警告：

對一個已知 composite complement，

找到：

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

只是證明它 composite。

如果我們對所有：

$$
p
$$

逐一完成這件事，那是在驗證某個固定 $N$。

它並沒有解決：

$$
\forall N.
$$

所以：

$$
\boxed{
\text{Complete cover for one }N
\neq
\text{Goldbach theorem}.
}
$$

即使對非常大的有限區間完成：

$$
\forall N\le B,
$$

仍然只得到 finite verification。

---

# 43. 真正值得追的結構問題

Obstruction cover 建立後，下一層真正有價值的問題包括：

1. 某些 $N\bmod M_k$ 是否會強迫 hard branch 過大？
2. divisor self-suppression 是否能與 prime density 形成 incompatibility？
3. obstruction load 是否存在必要 lower bound？
4. hard branch 是否能被 fixed-point transport？
5. 是否存在不能由有限 wheel 解釋的 residual fiber？
6. 某些 obstruction coloring 是否根本不能由一個單一 $N$ 實現？
7. 是否能由最小 counterexample $N_*$ 導出更小 failure state？
8. 是否存在 source-class escape，把 factor cover 改寫成更高階 invariant？

這些才是 RG-SCP 後續的主要研究方向。

---

# 44. 與 M6 Fixed-Point Line 的接口

先前 M6 line 的核心不是：

$$
6k\pm1
$$

本身，而是把 prime candidate sector 與 fixed-point predicate 分離。

在 RG-SCP 中可進一步定義：

$$
\mathbb H_6^{\mathrm{fix}}(N)
=
\left\{
p\in
\operatorname{Fix}(T_6):
p\le\frac N2,
\quad
\gcd(N-p,6)=1
\right\}.
$$

若：

$$
F_G(N)=1,
$$

則對每個：

$$
p\in
\mathbb H_6^{\mathrm{fix}}(N)
$$

都必須存在：

$$
r\ge5
$$

使：

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

因此下一階段可以研究：

$$
\boxed{
\text{fixed-point fiber}
\to
\text{hard obstruction cover}.
}
$$

---

# 45. 與 Prime-Surface Insufficiency 的接口

本文的 obstruction cover 大量使用：

- divisibility；
- residues；
- wheel；
- least factors。

這些仍然非常接近 prime surface / factor surface。

所以本文自身也必須接受 source audit。

如果未來所有 progress 都只是：

$$
2
\to
3
\to
5
\to
7
\to
11
\to
\cdots
$$

逐一增加質因子，那麼 RG-SCP 並沒有得到新的 proof mechanism。

真正的 progress 應該出現：

$$
\boxed{
\text{many obstruction obligations}
\to
\text{one higher-order structural constraint}.
}
$$

這是後續 source-class escape 的判定標準之一。

---

# 46. 第一個 Compression Target

因此本文提出第一個明確 compression target：

給定 hypothetical failure state $N$，尋找某個結構：

$$
\mathcal I(N)
$$

使得大量獨立的：

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

obligations 可以被統一寫成：

$$
\mathcal I(N)=0
$$

或：

$$
\mathcal I(N)\in\mathcal Z
$$

之類的有限高階條件。

如果這種：

$$
\mathcal I
$$

存在，且它不是原 obstruction list 的平凡重編碼，才算真正的 source compression。

---

# 47. 第二個 Compression Target

對 canonical obstruction map：

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

尋找其不可任意性的證明。

例如證明：

$$
\Phi_N^{\min}
$$

必須同時滿足：

- residue coherence；
- load balance；
- divisor suppression；
- M6 hard-branch lower bounds；
- cross-wheel compatibility；
- minimal-counterexample compatibility。

若這些限制彼此不相容，就可能逐步壓縮：

$$
\mathcal A_k.
$$

---

# 48. 本文的核心定理群

本文目前真正站得住的核心結果包括：

## T1

Goldbach failure 等價於 total proper obstruction map 的存在。

$$
F_G(N)=1
\Longleftrightarrow
\exists\Phi_N.
$$

## T2

canonical least-factor obstruction map 在 failure state 下存在且唯一。

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

## T3

canonical obstruction cells 對 prime domain 形成 partition。

$$
\mathbb P_N
=
\bigsqcup_r
\mathcal O_r^{\min}(N).
$$

## T4

若：

$$
r\mid N,
$$

則：

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

## T5

對：

$$
N\equiv0\pmod6
$$

與：

$$
p>3,
$$

failure state 中所有 complement 的 least prime factor至少為：

$$
5.
$$

這些結果本身不證 Goldbach，但為下一輪 fixed-point / wheel / obstruction burden 研究提供 exact interfaces。

---

# 49. 可證偽條件

本篇提出的研究價值也必須可失敗。

### F1

Obstruction map 除了重新表述 compositeness 外，無法帶來任何新的 cross-$p$ constraints。

### F2

Obstruction load spectrum 對不同 $N$ 沒有穩定結構。

### F3

Divisor self-suppression 無法轉化成任何 global pressure。

### F4

M6 hard branch 無法比標準 wheel filtering 提供額外 proof compression。

### F5

所有 higher-order invariants 最終都只是完整 factorization 的 deterministic readout。

若這些情況持續發生，則 RG-SCP 應停止在 factor-surface 上擴張，轉入 source-class escape。

---

# 50. 下一篇接口

本篇已把 Goldbach failure 改寫成：

$$
\boxed{
\text{complete proper obstruction assignment}.
}
$$

下一篇的自然問題是：

> 在 M6 與一般 wheel quotient 下，這個 obstruction assignment 的 burden 如何被分裂成 easy branch 與 hard branch？而一個 hypothetical counterexample 是否會因為自己的 residue / divisor structure 而逐步失去可用的 small-factor channels？

因此下一篇將進入：

# RG-SCP 03
## M6／Wheel 障礙幾何與反例覆蓋成本
### M6/Wheel Obstruction Geometry and Counterexample Coverage Cost

核心對象將包括：

$$
\mathbb H_6(N),
$$

$$
\mathbb H_{M_k}(N),
$$

$$
L_r(N),
$$

$$
D_G(N),
$$

以及：

$$
\operatorname{SelfSuppression}(N).
$$

目標是第一次真正比較不同 hypothetical failure states 的「存在成本」。

---

# 51. 結論

本文把第一篇的抽象：

$$
\text{counterexample admissibility}
$$

推進成一個精確的 factor-obstruction 結構。

一個 Goldbach counterexample $N$ 若要存在，不能只做到：

> 沒有找到兩個質數。

它必須做到：

$$
\forall p\in\mathbb P_N^{-},
\quad
N-p
\text{ 都是 composite}.
$$

等價地，它必須提供一個完整的 proper obstruction map：

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

使：

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

以及：

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

因此：

$$
\boxed{
\text{Goldbach failure}
=
\text{complete prime-indexed obstruction system}.
}
$$

而 canonical least-factor map：

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

使這個 obstruction system 可以被：

- 分割；
- 計數；
- 排序；
- 序列化；
- 投影到 M6；
- 推廣到 wheel；
- 接到 fixed-point；
- 接受 source-class audit。

最重要的是，本文第一次讓「反例的存在成本」變成可計算與可證明的結構：

$$
\boxed{
\text{counterexample}
\Longrightarrow
\text{obstruction cover}
\Longrightarrow
\text{obstruction partition}
\Longrightarrow
\text{coverage burden}.
}
$$

這就是 RG-SCP 從「反向思考」正式進入「反向結構閉合」的第一步。

---

# 52. 最短版本

如果只保留一句話：

> **若哥德巴赫反例存在，它必須為每一個候選質數 $p$ 都提供一個真質因子來阻擋 $N-p$ 成為質數；因此反例等價於一個覆蓋整個 prime-complement domain 的 proper obstruction system。**

形式上：

$$
\boxed{
F_G(N)=1
\Longleftrightarrow
\exists\Phi_N
\text{ such that }
\forall p\in\mathbb P_N^{-},
\quad
\Phi_N(p)\mid(N-p),
\quad
\Phi_N(p)\le\sqrt{N-p}.
}
$$

而下一步，不是繼續逐一找更多因子，而是研究：

$$
\boxed{
\text{這個完整 obstruction system 到底能不能以有限高階結構合法存在。}
}
$$