# SRBRD-19
## Convolution-BV Hypothesis Match / Weighted Transport Ledger
### 現有大模數定理逐條對照、Uniform-Residue Convolution 缺口、Provider Legality 與 Constant Ledger v1

**母計畫：** RG-SCP / Reverse Goldbach Structural Closure Program  
**支線：** SRBRD — Symmetric Root-Bounded Relation Domain  
**輪次：** SRBRD-19  
**日期：** 2026-09-30  
**版本：** v0.1  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**性質：** External-Theorem Hypothesis Audit / Analytic Provider Legality / Quantitative Research Gate  
**前置：** SRBRD-00 ～ SRBRD-18  
**狀態：** 找到與 SRBRD switched bilinear sequence 最接近的 2026 convolution-BV theorem；證明現有文獻的主要缺口不是單純 exponent，而是 `uniform residue × convolution × prime-supported first factor` 的交集；Goldbach仍未證明

---

# 0. 本輪目的

SRBRD-18 已把 quantitative target壓成：

$$
\boxed{
C_L-C_B-C_R+C_T>0.
}
$$

而 switched semiprime bulk的核心 sequence是：

$$
\boxed{
\mathcal P_m
=
\left\{
(r,u):
r,u\in\mathbb P,
\quad
z_3<r\le u,
\quad
ru\le2m-z_3^2
\right\},
}
$$

以及 residual：

$$
\boxed{
a_{r,u}=2m-ru.
}
$$

對 sieve modulus：

$$
q,
$$

bad condition：

$$
q\mid a_{r,u}
$$

等價：

$$
\boxed{
ru\equiv2m\pmod q.
}
$$

所以我們真正需要的 external analytic provider不是泛稱：

> 「更高 level of distribution」。

而是非常具體：

> **prime-product convolution**
> $$
> ru
> $$
> 在 **target-dependent residue**
> $$
> 2m\bmod q
> $$
> 中，對 **well-factorable / linear-sieve modulus weights** 的平均 equidistribution。

SRBRD-19 對 2026-09-30 可取得的相關文獻做逐條 hypothesis match。

---

# 1. SRBRD Target Sequence

先固定 dyadic semiprime row block：

$$
r\sim R=X^\nu,
$$

$$
u\sim U,
$$

$$
RU\asymp X.
$$

定義：

$$
\boxed{
\mathcal A_m(q,a)
=
\sum_{\substack{
r\sim R\\
r\in\mathbb P
}}
\sum_{\substack{
u\sim U\\
u\in\mathbb P
}}
\mathbf1_{ru\equiv a\pmod q}.
}
$$

SRBRD 需要：

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

而且：

$$
\boxed{
|a|\asymp X.
}
$$

所以 residue不是 fixed $O(1)$ parameter。

---

# 2. Expected Main Term

對：

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

expected equidistribution型態是：

$$
\boxed{
\mathcal A_m(q,2m)
\approx
\frac1{\varphi(q)}
\sum_{\substack{
r\sim R,\ u\sim U\\
r,u\in\mathbb P\\
(ru,q)=1
}}
1.
}
$$

sieve中希望對：

$$
q
$$

帶 well-factorable upper-bound weights：

$$
\lambda_q^+.
$$

---

# 3. The Five Required Axes

定義 SRBRD provider需要同時滿足：

### Axis C — Convolution Shape

可處理：

$$
l\,p\equiv a\pmod q
$$

或：

$$
ru\equiv a\pmod q.
$$

### Axis U — Uniform Residue

估計對：

$$
a
$$

uniform，

至少容許：

$$
|a|\asymp X.
$$

### Axis W — Well-Factorable Sieve Weights

可與：

$$
\lambda_q^+
$$

等 linear-sieve weights搭配。

### Axis P — Prime-Supported First Factor

第一個 factor：

$$
r
$$

可以限制為 prime，

或有一個 theorem-compatible prime / least-factor majorant。

### Axis B — Full Semiprime Band

至少能覆蓋：

$$
\boxed{
X^{1/3}<R\le X^{1/2}.
}
$$

---

# 4. Provider Match標記

本輪使用：

```yaml
PASS:
  theorem statement directly supplies the needed property

PARTIAL:
  theorem supplies only a subrange / related sequence / weaker version

FAIL:
  theorem statement is incompatible with the required property

UNKNOWN_EXTENSION:
  proof technology may plausibly extend, but published theorem as audited does not state it

NO_BLACK_BOX_COMPOSITION:
  two theorems separately supply properties, but no theorem permits combining them automatically
```

---

# 5. Bombieri–Friedlander–Iwaniec Baseline

BFI classical large-modulus theorem：

- prime AP；
- fixed nonzero residue；
- well-factorable weights；
- level：
  $$
  x^{4/7-\varepsilon}.
  $$

所以：

| Axis | Status |
|---|---|
| C — convolution $ru$ | FAIL |
| U — residue uniform in growing $a$ | FAIL |
| W — well-factorable | PASS |
| P — prime input | PASS |
| B — full bilinear factor band | FAIL as direct theorem |

Verdict：

$$
\boxed{
\mathrm{BFI:\ BASELINE,\ NOT\ DIRECT\ PROVIDER}.
}
$$

---

# 6. Maynard 2025 — Well-Factorable Estimates

Maynard, *Primes in arithmetic progressions to large moduli II: Well-factorable estimates*：

$$
\boxed{
Q\le x^{3/5-\varepsilon}
}
$$

for suitably well-factorable / triply well-factorable weighted prime AP estimates.

其 proof中的 Type-II proposition具有真正 convolution形：

$$
nm\equiv a\pmod q,
$$

並允許 divisor-bounded coefficient sequences。

一個 key proposition要求：

$$
N\le x^{2/5}
$$

且一側 sequence滿足：

- Siegel–Walfisz；
- rough support；
- divisor-bounded coefficients。

---

# 7. Maynard-II vs SRBRD

### Convolution

$$
\boxed{
\mathrm{PARTIAL}.
}
$$

proof technology包含 genuine product convolution。

### Well-factorable

$$
\boxed{
\mathrm{PASS}.
}
$$

### Fixed residue

theorem / Type-II estimates使用 fixed：

$$
a\neq0
$$

作 parameter。

對 SRBRD：

$$
a=2m\asymp X.
$$

所以：

$$
\boxed{
\mathrm{FAIL\ for\ uniform\ Goldbach\ family}.
}
$$

### Factor range

對 direct Type-II proposition：

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

在 row band：

$$
R=X^t,
\quad
t\in[1/3,1/2],
$$

只有 lower subband：

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

可直接把：

$$
N=R
$$

塞入該 proposition。

高 band：

$$
2/5<t\le1/2
$$

不能直接套同一 statement。

---

# 8. Maynard-II Verdict

$$
\boxed{
\mathrm{PARTIAL\ MATCH}.
}
$$

它證明：

> `well-factorable + bilinear Type-II` 技術確實存在。

但 published statement並沒有提供：

$$
\boxed{
\text{full row band}
+
\text{growing residue }2m
}
$$

的 black-box provider。

---

# 9. Maynard 2025 — Uniform Residue Classes

Maynard, *Primes in arithmetic progressions to large moduli III: Uniform residue classes*，

核心新點正是：

$$
\boxed{
\text{uniformity in residue class }a.
}
$$

Theorem 1.1處理：

$$
q=q_1q_2
$$

with：

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

$$
Q_2
\lesssim
x^{4/10+4\delta},
$$

並對：

$$
a
$$

取 supremum。

所以：

$$
\boxed{
\text{growing target residue本身不是原理上不可處理。}
}
$$

---

# 10. Maynard-III vs SRBRD

### Uniform residue

$$
\boxed{
\mathrm{PASS}.
}
$$

### Prime AP input

$$
\boxed{
\mathrm{PASS}.
}
$$

### Product convolution $ru$

main theorems處理的是：

$$
\boxed{
\text{prime indicator in AP},
}
$$

不是：

$$
\boxed{
\text{prime}\times\text{prime convolution in AP}.
}
$$

因此：

$$
\boxed{
\mathrm{FAIL\ as\ direct\ aggregate\ row\ theorem}.
}
$$

### Modulus shape

需要 moduli具有 convenient factorization。

Rosser–Iwaniec sieve weights有 factorability，

但：

$$
\boxed{
\text{well-factorable weight}
\not\Rightarrow
\text{每個 modulus自動滿足 Maynard-III 的 specific factor window}.
}
$$

需要另做 decomposition。

---

# 11. Why Maynard-II + Maynard-III Cannot Be Simply Glued

Maynard-II：

$$
\boxed{
\text{convolution / well-factorable}
}
$$

但 residue uniformity不足。

Maynard-III：

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

但不是 product-convolution theorem。

因此：

$$
\boxed{
\mathrm{NO\ BLACK\mbox{-}BOX\ COMPOSITION}.
}
$$

uniformity不是可以從另一篇 theorem「貼」到 convolution estimate上的 decorator。

---

# 12. Lichtman 66/107

Lichtman：

$$
\boxed{
\theta
=
\frac{66}{107}
\approx0.6168
}
$$

for triply well-factorable weights，

並首次將 beyond-square-root distribution應用到 Goldbach upper bounds。

但其核心仍是：

$$
\boxed{
\text{prime distribution with structured modulus weights}.
}
$$

不是 SRBRD：

$$
\boxed{
r\,u\equiv2m\pmod q
}
$$

的 uniform convolution statement。

所以：

$$
\boxed{
\mathrm{PARTIAL\ EXPONENT\ BENCHMARK,\ NOT\ DIRECT\ PROVIDER}.
}
$$

---

# 13. Pascadi 2025

Pascadi 證：

$$
\boxed{
\theta
=
5/8-o(1)
}
$$

for primes with triply-well-factorable weights，

並改善 well-factorable linear-sieve weights。

這是目前 relevant distribution ladder的重要頂端之一。

但同樣：

$$
\boxed{
\text{prime AP theorem}
\neq
\text{uniform prime-product convolution theorem}.
}
$$

所以：

$$
\boxed{
\mathrm{PARTIAL}.
}
$$

---

# 14. Yang 2026 Convolution-Type BV

2026-08，Zhiyuan Yang：

**Convolution-type Bombieri-Vinogradov theorem with well-factorable Weights, and its applications**，

目前 arXiv v2 日期：

$$
\boxed{
2026\mbox{-}09\mbox{-}03.
}
$$

這是本輪最重要的新 source。

---

# 15. Yang's Core Convolution Form

Yang明確考慮：

$$
\boxed{
\sum_q
\lambda_q
\left[
\sum_{l\sim L}
\sum_{\substack{
p<x/l\\
lp\equiv a\pmod q
}}
1
-
\frac1{\varphi(q)}
\sum_{l\sim L}
\sum_{\substack{
p<x/l\\
(lp,q)=1
}}
1
\right].
}
$$

這和 SRBRD：

$$
\boxed{
ru\equiv2m\pmod q
}
$$

在幾何上幾乎完全同型。

---

# 16. Yang's Modulus Weights

Yang Theorem 1.1：

- well-factorable：
  $$
  \lambda_q;
  $$
- upper-bound well-factorable linear-sieve weights：
  $$
  \lambda_q^+.
  $$

文中明確指出：

$$
\boxed{
\mathcal L(\nu)\ge4/7,
}
$$

以及：

$$
\boxed{
\mathcal L'(\nu)\ge3/5.
}
$$

其 proof再使用 Pascadi triply-well-factorable convolution estimates與 incomplete Kloosterman estimates。

所以：

$$
\boxed{
\mathrm{Axis\ C:\ PASS},
}
$$

$$
\boxed{
\mathrm{Axis\ W:\ PASS}.
}
$$

---

# 17. Yang vs SRBRD Product Geometry

identification：

$$
\boxed{
l\leftrightarrow r,
}
$$

$$
\boxed{
p\leftrightarrow u,
}
$$

$$
\boxed{
a\leftrightarrow2m.
}
$$

range：

$$
l\sim L=X^\nu
$$

正好可與 SRBRD dyadic：

$$
r\sim X^t
$$

對接。

因此：

$$
\boxed{
\text{Yang 2026 是目前和 SRBRD row 最接近的 published/preprint theorem family。}
}
$$

---

# 18. Critical Mismatch 1 — Residue $a$ Is Fixed

Yang 的 error notation：

$$
\boxed{
\ll_{\varepsilon,A,a}
}
$$

顯示 theorem把：

$$
a
$$

作 fixed parameter。

而 SRBRD family：

$$
\boxed{
a=2m\asymp X
}
$$

隨：

$$
X\to\infty
$$

一起成長。

所以：

## Theorem-Match Verdict

$$
\boxed{
\mathrm{Yang\ convolution:
STRUCTURAL\ MATCH,
UNIFORMITY\ FAIL}.
}
$$

---

# 19. Why “For Each $m$ Fix $a=2m$” Does Not Solve It

Yang theorem是：

> fixed $a$，
> $x\to\infty$。

SRBRD需要：

$$
\boxed{
a=a(X)\asymp X.
}
$$

我們不能：

1. 固定某個 finite $m$；
2. 讓 unrelated asymptotic variable：
   $$
   x\to\infty;
   $$
3. 再回來推 target：
   $$
   X=2m-3.
   $$

所以 dependency on：

$$
a
$$

不是形式問題。

它是 uniform-family theorem的實質缺口。

---

# 20. Critical Mismatch 2 — First Factor Support

Yang displayed convolution theorem直接以：

$$
l\sim L
$$

作第一 convolution factor。

SRBRD需要：

$$
\boxed{
r\in\mathbb P.
}
$$

更精確：

$$
r
$$

是 semiprime endpoint的 canonical least factor。

published theorem as audited 並沒有直接 statement：

$$
\boxed{
l
\text{ 可任意替換成 prime-indicator coefficient}
}
$$

with all same level claims。

因此：

$$
\boxed{
\mathrm{Axis\ P:
UNKNOWN\_EXTENSION/PARTIAL}.
}
$$

---

# 21. Why Prime-$r$ Cannot Be Casually Dropped

如果把：

$$
r
$$

從 prime放寬成所有 integers，

row mass變成非常不同的 convolution sequence。

對 upper bound雖然 enlargement sound，

但可能重新產生 large constant loss，

破壞 SRBRD-18：

$$
\boxed{
\overline R<1.23315
}
$$

這個非常緊的 target。

所以：

$$
\boxed{
\text{prime-first-factor support是 quantitative hypothesis，
不是 cosmetic detail。}
}
$$

---

# 22. Yang Theorem 1.2

Yang Theorem 1.2 再允許：

$$
D=x^\theta
$$

的額外 divisor-bounded：

$$
\gamma_d
$$

並和 well-factorable：

$$
\lambda_q
$$

組合。

形式更接近：

- Buchstab factor；
- extra divisor layer；
- switched convolution。

所以它可能是 SRBRD weighted shell的更好 source。

但：

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

因此仍不能直接成為 uniform Goldbach provider。

---

# 23. Yang/Pascadi Variable-Level Gain

Yang 文中指出：

- baseline convolution well-factorable level：
  $$
  \ge4/7;
  $$
- upper linear-sieve weight level：
  $$
  \ge3/5;
  $$
- underlying triply-well-factorable technology目前可到：
  $$
  5/8-\varepsilon
  $$
  的相關尺度。

這些 exponent很重要。

但 SRBRD-18 已證：

$$
\boxed{
\text{exponent alone不會自動 crossing。}
}
$$

所以即使 residue uniformity補上，

仍需：

- exact range-dependent level；
- sieve multiplier；
- weighted transport discount；

一起進 constant ledger。

---

# 24. Hypothesis Match Matrix

| Source | C: convolution | U: growing residue | W: WF sieve weight | P: prime first factor | B: full row band | Direct SRBRD? |
|---|:---:|:---:|:---:|:---:|:---:|:---:|
| BFI 1986 | ✗ | ✗ | ✓ | ✓ | ✗ | NO |
| Maynard II 2025 | partial | ✗ | ✓ | partial | partial | NO |
| Maynard III 2025 | ✗ | ✓ | partial modulus shape | ✓ | N/A | NO |
| Lichtman 2023 | ✗ | not target theorem | triply-WF ✓ | ✓ | N/A | NO |
| Pascadi 2025 | ✗ / proof convolution tech | fixed-residue style | triply-WF ✓ | ✓ | N/A | NO |
| Yang 2026 | **✓** | **✗** | **✓** | partial / unstated | strong variable-$L$ | **NEAREST** |

---

# 25. Main Literature Result of This Round

截至：

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

本輪 audited sources中，

沒有找到一條可直接 black-box 套用且同時具有：

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

五軸的 theorem。

因此：

$$
\boxed{
\text{SRBRD row provider仍缺一個 genuine theorem intersection。}
}
$$

這不是：

> 「沒有任何相關技術」。

相反：

> 各個軸都已有非常強技術，
> 只是尚未在我們需要的 intersection內同時出現。

---

# 26. Missing Theorem: CURC-WF

定義未來 target theorem：

# CURC-WF
## Convolution Uniform-Residue with Well-Factorable Weights

希望有：

對：

$$
L=X^\nu,
$$

dyadic coefficient：

$$
\alpha_l
$$

至少允許 prime-supported / Siegel–Walfisz / divisor-bounded class，

以及：

$$
\lambda_q
$$

為 well-factorable upper linear-sieve weights，

有：

$$
\boxed{
\sup_{\substack{
|a|\le cX\\
(a,q)=1
}}
\left|
\sum_q
\lambda_q
\left[
\sum_{l\sim L}
\alpha_l
\sum_{\substack{
p<X/l\\
lp\equiv a\pmod q
}}
1
-
\mathrm{MT}
\right]
\right|
\ll
\frac X{(\log X)^A}.
}
$$

更正式應把：

$$
\sup_a
$$

放在 theorem-compatible位置，

不能把：

$$
q
$$

依賴 escondido 在 supremum中。

---

# 27. Minimal SRBRD Version

SRBRD其實不需要 full：

$$
|a|\le cX
$$

uniformity。

只需：

$$
\boxed{
a=2m
}
$$

for：

$$
X=2m-3,
$$

uniform in：

$$
m.
$$

所以最小 missing theorem可以稱：

# Goldbach-Shift Uniform Convolution BV

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

這是非常特殊的 growing residue path，

可能比 arbitrary：

$$
a(X)
$$

容易。

---

# 28. Coprimality Firewall

well-factorable sieve moduli可以限制：

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

因對：

$$
p\mid m
$$

SRBRD switched local bad density：

$$
\boxed{
g_m(p)=0.
}
$$

這些 primes根本不需要進 opposite-endpoint sieve。

因此 target theorem只需在：

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

的 moduli上。

這與 standard AP theorem的：

$$
(a,q)=1
$$

條件相容。

---

# 29. Is Restricting $\lambda_q$ by $(q,2m)=1$ Safe?

對 fixed：

$$
m,
$$

若：

$$
\lambda_q
$$

well-factorable，

乘上：

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

通常可以在 factor sequences中同步加入：

$$
(q_i,2m)=1
$$

restriction。

所以：

$$
\boxed{
\text{coprimality本身不是主要 gap}.
}
$$

真正 gap仍是：

- growing residue；
- prime-supported first factor；
- exact convolution theorem class。

---

# 30. Maynard-III as a Uniformity Template

Maynard-III證明：

$$
\boxed{
\text{beyond-square-root theorem可以做到完全 uniform residue}.
}
$$

所以：

$$
\boxed{
\text{fixed-residue dependency不是必然 barrier}.
}
$$

它只是目前 Yang convolution theorem尚未提供的 property。

這很重要：

> missing theorem有技術難度，
> 但不是和現有大模數方法的基本哲學衝突。

---

# 31. Yang as a Convolution Template

相反，

Yang 2026已證：

$$
\boxed{
\text{well-factorable large-modulus estimate可以推廣到 }l\times p\text{ convolution}.
}
$$

所以：

$$
\boxed{
\text{convolution shape也不是 fundamental obstacle}.
}
$$

---

# 32. Intersection Gap

因此當前 external technology圖是：

$$
\boxed{
\text{Maynard III}
:
U
}
$$

與：

$$
\boxed{
\text{Yang 2026}
:
C+W
}
$$

分別成立，

但缺：

$$
\boxed{
U\cap C\cap W
}
$$

再加：

$$
\boxed{
P
}
$$

prime-first-factor support。

這是 SRBRD-19 最重要的 gap localization。

---

# 33. No Legal Constant Ledger Yet

因：

$$
C+U+W+P
$$

尚未由同一 theorem覆蓋，

目前不能合法地把：

- Yang 的 convolution exponent；
- Maynard III 的 residue uniformity；

拼成：

$$
\boxed{
U_r^{sw}
}
$$

再放進 SRBRD constant ledger。

所以：

## Research Integrity Gate

$$
\boxed{
\text{SRBRD-19 不產生 fake numerical crossing}.
}
$$

---

# 34. Current Rigorous Ledger Status

| Module | Exact SRBRD identity? | Unconditional external provider ready? |
|---|:---:|:---:|
| Coarse rough lower $L_y$ | ✓ interface | standard DHR possible after full constants/remainders |
| Buchstab shell upper $U_r^B$ | ✓ interface | partial; quantitative optimization pending |
| Switched row upper $U_r^{sw}$ | ✓ exact sequence | **NO direct C+U+W+P theorem found** |
| Transport $L_{SS}$ | ✓ exact finite providers | partial lower bounds available |

因此主要 blocker是：

$$
\boxed{
U_r^{sw}.
}
$$

---

# 35. Closest Direct Shape: Yang Equation

SRBRD：

$$
\boxed{
\sum_{r\sim R,\ r\in\mathbb P}
\sum_{u<X/r,\ u\in\mathbb P}
1_{ru\equiv2m\pmod q}.
}
$$

Yang：

$$
\boxed{
\sum_{l\sim L}
\sum_{p<x/l,\ p\in\mathbb P}
1_{lp\equiv a\pmod q}.
}
$$

difference：

1. 
   $$
   a\text{ fixed}
   \leftrightarrow
   2m\asymp X;
   $$
2. first factor：
   $$
   l
   \leftrightarrow
   r\in\mathbb P.
   $$

這已經是非常小而明確的 theorem gap。

---

# 36. Potential Prime-First-Factor Majorant Route

如果 current convolution theorem只允許 unweighted：

$$
l,
$$

可以嘗試對：

$$
r
$$

使用 upper-bound prime sieve weight：

$$
\omega_r^+.
$$

那 row upper變：

$$
\sum_l
\omega_l^+
\sum_p
1_{lp\equiv a\pmod q}.
$$

但這新增：

- 第二層 sieve weight；
- factorability interaction；
- constant inflation。

所以未來要檢：

$$
\boxed{
\text{Yang theorem是否能吸收 }l\text{-side sieve coefficient}.
}
$$

目前不假定可以。

---

# 37. Maynard Type-II Route for Low Semiprime Rows

對：

$$
R\le X^{2/5},
$$

Maynard-II Type-II proposition的 size condition：

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

提供可能的直接 technology match。

所以 row band可以拆：

$$
\boxed{
[1/3,2/5]
}
$$

與：

$$
\boxed{
(2/5,1/2].
}
$$

低 band：

$$
\boxed{
\text{Maynard Type-II potentially useful}.
}
$$

高 band仍需另一 provider。

但 residue uniformity問題仍存在。

---

# 38. High-Row Band Is Especially Important

對：

$$
t\to1/2,
$$

row cofactor：

$$
u
$$

與：

$$
r
$$

尺寸接近：

$$
X^{1/2}.
$$

這是最對稱的 prime×prime bilinear區域。

也是：

- Type-II naturally hardest；
- fixed-row distribution最短；
- 但 transport coupling最可能強的區域。

所以 future weighted strategy不應只追 global exponent，

而要分：

$$
\boxed{
t\text{-dependent provider}.
}
$$

---

# 39. Yang's Variable-$L$ Level Is Structurally Relevant

Yang Theorem 1.1 level寫成：

$$
\boxed{
\mathcal L(\nu),
\quad
\mathcal L'(\nu),
}
$$

而不是單一 exponent。

這正符合 SRBRD：

$$
\nu=t.
$$

所以若 uniform-residue gap未來被補，

可以直接把：

$$
\boxed{
t\mapsto\mathcal L'(t)
}
$$

插入 row constant integral，

而不是用 SRBRD-18 那種 constant：

$$
\theta
$$

模型。

---

# 40. Weighted Constant Ledger v1

因此未來真正 ledger應是：

$$
\boxed{
\mathcal K
=
C_L
-
C_B
-
C_R
+
C_T.
}
$$

其中 row：

$$
\boxed{
C_R
=
18
\int_{1/3}^{1/2}
\frac{
w(t)\,
F_1
\left(
\frac{\mathcal L_{\mathrm{CURC}}(t)}{1/3}
\right)
}{
t
}
dt
}
$$

只是 schematic form。

實際參數要按：

- theorem的 base variable；
- modulus exponent；
- prime-cofactor length；
- well-factorable level；

重新 normalize。

本輪不偽造公式。

---

# 41. Source-Compatibility Scorecard

定義：

$$
\boxed{
\mathsf{Score}
=
(C,U,W,P,B).
}
$$

則粗略：

### BFI

$$
(0,0,1,1,0).
$$

### Maynard II

$$
(1/2,0,1,1/2,1/2).
$$

### Maynard III

$$
(0,1,\text{partial},1,\text{N/A}).
$$

### Yang 2026

$$
\boxed{
(1,0,1,\text{partial},1).
}
$$

這解釋為什麼 Yang是目前最近的一個 theorem。

---

# 42. Current Missing Provider Can Be a Research Theorem in Its Own Right

SRBRD 不一定要：

> 直接從零證 Goldbach。

一個明確的中間成果就是：

# Uniform Convolution BV at Goldbach Shift

若能證：

$$
\boxed{
ru\equiv2m\pmod q
}
$$

對：

- $r,u$ prime；
- well-factorable linear-sieve modulus weights；
- $m\asymp X$；
- full：
  $$
  R\in[X^{1/3},X^{1/2}]
  $$

有強 mean-value estimate，

本身就可能是一篇獨立 analytic number theory result。

---

# 43. Possible Restricted First Target

不必一開始拿 full row band。

先取：

$$
\boxed{
R\in[X^{1/3},X^{2/5}]
}
$$

利用 Maynard-II Type-II range，

專門攻：

$$
\boxed{
a=2m
}
$$

uniformization。

即：

# Low-Row Goldbach-Shift Convolution BV

這把新 analytic theorem需求再縮小一層。

---

# 44. Second Restricted Target

對 high band：

$$
R\in(X^{2/5},X^{1/2}],
$$

可以改用：

- symmetry；
- dispersion；
- prime×prime bilinear Kloosterman technology；
- Yang/Pascadi convolution estimates；

另做 provider。

所以：

$$
\boxed{
\text{低 row與高 row不必共用同一 theorem。}
}
$$

---

# 45. Maynard-III Uniform Minorant Is Not an Upper Provider

Maynard-III Theorem 1.3建構 prime minorant：

$$
\rho(n)\le1_{\mathbb P}(n)
$$

並 uniform equidistribution到 large moduli。

這非常適合 prime lower-bound applications。

但 semiprime-row term：

$$
n_r
$$

在 master ledger中是：

$$
\boxed{
\text{negative term，需要 upper bound}.
}
$$

所以：

$$
\boxed{
\text{prime minorant不能直接當 row upper provider}.
}
$$

這是 polarity firewall。

---

# 46. Why This Matters

如果不做 polarity audit，

很容易看到：

> Maynard III 有 uniform residue + beyond square root

就誤以為：

> 可以拿來控制 SRBRD row。

但 row是 contamination upper term。

需要：

- prime majorant；
- upper sieve；
- or exact convolution upper theorem。

所以 theorem方向也必須匹配。

---

# 47. Yang Upper Linear-Sieve Weight Is Correct Polarity

這也是 Yang 2026 特別接近的原因：

文中明確討論：

$$
\boxed{
\text{upper-bound well-factorable linear sieve weights}.
}
$$

這正符合：

$$
\boxed{
n_{SP}
}
$$

作 negative contamination term的 polarity。

目前只差：

- residue uniformity；
- first-factor support。

---

# 48. Hypothesis-Match Verdict by Module

### Coarse Lower

現有 sieve technology：

$$
\boxed{
\mathrm{MATCHABLE}.
}
$$

### Buchstab Shell Upper

現有 Type-II / convolution technology：

$$
\boxed{
\mathrm{PARTIAL\ MATCH}.
}
$$

### Switched Row Upper

Yang 2026：

$$
\boxed{
\mathrm{NEAR\ MATCH}.
}
$$

但：

$$
\boxed{
\mathrm{NOT\ YET\ LEGAL\ FOR\ UNIFORM\ SRBRD}.
}
$$

### Transport Lower

internal SRBRD：

$$
\boxed{
\mathrm{LEGAL\ but\ incomplete}.
}
$$

---

# 49. No-Exponent-Fetish Result

SRBRD-18 已證：

$$
\boxed{
\theta
}
$$

單獨不能決定 crossing。

SRBRD-19 再補：

$$
\boxed{
\text{甚至一個更高 }\theta
\text{，如果 theorem hypothesis不 match，
在 ledger 中的合法貢獻就是 }0.
}
$$

所以 future比較 theorem必須以：

$$
\boxed{
\text{hypothesis fit}
}
$$

優先於：

$$
\boxed{
\text{headline exponent}.
}
$$

---

# 50. Current Research Gate

現在不應再問：

> 「還有哪篇 level 更高的 paper？」

而應問：

$$
\boxed{
\text{哪個 theorem可以同時給 }
C+U+W+P?
}
$$

如果沒有，

下一個研究工作就是自己證最小版：

$$
\boxed{
\text{Goldbach-shift uniform convolution estimate}.
}
$$

---

# 51. Formal Target Theorem Queue

```yaml
SRBRD_19_Targets:

  GSCBV_Low:
    name:
      GoldbachShift_ConvolutionBV_LowRow

    row_band:
      1/3 <= nu <= 2/5

    residue:
      a:
        2m
        size_asymptotic_X: true
        uniform_in_m: true

    first_factor:
      prime_supported: true

    second_factor:
      prime_supported: true

    modulus_weights:
      well_factorable_upper_linear_sieve: true

  GSCBV_High:
    row_band:
      2/5 < nu <= 1/2

    method_candidates:
      - convolution_dispersion
      - Kloosterman
      - triply_well_factorable
      - Pascadi_Yang_type
```

---

# 52. Literature-Matching Queue

```yaml
SourceAudit:

  Maynard_II_2025:
    convolution:
      partial: true
    well_factorable:
      true
    fixed_residue:
      true
    direct_low_row:
      plausible_if_nu_le_2_5: true
    uniform_Goldbach_shift:
      false

  Maynard_III_2025:
    uniform_residue:
      true
    convolution:
      false
    polarity_for_row_upper:
      insufficient

  Lichtman_2023:
    triply_well_factorable:
      true
    exponent:
      66/107
    direct_SRBRD_convolution:
      false

  Pascadi_2025:
    triply_well_factorable:
      true
    exponent:
      5/8
    direct_SRBRD_convolution:
      false

  Yang_2026:
    convolution_lp:
      true
    well_factorable:
      true
    upper_linear_sieve_weights:
      true
    variable_L:
      true
    residue:
      fixed_parameter: true
      uniform_Goldbach_shift: false
    first_factor_prime_support:
      direct_statement_verified: false
```

---

# 53. Exact Gap Statement

本輪可以把 external analytic gap壓成一句：

$$
\boxed{
\text{Need:
Yang-type convolution}
+
\text{Maynard-III-type residue uniformity}
+
\text{prime first-factor support}.
}
$$

而不是模糊地說：

> 「還需要更強的 sieve」。

---

# 54. What Would Constitute a Valid SRBRD-20 Crossing Attempt

只有以下任一條完成後，

才值得重新計 constant ledger：

### Route A

找到已存在但本輪漏掉的 theorem，

直接滿足：

$$
C+U+W+P.
$$

### Route B

證 Yang convolution estimate 對：

$$
a=2m\asymp X
$$

uniform。

### Route C

把 Maynard-III uniform-residue technology真正移植到 convolution sequence。

### Route D

對 low/high row分別證兩個合法 providers。

否則：

$$
\boxed{
\text{不應把任何 headline exponent塞進 SRBRD ledger}.
}
$$

---

# 55. External Source Status

截至：

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

本輪核對：

1. Maynard II 已正式出版於 *Memoirs AMS* 306 (2025), no. 1543；
2. Maynard III 已正式出版於 *Memoirs AMS* 306 (2025), no. 1544；
3. Lichtman 的 Goldbach beyond square-root paper為 arXiv:2309.08522；
4. Pascadi 2025 得到 unconditional $5/8-o(1)$ triply-well-factorable prime distribution；
5. Yang convolution-type BV為 arXiv:2608.13299，v2 日期 2026-09-03，本輪仍視為 preprint source。

---

# 56. Research Integrity Note

Yang 2026非常接近 SRBRD。

但：

$$
\boxed{
\text{「很接近」不等於「可以套」。}
}
$$

尤其：

- implied constant dependence on：
  $$
  a;
  $$
- first-factor prime support；
- exact weight class；

都可能在 uniform Goldbach問題中是致命條件。

所以本輪故意不做：

$$
\boxed{
\text{假想套用後的漂亮 crossing數字}.
}
$$

---

# 57. Verdict

本輪應給：

$$
\boxed{
\mathrm{SRBRD\mbox{-}19\ HYPOTHESIS\mbox{-}MATCH\ PASS}.
}
$$

最大的正面進展：

$$
\boxed{
\text{2026 Yang convolution-BV 已把「乘積 convolution + WF upper sieve weight」這一半完成。}
}
$$

最大的 gap定位：

$$
\boxed{
\text{現有 audited theorem缺：
uniform growing Goldbach residue}
+
\text{prime first-factor support}.
}
$$

Maynard III則證明：

$$
\boxed{
\text{uniform residue beyond square root 本身是可達技術。}
}
$$

所以 missing provider被精確壓成：

# Uniform-Residue Prime-Convolution BV

但：

$$
\boxed{
\mathrm{NO\ LEGAL\ UNCONDITIONAL\ CONSTANT\ CROSSING\ YET}.
}
$$

以及：

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

---

# 58. 下一輪建議

# SRBRD-20
## Goldbach-Shift Uniform Convolution / Low–High Row Split

下一輪停止 literature broad scan。

直接做兩個 theorem-design exercise：

## Part A — Low Row

$$
R\in[X^{1/3},X^{2/5}].
$$

以 Maynard-II Type-II proposition為模板，

逐 proof dependency檢查：

> fixed $a$ 到：
> $$
> a=2m
> $$
> uniform化到底在哪一步失敗？

如果 dependency只經：

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

可能有機會移植。

如果 spectral / exceptional terms真正依賴 fixed：

$$
a,
$$

就記錄 exact obstruction。

## Part B — High Row

$$
R\in(X^{2/5},X^{1/2}].
$$

以 Yang/Pascadi convolution technology為模板，

檢：

- first-factor prime selector；
- residue uniformity；
- dyadic Kloosterman constraints。

## Part C — Minimal New Theorem

若兩區都差同一個 lemma，

就把它抽成：

$$
\boxed{
\text{Goldbach-Shift Uniform Convolution Lemma}.
}
$$

這會是下一個真正值得獨立證明的 analytic target。

---

# 附錄 A：Five-Axis Provider Contract

```yaml
required_axes:

  C:
    convolution:
      r_times_u_mod_q: true

  U:
    residue:
      a_equals_2m: true
      grows_with_X: true
      uniform_in_m: true

  W:
    modulus_weight:
      well_factorable_upper_linear_sieve: true

  P:
    first_factor:
      prime_or_canonical_lpf_supported: true

  B:
    row_band:
      from: 1/3
      to: 1/2
```

---

# 附錄 B：Closest-Theorem Matrix

```yaml
Yang_2026:
  C: PASS
  U: FAIL
  W: PASS
  P: PARTIAL_UNKNOWN
  B: PASS_LIKE
  overall: NEAREST_NOT_LEGAL

Maynard_III_2025:
  C: FAIL
  U: PASS
  W: PARTIAL
  P: PASS
  B: NOT_APPLICABLE
  overall: ORTHOGONAL_HALF

Maynard_II_2025:
  C: PARTIAL
  U: FAIL
  W: PASS
  P: PARTIAL
  B: PARTIAL_LOW_ROW
  overall: LOW_ROW_TEMPLATE
```

---

# 附錄 C：Missing Theorem Skeleton

```yaml
CURC_WF:

  input:
    X:
      large: true

    m:
      X_equals_2m_minus_3: true

    L:
      X^nu

    alpha_l:
      desired:
        prime_supported_or_SW_divisor_bounded: true

    lambda_q:
      well_factorable_upper_linear_sieve: true

  target:
    uniformly_in_m:
      weighted_convolution_AP_error:
        << X/log(X)^A

  congruence:
    l*p:
      equals:
        2m mod q

  coprimality:
    gcd(q,2m): 1
```

---

# 附錄 D：Current Ledger Legality

```yaml
ledger:

  coarse_lower:
    interface_defined: true
    external_provider:
      possible: true

  Buchstab_shell_upper:
    interface_defined: true
    external_provider:
      partial: true

  switched_row_upper:
    exact_sequence_defined: true
    direct_external_provider:
      found: false
    closest:
      Yang_2026

  transport_lower:
    internal_providers:
      - row_deficiency
      - block_deficiency
      - center_divisor_lock
      - diagonal_recursion

current_numeric_crossing:
  legal: false
```

---

# 附錄 E：Commit Decision

```yaml
research_round: SRBRD-19

decision:
  current_literature_hypothesis_map: true
  Yang_2026_nearest_convolution_provider: true
  MaynardIII_uniformity_template: true
  no_black_box_composition: true
  missing_uniform_residue_convolution_theorem: true
  legal_constant_crossing: false
  goldbach_proved: false

next:
  SRBRD-20_GoldbachShift_UniformConvolution_LowHighRow_Split
```

---

# References / Audited Sources

1. E. Bombieri, J. B. Friedlander, H. Iwaniec, **Primes in arithmetic progressions to large moduli**, *Acta Mathematica* 156 (1986), 203–251.

2. 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.

3. 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.

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

5. Alexandru Pascadi, **On the exponents of distribution of primes and smooth numbers**, arXiv:2505.00653.

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

---

# Source-Audit Notes

- Maynard II abstract / published record states well-factorable modulus level $x^{3/5-\varepsilon}$; its Type-II proposition contains genuine product congruences with triply well-factorable weights and a restricted variable-size range.
- Maynard III Theorem 1.1 explicitly takes a supremum over residue classes and is designed to recover large-modulus uniformity in the residue, but for the prime sequence rather than the SRBRD product convolution.
- Yang 2026 writes the convolution form $lp\equiv a\pmod q$ and allows well-factorable and upper linear-sieve modulus weights; the displayed error term depends on fixed $a$, which is the principal uniform-Goldbach mismatch identified in this round.