# RG-SCP Validation Round 04
## RG-SCP 04 Claim / Source Audit
### 《固定點纖維、陰影缺口與 Goldbach 反例排斥》的同源性、雙通道分解、纖維修正與 Shadow Gap 強化

**驗證系列：** RG-SCP Validation  
**驗證階段：** V0 — Claim / Source Audit  
**輪次：** 04  
**對應原稿：** RG-SCP 04《固定點纖維、陰影缺口與 Goldbach 反例排斥》v0.1  
**日期：** 2026-09-28  
**版本：** v0.1  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**性質：** Canonical Audit / Theorem-Source Ledger  
**狀態：** 第四輪審計；不宣稱新的 Goldbach 全域證明

---

## 摘要

本文件對 RG-SCP 04《固定點纖維、陰影缺口與 Goldbach 反例排斥》進行 claim/source audit。

本輪檢查：

1. $T_{\mathrm{top}}$ 與 $\operatorname{lpf}$ 是否同源；
2. $M6^*$ additive candidate domain 是否真的對所有偶數 $N\ge10$ 非空；
3. M6 multiplicative fiber 的 multiplier 表示是否雙向正確；
4. two-channel Goldbach decomposition 是否在所有邊界成立；
5. $\Delta_6$、shadow set、shadow gap 的 exact status；
6. naive fixed-point descent no-go 是否成立；
7. fixed-point language 是否增加新的 arithmetic source；
8. $6\mid N$ branch 是否真的使 standard failure 與 M6 section hole完全等價。

本輪得到四個重要結果。

第一，確認：

$$
\boxed{
n\in M6^*
\Longrightarrow
T_{\mathrm{top}}(n)
=
\operatorname{lpf}(n).
}
$$

因此：

$$
T_{\mathrm{top}},
\quad
\operatorname{lpf},
\quad
\Phi_N^{\min}
$$

在 M6 hard branch屬於同一個 factor source：

$$
\boxed{
\mathcal S_1.
}
$$

fixed-point language沒有新增 elementwise primality information。

第二，原稿對 fiber multiplier 的描述需要 canonical correction。

原稿正確地證明：

$$
n\in F_p
\Longrightarrow
n=pu,
\quad
u\in U_6.
$$

但反方向：

$$
u\in U_6
\Longrightarrow
pu\in F_p
$$

不成立。

例如：

$$
35
=
7\cdot5,
$$

但：

$$
T_{\mathrm{top}}(35)=5,
$$

所以：

$$
35\notin F_7.
$$

正確的 fiber multiplier set 應定義：

$$
\boxed{
U_p
=
\left\{
u\in\mathbb N:
\gcd(u,6)=1,
\quad
\forall r\in\mathbb P,
\ r\mid u
\Rightarrow
r\ge p
\right\}.
}
$$

其中 $u=1$ vacuously allowed。

則：

$$
\boxed{
F_p
=
\left\{
pu:
u\in U_p
\right\}.
}
$$

因此原稿的 inflation cone：

$$
\mathcal I_{p,q}
=
\left\{
pu+qv:
u,v\in U_6
\right\}
$$

應改成 exact fiber cone：

$$
\boxed{
\mathcal I_{p,q}^{\mathrm{fib}}
=
\left\{
pu+qv:
u\in U_p,
\quad
v\in U_q
\right\}.
}
$$

第三，two-channel decomposition完全成立，而且可強化成 reduced representation count identity。

定義：

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

以及：

$$
R_6^{-}(N)
=
\#\left\{
p\in P^*:
p\le N/2,
\quad
N-p\in P^*
\right\}.
$$

對偶數：

$$
N\ge10,
$$

質數 $2$ 通道不可能出現。

所以：

$$
\boxed{
R_G^{-}(N)
=
R_6^{-}(N)
+
\mathbf1_{\mathbb P}(N-3).
}
$$

因此原稿的 positivity decomposition：

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

是正確的 exact consequence。

第四，原稿只指出：

$$
\Delta_6(N)>0
\Longrightarrow
\Delta_6(N)\ge2.
$$

本輪可以大幅強化。

$M6^*$ 中最小 composite 是：

$$
25.
$$

若：

$$
n\in M6^*
$$

為 composite，

令：

$$
p=T_{\mathrm{top}}(n)=\operatorname{lpf}(n).
$$

寫：

$$
n=pu.
$$

因 $p$ 是 least prime factor且 $n$ composite：

$$
u\ge p\ge5.
$$

所以：

$$
e_6(n)
=
n-p
=
p(u-1)
\ge
5(5-1)
=
20.
$$

因此：

$$
\boxed{
e_6(n)>0
\Longrightarrow
e_6(n)\ge20.
}
$$

進而：

$$
\boxed{
\Delta_6(N)>0
\Longrightarrow
\Delta_6(N)\ge20.
}
$$

所以 section hole 的 nearest successful shadow不是至少低 $2$，而是至少低：

$$
\boxed{
20.
}
$$

即：

$$
\boxed{
\Delta_6(N)>0
\Longrightarrow
\max\mathcal S_6(N)\le N-20.
}
$$

這是本輪最重要的 exact strengthening。

本輪 verdict：

$$
\boxed{
\mathrm{PASS\ WITH\ FIBER\ CORRECTION,\ COUNT\ STRENGTHENING,\ AND\ SHADOW\mbox{-}GAP\ STRENGTHENING}.
}
$$

---

# 1. 審計範圍

本輪只審：

# RG-SCP 04
## 《固定點纖維、陰影缺口與 Goldbach 反例排斥》

引用既有 M6 v0.2 的元素層 fixed-point theorem：

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

但不重審：

- statistical fixed point；
- ergodic fixed point；
- LOS；
- Gowers；
- RH-related interpretation。

RG-SCP 04 只真正使用：

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

---

# 2. Canonical M6 domain

定義：

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

等價於：

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

其 prime fixed-point set：

$$
\boxed{
P^*
=
\mathbb P\cap M6^*
=
\mathbb P_{>3}.
}
$$

---

# 3. $T_{\mathrm{top}}$

定義：

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

因：

$$
n\in M6^*,
$$

集合非空，至少含：

$$
n.
$$

---

# 4. $T_{\mathrm{top}}$ 的輸出一定是 prime

若：

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

不是 prime，

則存在：

$$
1<r<d
$$

prime，

且：

$$
r\mid d.
$$

由：

$$
d\mid n,
$$

得：

$$
r\mid n.
$$

又因：

$$
n\in M6^*,
$$

所有 prime divisors皆與 $6$ 互質，

所以：

$$
r\in M6^*.
$$

這與 $d$ 的最小性矛盾。

因此：

$$
\boxed{
T_{\mathrm{top}}(n)\in P^*.
}
$$

Claim class：

$$
[\mathrm T].
$$

---

# 5. $T_{\mathrm{top}}=\operatorname{lpf}$

## 定理 R04-T01

對所有：

$$
n\in M6^*,
$$

有：

$$
\boxed{
T_{\mathrm{top}}(n)
=
\operatorname{lpf}(n).
}
$$

理由：

$\operatorname{lpf}(n)$ 是 $n$ 最小 prime divisor。

又因：

$$
\gcd(n,6)=1,
$$

它不可能為：

$$
2
$$

或：

$$
3,
$$

所以：

$$
\operatorname{lpf}(n)\in M6^*.
$$

任何：

$$
d\in M6^*
$$

若：

$$
d\mid n,
$$

都含有某個 prime divisor：

$$
r\le d.
$$

故最小 M6 divisor就是最小 prime divisor。

Claim class：

$$
[\mathrm T].
$$

Source：

$$
\boxed{
\mathcal S_1.
}
$$

---

# 6. Fixed-point theorem 的 source meaning

由：

$$
T_{\mathrm{top}}=\operatorname{lpf},
$$

有：

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

當且僅當：

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

也就是：

$$
n
$$

prime。

所以：

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

exact。

但 source audit：

$$
\boxed{
\text{fixed-point predicate}
}
$$

不是新的 primality source。

它是：

$$
\boxed{
\operatorname{lpf}
\text{ source 的 fixed-point representation}.
}
$$

---

# 7. M6 multiplicative fibers

定義：

$$
\boxed{
F_p
=
\left\{
n\in M6^*:
T_{\mathrm{top}}(n)=p
\right\},
\quad
p\in P^*.
}
$$

因：

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

單值：

$$
F_p\cap F_q=\varnothing
$$

對：

$$
p\neq q.
$$

又每個：

$$
n\in M6^*
$$

有：

$$
T_{\mathrm{top}}(n)\in P^*.
$$

所以：

$$
\boxed{
M6^*
=
\bigsqcup_{p\in P^*}
F_p.
}
$$

Claim class：

$$
[\mathrm T].
$$

---

# 8. 原稿 multiplier statement 的正確方向

若：

$$
n\in F_p,
$$

因：

$$
p\mid n,
$$

可寫：

$$
n=pu.
$$

且：

$$
\gcd(n,6)=\gcd(p,6)=1
$$

推出：

$$
\gcd(u,6)=1.
$$

所以：

$$
\boxed{
n\in F_p
\Longrightarrow
n=pu,
\quad
u\in U_6.
}
$$

這個方向完全正確。

---

# 9. 反方向不成立

若只要求：

$$
u\in U_6,
$$

不能推出：

$$
pu\in F_p.
$$

反例：

$$
p=7,
\quad
u=5.
$$

則：

$$
pu=35,
$$

但：

$$
T_{\mathrm{top}}(35)=5.
$$

所以：

$$
35\in F_5,
$$

而不是：

$$
F_7.
$$

這是原稿需要修正的核心點。

---

# 10. Canonical fiber multiplier set

對：

$$
p\in P^*,
$$

定義：

$$
\boxed{
U_p
=
\left\{
u\in\mathbb N:
\gcd(u,6)=1,
\quad
\forall r\in\mathbb P,
\ r\mid u
\Rightarrow
r\ge p
\right\}.
}
$$

若：

$$
u=1,
$$

後面的條件 vacuously true。

---

# 11. Exact Fiber Multiplier Theorem

## 定理 R04-T02

對：

$$
p\in P^*,
$$

有：

$$
\boxed{
F_p
=
\left\{
pu:
u\in U_p
\right\}.
}
$$

---

## 證明：左推右

若：

$$
n\in F_p,
$$

寫：

$$
n=pu.
$$

若：

$$
u
$$

有 prime divisor：

$$
r<p,
$$

則：

$$
r\mid n.
$$

又：

$$
r>3
$$

因：

$$
u\in U_6.
$$

所以：

$$
r\in M6^*
$$

且：

$$
r<p=T_{\mathrm{top}}(n),
$$

矛盾。

所以 $u$ 的所有 prime factors皆：

$$
\ge p.
$$

---

## 證明：右推左

若：

$$
n=pu,
\quad
u\in U_p,
$$

則：

$$
p\mid n.
$$

而 $n$ 的所有 prime divisors來自：

$$
p
$$

或 $u$ 的 prime divisors。

依定義都：

$$
\ge p.
$$

所以：

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

由 R04-T01：

$$
T_{\mathrm{top}}(n)=p.
$$

故：

$$
n\in F_p.
$$

證畢。

---

# 12. Canonical Correction C01

原稿 fiber multiplier應從：

$$
u\in U_6
$$

修正為：

$$
\boxed{
u\in U_p.
}
$$

這是本輪最重要的 structural correction。

---

# 13. M6 additive candidate domain

定義：

$$
\boxed{
\mathcal A_N^{(6)}
=
\left\{
a\in M6^*:
N-a\in M6^*
\right\}.
}
$$

原稿引用既有結果：

$$
\mathcal A_N^{(6)}\neq\varnothing
$$

對所有偶數：

$$
N\ge10.
$$

本輪直接做 elementary audit。

---

# 14. Additive candidate nonemptiness theorem

## 定理 R04-T03

對所有偶數：

$$
N\ge10,
$$

有：

$$
\boxed{
\mathcal A_N^{(6)}\neq\varnothing.
}
$$

---

## Case 1

若：

$$
N\equiv0\pmod6,
$$

則：

$$
N\ge12.
$$

取：

$$
a=5.
$$

則：

$$
N-5\equiv1\pmod6
$$

且：

$$
N-5\ge7.
$$

所以：

$$
5,N-5\in M6^*.
$$

---

## Case 2

若：

$$
N\equiv2\pmod6,
$$

因：

$$
N\ge10
$$

而最小此類是：

$$
14.
$$

取：

$$
a=7.
$$

則：

$$
N-7\equiv1\pmod6
$$

且：

$$
N-7\ge7.
$$

所以：

$$
7,N-7\in M6^*.
$$

---

## Case 3

若：

$$
N\equiv4\pmod6,
$$

取：

$$
a=5.
$$

則：

$$
N-5\equiv5\pmod6
$$

且：

$$
N-5\ge5.
$$

所以：

$$
5,N-5\in M6^*.
$$

證畢。

---

# 15. Reduced additive candidate domain

可再定義：

$$
\boxed{
\mathcal A_N^{(6),-}
=
\left\{
a\in\mathcal A_N^{(6)}:
a\le N/2
\right\}.
}
$$

上述 explicit witnesses：

$$
5
$$

或：

$$
7
$$

在各 case 中都滿足：

$$
a\le N/2.
$$

所以：

$$
\boxed{
\mathcal A_N^{(6),-}\neq\varnothing
}
$$

對所有偶數：

$$
N\ge10.
$$

---

# 16. Reduced domain 可作 canonical $\Delta_6$ domain

因：

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

所以：

$$
\min_{a\in\mathcal A_N^{(6)}}
E_{6,N}(a)
=
\min_{a\in\mathcal A_N^{(6),-}}
E_{6,N}(a).
$$

因此 canonical computation可直接用 reduced candidate domain。

這是 Canonical Correction C02。

---

# 17. Fixed-point incidence set

定義：

$$
\boxed{
\mathcal Z_6(N)
=
\left\{
a\in\mathcal A_N^{(6)}:
T_{\mathrm{top}}(a)=a,
\quad
T_{\mathrm{top}}(N-a)=N-a
\right\}.
}
$$

因：

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

所以：

$$
\boxed{
\mathcal Z_6(N)\neq\varnothing
\Longleftrightarrow
N\in P^*+P^*.
}
$$

Claim class：

$$
[\mathrm E].
$$

---

# 18. Fixed-point defect

定義：

$$
\boxed{
e_6(n)
=
n-T_{\mathrm{top}}(n).
}
$$

對：

$$
n\in M6^*,
$$

有：

$$
e_6(n)\ge0.
$$

且：

$$
\boxed{
e_6(n)=0
\Longleftrightarrow
n\in P^*.
}
$$

---

# 19. Positive defect minimum

## 定理 R04-T04

若：

$$
n\in M6^*
$$

且：

$$
e_6(n)>0,
$$

則：

$$
\boxed{
e_6(n)\ge20.
}
$$

---

## 證明

$$
e_6(n)>0
$$

表示：

$$
n
$$

不是 fixed point，

故：

$$
n
$$

composite。

令：

$$
p=T_{\mathrm{top}}(n)=\operatorname{lpf}(n).
$$

寫：

$$
n=pu.
$$

因 $n$ composite且 $p$ 是 least prime factor：

$$
u\ge p.
$$

又：

$$
p\in P^*,
$$

所以：

$$
p\ge5.
$$

因此：

$$
e_6(n)
=
pu-p
=
p(u-1)
\ge
p(p-1)
\ge
5\cdot4
=
20.
$$

等號在：

$$
n=25
$$

達成。

證畢。

---

# 20. Pair energy

定義：

$$
\boxed{
E_{6,N}(a)
=
e_6(a)+e_6(N-a).
}
$$

則：

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

當且僅當：

$$
a,N-a\in P^*.
$$

Claim class：

$$
[\mathrm T/E].
$$

---

# 21. Positive pair energy gap

由 R04-T04：

若：

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

至少一項 defect positive，

所以：

$$
\boxed{
E_{6,N}(a)\ge20.
}
$$

因此 pair energy沒有：

$$
1,\ldots,19
$$

的正值。

---

# 22. Section defect

定義：

$$
\boxed{
\Delta_6(N)
=
\min_{a\in\mathcal A_N^{(6)}}
E_{6,N}(a).
}
$$

有：

$$
\boxed{
\Delta_6(N)=0
\Longleftrightarrow
N\in P^*+P^*.
}
$$

Claim class：

$$
[\mathrm E].
$$

---

# 23. Shadow-gap discreteness strengthening

由 pair-energy gap：

$$
\boxed{
\Delta_6(N)
\in
\{0\}
\cup
[20,\infty)\cap\mathbb N.
}
$$

更精確地因所有 M6 elements為 odd，

defect：

$$
e_6(n)
$$

為 even，

所以：

$$
\Delta_6(N)
$$

也是 even。

因此：

$$
\boxed{
\Delta_6(N)
\in
\{0\}
\cup
\left(
2\mathbb N\cap[20,\infty)
\right).
}
$$

---

# 24. Two-channel Goldbach count decomposition

定義 reduced standard count：

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

定義 reduced M6 section count：

$$
\boxed{
R_6^{-}(N)
=
\#\left\{
p\in P^*:
p\le N/2,
\quad
N-p\in P^*
\right\}.
}
$$

---

# 25. $2$ channel absence

對 even：

$$
N\ge10,
$$

若：

$$
p=2,
$$

則：

$$
N-p=N-2
$$

為 even 且：

$$
N-2>2.
$$

所以：

$$
N-2
$$

不是 prime。

因此：

$$
p=2
$$

永遠不貢獻：

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

---

# 26. 唯一外部 channel 是 $3$

任何 prime：

$$
p>3
$$

都屬：

$$
P^*.
$$

所以 standard reduced representation若不在 M6 section中，

唯一可能的 smaller endpoint就是：

$$
p=3.
$$

---

# 27. Count-level Two-Channel Theorem

## 定理 R04-T05

對所有 even：

$$
N\ge10,
$$

有：

$$
\boxed{
R_G^{-}(N)
=
R_6^{-}(N)
+
\mathbf1_{\mathbb P}(N-3).
}
$$

其中：

$$
\mathbf1_{\mathbb P}(N-3)
=
\begin{cases}
1,&N-3\in\mathbb P,\\
0,&\text{otherwise}.
\end{cases}
$$

這是原稿 positivity decomposition 的 count-level strengthening。

---

# 28. Positivity decomposition

由 R04-T05：

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

又：

$$
R_6^{-}(N)>0
\Longleftrightarrow
\Delta_6(N)=0.
$$

所以：

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

原稿 RG-SCP-04.1 PASS。

---

# 29. Failure dual-hole theorem

因此：

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

對 even：

$$
N\ge10.
$$

PASS。

---

# 30. Boundary bit

定義：

$$
B_3(N)
=
\mathbf1_{\{N-3\notin\mathbb P\}}.
$$

則：

$$
F_G(N)
=
H_6(N)B_3(N)
$$

在 Boolean semantics 下 exact。

但這只是 compact encoding。

Claim class：

$$
[\mathrm E].
$$

---

# 31. $6\mid N$ clean branch

若：

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

則：

$$
N-3>3
$$

且：

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

所以：

$$
N-3
$$

composite。

因此：

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

原稿 RG-SCP-04.4 PASS。

---

# 32. Count-level clean branch

更強：

對：

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

有：

$$
\boxed{
R_G^{-}(N)
=
R_6^{-}(N).
}
$$

因 boundary $3$ count為：

$$
0.
$$

所以在 $6\mathbb N$ branch，standard Goldbach reduced count完全等於 M6 section count。

這是 Strengthening S02。

---

# 33. Shadow map

定義：

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

因：

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

輸出：

$$
P^*,
$$

所以：

$$
S_N(a)\in P^*+P^*.
$$

因此每個 shadow都必為 Goldbach-success even integer。

Claim class：

$$
[\mathrm T].
$$

---

# 34. Shadow identity

由定義：

$$
e_6(a)
=
a-T_{\mathrm{top}}(a),
$$

$$
e_6(N-a)
=
N-a-T_{\mathrm{top}}(N-a),
$$

所以：

$$
\boxed{
S_N(a)
=
N-E_{6,N}(a).
}
$$

Claim class：

$$
[\mathrm T].
$$

---

# 35. Shadow set

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

因：

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

非空有限，

$$
\max\mathcal S_6(N)
$$

存在。

---

# 36. Shadow-gap theorem

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

PASS。

Claim class：

$$
[\mathrm T/E].
$$

---

# 37. Shadow gap 強化

原稿只寫：

$$
\Delta_6(N)>0
\Longrightarrow
\Delta_6(N)\ge2.
$$

由 R04-T04：

$$
\boxed{
\Delta_6(N)>0
\Longrightarrow
\Delta_6(N)\ge20.
}
$$

所以：

$$
\boxed{
\max\mathcal S_6(N)
\le
N-20.
}
$$

這是 Strengthening S03。

---

# 38. Nearest-success gap

如果：

$$
\Delta_6(N)>0,
$$

則：

$$
N-\Delta_6(N)
$$

是一個兩個 $>3$ primes 的和。

而：

$$
\Delta_6(N)\ge20.
$$

所以 section-hole state距離由其 own fixed-point shadow construction產生的最近 success state至少：

$$
20.
$$

注意：

這不是說 $N$ 距離「所有」Goldbach-success even integers至少 $20$。

只對：

$$
\mathcal S_6(N)
$$

內的自有 shadows成立。

這個語義邊界必須保留。

---

# 39. Naive descent no-go

若：

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

則：

$$
S_N(a)
$$

本身是：

$$
P^*+P^*.
$$

所以：

$$
\boxed{
F_G(S_N(a))=0.
}
$$

若：

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

則：

$$
S_N(a)<N.
$$

因此：

$$
\boxed{
\text{shadow projection}
}
$$

是：

$$
\boxed{
\text{success-preserving}
}
$$

而不是：

$$
\boxed{
\text{failure-preserving}.
}
$$

原稿 no-go PASS。

---

# 40. No-go 還可以強化

如果：

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

由 positive energy gap：

$$
E_{6,N}(a)\ge20.
$$

所以：

$$
\boxed{
S_N(a)\le N-20.
}
$$

因此任何非trivial shadow descent不是只下降至少 $2$，而是至少下降：

$$
20.
$$

---

# 41. Fiber multiplier form 修正後的 shadow identity

若：

$$
a\in F_p,
\quad
N-a\in F_q,
$$

則 canonical：

$$
a=pu,
\quad
u\in U_p,
$$

$$
N-a=qv,
\quad
v\in U_q.
$$

所以：

$$
N=pu+qv.
$$

shadow：

$$
S_N(a)=p+q.
$$

gap：

$$
\boxed{
N-S_N(a)
=
p(u-1)+q(v-1).
}
$$

exact。

---

# 42. Zero-inflation condition

因：

$$
u,v\ge1,
$$

有：

$$
p(u-1)+q(v-1)=0
$$

當且僅當：

$$
u=v=1.
$$

所以：

$$
\boxed{
\Delta_6(N)=0
}
$$

等價於存在 fiber pair的 zero-inflation representative。

PASS。

---

# 43. Exact fiber cone

定義：

$$
\boxed{
\mathcal I_{p,q}^{\mathrm{fib}}
=
\left\{
pu+qv:
u\in U_p,
\quad
v\in U_q
\right\}.
}
$$

這才是真正由：

$$
F_p\times F_q
$$

經 addition 得到的 image。

---

# 44. Fiber-cone global cover

因：

$$
M6^*
=
\bigsqcup_{p\in P^*}
F_p
$$

且所有偶數：

$$
N\ge10
$$

都可寫成兩個：

$$
M6^*
$$

元素之和，

有：

$$
\boxed{
2\mathbb N_{\ge10}
=
\bigcup_{p,q\in P^*}
\mathcal I_{p,q}^{\mathrm{fib}}.
}
$$

這是 exact。

但 union通常高度重疊，

不是 partition。

---

# 45. 原稿 inflation cone 的狀態

原稿：

$$
\mathcal I_{p,q}
=
\left\{
pu+qv:
u,v\in U_6
\right\}
$$

是：

$$
\mathcal I_{p,q}^{\mathrm{fib}}
$$

的 over-approximation。

它仍可作粗略生成 cone，

但不能叫：

$$
\boxed{
\text{exact fiber-pair image}.
}
$$

這是 Canonical Correction C03。

---

# 46. Hard-branch obstruction identity

若：

$$
p\in P^*
$$

且：

$$
N-p\in M6^*,
$$

則：

$$
T_{\mathrm{top}}(N-p)
=
\operatorname{lpf}(N-p).
$$

若再有：

$$
F_G(N)=1,
$$

則：

$$
N-p
$$

composite，

所以：

$$
\boxed{
T_{\mathrm{top}}(N-p)
=
\Phi_N^{\min}(p).
}
$$

PASS。

---

# 47. Source de-duplication

因此下列三個 elementwise objects：

$$
T_{\mathrm{top}}(N-p),
$$

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

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

在 hard failure branch上完全同值。

所以：

$$
\boxed{
\text{不得計成三個 independent sources}.
}
$$

共同 source：

$$
\mathcal S_1.
$$

---

# 48. Fixed-point relational layer真正增加什麼

雖然 elementwise source同一，

fixed-point language增加：

- multiplicative fiber partition；
- additive candidate fiber；
- section incidence；
- zero set；
- shadow map；
- pair energy；
- transport questions。

所以它屬於：

$$
\boxed{
\mathcal S_3
=
\text{relational organization layer}.
}
$$

但：

$$
\mathcal S_3
$$

不是新的 primality oracle。

---

# 49. $\Delta_6$ 是否降低了 proof burden？

單獨：

$$
\Delta_6(N)=0
$$

只是：

$$
N\in P^*+P^*.
$$

的等價重寫。

所以：

$$
\Delta_6
$$

本身沒有完成 proof compression。

真正 proof value必須來自：

- nontrivial bound；
- transport；
- family theorem；
- capacity incompatibility。

---

# 50. Global $T_{\min}$ baseline

原稿又定義：

$$
T_{\min}(n)
=
\min
\left\{
d>1:
d\mid n
\right\}.
$$

有：

$$
\operatorname{Fix}(T_{\min})
=
\mathbb P.
$$

再定義 global energy：

$$
E_N(a).
$$

則：

$$
R_G(N)>0
\Longleftrightarrow
\min E_N=0.
$$

這完全是：

$$
[\mathrm E].
$$

可保留作 audit baseline，

不列新 theorem novelty。

---

# 51. Zero-lift criterion

原稿提出：

若：

$$
N'<N
$$

且存在：

$$
\Psi:
\mathcal A_{N'}^{(6)}
\to
\mathcal A_N^{(6)}
$$

使：

$$
E_{6,N'}(a)=0
\Longrightarrow
E_{6,N}(\Psi(a))=0,
$$

則：

$$
\Delta_6(N)>0
\Longrightarrow
\Delta_6(N')>0.
$$

這是 exact elementary implication。

Claim class：

$$
[\mathrm T].
$$

但目前：

$$
\Psi
$$

只是 hypothetical transport target。

所以：

```text
criterion: theorem
existence of useful Psi: open
```

---

# 52. Standard failure descent還需 boundary condition

即使：

$$
\Delta_6(N')>0,
$$

standard failure仍需：

$$
N'-3\notin\mathbb P.
$$

所以真正 descent certificate需要：

$$
\boxed{
N'<N,
\quad
\Delta_6(N')>0,
\quad
N'-3\notin\mathbb P.
}
$$

PASS。

---

# 53. $6\mid N$ branch 的 source simplification

對：

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

boundary bit自動：

$$
B_3(N)=1.
$$

所以：

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

此 branch 的價值在：

$$
\boxed{
\text{把 standard failure 的 boundary exception消掉}.
}
$$

不是在增加 primality source。

---

# 54. Fixed-to-nonfixed complement map

對：

$$
6\mid N,
$$

定義：

$$
C_N(p)=N-p,
$$

其中：

$$
p\in P^*,
\quad
p\le N/2.
$$

則：

$$
C_N(p)\in M6^*.
$$

Goldbach success於這個 branch等價於：

$$
\boxed{
C_N(P_N^*)
\cap P^*
\neq\varnothing.
}
$$

failure等價於：

$$
\boxed{
C_N(P_N^*)
\subseteq
M6^*\setminus P^*.
}
$$

exact。

這是非常乾淨的 incidence formulation。

---

# 55. Source status of anti-incidence

anti-incidence set仍可由：

$$
\operatorname{lpf}
$$

逐點判定。

所以 elementwise仍是：

$$
\mathcal S_1.
$$

但 whole-image condition：

$$
C_N(P_N^*)
\cap P^*=\varnothing
$$

是 cross-$p$ relational target。

這是：

$$
\mathcal S_3
$$

真正值得保留的 object。

---

# 56. Canonical theorem ledger — RG-SCP 04

| ID | Claim | Class | Source | Status |
|---|---|---|---|---|
| R04-T01 | $T_{\mathrm{top}}=\operatorname{lpf}$ on $M6^*$ | T | S1 | PASS |
| R04-T02 | exact fiber multiplier characterization $F_p=\{pu:u\in U_p\}$ | T | S1 | **AUDIT CORRECTION / PASS** |
| R04-T03 | $\mathcal A_N^{(6)}\neq\varnothing$ for even $N\ge10$ | T | S0+S2 | PASS with explicit witnesses |
| R04-T04 | positive M6 defect satisfies $e_6(n)\ge20$ | T | S1 | **AUDIT STRENGTHENING / PASS** |
| R04-T05 | count-level two-channel decomposition | T | S0+S1+S2 | **AUDIT STRENGTHENING / PASS** |
| R04-T06 | failure iff dual hole | T/E | S1+S2+S3 | PASS |
| R04-T07 | shadow identity | T | S1 relational | PASS |
| R04-T08 | shadow-gap identity | T/E | S1+S3 | PASS |
| R04-T09 | $\Delta_6>0\Rightarrow\Delta_6\ge20$ | T | S1 | **AUDIT STRENGTHENING / PASS** |
| R04-T10 | naive shadow descent always lands on Goldbach-success | T | S1+S3 | PASS |
| R04-T11 | hard-branch $T_{\mathrm{top}}=\Phi_N^{\min}$ | T | S1 | PASS / source duplicate |
| R04-T12 | $6\mid N,\ N\ge12$: failure iff $\Delta_6>0$ | T/E | S1+S2+S3 | PASS |
| R04-T13 | zero-lift criterion | T | S3 | PASS as conditional criterion |
| R04-E01 | global $T_{\min}$ energy reformulation | E | S1 | PASS |
| R04-O01 | useful zero-lift morphism exists | O | future | OPEN |
| R04-O02 | fixed-point anti-incidence yields capacity contradiction | O | future | OPEN |

---

# 57. Canonical corrections ledger

## C01 — Fiber multiplier correction

舊：

$$
F_p
\leadsto
pU_6.
$$

Canonical：

$$
\boxed{
F_p
=
pU_p.
}
$$

---

## C02 — Reduced additive candidate domain

計算：

$$
\Delta_6
$$

可只用：

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

---

## C03 — Exact fiber cone

舊：

$$
\mathcal I_{p,q}
=
pU_6+qU_6.
$$

Canonical exact：

$$
\boxed{
\mathcal I_{p,q}^{\mathrm{fib}}
=
pU_p+qU_q.
}
$$

---

## C04 — Shadow-gap lower bound

舊：

$$
\Delta_6>0
\Rightarrow
\Delta_6\ge2.
$$

Canonical：

$$
\boxed{
\Delta_6>0
\Rightarrow
\Delta_6\ge20.
}
$$

---

## C05 — Count decomposition

positivity theorem保留，

另新增 canonical：

$$
\boxed{
R_G^{-}
=
R_6^{-}
+
\mathbf1_{\mathbb P}(N-3).
}
$$

---

## C06 — Source de-duplication

$$
T_{\mathrm{top}},
\operatorname{lpf},
\Phi_N^{\min}
$$

共享：

$$
\mathcal S_1.
$$

---

# 58. Formalization priority

建議優先：

## F04-01

$T_{\mathrm{top}}=\operatorname{lpf}$。

## F04-02

exact fiber multiplier theorem。

## F04-03

M6 additive candidate nonemptiness with explicit residue witnesses。

## F04-04

positive defect lower bound：

$$
e_6>0\Rightarrow e_6\ge20.
$$

## F04-05

pair energy zero iff both endpoints fixed。

## F04-06

count-level two-channel decomposition。

## F04-07

shadow identity。

## F04-08

shadow gap與 $20$-gap strengthening。

## F04-09

naive descent no-go。

## F04-10

$6\mid N$ clean branch。

## F04-11

zero-lift criterion。

---

# 59. 不優先形式化

暫不優先：

- counterexample cost vectors；
- qualitative shadow pressure；
- AI search tasks；
- heuristic gap statistics；
- speculative cross-$p$ invariant。

---

# 60. Implementation control

如果程式建立 fiber：

$$
F_p,
$$

必須檢查：

```text
n in F_p
iff
minFac(n) = p
```

不能只檢查：

```text
n % p == 0
and gcd(n,6)==1
```

否則：

$$
35
$$

會同時錯誤進：

$$
F_5
$$

與：

$$
F_7.
$$

這是第一階實驗的重要 implementation control。

---

# 61. Shadow implementation control

對每個：

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

必須驗：

$$
\boxed{
N-S_N(a)=E_{6,N}(a).
}
$$

且：

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

只能：

$$
0
$$

或：

$$
\ge20.
$$

如果程式出現：

$$
2,4,\ldots,18,
$$

則 fixed-point / minFac 實作有 bug。

---

# 62. Two-channel implementation control

對 even：

$$
N\ge10,
$$

應驗：

$$
\boxed{
R_G^{-}(N)
-
R_6^{-}(N)
\in
\{0,1\}
}
$$

且差值正好：

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

這是一個非常強的 E0 identity test。

---

# 63. Source novelty verdict

RG-SCP 04 沒有新增 elementwise arithmetic source。

其主要 source：

$$
\boxed{
\mathcal S_1
+
\mathcal S_2.
}
$$

新增的是：

$$
\boxed{
\mathcal S_3
=
\text{fixed-point / fiber relational organization}.
}
$$

其 proof value仍待：

- transport；
- incidence bound；
- capacity contradiction；

來實現。

---

# 64. Proof-compression verdict

RG-SCP 04 真正值得保留的壓縮有兩個。

第一：

$$
\boxed{
R_G^{-}(N)
=
R_6^{-}(N)
+
\mathbf1_{\mathbb P}(N-3).
}
$$

把標準 Goldbach分成 M6 section與單一 boundary channel。

第二，對：

$$
6\mid N,
$$

boundary channel自動關閉：

$$
\boxed{
R_G^{-}(N)
=
R_6^{-}(N).
}
$$

這是一個 clean branch reduction。

---

# 65. Validation verdict

RG-SCP 04：

$$
\boxed{
\mathrm{PASS\ WITH\ FIBER\ CORRECTION,\ COUNT\ STRENGTHENING,\ AND\ SHADOW\mbox{-}GAP\ STRENGTHENING}
}
$$

最重要 correction：

$$
\boxed{
F_p\neq pU_6
}
$$

而是：

$$
\boxed{
F_p=pU_p.
}
$$

最重要 strengthening：

$$
\boxed{
\Delta_6(N)>0
\Longrightarrow
\Delta_6(N)\ge20.
}
$$

最重要 source conclusion：

$$
\boxed{
T_{\mathrm{top}},
\operatorname{lpf},
\Phi_N^{\min}
\text{ are one factor source}.
}
$$

---

# 66. 下一輪

V0 Round 05 只審：

# RG-SCP 05
## 《質數逼近、歪度場與反例壓力探測》

重點：

1. $\varepsilon_{\mathrm{full}}$ 哪些部分是 exact、哪些 fitted；
2. $\pi-\operatorname{Li}$、$\psi-x$ 的 exact residual與 heuristic interpretation分離；
3. complement pressure field是否有任何隱性 probability 語義；
4. escape prime / escape depth的 exact status；
5. null models / surrogate contradictory fibers是否有清楚 falsification semantics；
6. proof-promotion gate是否足夠防止 heuristic leakage；
7. 05 中哪些 object值得留在 async discovery，哪些不應進 sync proof core。

---

# 附錄 A：Canonical Fiber Multiplier

```text
P*:
  primes > 3

For p in P*:

U_p:
  u >= 1
  gcd(u,6)=1
  every prime divisor r of u satisfies r >= p

Then:
  F_p = {p*u : u in U_p}
```

Example:

```text
35 = 7*5
5 < 7
=> 5 not allowed in U_7
=> 35 not in F_7
```

---

# 附錄 B：Canonical Two-Channel Count

$$
R_G^{-}(N)
=
R_6^{-}(N)
+
\mathbf1_{\mathbb P}(N-3),
\quad
N\ge10
\text{ even}.
$$

For:

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

$$
R_G^{-}(N)
=
R_6^{-}(N).
$$

---

# 附錄 C：Canonical Shadow Gap

For:

$$
n\in M6^*,
$$

$$
e_6(n)
=
n-\operatorname{lpf}(n).
$$

Then:

$$
e_6(n)=0
\iff
n\text{ prime},
$$

and:

$$
e_6(n)>0
\Rightarrow
e_6(n)\ge20.
$$

Therefore:

$$
\Delta_6(N)=0
$$

or:

$$
\Delta_6(N)\ge20.
$$

---

# 附錄 D：Source Signature

```yaml
RG-SCP-04:
  S0_elementary: true
  S1_factor_lpf: primary
  S2_M6_quotient: primary
  S3_fixed_point_relational: organizational
  S4_minimality: interface_only
  S5_analytic: false
  S6_heuristic: diagnostics_only

source_identity:
  T_top: S1
  lpf: S1
  Phi_min_on_hard_branch: S1

novelty:
  new_prime_oracle: false
  new_relational_coordinates: true
  clean_two_channel_reduction: true
  exact_shadow_gap_strengthening: true
```

---

# 附錄 E：Commit Decision

```yaml
validation_round: V0-R04
decision: PASS_WITH_FIBER_CORRECTION_COUNT_STRENGTHENING_AND_SHADOW_GAP_STRENGTHENING

strengthening:
  - count_level_two_channel_decomposition
  - positive_defect_minimum_20
  - delta_positive_implies_delta_at_least_20
  - exact_fiber_cone
  - reduced_candidate_domain

canonical_corrections:
  - F_p_equals_pU_p_not_pU6
  - inflation_cone_uses_U_p_U_q
  - source_deduplication
  - reduced_delta_domain

commit_to_sync_core: true
promote_new_goldbach_theorem: false
next_round: V0-R05
```