# TCDC-06
## Strict-Pressure Extra-Cost Ledger / Branch-Neutral Two-Sink Closure
### Generalized Half-Weight、Coarse-Cutoff Optimization、Prime Strictness Tax、Separate-Upper No-Go 與 TCDC Branch-Neutral Capacity Reformulation

**母方法論：** TCDC — Target–Condition Dual Closure  
**對接研究線：** RG-SCP / SRBRD  
**輪次：** TCDC-06  
**日期：** 2026-10-02  
**版本：** v0.1  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**性質：** Weighted-Sieve Optimization / Parity-Tax Audit / Failure-Capacity Reformulation  
**前置：** TCDC-00 ～ TCDC-05；SRBRD-00 ～ SRBRD-26  
**狀態：** 將 TCDC-05 half-weight 推廣到任意 coarse cutoff $w<z$；證明 quarter-root並非 combinatorial necessity；current $3/5$ sieve下 pre-extra-cost margin在 $u\approx7.8$ 附近最大約 $0.4067$；標準 separate prime-upper仍過鬆；提出 branch-neutral $P_2$ mass + dual-sink TCDC capacity 作為避免 strict parity tax 的主替代路線；Goldbach仍未證明

---

# 0. 本輪先修正 TCDC-05 的 cutoff interpretation

TCDC-05 固定：

$$
w=X^{1/4},
$$

主要理由是：

$$
\operatorname{RootRough}_w(y)
\Longrightarrow
y\in P_1\cup P_2\cup P_3.
$$

這讓 pointwise state table有限而簡單。

但更仔細看，

strict-semiprime half-weight真正需要的不是：

$$
\Omega(y)\le3.
$$

它只需要：

> 任一 coarse survivor composite，
> 若不是 desired：
> $$
> P_2
> \text{ with all factors }>z,
> $$
> 則至少有一個 prime factor落在：
> $$
> (w,z].
> $$

這件事只使用：

$$
z^3\ge X.
$$

所以 quarter-root不是 pointwise weight成立的必要條件。

---

# 1. General Coarse Cutoff

取：

$$
\boxed{
2\le w<z,
}
$$

且：

$$
\boxed{
z^3\ge X.
}
$$

不要求：

$$
w^4\ge X.
$$

定義：

$$
\boxed{
\nu_{w,z}(y)
=
\sum_{\substack{
\ell\in\mathbb P\\
w<\ell\le z
}}
v_\ell(y).
}
$$

以及：

$$
\boxed{
E_1(y)
=
\mathbf1_{\{
y\text{ composite},
\operatorname{RootRough}_w(y),
\nu_{w,z}(y)=1
\}}.
}
$$

---

# 2. General Bad-Composite Lemma

## Theorem TCDC-06-T01

設：

$$
3\le y\le X,
$$

且：

$$
\operatorname{RootRough}_w(y).
$$

若：

$$
y
$$

composite，

但不是：

$$
\boxed{
y=q_1q_2,
\qquad
z<q_1\le q_2,
}
$$

則：

$$
\boxed{
\nu_{w,z}(y)\ge1.
}
$$

---

# 3. Proof of T01

假設反之：

$$
\nu_{w,z}(y)=0.
$$

因：

$$
y
$$

RootRough$_w$，

所有 prime factors：

$$
>w.
$$

又沒有 factor落在：

$$
(w,z],
$$

所以所有 prime factors實際：

$$
>z.
$$

若：

$$
y
$$

只有兩個 prime factors，

則正是 desired：

$$
P_2^{>z},
$$

與假設矛盾。

若至少三個 prime factors，

則：

$$
y>z^3\ge X,
$$

又與：

$$
y\le X
$$

矛盾。

所以：

$$
\nu_{w,z}(y)\ge1.
$$

證畢。

---

# 4. General Strict-Semiprime Half-Weight

定義：

$$
\boxed{
\omega_{w,z}^{strict}(y)
=
\mathbf1_{\operatorname{RootRough}_w(y)}
\left[
1
-
\mathbf1_{\mathbb P}(y)
-
\frac12\nu_{w,z}(y)
-
\frac12E_1(y)
\right].
}
$$

desired indicator：

$$
\boxed{
H_z(y)
=
\mathbf1_{\{
y\text{ semiprime},
\operatorname{RootRough}_z(y)
\}}.
}
$$

---

# 5. Generalized Pointwise Theorem

## Theorem TCDC-06-T02

對所有：

$$
3\le y\le X,
$$

$$
\boxed{
\omega_{w,z}^{strict}(y)
\le
H_z(y).
}
$$

這對任何：

$$
2\le w<z,
$$

$$
z^3\ge X
$$

成立。

所以 TCDC-05 的 quarter-root theorem只是：

$$
w=X^{1/4}
$$

的 special case。

---

# 6. Proof Sketch of T02

### Prime

$$
H_z=0.
$$

而：

$$
1-\mathbf1_{\mathbb P}=0,
$$

剩餘 medium term非正。

### Desired $P_2^{>z}$

$$
\nu=0,
$$

$$
E_1=0,
$$

所以：

$$
\omega=1=H_z.
$$

### Any Other Composite

由 T01：

$$
\nu\ge1.
$$

若：

$$
\nu=1,
$$

則：

$$
E_1=1,
$$

所以：

$$
\omega=0.
$$

若：

$$
\nu\ge2,
$$

則：

$$
1-\frac12\nu\le0.
$$

證畢。

---

# 7. Branch-Neutral Cube-Root Target

定義：

$$
\boxed{
G_z(y)
=
\mathbf1_{\operatorname{RootRough}_z(y)}.
}
$$

因：

$$
z^3\ge X,
$$

對：

$$
3\le y\le X,
$$

有：

$$
\boxed{
G_z(y)
=
\mathbf1_{\mathbb P}(y)
+
H_z(y).
}
$$

所以：

# Branch-Neutral $P_2$ Mass

就是：

$$
\boxed{
\text{prime branch}
+
\text{strict semiprime branch}.
}
$$

---

# 8. General Branch-Neutral Half-Weight

定義：

$$
\boxed{
\omega_{w,z}^{neutral}(y)
=
\mathbf1_{\operatorname{RootRough}_w(y)}
\left[
1
-
\frac12\nu_{w,z}(y)
-
\frac12E_1(y)
\right].
}
$$

---

# 9. Branch-Neutral Pointwise Theorem

## Theorem TCDC-06-T03

$$
\boxed{
\omega_{w,z}^{neutral}(y)
\le
G_z(y).
}
$$

proof和 T02相同，

只是 prime不再視為 bad branch。

若 prime：

- target：
  $$
  G_z=1;
  $$
- weight：
  $$
  1-\nu/2
  \le1.
  $$

所以合法。

---

# 10. Strict Weight = Neutral Weight − Prime Tax

exact：

## Theorem TCDC-06-T04

$$
\boxed{
\omega_{w,z}^{strict}(y)
=
\omega_{w,z}^{neutral}(y)
-
\mathbf1_{\operatorname{RootRough}_w(y)}
\mathbf1_{\mathbb P}(y).
}
$$

但 prime永遠 RootRough$_w$，

所以：

$$
\boxed{
\omega_{w,z}^{strict}
=
\omega_{w,z}^{neutral}
-
\mathbf1_{\mathbb P}.
}
$$

這把 strictness cost完全隔離成：

# Prime Tax

---

# 11. Prime-Tax Coefficient Is Unavoidable Locally

考慮任何 local weight：

$$
\boxed{
\mathbf1_{\operatorname{RootRough}_w}
\left[
1
-
c_P\mathbf1_{\mathbb P}
-
\text{other nonnegative penalties}
\right]
}
$$

其中對 prime：

$$
y>z,
$$

其它 medium penalties全部為：

$$
0.
$$

若要 pointwise lower-bound strict semiprime indicator：

$$
H_z(y)=0,
$$

就必須：

## Theorem TCDC-06-T05

$$
\boxed{
c_P\ge1.
}
$$

所以：

$$
\boxed{
\text{strict-semiprime local selector必須完整支付 prime branch coefficient }1.
}
$$

這是：

# Local Strictness Tax

---

# 12. Sum-Level Notation

在 high-suffix base：

$$
\mathcal A_\lambda,
$$

定義：

$$
A_1(w)
=
\#\{
(r,p)\in\mathcal A_\lambda:
\operatorname{RootRough}_w(y)
\}.
$$

medium multiplicity：

$$
A_2(w,z)
=
\sum_{\substack{
(r,p)\in\mathcal A_\lambda\\
\operatorname{RootRough}_w(y)
}}
\nu_{w,z}(y).
$$

exact-one correction：

$$
E(w,z)
=
\sum
E_1(y).
$$

prime branch：

$$
A_P=P_\lambda.
$$

---

# 13. Neutral Weighted Lower

T03 summed：

## Theorem TCDC-06-T06

$$
\boxed{
S_\lambda(z)
\ge
A_1
-
\frac12A_2
-
\frac12E.
}
$$

這 lower-bounds：

$$
\boxed{
P_\lambda+\Pi_\lambda.
}
$$

不需要在 sieve內區分 parity branch。

---

# 14. Strict Weighted Lower

T02 summed：

## Theorem TCDC-06-T07

$$
\boxed{
\Pi_\lambda
\ge
A_1
-
A_P
-
\frac12A_2
-
\frac12E.
}
$$

所以：

$$
\boxed{
\text{strict route}
=
\text{neutral route}
-
A_P.
}
$$

---

# 15. Parameterize the Coarse Cutoff

令：

$$
\boxed{
w=X^{1/u},
}
$$

其中：

$$
u>3.
$$

current distribution benchmark：

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

coarse lower-sieve parameter：

$$
\boxed{
s_0=u\theta=\frac{3u}{5}.
}
$$

positive lower linear sieve需要：

$$
s_0>2,
$$

即：

$$
\boxed{
u>10/3.
}
$$

---

# 16. Medium Upper-Sieve Endpoint Condition

medium prime：

$$
\ell=X^v,
$$

$$
1/u\le v\le1/3.
$$

remaining distribution level：

$$
D/\ell.
$$

relative to：

$$
w=X^{1/u},
$$

upper-sieve parameter：

$$
\boxed{
s_\ell
=
u(\theta-v).
}
$$

最小值在：

$$
v=1/3.
$$

所以：

$$
s_\ell>1
$$

for the full medium interval需要：

## Theorem TCDC-06-T08

$$
\boxed{
u>\frac{15}{4}.
}
$$

這和 TCDC-05 的 sign threshold會完全對上。

---

# 17. Explicit Constant Window

當：

$$
\boxed{
15/4<u\le20/3,
}
$$

有：

$$
2<s_0\le4,
$$

且：

$$
1<s_\ell\le3.
$$

因此可使用 explicit standard linear-sieve formulas：

$$
f_1(s)
=
\frac{
2e^\gamma
}{s}
\log(s-1),
$$

$$
F_1(s)
=
\frac{
2e^\gamma
}{s}.
$$

---

# 18. Coarse Lower Constant

在 standard normalization：

## Theorem TCDC-06-T09

$$
\boxed{
C_0(u)
=
f_1(3u/5)
=
\frac{
10e^\gamma
}{
3u
}
\log
\left(
\frac{
3u-5
}{5}
\right).
}
$$

---

# 19. Medium First-Order Constant

medium multiplicity upper：

$$
\boxed{
C_{\mathrm{med}}(u)
=
\int_{1/u}^{1/3}
F_1
\left(
u(3/5-v)
\right)
\frac{dv}{v}.
}
$$

direct integration給：

## Theorem TCDC-06-T10

$$
\boxed{
C_{\mathrm{med}}(u)
=
\frac{
10e^\gamma
}{
3u
}
\log
\left(
\frac{
3u-5
}{4}
\right).
}
$$

---

# 20. Neutral Core Margin

before exactly-one correction：

$$
\boxed{
C_{\mathrm{core}}(u)
=
C_0(u)
-
\frac12C_{\mathrm{med}}(u).
}
$$

所以：

## Theorem TCDC-06-T11

$$
\boxed{
C_{\mathrm{core}}(u)
=
\frac{
5e^\gamma
}{
3u
}
\log
\left(
\frac{
4(3u-5)
}{
25
}
\right).
}
$$

---

# 21. Exact Positivity Threshold

T11：

$$
C_{\mathrm{core}}(u)>0
$$

iff：

$$
\frac{
4(3u-5)
}{
25
}
>1.
$$

所以：

## Corollary TCDC-06-C01

$$
\boxed{
C_{\mathrm{core}}(u)>0
\iff
u>15/4
}
$$

inside the explicit window。

這和 T08完全相同。

所以：

> upper-sieve endpoint剛進合法 regime時，
> half-weight core也剛好變正。

---

# 22. Explicit Constant Table

| $u$ | $C_0(u)$ | $C_{\mathrm{med}}(u)$ | $C_{\mathrm{core}}(u)$ |
|---:|---:|---:|---:|
| $4$ | $0.499401$ | $0.830597$ | $0.084103$ |
| $5$ | $0.823030$ | $1.087987$ | $0.279037$ |
| $20/3$ | $0.978354$ | $1.177071$ | $0.389818$ |

所以：

$$
\boxed{
\text{quarter-root }u=4
\text{ is far from optimal even before extra costs}.
}
$$

---

# 23. Monotonicity on the Explicit Window

T11 derivative sign由：

$$
\frac{
3u
}{
3u-5
}
-
\log
\left(
\frac{
4(3u-5)
}{
25
}
\right)
$$

控制。

此 quantity在：

$$
[15/4,20/3]
$$

單調下降，

而在：

$$
u=20/3
$$

仍 positive。

所以：

## Theorem TCDC-06-T12

$$
\boxed{
C_{\mathrm{core}}(u)
\text{ strictly increases on }
(15/4,20/3].
}
$$

---

# 24. Beyond $u=20/3$

當：

$$
u>20/3,
$$

linear-sieve functions進入 delay-differential後續區段。

pointwise T03仍完全合法，

只是：

$$
F_1,
\quad
f_1
$$

不再由前兩段 elementary closed forms表示。

使用 classical delay-differential equations數值 evaluation，

得到：

## Computational Diagnostic TCDC-06-D01

$$
\boxed{
C_{\mathrm{core}}(u)
}
$$

在：

$$
u\approx7.806
$$

附近達約：

$$
\boxed{
0.406677.
}
$$

---

# 25. The $u=8$ Benchmark

取：

$$
\boxed{
u=8,
\qquad
w=X^{1/8}.
}
$$

standard linear-sieve numerical values：

$$
\boxed{
C_0(8)
\approx
0.997028,
}
$$

$$
\boxed{
C_{\mathrm{med}}(8)
\approx
1.181542,
}
$$

所以：

## Diagnostic TCDC-06-D02

$$
\boxed{
C_{\mathrm{core}}(8)
\approx
0.406257.
}
$$

這和 D01 optimum非常接近。

---

# 26. Relation to Classical Chen's $x^{1/8}$ Cutoff

classical Chen exposition常選：

$$
z_{\mathrm{Chen}}
=
x^{1/8}.
$$

本輪不是從 Chen的 cutoff直接抄：

$$
1/8.
$$

而是由：

- current：
  $$
  \theta=3/5;
  $$
- generalized strict/neutral half-weight；
- standard linear-sieve functions；

重新做 cutoff optimization後，

數值 optimum自然落在：

$$
\boxed{
u\approx7.8,
}
$$

也就是非常接近：

$$
1/8
$$

exponent。

這是一個 strong structural consistency signal，

但不是 theorem identification。

---

# 27. Prime Branch: Standard Separate Upper

strict route需要：

$$
A_P
$$

upper。

若使用同一：

$$
D=X^{3/5}
$$

level，

為了 isolate prime complement：

$$
y\le X,
$$

可 upper-sieve到：

$$
\boxed{
Z_P=X^{1/2}.
}
$$

因任何 composite：

$$
y\le X
$$

都有 prime divisor：

$$
\le\sqrt X.
$$

---

# 28. Prime Upper Sieve Parameter

$$
\boxed{
s_P
=
\frac{
\log D
}{
\log Z_P
}
=
\frac{
3/5
}{
1/2
}
=
\frac65.
}
$$

所以：

$$
\boxed{
F_1(6/5)
=
\frac{
5e^\gamma
}{3}
\approx
2.968454.
}
$$

---

# 29. Euler-Product Ratio

relative to coarse cutoff：

$$
w=X^{1/u},
$$

dimension-1 Euler product obeys：

$$
W(t)
\asymp
C/\log t.
$$

所以：

## Diagnostic TCDC-06-D03

$$
\boxed{
\frac{
W(X^{1/2})
}{
W(X^{1/u})
}
\to
\frac{
2
}{u}.
}
$$

---

# 30. Standard Separate Prime-Cost Constant

因此 standard separate prime upper的 normalized main coefficient：

## Diagnostic TCDC-06-D04

$$
\boxed{
C_P^{\mathrm{std}}(u)
=
\frac{
2
}{u}
F_1(6/5)
=
\frac{
10e^\gamma
}{
3u
}.
}
$$

at：

$$
u=8,
$$

$$
\boxed{
C_P^{\mathrm{std}}(8)
\approx
0.742114.
}
$$

---

# 31. Standard Separate-Upper No-Go at $u=8$

branch-neutral core：

$$
\boxed{
C_{\mathrm{core}}(8)
\approx0.406257.
}
$$

standard prime upper：

$$
\boxed{
C_P^{\mathrm{std}}(8)
\approx0.742114.
}
$$

所以：

## Diagnostic TCDC-06-D05

$$
\boxed{
C_{\mathrm{core}}(8)
-
C_P^{\mathrm{std}}(8)
\approx
-0.335857.
}
$$

而這還完全沒有支付：

$$
E_1.
$$

因此：

## Provider No-Go TCDC-06-N01

$$
\boxed{
\text{generalized half-weight}
+
\text{standard separate linear-sieve prime upper}
}
$$

不能 close strict pressure at：

$$
u=8.
$$

這不是 mathematical impossibility theorem；

它否定的是這個 specific provider stack。

---

# 32. Ideal Prime Density Is Much Smaller Than the Standard Upper

若 prime branch恰好具有 ideal sieve multiplier：

$$
1
$$

而不是：

$$
F_1(6/5),
$$

則其 normalized density ratio只約：

$$
\boxed{
C_P^{\mathrm{ideal}}(u)
=
2/u.
}
$$

at：

$$
u=8:
$$

$$
\boxed{
C_P^{\mathrm{ideal}}(8)
=
1/4.
}
$$

所以：

$$
\boxed{
C_{\mathrm{core}}(8)
-
C_P^{\mathrm{ideal}}(8)
\approx
0.156257.
}
$$

before：

$$
E_1.
$$

---

# 33. Interpretation

strict route並不是 purely combinatorially impossible。

真正問題是：

$$
\boxed{
\text{available / standard prime upper multiplier is far above ideal}.
}
$$

所以 strict route若要活，

需要：

- near-asymptotic balanced prime-product + prime upper；
- transport-assisted prime cost；
- or a different branch treatment。

---

# 34. Classical Chen Triple Benchmark

classical Chen $x^{1/8}$ treatment的 triple-factor term具有一個約：

$$
0.363
$$

的 normalized integral constant in Tao's exposition。

若非常粗糙地把：

$$
\frac12\times0.363
\approx0.1815
$$

拿作 architecture benchmark，

那甚至 ideal：

$$
u=8
$$

prime tax後的：

$$
0.1563
$$

window也可能不足。

但：

## Research Firewall TCDC-06-R01

$$
\boxed{
\text{classical Chen triple constant is not automatically the TCDC high-suffix }E_1\text{ constant}.
}
$$

base sequence不同：

- classical Chen：
  prime + complement；
- here：
  balanced prime-product + complement。

所以只作 warning，

不作 no-go theorem。

---

# 35. Strict Local Route Is Parity-Taxed

T05顯示 prime coefficient：

$$
1
$$

不可避免。

而：

$$
P_\lambda
$$

與：

$$
\Pi_\lambda
$$

正是 cube-root RootRough boundary的：

- odd parity branch；
- even parity branch。

所以：

$$
\boxed{
\text{strict local pressure selector重新把 parity split顯式放回 proof ledger}.
}
$$

這就是 prime tax本質。

---

# 36. TCDC Allows a Different Strategy

TCDC failure geometry並不要求 sieve自己決定：

$$
P_\lambda
\text{ vs }
\Pi_\lambda.
$$

我們可以讓 sieve只證：

$$
\boxed{
S_\lambda(z)
=
P_\lambda+\Pi_\lambda
}
$$

很大。

然後由 failure transport判斷：

- prime branch能流去哪裡；
- semiprime branch能流去哪裡。

這是：

# Branch-Neutral Sieve + Branch-Sensitive Capacity

---

# 37. Two Sink Channels

對 high suffix：

### Prime Branch

$$
P_\lambda
$$

流向：

$$
\boxed{
\text{prime sink}.
}
$$

### Semiprime Branch

$$
\Pi_\lambda
$$

流向：

$$
\boxed{
\text{mirror semiprime receiver}.
}
$$

因此：

$$
S_\lambda=P_\lambda+\Pi_\lambda
$$

是 sender total mass。

---

# 38. Prime-Sink Capacity

令：

$$
\boxed{
C_P^{fail}(\lambda)
}
$$

為任何 proof-admissible failure upper satisfying：

$$
\boxed{
P_\lambda
\le
C_P^{fail}(\lambda).
}
$$

它可以來自：

- row mixed capacities：
  $$
  \sum_{r\in B_\lambda}U_r^P;
  $$
- prime-sink saturation cuts；
- center-divisor locks；
- balanced convolution upper；
- LP dual combination。

---

# 39. Mirror-Sink Capacity

TCDC-02 定義：

$$
\boxed{
C_{\mathrm{mir}}^{fail}(\lambda)
}
$$

使：

$$
\boxed{
\Pi_\lambda
\le
C_{\mathrm{mir}}^{fail}(\lambda)
}
$$

under failure。

來源：

- mirror prefix receiver；
- cross-cell capacities；
- prime usage in prefix；
- recursion；
- MRC analytic compression。

---

# 40. Two-Sink Failure Inequality

因：

$$
S_\lambda
=
P_\lambda+\Pi_\lambda,
$$

failure 必須：

## Theorem TCDC-06-T13

$$
\boxed{
S_\lambda(z)
\le
C_P^{fail}(\lambda)
+
C_{\mathrm{mir}}^{fail}(\lambda).
}
$$

這是 exact branch-capacity consequence。

---

# 41. Branch-Neutral Closure Theorem

假設有 branch-neutral lower：

$$
\boxed{
L_{P_2}(\lambda)
\le
S_\lambda(z).
}
$$

若：

$$
\boxed{
L_{P_2}(\lambda)
>
C_P^{fail}(\lambda)
+
C_{\mathrm{mir}}^{fail}(\lambda),
}
$$

則：

## Theorem TCDC-06-T14

$$
\boxed{
\text{Goldbach failure impossible}.
}
$$

所以：

$$
\boxed{
M_{PP}>0.
}
$$

---

# 42. Two-Sink Deficit

定義：

$$
\boxed{
\Delta_{2S}(\lambda)
=
L_{P_2}(\lambda)
-
C_P^{fail}(\lambda)
-
C_{\mathrm{mir}}^{fail}(\lambda).
}
$$

若：

$$
\boxed{
\Delta_{2S}(\lambda)>0,
}
$$

則 failure polytope為空。

這是：

# Branch-Neutral TCDC Certificate

---

# 43. Why This Is Not Just Moving Terms Around

strict weighted route：

$$
\Pi
\ge
L_{P_2}-U_P.
$$

它要求：

$$
U_P
$$

作為一個 isolated analytic upper，

並直接吃掉 sieve margin。

two-sink TCDC route則允許：

$$
C_P^{fail}
$$

由：

- multiple row constraints；
- global prime-sink saturation；
- transport dual；
- center locks；

共同給出。

所以：

$$
\boxed{
C_P^{fail}
}
$$

不必等於一個 independent analytic upper。

這就是 failure-polytope方法真正增加的自由度。

---

# 44. LP-Dual Interpretation

TCDC-01 failure LP中：

- mixed edges：
  $$
  M_{r,0};
  $$
- internal edges：
  $$
  M_{r,s}.
  $$

branch-neutral lower：

$$
S_\lambda
$$

只是對 selected sender rows加一個 lower mass constraint。

LP dual可以自動給：

- prime sink price；
- mirror sink price；
- row price。

所以：

$$
\boxed{
\text{branch-neutral weighted sieve}
+
\text{LP dual transport}
}
$$

是自然的 combined proof architecture。

---

# 45. A Parametric Branch Price

更一般，

取：

$$
0\le\eta\le1.
$$

定義：

$$
\boxed{
S_{\lambda,\eta}
=
\Pi_\lambda
+
\eta P_\lambda.
}
$$

pointwise weight：

$$
\boxed{
\omega_{\eta}
=
\omega_{neutral}
-
(1-\eta)\mathbf1_{\mathbb P}.
}
$$

所以：

## Theorem TCDC-06-T15

$$
\boxed{
S_{\lambda,\eta}
\ge
A_1
-
(1-\eta)A_P
-
\frac12A_2
-
\frac12E.
}
$$

---

# 46. Dual Capacity for Branch Price

under failure：

$$
\Pi_\lambda
\le
C_{\mathrm{mir}},
$$

$$
P_\lambda
\le
C_P.
$$

所以：

## Theorem TCDC-06-T16

$$
\boxed{
S_{\lambda,\eta}
\le
C_{\mathrm{mir}}
+
\eta C_P.
}
$$

若 lower bound exceeds right side，

failure impossible。

---

# 47. $\eta$ Is a TCDC Dual Variable

### $\eta=0$

strict semiprime pressure route。

### $\eta=1$

fully branch-neutral $P_2$ route。

### intermediate

prime branch gets partial credit。

所以：

$$
\boxed{
\eta
}
$$

可以由：

- analytic prime upper quality；
- transport prime-sink capacity；
- mirror capacity；

jointly optimize。

這不是單純 sieve parameter，

而是：

# Failure-Polytope Dual Price

---

# 48. Relation to Classical Chen

classical Chen target：

$$
P_2
$$

自然相當：

$$
\boxed{
\eta=1.
}
$$

因 prime與semiprime都 acceptable。

Goldbach strict pressure：

$$
\boxed{
\eta=0.
}
$$

TCDC則允許：

$$
\boxed{
0<\eta<1
}
$$

because prime branch雖不是 pressure target，

卻仍消耗 failure transport capacity。

這是本框架相對 classical Chen 的新 degree of freedom。

---

# 49. Remaining Medium-$P_2$ Cost

branch-neutral：

$$
\eta=1
$$

消除了 prime tax，

但：

$$
E
=
A_{2,1}
+
A_{3,1}
+\text{higher-factor }\nu=1\text{ states}
$$

仍存在。

因 target仍要求：

$$
\operatorname{RootRough}_z.
$$

medium semiprime：

$$
\ell q,
\quad
w<\ell\le z,
$$

不在 cube-root transport boundary。

所以：

$$
\boxed{
\text{medium-}P_2\text{ cost remains a genuine cutoff-descent cost}.
}
$$

---

# 50. Lowering $w$ Increases $E_1$ Complexity

generalized T02允許：

$$
u>4,
$$

但 coarse RootRough$_w$ 可以包含：

$$
P_4,P_5,\ldots
$$

雖 pointwise weight仍合法，

$$
E_1
$$

會包含：

> exactly one medium factor，
> 加多個 factors $>z$。

不過若：

$$
z^3\ge X,
$$

exactly one medium factor後不可能再有三個 factors：

$$
>z.
$$

因：

$$
w\cdot z^3>X
$$

for any：

$$
w>1.
$$

所以：

## Theorem TCDC-06-T17

$$
\boxed{
E_1
}
$$

仍只包含：

- medium $P_2$；
- medium $P_3$。

即使：

$$
w
$$

遠低於 quarter-root。

這是 generalized cutoff仍保持 analytic可控的重要原因。

---

# 51. Proof of T17

若：

$$
\nu=1,
$$

有唯一 medium prime factor：

$$
\ell>w.
$$

其它 prime factors：

$$
>z.
$$

若至少三個其它 factors，

則：

$$
y>\ell z^3>wX>X,
$$

矛盾。

所以最多兩個其它 prime factors。

composite且至少一個其它 factor，

故：

- one other：
  $$
  P_2;
  $$
- two others：
  $$
  P_3.
  $$

證畢。

---

# 52. Why $u\approx8$ Is Especially Attractive

at：

$$
u=8,
$$

我們同時得到：

1. coarse lower multiplier幾乎：
   $$
   1;
   $$
2. half-medium core：
   $$
   \approx0.406;
   $$
3. exactly-one correction仍只需：
   - medium $P_2$；
   - medium $P_3$；
4. cutoff與 classical Chen：
   $$
   x^{1/8}
   $$
   尺度一致。

所以：

$$
\boxed{
u=8
}
$$

成為比：

$$
u=4
$$

更自然的 TCDC-06 baseline。

---

# 53. Updated Strict Extra-Cost Gate at $u=8$

strict route：

$$
\Pi
\ge
\text{core}
-
A_P
-
\frac12E.
$$

normalized：

$$
\boxed{
C_P
+
\frac12C_E
<
0.406257
}
$$

才有 positive pressure。

這比 TCDC-05：

$$
0.0841
$$

大很多。

但 standard separate prime upper：

$$
C_P^{std}
\approx0.7421
$$

仍已經超標。

---

# 54. Updated Neutral Gate at $u=8$

branch-neutral route：

$$
S_z
\ge
\text{core}
-
\frac12E.
$$

所以只需：

$$
\boxed{
\frac12C_E
<
0.406257
}
$$

for positive $P_2$ mass。

接著把 branch allocation交給 two-sink capacity。

這明顯更符合 classical Chen polarity。

---

# 55. Provider Priorities After This Round

不再優先：

> 精確 upper-bound $A_P$ 後硬從 strict weight扣掉。

改成：

### Priority 1

lower-bound branch-neutral：

$$
S_\lambda(z).
$$

### Priority 2

upper-bound / dual-certify：

$$
C_P^{fail}+C_{\mathrm{mir}}^{fail}.
$$

### Priority 3

optimize：

$$
\eta.
$$

### Priority 4

only if needed，
回 strict：

$$
\eta=0.
$$

---

# 56. Formal Theorem Queue

```yaml
TCDC_06:

  T01:
    generalized_bad_composite_has_medium_factor

  T02:
    generalized_strict_half_weight

  T03:
    generalized_branch_neutral_half_weight

  T04:
    strict_equals_neutral_minus_prime

  T05:
    local_prime_tax_coefficient_at_least_one

  T06:
    summed_neutral_lower

  T07:
    summed_strict_lower

  T08:
    full_medium_upper_legal_requires_u_gt_15_4

  T09:
    explicit_coarse_lower_constant

  T10:
    explicit_medium_integral

  T11:
    explicit_half_core_constant

  T12:
    core_monotone_on_closed_form_window

  T13:
    two_sink_failure_inequality

  T14:
    branch_neutral_failure_closure

  T15:
    eta_weighted_lower

  T16:
    eta_dual_capacity_upper

  T17:
    exactly_one_medium_remains_only_P2_or_P3
```

---

# 57. Diagnostic Queue

```yaml
TCDC_06_Diagnostics:

  quarter_root:
    u:
      4
    core:
      0.084102748153

  u_5:
    core:
      0.279036833468

  closed_form_endpoint:
    u:
      20/3
    core:
      0.389818305228

  numerical_optimum:
    u:
      7.805950
    core:
      0.406676567891

  u_8:
    coarse:
      0.997027667435
    medium:
      1.181541540743
    core:
      0.406256897064

    standard_prime_upper:
      0.742113507496

    ideal_prime_density:
      0.250000000000
```

---

# 58. Barrier Queue

```yaml
TCDC_06_Barriers:

  B01:
    strict_local_prime_tax:
      coefficient_at_least_one

  B02:
    standard_prime_upper_multiplier_too_large

  B03:
    exact_one_medium_cost_not_closed

  B04:
    branch_neutral_prime_sink_capacity_not_closed

  B05:
    mirror_capacity_not_closed

  B06:
    eta_dual_optimization_not_done

  B07:
    no_positive_two_sink_deficit_yet
```

---

# 59. Acceptance Gate

TCDC-06 formal core前需：

1. generalized pointwise theorem independent of factor-depth cutoff；
2. desired $P_2$ branch exact；
3. prime coefficient lower bound；
4. $u$ parameter domain；
5. lower/upper sieve parameters separated；
6. closed-form constants only in their valid $s$ ranges；
7. $u\approx7.8$ labeled numerical diagnostic；
8. classical $1/8$ comparison labeled structural, not derivational identity；
9. standard prime upper no-go labeled provider-stack no-go；
10. ideal prime density labeled diagnostic；
11. branch-neutral two-sink theorem exact；
12. $\eta$ dual price exact；
13. no positive two-sink deficit claim；
14. no Goldbach proof claim。

---

# 60. Verdict

本輪可以正式給：

$$
\boxed{
\mathrm{TCDC\mbox{-}06\ BRANCH\mbox{-}NEUTRAL\ DUAL\mbox{-}SINK\ KERNEL\ PASS}.
}
$$

最大 combinatorial improvement：

$$
\boxed{
\text{TCDC-05 half-weight does not require }w=X^{1/4}.
}
$$

它對任意：

$$
w<z,
\qquad
z^3\ge X
$$

都成立。

因此 cutoff可最佳化。

current：

$$
\theta=3/5
$$

下：

$$
u=4
$$

core：

$$
\boxed{
0.0841,
}
$$

而 numerical optimum：

$$
u\approx7.806
$$

提升到：

$$
\boxed{
0.4067.
}
$$

$$
u=8
$$

已近乎最佳：

$$
\boxed{
C_{\mathrm{core}}(8)
\approx0.4063.
}
$$

但 standard separate prime upper在同一 scale仍約：

$$
\boxed{
0.7421,
}
$$

所以：

$$
\boxed{
\text{strict local route + standard prime upper仍不能 close}.
}
$$

這將 prime subtraction辨識為：

# Parity / Strictness Tax

TCDC 的主要替代是：

$$
\boxed{
S_\lambda(z)
=
P_\lambda+\Pi_\lambda
}
$$

先由 Chen-type branch-neutral weighted sieve lower-bound，

再利用 failure transport：

$$
\boxed{
S_\lambda(z)
\le
C_P^{fail}(\lambda)
+
C_{\mathrm{mir}}^{fail}(\lambda).
}
$$

所以真正 closure target變成：

$$
\boxed{
\Delta_{2S}(\lambda)
=
L_{P_2}
-
C_P^{fail}
-
C_{\mathrm{mir}}^{fail}
>0.
}
$$

這避免要求 sieve本身跨過 prime / semiprime parity split。

更一般還有：

$$
\boxed{
\eta\in[0,1]
}
$$

作 prime-branch dual price，

將 classical Chen：

$$
\eta=1
$$

與 strict pressure：

$$
\eta=0
$$

連成同一族 TCDC certificates。

但目前：

$$
\boxed{
\mathrm{NO\ POSITIVE\ TWO\mbox{-}SINK\ DEFICIT\ YET}.
}
$$

因此：

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

---

# 61. 下一輪建議

# TCDC-07
## Two-Sink Capacity Ledger / $\eta$-Dual Optimization Closure

下一輪不再嘗試把 prime branch單獨 analytic subtract。

直接建立：

$$
\boxed{
\Delta_\eta
=
L_\eta
-
C_{\mathrm{mir}}
-
\eta C_P.
}
$$

### Part A — Weighted Lower

以：

$$
u\approx8
$$

作 baseline，

建立：

$$
L_\eta.
$$

### Part B — Prime Sink

不要只用單 row BT。

把：

- prime-sink saturation；
- center locks；
- suffix arithmetic progression；
- transport LP dual；

一起組成：

$$
C_P^{fail}.
$$

### Part C — Mirror Sink

使用 TCDC-02 / MRC：

$$
C_{\mathrm{mir}}^{fail}.
$$

### Part D — Optimize $\eta$

求：

$$
\boxed{
\sup_{0\le\eta\le1}
\Delta_\eta.
}
$$

若 positive，

failure polytope直接 empty。

這會是第一次真正把：

# Chen Weighted Sieve

與：

# TCDC Failure Transport Dual

放入同一個 optimized certificate。

---

# 附錄 A：Generalized Pointwise Weights

```yaml
strict:

  omega:
    RR_w * (
      1
      - prime
      - nu/2
      - E1/2
    )

  lower_bounds:
    strict_semiprime_lpf_gt_z

neutral:

  omega:
    RR_w * (
      1
      - nu/2
      - E1/2
    )

  lower_bounds:
    RootRough_z:
      prime_or_semiprime

conditions:
  w < z
  z^3 >= X
```

---

# 附錄 B：Closed-Form $3/5$ Core

```yaml
u_range:
  15/4 < u <= 20/3

theta:
  3/5

C0:
  (10*exp(gamma)/(3u))
  * log((3u-5)/5)

Cmed:
  (10*exp(gamma)/(3u))
  * log((3u-5)/4)

Ccore:
  (5*exp(gamma)/(3u))
  * log(4*(3u-5)/25)

positive_iff:
  u > 15/4
```

---

# 附錄 C：$u=8$ Diagnostic

```yaml
u:
  8

coarse:
  0.997027667435

medium:
  1.181541540743

half_core:
  0.406256897064

standard_separate_prime_upper:
  0.742113507496

ideal_prime_density:
  0.250000000000

strict_with_standard_prime_upper:
  negative_before_E1: true

neutral_before_E1:
  positive: true
```

---

# 附錄 D：Two-Sink Closure

```yaml
sender:
  S_lambda:
    prime_branch + semiprime_branch

failure_sinks:

  prime:
    capacity:
      C_P_fail

  mirror_semiprime:
    capacity:
      C_mir_fail

failure_requires:
  S_lambda <= C_P_fail + C_mir_fail

if_lower:
  L_P2 > C_P_fail + C_mir_fail

then:
  failure_polytope_empty: true
  Goldbach_success: true
```

---

# 附錄 E：$\eta$ Dual Price

```yaml
eta:
  range:
    0_to_1

weighted_sender:
  S_eta:
    Pi + eta*P

weighted_lower:
  A1
  -(1-eta)*A_P
  -A2/2
  -E/2

failure_capacity:
  C_mir + eta*C_P

special_cases:

  eta_0:
    strict_pressure

  eta_1:
    branch_neutral_P2
```

---

# 附錄 F：Commit Decision

```yaml
research_round:
  TCDC-06

decision:

  half_weight_generalized:
    true

  quarter_root_necessity:
    false

  cutoff_optimization:
    true

  near_eighth_root_optimum:
    computationally_identified

  strict_prime_tax:
    formalized

  standard_separate_prime_upper_closure:
    false

  branch_neutral_two_sink_route:
    formalized

  eta_dual_price:
    formalized

  positive_two_sink_deficit:
    not_proved

  Goldbach_proved:
    false

next:
  TCDC-07_TwoSink_CapacityLedger_EtaDual_Optimization_Closure
```

---

# References / Audited External Sources

1. Terence Tao, **254A, Supplement 5: The linear sieve and Chen's theorem**, 2015.

   Relevant facts:
   - classical dimension-$1$ linear sieve functions and their delay-differential continuation;
   - Chen's proof uses a coarse cutoff $z=x^{1/8}$, half-weighting of medium divisors, and switching / triple-factor control;
   - Chen's target is $P_2$, hence branch-neutral with respect to prime versus semiprime.

2. James Maynard, **Primes in arithmetic progressions to large moduli II: Well-factorable estimates**, *Memoirs AMS* 306 (2025), no. 1543.

   Relevant benchmark:
   mean distribution with suitably well-factorable weights to level $x^{3/5-\varepsilon}$.

3. James Maynard, **Primes in arithmetic progressions to large moduli III: Uniform residue classes**, *Memoirs AMS* 306 (2025), no. 1544.

   Relevant as a possible source of sharper prime-sink / balanced-convolution upper estimates than the standard isolated linear-sieve prime upper.

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

   Relevant as a modern convolution / well-factorable-weight technology source. No direct Goldbach-shift application is asserted here.