# SRBRD-21
## Fixed-$a$ Spectral Dependency / Goldbach-Shift Uniformization Audit
### Bezout Small-Phase Breakdown、Spectral-Frequency Inflation、Naive Residue Reduction Barrier 與 Minimal Replacement Lemma

**母計畫：** RG-SCP / Reverse Goldbach Structural Closure Program  
**支線：** SRBRD — Symmetric Root-Bounded Relation Domain  
**輪次：** SRBRD-21  
**日期：** 2026-09-30  
**版本：** v0.1  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**性質：** Proof-Dependency Audit / Spectral-Uniformity Barrier / Low-Row Replacement Target  
**前置：** SRBRD-00 ～ SRBRD-20  
**主要外部來源：** Maynard I / II / III large-moduli trilogy  
**狀態：** 證明「只追蹤 fixed-$a$ implied constant」不足以 uniformize Maynard-II low-row Type-II；找到三個 explicit fixed-$a$ proof breakpoints；Goldbach仍未證明

---

# 0. 本輪問題

SRBRD-20 將 external analytic gap壓到 low row：

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

Maynard-II Proposition 5.1 / Proposition 8.2：

- variable range吻合；
- prime coefficients可放進其 Siegel–Walfisz / divisor-bounded framework；
- well-factorable modulus technology很強；

但其 residue：

$$
a
$$

被固定。

SRBRD所需：

$$
\boxed{
a_X=2m=X+3\asymp X.
}
$$

上一輪留下兩種可能：

### Optimistic route

也許 published proof只是沒有追：

$$
a
$$

的 constant，

實際：

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

### Hard route

proof中真的使用：

$$
|a|\ll X^\theta
$$

甚至：

$$
|a|=O(1),
$$

而：

$$
a_X\asymp X
$$

會破壞關鍵估計。

本輪逐 dependency audit後得到：

$$
\boxed{
\text{Hard route is real.}
}
$$

---

# 1. External Confirmation from Maynard-I

Maynard-I introduction明確說明：

Deshouillers–Iwaniec / Kuznetsov 類 Kloosterman estimates使其只能考慮：

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

或：

$$
\boxed{
a\text{ a small power of }X.
}
$$

這不是只有 theorem statement的 bookkeeping。

後續 proof確實在多處將：

$$
a
$$

的 absolute size吸收到 small error或 spectral variable range。

Goldbach shift：

$$
a_X=X+3
$$

的 exponent為：

$$
1,
$$

不屬「small power」regime。

---

# 2. Maynard-II Fixed-$a$ Declaration

Maynard-II §4 notation明確：

$$
\boxed{
a
\text{ throughout the paper is a fixed positive integer}
}
$$

且所有 asymptotic implied constants允許依賴：

$$
a.
$$

因此 Proposition 8.2 的形式：

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

本身不能對：

$$
a_X=X+3
$$

直接使用。

但本輪的重點不是這句 declaration，

而是找到 proof內真正 dependence。

---

# 3. Dependency Graph

Maynard-II low-row route可簡化：

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

$$
\Downarrow
$$

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

Prop 8.2 經：

$$
\boxed{
\text{Prop 6.8}
}
$$

分成：

### E1 channel

$$
\boxed{
\text{Lemma 6.10}
}
$$

其來源：

$$
\boxed{
\text{Maynard-I Lemma 18.3}.
}
$$

### E2 channel

$$
\boxed{
\text{Lemma 6.9}
}
$$

其來源：

$$
\boxed{
\text{Maynard-I Lemma 14.5},
}
$$

再 reduction到：

$$
\boxed{
\text{Maynard-II Lemma 8.1}
}
$$

最後用：

$$
\boxed{
\text{Deshouillers–Iwaniec spectral estimate}.
}
$$

本輪在三處找到 explicit fixed-$a$ breakpoints。

---

# 4. Breakpoint A — Bezout Small-Phase Approximation in Lemma 6.10

Maynard-II Lemma 6.10直接引用 Maynard-I Lemma 18.3。

其核心 phase：

$$
e
\left(
\frac{
a h\overline{n_1}
}{q}
\right).
$$

Bezout reciprocity給：

$$
\boxed{
\frac{
a h\overline{n_1}
}{q}
\equiv
-
\frac{
a h\overline q
}{n_1}
+
\frac{
a h
}{
n_1q
}
\pmod1.
}
$$

---

# 5. Size of the Dropped Fraction

Maynard-I 中：

$$
|h|
\ll
\frac{
QN(\log X)^5
}{X}.
$$

而：

$$
n_1\asymp N,
\qquad
q\asymp Q.
$$

所以：

## Theorem SRBRD-21-T01

$$
\boxed{
\left|
\frac{
a h
}{
n_1q
}
\right|
\ll
\frac{
|a|(\log X)^5
}{X}.
}
$$

Maynard把：

$$
a
$$

固定，

因此寫成：

$$
O
\left(
\frac{
(\log X)^5
}{X}
\right).
$$

---

# 6. Goldbach Shift Breaks T01 Approximation

對：

$$
a_X=X+3,
$$

T01變：

$$
\boxed{
\left|
\frac{
a_X h
}{
n_1q
}
\right|
\ll
(\log X)^5.
}
$$

這不趨近：

$$
0.
$$

因此不能再使用：

$$
e(\theta+\delta)
=
e(\theta)
+
O(|\delta|)
$$

將最後 fraction當 negligible perturbation。

所以：

## Verdict A

$$
\boxed{
\text{Maynard-I Lemma 18.3 / Maynard-II Lemma 6.10
does not uniformize to }a_X\asymp X
\text{ by tracking constants alone.}
}
$$

---

# 7. Breakpoint B — Bezout Simplification in Lemma 6.9

Maynard-II Lemma 6.9引用 Maynard-I Lemma 14.5。

其 phase simplification同樣使用 Bezout reciprocity。

schematically：

$$
\boxed{
e
\left(
\frac{
a h\overline{n_1}r_2
}{
q r_1
}
+
\cdots
\right)
}
$$

被替換成一個 simplified reciprocal phase，

並丟掉一個 residual fraction。

---

# 8. Lemma 6.9 Dropped Fraction Scale

Maynard-I proof明確說：

因：

$$
|h|
\le
H
=
\frac{
QR(\log X)^5
}{M},
$$

且：

$$
NM\asymp X,
$$

最後 fraction在 fixed-$a$ 下為：

$$
O
\left(
\frac{
(\log X)^5
}{X}
\right)
$$

或下一步：

$$
O
\left(
\frac{
(\log X)^6
}{X}
\right).
$$

把 hidden $a$恢復後：

## Theorem SRBRD-21-T02

該 small-phase error具有尺度：

$$
\boxed{
O
\left(
\frac{
|a|(\log X)^{O(1)}
}{X}
\right).
}
$$

所以：

$$
a_X\asymp X
$$

時同樣失去 smallness。

---

# 9. Verdict B

$$
\boxed{
\text{Maynard-II Lemma 6.9
also uses fixed }a
\text{ at the phase-simplification level.}
}
$$

所以：

> 即使 Lemma 8.1 被單獨 uniformize，
> Prop 8.2 的 upstream simplification仍需要替換。

---

# 10. Breakpoint C — Spectral Frequency Inflation in Lemma 8.1

Maynard-II Lemma 8.1 的 off-diagonal平方展開後，

定義：

$$
\boxed{
\ell
=
h_1s_2-h_2s_1.
}
$$

非零 diagonal：

$$
\ell\neq0.
$$

接著定義新的 spectral numerator variable：

$$
\boxed{
y
=
a f\ell.
}
$$

以及：

$$
\boxed{
z=s_1s_2.
}
$$

---

# 11. Fixed-$a$ Frequency Range

Maynard 在 fixed-$a$ 下寫：

$$
\boxed{
Y
\ll
X^{o(1)}
\frac{
NR^2S^3
}{M}.
}
$$

但這其實吸收了：

$$
|a|.
$$

恢復 dependency：

## Theorem SRBRD-21-T03

$$
\boxed{
Y_a
\ll
|a|
X^{o(1)}
\frac{
NR^2S^3
}{M}.
}
$$

---

# 12. Goldbach Frequency Inflation

對：

$$
a_X=X+3,
$$

$$
\boxed{
Y_{a_X}
\asymp
X
\times
Y_{\mathrm{fixed}}
}
$$

在 exponent scale上多整整：

$$
X^1.
$$

這不是：

- logarithmic loss；
- divisor-function loss；
- $X^{o(1)}$ loss。

---

# 13. Deshouillers–Iwaniec Bound Depends on $Y$

Lemma 8.1 最後使用 Maynard-II Lemma 6.12，

其 bound中的：

$$
J
$$

顯式包含：

$$
Y.
$$

proof寫成：

$$
\boxed{
J^2
\ll
C(Z+Y)(C+BZ)
+
C^2B\sqrt{(Z+Y)Z}
+
B^2YZ.
}
$$

因此：

$$
\boxed{
Y
}
$$

是 analytic conductor / spectral-range parameter，

不是只出現在一個 unit-modulus coefficient中。

---

# 14. A Second Use of Fixed-$a$: $Z>Y$

Maynard接著使用原 parameter inequalities得到：

$$
\boxed{
Z>Y.
}
$$

再大幅簡化：

$$
J.
$$

但恢復：

$$
a
$$

後：

$$
\boxed{
\frac{Y_a}{Z}
\asymp
|a|
\frac{
NR^2S
}{M}
X^{o(1)}.
}
$$

原本：

$$
M>R^2SN
$$

只足以控制 fixed：

$$
a.
$$

對：

$$
a_X\asymp X,
$$

不能推出：

$$
Z>Y_{a_X}.
$$

---

# 15. Verdict C

$$
\boxed{
\text{Lemma 8.1 spectral reduction has a genuine
absolute-size }a\text{ barrier.}
}
$$

所以：

$$
\boxed{
\text{Goldbach-shift uniformization is not a matter
of replacing }\ll_a\text{ by }\ll.
}
$$

proof geometry本身必須改。

---

# 16. Three Breakpoints Summary

| Stage | fixed-$a$ use | restored dependence | $a_X\asymp X$ |
|---|---|---|---|
| Lemma 6.10 / Maynard-I 18.3 | dropped Bezout fraction | $|a|\log^5X/X$ | not small |
| Lemma 6.9 / Maynard-I 14.5 | dropped reciprocal phase | $|a|\log^{O(1)}X/X$ | not small |
| Lemma 8.1 | spectral numerator $y=af\ell$ | $Y\propto|a|$ | range inflates by $X$ |

因此：

$$
\boxed{
\text{DIRECT CONSTANT TRACKING FAIL}.
}
$$

---

# 17. Consistency with Maynard-I Introduction

Maynard-I 明確指出：

Deshouillers–Iwaniec/Kuznetsov route要求：

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

或：

$$
\boxed{
a\text{ a small power of }X.
}
$$

T01–T03現在解釋這句話在 proof中實際從哪裡產生。

---

# 18. Why a Small Power Can Still Work

假設：

$$
|a|
\le
X^\kappa
$$

with：

$$
0<\kappa<1
$$

small。

Bezout error：

$$
\frac{
|a|(\log X)^C
}{X}
\le
X^{-1+\kappa}
(\log X)^C
\to0.
$$

spectral frequency雖放大：

$$
X^\kappa,
$$

但若：

$$
\kappa
$$

夠小，

可能由原 proof的 power margins吸收。

這正符合 Maynard-I 的：

> fixed or a small power of $X$。

Goldbach：

$$
\kappa=1
$$

恰好在完全不同 regime。

---

# 19. Naive Residue-Representative Rescue

有人可能嘗試：

因：

$$
nm\equiv a\pmod q
$$

只依賴：

$$
a\bmod q,
$$

所以對每個：

$$
q
$$

選 centered representative：

$$
\boxed{
a_q
\equiv a_X\pmod q,
\qquad
|a_q|\le q/2.
}
$$

若：

$$
q\le X^{3/5},
$$

則：

$$
|a_q|
\le
X^{3/5},
$$

看似重新進入「small power」區。

---

# 20. Local Bezout Error Would Indeed Become Small

在單一 fixed：

$$
q
$$

上，

$$
\boxed{
\frac{
|a_q|(\log X)^C
}{X}
\ll
X^{-2/5}
(\log X)^C.
}
$$

所以：

> naive residue reduction確實修復**單一 q term**的 small-phase size。

這是一個真實觀察。

---

# 21. Why This Is Not a Black-Box Fix

Maynard-II proof之後：

1. 對：
   $$
   q
   $$
   作 Cauchy–Schwarz；
2. Fourier expansion；
3. 使用：
   $$
   n_1-n_2=qdf;
   $$
4. 將：
   $$
   q
   $$
   summation改成：
   $$
   f
   $$
   summation；
5. 最後把 numerator組成：
   $$
   y=af\ell.
   $$

如果改成：

$$
a_q,
$$

則 numerator變：

$$
\boxed{
a_q f\ell
}
$$

而：

$$
a_q
$$

本身依賴：

$$
q=\frac{n_1-n_2}{df}.
$$

所以：

$$
\boxed{
\text{numerator重新與 }n_1,n_2,d,f\text{ 強耦合}.
}
$$

---

# 22. Residue-Reduction Separability Barrier

## Research Verdict SRBRD-21-R01

$$
\boxed{
\text{Choosing a small representative }a_q
\text{ repairs local phase size,
but destroys the fixed-numerator separability
used by the q-to-f switch and spectral grouping.}
}
$$

因此：

$$
\boxed{
\text{no black-box residue-representative repair was found.}
}
$$

這恰好說明為什麼：

# Uniform-residue dispersion

需要真正不同的 argument。

---

# 23. Maynard-III as a Replacement Architecture

Maynard-III 的 uniform Type-II propositions直接包含：

$$
\boxed{
\sup_{(a,q)=1}
}
$$

或 balanced case的 compatible residue suprema。

所以它的 argument不能依賴：

$$
\boxed{
|a|\ll X^\kappa
}
$$

這種 absolute representative小性的核心步驟。

因此：

> Maynard-III不是替 Maynard-II「追常數」；
> 它提供的是另一種能保留 variable residue 的 analytic architecture。

---

# 24. Why Low Row Still Matters

Maynard-III substantial uniform Type-II coverage主要從：

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

往：

$$
X^{1/2}
$$

延伸。

而 SRBRD low row：

$$
\boxed{
X^{1/3}
\lesssim
N
<
X^{2/5}
}
$$

仍是 fixed-residue Maynard-II range最自然的強 provider區。

所以不能完全繞過此問題。

---

# 25. Direct GSHIFT-TII v0.1 Is Too Optimistic

SRBRD-20 target：

$$
\boxed{
\text{take Maynard-II Prop 5.1 and make }a=X+3
\text{ uniform}
}
$$

若意思是：

> 保留原 proof，只證：
> $$
> C(a_X)\le X^{o(1)},
> $$

本輪已證：

$$
\boxed{
\text{FAIL}.
}
$$

因：

- small-phase errors不再 small；
- spectral frequency range被放大；
- parameter inequalities被改變。

---

# 26. Revised Low-Row Target

新的 target應是：

# GSHIFT-LOW-UNIFORM

不是：

> Maynard-II-with-better-constants，

而是：

> **在同一 low-row variable / modulus range內，
> 重新證一個 Goldbach-shift uniform convolution estimate，
> 但不使用 fixed-$a$ reciprocal simplifications。**

---

# 27. Target Statement

對：

$$
A_X=X+3,
$$

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

$$
NM\asymp X,
$$

以及 target factorable modulus weights：

$$
\lambda_q,
$$

希望：

$$
\boxed{
\sum_{\substack{
q\le Q\\
(q,A_X)=1
}}
\lambda_q
\sum_{n\sim N}
\alpha_n
\sum_{v\sim M}
\beta_v
\left[
\mathbf1_{nv\equiv A_X\pmod q}
-
\frac{
\mathbf1_{(nv,q)=1}
}{
\varphi(q)
}
\right]
\ll
\frac{
X
}{
(\log X)^A
}
}
$$

with uniform implied constant。

---

# 28. Minimal Internal Replacement Gates

若仍想保留 Maynard-II Prop 8.2 外殼，

至少需要三個 replacement gates。

## GS-E1

uniform replacement for Lemma 6.10：

> 不用：
> $$
> |a|/X\to0
> $$
> 的 Bezout truncation。

## GS-E2

uniform replacement for Lemma 6.9：

> 不用 small absolute residue representative。

## GS-SPEC

uniform replacement for Lemma 8.1：

> spectral bound不能把 numerator range當成：
> $$
> Y\propto |a|.
> $$

---

# 29. One Combined Replacement Is More Realistic

與其分別修：

$$
GS\mbox{-}E1,
\quad
GS\mbox{-}E2,
\quad
GS\mbox{-}SPEC,
$$

更自然是直接使用：

$$
\boxed{
\text{Maynard-III-style uniform dispersion}
}
$$

替換整個：

$$
\boxed{
\text{Prop 6.8 → Lemma 6.9/6.10 → Lemma 8.1}
}
$$

chain。

也就是：

# Uniform Low-Row Dispersion Lemma

---

# 30. Goldbach Special Structure

SRBRD並不是 arbitrary growing residue：

$$
a(X).
$$

而是：

$$
\boxed{
A_X=X+3=2m.
}
$$

而 row product：

$$
nv
$$

在本應用滿足：

$$
\boxed{
nv\le X.
}
$$

所以：

$$
\boxed{
A_X-nv
\ge3.
}
$$

---

# 31. Complement Promotion

congruence：

$$
nv\equiv A_X\pmod q
$$

精確等價：

$$
\boxed{
q
\mid
(A_X-nv).
}
$$

定義：

$$
\boxed{
w=A_X-nv.
}
$$

則：

$$
\boxed{
nv+w=A_X,
\qquad
w\ge3.
}
$$

所以 Goldbach shift可被重寫成：

# Product + Complement

而不是：

# Product in a Large Residue Class

---

# 32. Why Complement Promotion Is Potentially Useful

fixed-$a$ reciprocity route把：

$$
A_X
$$

塞進 reciprocal exponential numerator。

complement route則希望：

> 在 dispersion之前保留：
> $$
> w=A_X-nv
> $$
> 作 arithmetic variable，
> 並把 sieve modulus條件直接寫：
> $$
> q\mid w.
> $$

如此：

$$
A_X
$$

只出現在 additive conservation law：

$$
nv+w=A_X,
$$

不必成為 spectral numerator magnitude。

---

# 33. Complement Promotion Is Exact, Not a Heuristic

## Theorem SRBRD-21-T04

對：

$$
nv<A_X,
$$

$$
\boxed{
nv\equiv A_X\pmod q
}
$$

當且僅當存在唯一：

$$
w=A_X-nv>0
$$

使：

$$
\boxed{
q\mid w.
}
$$

這只是代數等價。

---

# 34. But It Creates a New Shifted-Convolution Problem

promotion後要估：

$$
\boxed{
\sum_{n,v}
\alpha_n\beta_v
\mathbf1_{q\mid A_X-nv}.
}
$$

這仍然是：

$$
\boxed{
\text{shifted prime-product divisor problem}.
}
$$

所以 complement promotion不是 proof。

它只是：

> 一個避免 fixed-$a$ spectral-frequency inflation 的 alternate normal form。

---

# 35. Two Replacement Architectures

SRBRD-22 可比較：

### Route U — Uniform Residue

以 Maynard-III uniform Type-II / Zhang-style technology向下延伸到 low row。

### Route C — Complement Promotion

保留：

$$
w=A_X-nv
$$

再使用：

- divisor switching；
- bilinear / trilinear forms；
- Kloosterman fraction estimates；
- convolution-BV；
- maybe Yang/Pascadi technology。

兩者可最終合流。

---

# 36. Spectral Barrier Is Stronger Than a Constant Barrier

SRBRD-19 / 20 曾將問題描述成：

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

SRBRD-21 修正：

$$
\boxed{
\text{the proof's internal scale itself changes with }|a|.
}
$$

這是 qualitatively stronger diagnosis。

---

# 37. Direct Error Calculation as a Formal Audit Test

對任何 future fixed-residue theorem，

先檢查是否出現：

$$
\boxed{
e
\left(
\frac{
a\cdot(\text{frequency})
}{
\text{modulus}
}
\right)
}
$$

再使用 reciprocity後丟：

$$
\boxed{
\frac{
a\cdot(\text{frequency})
}{
\text{product of large variables}
}
}
$$

作 small error。

如果是，

則對：

$$
a\asymp X
$$

必須重新做 size audit。

不能只看 final theorem中的：

$$
\ll_a.
$$

---

# 38. Dependency Classification — Final

| Dependency | Status for $a_X=X+3$ |
|---|---|
| $(q,a)=1$ | harmless |
| $a\bmod q$ only | harmless in principle |
| $\tau(a)^C$ | absorbable |
| $(\log a)^C$ | absorbable |
| $a$ in unit-modulus coefficient only | potentially harmless |
| $a/X$ small-phase assumption | **fatal to current proof** |
| spectral index range $Y\propto|a|$ | **fatal to current proof** |
| $a_q$ chosen per modulus | locally small, globally nonseparable |
| full residue supremum | safe |

---

# 39. Implication for the Literature Map

### Maynard-II

low-row strength：

$$
\boxed{
\text{excellent}
}
$$

but：

$$
\boxed{
\text{intrinsically fixed/small-}a
\text{ in current proof}.
}
$$

### Maynard-III

uniform residue：

$$
\boxed{
\text{genuine architecture replacement}.
}
$$

not merely improved constants。

### Yang/Pascadi

potential alternate convolution / Kloosterman technology：

$$
\boxed{
\text{candidate replacement}
}
$$

especially if formulated in complement or variable-residue form。

---

# 40. Could One Rescale the Ambient $X$?

No.

Maynard Type-II hypotheses require：

$$
NM\asymp X.
$$

SRBRD factors satisfy：

$$
nv\asymp X.
$$

不能 artificial choose：

$$
X'=X^B
$$

to make：

$$
a_X=X
$$

a small power of：

$$
X',
$$

因 then：

$$
NM\not\asymp X'.
$$

所以 this is not a legal workaround。

---

# 41. Could One Subtract a Multiple of $q$ Globally?

No single：

$$
k
$$

makes：

$$
A_X-kq
$$

small for all：

$$
q
$$

in a dyadic modulus family。

choosing：

$$
k=k(q)
$$

returns to the q-dependent representative problem of §19–22。

---

# 42. Minimal New Analytic Lemma

本輪將 SRBRD-20 的 target進一步改名：

# GSHIFT-LOW

要求：

> low-row prime-product discrepancy at shift：
> $$
> A_X=X+3
> $$
> with Maynard-II-strength modulus factorability，
> proved by a method that is **modular in the shift** rather than **archimedean in $|A_X|$**。

這是目前最小、最準確的 missing analytic theorem。

---

# 43. Possible Formal Statement

```yaml
GSHIFT_LOW:

  scale:
    X:
      large: true

  shift:
    A_X:
      X + 3

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

    M:
      asymptotic:
        X/N

  coefficients:
    alpha:
      prime_indicator_or_SW: true

    beta:
      prime_indicator_or_divisor_bounded: true

  moduli:
    coprime_to_A_X: true
    well_factorable_strength:
      target:
        Maynard_II_like

  conclusion:
    discrepancy:
      <= X/log(X)^A

  forbidden_proof_dependency:
    small_absolute_shift_over_X: true
```

---

# 44. Formal Theorem Queue

```yaml
SRBRD_21:

  T01:
    Bezout_dropped_fraction_scale:
      abs_a_log5_over_X

  T02:
    second_Bezout_error_scale:
      abs_a_logO1_over_X

  T03:
    spectral_frequency_range:
      Y_a:
        proportional_to_abs_a

  T04:
    complement_promotion_exact_equivalence

  R01:
    q_dependent_small_residue_repairs_local_size_but_breaks_separability
```

---

# 45. Acceptance Gate

SRBRD-21正式化前需：

1. Maynard-II fixed-$a$ declaration核對；
2. Maynard-I fixed-or-small-power statement核對；
3. Lemma 18.3 Bezout identity；
4. hidden $|a|$ restored error；
5. Lemma 14.5 / Maynard-II 6.9 hidden $|a|$ restored error；
6. Lemma 8.1:
   $$
   y=af\ell;
   $$
7. spectral $J(Y)$ dependence；
8. fixed proof use of:
   $$
   Z>Y;
   $$
9. residue-representative local rescue calculation；
10. q-switch nonseparability warning；
11. complement promotion exact identity；
12. no claim complement promotion solves estimate；
13. no Goldbach proof claim。

---

# 46. Verdict

本輪可以正式給：

$$
\boxed{
\mathrm{SRBRD\mbox{-}21\ FIXED\mbox{-}SHIFT\ SPECTRAL\ BARRIER\ PASS}.
}
$$

並且修正 SRBRD-20 的 optimistic possibility：

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

不能靠原 Maynard-II proof直接取得。

原因不只是 implied constant：

### Breakpoint 1

$$
\boxed{
\text{Bezout error}
\sim
|a|(\log X)^5/X.
}
$$

### Breakpoint 2

$$
\boxed{
\text{第二 reciprocal simplification}
\sim
|a|(\log X)^{O(1)}/X.
}
$$

### Breakpoint 3

$$
\boxed{
\text{spectral frequency}
Y
\propto
|a|.
}
$$

對：

$$
a_X=X+3,
$$

三者都跨出 original regime。

所以：

$$
\boxed{
\text{LOW-ROW UNIFORMIZATION REQUIRES A NEW DISPERSION/SPECTRAL NORMAL FORM}.
}
$$

但：

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

---

# 47. 下一輪建議

# SRBRD-22
## Goldbach-Shift Complement Promotion / Uniform Low-Row Replacement

下一輪不再追 Maynard-II hidden constants。

直接比較兩個 replacement routes。

## Route U — Uniform-Residue Descent

嘗試把 Maynard-III 的：

- variable-residue；
- Type-II；
- Kloosterman architecture；

向：

$$
N\approx X^{1/3}\text{--}X^{2/5}
$$

延伸。

問題：

$$
\boxed{
\text{哪一個 Maynard-III parameter inequality在 low row失敗？}
}
$$

## Route C — Complement-Promoted Dispersion

從：

$$
nv+w=A_X
$$

與：

$$
q\mid w
$$

開始，

不讓：

$$
A_X
$$

進 reciprocal numerator。

優先檢：

1. divisor switching in $w$；
2. dyadic $w$ ranges；
3. bilinear Kloosterman fraction form；
4. Yang convolution-BV compatibility；
5. Pascadi / Deshouillers–Iwaniec modern spectral bounds；
6. 是否能保持 Maynard-II-strength well-factorable modulus level。

真正 target：

$$
\boxed{
\text{a low-row estimate modular in }A_X
\text{ rather than polynomial in }|A_X|.
}
$$

---

# 附錄 A：Fixed-$a$ Dependency Ledger

```yaml
MaynardII:

  fixed_a_declaration:
    true

  Prop8_2:
    depends_on:
      - Lemma6_10
      - Lemma6_9
      - Lemma8_1

  Lemma6_10:
    source:
      MaynardI_Lemma18_3
    critical_step:
      Bezout
    hidden_error:
      abs(a)*log(X)^5/X

  Lemma6_9:
    source:
      MaynardI_Lemma14_5
    critical_step:
      reciprocal_phase_simplification
    hidden_error:
      abs(a)*log(X)^O(1)/X

  Lemma8_1:
    spectral_index:
      y:
        a*f*(h1*s2-h2*s1)
    range:
      proportional_to_abs_a: true

Goldbach:
  a_X:
    X+3
  exponent:
    1

verdict:
  direct_constant_tracking:
    FAIL
```

---

# 附錄 B：Residue Representative Audit

```yaml
for_each_q:
  choose:
    a_q:
      congruent_to_A_X_mod_q
      abs_a_q <= q/2

local_phase:
  hidden_Bezout_error:
    <= q*log(X)^C/X

if_q_le_X^(3/5):
  local_error:
    <= X^(-2/5)*log(X)^C

problem:
  after_q_to_f_switch:
    q:
      function_of_n1_n2_d_f
    a_q:
      depends_on_q
    numerator:
      no_longer_separable: true

verdict:
  local_size_fix:
    true
  black_box_global_fix:
    false
```

---

# 附錄 C：Complement Promotion

```yaml
Goldbach_shift:
  A_X:
    X+3

product:
  n*v:
    <= X

complement:
  w:
    A_X-n*v
    >= 3

equivalence:
  n*v == A_X mod q:
    iff:
      q divides w

additive_constraint:
  n*v + w:
    A_X

research_goal:
  keep_A_X_out_of_absolute_spectral_frequency: true
```

---

# 附錄 D：Proof-Breakpoint Source Notes

```yaml
MaynardI_intro:
  Deshouillers_Iwaniec_route:
    requires:
      a_fixed_or_small_power_of_x: true

MaynardI_Lemma18_3:
  Bezout_residual_fraction:
    a*h/(n*q)
  fixed_a_written_error:
    log(X)^5/X

MaynardII_Lemma8_1:
  off_diagonal:
    ell:
      h1*s2-h2*s1
    y:
      a*f*ell

  DI_input:
    J:
      depends_on_Y: true

  later_simplification:
    requires:
      Z > Y
```

---

# 附錄 E：Correction to SRBRD-20

```yaml
old_optimistic_target:
  trace_C_of_a:
    hope:
      C(X+3) <= X^o(1

status:
  rejected_for_current_proof: true

new_target:
  replace_fixed_a_reciprocity_chain: true

preferred_forms:
  - uniform_residue_low_row_dispersion
  - complement_promoted_shifted_convolution

unchanged:
  middle_high_MaynardIII_route: viable_shape
  modulus_factorization_gate: pending
  constant_crossing_gate: pending
```

---

# 附錄 F：Commit Decision

```yaml
research_round: SRBRD-21

decision:
  explicit_fixed_a_breakpoints_found: true
  direct_constant_tracking_uniformization: false
  q_dependent_residue_local_fix_only: true
  complement_promotion_exact: true
  new_low_row_normal_form_required: true
  goldbach_proved: false

next:
  SRBRD-22_GoldbachShift_ComplementPromotion_UniformLowRow_Replacement
```

---

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

   Audited locations:
   - §4: $a$ is fixed and implied constants may depend on $a$.
   - Proposition 8.2: low-row well-factorable convolution theorem.
   - proof of Proposition 8.2: reduction through Lemmas 6.9, 6.10, and Lemma 8.1.
   - Lemma 8.1: off-diagonal variable $y=af(h_1s_2-h_2s_1)$ and Deshouillers–Iwaniec input with explicit $Y$ dependence.

2. James Maynard, **Primes in arithmetic progressions to large moduli I: Fixed residue classes**, *Memoirs of the American Mathematical Society* 306 (2025), no. 1542; arXiv:2006.06572.

   Audited locations:
   - introduction: Kuznetsov / Deshouillers–Iwaniec route requires $a$ fixed or a small power of $x$.
   - Lemma 14.5: reciprocal exponential simplification with fixed-$a$ small error.
   - Lemma 18.3: Bezout reciprocity and the fixed-$a$ error written as $O((\log x)^5/x)$.

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.

   Role in this round:
   - demonstrates that genuinely uniform-residue Type-II architecture exists;
   - supports replacing, rather than merely re-constant-tracking, the fixed-residue reciprocal/spectral chain.