# SRBRD-20
## Goldbach-Shift Uniform Convolution / Low–High Row Split
### Maynard-II Fixed-Residue Dependency、Maynard-III Uniform Type-II Coverage、Balanced-Residue Embedding 與 Minimal Missing Lemma

**母計畫：** RG-SCP / Reverse Goldbach Structural Closure Program  
**支線：** SRBRD — Symmetric Root-Bounded Relation Domain  
**輪次：** SRBRD-20  
**日期：** 2026-09-30  
**版本：** v0.1  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**性質：** Proof-Dependency Audit / Low–High Row Analytic Split / Minimal Missing-Theorem Extraction  
**前置：** SRBRD-00 ～ SRBRD-19  
**狀態：** 大幅縮小 external analytic gap：高 row 的 residue uniformity與 prime-coefficient compatibility已有 Maynard-III 型 theorem；主要未閉合區集中在 low row 的 Goldbach-shift uniformization與 sieve-weight factorization / constant strength；Goldbach仍未證明

---

# 0. 本輪目的

SRBRD-19 將 switched semiprime row 的 external provider需求寫成五軸：

$$
\boxed{
C+U+W+P+B
}
$$

其中：

- $C$：convolution；
- $U$：growing Goldbach residue uniformity；
- $W$：well-factorable / sieve weight compatibility；
- $P$：prime first-factor support；
- $B$：完整 row band：
  $$
  X^{1/3}<R\le X^{1/2}.
  $$

SRBRD-19 的初步結論是：

> Yang 2026 提供最接近的 $C+W$；
> Maynard-III 提供 $U$；
> 但缺交集。

SRBRD-20 對 Maynard-II / Maynard-III 的 technical propositions進一步 audit後，

得到更精確、也更樂觀的 band structure：

$$
\boxed{
\text{Maynard-III 本身已直接提供 uniform-residue convolution estimates，
而且 prime indicator可直接進 coefficient class。}
}
$$

因此：

> 「uniform residue + convolution」並不是整條 row band都缺。

真正剩下的 hard gap可以被壓到更窄的：

# Low-Row Goldbach-Shift Uniformization

---

# 1. SRBRD Switched Prime-Product Row

沿用：

$$
X=2m-3.
$$

對 semiprime least factor：

$$
r=X^t,
\qquad
\frac13\le t\le\frac12,
$$

prime cofactor：

$$
u\asymp X^{1-t}.
$$

核心 convolution：

$$
\boxed{
r\,u
\equiv
2m
\pmod q.
}
$$

兩個 variables都 prime。

所以 dyadic row block是：

$$
\boxed{
\alpha_r
=
\mathbf1_{\mathbb P}(r),
}
$$

$$
\boxed{
\beta_u
=
\mathbf1_{\mathbb P}(u).
}
$$

---

# 2. Prime Indicator Satisfies Maynard-III Siegel–Walfisz Condition

Maynard-III Definition 1定義 coefficient sequence的 Siegel–Walfisz condition，

並明確指出：

$$
\boxed{
\alpha_n=\mathbf1_{\mathbb P}(n)
}
$$

satisfies that condition。

因此：

## Theorem-Match SRBRD-20-M01

對 Maynard-III Type-II propositions，

可以合法取：

$$
\boxed{
\alpha_n
=
\mathbf1_{\mathbb P}(n)
}
$$

以及：

$$
\boxed{
\beta_m
=
\mathbf1_{\mathbb P}(m),
}
$$

因：

- $\alpha$ 是 Siegel–Walfisz；
- $\alpha,\beta$ 都是 $1$-bounded；
- 因此也滿足 divisor-bounded coefficient條件。

所以：

$$
\boxed{
P\text{ 軸在 Maynard-III convolution propositions中不是主要障礙。}
}
$$

---

# 3. Maynard-III Proposition 5.1

Maynard-III Proposition 5.1 是 genuine bilinear convolution estimate：

$$
\sum_{q\sim Q}
\sum_{s\sim S}
\sup_{(a,qs)=1}
\left|
\sum_{n\sim N}
\alpha_n
\sum_{v\sim M}
\beta_v
\left(
\mathbf1_{nv\equiv a\pmod{qs}}
-
\frac{
\mathbf1_{(nv,qs)=1}
}{
\varphi(qs)
}
\right)
\right|.
$$

其關鍵特徵：

$$
\boxed{
\sup_a
}
$$

直接放在 estimate中。

所以：

$$
\boxed{
\text{residue完全 uniform}.
}
$$

---

# 4. Middle-High Row Coverage

Maynard-III 文中明確說明：

當 modulus factor：

$$
S\approx X^{1/10},
$$

且：

$$
\delta
$$

small，

Proposition 5.1 covers arbitrary convolutions with one factor：

$$
\boxed{
N
\in
\left[
X^{2/5+\varepsilon},
X^{1/2-\varepsilon}
\right].
}
$$

所以對 SRBRD row exponent：

$$
t,
$$

若取：

$$
N=R=X^t,
$$

得到：

## Theorem-Match SRBRD-20-M02

$$
\boxed{
\frac25+\varepsilon
\le t
\le
\frac12-\varepsilon
}
$$

的 prime × prime convolution，

其：

- convolution；
- prime coefficient；
- growing residue uniformity；

三項都直接符合 Maynard-III Type-II architecture。

剩餘 gate是：

$$
\boxed{
\text{sieve modulus factorization / quantitative level}.
}
$$

---

# 5. Near-$2/5$ Bridge

Maynard-III Proposition 5.2 專門處理：

$$
N\approx X^{2/5}
$$

的 technical gap。

paper給的示例參數可以覆蓋：

$$
\boxed{
N
\in
\left[
X^{2/5-1/2000},
X^{2/5+1/100}
\right]
}
$$

附近。

所以：

## Theorem-Match SRBRD-20-M03

$$
\boxed{
t\approx2/5
}
$$

並不是 uniform-residue gap。

Maynard-III 已有一個 direct bridge。

---

# 6. Balanced Row

Maynard-III 本身明確指出：

Propositions 5.1 與 5.2不能處理：

$$
\boxed{
N,M\approx X^{1/2}
}
$$

的 balanced convolution。

它因此引入 Proposition 5.3。

---

# 7. Maynard-III Proposition 5.3 Residue Structure

Proposition 5.3 的 residue uniformity不是 full independent supremum。

它的形式是：

$$
\boxed{
\sup_{(b,q_1)=1}
\sup_{\substack{
(a,q_1q_2)=1\\
a\equiv b\pmod{q_1}
}}
|\Delta(a,b;q_1,q_2)|.
}
$$

所以：

> $a$ 必須和某個 $b$ 在 modulus $q_1$ 上相容。

paper因此稱 balanced case不是完全 uniform。

---

# 8. Goldbach Shift Automatically Satisfies the Restriction

SRBRD只需要一個 global integer：

$$
\boxed{
A=2m.
}
$$

對每個：

$$
q_1,
$$

定義：

$$
\boxed{
b_A
=
A\bmod q_1.
}
$$

對：

$$
q_1q_2,
$$

定義：

$$
\boxed{
a_A
=
A\bmod q_1q_2.
}
$$

顯然：

$$
\boxed{
a_A
\equiv
b_A
\pmod{q_1}.
}
$$

---

# 9. Global-Integer Residue Embedding

## Theorem SRBRD-20-T01

若一個 estimate控制：

$$
\sup_b
\sup_{a\equiv b\pmod{q_1}}
|\Delta(a,b;q_1,q_2)|,
$$

則它自動控制任何單一 global integer residue：

$$
\boxed{
A\bmod(q_1q_2)
}
$$

同時取：

$$
\boxed{
b=A\bmod q_1.
}
$$

proof只是 reduction compatibility。

所以：

$$
\boxed{
\text{Maynard-III Proposition 5.3 的 residue restriction
並不排除 Goldbach shift }A=2m.
}
$$

---

# 10. Balanced-Row Residue Verdict

因此 balanced band：

$$
t\approx1/2
$$

真正的問題不是：

$$
\boxed{
a=2m
\text{ 隨 }X\text{ 成長}.
}
$$

對 Goldbach shift而言，

Maynard-III 的 restricted uniformity已足夠容納這個 residue family。

剩餘仍是：

- modulus factor geometry；
- exact variable ranges；
- sieve weights；
- quantitative constant quality。

---

# 11. Updated Row-Band Map

可將：

$$
t\in[1/3,1/2]
$$

分成四區。

| Band | $t$ range | Best audited template | Residue status |
|---|---|---|---|
| A | $1/3$ to below $2/5$ | Maynard-II Prop. 5.1 | fixed-$a$ only |
| B | near $2/5$ | Maynard-III Prop. 5.2 | uniform |
| C | $2/5+\varepsilon$ to $1/2-\varepsilon$ | Maynard-III Prop. 5.1 | fully uniform |
| D | balanced near $1/2$ | Maynard-III Prop. 5.3 | restricted uniform, **Goldbach-compatible** |

所以：

$$
\boxed{
\text{真正明顯的 residue-uniformity hole現在集中到 Band A。}
}
$$

---

# 12. Maynard-II Proposition 5.1 Fits the Low Variable Range

Maynard-II Proposition 5.1：

$$
NM\asymp X,
$$

且：

$$
\boxed{
X^\varepsilon
\le
N
\le
X^{2/5}.
}
$$

modulus weight：

$$
\lambda_q
$$

triply well-factorable，

level：

$$
\boxed{
Q
\le
X^{3/5-10\varepsilon}.
}
$$

所以對：

$$
\boxed{
N=R=X^t,
\qquad
1/3\le t\le2/5,
}
$$

variable range恰好完全吻合。

---

# 13. Maynard-II Coefficient Class

Proposition 5.1要求：

- $\alpha_n,\beta_m$ divisor-bounded；
- $\alpha_n$ satisfies Siegel–Walfisz；
- $\alpha_n$ supported on：
  $$
  P^-(n)\ge z_0.
  $$

prime indicator在：

$$
N\ge X^{1/3}
$$

區域自動：

$$
P^-(n)=n\gg z_0.
$$

Maynard-III 對同一 Siegel–Walfisz condition明確指出 prime indicator satisfies it。

因此：

## Theorem-Match SRBRD-20-M04

Maynard-II low-row Type-II coefficient architecture與：

$$
\boxed{
\alpha=\mathbf1_{\mathbb P},
\qquad
\beta=\mathbf1_{\mathbb P}
}
$$

相容。

真正 gap不是 coefficient type，

而是：

$$
\boxed{
a\text{ fixed}.
}
$$

---

# 14. Fixed-Residue Declaration Is Explicit

Maynard-II §4 notation明確宣告：

> residue class $a$ 視為 fixed positive integer；
> 所有 implied constants允許依賴 $a$。

所以 theorem形式：

$$
\ll_{a,A,\varepsilon}
\frac X{(\log X)^A}.
$$

SRBRD需要：

$$
\boxed{
a=2m=X+3
}
$$

在：

$$
X\to\infty
$$

時同步增長。

所以不能直接 black-box 套用。

---

# 15. Fixed $a$ 進入 Proof Core

Maynard-II reduction to exponential sums 中，

$a$ 不只出現在 congruence indicator。

Poisson / dispersion reduction後出現類似 phase：

$$
\boxed{
e
\left(
\frac{
a h n_1
}{
q d r_1
}
\right)
}
$$

以及更後續的 inverse / Kloosterman-type phases。

因此：

$$
\boxed{
\text{uniformizing }a
\text{ 不是單純把 theorem 前面的 }\ll_a\text{ 拿掉。}
}
$$

必須 audit spectral / exponential-sum stages。

---

# 16. Three Classes of $a$-Dependence

建議把 Maynard-II proof中所有：

$$
a
$$

dependency分成三類。

## Class I — Coprimality Only

例如：

$$
(q,a)=1.
$$

SRBRD可直接 restriction：

$$
(q,2m)=1.
$$

因：

$$
p\mid m
$$

在 switched opposite sieve中 local bad density為：

$$
0.
$$

所以這類 dependence是：

$$
\boxed{
\text{harmless / compatible}.
}
$$

---

# 17. Class II — Modular Numerator

例如：

$$
e
\left(
\frac{
a h \bar n
}{q}
\right).
$$

若 underlying Kloosterman / complete-sum bound只依賴：

- modulus；
- gcd of numerator and modulus；

那：

$$
(a,q)=1
$$

可能已足以取得 uniformity。

這類 dependence：

$$
\boxed{
\text{potentially removable}.
}
$$

但需逐 lemma確認。

---

# 18. Class III — Genuine Archimedean / Constant Dependence

如果某步出現：

$$
|a|^\theta,
$$

或：

$$
C(a)
$$

無法控制為：

$$
X^{o(1)},
$$

則：

$$
a=X+3
$$

會真正破壞 uniform theorem。

這才是：

$$
\boxed{
\text{fatal fixed-residue dependence}.
}
$$

本輪尚未找到 theorem-level evidence證明 Class III 必然出現，

但 published proof允許它存在，

所以不能假設沒有。

---

# 19. Important Audit Observation

在已核對的 Maynard-II statement / reduction中：

- $a$ 被明確固定；
- coprimality條件大量出現；
- exponential phase numerator大量出現；
- theorem常數允許依賴 $a$。

但尚未看到一個顯式：

$$
\boxed{
|a|^c
}
$$

loss被寫進 main bound。

因此目前正確 verdict不是：

$$
\boxed{
\text{uniformization impossible}.
}
$$

而是：

$$
\boxed{
\text{uniformization unresolved and now line-by-line auditable}.
}
$$

---

# 20. Maynard-III Shows Uniformity Is Technically Achievable

Maynard-III 的 main feature正是：

$$
\boxed{
\text{complete / near-complete residue uniformity beyond }X^{1/2}.
}
$$

其 technical propositions甚至直接對：

$$
\sup_a
$$

估 bilinear convolutions。

所以：

> fixed-residue dependence不是整個 Maynard dispersion architecture的 unavoidable law。

真正問題是：

$$
\boxed{
\text{Maynard-II 的 stronger well-factorable level與
Maynard-III 的 uniform-residue technology
在哪些 variable ranges能同時保留？}
}
$$

---

# 21. Minimal Missing Lemma

因 SRBRD只需要：

$$
\boxed{
a_X=X+3,
}
$$

不需要 full：

$$
\sup_a.
$$

所以最小 target不應一開始寫成：

> arbitrary uniform residue theorem。

而應寫：

# GSHIFT-TII

---

# 22. Goldbach-Shift Uniform Type-II Lemma — Target Form

希望證：

對：

$$
\boxed{
a_X=X+3,
}
$$

$$
\boxed{
X^{1/3+\eta}
\le
N
\le
X^{2/5-\eta},
}
$$

$$
NM\asymp X,
$$

以及 compatible well-factorable / upper-sieve modulus weights：

$$
\lambda_q,
$$

有：

$$
\boxed{
\sum_{\substack{
q\le Q\\
(q,a_X)=1
}}
\lambda_q
\sum_{n\sim N}
\mathbf1_{\mathbb P}(n)
\sum_{v\sim M}
\mathbf1_{\mathbb P}(v)
\left[
\mathbf1_{nv\equiv a_X\pmod q}
-
\frac{
\mathbf1_{(nv,q)=1}
}{
\varphi(q)
}
\right]
\ll_{A,\eta}
\frac X{(\log X)^A}.
}
$$

implied constant必須：

$$
\boxed{
\text{independent of }X
}
$$

through：

$$
a_X=X+3.
$$

---

# 23. Why GSHIFT-TII Is Strictly Weaker Than Full Uniformity

full uniform theorem要求：

$$
\sup_{(a,q)=1}
|\Delta(a;q)|.
$$

GSHIFT-TII只要求一條 deterministic path：

$$
\boxed{
a_X=X+3.
}
$$

所以：

$$
\boxed{
\text{GSHIFT-TII}
<
\text{full uniform residue Type-II}.
}
$$

這可能顯著降低 technical burden。

---

# 24. Congruence Size Is Not Intrinsic

congruence：

$$
nv\equiv a_X\pmod q
$$

只依賴：

$$
a_X\bmod q.
$$

所以：

$$
|a_X|\asymp X
$$

本身不一定該造成 loss。

只有 proof method若對 integer representative：

$$
a_X
$$

產生非-modular dependence，

才形成 uniformity問題。

這是下一輪 audit的核心。

---

# 25. Goldbach Coprimality Reduction

SRBRD switched local density：

$$
g_m(p)
=
\begin{cases}
0,&p\mid m,\\
1/(p-1),&p\nmid m.
\end{cases}
$$

所以 sieve modulus可以直接 restriction：

$$
\boxed{
(q,2m)=1.
}
$$

也就是：

$$
\boxed{
(q,a_X)=1.
}
$$

因此 GSHIFT-TII不需要處理 non-coprime residues。

---

# 26. Balanced Proposition 5.3 as a Goldbach-Specific Uniformity Lesson

Maynard-III Prop 5.3不是 arbitrary independent residue theorem，

但 Goldbach shift仍能嵌入。

這說明：

$$
\boxed{
\text{我們不應追求比 Goldbach結構真正需要的更強 uniformity。}
}
$$

GSHIFT-TII也應採同一哲學。

---

# 27. Modulus-Factorization Gate

即使 Type-II residue / coefficient match完成，

還有另一個獨立問題：

$$
\boxed{
\text{SRBRD upper-sieve weights能否 factor進 Maynard-III 所需 modulus windows？}
}
$$

Maynard-II 對 linear sieve weights曾用非常精細的 factorization proposition處理這件事。

Maynard-III main theorems則針對：

> moduli with suitably sized divisors。

所以必須分開：

### Residue Match

本輪大部分已 PASS。

### Sieve-Weight / Modulus Match

仍：

$$
\boxed{
\text{PENDING}.
}
$$

---

# 28. Constant-Strength Gate

還要再保留 SRBRD-18 的警告：

即使一個 theorem：

- convolution；
- uniform residue；
- prime coefficients；

全部 match，

若它只給：

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

但 resulting linear-sieve constant仍太大，

也不能進 final positive ledger。

因此：

$$
\boxed{
\text{theorem legality}
\neq
\text{constant sufficiency}.
}
$$

SRBRD-20只解 theorem-shape localization，

不宣稱 crossing。

---

# 29. Revised External-Theorem Map

### Band A

$$
\frac13\le t<\frac25-\eta.
$$

- Maynard-II range：excellent。
- well-factorable level：strong。
- coefficient：compatible。
- residue：fixed-$a$ gap。

Verdict：

$$
\boxed{
\text{GSHIFT uniformization target}.
}
$$

---

# 30. Band B

$$
t\approx\frac25.
$$

Maynard-III Prop 5.2：

- convolution：PASS；
- residue uniform：PASS；
- prime coefficient：PASS；
- modulus factorization：PENDING。

Verdict：

$$
\boxed{
\text{analytic shape largely available}.
}
$$

---

# 31. Band C

$$
\frac25+\eta
\le t
\le
\frac12-\eta.
$$

Maynard-III Prop 5.1：

- arbitrary convolution；
- full residue supremum；
- prime coefficient compatible。

Verdict：

$$
\boxed{
\text{residue + coefficient gap closed}.
}
$$

---

# 32. Band D

$$
t\approx\frac12.
$$

Maynard-III Prop 5.3：

- balanced convolution；
- restricted residue uniformity；
- Goldbach global residue satisfies restriction exactly。

Verdict：

$$
\boxed{
\text{Goldbach-residue match PASS},
}
$$

but：

$$
\boxed{
\text{modulus / constant integration pending}.
}
$$

---

# 33. Correction to SRBRD-19

SRBRD-19 說：

> missing theorem可能需要 full band 的
> Yang-type convolution + Maynard-III uniformity。

SRBRD-20 修正為：

$$
\boxed{
\text{full-band uniformity gap was too pessimistic}.
}
$$

因 Maynard-III technical propositions已提供 uniform bilinear convolution於 substantial middle/high band，

而 balanced restriction也容納 single global Goldbach residue。

真正清楚未覆蓋的是：

$$
\boxed{
\text{low row }t\approx1/3\to2/5
}
$$

的 stronger fixed-residue technology之 uniformization。

---

# 34. Yang 2026 的角色重新定位

Yang 2026仍然重要，

但角色從：

> 唯一可能的 full-row convolution provider

改為：

> **更高 level / 更好 constant 的 quantitative enhancement provider。**

因為 qualitative：

- convolution；
- prime coefficient；
- residue uniformity；

在 Maynard-III middle/high band已有 direct template。

Yang/Pascadi仍可能提供：

- stronger modulus range；
- better constant；
- high-level well-factorable weights；

以解 SRBRD-18 constant ledger。

---

# 35. Low-Row Proof Dependency Graph

Maynard-II low-row route：

$$
\boxed{
\text{Prop 5.1}
}
$$

由：

$$
\boxed{
\text{Prop 8.2 convolution estimate}
}
$$

支撐，

而 proof reduction經：

1. separation；
2. Poisson；
3. Cauchy–Schwarz；
4. exponential sums；
5. Kloosterman / spectral estimates。

$a$ 在這條 chain中：

- 出現在 gcd restrictions；
- 出現在 exponential phase numerator；
- theorem constants可依賴 $a$。

所以 SRBRD-21 可以做真正逐 dependency audit。

---

# 36. Uniformization Classification Table

| Dependency form | Goldbach shift risk | Intended treatment |
|---|---|---|
| $(q,a)=1$ | low | restrict $(q,2m)=1$ |
| $a\bmod q$ | low | modular reduction |
| gcd factors involving $a$ | low/medium | coprimality or divisor bounds |
| $\tau(a)^{O(1)}$ | medium but absorbable | $X^{o(1)}$ |
| $e(a\bar n/q)$ numerator | unknown | audit Kloosterman uniformity |
| $|a|^\theta$ | fatal at present | new estimate needed |
| exceptional modulus depending on $a$ | unknown | isolate / average / exclude |

---

# 37. Acceptable Uniform Loss

GSHIFT-TII 不一定需要完全：

$$
O(1)
$$

independence in：

$$
a_X.
$$

如果 proof只造成：

$$
\boxed{
\tau(a_X)^C
}
$$

或：

$$
(\log a_X)^C,
$$

這可被：

$$
\boxed{
X^\varepsilon
}
$$

或 log budget吸收。

因此真正 fatal的是：

$$
\boxed{
a_X^\theta
}
$$

型 loss。

---

# 38. Minimal Uniformization Objective

下一輪真正應證：

$$
\boxed{
C(a_X)
\le
X^{o(1)}
}
$$

for：

$$
a_X=X+3.
$$

如果成立，

Maynard-II fixed-$a$ estimate就有機會升成：

# Goldbach-Shift Uniform Type-II

不必取得：

$$
\sup_a.
$$

---

# 39. Prime-First-Factor Gate Is Smaller Than Previously Thought

Maynard-III 明確：

$$
\mathbf1_{\mathbb P}
$$

satisfies SW。

Maynard-II 使用同型 SW condition，

且 prime在 low row自動滿足：

$$
P^-(n)\ge z_0.
$$

所以：

$$
\boxed{
\text{prime first-factor support 不再是主要 conceptual gap}.
}
$$

真正剩：

- low-row $a_X$ uniformity；
- weight factorization；
- constants。

---

# 40. High-Row Balanced Cap May Be Thin Anyway

即使 Prop 5.3 integration不理想，

Maynard-III Prop 5.1可把 upper endpoint推到：

$$
X^{1/2-\varepsilon}
$$

for arbitrarily small fixed：

$$
\varepsilon.
$$

所以真正 balanced cap可以縮成：

$$
\boxed{
t\in
[1/2-\varepsilon,1/2].
}
$$

其 continuum width：

$$
\varepsilon.
$$

因此也可以考慮：

- trivial upper；
- Brun–Titchmarsh；
- transport-heavy treatment；

而不要求 full balanced theorem。

這提供 backup route。

---

# 41. Low-Row Cannot Be Made Thin in the Same Way

low gap：

$$
[1/3,2/5]
$$

具有 fixed width：

$$
\boxed{
\frac25-\frac13
=
\frac1{15}.
}
$$

所以不能像 balanced cap一樣只靠：

$$
\varepsilon
$$

縮掉。

它是真正需要 analytic theorem的 band。

---

# 42. New Minimal Architecture

SRBRD analytic provider可重新規劃：

## Low

$$
t\in[1/3,2/5].
$$

Target：

$$
\boxed{
\text{GSHIFT-TII uniformized Maynard-II}
}
$$

或 equivalent new lemma。

## Middle

$$
t\approx2/5.
$$

Maynard-III Prop 5.2。

## High

$$
t\in[2/5+\eta,1/2-\eta].
$$

Maynard-III Prop 5.1。

## Balanced Cap

Prop 5.3 or explicit small-cap treatment。

---

# 43. Theorem Strength vs Ledger Strength

這個 split只說：

$$
\boxed{
\text{distribution error可以被控制}.
}
$$

final ledger仍需問：

> corresponding level / sieve weight會產生多大的 upper-sieve multiplier？

因此：

$$
\boxed{
\text{Band Coverage Pass}
}
$$

與：

$$
\boxed{
\text{Constant Crossing Pass}
}
$$

必須分成兩個 gates。

---

# 44. Formal Target — GSHIFT-TII v0.1

```yaml
GSHIFT_TII:

  global_scale:
    X:
      large: true

  residue:
    a_X:
      X + 3

  factor_range:
    N:
      X^(1/3+eta)
      to:
      X^(2/5-eta)

    M:
      asymptotic:
        X/N

  coefficients:
    alpha_n:
      prime_indicator: true

    beta_m:
      prime_indicator: true

  modulus:
    coprime_to_a_X: true

  weight:
    target:
      triply_well_factorable_or_linear_upper_variant: true

  estimate:
    uniform_in_X_through_a_X: true
    error:
      X/log(X)^A
```

---

# 45. Goldbach-Shift Residue Lemma

可以先把 GSHIFT-TII再拆成：

## GSHIFT-Phase Lemma

所有 Maynard-II reduction中出現的：

$$
a
$$

取：

$$
a=X+3
$$

後，

相關 complete / incomplete exponential-sum bounds保持：

$$
\boxed{
X^{o(1)}
}
$$

uniformity。

如果這一步成立，

其餘 combinatorial factorization大部分不需要改動。

---

# 46. Possible Easy Outcome

若逐 proof audit發現：

> 所有 $a$ dependence其實只經：
> - gcd；
> - reduced residue；
> - divisor function；
> - root-of-unity phase；

那 GSHIFT uniformity可能只是：

$$
\boxed{
\text{published theorem未追 constants，
而非真正新 obstruction}.
}
$$

這是下一輪最值得先驗證的可能性。

---

# 47. Possible Hard Outcome

如果 Deshouillers–Iwaniec / Kuznetsov stage在：

$$
a
$$

成長時產生：

$$
|a|^\theta
$$

或 conductor級 loss，

則：

$$
\boxed{
\text{GSHIFT-TII 是 genuinely new analytic theorem}.
}
$$

這時再考慮：

- Maynard-III algebraic-uniform methods；
- Yang/Pascadi convolution；
- dispersion reformulation。

---

# 48. Research Integrity Firewall

直到 SRBRD-21 完成之前，

不得寫：

$$
\boxed{
\text{Maynard-II can be used with }a=2m.
}
$$

正確說法只能是：

$$
\boxed{
\text{variable range / coefficients match；
uniformity remains unverified}.
}
$$

---

# 49. External Source Audit Summary

### Maynard-II

paper明寫：

$$
\boxed{
a\text{ fixed},
}
$$

常數可依賴：

$$
a.
$$

Prop 5.1恰覆蓋：

$$
N\le X^{2/5}.
$$

### Maynard-III

paper main feature：

$$
\boxed{
\text{uniform residue classes}.
}
$$

Definition 1明寫 prime indicator satisfies SW。

Props 5.1–5.2：

$$
\boxed{
\text{uniform arbitrary convolutions around }2/5\text{ to }1/2.
}
$$

Prop 5.3：

balanced convolution with residue compatibility，

Goldbach shift可嵌入。

---

# 50. Current Exact Gap

所以截至：

$$
\boxed{
2026\mbox{-}09\mbox{-}30
}
$$

SRBRD row analytic gap可重新寫成：

$$
\boxed{
\text{LOW ROW}
:
\text{fixed-residue stronger Type-II}
\to
\text{Goldbach-shift uniform Type-II}
}
$$

加上：

$$
\boxed{
\text{ALL BANDS}
:
\text{sieve-weight factorization + constant sufficiency}.
}
$$

這比 SRBRD-19 的 full-band missing theorem更精確。

---

# 51. Formal Theorem Queue

```yaml
SRBRD_20:

  T01:
    global_integer_residue_embeds_in_MaynardIII_balanced_restriction

  Match01:
    prime_indicator_is_MaynardIII_SW_compatible

  Match02:
    middle_high_row_uniform_convolution_available

  Match03:
    near_two_fifths_uniform_bridge_available

  Match04:
    MaynardII_low_row_variable_and_coefficient_match

  Gap01:
    MaynardII_growing_Goldbach_shift_uniformity_unverified

  Gap02:
    sieve_weight_modulus_factorization_unclosed

  Gap03:
    constant_ledger_still_unclosed
```

---

# 52. Acceptance Gate

SRBRD-20正式化前需：

1. Maynard-III SW prime-indicator citation；
2. Prop 5.1 range核對；
3. Prop 5.2 near-$2/5$ range核對；
4. Prop 5.3 restricted residue核對；
5. global-integer embedding proof；
6. Maynard-II Prop 5.1 low-range核對；
7. fixed-$a$ declaration核對；
8. exponential-phase occurrence核對；
9. uniformization unresolved標記；
10. modulus-factorization獨立 gate；
11. theorem coverage不等於 constant crossing；
12. no Goldbach proof claim。

---

# 53. Verdict

本輪可給：

$$
\boxed{
\mathrm{SRBRD\mbox{-}20\ LOW\mbox{-}ROW\ GAP\ LOCALIZATION\ PASS}.
}
$$

最大的修正：

$$
\boxed{
\text{Maynard-III 已直接覆蓋 substantial middle/high convolution range，
且 Goldbach residue可嵌入 balanced restricted-uniform proposition。}
}
$$

所以：

$$
\boxed{
\text{uniform convolution不是 full row band的未知問題。}
}
$$

真正最乾淨的 analytic target已縮成：

$$
\boxed{
\text{Goldbach-Shift Uniformization of Maynard-II Low-Row Type-II}.
}
$$

但：

$$
\boxed{
\mathrm{GSHIFT\mbox{-}TII\ NOT\ YET\ PROVED}.
}
$$

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

以及：

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

---

# 54. 下一輪建議

# SRBRD-21
## Fixed-$a$ Spectral Dependency / Goldbach-Shift Uniformization Audit

下一輪只做一件事：

逐步追 Maynard-II：

$$
\text{Prop 5.1}
\leftarrow
\text{Prop 8.2}
\leftarrow
\text{exponential-sum reductions}
$$

裡每一個：

$$
a
$$

dependency。

對每個 occurrence分類：

```yaml
a_dependency:
  gcd_only:
    harmless

  residue_only:
    harmless

  divisor_function:
    absorbable_if_X_o_1

  Kloosterman_numerator:
    inspect_uniformity

  spectral_conductor:
    inspect_uniformity

  polynomial_absolute_size:
    fatal_without_new_bound
```

最終目標：

$$
\boxed{
C(a_X)
\le
X^{o(1)}
\qquad
a_X=X+3.
}
$$

若成立：

$$
\boxed{
\text{GSHIFT-TII upgrade candidate}.
}
$$

若不成立，

就精確定位需要由 Maynard-III / Yang / Pascadi 技術替換的那一個 lemma，

而不是再重新設計整個 SRBRD。

---

# 附錄 A：Updated Row-Band Ledger

```yaml
row_band:

  low:
    t:
      1/3_to_2/5
    template:
      Maynard_II_Prop5_1
    variable_match:
      PASS
    prime_coefficients:
      PASS_LIKE
    residue:
      FIXED_A_GAP
    status:
      MAIN_ANALYTIC_TARGET

  near_two_fifths:
    template:
      Maynard_III_Prop5_2
    residue:
      UNIFORM
    prime_coefficients:
      PASS
    status:
      SHAPE_PASS

  middle_high:
    t:
      2/5_plus_to_1/2_minus
    template:
      Maynard_III_Prop5_1
    residue:
      UNIFORM
    prime_coefficients:
      PASS
    status:
      SHAPE_PASS

  balanced:
    t:
      near_1/2
    template:
      Maynard_III_Prop5_3
    residue:
      RESTRICTED_UNIFORM
    Goldbach_global_integer:
      compatible: true
    status:
      RESIDUE_PASS_WEIGHT_GATE_PENDING
```

---

# 附錄 B：Maynard-II Fixed-$a$ Dependency

```yaml
paper:
  Primes_in_AP_large_moduli_II

notation:
  a:
    fixed_positive_integer: true

implied_constants:
  may_depend_on_a: true

low_TypeII:
  N_range:
    X^epsilon_to_X^(2/5)

reduction:
  exponential_phase_contains_a: true

SRBRD:
  a_X:
    X+3
  grows_with_X: true

conclusion:
  direct_black_box_use:
    false
```

---

# 附錄 C：Maynard-III Uniformity Facts

```yaml
SiegelWalfisz_examples:
  prime_indicator:
    satisfies: true

Prop5_1:
  convolution:
    arbitrary_divisor_bounded: true
  residue:
    supremum_uniform: true
  useful_N_range:
    approx_2/5_plus_to_1/2_minus

Prop5_2:
  near_2/5:
    true
  residue:
    supremum_uniform: true

Prop5_3:
  balanced:
    true
  residue:
    a_congruent_b_mod_q1

Goldbach_shift:
  choose:
    b:
      A_mod_q1
    a:
      A_mod_q1q2
  compatibility:
    automatic: true
```

---

# 附錄 D：GSHIFT-TII Target

```yaml
name:
  GoldbachShift_Uniform_TypeII

residue:
  a_X:
    X+3

range:
  low_factor:
    X^(1/3+eta)
    to:
    X^(2/5-eta)

coefficients:
  prime_times_prime: true

uniformity:
  implied_constant_independent_of_X_through_a_X: true

acceptable_losses:
  polylog_a: true
  divisor_a_power: true_if_absorbable_X_o_1
  absolute_a_positive_power: false

status:
  open_target
```

---

# 附錄 E：Correction to SRBRD-19

```yaml
old_view:
  full_row_missing:
    Yang_convolution_plus_MaynardIII_uniformity

new_view:
  middle_high_uniform_convolution:
    already_present_in_MaynardIII: true

  balanced_global_Goldbach_residue:
    embeds_in_restricted_uniformity: true

  clearest_uniformity_gap:
    low_row_MaynardII_fixed_a: true

  Yang_role:
    higher_level_and_constant_enhancement: true
    sole_full_row_shape_provider: false
```

---

# 附錄 F：Commit Decision

```yaml
research_round: SRBRD-20

decision:
  middle_high_uniformity_gap_reduced: true
  balanced_Goldbach_residue_embedding: true
  prime_coefficient_compatibility: true
  low_row_GSHIFT_target_identified: true
  low_row_uniformization_proved: false
  modulus_factorization_closed: false
  constant_crossing: false
  goldbach_proved: false

next:
  SRBRD-21_FixedA_SpectralDependency_GoldbachShift_Uniformization_Audit
```

---

# References / Audited Sources

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

   Key audited facts:
   - §4 fixes $a$ and allows implied constants to depend on $a$.
   - Proposition 5.1 covers $X^\varepsilon\le N\le X^{2/5}$.
   - Proposition 5.1 uses a bilinear convolution with well-factorable modulus weights.
   - the exponential-sum reduction retains $a$ in Fourier/Kloosterman-type phases.

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

   Key audited facts:
   - Definition 1 explicitly states the prime indicator satisfies the Siegel–Walfisz condition.
   - Proposition 5.1 gives uniform-residue Type-II convolution estimates over a broad middle/high factor range.
   - Proposition 5.2 extends the range near $X^{2/5}$.
   - Proposition 5.3 treats balanced convolutions under a residue-compatibility condition.
   - the paper explicitly notes that completely uniform balanced convolution is harder.

3. Zhiyuan Yang, **Convolution-type Bombieri-Vinogradov theorem with well-factorable Weights, and its applications**, arXiv:2608.13299v2 (2026-09-03).

   Current role after SRBRD-20:
   - stronger convolution / modulus-level technology;
   - potential constant improvement;
   - no longer treated as the only possible qualitative high-row convolution template.

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

   Used as a higher-level structured-weight technology source for future constant optimization, not as a direct SRBRD provider in this round.