# SRBRD-05
## Arithmetic Hyper-Support Forest Closure
### Canonical-Oriented Hypercells、Face-Adjacent Maximum Forest、Support Compression 與 Bonferroni Error Correction

**母計畫：** RG-SCP / Reverse Goldbach Structural Closure Program  
**支線：** SRBRD — Symmetric Root-Bounded Relation Domain  
**輪次：** SRBRD-05  
**日期：** 2026-09-30  
**版本：** v0.1  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**性質：** Exact Arithmetic Hyper-Support Audit / Structural Support Compression  
**前置：** SRBRD-00；SRBRD-01；SRBRD-02；SRBRD-03；SRBRD-04  
**狀態：** 建立 arithmetic hyper-support forest certificate；尚未得到 uniform Goldbach closure

---

# 0. 本輪目標

SRBRD-04 已把第 $q$ 階 Bonferroni error寫成：

$$
\boxed{
E_q(m)
=
\sum_{d\in\Omega_m}
\binom{\mu_m(d)-1}{q}
}
$$

並建立：

$$
\boxed{
qE_q(m)
\ge
B_q(m)-S_q(m),
}
$$

其中：

$$
S_q(m)
=
\#\{d\in\Omega_m:\mu_m(d)\ge q\}.
$$

所以真正的瓶頸已經非常集中：

> 如何在不讀 exact residual truth 的前提下，將 $S_q(m)$ 壓得比 generic support envelope更小？

SRBRD-05 直接把：

$$
S_q(m)
$$

寫成：

$$
\boxed{
q\text{-prime hypercells 的 union}.
}
$$

然後把 SRBRD-01 的 pairwise tree-overlap theorem提升到：

$$
\boxed{
q\text{-hypercell face graph 的 spanning forest}.
}
$$

本輪主結果：

$$
\boxed{
S_q(m)
\le
B_q(m)
-
F_q^{\mathrm{face}}(m),
}
$$

其中：

$$
F_q^{\mathrm{face}}(m)
$$

是 q-hypercell face-adjacent maximum spanning forest 的總 overlap weight。

因此：

$$
\boxed{
E_q(m)
\ge
\left\lceil
\frac{
F_q^{\mathrm{face}}(m)
}{q}
\right\rceil.
}
$$

進而：

$$
\boxed{
|\mathcal O_m|
\le
U_q(m)
-
\left\lceil
\frac{
F_q^{\mathrm{face}}(m)
}{q}
\right\rceil.
}
$$

這是一個純 arithmetic relation certificate：

- 不需要 exact residual；
- 不需要 endpoint primality truth label；
- 不需要完整 $B_{q+1}$；
- 只需要 q-hypercells與相鄰 $(q+1)$-hypercell overlap。

更重要的是：

$$
\boxed{
q=1
}
$$

時，本 theorem退化成 SRBRD-01 的 prime-cell maximum-overlap tree。

所以 SRBRD-05 把先前 tree compression與 higher-order support正式統一成：

# Hyper-Support Forest Hierarchy

---

# 1. Prime-Grouped Cells

沿用：

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

對：

$$
d\in\Omega_m,
$$

$$
d\in P_{m,r}
$$

表示 prime-group：

$$
r
$$

至少在一側提供合法 root-bounded factor witness。

---

# 2. q-Prime Hypercell

對 finite prime subset：

$$
J\subseteq Q_m,
$$

定義：

$$
\boxed{
H_m(J)
=
\bigcap_{r\in J}
P_{m,r}.
}
$$

如果：

$$
|J|=q,
$$

稱：

$$
H_m(J)
$$

為：

# q-Hypercell

它表示：

> 同一個 offset 同時被 $J$ 中全部 q 個 distinct prime-groups覆蓋。

---

# 3. q-Support as Hypercell Union

令：

$$
\mathcal J_q(m)
=
\left\{
J\subseteq Q_m:
|J|=q,
\quad
H_m(J)\neq\varnothing
\right\}.
$$

則：

## Theorem SRBRD-05-T01

$$
\boxed{
\{d:\mu_m(d)\ge q\}
=
\bigcup_{J\in\mathcal J_q(m)}
H_m(J).
}
$$

因此：

$$
\boxed{
S_q(m)
=
\left|
\bigcup_{J\in\mathcal J_q(m)}
H_m(J)
\right|.
}
$$

---

# 4. Hypercell Mass Equals Occupancy Moment

每個：

$$
d
$$

若：

$$
\mu_m(d)=k,
$$

則它屬於：

$$
\binom{k}{q}
$$

個 q-hypercells。

所以：

## Theorem SRBRD-05-T02

$$
\boxed{
\sum_{J\in\mathcal J_q(m)}
|H_m(J)|
=
B_q(m).
}
$$

這是 SRBRD-02 moment double-count theorem的 hypercell form。

---

# 5. Canonical Side Options

SRBRD-01 已證：

若：

$$
r\mid m,
$$

則：

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

若：

$$
r\nmid m,
$$

則：

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

因此可定義 canonical side option：

$$
\boxed{
\Sigma_m(r)
=
\begin{cases}
\{R\},
&
r\mid m,
\\
\{L,R\},
&
r\nmid m.
\end{cases}
}
$$

這將 same-prime side ambiguity徹底消除。

---

# 6. Canonical-Oriented Hypercell

對：

$$
J\subseteq Q_m
$$

與 side assignment：

$$
\alpha:
J\to\{L,R\},
$$

要求：

$$
\alpha(r)\in\Sigma_m(r).
$$

定義：

$$
\boxed{
K_m(J,\alpha)
=
\bigcap_{r\in J}
O_{\alpha(r),r}^{\mathrm{can}},
}
$$

其中：

- $r\mid m$ 時只有 canonical right cell；
- $r\nmid m$ 時 left / right即原 cells。

---

# 7. Canonical Orientation Decomposition

## Theorem SRBRD-05-T03

對 fixed：

$$
J,
$$

有：

$$
\boxed{
H_m(J)
=
\bigsqcup_{\alpha\in\mathcal A_m(J)}
K_m(J,\alpha),
}
$$

其中：

$$
\mathcal A_m(J)
=
\prod_{r\in J}
\Sigma_m(r).
$$

而且這個 union是 disjoint。

原因：

- center-divisor prime只有一個 canonical side；
- noncenter prime的 left / right cells彼此 disjoint。

所以每個 offset在 fixed：

$$
J
$$

下有唯一 canonical side signature。

---

# 8. Oriented CRT Modulus

令：

$$
J=\{r_1,\ldots,r_q\}.
$$

定義：

$$
\boxed{
M_J
=
2\prod_{r\in J}r.
}
$$

canonical oriented hypercell要求：

$$
d\equiv m-1\pmod2
$$

以及對每個：

$$
r\in J,
$$

若：

$$
\alpha(r)=L,
$$

則：

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

若：

$$
\alpha(r)=R,
$$

則：

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

因：

$$
2
$$

與 distinct odd primes pairwise coprime，

CRT給唯一：

$$
\boxed{
c_{J,\alpha}
\pmod{M_J}.
}
$$

---

# 9. Oriented Root Interval

對 assignment：

$$
\alpha,
$$

所有 right witnesses要求：

$$
d\ge
\max(0,r^2-m).
$$

所有 left witnesses要求：

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

再加 global：

$$
0\le d\le m-3.
$$

所以定義：

$$
\boxed{
A_{J,\alpha}
=
\max
\left(
0,
\max_{\alpha(r)=R}
(r^2-m)
\right),
}
$$

$$
\boxed{
B_{J,\alpha}
=
\min
\left(
m-3,
\min_{\alpha(r)=L}
(m-r^2)
\right).
}
$$

empty-side extrema按 global endpoints處理。

---

# 10. Exact Oriented Hypercell Form

## Theorem SRBRD-05-T04

$$
\boxed{
K_m(J,\alpha)
=
\left\{
d:
A_{J,\alpha}\le d\le B_{J,\alpha},
\quad
d\equiv c_{J,\alpha}\pmod{M_J}
\right\}.
}
$$

若：

$$
A_{J,\alpha}>B_{J,\alpha},
$$

則：

$$
K_m(J,\alpha)=\varnothing.
$$

---

# 11. Exact Arithmetic Progression Count

定義：

$$
\operatorname{APCount}(A,B;M,c)
$$

為：

$$
[A,B]
$$

內：

$$
d\equiv c\pmod M
$$

的整數數量。

若：

$$
d_0
$$

是：

$$
\ge A
$$

的最小同餘解，

則：

$$
\boxed{
\operatorname{APCount}
=
\begin{cases}
0,
&
d_0>B,
\\
1+
\left\lfloor
\frac{B-d_0}{M}
\right\rfloor,
&
d_0\le B.
\end{cases}
}
$$

---

# 12. Exact Oriented Hypercell Cardinality

由 T04：

$$
\boxed{
|K_m(J,\alpha)|
=
\operatorname{APCount}
\left(
A_{J,\alpha},
B_{J,\alpha};
M_J,
c_{J,\alpha}
\right).
}
$$

所以：

$$
\boxed{
|H_m(J)|
=
\sum_{\alpha\in\mathcal A_m(J)}
|K_m(J,\alpha)|.
}
$$

這完全不需要 endpoint primality classification。

---

# 13. Arithmetic Nature of Hypercell Weights

計算：

$$
|H_m(J)|
$$

只需要：

- center $m$；
- witness primes $J$；
- divisibility $r\mid m$；
- CRT；
- square bounds；
- finite AP count。

因此：

$$
\boxed{
|H_m(J)|
}
$$

是：

# Proof-Admissible Structural Quantity

不是 Goldbach TruthLabel。

---

# 14. Face-Adjacent q-Hypercells

對：

$$
J,K\in\mathcal J_q(m),
$$

稱它們 face-adjacent，如果：

$$
\boxed{
|J\cap K|=q-1.
}
$$

等價：

$$
|J\cup K|=q+1.
$$

---

# 15. Exact Edge Intersection

若：

$$
J,K
$$

face-adjacent，

則：

$$
\boxed{
H_m(J)\cap H_m(K)
=
H_m(J\cup K).
}
$$

所以 edge overlap weight：

$$
\boxed{
w_m(J,K)
=
|H_m(J\cup K)|.
}
$$

這只需要一個：

$$
(q+1)
$$

-prime hypercell count。

---

# 16. q-Hyper-Support Graph

定義 graph：

$$
\boxed{
G_q(m)
}
$$

其 vertices：

$$
\mathcal J_q(m),
$$

其 edge：

$$
(J,K)
$$

當且僅當：

1. $J,K$ face-adjacent；
2. $H_m(J\cup K)\neq\varnothing$。

edge weight：

$$
w_m(J,K).
$$

---

# 17. Hyperforest Certificate

取：

$$
G_q(m)
$$

任意 spanning forest：

$$
F.
$$

定義 forest correction：

$$
\boxed{
W_q(m;F)
=
\sum_{(J,K)\in E(F)}
w_m(J,K).
}
$$

---

# 18. Hyperforest Support Upper Bound

## Theorem SRBRD-05-T05

對任何 spanning forest：

$$
F,
$$

有：

$$
\boxed{
S_q(m)
\le
B_q(m)
-
W_q(m;F).
}
$$

---

# 19. T05 Proof

對 forest每一 component選 root。

逐個加入 child hypercell：

$$
H_m(J).
$$

它相對已加入 union新增的元素數至多：

$$
|H_m(J)|
-
|H_m(J)\cap H_m(\operatorname{parent}(J))|.
$$

將 component內全部 vertices相加。

再把所有 components相加。

vertex cardinality總和：

$$
B_q.
$$

edge overlap總和：

$$
W_q.
$$

所以：

$$
S_q\le B_q-W_q.
$$

---

# 20. Maximum Face-Forest Correction

在所有 spanning forests中取最大：

$$
\boxed{
F_q^{\mathrm{face}}(m)
=
\max_F
W_q(m;F).
}
$$

這就是：

$$
G_q(m)
$$

的 maximum spanning forest total weight。

因此：

## Corollary SRBRD-05-C01

$$
\boxed{
S_q(m)
\le
H_q^{\mathrm{forest}}(m)
}
$$

其中：

$$
\boxed{
H_q^{\mathrm{forest}}(m)
=
B_q(m)
-
F_q^{\mathrm{face}}(m).
}
$$

---

# 21. Relation to SRBRD-01

當：

$$
q=1,
$$

vertices就是：

$$
\{r\},
$$

也就是 prime-group cells：

$$
P_{m,r}.
$$

所有 distinct vertices都共享：

$$
q-1=0
$$

個 primes，

所以 face-adjacent graph就是 prime-cell overlap graph。

因此：

$$
\boxed{
SRBRD\mbox{-}05,\ q=1
}
$$

退化成：

$$
\boxed{
SRBRD\mbox{-}01
\text{ maximum-overlap tree bound}.
}
$$

這證明 tree compression其實是 Hyper-Support Forest Hierarchy的第一階。

---

# 22. Hyperforest Error Correction

SRBRD-04：

$$
qE_q
\ge
B_q-S_q.
$$

又：

$$
S_q
\le
B_q-F_q^{face}.
$$

所以：

$$
B_q-S_q
\ge
F_q^{face}.
$$

因此：

## Theorem SRBRD-05-T06

$$
\boxed{
E_q(m)
\ge
\left\lceil
\frac{
F_q^{\mathrm{face}}(m)
}{q}
\right\rceil.
}
$$

這是本輪主 correction theorem。

---

# 23. Hyperforest-Corrected Union Upper Bound

SRBRD-03：

$$
|\mathcal O_m|
=
U_q-E_q.
$$

所以：

## Theorem SRBRD-05-T07

$$
\boxed{
|\mathcal O_m|
\le
U_q(m)
-
\left\lceil
\frac{
F_q^{\mathrm{face}}(m)
}{q}
\right\rceil.
}
$$

---

# 24. Hyperforest Non-Cover Certificate

## Theorem SRBRD-05-T08

若：

$$
\boxed{
U_q(m)
-
\left\lceil
\frac{
F_q^{\mathrm{face}}(m)
}{q}
\right\rceil
<
|\Omega_m|,
}
$$

則：

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

所以：

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

---

# 25. Combine with SRBRD-04 Support Envelope

SRBRD-04已有：

$$
S_q\le H_q.
$$

現在另有：

$$
S_q\le H_q^{forest}.
$$

所以定義：

$$
\boxed{
H_q^{\mathrm{arith}}(m)
=
\min
\left(
H_q(m),
H_q^{forest}(m)
\right).
}
$$

則：

$$
\boxed{
S_q\le H_q^{arith}.
}
$$

因此還可以使用：

$$
\boxed{
E_q
\ge
\left\lceil
\frac{
(B_q-H_q^{arith})_+
}{q}
\right\rceil.
}
$$

在只有 forest provider時，

這正好退化成：

$$
\left\lceil
F_q^{face}/q
\right\rceil.
$$

---

# 26. Why Face Adjacency Is Chosen

兩個 q-prime sets若只差一個 prime：

$$
|J\cap K|=q-1,
$$

則 edge intersection：

$$
H_{J\cup K}
$$

只提升到：

$$
q+1
$$

階。

所以：

$$
\boxed{
q\text{-support compression}
}
$$

只需要：

$$
q
$$

與：

$$
q+1
$$

階 arithmetic hypercells。

不需要任意：

$$
2q
$$

階 pair intersection。

這控制 certificate complexity。

---

# 27. Full Hypercell Graph Optional

更強但成本更高的版本可以允許任意：

$$
J,K
$$

只要：

$$
H_J\cap H_K\neq\varnothing.
$$

weight：

$$
|H_{J\cup K}|.
$$

這可能需要：

$$
q+1,\ldots,2q
$$

階 hypercell counts。

V1-05 canonical core只採：

$$
\boxed{
\text{face-adjacent graph}
}
$$

以保持 closure order局部。

---

# 28. Hyperforest Certificate Is Verifiable

formal proof不需要真的證：

$$
F
$$

是 maximum。

任何 forest：

$$
F
$$

都給 sound bound：

$$
S_q\le B_q-W_q(F).
$$

所以 machine certificate可以只包含：

1. vertex q-subsets；
2. forest edge list；
3. each edge hypercell count；
4. acyclicity certificate。

maximum spanning forest只是：

> 搜尋更強 certificate 的計算策略。

---

# 29. Running-Overlap Exactness Condition

對 rooted forest：

$$
F,
$$

若每個 non-root vertex：

$$
J
$$

滿足：

$$
\boxed{
H_J
\cap
\left(
\bigcup_{\text{earlier }K}H_K
\right)
=
H_J
\cap
H_{\operatorname{parent}(J)},
}
$$

則 forest union bound變 equality。

因此：

## Theorem SRBRD-05-T09

在 running-overlap condition下：

$$
\boxed{
S_q
=
B_q-W_q(F).
}
$$

這是一種 hypercell join-tree / acyclic-cover condition。

---

# 30. Why Exact Support Matters

若：

$$
S_q
$$

被 exact forest certificate求出，

SRBRD-04 的：

$$
qE_q\ge B_q-S_q
$$

仍通常只是 lower bound，

但 support uncertainty被完全消除。

因此下一個 gap只剩：

> occupancy在 support內到底多高？

這把 error problem再壓一層。

---

# 31. Finite Control：$m=199,\ q=3$

exact audit：

$$
|\Omega|=99,
$$

$$
B_3=21,
$$

$$
S_3=15.
$$

face-hyperforest：

$$
F_3^{face}=6.
$$

所以：

$$
H_3^{forest}
=
21-6
=
15.
$$

即：

$$
\boxed{
H_3^{forest}=S_3.
}
$$

support被 exact recovery。

Bonferroni：

$$
U_3=94.
$$

error correction：

$$
\left\lceil
\frac63
\right\rceil
=
2.
$$

所以：

$$
|\mathcal O|
\le92.
$$

actual union：

$$
92.
$$

在此 case整個 certificate達 exact。

---

# 32. Finite Control：$m=1000,\ q=3$

$$
|\Omega|=499,
$$

$$
B_3=259,
$$

$$
S_3=124.
$$

SRBRD-04 generic support envelope：

$$
H_3=218.
$$

face-hyperforest：

$$
F_3^{face}=105.
$$

所以：

$$
\boxed{
H_3^{forest}
=
259-105
=
154.
}
$$

比：

$$
218
$$

明顯更緊。

correction：

$$
\left\lceil
\frac{105}{3}
\right\rceil
=
35.
$$

因此：

$$
|\mathcal O|
\le
511-35
=
476
<
499.
$$

所以：

$$
\boxed{
q=3
}
$$

再次 structural-certify success。

actual union：

$$
462.
$$

---

# 33. Comparison with SRBRD-04 at $m=1000$

SRBRD-04：

$$
H_3=218,
$$

只得到：

$$
E_3\ge14,
$$

所以 upper：

$$
497.
$$

SRBRD-05：

$$
H_3^{forest}=154,
$$

得到：

$$
E_3\ge35,
$$

所以 upper：

$$
476.
$$

因此 arithmetic hyper-support compression真正改善 certificate margin：

$$
\boxed{
497\to476.
}
$$

---

# 34. Finite Control：$m=5000,\ q=3$

$$
|\Omega|=2499,
$$

$$
B_3=2870,
$$

$$
U_3=3159.
$$

face forest：

$$
F_3^{face}=1275.
$$

所以：

$$
H_3^{forest}
=
1595.
$$

correction：

$$
\left\lceil
\frac{1275}{3}
\right\rceil
=
425.
$$

corrected upper：

$$
3159-425
=
2734.
$$

仍：

$$
2734>2499.
$$

所以：

$$
\boxed{
q=3
}
$$

仍不足。

這是一個重要 no-go control。

---

# 35. Finite Control：$m=5000,\ q=5$

$$
B_5=175,
$$

exact：

$$
S_5=85.
$$

face-hyperforest：

$$
F_5^{face}=90.
$$

所以：

$$
\boxed{
H_5^{forest}
=
175-90
=
85
=
S_5.
}
$$

再次 exact recover support。

correction：

$$
\left\lceil
\frac{90}{5}
\right\rceil
=
18.
$$

SRBRD-02：

$$
U_5=2390.
$$

所以：

$$
\boxed{
2390-18
=
2372.
}
$$

這正好等於 exact obstruction union。

因此：

$$
\boxed{
\text{q=5 face-hyperforest certificate在 }m=5000\text{ 達 exact closure。}
}
$$

---

# 36. Finite Scan：$3\le m\le1000$

本輪 computational audit使用：

$$
q=3
$$

face-hyperforest correction：

$$
U_3
-
\left\lceil
F_3^{face}/3
\right\rceil.
$$

在：

$$
3\le m\le1000
$$

的：

$$
998
$$

個 cases中：

$$
\boxed{
998/998
}
$$

全部被 third-order hyperforest certificate證成 non-cover。

這是 computational evidence，不是 theorem。

---

# 37. Finite Scan：$3\le m\le5000$

同一：

$$
q=3
$$

certificate在：

$$
4998
$$

個 cases中成功：

$$
\boxed{
2300
}
$$

個。

第一個 scan failure出現在：

$$
\boxed{
m=1094.
}
$$

所以：

$$
\boxed{
\text{q=3 face-hyperforest並非 universal closure。}
}
$$

但相比 SRBRD-04 generic support correction，third-order可證範圍明顯擴大。

---

# 38. Hyperforest Correction as Arithmetic Support Bound

這一輪真正的 proof gain不是：

> 多算一次 inclusion-exclusion。

而是：

> 利用 q-hypercells之間的 arithmetic overlap，直接證 high-occupancy support不能像 generic occupancy model那麼大。

所以：

$$
\boxed{
H_q^{forest}
}
$$

正是 SRBRD-04 所要求的：

$$
\boxed{
H_q^{arith}.
}
$$

---

# 39. Why This Is More Structural Than $B_{q+1}$

完整：

$$
B_{q+1}
$$

把所有：

$$
(q+1)
$$

-prime hyperintersection mass全部相加。

face forest只選一個：

$$
\boxed{
\text{acyclic subset of strategically useful }(q+1)\text{-overlaps}.
}
$$

因此：

- theorem更容易驗證；
- certificate可以稀疏；
- 不需要完整 next moment；
- 可以用 maximum spanning forest搜尋強 certificate。

---

# 40. Certificate Complexity

若：

$$
V_q
=
|\mathcal J_q(m)|
$$

為 nonempty q-hypercells數，

spanning forest只需要至多：

$$
\boxed{
V_q-c
}
$$

條 edges，

其中：

$$
c
$$

是 graph components數。

所以 correction certificate大小是 linear in hypercell vertex count，

不是 all pair intersections。

---

# 41. Arithmetic Node Generation

node：

$$
H_m(J)
$$

可以不用掃描所有：

$$
d.
$$

由 canonical-oriented CRT decomposition直接 exact生成。

因此 future formal / certificate pipeline可以：

1. enumerate q-prime subsets；
2. 對每個 subset enumerate canonical side signatures；
3. CRT求 residue；
4. interval求 count；
5. 丟掉 empty hypercells；
6. 建 face graph；
7. 求 maximum spanning forest；
8. 驗 certificate。

---

# 42. Arithmetic Edge Generation

若：

$$
J,K
$$

face-adjacent，

edge weight：

$$
|H_m(J\cup K)|.
$$

所以 edge weight也可以用相同 CRT/root algorithm，

不需要把 node sets materialize成 offset lists。

這使 certificate更接近 symbolic finite arithmetic。

---

# 43. Hyperforest Hierarchy

現在 SRBRD compression可統一成：

### q = 1

prime-cell tree：

$$
P_r.
$$

### q = 3

triple-support forest。

### q = 5

five-prime support forest。

一般：

$$
\boxed{
q\text{-Hyper-Support Forest}
}
$$

直接服務 odd Bonferroni order：

$$
q.
$$

---

# 44. Why q Should Match Bonferroni Order

SRBRD-04：

$$
qE_q\ge B_q-S_q.
$$

所以要 lower-bound：

$$
E_q,
$$

最自然就直接 upper-bound：

$$
S_q.
$$

q-hyperforest恰好以：

$$
B_q
$$

作 node mass，

並把它壓成 support union。

這使 hierarchy在 algebra上閉合。

---

# 45. Higher q Tradeoff

提高：

$$
q
$$

有兩個效果：

### 優點

- Bonferroni本身通常更準；
- high occupancy support較小；
- hypercells更 sparse。

### 成本

- q-subset nodes數可能增加；
- CRT modulus product更大；
- side signatures最多：
  $$
  2^q.
  $$

所以 future proof需要：

$$
\boxed{
\text{minimal sufficient q}
}
$$

而不是盲目升階。

---

# 46. Running-Intersection as New Closure Target

在若干 finite controls：

$$
H_q^{forest}
=
S_q.
$$

這表示 q-hypercell family在 chosen forest下具有實質 join-tree behavior。

因此下一個可能 theorem是：

> 哪些 center / q / witness regimes 迫使 hyper-support family接近 acyclic？

若能證大範圍：

$$
S_q
=
B_q-F_q,
$$

support問題會大幅簡化。

---

# 47. But Exact Support Is Still Not Enough

即使：

$$
S_q
$$

exact已知，

SRBRD-04 only gives：

$$
qE_q\ge B_q-S_q.
$$

這不總是 equality。

所以 uniform closure還可能需要：

- support內 occupancy distribution；
- higher forest layers；
- local component structure；
- cofactor multiplicity。

---

# 48. New Residual Formula with Forest Correction

從：

$$
|\operatorname{Res}|
=
|\Omega|-U_q+E_q
$$

與 T06：

$$
\boxed{
|\operatorname{Res}(m)|
\ge
|\Omega_m|
-
U_q(m)
+
\left\lceil
\frac{
F_q^{face}(m)
}{q}
\right\rceil.
}
$$

這是本輪最短的 practical theorem。

---

# 49. Stronger Combined Provider

可以把 SRBRD-04 與 SRBRD-05 support bounds合併。

定義：

$$
\boxed{
H_q^{best}
=
\min
\left(
H_q^{generic},
H_q^{forest}
\right).
}
$$

則：

$$
\boxed{
L_{E,q}^{best}
=
\left\lceil
\frac{
(B_q-H_q^{best})_+
}{q}
\right\rceil.
}
$$

再與 SRBRD-03 的：

$$
B_{q+1}/\kappa
$$

provider取 max：

$$
\boxed{
L_{E,q}^{combined}
=
\max
\left(
L_{E,q}^{best},
L_{E,q}^{cap},
L_{E,q}^{layer}
\right).
}
$$

只要每個都是 rigorous lower bound，

取 max仍 rigorous。

---

# 50. Formal Theorem Queue

```yaml
SRBRD_05:
  T01: q_support_eq_union_of_q_hypercells
  T02: q_hypercell_mass_eq_Bq
  T03: canonical_orientation_disjoint_decomposition
  T04: oriented_hypercell_exact_CRT_interval
  T05: face_forest_support_upper_bound
  T06: hyperforest_error_lower_bound
  T07: hyperforest_corrected_union_upper_bound
  T08: hyperforest_noncover_certificate
  T09: running_overlap_implies_exact_support
```

---

# 51. Acceptance Gate

SRBRD-05 正式化前需：

1. q-hypercell definition；
2. support-union equivalence；
3. node-mass $=B_q$；
4. canonical side option theorem；
5. oriented decomposition disjointness；
6. exact CRT residue；
7. exact interval bounds；
8. exact APCount；
9. face-adjacent intersection theorem；
10. spanning forest union upper bound；
11. maximum forest definition or certificate interface；
12. forest-to-error correction；
13. q=1 bridge to SRBRD-01；
14. running-overlap exactness condition；
15. computational audit與 proof分離；
16. no uniform Goldbach claim。

---

# 52. Verdict

本輪可以正式給：

$$
\boxed{
\mathrm{SRBRD\mbox{-}05\ ARITHMETIC\ HYPER\mbox{-}SUPPORT\ COMPRESSION\ PASS}
}
$$

原因：

$$
\boxed{
S_q
}
$$

不再只由 generic moment inequality upper-bound，

而能利用：

- exact CRT；
- root intervals；
- same-prime collapse；
- q-hypercell adjacency；
- sparse forest overlap；

取得真正 arithmetic support compression。

尤其 finite controls：

- $m=199,q=3$：
  support exact；
- $m=1000,q=3$：
  certificate margin顯著改善；
- $m=5000,q=5$：
  hyperforest correction直接恢復 exact obstruction union；
- $3\le m\le1000$：
  q=3 certificate全數通過。

但是：

$$
\boxed{
m=1094
}
$$

開始出現 q=3 scan failure，

而：

$$
m=5000,q=3
$$

也明確失敗。

所以：

$$
\boxed{
\mathrm{UNIFORM\ GOLDBACH\ CLOSURE\ STILL\ OPEN}.
}
$$

---

# 53. 下一輪建議

# SRBRD-06
## Hyperforest Component / Cofactor Multiplicity Closure

下一輪應該不再只是加高 q。

優先研究：

1. 為什麼 q-hypercell family有時是 join-tree-like；
2. graph components與 center divisors的關係；
3. forest尚未捕捉的 cycle redundancy；
4. cycle-space correction；
5. 同一 offset在一個 component中能出現多少 q-hypercells；
6. cofactor representation對 hypercell cycles的限制；
7. 是否能從 component excess edges強迫額外 Bonferroni error；
8. 建立：
   $$
   E_q
   \ge
   \frac{F_q+C_q^{cycle}}{q}
   $$
   類型的 stronger provider。

這將直接攻擊 SRBRD-05 已經暴露的剩餘 gap：

$$
\boxed{
\text{forest只捕捉 acyclic overlap，cycle redundancy仍未被利用。}
}
$$

---

# 附錄 A：Canonical Hyper-Support Contract

```yaml
qHypercell:
  H_J:
    intersection:
      P_r for r in J

qSupport:
  S_q:
    union:
      H_J for card(J)=q

mass:
  B_q:
    sum_card_H_J: true

canonical_orientation:
  if_r_divides_m:
    sides: [R]
  else:
    sides: [L,R]

oriented_cell:
  modulus:
    2 * product(J)
  interval:
    root_truncated: true
  exact_AP_count: true
```

---

# 附錄 B：Face-Forest Contract

```yaml
graph:
  vertices:
    nonempty_q_hypercells
  edge:
    share_q_minus_1_primes: true
    union_hypercell_nonempty: true
  weight:
    card(H_(J_union_K))

forest:
  correction:
    sum_edge_weights

theorem:
  S_q <= B_q - correction

maximum:
  F_q_face:
    maximum_spanning_forest_weight
```

---

# 附錄 C：Selected Numerical Audit

| $m$ | $q$ | $B_q$ | Exact $S_q$ | Generic $H_q$ | Face-forest correction | Forest support upper | $U_q$ | Forest-corrected union upper | Exact union |
|---:|---:|---:|---:|---:|---:|---:|---:|---:|---:|
| 199 | 3 | 21 | 15 | 27 | 6 | 15 | 94 | 92 | 92 |
| 1000 | 3 | 259 | 124 | 218 | 105 | 154 | 511 | 476 | 462 |
| 5000 | 3 | 2870 | 908 | 1735 | 1275 | 1595 | 3159 | 2734 | 2372 |
| 5000 | 5 | 175 | 85 | 188 | 90 | 85 | 2390 | 2372 | 2372 |

**注意：** Exact support / exact union只作 audit truth channel；forest weights由 arithmetic hypercell intersections直接計算。

---

# 附錄 D：Computational Scan

```yaml
range:
  m:
    min: 3
    max: 1000

q3_face_forest_certificate:
  passed: 998
  total: 998

extended_range:
  m:
    min: 3
    max: 5000

q3_face_forest_certificate:
  passed: 2300
  total: 4998
  first_failure: 1094

status:
  computational_evidence_only: true
```

---

# 附錄 E：Commit Decision

```yaml
research_round: SRBRD-05

decision:
  arithmetic_hypersupport_compression: true
  q1_tree_generalized: true
  sparse_forest_certificate: true
  uniform_goldbach_closure: false

new_exact_structures:
  - canonical_oriented_hypercells
  - exact_CRT_interval_cardinality
  - face_adjacent_hyper_support_graph
  - maximum_spanning_forest_support_bound
  - hyperforest_Bonferroni_error_correction
  - running_overlap_exactness_condition

next:
  SRBRD-06_Hyperforest_Component_Cofactor_Multiplicity_Closure
```