# SRBRD-01
## Structural Compression Audit
### Exact Cell Cardinalities、Center-Divisor Collapse、CRT Overlap、Tree-Overlap Upper Bound 與 First-Order No-Go

**母計畫：** RG-SCP / Reverse Goldbach Structural Closure Program  
**支線：** SRBRD — Symmetric Root-Bounded Relation Domain  
**輪次：** SRBRD-01  
**日期：** 2026-09-30  
**版本：** v0.1  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**性質：** Exact Structural Audit / Compression Test / Non-Coverage Infrastructure  
**前置：** SRBRD-00 Exact Representation Kernel  
**狀態：** 發現非平凡 exact compression；尚未得到全域 non-cover theorem

---

# 0. 本輪目標

SRBRD-00 已建立候選 exact representation：

$$
\boxed{
|\operatorname{Res}(m)|
=
R_G^{-}(2m)
}
$$

以及：

$$
\boxed{
\operatorname{GoldbachFailure}(2m)
\Longleftrightarrow
\Omega_m
=
\bigcup_{\sigma,r}
O_{m,\sigma,r}.
}
$$

SRBRD-01 不再討論等價本身。

本輪只問：

> root-truncated residue cells 是否具有一般 finite cover 沒有的額外結構，足以產生 proof compression？

本輪得到四個核心 exact 結果：

1. 左右 cell 有精確 cofactor 參數化；
2. cell cardinality 可閉式計數；
3. 同一 prime 的左右 cell 在且僅在 $r\mid m$ 時 residue collapse；
4. 不同 primes 的 intersection 由 CRT 壓成單一 parity-lifted residue class。

並進一步建立：

$$
\boxed{
\text{Tree-Overlap Upper Bound}
}
$$

把 pairwise CRT overlap變成真正的 union upper bound。

但 computational audit也顯示：

$$
\boxed{
\text{first-order cell capacity}
}
$$

與：

$$
\boxed{
\text{pairwise tree-overlap alone}
}
$$

都不足以形成目前可見的全域 Goldbach closure。

因此本輪 verdict：

$$
\boxed{
\text{NONTRIVIAL COMPRESSION FOUND}
}
$$

但：

$$
\boxed{
\text{GLOBAL NON-COVER NOT YET CLOSED}.
}
$$

---

# 1. Offset Domain Cardinality

沿用：

$$
\Omega_m
=
\left\{
d\in\mathbb N:
d\le m-3,
\quad
m-d\text{ odd}
\right\}.
$$

## Theorem SRBRD-01-T01

對：

$$
m\ge3,
$$

有：

$$
\boxed{
|\Omega_m|
=
\left\lfloor
\frac{m-1}{2}
\right\rfloor.
}
$$

因：

- 若 $m$ odd，合法 $d$ 為 even：
  $$
  0,2,\ldots,m-3;
  $$
- 若 $m$ even，合法 $d$ 為 odd：
  $$
  1,3,\ldots,m-3.
  $$

---

# 2. Left Cell Reparameterization

SRBRD-00：

$$
O_{L,r}
=
\left\{
d\in\Omega_m:
r\mid(m-d),
\quad
r^2\le m-d
\right\}.
$$

令：

$$
m-d=kr.
$$

因：

- $m-d$ odd；
- $r$ odd prime；

所以：

$$
\boxed{
k\text{ odd}.
}
$$

root bound：

$$
r^2\le kr
$$

等價：

$$
\boxed{
r\le k.
}
$$

而：

$$
d\ge0
$$

等價：

$$
kr\le m.
$$

即：

$$
k\le
\left\lfloor
\frac mr
\right\rfloor.
$$

所以：

## Theorem SRBRD-01-T02

$$
\boxed{
O_{L,r}
=
\left\{
m-kr:
k\text{ odd},
\quad
r\le k\le
\left\lfloor
\frac mr
\right\rfloor
\right\}.
}
$$

---

# 3. Left Cell Immediate Consequence

若：

$$
r^2>m,
$$

則：

$$
\left\lfloor
\frac mr
\right\rfloor<r.
$$

所以：

$$
\boxed{
O_{L,r}=\varnothing.
}
$$

因此：

$$
\boxed{
r^2>m
\Longrightarrow
\text{$r$ is right-only}.
}
$$

這把 SRBRD-00 的 root-asymmetry改寫成 exact factor/cofactor interval。

---

# 4. Right Cell Reparameterization

SRBRD-00：

$$
O_{R,r}
=
\left\{
d\in\Omega_m:
r\mid(m+d),
\quad
r^2\le m+d
\right\}.
$$

令：

$$
m+d=kr.
$$

同樣因 endpoint odd：

$$
\boxed{
k\text{ odd}.
}
$$

由：

$$
d\ge0
$$

得：

$$
kr\ge m,
$$

即：

$$
k\ge
\left\lceil
\frac mr
\right\rceil.
$$

由 root bound：

$$
r^2\le kr
$$

得：

$$
k\ge r.
$$

而：

$$
d\le m-3
$$

等價：

$$
kr-m\le m-3,
$$

即：

$$
k\le
\left\lfloor
\frac{2m-3}{r}
\right\rfloor.
$$

所以：

## Theorem SRBRD-01-T03

$$
\boxed{
O_{R,r}
=
\left\{
kr-m:
k\text{ odd},
\quad
\max
\left(
r,
\left\lceil
\frac mr
\right\rceil
\right)
\le k
\le
\left\lfloor
\frac{2m-3}{r}
\right\rfloor
\right\}.
}
$$

---

# 5. Odd-Interval Counting Function

定義：

$$
\boxed{
\operatorname{OddCount}(a,b)
=
\#\{k\in\mathbb N:a\le k\le b,\ k\text{ odd}\}.
}
$$

對：

$$
a\le b,
$$

有：

$$
\boxed{
\operatorname{OddCount}(a,b)
=
\left\lfloor
\frac{b+1}{2}
\right\rfloor
-
\left\lfloor
\frac a2
\right\rfloor.
}
$$

若：

$$
a>b,
$$

定義：

$$
\operatorname{OddCount}(a,b)=0.
$$

---

# 6. Exact Left Cell Cardinality

由 T02：

## Theorem SRBRD-01-T04

$$
\boxed{
|O_{L,r}|
=
\operatorname{OddCount}
\left(
r,
\left\lfloor
\frac mr
\right\rfloor
\right).
}
$$

這個公式自動涵蓋：

$$
r^2>m
$$

時 cell empty。

---

# 7. Exact Right Cell Cardinality

由 T03：

## Theorem SRBRD-01-T05

$$
\boxed{
|O_{R,r}|
=
\operatorname{OddCount}
\left(
\max
\left(
r,
\left\lceil
\frac mr
\right\rceil
\right),
\left\lfloor
\frac{2m-3}{r}
\right\rfloor
\right).
}
$$

---

# 8. Small / Large Witness Regimes

定義：

$$
Q_m^{\mathrm{small}}
=
\{r:r^2\le m\},
$$

$$
Q_m^{\mathrm{large}}
=
\{r:m<r^2\le2m-3\}.
$$

---

# 9. Small Witness Simplification

若：

$$
r^2\le m,
$$

則：

$$
\frac mr\ge r.
$$

所以：

$$
\left\lceil
\frac mr
\right\rceil
\ge r.
$$

right lower bound簡化：

$$
\boxed{
k\ge
\left\lceil
\frac mr
\right\rceil.
}
$$

也就是 small witness：

- left side存在 central-to-left factor states；
- right side的 root bound已自動被 $m+d\ge m\ge r^2$ 滿足。

---

# 10. Large Witness Simplification

若：

$$
m<r^2\le2m-3,
$$

則：

$$
O_{L,r}=\varnothing.
$$

且：

$$
\left\lceil
\frac mr
\right\rceil<r
$$

或至少不超過 root lower requirement，

所以 right lower bound由：

$$
\boxed{
k\ge r
}
$$

主導。

large witness只會從 right frontier啟動。

---

# 11. Root-Availability Monotonicity

定義：

$$
Q_L(m,d)
=
\{r:r^2\le m-d\},
$$

$$
Q_R(m,d)
=
\{r:r^2\le m+d\}.
$$

若：

$$
d_1\le d_2,
$$

則：

$$
\boxed{
Q_L(m,d_2)
\subseteq
Q_L(m,d_1)
}
$$

而：

$$
\boxed{
Q_R(m,d_1)
\subseteq
Q_R(m,d_2).
}
$$

所以 offset向右移動時：

> left root-witness availability 單調縮小，right root-witness availability 單調擴張。

這是一個完全 target-independent 的 exact frontier law。

---

# 12. Same-Prime Residue Collision

對同一 odd prime：

$$
r,
$$

left residue：

$$
d\equiv m\pmod r,
$$

right residue：

$$
d\equiv-m\pmod r.
$$

兩 residue classes相同當且僅當：

$$
m\equiv-m\pmod r,
$$

亦即：

$$
2m\equiv0\pmod r.
$$

因：

$$
r
$$

odd prime，

所以：

## Theorem SRBRD-01-T06

$$
\boxed{
m\equiv-m\pmod r
\Longleftrightarrow
r\mid m.
}
$$

---

# 13. Center-Divisor Collapse

## Theorem SRBRD-01-T07

若：

$$
r\mid m,
$$

則：

$$
\boxed{
O_{L,r}\subseteq O_{R,r}.
}
$$

proof：

若：

$$
d\in O_{L,r},
$$

則：

$$
r\mid(m-d).
$$

又：

$$
r\mid m,
$$

所以：

$$
r\mid d.
$$

因此：

$$
r\mid(m+d).
$$

且 left root bound：

$$
r^2\le m-d
$$

立即推出：

$$
r^2\le m+d.
$$

故：

$$
d\in O_{R,r}.
$$

---

# 14. Non-Center Prime Side Disjointness

## Theorem SRBRD-01-T08

若：

$$
r\nmid m,
$$

則：

$$
\boxed{
O_{L,r}\cap O_{R,r}
=
\varnothing.
}
$$

因若：

$$
d
$$

同時在兩側，

則：

$$
r\mid(m-d),
$$

$$
r\mid(m+d).
$$

所以：

$$
r\mid2m.
$$

因 $r$ odd：

$$
r\mid m,
$$

矛盾。

---

# 15. Exact Same-Prime Union Cardinality

令：

$$
P_{m,r}
=
O_{L,r}\cup O_{R,r}.
$$

則：

## Theorem SRBRD-01-T09

若：

$$
r\mid m,
$$

則：

$$
\boxed{
|P_{m,r}|
=
|O_{R,r}|.
}
$$

若：

$$
r\nmid m,
$$

則：

$$
\boxed{
|P_{m,r}|
=
|O_{L,r}|
+
|O_{R,r}|.
}
$$

---

# 16. Center Compression Term

定義 raw side capacity：

$$
\boxed{
S_{\mathrm{raw}}(m)
=
\sum_r
\left(
|O_{L,r}|
+
|O_{R,r}|
\right).
}
$$

定義 same-prime collapsed capacity：

$$
\boxed{
S_{\mathrm{prime}}(m)
=
\sum_r
|P_{m,r}|.
}
$$

由 T07/T08：

$$
\boxed{
S_{\mathrm{raw}}(m)
-
S_{\mathrm{prime}}(m)
=
\sum_{\substack{
r\mid m\\
r\in Q_m
}}
|O_{L,r}|.
}
$$

這是一個 exact、target-independent compression term。

---

# 17. 第一個真正的新壓縮來源

這表示：

> center $m$ 的 prime divisors不是單純 obstruction source；它們也會迫使左右 obstruction channels重合。

所以：

$$
\boxed{
r\mid m
}
$$

同時具有：

1. divisibility source；
2. same-prime overlap source。

這和 RG-SCP 中 divisor self-suppression具有相似精神，但作用在新的 symmetric offset relation domain。

---

# 18. Different-Prime CRT Intersection

考慮：

$$
r\neq s
$$

兩個 odd primes，

以及：

$$
\sigma,\tau\in\{L,R\}.
$$

每個 side cell都有一個 residue：

$$
d\equiv\epsilon_\sigma m\pmod r,
$$

$$
d\equiv\epsilon_\tau m\pmod s,
$$

其中：

$$
\epsilon_L=+1,
\qquad
\epsilon_R=-1.
$$

因：

$$
\gcd(r,s)=1,
$$

CRT給唯一 residue class modulo：

$$
rs.
$$

---

# 19. Parity Lift

$\Omega_m$還要求：

$$
m-d
$$

odd。

也就是：

$$
d
$$

具有固定 parity。

因：

$$
2,r,s
$$

pairwise coprime，

CRT再次給：

## Theorem SRBRD-01-T10

對：

$$
r\neq s,
$$

任意 side pair：

$$
(\sigma,\tau),
$$

intersection：

$$
O_{\sigma,r}\cap O_{\tau,s}
$$

若非空，

則所有元素落在：

$$
\boxed{
\text{唯一一個 residue class modulo }2rs.
}
$$

---

# 20. Interval Part of Pairwise Intersection

每個 side-prime cell另有 interval：

### Left

$$
I_{L,r}
=
[0,m-r^2].
$$

若：

$$
r^2>m,
$$

則 empty。

### Right

$$
I_{R,r}
=
[\max(0,r^2-m),m-3].
$$

所以：

$$
O_{\sigma,r}\cap O_{\tau,s}
$$

就是：

$$
\boxed{
\text{one residue class mod }2rs
\cap
I_{\sigma,r}
\cap
I_{\tau,s}
\cap
\Omega_m.
}
$$

parity已被 mod $2rs$ residue吸收後，可不再另算。

---

# 21. Exact Pairwise Intersection Count Interface

定義：

$$
\operatorname{APCount}(a,b;q,c)
$$

為：

$$
[a,b]
$$

中滿足：

$$
d\equiv c\pmod q
$$

的整數數量。

則對 distinct primes：

$$
r,s,
$$

有：

$$
\boxed{
|O_{\sigma,r}\cap O_{\tau,s}|
=
\operatorname{APCount}
\left(
a_{\sigma,\tau},
b_{\sigma,\tau};
2rs,
c_{\sigma,\tau}
\right),
}
$$

其中：

- $a_{\sigma,\tau}$ 是兩 interval lower bounds的最大值；
- $b_{\sigma,\tau}$ 是 upper bounds最小值；
- $c_{\sigma,\tau}$ 由 CRT唯一決定。

所以 pairwise overlap本身完全 exact、finite、target-independent。

---

# 22. Prime-Grouped Cells

正式將同一 prime左右兩側先 union：

$$
\boxed{
P_{m,r}
=
O_{L,r}\cup O_{R,r}.
}
$$

則 Goldbach obstruction union：

$$
\boxed{
\mathcal O_m
=
\bigcup_r P_{m,r}.
}
$$

這比把 $L/R$ 當兩個獨立 cells更自然，

因 T07/T08已經給 same-prime exact structure。

---

# 23. Cross-Prime Overlap Surplus

定義：

$$
\boxed{
X_m
=
\sum_r|P_{m,r}|
-
\left|
\bigcup_rP_{m,r}
\right|.
}
$$

由 union cardinality：

$$
\boxed{
|\operatorname{Res}(m)|
=
|\Omega_m|
-
S_{\mathrm{prime}}(m)
+
X_m.
}
$$

這是 SRBRD 版本的 overlap identity。

---

# 24. Data Role of Exact $X_m$

因：

$$
|\operatorname{Res}(m)|
=
|\Omega_m|-S_{\mathrm{prime}}+X_m,
$$

exact：

$$
X_m
$$

與 residual truth高度耦合。

所以 exact $X_m$是：

$$
\boxed{
\text{truth-adjacent diagnostic}.
}
$$

真正 proof input應是：

$$
\boxed{
\text{不讀 residual truth的 lower bound on }X_m.
}
$$

---

# 25. Tree-Overlap Upper Bound

這一輪找到一個非常乾淨的有限集合 theorem。

考慮所有 nonempty prime-grouped cells：

$$
P_1,\ldots,P_t.
$$

取一棵連接這些 cell index 的 spanning tree：

$$
T.
$$

則：

## Theorem SRBRD-01-T11

$$
\boxed{
\left|
\bigcup_{i=1}^{t}P_i
\right|
\le
\sum_{i=1}^{t}|P_i|
-
\sum_{(i,j)\in E(T)}
|P_i\cap P_j|.
}
$$

---

# 26. T11 Proof Idea

root tree於任意 $P_1$。

逐個加入 child：

$$
P_j.
$$

它新增的元素至多：

$$
|P_j|
-
|P_j\cap P_{\operatorname{parent}(j)}|.
$$

將所有 vertices加總即得。

這個 theorem只需要 elementary finite-set arithmetic。

---

# 27. Maximum-Overlap Tree

為了得到最強 tree correction，

取 edge weight：

$$
w(r,s)
=
|P_{m,r}\cap P_{m,s}|.
$$

選 maximum spanning tree：

$$
T_m^{\max}.
$$

定義：

$$
\boxed{
X_m^{\mathrm{tree}}
=
\sum_{(r,s)\in E(T_m^{\max})}
|P_{m,r}\cap P_{m,s}|.
}
$$

則：

$$
\boxed{
X_m\ge X_m^{\mathrm{tree}}.
}
$$

---

# 28. Tree Structural Upper Bound

因此：

$$
\boxed{
\left|
\bigcup_rP_{m,r}
\right|
\le
S_{\mathrm{prime}}(m)
-
X_m^{\mathrm{tree}}.
}
$$

所以 residual lower bound：

$$
\boxed{
|\operatorname{Res}(m)|
\ge
|\Omega_m|
-
S_{\mathrm{prime}}(m)
+
X_m^{\mathrm{tree}}.
}
$$

---

# 29. Tree Non-Cover Criterion

## Theorem SRBRD-01-T12

若：

$$
\boxed{
S_{\mathrm{prime}}(m)
-
X_m^{\mathrm{tree}}
<
|\Omega_m|,
}
$$

則：

$$
\boxed{
\operatorname{Res}(m)\neq\varnothing.
}
$$

因此：

$$
\boxed{
R_G^{-}(2m)>0.
}
$$

這是一個真正不直接測 endpoint primality 的 finite structural certificate。

---

# 30. 為什麼這比單純 Inclusion-Exclusion Pairwise 更適合

普通第二階 Bonferroni：

$$
S_1-S_2
$$

提供的是 union lower bound，

不是我們要的 upper bound。

Tree bound則只選一組 pairwise overlaps，

但保證：

$$
\boxed{
\text{union upper bound}.
}
$$

因此可直接服務：

$$
\text{non-cover proof}.
$$

---

# 31. First-Order Capacity Criterion

最粗：

$$
\left|
\bigcup_rP_{m,r}
\right|
\le
S_{\mathrm{prime}}(m).
$$

若：

$$
S_{\mathrm{prime}}(m)<|\Omega_m|,
$$

即可證 residual。

這是 first-order criterion。

---

# 32. First-Order No-Go

但它不可能作為目前的 universal closure engine。

只需一個 exact control：

$$
m=100.
$$

有：

$$
|\Omega_{100}|=49,
$$

$$
S_{\mathrm{raw}}(100)=67,
$$

$$
S_{\mathrm{prime}}(100)=59.
$$

因此：

$$
S_{\mathrm{prime}}(100)>|\Omega_{100}|.
$$

所以：

$$
\boxed{
\text{same-prime collapse alone不能證 }m=100.
}
$$

但實際 obstruction union：

$$
\left|
\bigcup_rP_{100,r}
\right|
=
41.
$$

所以 residual：

$$
8.
$$

這表示：

$$
\boxed{
\text{cross-prime overlap 是必要資訊。}
}
$$

---

# 33. $m=100$ Cell Audit

witness primes：

$$
3,5,7,11,13.
$$

cell cardinalities：

### $r=3$

$$
|O_{L,3}|=16,
$$

$$
|O_{R,3}|=16.
$$

因：

$$
3\nmid100,
$$

兩側 disjoint：

$$
|P_{100,3}|=32.
$$

### $r=5$

$$
|O_{L,5}|=8,
$$

$$
|O_{R,5}|=10.
$$

因：

$$
5\mid100,
$$

$$
O_{L,5}\subseteq O_{R,5},
$$

所以：

$$
|P_{100,5}|=10.
$$

### $r=7$

$$
|P_{100,7}|=4+7=11.
$$

### $r=11$

large witness：

$$
|O_{L,11}|=0,
$$

$$
|O_{R,11}|=4.
$$

### $r=13$

$$
|O_{L,13}|=0,
$$

$$
|O_{R,13}|=2.
$$

所以：

$$
S_{\mathrm{prime}}=32+10+11+4+2=59.
$$

---

# 34. $m=100$ Tree Compression

pairwise CRT overlaps可建立 maximum-overlap tree，

其 total correction：

$$
X_{100}^{\mathrm{tree}}=17.
$$

因此：

$$
\left|
\bigcup_rP_{100,r}
\right|
\le
59-17
=
42.
$$

而：

$$
42<49=|\Omega_{100}|.
$$

所以 tree criterion已能證：

$$
\boxed{
|\operatorname{Res}(100)|\ge7.
}
$$

實際：

$$
|\operatorname{Res}(100)|=8.
$$

也就是 tree lower bound距 exact只差 $1$。

這是一個非常強的有限 control。

---

# 35. $m=210$：Center-Rich Case

computational exact audit：

$$
|\Omega_{210}|=104,
$$

$$
S_{\mathrm{prime}}(210)=101.
$$

其實 first-order criterion已經直接：

$$
101<104.
$$

所以不需要 cross-prime correction即可證 residual。

加入 maximum tree overlap：

$$
X_{210}^{\mathrm{tree}}=21,
$$

得到：

$$
|\cup P_r|
\le80.
$$

所以：

$$
|\operatorname{Res}(210)|\ge24.
$$

實際 residual：

$$
30.
$$

center $210$ 含多個 small prime divisors，

same-prime collapse本身就很強。

---

# 36. $m=211$：Center-Prime Contrast

$$
211
$$

本身是 prime。

所以幾乎沒有 center-divisor same-prime collapse。

computational audit：

$$
|\Omega_{211}|=105,
$$

$$
S_{\mathrm{prime}}(211)=166.
$$

first-order完全失敗。

但 maximum tree overlap：

$$
X_{211}^{\mathrm{tree}}=62.
$$

所以：

$$
|\cup P_r|
\le104.
$$

而：

$$
104<105.
$$

因此 tree overlap仍證：

$$
\boxed{
|\operatorname{Res}(211)|\ge1.
}
$$

實際 residual：

$$
11.
$$

這說明 cross-prime CRT overlap不是只有 composite center才有力量。

---

# 37. Pairwise Tree Bound 仍非 Universal

例如：

$$
m=1000.
$$

computational audit：

$$
|\Omega_{1000}|=499,
$$

$$
S_{\mathrm{prime}}(1000)=908,
$$

maximum tree correction：

$$
381.
$$

所以 tree upper bound：

$$
527.
$$

但：

$$
527>499.
$$

因此 tree criterion無法證 residual。

實際 residual仍有：

$$
37.
$$

所以：

$$
\boxed{
\text{pairwise tree overlap 仍不足以成為 universal closure}.
}
$$

---

# 38. Larger Control

對：

$$
m=5000,
$$

computational audit：

$$
|\Omega_m|=2499,
$$

$$
S_{\mathrm{prime}}=5495,
$$

tree correction：

$$
2554,
$$

tree upper bound：

$$
2941,
$$

仍：

$$
2941>2499.
$$

而 actual residual：

$$
127.
$$

所以 higher-order redundancy仍很大，但 pairwise tree只捕捉其中一部分。

---

# 39. Computational Sanity Scan

本輪使用 finite direct enumeration做非證明型 sanity audit。

範圍：

$$
3\le m\le5000.
$$

檢查：

1. left cofactor cardinality formula；
2. right cofactor cardinality formula；
3. 若 $r\mid m$：
   $$
   O_{L,r}\subseteq O_{R,r};
   $$
4. 若 $r\nmid m$：
   $$
   O_{L,r}\cap O_{R,r}=\varnothing.
   $$

結果：

$$
\boxed{
\text{0 mismatches in the scanned range}.
}
$$

這只是 computational evidence，

不是 formal proof。

---

# 40. Tree Criterion Scan

同一：

$$
3\le m\le5000
$$

scan中，

maximum spanning-tree criterion：

$$
S_{\mathrm{prime}}-X^{tree}
<
|\Omega_m|
$$

成功於：

$$
366
$$

個 $m$。

在此範圍內：

- 第一個失敗點出現在：
  $$
  m=199;
  $$
- 之後仍有零星成功；
- 此 scan 中最後一個成功點為：
  $$
  m=1155.
  $$

這再次說明：

$$
\boxed{
\text{tree overlap有實質 compression，但不是全域 closure。}
}
$$

---

# 41. Compression Hierarchy

目前可建立：

## Layer 0 — Raw Sides

$$
S_{\mathrm{raw}}
=
\sum_r
\left(
|L_r|+|R_r|
\right).
$$

## Layer 1 — Same-Prime Collapse

$$
S_{\mathrm{prime}}
=
\sum_r
|L_r\cup R_r|.
$$

## Layer 2 — Pairwise Tree Correction

$$
U_{\mathrm{tree}}
=
S_{\mathrm{prime}}
-
X^{tree}.
$$

## Layer 3 — Exact Union

$$
U_{\mathrm{exact}}
=
\left|
\bigcup_rP_r
\right|.
$$

有：

$$
\boxed{
U_{\mathrm{exact}}
\le
U_{\mathrm{tree}}
\le
S_{\mathrm{prime}}
\le
S_{\mathrm{raw}}.
}
$$

---

# 42. Residual Lower-Bound Hierarchy

對應：

$$
|\operatorname{Res}(m)|
=
|\Omega_m|-U_{\mathrm{exact}}.
$$

可得：

$$
\boxed{
|\operatorname{Res}(m)|
\ge
|\Omega_m|-U_{\mathrm{tree}}.
}
$$

再弱：

$$
\ge
|\Omega_m|-S_{\mathrm{prime}}.
$$

只要任一 lower bound：

$$
>0,
$$

即證 fixed $m$ 的 Goldbach success。

---

# 43. 真正剩下的結構問題

現在已非常明確。

要走向 uniform theorem，

需要 lower-bound：

$$
\boxed{
X_m
}
$$

也就是 cross-prime redundancy，

但不能直接計 exact union。

可以研究：

1. tree overlap；
2. higher-order overlap；
3. forced repeated coverage；
4. residue-product constraints；
5. root-frontier coupling；
6. center-divisor induced overlap；
7. endpoint factorization multiplicity；
8. global closure invariant。

---

# 44. CRT Pairwise Overlap 是 Legitimate Proof Input

重要：

$$
|P_{m,r}\cap P_{m,s}|
$$

可以完全由：

- $m$；
- $r,s$；
- residues；
- root intervals；

計算。

它不需要問：

$$
m\pm d
$$

是否 prime。

所以 pairwise CRT overlap是：

$$
\boxed{
\text{proof-admissible structural input}.
}
$$

---

# 45. Exact Residual / Exact Union 則是 Truth Label

相反：

$$
|\operatorname{Res}(m)|
$$

直接等於：

$$
R_G^{-}(2m).
$$

所以：

$$
\boxed{
\text{TruthLabel}.
}
$$

同理 exact total overlap：

$$
X_m
$$

配上：

$$
S_{\mathrm{prime}}
$$

可重建 residual，

因此是 truth-adjacent。

---

# 46. 下一個合理目標

不是繼續增加更多 pairwise counting。

下一輪應問：

> 是否存在一個 **higher-order overlap lower bound**，但仍只依賴 truncated residue geometry？

特別候選：

### A. CRT Hyperedge Closure

三個或更多 primes的 joint intersection。

### B. Occupancy Multiplicity Lower Bound

直接證大量 covered offsets必須被多個 primes重複覆蓋。

### C. Root-Frontier Conservation

left witness availability shrink與right expansion之間是否迫使 overlap。

### D. Center-Class Stratification

依：

$$
\gcd(m,P(y))
$$

或 center prime factors分 family。

### E. Factor-Cofactor Duality

cell parameter：

$$
m\pm d=kr
$$

中：

$$
k\ge r
$$

是否可形成新的 involution / pairing。

---

# 47. 特別值得看的 Cofactor Duality

left：

$$
m-d=kr,
$$

right：

$$
m+d=kr.
$$

兩側所有 obstruction cell都可以看成：

$$
\boxed{
\text{odd factor }r
+
\text{odd cofactor }k
+
k\ge r.
}
$$

因此 relation不只是 residue sieve。

它其實是一個：

$$
\boxed{
(r,k,d)
}
$$

三元有限關係。

這可能比單純 CRT union更接近下一個真正的新結構。

---

# 48. Formal Theorem Queue

```yaml
SRBRD_01:
  T01: omega_cardinality
  T02: left_cell_cofactor_parameterization
  T03: right_cell_cofactor_parameterization
  T04: left_cell_exact_cardinality
  T05: right_cell_exact_cardinality
  T06: same_prime_residue_collision_iff_r_dvd_m
  T07: center_divisor_left_subset_right
  T08: noncenter_same_prime_side_disjoint
  T09: same_prime_union_cardinality
  T10: distinct_prime_intersection_single_class_mod_2rs
  T11: tree_overlap_union_upper_bound
  T12: tree_overlap_noncover_criterion
```

---

# 49. Acceptance Gate

SRBRD-01 要升格到 formal core前需：

1. exact OddCount formula；
2. left cofactor bijection；
3. right cofactor bijection；
4. small/large regime theorem；
5. same-prime collision iff $r\mid m$；
6. center-divisor subset theorem；
7. noncenter disjoint theorem；
8. distinct-prime CRT intersection theorem；
9. pairwise intersection exact AP-count interface；
10. tree union upper-bound proof；
11. tree residual lower bound；
12. first-order no-go control；
13. computational evidence與 theorem statement分離；
14. no claim of global Goldbach closure。

---

# 50. Verdict

本輪可以做出比 SRBRD-00 更強的判斷：

$$
\boxed{
\mathrm{SRBRD\mbox{-}01\ STRUCTURAL\ COMPRESSION\ PASS}
}
$$

因為確實發現了不只是語言重編碼的 exact restrictions：

- cofactor interval；
- right-only large-witness regime；
- center-divisor same-prime collapse；
- parity-lifted CRT intersections；
- tree-overlap non-cover certificate。

但是：

$$
\boxed{
\mathrm{GLOBAL\ NONCOVER\ GATE\ NOT\ PASSED}.
}
$$

尤其：

$$
m=1000,
5000
$$

等 finite controls已證明：

> same-prime compression與pairwise tree correction仍不足以形成 universal closure。

---

# 51. 下一輪建議

# SRBRD-02
## Higher-Order Overlap / Cofactor Closure Audit

優先順序：

1. 把 $(r,k)$ cofactor parameterization升成 primary relation；
2. 研究同一 endpoint多 factor edges的強制 overlap；
3. 建立三元 CRT hyperintersection；
4. 搜尋 occupancy lower bound；
5. 尋找不依賴 exact residual truth的：
   $$
   X_m\ge L_X(m);
   $$
6. 嘗試 closure：
   $$
   |\Omega_m|
   -
   S_{\mathrm{prime}}(m)
   +
   L_X(m)
   >0.
   $$

如果這一層仍無 uniform gain，

再判定 SRBRD 是否碰到傳統 sieve overlap / parity barrier。

---

# 附錄 A：Machine-Oriented Definitions

```text
OddCount(a,b)
LeftCell(m,r)
RightCell(m,r)
PrimeCell(m,r) = LeftCell union RightCell
CenterCompression(m)
PairIntersection(m,r,s)
TreeOverlap(m,T)
TreeUnionUpper(m,T)
```

---

# 附錄 B：Selected Audit Table

| $m$ | $|\Omega_m|$ | $S_{\mathrm{prime}}$ | Tree overlap | Tree union upper | Exact union | Exact residual |
|---:|---:|---:|---:|---:|---:|---:|
| 34 | 16 | 17 | 3 | 14 | 14 | 2 |
| 50 | 24 | 24 | 6 | 18 | 18 | 6 |
| 100 | 49 | 59 | 17 | 42 | 41 | 8 |
| 199 | 99 | 155 | 56 | 99 | 92 | 7 |
| 210 | 104 | 101 | 21 | 80 | 74 | 30 |
| 211 | 105 | 166 | 62 | 104 | 94 | 11 |
| 1000 | 499 | 908 | 381 | 527 | 462 | 37 |
| 5000 | 2499 | 5495 | 2554 | 2941 | 2372 | 127 |

**注意：** Exact union / Exact residual只作 truth-channel audit，不可拿去建構 proof bound。

---

# 附錄 C：Source / Data Role

```yaml
SRBRD_01:
  exact_structural_inputs:
    - center_m
    - witness_prime_r
    - cofactor_interval
    - congruence
    - root_truncation
    - CRT_pair_intersection

  proof_admissible:
    - exact_cell_cardinality
    - center_divisor_collapse
    - pairwise_CRT_overlap
    - tree_overlap_lower_correction

  truth_labels:
    - exact_residual
    - exact_union

  truth_adjacent:
    - exact_total_overlap_surplus
```

---

# 附錄 D：Commit Decision

```yaml
research_round: SRBRD-01

decision:
  exact_reencoding_only: false
  nontrivial_structural_compression: true
  global_noncover_proved: false

new_exact_structures:
  - left_cofactor_parameterization
  - right_cofactor_parameterization
  - same_prime_center_divisor_collapse
  - distinct_prime_mod_2rs_intersections
  - maximum_spanning_tree_overlap_bound

negative_results:
  - first_order_capacity_not_universal
  - pairwise_tree_bound_not_universal

next:
  SRBRD-02_HigherOrder_Overlap_Cofactor_Closure_Audit
```