# TCDC-05
## Quarter-Root Weighted Pressure / Chen-Lemma Adaptation
### Strict-Semiprime Half-Weight、Medium-Divisor Multiplicity、Extra Prime-Branch Cost、Constant Gate 與 Balanced-Convolution Provider Map

**母方法論：** TCDC — Target–Condition Dual Closure  
**對接研究線：** RG-SCP / SRBRD  
**輪次：** TCDC-05  
**日期：** 2026-10-02  
**版本：** v0.1  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**性質：** Pointwise Weighted-Sieve Lemma / Chen-Type Adaptation / Constant Audit  
**前置：** TCDC-00 ～ TCDC-04；SRBRD-00 ～ SRBRD-26  
**狀態：** 建立 strict semiprime pressure 的 quarter-root Chen-type pointwise lower weight；證明 half-weight 係數在自然線性 ansatz 下最小；standard $3/5$ linear-sieve 主常數在扣除 half medium-divisor term後仍保留小正 margin，但 prime branch與 exactly-one-medium correction尚未閉合；Goldbach仍未證明

---

# 0. 本輪目標

TCDC-04 已將 high-suffix pressure寫成：

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

其中：

- $S_\lambda(z)$：
  complement $y=2m-rp$ 通過 cube-root RootRough；
- $P_\lambda$：
  其中 $y$ 是 prime；
- $\Pi_\lambda$：
  strict semiprime branch。

direct：

$$
z=X^{1/3}
$$

lower linear sieve需要：

$$
\theta>2/3,
$$

所以 current：

$$
3/5
$$

甚至：

$$
5/8
$$

都不能直接 lower-sieve到底。

TCDC-04 因此改用：

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

coarse cutoff，

使：

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

只允許：

$$
P_1,\ P_2,\ P_3.
$$

TCDC-05 的目標：

> 在這個 finite factor-depth domain內，
> 建立一個真正 pointwise 的 Chen-type weight，
> 直接 lower-bound：
> $$
> \mathbf1_{\{
> y\text{ strict semiprime},
> \operatorname{lpf}(y)>z
> \}}.
> $$

---

# 1. Basic Scales

令：

$$
X=2m-3.
$$

定義：

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

以及 cube-root cutoff：

$$
\boxed{
z=z_3(m),
\qquad
z^3\ge X.
}
$$

high-suffix base：

$$
\boxed{
\mathcal A_\lambda
=
\left\{
(r,p):
r,p\in\mathbb P,
\quad
r\ge\lambda\sqrt m,
\quad
p\ge r,
\quad
rp\le X
\right\}.
}
$$

complement：

$$
\boxed{
y=2m-rp.
}
$$

---

# 2. Desired Pressure Indicator

定義：

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

對 composite：

$$
y,
$$

這等價：

$$
\boxed{
y=q_1q_2,
\qquad
q_1,q_2\in\mathbb P,
\qquad
z<q_1\le q_2.
}
$$

---

# 3. Desired Strict Semiprimes Automatically Lie Above $z^2$

若：

$$
H_z(y)=1,
$$

則：

$$
y=q_1q_2,
$$

$$
q_1,q_2>z.
$$

所以：

## Theorem TCDC-05-T01

$$
\boxed{
H_z(y)=1
\Longrightarrow
y>z^2.
}
$$

因此：

$$
y\le z^2
$$

完全不可能貢獻 strict semiprime pressure。

這和 classical Chen lemma 常在：

$$
n>x^{2/3}
$$

區域工作的結構相容。

---

# 4. Quarter-Root Factor Depth

若：

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

且：

$$
y
$$

composite，

則：

$$
\operatorname{lpf}(y)>w.
$$

若：

$$
\Omega_{\mathrm{mult}}(y)\ge4,
$$

則：

$$
y>w^4=X,
$$

矛盾。

所以：

## Theorem TCDC-05-T02

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

---

# 5. Medium-Prime Multiplicity

定義：

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

其中：

$$
v_\ell(y)
$$

是 $\ell$ 在 $y$ 的 prime-factor multiplicity。

因：

$$
\Omega_{\mathrm{mult}}(y)\le3
$$

在 coarse composite domain，

所以：

$$
\boxed{
0\le\nu_{w,z}(y)\le3.
}
$$

對 prime：

$$
y,
$$

若：

$$
w<y\le z,
$$

則：

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

這不造成問題，

因 prime branch會另外扣除。

---

# 6. Exactly-One-Medium Composite State

定義：

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

這是：

# Exactly-One-Medium Correction

---

# 7. Strict-Semiprime Half-Weight

定義 pointwise weight：

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

---

# 8. Main Pointwise Lemma

## Theorem TCDC-05-T03
### Strict-Semiprime Chen Weight

對：

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

有：

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

因此：

$$
\boxed{
H_z(y)
\ge
\omega_{w,z}(y).
}
$$

---

# 9. T03 Case Audit — Prime

若：

$$
y\in\mathbb P,
$$

則：

$$
H_z(y)=0.
$$

而：

$$
\omega_{w,z}(y)
=
-\frac12
\mathbf1_{\{w<y\le z\}}
\le0.
$$

所以成立。

---

# 10. T03 Case Audit — Desired $P_2$

若：

$$
y=q_1q_2,
$$

$$
z<q_1\le q_2,
$$

則：

$$
\operatorname{RootRough}_w(y)=1,
$$

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

$$
E_1(y)=0,
$$

$$
\mathbf1_{\mathbb P}(y)=0.
$$

所以：

$$
\boxed{
\omega_{w,z}(y)=1=H_z(y).
}
$$

desired branch得到 exact unit weight。

---

# 11. T03 Case Audit — Medium $P_2$

若：

$$
y
$$

semiprime，

但：

$$
\operatorname{lpf}(y)\le z,
$$

在 coarse RootRough$_w$ domain中：

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

### multiplicity $1$

$$
\nu=1,
\quad
E_1=1,
$$

所以：

$$
\omega=1-\frac12-\frac12=0.
$$

### multiplicity $2$

$$
\nu=2,
\quad
E_1=0,
$$

所以：

$$
\omega=1-1=0.
$$

因此 undesired medium $P_2$不會得到 positive weight。

---

# 12. T03 Case Audit — $P_3$

若：

$$
y
$$

是 $P_3$ 且 RootRough$_w$。

因：

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

且若三個 prime factors全：

$$
>z,
$$

則：

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

矛盾。

所以：

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

### $\nu=1$

$$
E_1=1,
$$

所以：

$$
\omega=0.
$$

### $\nu=2$

$$
\omega=0.
$$

### $\nu=3$

$$
\omega=-1/2.
$$

因此：

$$
\boxed{
P_3
\text{ 永不取得 positive pressure weight}.
}
$$

T03證畢。

---

# 13. Why the Half Coefficient Is Forced

考慮自然 linear ansatz：

$$
\boxed{
1
-
a\nu
-
b\mathbf1_{\{\nu=1\}}
}
$$

只看 composite coarse states，

希望所有 bad：

$$
\nu=1,2,3
$$

都：

$$
\le0.
$$

constraints：

### $\nu=1$

$$
1-a-b\le0.
$$

### $\nu=2$

$$
1-2a\le0.
$$

### $\nu=3$

$$
1-3a\le0.
$$

所以：

## Theorem TCDC-05-T04
### Half-Weight Optimality

$$
\boxed{
a\ge1/2.
}
$$

若取最小：

$$
a=1/2,
$$

則：

$$
\boxed{
b\ge1/2.
}
$$

因此：

$$
\boxed{
(a,b)=(1/2,1/2)
}
$$

是此 two-statistic linear ansatz 的 componentwise minimal admissible choice。

所以 half-weight不是任意模仿 Chen。

---

# 14. Structure of $E_1$

因：

$$
E_1
$$

要求 composite且 medium multiplicity恰為：

$$
1,
$$

在 coarse：

$$
P_2/P_3
$$

domain中恰分成：

## Medium-$P_2$ Branch

$$
\boxed{
y=\ell q,
}
$$

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

with primes：

$$
\ell,q.
$$

## Triple Branch

$$
\boxed{
y=\ell q_2q_3,
}
$$

$$
w<\ell\le z<q_2\le q_3,
$$

with primes。

平方：

$$
\ell^2
$$

不在 $E_1$，

因 multiplicity為：

$$
2.
$$

這正是使用 multiplicity而不是 distinct divisor count的好處。

---

# 15. Define the Weighted Counts

high-suffix coarse survivor：

$$
\boxed{
A_1
=
S_\lambda(w).
}
$$

prime branch：

$$
\boxed{
A_P
=
P_\lambda.
}
$$

medium multiplicity term：

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

exact-one medium $P_2$：

$$
\boxed{
A_{2,1}
=
\#\{
(r,p):
y=\ell q,
\ w<\ell\le z<q
\}.
}
$$

exact-one medium $P_3$：

$$
\boxed{
A_{3,1}
=
\#\{
(r,p):
y=\ell q_2q_3,
\ w<\ell\le z<q_2\le q_3
\}.
}
$$

then：

$$
\boxed{
\sum E_1
=
A_{2,1}+A_{3,1}.
}
$$

所有 sums都 restricted到：

$$
(r,p)\in\mathcal A_\lambda
$$

與 coarse RootRough condition when required。

---

# 16. Summed Strict-Pressure Lemma

summation of T03 gives：

## Theorem TCDC-05-T05

$$
\boxed{
\Pi_\lambda
\ge
A_1
-
A_P
-
\frac12A_2
-
\frac12A_{2,1}
-
\frac12A_{3,1}.
}
$$

這是本輪主 weighted inequality。

---

# 17. Compare with the Exact Buchstab Identity

TCDC-04 exact：

$$
\boxed{
\Pi_\lambda
=
S_\lambda(w)
-
B_\lambda(w,z)
-
P_\lambda.
}
$$

T05用：

$$
A_2,
A_{2,1},
A_{3,1}
$$

取代 difficult OR-event：

$$
B_\lambda(w,z).
$$

所以：

> T05是 proof-friendly lower relaxation，
> TCDC-04則是 exact least-factor identity。

---

# 18. Exact Medium-Divisor Inclusion–Exclusion

對 composite RootRough$_w$：

$$
\nu=\nu_{w,z}(y)\in\{0,1,2,3\}.
$$

有 exact：

$$
\boxed{
\mathbf1_{\{\nu\ge1\}}
=
\nu
-
\binom{\nu}{2}
+
\binom{\nu}{3}.
}
$$

所以 shell loss也可寫成 finite hyperintersection expansion。

這給另一條 route：

$$
\boxed{
B
=
D_1-D_2+D_3.
}
$$

但：

- $D_1$需要 upper；
- $D_2$有 positive sign，需要 lower；
- $D_3$再需要 upper。

T05 的 half-weight避免直接索取：

$$
D_2
$$

lower bound，

代價是加入：

$$
E_1
$$

upper cost。

---

# 19. Half-Weight Identity Behind T05

對：

$$
\nu=0,1,2,3,
$$

有：

$$
\boxed{
\mathbf1_{\{\nu\ge1\}}
=
\frac12\nu
+
\frac12\mathbf1_{\{\nu=1\}}
-
\frac12\mathbf1_{\{\nu=3\}}.
}
$$

所以：

$$
\boxed{
B
\le
\frac12D_1
+
\frac12E_1.
}
$$

dropping the favorable：

$$
+\frac12E_3
$$

recovery。

T05正是此 pointwise relaxation。

---

# 20. Difference from Classical Chen's Lemma

classical Chen lower-weight lemma對：

$$
1_{\mathcal P_2}(n)
$$

使用：

- coefficient：
  $$
  1/2
  $$
  的 medium-prime divisor term；
- triple-factor correction；
- square-factor correction。

其 target：

$$
\mathcal P_2
$$

包含：

- prime；
- semiprime。

而本 TCDC target是：

$$
\boxed{
\text{strict semiprime with lpf}>z.
}
$$

所以我們額外必須支付：

## Extra Cost I

$$
\boxed{
A_P
}
$$

prime branch。

## Extra Cost II

$$
\boxed{
A_{2,1}
}
$$

medium-$P_2$ branch。

這兩個 cost在 classical Chen target中不是 bad states。

因此：

$$
\boxed{
\text{strict-pressure problem is combinatorially stricter than Chen's }P_2\text{ problem}.
}
$$

---

# 21. Square Correction Is Absorbed by Multiplicity

classical Chen formulation需要顯式：

$$
p^2\mid n
$$

correction，

因它使用 divisor indicator而非 multiplicity bookkeeping。

本輪定義：

$$
\nu_{w,z}(y)
=
\sum v_\ell(y).
$$

所以：

- $\ell^2$ automatically contributes：
  $$
  2;
  $$
- $\ell^3$ contributes：
  $$
  3.
  $$

因此 square / cube multiplicity已內建於：

$$
A_2.
$$

這是 TCDC tailored weight的一個簡化。

---

# 22. Coarse Lower-Sieve Constant at Current $3/5$

assume a proof-admissible dimension-1 lower-sieve provider with：

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

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

則：

$$
\boxed{
s_0
=
\frac{\log D}{\log w}
=
\frac{12}{5}.
}
$$

classical lower function：

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

for：

$$
2\le s\le4.
$$

所以：

## Diagnostic TCDC-05-D01

$$
\boxed{
C_{\mathrm{coarse}}
=
f_1(12/5)
=
\frac{
5e^\gamma
}{6}
\log\frac75
}
$$

$$
\boxed{
C_{\mathrm{coarse}}
\approx
0.499401183388.
}
$$

---

# 23. Medium-Divisor First-Order Upper Integral

令：

$$
\ell=X^u,
$$

$$
\frac14\le u\le\frac13.
$$

conditioning：

$$
\ell\mid y
$$

reduces available sieve level approximately：

$$
D/\ell.
$$

relative to：

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

parameter：

$$
\boxed{
s_\ell
=
4
\left(
\frac35-u
\right).
}
$$

此 range：

$$
\boxed{
16/15
\le
s_\ell
\le
7/5.
}
$$

upper linear sieve：

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

for：

$$
1<s\le3.
$$

---

# 24. Integrated Medium-Divisor Constant

formal first-order normalized integral：

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

direct integration gives：

## Theorem TCDC-05-T06

$$
\boxed{
C_{\mathrm{med}}
=
\frac{
5e^\gamma
}{6}
\log\frac74
}
$$

and：

$$
\boxed{
C_{\mathrm{med}}
\approx
0.830596870470.
}
$$

這是 constant diagnostic，

真正 theorem仍需：

- sequence distribution；
- local singular factor；
- remainder control。

---

# 25. Why Coefficient $1$ Fails

若使用最簡：

$$
\Pi
\ge
A_1-A_P-A_2,
$$

即先忽略：

$$
A_P,
$$

constant已：

$$
\boxed{
C_{\mathrm{coarse}}
-
C_{\mathrm{med}}
\approx
-0.331195687082
<0.
}
$$

所以：

## Barrier TCDC-05-B01

$$
\boxed{
\text{full medium-divisor subtraction has the wrong sign
before prime / triple costs are even paid}.
}
$$

---

# 26. Half-Weight Restores a Positive Window

T05只支付：

$$
\frac12A_2.
$$

所以 coarse-minus-medium constant：

$$
\boxed{
C_*
=
C_{\mathrm{coarse}}
-
\frac12
C_{\mathrm{med}}.
}
$$

numerically：

## Diagnostic TCDC-05-D02

$$
\boxed{
C_*
\approx
0.084102748153
>0.
}
$$

也就是：

$$
\boxed{
0.0841\text{ normalized units}
}
$$

左右的 positive window。

---

# 27. The New Strict-Pressure Constant Gate

T05 尚需支付：

$$
A_P
+
\frac12A_{2,1}
+
\frac12A_{3,1}.
$$

所以若所有 terms在同一 normalized base scale下有 constants：

$$
C_P,
$$

$$
C_{2,1},
$$

$$
C_{3,1},
$$

則需要：

## Theorem Template TCDC-05-T07

$$
\boxed{
C_P
+
\frac12C_{2,1}
+
\frac12C_{3,1}
<
C_*
}
$$

才可得到 positive weighted pressure。

current diagnostic：

$$
\boxed{
C_*
\approx
0.0841.
}
$$

這是一個很薄的 constant budget。

---

# 28. Why This Is Harder Than Classical Chen

classical Chen $P_2$ ledger不需 subtract：

$$
A_P
$$

because prime is acceptable，

也不需 subtract medium：

$$
P_2
$$

branch：

$$
A_{2,1}.
$$

our strict pressure ledger需要兩者。

所以：

$$
\boxed{
\text{the same half-weight that is effective for Chen
leaves a much tighter residual budget here}.
}
$$

這是本輪最重要 quantitative warning。

---

# 29. Balanced Nature of the Base Variables

high suffix：

$$
r\ge\lambda\sqrt m,
$$

且：

$$
p\ge r,
$$

$$
rp\le2m.
$$

所以：

$$
\boxed{
r,p
\asymp
X^{1/2}
}
$$

up to constants depending on：

$$
\lambda.
$$

因此：

$$
\boxed{
rp\equiv2m\pmod d
}
$$

是一個 balanced prime-product convolution。

---

# 30. Maynard-III Balanced Type-II Shape Match

Maynard-III Proposition 5.3 specifically treats balanced convolutions：

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

with modulus：

$$
q_1q_2
$$

and residue compatibility：

$$
a\equiv b\pmod{q_1}.
$$

對 global Goldbach shift：

$$
A=2m,
$$

取：

$$
a=A\bmod q_1q_2,
$$

$$
b=A\bmod q_1,
$$

compatibility automatic。

所以：

## Theorem-Match TCDC-05-M01

$$
\boxed{
\text{the high-suffix base has the correct balanced-convolution shape
for Maynard-III Proposition 5.3}.
}
$$

但這仍不是 direct sieve provider。

---

# 31. Why Proposition 5.3 Is Not Yet $A_1$

coarse lower：

$$
A_1=S_\lambda(w)
$$

需要：

- lower linear-sieve weights；
- squarefree moduli up to：
  $$
  D\approx X^{3/5};
  $$
- suitable factorization decomposition；
- remainder sum with correct sign / norm。

Proposition 5.3只提供某類 factorized moduli的 mean-value discrepancy。

所以：

$$
\boxed{
\text{balanced convolution shape PASS}
\neq
\text{coarse lower-sieve provider PASS}.
}
$$

---

# 32. Medium Divisor Term as Convolution-Sieve Sequence

condition：

$$
\ell\mid y
$$

等價：

$$
\boxed{
rp\equiv2m\pmod\ell.
}
$$

with：

$$
w<\ell\le z.
$$

若再 sieve remaining complement by small primes：

$$
d,
$$

modulus becomes：

$$
\ell d.
$$

因此：

$$
A_2
$$

requires mean distribution for：

$$
\boxed{
rp\equiv2m
\pmod{\ell d}.
}
$$

這正是一個：

# Balanced Prime-Product Convolution with a Medium Forced Factor

---

# 33. Yang 2026 Shape Interface

Yang 2026 proves convolution-type Bombieri–Vinogradov estimates with well-factorable / upper linear-sieve weights for expressions of the form：

$$
lp\equiv a\pmod q.
$$

因此在：

# convolution shape

與：

# upper-weight polarity

上和：

$$
A_2
$$

非常接近。

但 audited theorem中 residue：

$$
a
$$

仍是 fixed parameter，

而本題：

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

所以：

## Theorem-Match TCDC-05-M02

$$
\boxed{
\text{Yang 2026 is a medium-term technology template,
not a legal uniform Goldbach-shift provider as currently stated}.
}
$$

---

# 34. The $A_{2,1}$ Term

$$
A_{2,1}
$$

counts：

$$
\boxed{
2m
=
rp
+
\ell q,
}
$$

with four prime variables：

$$
r,p,\ell,q,
$$

and ranges：

$$
r,p\asymp\sqrt X,
$$

$$
X^{1/4}<\ell\le X^{1/3},
$$

$$
q>X^{1/3}.
$$

這不是 classical Chen's triple-factor cost。

它是：

# Two-Product Additive Correlation

而且是 strict-pressure adaptation新增的 term。

---

# 35. The $A_{3,1}$ Term

$$
A_{3,1}
$$

counts：

$$
\boxed{
2m
=
rp
+
\ell q_2q_3,
}
$$

where：

$$
w<\ell\le z<q_2\le q_3.
$$

這和 classical Chen的：

# Triple-Factor Bad Term

最接近。

switching principle很可能是 natural treatment。

---

# 36. Prime Branch $A_P$

$$
A_P
$$

counts：

$$
\boxed{
2m
=
rp+q,
}
$$

with：

$$
r,p,q\in\mathbb P,
$$

$$
r\ge\lambda\sqrt m.
$$

這是一個 ternary prime correlation，

但只需要：

$$
\boxed{
\text{upper bound}.
}
$$

所以 parity polarity比 direct Goldbach lower容易。

然而其 constant必須非常 sharp，

因 residual budget只有：

$$
\approx0.0841.
$$

---

# 37. A New Three-Cost Architecture

strict HSP weighted ledger現在精確分成：

## Cost P

prime complement：

$$
A_P.
$$

## Cost M2

exactly-one-medium semiprime：

$$
A_{2,1}.
$$

## Cost T3

exactly-one-medium triple：

$$
A_{3,1}.
$$

所以：

$$
\boxed{
\text{strict HSP}
=
\text{Chen-like core}
-
\text{Prime Cost}
-
\text{Medium-}P_2\text{ Cost}.
}
$$

這是和 classical Chen最大的結構差異。

---

# 38. Potential Improvement I — Exact Shell Instead of Half-Weight

TCDC-04 exact：

$$
\Pi
=
S_w-P-B.
$$

若能直接 upper-bound：

$$
B
$$

比：

$$
\frac12A_2+\frac12E_1
$$

更 sharp，

則可放寬：

$$
0.0841
$$

budget。

所以 half-weight不是 final optimal architecture。

它只是：

# first proof-friendly Chen adaptation。

---

# 39. Potential Improvement II — Medium-Divisor Overlap Recovery

exact finite inclusion–exclusion：

$$
B
=
D_1-D_2+D_3.
$$

half-weight丟掉部分 positive：

$$
D_2
$$

recovery。

若能 lower-bound：

$$
D_2-D_3,
$$

可以提高 pressure constant。

這和 earlier SRBRD overlap philosophy重新接上。

---

# 40. Potential Improvement III — Global Prime-Sink Budget

prime branch：

$$
A_P
$$

正是 high-suffix mixed transport：

$$
M_{r,0}.
$$

TCDC-01 failure surface還有 global constraint：

$$
\boxed{
\sum_rM_{r,0}=n_P.
}
$$

所以：

$$
A_P
$$

不一定必須完全用 analytic ternary-prime upper單獨支付。

可能和：

- low-row prime usage；
- mirror receiver；
- center locks；

做 global transport budget coupling。

這是 TCDC 特有的改良方向。

---

# 41. Potential Improvement IV — Optimize $w=X^{1/u}$

quarter-root：

$$
u=4
$$

不是必然最佳。

general：

$$
s=u\theta.
$$

coarse lower：

$$
f_1(u\theta).
$$

medium shell：

$$
u^{-1}<\log_X\ell\le1/3.
$$

改變：

- lower-sieve constant；
- shell width；
- factor-depth complexity；
- exactly-one-medium costs。

所以可定義：

# Pressure Weight Optimization in $u$

但本輪先固定：

$$
u=4.
$$

---

# 42. Pointwise Weight Can Be Machine-Verified

因 coarse factor depth最多：

$$
3,
$$

T03只需檢查有限 state table：

- prime；
- $P_2$ with $\nu=0,1,2$；
- $P_3$ with $\nu=1,2,3$。

所以：

$$
\boxed{
\text{weight admissibility是 finite symbolic problem}.
}
$$

未來可讓 solver search更好的 linear / nonlinear weights。

---

# 43. Weight-Optimization LP

定義 features：

$$
\boxed{
\phi(y)
=
(
1,
\mathbf1_{\mathbb P},
\nu,
\mathbf1_{\nu=1},
\mathbf1_{\nu=2},
\mathbf1_{\nu=3},
\ldots
).
}
$$

search coefficients：

$$
c
$$

使：

$$
\boxed{
c\cdot\phi(y)
\le
H_z(y)
}
$$

for all coarse factor states。

objective：

> maximize estimated analytic main constant。

所以：

# Chen-Weight Design Itself Becomes an LP

這非常符合 TCDC / AI proof-operator synthesis。

---

# 44. T03 Weight as the First LP Solution

restrict features to：

$$
\boxed{
1,
\mathbf1_{\mathbb P},
\nu,
\mathbf1_{\{\text{composite},\nu=1\}}
}
$$

並 fix target coefficient：

$$
1,
$$

則 T04證：

$$
\boxed{
1/2,\ 1/2
}
$$

是 minimal penalty coefficients。

所以 T03可視為：

# Minimal Four-Feature Pressure Weight

---

# 45. Finite Computational Calibration

只作 finite evidence。

取：

$$
\lambda=1.1.
$$

定義 weighted lower：

$$
\boxed{
W_\lambda
=
A_1
-
A_P
-
\frac12A_2
-
\frac12E_1.
}
$$

以及 crude：

$$
\boxed{
W_\lambda^{simple}
=
A_1-A_P-A_2.
}
$$

selected exact enumerations：

| $m$ | $\lambda$ | $A_1$ | $A_P$ | $\Pi_\lambda$ | $A_2$ | $E_1$ | $W_\lambda$ | $W_\lambda^{simple}$ |
|---:|---:|---:|---:|---:|---:|---:|---:|---:|
| 1000 | 1.10 | 5 | 4 | 0 | 1 | 1 | 0.0 | 0 |
| 5000 | 1.10 | 9 | 5 | 2 | 2 | 2 | 2.0 | 2 |
| 10000 | 1.10 | 11 | 9 | 0 | 2 | 2 | 0.0 | 0 |
| 50000 | 1.10 | 51 | 32 | 7 | 15 | 10 | 6.5 | 4 |

所有 sampled cases都符合：

$$
\boxed{
W_\lambda
\le
\Pi_\lambda.
}
$$

而：

$$
m=50000
$$

example中：

$$
W_\lambda=6.5
$$

對：

$$
\Pi_\lambda=7,
$$

比 crude：

$$
4
$$

更接近。

finite evidence不能升格成 uniform theorem。

---

# 46. Why Fractional Weight Is Fine

$$
W_\lambda
$$

可以是 half-integer。

這不造成問題。

只要：

$$
\boxed{
W_\lambda>0,
}
$$

而：

$$
W_\lambda\le\Pi_\lambda,
$$

就推出：

$$
\Pi_\lambda>0.
$$

所以 weighted certificate不需要 integer-valued。

---

# 47. Correct Polarity of Every Term

T05：

$$
\Pi
\ge
A_1
-
A_P
-
\frac12A_2
-
\frac12A_{2,1}
-
\frac12A_{3,1}.
$$

因此 provider方向：

### $A_1$

需要：

$$
\boxed{
\text{lower bound}.
}
$$

### $A_P$

需要：

$$
\boxed{
\text{upper bound}.
}
$$

### $A_2$

需要：

$$
\boxed{
\text{upper bound}.
}
$$

### $A_{2,1}$

需要：

$$
\boxed{
\text{upper bound}.
}
$$

### $A_{3,1}$

需要：

$$
\boxed{
\text{upper bound}.
}
$$

除了 coarse survivor外，

其它全部是 upper polarity。

這是很有利的 proof architecture。

---

# 48. Why This Still Does Not Automatically Beat Parity

prime branch：

$$
A_P
$$

與 strict pressure：

$$
\Pi
$$

在 same：

$$
m/\log^3m
$$

scale競爭。

如果 upper sieve對：

$$
A_P
$$

帶 classical factor：

$$
2,
$$

可能直接吃光：

$$
0.0841
$$

window。

所以：

$$
\boxed{
\text{the strict-prime subtraction is the new parity-sensitive constant bottleneck}.
}
$$

---

# 49. TCDC Interpretation

### Target

$$
\Pi_\lambda>0.
$$

### Enlarged Domain

quarter-root RootRough：

$$
P_1/P_2/P_3.
$$

### Pointwise Proof Operator

$$
\omega_{w,z}(y).
$$

### Bad Branches

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

### Weighted Closure

若 weighted total：

$$
W_\lambda>0,
$$

則 target pressure存在。

這是 TCDC-00：

# Reverse Domain Enlargement → Weighted Closure to Target

的完整實例。

---

# 50. Formal Theorem Queue

```yaml
TCDC_05:

  T01:
    desired_semiprime_above_z_squared

  T02:
    quarter_root_factor_depth_at_most_3

  T03:
    strict_semiprime_Chen_weight_pointwise

  T04:
    half_weight_optimality_in_two_statistic_ansatz

  T05:
    summed_weighted_pressure_lower_bound

  T06:
    medium_divisor_integrated_constant

  T07:
    strict_pressure_constant_gate
```

---

# 51. External Match Queue

```yaml
External_Match:

  MaynardIII_Prop5_3:
    balanced_prime_product_shape:
      PASS
    direct_lower_sieve_provider:
      NOT_YET

  Yang_2026:
    convolution_shape_for_medium_divisor:
      NEAR_MATCH
    growing_Goldbach_residue:
      MISMATCH_IN_AUDITED_STATEMENT

  Chen_classical:
    half_weight_philosophy:
      MATCH
    direct_strict_semiprime_target:
      NO
    extra_prime_cost:
      absent_classically
    extra_medium_P2_cost:
      absent_classically
```

---

# 52. Barrier Queue

```yaml
TCDC_05_Barriers:

  B01:
    full_medium_subtraction_negative_constant

  B02:
    half_weight_margin_only_about_0_0841

  B03:
    prime_branch_upper_cost_not_closed

  B04:
    exactly_one_medium_P2_cost_not_closed

  B05:
    triple_branch_switching_not_closed

  B06:
    balanced_convolution_lower_sieve_weight_match_not_closed

  B07:
    Goldbach_shift_uniform_convolution_provider_incomplete
```

---

# 53. Acceptance Gate

TCDC-05 formal core前需：

1. $H_z$ strict target definition；
2. multiplicity not distinct-factor count；
3. coarse factor-depth proof；
4. all prime/P2/P3 cases checked；
5. half-weight optimality proof；
6. $E_1$ split into medium P2 / P3；
7. square multiplicity handling；
8. weighted sum polarity；
9. linear-sieve constant audit labeled diagnostic unless provider proved；
10. classical Chen difference stated explicitly；
11. Maynard/Yang only shape-matched where legal；
12. finite calibration labeled computational；
13. no HSP proof claim；
14. no Goldbach proof claim。

---

# 54. Verdict

本輪可以正式給：

$$
\boxed{
\mathrm{TCDC\mbox{-}05\ STRICT\mbox{-}SEMIPRIME\ HALF\mbox{-}WEIGHT\ PASS}.
}
$$

最重要 pointwise lemma：

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

其中：

$$
\boxed{
w=X^{1/4},
\qquad
z=X^{1/3+o(1)}.
}
$$

半權重：

$$
\boxed{
1/2
}
$$

在 natural two-statistic ansatz中是 minimal admissible coefficient。

standard：

$$
\theta=3/5
$$

constant audit：

$$
\boxed{
C_{\mathrm{coarse}}
\approx
0.499401183388,
}
$$

$$
\boxed{
C_{\mathrm{med}}
\approx
0.830596870470.
}
$$

full subtraction：

$$
\boxed{
C_{\mathrm{coarse}}-C_{\mathrm{med}}
\approx
-0.331195687082
<0,
}
$$

但 half-weight：

$$
\boxed{
C_{\mathrm{coarse}}
-
\frac12C_{\mathrm{med}}
\approx
0.084102748153
>0.
}
$$

所以：

$$
\boxed{
\text{Chen-style half weighting genuinely rescues the sign}.
}
$$

然而 strict pressure還必須支付：

$$
\boxed{
A_P
+
\frac12A_{2,1}
+
\frac12A_{3,1},
}
$$

而剩餘 normalized window只有：

$$
\boxed{
\approx0.0841.
}
$$

因此：

$$
\boxed{
\mathrm{HSP\ STILL\ NOT\ PROVED}.
}
$$

真正下一個 bottleneck已被壓成：

# Prime Cost + Medium-$P_2$ Cost + Triple Cost

的 sharp upper ledger。

---

# 55. 下一輪建議

# TCDC-06
## Strict-Pressure Extra-Cost Ledger / Prime–Medium–Triple Closure

下一輪不再改 pointwise weight。

直接處理：

$$
A_P,
\quad
A_{2,1},
\quad
A_{3,1}.
$$

### Part A — Prime Branch

$$
2m=rp+q.
$$

建立最 sharp upper constant，

不要只用一維 BT。

### Part B — Medium-$P_2$

$$
2m=rp+\ell q,
$$

with：

$$
w<\ell\le z<q.
$$

利用：

- dyadic $\ell$；
- balanced $r,p$；
- switched $\ell q$ structure。

### Part C — Triple

$$
2m=rp+\ell q_2q_3.
$$

做真正 Chen switching。

### Part D — Constant Gate

所有 constants放進：

$$
\boxed{
C_P
+
\frac12C_{2,1}
+
\frac12C_{3,1}
<
0.0841027\ldots
}
$$

若現有 unconditional providers達不到，

就精確量出：

> strict HSP 距離 closing 還差多少。

---

# 附錄 A：Pointwise State Table

```yaml
coarse_domain:
  RootRough_w: true
  max_Omega: 3

states:

  prime:
    target: 0
    weight:
      <= 0

  desired_P2:
    medium_multiplicity: 0
    target: 1
    weight: 1

  medium_P2_nu1:
    target: 0
    weight: 0

  medium_P2_nu2:
    target: 0
    weight: 0

  P3_nu1:
    target: 0
    weight: 0

  P3_nu2:
    target: 0
    weight: 0

  P3_nu3:
    target: 0
    weight: -1/2
```

---

# 附錄 B：Weighted Pressure Ledger

```yaml
Pi_lower:

  positive:
    A1:
      coarse_RootRough_w

  negative:

    AP:
      prime_complement
      coefficient:
        1

    A2:
      medium_prime_multiplicity
      coefficient:
        1/2

    A2_1:
      exactly_one_medium_P2
      coefficient:
        1/2

    A3_1:
      exactly_one_medium_P3
      coefficient:
        1/2
```

---

# 附錄 C：Current $3/5$ Constant Audit

```yaml
theta:
  3/5

w:
  X^(1/4)

coarse_s:
  12/5

C_coarse:
  0.499401183388

C_medium_full:
  0.830596870470

C_medium_half:
  0.415298435235

full_subtraction_margin:
  -0.331195687082

half_weight_margin_before_extra_costs:
  0.084102748153
```

---

# 附錄 D：Finite Calibration

```yaml
lambda:
  1.1

samples:
  pointwise_weight:
    verified: true

  weighted_total_le_actual_pressure:
    verified: true

status:
  computational_evidence_only: true
```

---

# 附錄 E：Commit Decision

```yaml
research_round:
  TCDC-05

decision:

  strict_semiprime_pointwise_weight:
    proved

  half_weight_optimality:
    proved_within_selected_ansatz

  square_correction_absorbed_by_multiplicity:
    true

  half_weight_sign_rescue:
    diagnostic_positive

  strict_extra_costs:
    unresolved

  HSP_proved:
    false

  Goldbach_proved:
    false

next:
  TCDC-06_StrictPressure_ExtraCostLedger_PrimeMediumTriple_Closure
```

---

# References / Audited External Sources

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

   Relevant facts:
   - classical Chen lower-weight lemma uses a $1/2$ coefficient on medium-prime divisibility together with triple-factor and square corrections;
   - Chen's target is $P_2$, so primes and semiprimes are both acceptable;
   - the proof proceeds by lower-bounding a rough term and upper-bounding medium-factor / triple-factor terms, with switching used on the difficult triple term.

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

   Relevant fact:
   Proposition 5.3 treats balanced bilinear convolutions near $x^{1/2}$ under a residue compatibility condition. The high-suffix base $r,p\asymp X^{1/2}$ has the correct broad convolution shape, but no direct linear-sieve provider claim is made here.

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

   Relevant fact:
   provides a modern convolution / well-factorable-weight template potentially relevant to medium-divisor terms. The audited statement retains fixed-residue dependence, so no direct Goldbach-shift application is asserted.

4. Classical dimension-$1$ linear sieve functions:
   $$
   F_1(s)=\frac{2e^\gamma}{s}
   $$
   for $1<s\le3$, and
   $$
   f_1(s)=\frac{2e^\gamma}{s}\log(s-1)
   $$
   for $2\le s\le4$.