# SRBRD-25
## Structured-Prime Provider / Shift-Free Dispersion Hybrid Closure
### Complement-Exponent Map、Maynard-III Exact Range Audit、$3/8$ Type-II Optimum、$5/8\leftrightarrow3/8$ Weight-Class Duality 與 Residual Dispersion Region

**母計畫：** RG-SCP / Reverse Goldbach Structural Closure Program  
**支線：** SRBRD — Symmetric Root-Bounded Relation Domain  
**輪次：** SRBRD-25  
**日期：** 2026-09-30  
**版本：** v0.1  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**性質：** Exact External-Range Match / Hybrid Coverage Map / Residual-Band Localization  
**前置：** SRBRD-00 ～ SRBRD-24  
**狀態：** 將 Maynard-III uniform large-modulus technology與 complement-switched low-row幾何逐尺度對齊；證明 current linear-sieve weight class無法讓 structured-prime route覆蓋完整 low row；建立 explicit residual dispersion region；Goldbach仍未證明

---

# 0. 本輪目的

SRBRD-24 建立兩條 analytic route：

## Route P — Structured Prime Provider

對 switched modulus：

$$
K=kq_2
$$

直接使用 uniform large-modulus prime / convolution theorem。

## Route D — Shift-Free Dispersion

對 affine lattice：

$$
nv+Kq_1=A_X
$$

使用：

$$
n\Delta v+K\Delta q_1=0
$$

的 shift-free off-diagonal geometry。

SRBRD-24 的策略是：

> Route P 能吃掉多少就先吃掉，
> Route D只處理剩餘區域。

SRBRD-25 的唯一任務：

$$
\boxed{
\text{把 Route P 的真正合法 / conditional coverage region精確畫出來。}
}
$$

本輪發現：

1. complement大小不能被忽略；
2. Maynard-III Theorem 1.1只可能處理 small / medium complementary divisor；
3. Proposition 5.2 的 arbitrary-convolution lower endpoint經最佳化恰為：
   $$
   3/8;
   $$
4. 若 top complement：
   $$
   W\asymp X,
   $$
   要讓 complementary divisor降到：
   $$
   X^{3/8},
   $$
   original modulus level恰需：
   $$
   5/8;
   $$
5. 這和 Pascadi 2025 的 triply-well-factorable：
   $$
   5/8
   $$
   level精確對偶；
6. 但 current upper linear-sieve weights的 known level是：
   $$
   3/5,
   $$
   不是：
   $$
   5/8.
   $$

因此：

$$
\boxed{
\text{5/8 route is a weight-class upgrade route,
not a currently legal SRBRD linear-sieve provider.}
}
$$

---

# 1. Add the Complement Exponent

SRBRD-22 / 23 多次使用：

$$
w=A_X-nv.
$$

現在對：

$$
w
$$

做 dyadic split：

$$
\boxed{
w\sim W=X^\omega.
}
$$

original modulus：

$$
\boxed{
q\sim Q=X^\theta.
}
$$

因：

$$
q\mid w,
$$

actual block必須：

$$
\boxed{
\omega\ge\theta.
}
$$

complementary divisor：

$$
\boxed{
k=\frac wq.
}
$$

所以：

## Theorem SRBRD-25-T01

$$
\boxed{
k\asymp X^\kappa,
\qquad
\kappa=\omega-\theta.
}
$$

up to dyadic constants。

---

# 2. Low-Row Rectangle

low prime factor：

$$
\boxed{
n\sim N=X^t,
\qquad
\frac13\le t\le\frac25.
}
$$

large prime：

$$
\boxed{
v\sim M=X^{1-t}.
}
$$

若 current original level：

$$
\boxed{
\theta=\frac35,
}
$$

則：

$$
\boxed{
0\le\kappa\le\frac25.
}
$$

所以 low-row switched geometry lives in：

$$
\boxed{
\mathcal R_{\mathrm{low}}
=
\left\{
(t,\kappa):
\frac13\le t\le\frac25,
\quad
0\le\kappa\le\frac25
\right\}.
}
$$

---

# 3. Bare Prime-Side Modulus

若完全不帶 inherited factor，

prime：

$$
v
$$

落在 progression modulo：

$$
k.
$$

relative to prime scale：

$$
M=X^{1-t},
$$

modulus exponent：

## Theorem SRBRD-25-T02

$$
\boxed{
\rho_0(t,\kappa)
=
\frac{
\kappa
}{
1-t
}.
}
$$

---

# 4. Ordinary BV Region

ordinary Bombieri–Vinogradov prime-side shape：

$$
k\lesssim M^{1/2-o(1)}.
$$

所以：

## Definition SRBRD-25-D01

$$
\boxed{
\mathcal R_{\mathrm{BV}}
=
\left\{
(t,\kappa):
\kappa<
\frac{1-t}{2}
\right\}.
}
$$

selected boundaries：

### $t=1/3$

$$
\kappa<1/3.
$$

### $t=3/8$

$$
\kappa<5/16.
$$

### $t=2/5$

$$
\kappa<3/10.
$$

---

# 5. Maynard-III Theorem 1.1 Shape

Maynard-III Theorem 1.1：

prime variable scale：

$$
x
$$

modulus：

$$
q_1q_2
$$

with：

$$
q_1
\lesssim
x^{1/10-3\delta},
$$

$$
q_2
\lesssim
x^{4/10+4\delta}.
$$

total：

$$
q_1q_2
\lesssim
x^{1/2+\delta}.
$$

residue is completely uniform。

其 error是 weak relative-error型：

$$
O
\left(
\delta\pi(x)
+
\frac{
x(\log\log x)^2
}{
(\log x)^2
}
\right).
$$

所以：

$$
\boxed{
\text{shape match}
}
$$

與：

$$
\boxed{
\text{constant-ledger provider}
}
$$

必須分開。

---

# 6. Map Theorem 1.1 to the Switched Modulus

在 SRBRD Route P：

- prime variable：
  $$
  v\asymp M;
  $$
- large switched cofactor：
  $$
  k;
  $$
- inherited original factor：
  $$
  q_2^{\mathrm{inh}}.
  $$

最自然 mapping：

$$
\boxed{
\text{Maynard small factor}
\leftrightarrow
q_2^{\mathrm{inh}},
}
$$

$$
\boxed{
\text{Maynard large factor}
\leftrightarrow
k.
}
$$

因此：

$$
\boxed{
k
\lesssim
M^{2/5+4\delta}.
}
$$

---

# 7. Limiting Uniform-AP Shape Threshold

Theorem 1.1 需要：

$$
1/10-3\delta>0
$$

for a nontrivial growing convenient factor。

所以：

$$
\boxed{
\delta<1/30.
}
$$

讓：

$$
\delta\to1/30^{-}
$$

時：

$$
2/5+4\delta
\to
\boxed{
8/15.
}
$$

因此：

## Theorem-Match SRBRD-25-M01

在 purely shape-level 的極限下，

bare complementary exponent可以被 uniform prime-AP template推到：

$$
\boxed{
\kappa
<
\frac{
8
}{
15
}
(1-t).
}
$$

provided：

- inherited convenient factor存在；
- factor mapping合法；
- weak error可被接受。

---

# 8. Shape Region

定義：

$$
\boxed{
\kappa_{\mathrm{UAP}}(t)
=
\frac{
8
}{
15
}
(1-t).
}
$$

selected：

### $t=1/3$

$$
\boxed{
\kappa_{\mathrm{UAP}}
=
16/45
\approx0.35556.
}
$$

### $t=3/8$

$$
\boxed{
\kappa_{\mathrm{UAP}}
=
1/3.
}
$$

### $t=2/5$

$$
\boxed{
\kappa_{\mathrm{UAP}}
=
8/25
=
0.32.
}
$$

所以即使取 Theorem 1.1 的 limiting shape，

top complement：

$$
\kappa=2/5
$$

仍未覆蓋。

---

# 9. Weak-Error Firewall

Theorem 1.1 的 main error含：

$$
C\delta\pi(x).
$$

published statement中的：

$$
C
$$

是 sufficiently large absolute constant。

SRBRD constant ledger只有 small positive margin。

所以：

## Research Firewall SRBRD-25-R01

$$
\boxed{
\mathcal R_{\mathrm{UAP}}
\text{ is a shape-coverage region,
not yet a constant-admissible SRBRD provider region.}
}
$$

不能把：

$$
8/15
$$

直接當成可用 quantitative crossing constant。

---

# 10. Theorem 1.2 Good-Error Regime

Maynard-III Theorem 1.2：

$$
\delta<1/1000
$$

並給：

$$
x/(\log x)^A
$$

級 good error，

但其 total modulus仍：

$$
x^{1/2+\delta}.
$$

所以：

> good-error uniform theorem只略微超過平方根。

因此：

$$
\boxed{
\text{good-error Route P extension beyond ordinary BV is tiny.}
}
$$

這是：

# Shape vs Ledger Strength Separation

---

# 11. Ambient-$X$ Type-II Route

另一條 Route P：

不把：

$$
v
$$

視為單獨 prime AP，

而直接對：

$$
nv\asymp X
$$

使用 Maynard-III uniform Type-II propositions。

此時 ambient scale回到：

$$
\boxed{
X.
}
$$

switched congruence：

$$
\boxed{
nv\equiv A_X\pmod K.
}
$$

---

# 12. Proposition 5.2 Limiting Constraints

Maynard-III Proposition 5.2：

令 modulus factors：

$$
Q_1Q_2Q_3=X^{1/2+\delta}.
$$

忽略：

$$
\delta,\varepsilon
$$

到 limiting exponent layer。

寫：

$$
Q_i=X^{a_i}.
$$

令：

$$
a=a_1,
\quad
b=a_2,
\quad
c=a_3.
$$

則：

$$
\boxed{
a+b+c=1/2.
}
$$

constraints：

$$
\boxed{
b\le c,
}
$$

$$
\boxed{
c\le
1/10
-
3b/5.
}
$$

而 convolution factor：

$$
N=X^t
$$

需要：

$$
\boxed{
t>
\max
\left(
a,
b+c+1/4
\right).
}
$$

---

# 13. Exact Optimization

令：

$$
s=b+c.
$$

則：

$$
a=1/2-s.
$$

由：

$$
b\le c=s-b
$$

得：

$$
b\le s/2.
$$

由：

$$
c=s-b
\le
1/10-3b/5
$$

得：

$$
s-1/10
\le
2b/5,
$$

即：

$$
\boxed{
b
\ge
\frac52
\left(
s-\frac1{10}
\right).
}
$$

feasibility要求：

$$
\frac52
\left(
s-\frac1{10}
\right)
\le
\frac s2.
$$

所以：

## Theorem SRBRD-25-T03

$$
\boxed{
s\le1/8.
}
$$

因此：

$$
\boxed{
a\ge3/8.
}
$$

---

# 14. Proposition 5.2 Optimal Lower Endpoint

lower factor threshold：

$$
L(s)
=
\max
\left(
1/2-s,
s+1/4
\right).
$$

在 feasible：

$$
s\le1/8
$$

中，

兩 terms於：

$$
s=1/8
$$

相等：

$$
1/2-1/8
=
1/8+1/4
=
3/8.
$$

所以：

## Theorem SRBRD-25-T04

Maynard-III Proposition 5.2 limiting exponent geometry的最小 arbitrary-convolution factor是：

$$
\boxed{
t_{\min}=3/8.
}
$$

唯一 symmetric optimum：

$$
\boxed{
(a,b,c)
=
\left(
\frac38,
\frac1{16},
\frac1{16}
\right).
}
$$

---

# 15. Meaning of the $3/8$ Barrier

這不是說：

> primes不能在：
> $$
> N<X^{3/8}
> $$
> 處處理。

paper本身還有 Proposition 5.4 等 prime-specific decompositions。

正確說法：

$$
\boxed{
\text{Proposition 5.2 arbitrary bilinear convolution architecture
cannot push its small factor below }X^{3/8}
\text{ in the limiting exponent model.}
}
$$

---

# 16. Irreducible Complementary Block

在 complement-switched modulus中：

$$
k
$$

沒有 inherited factorization。

若：

$$
k>X^{1/10+o(1)},
$$

則在 Proposition 5.2 factor geometry中，

它不能塞入：

$$
Q_2
$$

或：

$$
Q_3,
$$

因這兩個 factors在 optimized / admissible regime都約：

$$
\le X^{1/10+o(1)}.
$$

所以：

## Theorem SRBRD-25-T05

large complementary block：

$$
k
$$

必須被吸收到：

$$
\boxed{
Q_1.
}
$$

因此 Proposition 5.2 lower condition強迫：

$$
\boxed{
N
>
k
}
$$

up to $X^{o(1)}$ margins。

在 exponent：

$$
\boxed{
t>\kappa.
}
$$

---

# 17. Top Complement Under Current $3/5$ Level

若：

$$
\theta=3/5,
$$

top complement：

$$
W\asymp X
$$

給：

$$
\boxed{
\kappa=2/5.
}
$$

T05要求：

$$
t>2/5.
$$

但 low row：

$$
t\le2/5.
$$

所以：

## Corollary SRBRD-25-C01

$$
\boxed{
\text{with current }3/5\text{ original level,
Proposition 5.2 cannot cover the top-complement low-row interior.}
}
$$

這是一個 factor-geometry obstruction，

與 residue uniformity無關。

---

# 18. General Complement-Level Threshold

對 top complement：

$$
W\asymp X,
$$

有：

$$
\kappa=1-\theta.
$$

若希望 Proposition 5.2處理 row：

$$
t,
$$

必要：

$$
1-\theta<t.
$$

所以：

## Theorem SRBRD-25-T06

$$
\boxed{
\theta>1-t.
}
$$

這是：

# Complementary-Level Threshold

---

# 19. Selected Thresholds

### To reach $t=2/5$

need：

$$
\boxed{
\theta>3/5.
}
$$

### To reach $t=3/8$

need：

$$
\boxed{
\theta>5/8.
}
$$

### To reach $t=1/3$

necessary from irreducible-$k$ alone：

$$
\boxed{
\theta>2/3.
}
$$

但 Proposition 5.2 itself already has：

$$
t\ge3/8
$$

limiting barrier，

所以：

$$
2/3
$$

不會讓 Proposition 5.2處理：

$$
t=1/3.
$$

---

# 20. The $5/8\leftrightarrow3/8$ Duality

若：

$$
\boxed{
\theta=5/8,
}
$$

top complement：

$$
W\asymp X
$$

給：

$$
\boxed{
k\asymp X^{3/8}.
}
$$

而 Proposition 5.2 optimum：

$$
\boxed{
Q_1\asymp X^{3/8},
}
$$

$$
\boxed{
Q_2,Q_3\asymp X^{1/16}.
}
$$

所以：

## Theorem-Match SRBRD-25-M02

$$
\boxed{
5/8
\longleftrightarrow
3/8
}
$$

形成 exact complement / Type-II scale alignment。

這是本輪最漂亮的 structural coincidence之一。

---

# 21. Why This Is Not Yet a Legal SRBRD Provider

Pascadi 2025：

- primes with triply-well-factorable weights：
  $$
  \boxed{
  5/8-\varepsilon;
  }
  $$
- well-factorable upper-bound linear sieve weights：
  $$
  \boxed{
  3/5-\varepsilon.
  }
  $$

Maynard 2025 earlier：

- triply-well-factorable：
  $$
  3/5-\varepsilon;
  $$
- upper-bound linear sieve：
  $$
  7/12-\varepsilon.
  $$

因此：

## Research Firewall SRBRD-25-R02

$$
\boxed{
\text{the }5/8\text{ level does not belong to the same
upper linear-sieve weight class currently used by SRBRD row upper bounds.}
}
$$

不能把：

$$
5/8
$$

直接塞進：

$$
\theta
$$

而不改 weight architecture。

---

# 22. Weight-Class Upgrade Route

這反而產生一條新 research route：

# WCU
## Weight-Class Upgrade

從：

$$
\boxed{
\beta=1
\text{ upper linear-sieve weights}
}
$$

改為更接近：

$$
\boxed{
\text{triply-well-factorable}
}
$$

的 upper / weighted sieve object，

交換：

- sieve constant效率；
- factorability；
- distribution level。

目標：

$$
\boxed{
\theta=5/8
}
$$

以解鎖：

$$
t\ge3/8
$$

的 top complement Type-II region。

---

# 23. But WCU Has a Constant Cost

更 factorable的 sieve weight未必有 linear sieve：

$$
\beta=1
$$

同樣好的 upper-bound constant。

SRBRD-18 已證：

$$
\boxed{
\text{constant quality is theorem gate}.
}
$$

所以 WCU 不能只看：

$$
5/8.
$$

必須重新計：

$$
\boxed{
C_R
}
$$

row penalty。

---

# 24. Complement-Aware Coverage Map

對 current：

$$
\theta=3/5,
$$

定義：

$$
\boxed{
\kappa=\omega-3/5.
}
$$

其中：

$$
0\le\kappa\le2/5.
$$

我們可以區分四區。

---

# 25. Region P0 — Classical Small Complement

$$
\boxed{
\kappa<
\frac{1-t}{2}.
}
$$

prime：

$$
v
$$

modulo bare：

$$
k
$$

落在 ordinary BV square-root range。

這是最乾淨的 Route P shape。

---

# 26. Region P1 — Uniform Large-Modulus Shape Extension

limiting Maynard-III Theorem 1.1 shape：

$$
\boxed{
\frac{1-t}{2}
\lesssim
\kappa
<
\frac8{15}(1-t).
}
$$

需要：

- inherited convenient factor；
- theorem factor mapping；
- weak-error constant audit。

所以：

$$
\boxed{
\mathrm{P1=SHAPE\ MATCH,\ NOT\ LEDGER\ PASS}.
}
$$

---

# 27. Region P2 — Uniform Type-II Top Band

conditional Proposition 5.2 structure：

$$
\boxed{
t>3/8,
}
$$

以及：

$$
\boxed{
3/8
\lesssim
\kappa
<
t.
}
$$

再要求：

- two small inherited factors；
- appropriate 3-factor modulus decomposition；
- prime coefficients / SW；
- good error。

但：

$$
\boxed{
\text{current }\beta=1\text{ linear-sieve weight at }3/5
\text{ does not automatically provide the required triply-factorable geometry}.
}
$$

所以：

$$
\boxed{
\mathrm{P2=CONDITIONAL}.
}
$$

---

# 28. Residual Dispersion Region

定義：

$$
\boxed{
\mathcal R_D
=
\mathcal R_{\mathrm{low}}
\setminus
\left(
\mathcal R_{P0}
\cup
\mathcal R_{P1}
\cup
\mathcal R_{P2}
\right).
}
$$

注意：

- P1不是 constant-pass；
- P2不是 current-weight legal；

所以這是：

# optimistic structural residual

不是 final rigorous residual。

---

# 29. Selected Residual Slices

### $t=1/3$

$$
\kappa_{\mathrm{P1,max}}
=
16/45
\approx0.35556.
$$

P2不存在。

所以 optimistic residual至少：

$$
\boxed{
0.35556
\lesssim
\kappa
\le0.4.
}
$$

width約：

$$
0.04444.
$$

---

# 30. $t=3/8$

$$
\kappa_{\mathrm{P1,max}}
=
1/3.
$$

P2在 limiting endpoint退化。

所以 residual：

$$
\boxed{
1/3
\lesssim
\kappa
\le2/5.
}
$$

width：

$$
1/15
\approx0.06667.
$$

---

# 31. $t=2/5$

$$
\kappa_{\mathrm{P1,max}}
=
8/25
=
0.32.
$$

conditional P2：

$$
\boxed{
3/8
\lesssim
\kappa
<
2/5.
}
$$

所以 optimistic residual main gap：

$$
\boxed{
0.32
\lesssim
\kappa
<
0.375.
}
$$

width：

$$
0.055.
$$

endpoint：

$$
\kappa=0.4
$$

是 limiting boundary。

---

# 32. Main Hybrid Conclusion

即使採：

- limiting Theorem 1.1 shape；
- optimistic Proposition 5.2 factor match；

也有：

$$
\boxed{
\mathcal R_D\neq\varnothing
}
$$

對整個 low-row continuum。

所以：

## Theorem-Match SRBRD-25-M03

$$
\boxed{
\text{first-moment structured-prime technology alone
does not eliminate the need for Route D.}
}
$$

---

# 33. Route D Burden Is Smaller Than Full Rectangle

雖然：

$$
\mathcal R_D
$$

不為空，

其 complement-exponent width只約：

$$
0.04\text{--}0.07
$$

in selected slices。

相較 full：

$$
\kappa\in[0,0.4],
$$

analytic burden已大幅縮小。

所以 SRBRD-24 的 hybrid philosophy仍成功：

$$
\boxed{
\text{do not prove SFLD on the whole low rectangle；
only prove it on the narrow residual band.}
}
$$

---

# 34. Current-Weight Conservative Map

如果嚴格不使用：

- Theorem 1.1 weak error作 ledger provider；
- triply-factorable P2；

則 current conservative Route P只保留：

$$
\boxed{
\mathcal R_{P0}.
}
$$

此時 residual：

$$
\boxed{
\kappa
\ge
\frac{1-t}{2}.
}
$$

selected：

| $t$ | conservative residual begins at |
|---:|---:|
| $1/3$ | $1/3$ |
| $3/8$ | $5/16$ |
| $2/5$ | $3/10$ |

所以 SFLD仍需 substantial但不是全部 complement區域。

---

# 35. Good-Error Uniform Theorem Does Not Change the Picture Much

Maynard-III Theorem 1.2：

$$
\delta<1/1000.
$$

因此 total modulus relative prime scale：

$$
1/2+\delta
$$

只略高於：

$$
1/2.
$$

所以：

$$
\boxed{
\text{constant-safe uniform prime-AP technology目前只小幅擴張 P0。}
}
$$

這再次說明：

> large headline uniformity range與 usable ledger range不是同一件事。

---

# 36. Proposition 5.4 Does Not Directly Solve the Residual

Maynard-III 本身明確指出：

Propositions 5.1–5.3 fail around：

$$
N\approx X^{1/3},
$$

$$
M\approx X^{2/3}.
$$

為估 primes，

paper改用 Proposition 5.4：

- one small arbitrary factor；
- three smooth factors；
- ternary-divisor-like decomposition。

但 SRBRD residual object目前是：

$$
\boxed{
\text{prime}\times\text{prime switched correlation}
}
$$

with factorable modulus / lattice coefficient。

所以：

## Research Firewall SRBRD-25-R03

$$
\boxed{
\text{Proposition 5.4 is a technology hint,
not a direct DFSPC/SFLD provider.}
}
$$

若未來使用它，

必須先做 explicit Heath-Brown / Buchstab coefficient decomposition match。

---

# 37. $5/8$ Technology Reinterpreted

Pascadi 2025 的：

$$
5/8
$$

不應只被看成：

> 更高 prime distribution exponent。

SRBRD-25顯示它還具有一個特殊 complement meaning：

$$
\boxed{
1-\frac58
=
\frac38.
}
$$

而：

$$
3/8
$$

正是 Maynard-III Proposition 5.2 arbitrary-convolution limiting endpoint。

所以：

# $5/8$ Is a Complement-Matching Threshold

這是一個真正值得後續利用的結構。

---

# 38. But Current Upper Linear Weights Stop at $3/5$

Pascadi 2025 current unconditional summary：

$$
\boxed{
\text{triply-WF primes}:5/8-\varepsilon,
}
$$

$$
\boxed{
\text{WF upper linear-sieve weights}:3/5-\varepsilon.
}
$$

所以：

$$
\boxed{
1-\frac35
=
\frac25,
}
$$

而不是：

$$
3/8.
$$

這就是為什麼 current linear-sieve class的 top complement：

$$
k\sim X^{2/5}
$$

恰卡在 low row最上界，

無法進 Prop 5.2 的 open interior。

---

# 39. Weight-Class / Complement-Depth Principle

本輪得到一個更一般的設計原則：

若 original upper weight可達 level：

$$
\theta,
$$

則 top complement irreducible block為：

$$
\boxed{
X^{1-\theta}.
}
$$

若 external arbitrary-convolution theorem的最小 factor endpoint為：

$$
\alpha,
$$

要讓 top complement進入該 theorem，

必要：

$$
\boxed{
1-\theta\le\alpha.
}
$$

即：

## Theorem SRBRD-25-T07

$$
\boxed{
\theta\ge1-\alpha.
}
$$

對：

$$
\alpha=3/8,
$$

得到：

$$
\boxed{
\theta\ge5/8.
}
$$

---

# 40. This Is a General Architecture Rule

$$
\boxed{
\text{distribution level of original weight}
+
\text{small-factor depth of switched theorem}
\ge1.
}
$$

可以稱為：

# Complement–Factor Threshold

它不是 Goldbach-specific theorem，

而是：

$$
qk\le X
$$

與 switched theorem small-factor requirement的 direct consequence。

---

# 41. Shift-Free Dispersion Region Has a New Natural Lower Boundary

Route D真正有必要的地方，

至少包括：

$$
\boxed{
\kappa
\ge
\kappa_{\mathrm{provider}}(t),
}
$$

其中：

$$
\kappa_{\mathrm{provider}}
$$

由：

- uniform prime-AP range；
- Type-II factor geometry；
- weight class；

共同決定。

所以 SRBRD-24 的 SFLD不應被全域證明。

應 parameterize：

$$
\boxed{
\mathrm{SFLD}(t,\kappa).
}
$$

---

# 42. Residual Geometry Is Exactly Where Lattice Length Is Shortest

SRBRD-24：

$$
T\asymp X^{\theta-\sigma-t}.
$$

large：

$$
\kappa
$$

corresponds large complement / difficult switched modulus。

在 factor-length conservation下，

這也是 progression更短的區域。

所以：

$$
\boxed{
\text{Route D residual恰好是 elementary lattice sieve最弱的區域。}
}
$$

這不是好消息，

但把真正 analytic hard core定位得非常乾淨。

---

# 43. Why This Is Still Progress

以前問題：

> 整個 binary Goldbach。

現在 SRBRD-25後的 analytic hard core變成：

> small prime：
> $$
> t\in[1/3,2/5],
> $$
> complement exponent：
> $$
> \kappa
> $$
> 落在一條 narrow residual strip，
> 對 shift-free affine lattice證 coefficient-aware second-moment estimate。

這是一個非常不同的 target。

---

# 44. New Target — RSFLD

定義：

# RSFLD
## Residual Shift-Free Lattice Dispersion

只要求對：

$$
\boxed{
(t,\kappa)\in\mathcal R_D
}
$$

證：

$$
\boxed{
\sum_{h\ne0}
\mathcal R_A(n,K;h)
\ll
\frac{
T^2
}{
\log^2M
}
\times
C(t,\kappa)
}
$$

且：

$$
C(t,\kappa)
$$

足以通過 constant ledger。

這比 SRBRD-24 的 full SFLD target更弱。

---

# 45. RSFLD Can Exploit Boundary Geometry

因：

$$
\mathcal R_D
$$

是 narrow band，

可使用：

- stronger dyadic localization；
- endpoint-specific Kloosterman estimates；
- factor-length conservation；
- exact：
  $$
  \rho+\tau=1;
  $$
- local transport discounts。

不需要一個 universally uniform theorem。

---

# 46. Constant-Ledger Warning

即使 shape residual很窄，

其 contribution不一定 proportional to geometric width。

sieve density integrals常帶：

$$
1/t,
$$

$$
1/(1-t),
$$

或 large-modulus multiplier。

所以：

$$
\boxed{
\text{narrow region}
\neq
\text{small constant automatically}.
}
$$

下一輪必須真正積分 residual weight。

---

# 47. Formal Theorem Queue

```yaml
SRBRD_25:

  T01:
    complement_exponent:
      kappa:
        omega-theta

  T02:
    prime_side_relative_modulus_exponent

  T03:
    Prop5_2_feasibility_implies_s_le_1_8

  T04:
    Prop5_2_limiting_small_factor:
      3/8

  T05:
    irreducible_k_must_enter_large_modulus_factor

  T06:
    top_complement_level_threshold:
      theta > 1-t

  T07:
    complement_factor_threshold:
      theta >= 1-alpha
```

---

# 48. External-Match Queue

```yaml
MaynardIII_Theorem1_1:

  residue:
    complete_uniformity: true

  convenient_factor:
    exponent_max:
      1/10-3delta

  large_factor:
    exponent_max:
      4/10+4delta

  total:
    1/2+delta

  error:
    weak_relative_delta: true

  SRBRD:
    shape_only_until_constant_audit: true

MaynardIII_Prop5_2:

  arbitrary_convolution:
    true

  limiting_min_factor:
    3/8

  optimum_modulus_exponents:
    - 3/8
    - 1/16
    - 1/16

Pascadi_2025:

  triply_well_factorable_primes:
    level:
      5/8-o(1)

  upper_linear_sieve_weights:
    level:
      3/5-o(1)

  SRBRD:
    five_eighths_not_same_weight_class: true
```

---

# 49. Acceptance Gate

SRBRD-25 publication / formal core前需：

1. introduce complement exponent $\omega$；
2. derive $\kappa=\omega-\theta$；
3. ordinary BV relative scale；
4. Maynard-III Theorem 1.1 factor ranges；
5. weak-error firewall；
6. Proposition 5.2 limiting linear program；
7. exact $3/8,1/16,1/16$ optimum；
8. irreducible-$k$ mapping；
9. $5/8\leftrightarrow3/8$ distinction from applicability；
10. Pascadi weight-class distinction；
11. no use of $5/8$ for current upper linear weights；
12. residual region labeled optimistic where appropriate；
13. Proposition 5.4 not treated as direct provider；
14. no constant crossing claim；
15. no Goldbach proof claim。

---

# 50. Verdict

本輪可以正式給：

$$
\boxed{
\mathrm{SRBRD\mbox{-}25\ HYBRID\ COVERAGE\ MAP\ PASS}.
}
$$

最重要 external-range result：

$$
\boxed{
\text{Maynard-III Prop 5.2 arbitrary-convolution floor}
=
3/8.
}
$$

最重要 complement result：

$$
\boxed{
\theta=5/8
\iff
1-\theta=3/8.
}
$$

所以：

$$
\boxed{
5/8
}
$$

正是讓 top complementary divisor碰到 Prop 5.2 optimal small-factor endpoint的 threshold。

但 current upper linear-sieve weight class只有：

$$
\boxed{
3/5,
}
$$

因此 top complement仍：

$$
\boxed{
k\sim X^{2/5},
}
$$

並卡在 low-row boundary。

所以：

$$
\boxed{
\text{current Route P does not close the whole low row}.
}
$$

即使採 optimistic external shape，

仍有 nonempty：

$$
\boxed{
\mathcal R_D.
}
$$

因此：

$$
\boxed{
\mathrm{RSFLD\ REMAINS\ NECESSARY}.
}
$$

但 analytic target已從 full low rectangle縮成：

$$
\boxed{
\text{complement-aware narrow residual band}.
}
$$

目前：

$$
\boxed{
\mathrm{RSFLD\ NOT\ YET\ PROVED}.
}
$$

$$
\boxed{
\mathrm{CONSTANT\ CROSSING\ NOT\ YET\ PROVED}.
}
$$

以及：

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

---

# 51. 下一輪建議

# SRBRD-26
## Residual-Band Constant Integral / Shift-Free Dispersion Budget Closure

下一輪不再拓展外部 theorem list。

直接把：

$$
\mathcal R_D
$$

放進 constant ledger。

### Part A — Residual Weight Measure

從原 semiprime row integral導出：

$$
d\mu(t,\kappa)
$$

而不是用幾何 area。

### Part B — Conservative vs Optimistic Maps

分別計：

1. conservative：
   $$
   \mathcal R_D^{cons};
   $$
2. Theorem-1.1 shape：
   $$
   \mathcal R_D^{shape};
   $$
3. hypothetical WCU：
   $$
   \theta=5/8
   $$
   map。

### Part C — Required RSFLD Multiplier

求：

$$
\boxed{
R_D^{\max}
}
$$

使：

$$
C_L-C_B-C_{P}-C_D+C_T>0.
$$

這會告訴我們：

> residual dispersion到底需要「接近理想」到什麼程度。

### Part D — Decide the Next Theorem

如果 required multiplier很寬鬆：

> ordinary coefficient-aware large sieve可能夠。

如果接近：

$$
1,
$$

> 需要真正 sharp new theorem。

這會是下一個最重要的 quantitative decision gate。

---

# 附錄 A：Complement-Aware Coordinates

```yaml
coordinates:

  row:
    t:
      1/3_to_2/5

  complement:
    omega:
      theta_to_1

  original_modulus:
    theta

  complementary_divisor:
    kappa:
      omega-theta

current_linear_weight:
  theta:
    3/5

rectangle:
  t:
    1/3_to_2/5

  kappa:
    0_to_2/5
```

---

# 附錄 B：Provider Regions

```yaml
P0_BV:

  condition:
    kappa < (1-t)/2

P1_uniform_prime_shape:

  condition:
    kappa < (8/15)*(1-t)

  status:
    shape_only

P2_uniform_TypeII:

  conditions:
    t > 3/8
    3/8 < kappa < t

  additional:
    inherited_three_factor_geometry: required

  status:
    conditional

Residual:
  low_rectangle_minus_provider_regions
```

---

# 附錄 C：Prop 5.2 Optimization

```yaml
delta_epsilon:
  limiting_zero

modulus_exponents:
  a_plus_b_plus_c:
    1/2

constraints:
  b <= c
  c <= 1/10 - 3*b/5

factor_lower_bound:
  t:
    >
    max(
      a,
      b+c+1/4
    )

optimum:
  a:
    3/8
  b:
    1/16
  c:
    1/16
  t_min:
    3/8
```

---

# 附錄 D：Weight-Class Threshold

```yaml
external_small_factor_floor:
  alpha:
    3/8

required_original_level:
  theta:
    >= 1-alpha

therefore:
  theta:
    >= 5/8

current_upper_linear_sieve:
  theta:
    3/5

gap:
  5/8 - 3/5:
    1/40
```

---

# 附錄 E：Selected Residual Slices

```yaml
t_1_3:
  P1_max_kappa:
    16/45
  residual_to:
    2/5

t_3_8:
  P1_max_kappa:
    1/3
  residual_to:
    2/5

t_2_5:
  P1_max_kappa:
    8/25
  conditional_P2:
    3/8_to_2/5
  middle_residual:
    8/25_to_3/8
```

---

# 附錄 F：Commit Decision

```yaml
research_round: SRBRD-25

decision:

  complement_exponent_map:
    true

  MaynardIII_exact_range_audit:
    true

  Prop5_2_three_eighth_floor:
    true

  five_eighth_three_eighth_duality:
    true

  current_linear_weight_five_eighth_use:
    false

  hybrid_residual_region:
    true

  RSFLD_proved:
    false

  constant_crossing:
    false

  goldbach_proved:
    false

next:
  SRBRD-26_ResidualBand_ConstantIntegral_ShiftFreeDispersion_Budget_Closure
```

---

# References / Audited External Results

1. James Maynard, **Primes in arithmetic progressions to large moduli III: Uniform residue classes**, *Memoirs of the American Mathematical Society* 306 (2025), no. 1544.

   Audited facts used:
   - Theorem 1.1: complete residue uniformity for moduli with a factor up to roughly $x^{1/10-3\delta}$ and complementary factor up to roughly $x^{4/10+4\delta}$; error includes an $O(\delta\pi(x))$-scale term.
   - Theorem 1.2: good logarithmic error with $\delta<1/1000$ and a three-factor modulus.
   - Proposition 5.2: arbitrary Type-II convolution near $x^{2/5}$ with explicit $Q_1,Q_2,Q_3$ constraints.
   - the paper explicitly states Propositions 5.1–5.3 do not handle the $N\approx x^{1/3}$, $M\approx x^{2/3}$ regime.
   - Proposition 5.4 is a different prime-specific multi-factor decomposition, not a direct arbitrary prime×prime Type-II proposition.

2. Alexandru Pascadi, **On the exponents of distribution of primes and smooth numbers**, arXiv:2505.00653 (2025).

   Audited facts used:
   - primes reach $x^{5/8-o(1)}$ with triply-well-factorable weights;
   - upper-bound linear sieve weights have an improved $x^{3/5-o(1)}$ level;
   - these are different weight classes and cannot be interchanged silently.

3. James Maynard, **Primes in arithmetic progressions to large moduli II: Well-factorable estimates**, *Memoirs of the American Mathematical Society* 306 (2025), no. 1543.

   Relevant comparison:
   - triply-well-factorable weights reach $3/5-\varepsilon$;
   - the factorable upper linear sieve weights in that paper reach $7/12-\varepsilon$;
   - the distinction between triply-well-factorable and upper linear-sieve weights is structurally important.

4. Jared Duker Lichtman, **Primes in arithmetic progressions to large moduli, and Goldbach beyond the square-root barrier**, arXiv:2309.08522.

   Used only as a distribution-level benchmark; no direct SRBRD provider is claimed from the headline exponent alone.