# SRBRD-10
## Uniform Moment Envelope / Dual-Polynomial Closure
### Signed Moment Providers、Phase-Free Hypercell Brackets、Exact First Moment 與 CRT Phase-Discrepancy Barrier

**母計畫：** RG-SCP / Reverse Goldbach Structural Closure Program  
**支線：** SRBRD — Symmetric Root-Bounded Relation Domain  
**輪次：** SRBRD-10  
**日期：** 2026-09-30  
**版本：** v0.1  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**性質：** Uniform Bound Interface / Signed Moment Envelope / Barrier Audit  
**前置：** SRBRD-00 ～ SRBRD-09  
**狀態：** 建立 uniform moment-provider contract並定位 CRT phase discrepancy 為主要剩餘瓶頸；尚未得到 uniform Goldbach closure

---

# 0. 本輪任務

SRBRD-09 已把 fixed-$m$ non-cover certificate寫成：

$$
\boxed{
|\mathcal O_m|
\le
\sum_{j=1}^{s}
\lambda_j B_j(m)
}
$$

只要 polynomial：

$$
P(k)
=
\sum_{j=1}^{s}
\lambda_j
\binom{k}{j}
$$

在：

$$
k=0,\ldots,\kappa(m)
$$

上滿足：

$$
P(0)=0,
$$

$$
P(k)\ge1
\quad
(k\ge1).
$$

fixed-$m$ 時可以 exact計算：

$$
B_j(m).
$$

但 uniform Goldbach proof不能只依賴：

> 對每個 $m$ 都把 moments exact算完。

所以 SRBRD-10 的問題是：

> 能否將每個 moment $B_j$ 替換成 proof-admissible 的 uniform upper / lower envelope，並保持 polynomial certificate sound？

答案分成兩部分：

1. **Signed moment envelope contract 可以完整建立。**
2. **目前最自然的 phase-free envelopes仍太鬆，且主要 gap集中於 positive-coefficient moments 的 CRT phase-hit upper bound。**

因此本輪是一個：

$$
\boxed{
\text{Uniformization Interface PASS}
}
$$

同時也是：

$$
\boxed{
\text{CRT Phase-Discrepancy Barrier IDENTIFIED}.
}
$$

---

# 1. Signed Moment Envelope Principle

假設對每個：

$$
j=1,\ldots,s
$$

有 rigorous bounds：

$$
\boxed{
L_j(m)\le B_j(m)\le U_j(m).
}
$$

給 polynomial coefficients：

$$
\lambda_j.
$$

定義 signed envelope：

$$
\boxed{
\mathcal U_P(m)
=
\sum_{\lambda_j\ge0}
\lambda_jU_j(m)
+
\sum_{\lambda_j<0}
\lambda_jL_j(m).
}
$$

---

# 2. Signed Envelope Theorem

## Theorem SRBRD-10-T01

若：

$$
P(k)
=
\sum_j
\lambda_j\binom{k}{j}
$$

在：

$$
0\le k\le\kappa(m)
$$

上 majorize：

$$
\mathbf1_{\{k\ge1\}},
$$

且：

$$
L_j\le B_j\le U_j,
$$

則：

$$
\boxed{
|\mathcal O_m|
\le
\mathcal U_P(m).
}
$$

proof：

SRBRD-09：

$$
|\mathcal O_m|
\le
\sum_j\lambda_jB_j.
$$

若：

$$
\lambda_j\ge0,
$$

替換：

$$
B_j\le U_j.
$$

若：

$$
\lambda_j<0,
$$

替換：

$$
L_j\le B_j
$$

會得到：

$$
\lambda_jB_j
\le
\lambda_jL_j.
$$

所以 theorem成立。

---

# 3. Uniform Non-Cover Contract

## Corollary SRBRD-10-C01

若：

$$
\boxed{
\mathcal U_P(m)
<
|\Omega_m|,
}
$$

則：

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

所以：

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

這就是 uniform dual-polynomial theorem真正需要的接口。

---

# 4. Provider Polarity

這個 theorem將 moment provider分成兩類。

### Positive Coefficient

若：

$$
\lambda_j>0,
$$

需要：

$$
\boxed{
B_j\le U_j.
}
$$

### Negative Coefficient

若：

$$
\lambda_j<0,
$$

需要：

$$
\boxed{
L_j\le B_j.
}
$$

所以不是所有 moments都要同方向估計。

---

# 5. Exact First Moment

第一個 moment：

$$
B_1(m)
=
\sum_{r\in Q_m}
|P_{m,r}|.
$$

SRBRD-01 已給每個 prime-group cell exact cardinality。

對 odd prime：

$$
r\in Q_m,
$$

定義：

$$
L_r(m)
=
\operatorname{OddCount}
\left(
r,
\left\lfloor\frac mr\right\rfloor
\right),
$$

以及：

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

---

# 6. Exact Prime-Group Cardinality

SRBRD-01：

若：

$$
r\mid m,
$$

則：

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

所以：

$$
\boxed{
|P_{m,r}|=R_r(m).
}
$$

若：

$$
r\nmid m,
$$

則兩側 disjoint：

$$
\boxed{
|P_{m,r}|
=
L_r(m)+R_r(m).
}
$$

因此：

## Theorem SRBRD-10-T02

$$
\boxed{
B_1(m)
=
\sum_{r\in Q_m}
\left[
R_r(m)
+
\mathbf1_{\{r\nmid m\}}L_r(m)
\right].
}
$$

這是完全 elementary exact formula。

---

# 7. Exact $B_1$ Is Not Truth Leakage

計算：

$$
B_1
$$

只需要：

- witness primes；
- factor divisibility；
- root interval；
- center divisibility。

不需要知道：

$$
m-d
$$

或：

$$
m+d
$$

是否 prime。

所以：

$$
\boxed{
B_1
}
$$

是合法 ProofInput。

---

# 8. Canonical Oriented Hypercell Recalled

對：

$$
U\subseteq Q_m,
$$

$$
|U|=j,
$$

以及 canonical orientation：

$$
\alpha,
$$

SRBRD-08 給：

$$
\boxed{
K_m(U,\alpha)
=
\left\{
x:
a_{U,\alpha}\le x\le b_{U,\alpha},
\quad
x\equiv c_{U,\alpha}\pmod{2P(U)}
\right\}.
}
$$

令：

$$
\boxed{
M_U=2P(U)
}
$$

以及 interval length：

$$
\boxed{
\ell_{U,\alpha}
=
\max
\left(
0,
b_{U,\alpha}-a_{U,\alpha}+1
\right).
}
$$

---

# 9. Residue-Free AP Bracket

對任意 modulus：

$$
M,
$$

任意 residue class，

在長度：

$$
\ell
$$

的 consecutive integer interval內，

該 residue出現次數一定介於：

$$
\left\lfloor\frac{\ell}{M}\right\rfloor
$$

與：

$$
\left\lceil\frac{\ell}{M}\right\rceil.
$$

所以：

## Theorem SRBRD-10-T03

$$
\boxed{
\left\lfloor
\frac{
\ell_{U,\alpha}
}{
2P(U)
}
\right\rfloor
\le
|K_m(U,\alpha)|
\le
\left\lceil
\frac{
\ell_{U,\alpha}
}{
2P(U)
}
\right\rceil.
}
$$

這不需要知道 CRT residue：

$$
c_{U,\alpha}.
$$

---

# 10. Hypercell Box Bounds

canonical orientations disjoint。

所以定義：

$$
\boxed{
L_H^{\mathrm{box}}(m,U)
=
\sum_{\alpha}
\left\lfloor
\frac{
\ell_{U,\alpha}
}{
2P(U)
}
\right\rfloor,
}
$$

$$
\boxed{
U_H^{\mathrm{box}}(m,U)
=
\sum_{\alpha}
\left\lceil
\frac{
\ell_{U,\alpha}
}{
2P(U)
}
\right\rceil.
}
$$

則：

## Theorem SRBRD-10-T04

$$
\boxed{
L_H^{\mathrm{box}}(m,U)
\le
|H_m(U)|
\le
U_H^{\mathrm{box}}(m,U).
}
$$

---

# 11. Per-Orientation Uncertainty Is At Most One

對任何：

$$
\ell,
M,
$$

有：

$$
\left\lceil\frac{\ell}{M}\right\rceil
-
\left\lfloor\frac{\ell}{M}\right\rfloor
\in\{0,1\}.
$$

所以：

## Corollary SRBRD-10-C02

$$
\boxed{
0
\le
U_H^{box}-L_H^{box}
\le
|\mathcal A_m^{\mathrm{nonempty-box}}(U)|.
}
$$

也就是：

> phase-free uncertainty每個 orientation最多只差一個 lattice hit。

---

# 12. Moment Box Envelopes

定義：

$$
\boxed{
L_j^{\mathrm{box}}(m)
=
\sum_{\substack{
U\subseteq Q_m\\
|U|=j
}}
L_H^{box}(m,U),
}
$$

$$
\boxed{
U_j^{\mathrm{box}}(m)
=
\sum_{\substack{
U\subseteq Q_m\\
|U|=j
}}
U_H^{box}(m,U).
}
$$

由：

$$
B_j
=
\sum_{|U|=j}|H_m(U)|,
$$

得到：

## Theorem SRBRD-10-T05

$$
\boxed{
L_j^{box}(m)
\le
B_j(m)
\le
U_j^{box}(m).
}
$$

這是第一組完全 uniform、完全不需要 exact CRT phase的 moment envelopes。

---

# 13. Phase-Uncertainty Budget

定義：

$$
\boxed{
A_j^{\mathrm{box}}(m)
=
\sum_{\substack{
U\subseteq Q_m\\
|U|=j
}}
|\mathcal A_m^{\mathrm{nonempty-box}}(U)|.
}
$$

則：

## Corollary SRBRD-10-C03

$$
\boxed{
0
\le
U_j^{box}-L_j^{box}
\le
A_j^{box}.
}
$$

所以 uniform moment uncertainty已被精確定位成：

$$
\boxed{
\text{orientation-level CRT phase-hit uncertainty}.
}
$$

---

# 14. All-Right Uniform Lower Provider

所有 primes都允許 canonical right：

- center divisor prime：right強制；
- noncenter prime：right允許。

所以：

$$
\boxed{
\alpha_R(r)=R
\quad
\forall r\in U
}
$$

永遠是合法 canonical orientation。

若：

$$
\max(U)^2\le m,
$$

則 right root bound對：

$$
y=m+d\ge m
$$

自動成立。

left endpoint interval：

$$
3\le x\le m.
$$

長度：

$$
m-2.
$$

因此：

## Theorem SRBRD-10-T06

若：

$$
\max(U)^2\le m,
$$

則：

$$
\boxed{
|H_m(U)|
\ge
\left\lfloor
\frac{
m-2
}{
2P(U)
}
\right\rfloor.
}
$$

---

# 15. Uniform Right-Seed Moment Lower Bound

令：

$$
Q_m^{\sqrt{}}
=
\left\{
r\in\mathbb P_{\mathrm{odd}}:
r^2\le m
\right\}.
$$

則：

## Corollary SRBRD-10-C04

$$
\boxed{
B_j(m)
\ge
L_j^{R}(m)
}
$$

其中：

$$
\boxed{
L_j^R(m)
=
\sum_{\substack{
U\subseteq Q_m^{\sqrt{}}\\
|U|=j
}}
\left\lfloor
\frac{
m-2
}{
2P(U)
}
\right\rfloor.
}
$$

這是一個非常簡單的 uniform negative-moment provider。

---

# 16. General Seed-Family Lower Bound

更一般，

對任何 chosen family：

$$
\mathcal S_j(m)
\subseteq
\{U\subseteq Q_m:|U|=j\},
$$

有：

$$
\boxed{
B_j(m)
\ge
\sum_{U\in\mathcal S_j}
L_H^{box}(m,U).
}
$$

所以 uniform proof可以只選：

- first few primes；
- structured prime blocks；
- center-divisor related sets；

作為 negative moment seed。

不必把全部 hypercells exact計完。

---

# 17. Positive-Moment Uniform Provider

對：

$$
\lambda_j>0,
$$

最直接：

$$
\boxed{
B_j(m)\le U_j^{box}(m).
}
$$

可以再和 SRBRD-03 local occupancy cap upper：

$$
\boxed{
U_j^{cap}(m)
=
\sum_{d\in\Omega_m}
\binom{\kappa_m(d)}{j}
}
$$

取 min：

$$
\boxed{
U_j^{+}(m)
=
\min
\left(
U_j^{box}(m),
U_j^{cap}(m)
\right).
}
$$

---

# 18. Negative-Moment Uniform Provider

對：

$$
\lambda_j<0,
$$

可取：

$$
\boxed{
L_j^{-}(m)
=
\max
\left(
L_j^{box}(m),
L_j^R(m),
L_j^{bal}(m),
L_j^{seed}(m)
\right),
}
$$

其中每一項只要各自已證：

$$
\le B_j
$$

即可安全取 max。

---

# 19. Uniform Signed Envelope

對 polynomial：

$$
P(k)
=
\sum_{j=1}^{s}\lambda_j\binom{k}{j},
$$

定義：

$$
\boxed{
\mathcal U_P^{env}(m)
=
\lambda_1B_1(m)
+
\sum_{\substack{
j\ge2\\
\lambda_j>0
}}
\lambda_jU_j^{+}(m)
+
\sum_{\substack{
j\ge2\\
\lambda_j<0
}}
\lambda_jL_j^{-}(m).
}
$$

其中：

$$
B_1
$$

使用 exact T02。

---

# 20. Uniform Envelope Closure Theorem

## Theorem SRBRD-10-T07

若：

1. $P$ majorizes occupancy indicator on：
   $$
   0,\ldots,\kappa(m);
   $$
2. 所有 moment providers rigorous；
3. 
   $$
   \boxed{
   \mathcal U_P^{env}(m)
   <
   |\Omega_m|;
   }
   $$

則：

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

這是 SRBRD-10 的正式 closure contract。

---

# 21. Volume–Phase Decomposition

T03還可以寫成更精確的解析形式。

對 orientation：

$$
\boxed{
|K_m(U,\alpha)|
=
\frac{
\ell_{U,\alpha}
}{
2P(U)
}
+
\varepsilon_{U,\alpha}(m),
}
$$

其中：

$$
\boxed{
|\varepsilon_{U,\alpha}(m)|<1.
}
$$

$\varepsilon$完全由 CRT lattice phase相對 interval endpoints決定。

---

# 22. Moment Volume Term

定義：

$$
\boxed{
V_j(m)
=
\sum_{\substack{
|U|=j\\
\alpha
}}
\frac{
\ell_{U,\alpha}
}{
2P(U)
}.
}
$$

以及 phase discrepancy：

$$
\boxed{
\Delta_j^{phase}(m)
=
\sum_{\substack{
|U|=j\\
\alpha
}}
\varepsilon_{U,\alpha}(m).
}
$$

則：

## Theorem SRBRD-10-T08

$$
\boxed{
B_j(m)
=
V_j(m)
+
\Delta_j^{phase}(m).
}
$$

且：

$$
\boxed{
|\Delta_j^{phase}(m)|
<
A_j^{box}(m).
}
$$

---

# 23. Sparse-Lattice Interpretation

若某 orientation：

$$
2P(U)>\ell_{U,\alpha},
$$

則：

$$
\left\lfloor
\frac{\ell}{2P}
\right\rfloor=0,
$$

$$
\left\lceil
\frac{\ell}{2P}
\right\rceil=1.
$$

所以：

$$
|K_m(U,\alpha)|
\in\{0,1\}.
$$

這時：

$$
\boxed{
\text{整個 moment uncertainty就是：
唯一 CRT lattice point到底有沒有擊中 interval。}
}
$$

---

# 24. Phase-Hit Variable

在 sparse orientation上定義：

$$
\boxed{
\eta_{U,\alpha}(m)
=
\mathbf1_{\{
K_m(U,\alpha)\neq\varnothing
\}}.
}
$$

則：

$$
\boxed{
|K_m(U,\alpha)|
=
\eta_{U,\alpha}(m).
}
$$

所以高 product / 高 moment order時：

$$
B_j
$$

逐漸變成：

$$
\boxed{
\text{大量 CRT phase-hit bits 的總和}.
}
$$

---

# 25. This Is the Main Uniform Barrier

root geometry已經給：

- exact interval；
- exact modulus；
- exact occupancy cap；
- exact load feasibility。

但 uniform positive-moment upper bound仍需回答：

> 在大量不同 prime-union CRT lattices中，有多少 residue phases真的擊中各自短 interval？

單純：

$$
\lceil\ell/M\rceil
$$

把每一個 orientation都當成可能命中一次，

會造成巨大 overcount。

---

# 26. Finite Audit：$m=1000$

exact：

$$
|\Omega|=499,
$$

$$
B_1=908,
$$

$$
B_2=656,
$$

$$
B_3=259.
$$

phase-free envelopes：

$$
\boxed{
573\le B_2\le781,
}
$$

$$
\boxed{
88\le B_3\le1250.
}
$$

對 degree-4：

$$
\kappa=6,
$$

$$
a=3,
$$

coefficients：

$$
1,
-\frac89,
\frac23,
-\frac13.
$$

使用 envelope：

- $B_1$ exact；
- $B_2$ lower：
  $$
  573;
  $$
- $B_3$ upper：
  $$
  1250;
  $$
- $B_4$ lower：
  $$
  0;
  $$

得到：

$$
\boxed{
\mathcal U_P^{env}
=
1232
>
499.
}
$$

所以 phase-free uniform envelope完全無法 closure。

---

# 27. Finite Audit：$m=5000$

exact：

$$
|\Omega|=2499,
$$

$$
B_1=5495,
$$

$$
B_2=5206,
$$

$$
B_3=2870,
$$

$$
B_4=944.
$$

phase-free：

$$
\boxed{
4841\le B_2\le5621,
}
$$

$$
\boxed{
1525\le B_3\le10871,
}
$$

$$
\boxed{
52\le B_4\le78261.
}
$$

degree-4：

$$
\kappa=7,
\quad
a=3,
$$

coefficients：

$$
1,
-\frac{37}{42},
\frac{9}{14},
-\frac27.
$$

使用：

- $B_1$ exact；
- $L_2=4841$；
- $U_3=10871$；
- $L_4=52$；

得到：

$$
\boxed{
\mathcal U_P^{env}
=
\frac{172283}{21}
\approx8203.952
>
2499.
}
$$

而 exact moments同 polynomial其實給：

$$
\frac{52165}{21}
\approx2484.048
<
2499.
$$

所以 gap幾乎全部來自：

$$
\boxed{
\text{positive }B_3\text{ phase-free upper bound過鬆}.
}
$$

---

# 28. Negative-Moment Side Is Already Relatively Tight

$m=5000$：

$$
B_2=5206,
$$

而 phase-free lower：

$$
4841.
$$

relative capture：

$$
\approx93\%.
$$

但：

$$
B_3=2870,
$$

phase-free upper：

$$
10871,
$$

是 exact的：

$$
\approx3.79
$$

倍。

因此目前 uniform gap不是「所有 moment bounds都不好」。

主要是：

$$
\boxed{
\text{positive-coefficient upper moments缺少 phase-hit compression}.
}
$$

---

# 29. Degree-2 Exact No-Go Controls

甚至如果 degree-2 polynomial使用 exact：

$$
B_1,B_2,
$$

selected controls仍失敗。

degree-2 cap majorant：

$$
P_\kappa^{(2)}
=
\binom{k}{1}
-
\frac2\kappa
\binom{k}{2}.
$$

所以 exact upper：

$$
B_1-\frac2\kappa B_2.
$$

controls：

### $m=1000$

$$
908-\frac26(656)
\approx689.33
>
499.
$$

### $m=5000$

$$
5495-\frac27(5206)
\approx4007.57
>
2499.
$$

### $m=100000$

$$
139168-\frac29(176344)
\approx99980.44
>
49999.
$$

所以：

$$
\boxed{
\text{只做好 }B_2\text{ lower bound並不足以 uniform close。}
}
$$

positive higher moments真的不可避免。

---

# 30. Generic Aggregate Barrier

如果只知道：

$$
n=|\Omega|,
$$

$$
B_1=S,
$$

$$
0\le\mu_d\le\kappa,
$$

而：

$$
n\le S\le\kappa n,
$$

總能構造 abstract occupancy histogram：

$$
\mu_d\ge1
$$

for every：

$$
d,
$$

且：

$$
\sum_d\mu_d=S.
$$

因此：

## Theorem SRBRD-10-T09

僅使用：

$$
|\Omega|,
\quad
B_1,
\quad
\kappa
$$

不能一般性排除 complete cover。

uniform closure一定需要：

$$
\boxed{
\text{arithmetically constrained higher-moment information}.
}
$$

---

# 31. Phase-Free Hypercell Bracket Is Essentially Sharp Without Residue Information

固定：

$$
U,\alpha,
$$

若只知道：

- interval length：
  $$
  \ell;
  $$
- modulus：
  $$
  M;
  $$

但不知道 residue phase，

那某 residue class在 interval中的 count確實可能是：

$$
\left\lfloor\frac{\ell}{M}\right\rfloor
$$

或：

$$
\left\lceil\frac{\ell}{M}\right\rceil.
$$

所以：

$$
\boxed{
\text{T03 cannot be uniformly improved from length/modulus alone}.
}
$$

要縮 gap，必須使用：

$$
\boxed{
\text{CRT residue phase across different hypercells 的共同結構}.
}
$$

---

# 32. This Is a Sieve-Like Barrier

每個 sparse hypercell都像：

> 一個 modulus：
> $$
> 2P(U)
> $$
> 上的指定 residue，問它是否落入指定短 interval。

要 upper-bound很多 positive moment hypercells，

就需要控制：

$$
\boxed{
\text{大量不同 product moduli 的 simultaneous lattice hits}.
}
$$

這開始接近：

- large-sieve type counting；
- residue-spacing；
- CRT packing；
- discrepancy；

而不只是單一 factorization identity。

本輪先把這個界面隔離，

不假裝已突破它。

---

# 33. Phase-Discrepancy Provider

定義：

$$
\boxed{
\operatorname{PhaseUpper}_j(m,\Delta)
:
\Longleftrightarrow
\Delta_j^{phase}(m)\le\Delta.
}
$$

則：

$$
\boxed{
B_j(m)
\le
V_j(m)+\Delta.
}
$$

若能證：

$$
\Delta
\ll
A_j^{box},
$$

就能顯著縮 positive moment upper。

---

# 34. Signed Phase Combination

對 polynomial certificate：

$$
P,
$$

真正需要的甚至不一定是每個：

$$
\Delta_j
$$

分別很小。

定義：

$$
\boxed{
\Delta_P^{phase}(m)
=
\sum_j
\lambda_j
\Delta_j^{phase}(m).
}
$$

則：

$$
\sum_j\lambda_jB_j
=
\sum_j\lambda_jV_j
+
\Delta_P^{phase}.
$$

所以 future theorem可以直接 bound：

$$
\boxed{
\Delta_P^{phase}
}
$$

而不是每個 moment discrepancy separately。

這可能利用不同 orders之間的 cancellation。

---

# 35. Uniform Dual Certificate Rewritten

因此真正 uniform target可以寫成：

$$
\boxed{
\sum_j\lambda_jV_j(m)
+
U_{\Delta,P}(m)
<
|\Omega_m|,
}
$$

其中：

$$
\boxed{
\Delta_P^{phase}(m)
\le
U_{\Delta,P}(m).
}
$$

如果成立，即完成 non-cover。

這是 SRBRD-10 後最集中版本。

---

# 36. Why Exact CRT Is Not the Desired Uniform Provider

SRBRD-08 已能 exact計每個：

$$
\eta_{U,\alpha}.
$$

但如果 uniform proof只做：

> 把所有 phase bits逐一算完，

那只是 finite verification，

不是 symbolic compression。

所以 SRBRD-11 要找的是：

$$
\boxed{
\text{collective phase-hit upper theorem}.
}
$$

---

# 37. Candidate Phase-Compression Sources

後續可研究：

### A. Modulus Packing

不同：

$$
2P(U)
$$

快速增長，

短 interval內同時可命中的 lattice數受限。

### B. Shared Prime Moduli

大量 hypercells共享 prime factors，

其 CRT residues不是 independent。

### C. Center Congruence

所有 residues都由同一：

$$
m
$$

生成：

$$
0,
2m,
1
$$

CRT conditions。

### D. Nested Prime-Unions

若：

$$
U\subset V,
$$

則：

$$
2P(U)\mid2P(V).
$$

高階 lattice是低階 lattice refinement。

### E. Cofactor Packing

每個 hit對應：

$$
m\pm d
=
cP(S)
$$

類型的 cofactor state。

可用 endpoint有限容量限制 simultaneous hits。

---

# 38. Positive Moment as Lattice-Hit Sum

在 exact form：

$$
\boxed{
B_j
=
\sum_{\substack{
|U|=j\\
\alpha
}}
\operatorname{APCount}
\left(
a_{U,\alpha},
b_{U,\alpha};
2P(U),
c_{U,\alpha}
\right).
}
$$

所以 positive moment upper problem本質上已完全轉成：

$$
\boxed{
\text{finite family of CRT arithmetic-progression hit counts}.
}
$$

prime predicate已不在 formula中。

---

# 39. Uniform Moment-Envelope Hierarchy

現在可定義：

### Level 0 — Cap Upper

$$
B_j\le U_j^{cap}.
$$

### Level 1 — Box Upper

$$
B_j\le U_j^{box}.
$$

### Level 2 — Phase-Compressed Upper

$$
B_j\le V_j+U_{\Delta,j}.
$$

### Level 3 — Exact CRT

$$
B_j
\text{ exact}.
$$

研究目標是：

> 在 Level 2 就得到 dual crossing。

---

# 40. Negative Moment Hierarchy

負係數側：

### Level 0

balanced generic lower。

### Level 1

all-right lower：

$$
L_j^R.
$$

### Level 2

box lower：

$$
L_j^{box}.
$$

### Level 3

selected exact CRT seed lower。

### Level 4

exact moment。

目前 finite audits顯示負側已遠比正側接近 exact。

---

# 41. New Gate

SRBRD-10 後不應再問：

> 我們能不能再寫一個更漂亮 polynomial？

因 fixed exact moments時已經有很多 polynomial可以成功。

真正 gate是：

$$
\boxed{
\text{能不能證 positive-moment CRT phase hits比 phase-free box upper少很多？}
}
$$

---

# 42. Formal Theorem Queue

```yaml
SRBRD_10:
  T01: signed_moment_envelope_theorem
  T02: exact_B1_cell_formula
  T03: residue_free_AP_floor_ceil_bracket
  T04: hypercell_box_bounds
  T05: moment_box_envelopes
  T06: all_right_uniform_hypercell_lower_bound
  T07: uniform_signed_envelope_closure
  T08: volume_phase_moment_decomposition
  T09: aggregate_B1_cap_barrier
```

---

# 43. Acceptance Gate

SRBRD-10 formal core前需要：

1. exact $B_1$ theorem；
2. AP floor/ceil theorem；
3. canonical orientation disjoint sum；
4. hypercell box lower / upper；
5. moment box sum；
6. all-right orientation theorem；
7. signed polarity substitution；
8. volume-phase decomposition；
9. sparse-hit representation；
10. finite audit用 exact rational驗證；
11. generic aggregate barrier；
12. phase-free sharpness statement；
13. no claim of uniform Goldbach closure。

---

# 44. Verdict

本輪應給兩個 verdict。

## Positive

$$
\boxed{
\mathrm{SRBRD\mbox{-}10\ UNIFORM\ MOMENT\ ENVELOPE\ INTERFACE\ PASS}
}
$$

因為：

- exact $B_1$；
- uniform moment lower providers；
- uniform moment upper providers；
- signed polynomial substitution；

已形成完整 rigorous interface。

## Negative / Gate

$$
\boxed{
\mathrm{PHASE\mbox{-}FREE\ UNIFORM\ CLOSURE\ FAILS}
}
$$

finite controls清楚顯示：

> 不使用 CRT phase-hit compression時，positive moments的 upper envelope過鬆，足以摧毀已由 exact moments取得的 polynomial crossing。

所以：

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

---

# 45. 下一輪建議

# SRBRD-11
## CRT Phase-Hit Discrepancy / Lattice-Packing Closure

下一輪應只攻一件事：

$$
\boxed{
\Delta_j^{phase}
}
$$

或直接：

$$
\boxed{
\Delta_P^{phase}.
}
$$

優先路徑：

1. nested product moduli；
2. shared-prime lattice refinement；
3. simultaneous hit packing；
4. center-generated CRT residues；
5. endpoint cofactor capacity；
6. large-sieve / spacing型 deterministic inequality；
7. 先做 fixed $j=3,4,5,6$ 的 symbolic phase upper；
8. 再回灌 degree-4 / degree-6 dual polynomial。

如果這裡能得到：

$$
\boxed{
U_{\Delta,P}
\ll
A_j^{box},
}
$$

才有機會把 SRBRD-09 的 fixed-$m$ certificate真正推成 family theorem。

---

# 附錄 A：Signed Provider Contract

```yaml
Polynomial:
  coefficients:
    lambda_j: rational
  majorant:
    P(k) >= indicator(k>=1)
    for:
      k: 0..kappa(m)

MomentProvider:
  if_lambda_positive:
    need:
      B_j <= U_j
  if_lambda_negative:
    need:
      L_j <= B_j

UnionUpper:
  sum_positive:
    lambda_j*U_j
  sum_negative:
    lambda_j*L_j
```

---

# 附錄 B：Hypercell Box Contract

```yaml
oriented_cell:
  modulus:
    2*product(U)
  interval_length:
    ell_U_alpha

lower:
  floor(ell/(2P))

upper:
  ceil(ell/(2P))

uncertainty:
  per_orientation:
    <= 1
```

---

# 附錄 C：Selected Provider Audit

### $m=1000$

```yaml
Omega: 499
exact:
  B1: 908
  B2: 656
  B3: 259

box:
  B2:
    lower: 573
    upper: 781
  B3:
    lower: 88
    upper: 1250

degree4_envelope_upper:
  value: 1232

status:
  crossing: false
```

### $m=5000$

```yaml
Omega: 2499
exact:
  B1: 5495
  B2: 5206
  B3: 2870
  B4: 944

box:
  B2:
    lower: 4841
    upper: 5621
  B3:
    lower: 1525
    upper: 10871
  B4:
    lower: 52
    upper: 78261

degree4_exact_moment_upper:
  exact: 52165/21
  decimal: 2484.047619...
  crossing: true

degree4_box_envelope_upper:
  exact: 172283/21
  decimal: 8203.952380...
  crossing: false

diagnosis:
  main_gap:
    positive_B3_phase_free_upper
```

---

# 附錄 D：Volume–Phase Contract

```yaml
moment:
  B_j:
    equals:
      V_j + Delta_phase_j

volume:
  V_j:
    sum:
      interval_length/(2*product(U))

phase:
  Delta_phase_j:
    sum:
      orientation_AP_rounding_phase
  trivial_abs_bound:
    < number_of_nonempty_orientation_boxes

uniform_goal:
  prove_collective_phase_upper:
    much_smaller_than_trivial_orientation_count
```

---

# 附錄 E：Commit Decision

```yaml
research_round: SRBRD-10

decision:
  signed_moment_envelope_interface: true
  exact_first_moment_provider: true
  residue_free_lower_providers: true
  residue_free_upper_providers: true
  phase_free_uniform_crossing: false
  uniform_goldbach_closure: false

main_barrier:
  CRT_phase_hit_discrepancy_for_positive_moments

next:
  SRBRD-11_CRT_PhaseHit_Discrepancy_LatticePacking_Closure
```