# TCDC-03
## Semiprime Pressure / Mirror-Capacity Asymptotic Closure
### High-Suffix Prime-Cofactor Scale、Raw-Capacity No-Go、Brun–Titchmarsh Factor-2 Barrier、Mirror Receiver Log Gap 與 Chen-Type Pressure Target

**母方法論：** TCDC — Target–Condition Dual Closure  
**對接研究線：** RG-SCP / SRBRD  
**輪次：** TCDC-03  
**日期：** 2026-10-02  
**版本：** v0.1  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**性質：** Asymptotic Capacity Audit / Geometric No-Go / Almost-Prime Pressure Localization  
**前置：** TCDC-00 ～ TCDC-02；SRBRD-00 ～ SRBRD-26  
**狀態：** 證明純 raw geometry 與一維 Brun–Titchmarsh mixed capacity不足以產生 high-suffix semiprime pressure；將 mirror-cut 真正缺口壓成 prime-to-semiprime / RootRough-to-prime 的 joint correlation；未證明 uniform positive pressure；Goldbach仍未證明

---

# 0. 本輪問題

TCDC-02 建立 mirror cut：

$$
R=\lambda\sqrt m,
\qquad
1<\lambda<\sqrt2,
$$

$$
S_R
=
\mu\sqrt m,
$$

其中：

$$
\boxed{
\mu
=
\sqrt{
2-\lambda^2
}.
}
$$

high suffix：

$$
\boxed{
B_\lambda
=
\left\{
r\in\mathcal R_m:
r\ge\lambda\sqrt m
\right\},
}
$$

只能將 internal $SS$ mass送到：

$$
\boxed{
P_\lambda
=
\left\{
s\in\mathcal R_m:
s\le\mu\sqrt m
\right\}.
}
$$

failure cut：

$$
\boxed{
D_B(\lambda)
\le
C_{\mathrm{mir}}(\lambda).
}
$$

其中 sender pressure：

$$
\boxed{
D_B(\lambda)
=
\sum_{r\in B_\lambda}
(n_r-U_r^P)_+.
}
$$

TCDC-03 要回答：

> 只用 square geometry、prime number theorem 級 scale、Brun–Titchmarsh mixed upper，
> 能否讓：
> $$
> D_B(\lambda)
> $$
> 成為正的 main-scale quantity，
> 並超過 mirror receiver capacity？

答案：

$$
\boxed{
\text{不能。}
}
$$

而且原因可以定量拆成兩個 barrier：

1. sender side：
   一維 prime upper沒有辦法區分：
   $$
   \text{prime complement}
   $$
   與：
   $$
   \text{RootRough semiprime complement};
   $$
2. receiver side：
   raw geometric capacities比 high-suffix sender scale大一個：
   $$
   \log m.
   $$

所以 mirror cut真正需要：

# Joint Prime–Almost-Prime Pressure

---

# 1. Normalized High-Suffix Coordinate

令：

$$
\boxed{
r=\rho\sqrt m,
}
$$

其中：

$$
\boxed{
\lambda\le\rho\le\sqrt2.
}
$$

對 fixed：

$$
\rho<\sqrt2,
$$

semiprime endpoint：

$$
x=rp
$$

需要：

$$
p\ge r,
$$

以及：

$$
rp\le2m-3.
$$

所以 cofactor：

$$
p
$$

位於：

$$
\boxed{
\rho\sqrt m
\lesssim
p
\lesssim
\frac2\rho\sqrt m.
}
$$

---

# 2. One-Sided Prime-Cofactor Candidate Count

定義：

$$
\boxed{
A_r^{\mathrm{one}}
=
\#\left\{
p\in\mathbb P:
r\le p\le
\frac{2m-3}{r}
\right\}.
}
$$

因任何 row state：

$$
x=rp
$$

都需要：

$$
p\in\mathbb P,
$$

所以 exact：

## Theorem TCDC-03-T01

$$
\boxed{
n_r
\le
A_r^{\mathrm{one}}.
}
$$

這裡完全忽略 opposite endpoint：

$$
2m-rp
$$

的 RootRough condition。

---

# 3. PNT Row Scale

對 fixed：

$$
\rho\in(1,\sqrt2),
$$

prime number theorem給：

## Asymptotic Diagnostic TCDC-03-D01

$$
\boxed{
A_r^{\mathrm{one}}
\sim
\frac{
2\sqrt m
}{
\log m
}
\left(
\frac2\rho-\rho
\right).
}
$$

這只是 one-sided candidate scale，

不是：

$$
n_r
$$

的 asymptotic formula。

---

# 4. High-Suffix Candidate Mass

定義：

$$
\boxed{
A_{\ge\lambda}^{\mathrm{one}}(m)
=
\sum_{\substack{
r\in\mathbb P\\
\lambda\sqrt m\le r\le\sqrt{2m}
}}
A_r^{\mathrm{one}}.
}
$$

定義 shape integral：

$$
\boxed{
J(\lambda)
=
\int_\lambda^{\sqrt2}
\left(
\frac2\rho-\rho
\right)
d\rho.
}
$$

計算：

## Theorem TCDC-03-T02

$$
\boxed{
J(\lambda)
=
\log2
-
1
-
2\log\lambda
+
\frac{\lambda^2}{2}.
}
$$

且：

$$
J(\lambda)>0
$$

for：

$$
1<\lambda<\sqrt2.
$$

---

# 5. High-Suffix One-Sided Asymptotic

由 PNT與 fixed-proportion Riemann summation：

## Asymptotic Diagnostic TCDC-03-D02

$$
\boxed{
A_{\ge\lambda}^{\mathrm{one}}(m)
\sim
\frac{
4m
}{
(\log m)^2
}
J(\lambda).
}
$$

所以 high suffix 的所有 possible prime-cofactor endpoints本身只有：

$$
\boxed{
m/\log^2m
}
$$

scale。

而 actual：

$$
\sum_{r\in B_\lambda}n_r
$$

只能更小。

---

# 6. Selected Shape Constants

對：

$$
J(\lambda),
$$

selected values：

| $\lambda$ | $J(\lambda)$ | $4J(\lambda)$ |
|---:|---:|---:|
| $1.05$ | $0.14681685$ | $0.58726741$ |
| $1.10$ | $0.10752682$ | $0.43010728$ |
| $1.20$ | $0.04850407$ | $0.19401627$ |
| $1.30$ | $0.01341865$ | $0.05367461$ |
| $1.40$ | $0.00020271$ | $0.00081083$ |

當：

$$
\lambda\to\sqrt2,
$$

$$
J(\lambda)\to0.
$$

所以 extreme high cap本身也是稀薄 boundary layer。

---

# 7. Raw Mixed Capacity Recalled

TCDC-02：

$$
\boxed{
U_r^{P,\mathrm{raw}}
=
\max
\left(
0,
1+
\left\lfloor
\frac{
2m-r^2-3
}{
2r
}
\right\rfloor
\right).
}
$$

對：

$$
r=\rho\sqrt m,
$$

continuous leading scale：

## Theorem TCDC-03-T03

$$
\boxed{
U_r^{P,\mathrm{raw}}
=
\frac{
\sqrt m
}{2}
\left(
\frac2\rho-\rho
\right)
+
O(1).
}
$$

---

# 8. Raw Mixed Capacity vs Candidate Row

由 D01 與 T03：

$$
\frac{
U_r^{P,\mathrm{raw}}
}{
A_r^{\mathrm{one}}
}
\sim
\boxed{
\frac{
\log m
}{4}
}.
$$

因此：

## Corollary TCDC-03-C01

在 fixed interior：

$$
1<\rho<\sqrt2,
$$

raw mixed capacity比整個 possible prime-cofactor row還大：

$$
\boxed{
\asymp\log m
}
$$

倍。

---

# 9. Raw Geometry Produces Zero Pressure

因：

$$
n_r\le A_r^{\mathrm{one}},
$$

而 asymptotically：

$$
A_r^{\mathrm{one}}
\ll
U_r^{P,\mathrm{raw}},
$$

所以：

## Barrier TCDC-03-B01

用：

$$
U_r^P
=
U_r^{P,\mathrm{raw}}
$$

時，

high-row forced pressure：

$$
\boxed{
(n_r-U_r^P)_+
}
$$

在 asymptotic interior不可能被逼正。

所以：

$$
\boxed{
\text{pure square geometry gives support,
but does not generate sender pressure.}
}
$$

---

# 10. Aggregate Raw Mixed Capacity

定義：

$$
\boxed{
U_{\ge\lambda}^{P,\mathrm{raw}}
=
\sum_{\substack{
r\in\mathbb P\\
r\ge\lambda\sqrt m
}}
U_r^{P,\mathrm{raw}}.
}
$$

PNT summation給：

## Asymptotic Diagnostic TCDC-03-D03

$$
\boxed{
U_{\ge\lambda}^{P,\mathrm{raw}}
\sim
\frac{
m
}{
\log m
}
J(\lambda).
}
$$

因此：

$$
\boxed{
\frac{
U_{\ge\lambda}^{P,\mathrm{raw}}
}{
A_{\ge\lambda}^{\mathrm{one}}
}
\sim
\frac{
\log m
}{4}.
}
$$

aggregate level仍然差一整個 logarithm。

---

# 11. Brun–Titchmarsh Mixed Prime Upper

mixed state：

$$
x=rp,
$$

$$
q=2m-rp
$$

with：

$$
q\in\mathbb P.
$$

對 fixed：

$$
r,
$$

prime complement必須：

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

以及：

$$
\boxed{
q\le
X_r
=
2m-r^2.
}
$$

若：

$$
r\nmid m,
$$

則 residue reduced。

Brun–Titchmarsh給：

$$
\boxed{
M_{r,0}
\le
\pi(X_r;2m,r)
\le
\frac{
2X_r
}{
(r-1)
\log(X_r/r)
}
}
$$

for：

$$
r<X_r.
$$

---

# 12. High-Row Brun–Titchmarsh Scale

取：

$$
r=\rho\sqrt m,
$$

fixed：

$$
1<\rho<\sqrt2,
$$

且 away from the terminal point where：

$$
X_r/r
$$

becomes bounded。

則：

## Asymptotic Diagnostic TCDC-03-D04

Brun–Titchmarsh envelope主尺度：

$$
\boxed{
U_r^{P,\mathrm{BT}}
\sim
\frac{
4\sqrt m
}{
\log m
}
\left(
\frac2\rho-\rho
\right).
}
$$

---

# 13. The Factor-2 Barrier

D01：

$$
A_r^{\mathrm{one}}
\sim
\frac{
2\sqrt m
}{
\log m
}
\left(
\frac2\rho-\rho
\right).
$$

D04：

$$
U_r^{P,\mathrm{BT}}
\sim
\frac{
4\sqrt m
}{
\log m
}
\left(
\frac2\rho-\rho
\right).
$$

所以：

## Diagnostic TCDC-03-D05

$$
\boxed{
\frac{
U_r^{P,\mathrm{BT}}
}{
A_r^{\mathrm{one}}
}
\to2.
}
$$

這是 classical Brun–Titchmarsh constant：

$$
2
$$

在 mirror-pressure問題中的直接表現。

---

# 14. Best One-Dimensional Upper Still Gives No Pressure

我們永遠也有：

$$
M_{r,0}\le A_r^{\mathrm{one}},
$$

因 mixed states是 row states的 subset。

所以使用 one-dimensional providers時可取：

$$
\boxed{
U_r^{P,1D}
=
\min
\left(
A_r^{\mathrm{one}},
U_r^{P,\mathrm{BT}}
\right).
}
$$

但 D05顯示 high-row interior中：

$$
\boxed{
U_r^{P,\mathrm{BT}}
>
A_r^{\mathrm{one}}
}
$$

asymptotically。

所以：

## Theorem-Match TCDC-03-M01

$$
\boxed{
U_r^{P,1D}
=
A_r^{\mathrm{one}}
}
$$

at main asymptotic scale。

再由：

$$
n_r\le A_r^{\mathrm{one}},
$$

得到：

$$
\boxed{
(n_r-U_r^{P,1D})_+=0
}
$$

at the information level of these bounds。

---

# 15. Meaning of the Factor-2 Barrier

Brun–Titchmarsh只問：

> 有多少 prime：
> $$
> q\equiv2m\pmod r?
> $$

它完全沒有使用：

$$
\boxed{
p=\frac{2m-q}{r}
}
$$

也必須 prime。

所以它是一個：

# One-Form Prime Upper

而 mirror pressure需要：

# Two-State Discrimination

也就是區分：

$$
\boxed{
p\text{ prime},\ q\text{ prime}
}
$$

與：

$$
\boxed{
p\text{ prime},\ q\text{ RootRough semiprime}.
}
$$

---

# 16. Exact Semiprime Pressure

actual row identity：

$$
n_r
=
M_{r,0}
+
i_r.
$$

所以 exact pressure：

$$
\boxed{
\Pi_r
=
i_r
=
n_r-M_{r,0}.
}
$$

這不是 heuristic deficit。

---

# 17. Pressure as a Prime–Semiprime Count

在 cube-root boundary，

若：

$$
r>z,
$$

row endpoint：

$$
x=rp
$$

已是 semiprime，

complement：

$$
y=2m-rp
$$

RootRough。

internal state表示：

$$
y
$$

也是 semiprime。

所以：

## Theorem TCDC-03-T04

$$
\boxed{
\Pi_r
=
\#\left\{
p\in\mathbb P:
p\ge r,
\quad
y=2m-rp=sq,
\quad
s,q\in\mathbb P,
\quad
z<s\le q
\right\}.
}
$$

其中：

$$
s=\operatorname{lpf}(y).
$$

---

# 18. High-Suffix Pressure

定義 exact：

$$
\boxed{
\Pi_{\ge\lambda}(m)
=
\sum_{r\ge\lambda\sqrt m}\Pi_r.
}
$$

由 TCDC-02：

$$
\boxed{
\Pi_{\ge\lambda}(m)
=
I_B(\lambda),
}
$$

即 high-suffix-to-mirror-prefix 的 exact internal transport mass。

所以 mirror cut真正 sender不是：

$$
n_r
$$

本身，

而是：

# Prime $\times$ Semiprime Complement Pressure

---

# 19. Chen-Type Nature of the Pressure

classical Chen theory證明：

> sufficiently large even integer可表示為：
> $$
> \text{prime}+P_2.
> $$

T04 的 pressure同樣要求：

- 一個 prime variable：
  $$
  p;
  $$
- 一個 semiprime / $P_2$ complement：
  $$
  y=2m-rp.
  $$

但本問題更受限：

1. coefficient：
   $$
   r;
   $$
2. $r$ 本身是 high prime label；
3. semiprime complement least factor：
   $$
   s>z;
   $$
4. mirror：
   $$
   s\le\sqrt{2m-r^2}.
   $$

因此：

$$
\boxed{
\text{T04 is Chen-type in polarity,
but Chen's theorem is not a direct provider for it.}
}
$$

---

# 20. Why the Polarity Is Favorable

Goldbach prime-prime target需要：

$$
\boxed{
\text{lower bound on prime}\times\text{prime}.
}
$$

mirror pressure只需要：

$$
\boxed{
\text{lower bound on prime}\times P_2.
}
$$

這正是 sieve theory historically較能做到的方向。

所以 TCDC mirror cut可能把 proof burden從：

# Prime–Prime Positivity

移成：

# Restricted Prime–Semiprime Positivity

再透過 transport contradiction回到 prime-prime target。

這是本方法真正值得保留的 strategic feature。

---

# 21. Receiver Raw Cross Capacity

TCDC-02：

$$
\boxed{
U_{r,s}^{\mathrm{raw}}
=
1+
\left\lfloor
\frac{
2m-r^2-s^2
}{
2rs
}
\right\rfloor
}
$$

inside：

$$
r^2+s^2\le2m.
$$

定義：

$$
\boxed{
C_{\mathrm{cross}}^{\mathrm{raw}}(\lambda)
=
\sum_{\substack{
r\ge\lambda\sqrt m\\
s\le\mathscr S_m(r)
}}
U_{r,s}^{\mathrm{raw}}.
}
$$

---

# 22. Reciprocal-Prime Layer

dominant continuous part：

$$
\frac{
2m-r^2-s^2
}{
2rs
}
$$

對 small / medium：

$$
s
$$

含：

$$
\boxed{
\frac{
2m-r^2
}{
2r
}
\frac1s.
}
$$

而：

$$
s
$$

range從 cube-root：

$$
z\asymp m^{1/3}
$$

到 fixed fraction of：

$$
\sqrt m.
$$

PNT + partial summation給：

## Asymptotic Diagnostic TCDC-03-D06

$$
\boxed{
\sum_{\substack{
s\in\mathbb P\\
m^{1/3+o(1)}<s<c\sqrt m
}}
\frac1s
\to
\log\frac32
}
$$

for fixed：

$$
c>0.
$$

boundary layers不影響 leading fixed-$\lambda$ diagnosis。

---

# 23. Raw Cross Capacity Scale

由 D06 與 PNT summation over high：

$$
r,
$$

得到 leading scale：

## Asymptotic Diagnostic TCDC-03-D07

$$
\boxed{
C_{\mathrm{cross}}^{\mathrm{raw}}(\lambda)
\asymp
\frac{
m
}{
\log m
}
}
$$

for fixed：

$$
1<\lambda<\sqrt2.
$$

更精細 dominant coefficient形式：

$$
\boxed{
C_{\mathrm{cross}}^{\mathrm{raw}}(\lambda)
\approx
J(\lambda)
\log\frac32
\frac{
m
}{
\log m
}
}
$$

up to lower-order terms and boundary corrections。

---

# 24. Cross Capacity Is One Log Too Large

D02：

$$
A_{\ge\lambda}^{\mathrm{one}}
\asymp
\frac{
m
}{
\log^2m
}.
$$

D07：

$$
C_{\mathrm{cross}}^{\mathrm{raw}}
\asymp
\frac{
m
}{
\log m
}.
$$

所以：

## Barrier TCDC-03-B02

$$
\boxed{
\frac{
C_{\mathrm{cross}}^{\mathrm{raw}}
}{
A_{\ge\lambda}^{\mathrm{one}}
}
\asymp
\log m.
}
$$

因此 raw cross-cell lattice capacity完全不可能成為 main-scale tight receiver bound。

---

# 25. Broad Mirror Prefix Has a Different Scale

mirror prefix：

$$
z<s\le\mu\sqrt m.
$$

這跨越：

$$
m^{1/3}
$$

到：

$$
m^{1/2}
$$

的 multiplicative factor-depth band。

若完全忽略 opposite RootRough condition，

one-sided semiprime candidate count在 PNT scale自然為：

$$
\boxed{
m/\log m,
}
$$

而不是 high-suffix：

$$
m/\log^2m.
$$

這是因：

> prefix least factor跨過 fixed exponent interval，
> 而 high suffix只佔 square-root附近的 constant-multiple boundary layer。

---

# 26. Receiver Log Gap

因此若 receiver只使用：

- one-sided semiprime candidate mass；
- raw cross capacity；

其 scale：

$$
\boxed{
m/\log m.
}
$$

而 high-suffix sender maximal candidate scale只有：

$$
\boxed{
m/\log^2m.
}
$$

所以：

## Barrier TCDC-03-B03

$$
\boxed{
\text{mirror receiver requires at least one additional logarithmic compression
before the cut can become main-scale competitive.}
}
$$

---

# 27. Where the Missing Receiver Log Can Come From

actual prefix row：

$$
n_s
$$

不只是：

$$
sp
$$

semiprime。

還要求 opposite endpoint：

$$
2m-sp
$$

為：

$$
\operatorname{RootRough}_z.
$$

對 dimension-1 roughness heuristic，

這通常帶來：

$$
\asymp1/\log z
\asymp
1/\log m
$$

density loss。

所以 heuristic scale：

$$
m/\log m
\to
m/\log^2m.
$$

但：

$$
\boxed{
\text{這個額外 log saving必須由 rigorous sieve / RootRough provider證明。}
}
$$

不能由 geometry自動取得。

---

# 28. Two Independent Missing Gains

mirror cut要 crossing至少需要兩種 analytic gain。

## Gain S — Sender Pressure

證：

$$
\boxed{
\Pi_{\ge\lambda}
}
$$

有 positive lower bound。

等價於：

> high semiprime rows中有足夠多 complement是 semiprime，
> 不能全部被 prime sink吸收。

## Gain R — Receiver Compression

證：

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

只有：

$$
m/\log^2m
$$

級甚至更小，

而不是 raw：

$$
m/\log m.
$$

---

# 29. Geometry Alone Gives Neither Gain

### Sender

raw mixed：

$$
\gg n_r.
$$

Brun–Titchmarsh：

$$
\sim2\times
\text{whole candidate row}.
$$

所以沒有 forced pressure。

### Receiver

raw cross / broad prefix：

$$
m/\log m.
$$

比 sender scale大一個 log。

因此：

## Theorem-Match TCDC-03-M02

$$
\boxed{
\text{pure square-budget geometry does not asymptotically close the mirror cut.}
}
$$

它提供：

- exact support；
- exact duality；
- correct cut architecture；

但不是 quantitative closure本身。

---

# 30. Mirror Cut Becomes an Analytic Interface

TCDC-02 certificate：

$$
\boxed{
\Pi_{\ge\lambda}
>
C_{\mathrm{mir}}(\lambda)
}
$$

現在可以理解成：

# Almost-Prime Lower Bound vs Rough-Receiver Upper Bound

這比原始：

# Prime-Pair Lower Bound

有不同的 polarity。

---

# 31. Sender Pressure Provider Contract

定義：

$$
\boxed{
L_\Pi(\lambda,m)
\le
\Pi_{\ge\lambda}(m).
}
$$

理想形式：

$$
\boxed{
L_\Pi(\lambda,m)
=
c_\Pi(\lambda)
\frac{
m
}{
(\log m)^2
}
+
o
\left(
\frac{
m
}{
\log^2m
}
\right),
}
$$

with：

$$
c_\Pi(\lambda)>0.
$$

注意：

> $m/\log^2m$ 只是 target scale，
> 本輪沒有證明此 asymptotic lower。

---

# 32. Receiver Provider Contract

定義：

$$
\boxed{
C_{\mathrm{mir}}(\lambda,m)
\le
U_{\mathrm{mir}}(\lambda,m).
}
$$

理想：

$$
\boxed{
U_{\mathrm{mir}}(\lambda,m)
=
c_{\mathrm{mir}}(\lambda)
\frac{
m
}{
(\log m)^2
}
+
o
\left(
\frac{
m
}{
\log^2m
}
\right).
}
$$

若：

$$
\boxed{
c_\Pi(\lambda)
>
c_{\mathrm{mir}}(\lambda),
}
$$

則 sufficiently large：

$$
m
$$

時 mirror cut closes。

---

# 33. Asymptotic Mirror Closure Criterion

## Theorem Template TCDC-03-T05

若存在 fixed：

$$
1<\lambda<\sqrt2
$$

與 constants：

$$
c_\Pi(\lambda),
$$

$$
c_{\mathrm{mir}}(\lambda)
$$

使：

$$
\Pi_{\ge\lambda}
\ge
\left(
c_\Pi(\lambda)-o(1)
\right)
\frac{
m
}{
\log^2m
},
$$

$$
C_{\mathrm{mir}}
\le
\left(
c_{\mathrm{mir}}(\lambda)+o(1)
\right)
\frac{
m
}{
\log^2m
},
$$

且：

$$
\boxed{
c_\Pi(\lambda)
>
c_{\mathrm{mir}}(\lambda),
}
$$

則：

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

for all sufficiently large：

$$
m.
$$

這只是 conditional closure theorem。

---

# 34. Constant Deficit

定義：

$$
\boxed{
\delta_{\mathrm{mir}}(\lambda)
=
c_\Pi(\lambda)
-
c_{\mathrm{mir}}(\lambda).
}
$$

TCDC target：

$$
\boxed{
\sup_{1<\lambda<\sqrt2}
\delta_{\mathrm{mir}}(\lambda)
>0.
}
$$

這是 TCDC-02 geometric cut的 analytic normalization。

---

# 35. Why $\lambda$ Optimization Matters

當：

$$
\lambda\to1^+,
$$

sender suffix大，

但 receiver mirror prefix也大：

$$
\mu\to1^-.
$$

當：

$$
\lambda\to\sqrt2^-,
$$

receiver快速縮小，

但 sender candidate constant：

$$
J(\lambda)\to0.
$$

所以：

$$
\boxed{
\text{mirror closure若存在，應在 interior }\lambda
\text{ 達到 balance。}
}
$$

這和 fixed-point / dual-boundary optimization非常符合 TCDC 直覺。

---

# 36. Square-Mirror Differential Relation

$$
\mu(\lambda)
=
\sqrt{
2-\lambda^2
}.
$$

所以：

$$
\boxed{
\mu'(\lambda)
=
-\frac{
\lambda
}{
\mu
}.
}
$$

receiver boundary對：

$$
\lambda
$$

在接近：

$$
\sqrt2
$$

時變化非常快。

而 sender shape：

$$
J'(\lambda)
=
-\left(
\frac2\lambda-\lambda
\right).
$$

因此：

$$
\boxed{
J'(\lambda)\to0
}
$$

as：

$$
\lambda\to\sqrt2.
$$

這顯示 endpoint附近：

- sender已非常稀；
- mirror位置卻高度敏感。

不宜只靠 endpoint cap。

---

# 37. Terminal High Cap Reinterpreted

TCDC-02：

$$
r>
\sqrt{
2m-p_z^2
}
$$

時：

$$
i_r=0.
$$

所以最頂端 row其實沒有 semiprime pressure：

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

因此 sender pressure不可能靠：

> 最靠近 $\sqrt{2m}$ 的 extreme rows

產生。

真正 pressure必須來自：

$$
\boxed{
\sqrt m<r<
\sqrt{
2m-p_z^2
}.
}
$$

這再次支持 interior optimization。

---

# 38. Pressure Is Exactly the Quantity Geometry Could Not See

raw square geometry只知道：

$$
y=2m-rp
$$

有沒有空間成為：

- prime；
- semiprime。

它不區分兩者。

但：

$$
\Pi_r
$$

正是：

$$
\boxed{
\text{RootRough complement中的 semiprime branch mass}.
}
$$

所以 TCDC-03將 mirror route的 missing information壓成：

# Branch-Mass Separation

---

# 39. Relation to TCDC-00

無限根式方法論中：

- fixed-point compatibility；
- branch condition；
- basin closure；

不能混為一談。

這裡同理：

- square-budget compatibility：
  $$
  r^2+s^2\le2m;
  $$
- RootRough branch：
  $$
  \text{prime or semiprime};
  $$
- branch mass：
  $$
  \text{how much prime vs semiprime};
  $$

不能只靠 compatibility決定。

所以：

$$
\boxed{
\text{TCDC mirror geometry gives the branch domain,
not the branch distribution.}
}
$$

這是本輪最重要的方法論回應。

---

# 40. A Natural Branch-Imbalance Variable

定義 high row：

$$
\boxed{
\beta_r
=
\frac{
M_{r,0}
}{
n_r
}
}
$$

when：

$$
n_r>0.
$$

則：

$$
\boxed{
1-\beta_r
=
\frac{
\Pi_r
}{
n_r
}.
}
$$

mirror pressure：

$$
\boxed{
\Pi_{\ge\lambda}
=
\sum_{r\ge\lambda\sqrt m}
(1-\beta_r)n_r.
}
$$

所以 sender problem可改寫成：

> 證 high rows不可能有：
> $$
> \beta_r\approx1
> $$
> globally。

---

# 41. Prime-Sink Saturation Is the Failure Fixed Condition

Goldbach failure希望：

> 盡可能多 semiprime rows和 prime endpoints配對，
> 以消除 prime-prime cell。

對 high suffix而言：

$$
\boxed{
\beta_r=1
}
$$

表示 row完全被 prime sink吸收。

TCDC mirror pressure要證：

$$
\boxed{
\text{high suffix不能全體維持 }\beta_r=1.
}
$$

這是：

# Prime-Sink Saturation Non-Closure

---

# 42. One-Dimensional Prime Theorems Cannot Break Saturation

Brun–Titchmarsh upper只限制：

$$
M_{r,0}
$$

的 absolute progression capacity。

但 D05顯示其 bound甚至比：

$$
n_r
$$

可達的 total candidate scale更大。

所以：

$$
\boxed{
\text{it cannot show }\beta_r<1.
}
$$

要破 saturation，

需要 joint information involving：

$$
\boxed{
p\text{ and }2m-rp
}
$$

simultaneously。

---

# 43. Two Candidate Analytic Routes

## Route A — Positive Semiprime Pressure

直接 lower-bound：

$$
\Pi_r
$$

或：

$$
\Pi_{\ge\lambda}.
$$

這是：

- prime；
- RootRough semiprime；

的 lower-sieve problem。

## Route B — Negative Prime-Sink Saturation

upper-bound：

$$
M_{r,0}
$$

by a genuine two-prime sieve：

$$
\boxed{
M_{r,0}
<
(1-\delta)n_r
}
$$

on enough row mass。

這仍需：

$$
n_r
$$

的 lower information。

---

# 44. Route A Is Structurally Closer to Chen

Chen-type sieve直接擅長：

$$
\boxed{
\text{prime}+P_2
}
$$

positive lower bound。

所以在 polarity上：

$$
\boxed{
\text{Route A}
}
$$

比：

$$
\boxed{
\text{direct prime-prime lower}
}
$$

更接近已知 almost-prime technology。

但本問題有 coefficient / least-factor / mirror restrictions，

所以需要專門版本。

---

# 45. Proposed New Provider — HSP

定義：

# HSP
## High-Suffix Semiprime Pressure

希望證：

對某 fixed：

$$
1<\lambda<\sqrt2,
$$

$$
\boxed{
\Pi_{\ge\lambda}(m)
\ge
c_\Pi(\lambda)
\frac{
m
}{
(\log m)^2
}
}
$$

for all sufficiently large：

$$
m,
$$

或至少某個可用 positive main term。

這是 TCDC mirror route真正的 sender theorem。

---

# 46. Proposed Receiver Provider — MRC

定義：

# MRC
## Mirror Receiver Compression

希望證：

$$
\boxed{
C_{\mathrm{mir}}(\lambda,m)
\le
c_{\mathrm{mir}}(\lambda)
\frac{
m
}{
(\log m)^2
}
}
$$

with：

$$
c_{\mathrm{mir}}<c_\Pi.
$$

MRC可來自：

- RootRough filtering；
- prefix prime usage；
- internal cell prime constraints；
- transport saturation；
- recursive diagonal structure。

---

# 47. HSP + MRC Closure

## Theorem Template TCDC-03-T06

若：

$$
\boxed{
\mathrm{HSP}(\lambda,c_\Pi)
}
$$

與：

$$
\boxed{
\mathrm{MRC}(\lambda,c_{\mathrm{mir}})
}
$$

成立，

且：

$$
c_\Pi>c_{\mathrm{mir}},
$$

則：

$$
\boxed{
\text{Goldbach success for all sufficiently large }2m.
}
$$

finite remaining range可獨立 computationally驗證。

---

# 48. Raw-Capacity No-Go Is Valuable

雖然本輪沒有 closure，

但它排除了一條浪費時間的路：

$$
\boxed{
\text{只精修 square geometry / odd-slot counting
不可能讓 mirror pressure出現。}
}
$$

真正研究資源應轉向：

- prime-to-$P_2$ pressure；
- RootRough filtering；
- joint correlations。

---

# 49. PNT / BT External Benchmarks

本輪 external benchmark只使用非常標準的兩件事：

### Prime Number Theorem

$$
\boxed{
\pi(x)\sim\frac{x}{\log x}.
}
$$

用於 scale diagnostics。

### Brun–Titchmarsh

對：

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

$$
q<x,
$$

$$
\boxed{
\pi(x;a,q)
\le
\frac{
2x
}{
\varphi(q)\log(x/q)
}.
}
$$

其 sieve constant：

$$
2
$$

正是 D05 factor-2 barrier的來源。

---

# 50. Chen Benchmark

classical Chen theorem證明 sufficiently large even integer可以寫成：

$$
\boxed{
p+P_2.
}
$$

因此：

$$
\boxed{
\text{positive prime–almost-prime lower bounds are possible
with sufficiently refined weighted sieve technology}.
}
$$

本輪只用此作 polarity benchmark。

不宣稱 Chen theorem直接推出 HSP。

---

# 51. Formal Theorem Queue

```yaml
TCDC_03:

  T01:
    row_mass_le_one_sided_prime_cofactor_count

  T02:
    high_suffix_shape_integral_J

  T03:
    raw_mixed_row_scale

  T04:
    exact_semiprime_pressure_as_prime_times_semiprime_count

  T05:
    conditional_asymptotic_mirror_closure

  T06:
    HSP_plus_MRC_closure
```

---

# 52. Diagnostic Queue

```yaml
TCDC_03_Diagnostics:

  D01:
    one_sided_prime_cofactor_row:
      2*sqrt(m)/log(m)*(2/rho-rho)

  D02:
    high_suffix_candidate_mass:
      4*m/log(m)^2*J(lambda)

  D03:
    raw_mixed_suffix_capacity:
      m/log(m)*J(lambda)

  D04:
    Brun_Titchmarsh_row_envelope:
      4*sqrt(m)/log(m)*(2/rho-rho)

  D05:
    BT_to_candidate_ratio:
      2

  D06:
    reciprocal_prime_band:
      log(3/2)

  D07:
    raw_cross_capacity:
      order:
        m/log(m)
```

---

# 53. Barrier Queue

```yaml
TCDC_03_Barriers:

  B01:
    raw_mixed_capacity_too_large_by_log

  B02:
    raw_cross_capacity_too_large_by_log

  B03:
    broad_prefix_receiver_too_large_without_RootRough_filter

  B04:
    Brun_Titchmarsh_one_form_upper_cannot_create_pressure

  B05:
    HSP_positive_lower_not_proved

  B06:
    MRC_main_scale_upper_not_proved
```

---

# 54. Acceptance Gate

TCDC-03 formal core前需：

1. fixed $\lambda$ away from endpoint when using PNT row asymptotics；
2. one-sided candidate distinct from actual $n_r$；
3. raw mixed capacity ratio；
4. Brun–Titchmarsh only as upper bound；
5. factor-2 result labeled asymptotic diagnostic；
6. pressure identity exact；
7. Chen analogy not treated as provider；
8. raw cross $m/\log m$ diagnosis separated from exact theorem；
9. receiver log gap clearly identified；
10. HSP / MRC conditional only；
11. no uniform positive pressure claim；
12. no Goldbach proof claim。

---

# 55. Verdict

本輪可以正式給：

$$
\boxed{
\mathrm{TCDC\mbox{-}03\ MIRROR\mbox{-}PRESSURE\ BARRIER\ PASS}.
}
$$

最重要 negative result：

$$
\boxed{
\text{pure square geometry cannot generate high-suffix pressure}.
}
$$

原因：

### Raw mixed

$$
\boxed{
U_r^{P,\mathrm{raw}}
/
A_r^{\mathrm{one}}
\sim
\log m/4.
}
$$

### Brun–Titchmarsh

$$
\boxed{
U_r^{P,\mathrm{BT}}
/
A_r^{\mathrm{one}}
\to2.
}
$$

所以 one-dimensional mixed upper仍無法逼：

$$
\boxed{
\Pi_r>0.
}
$$

receiver side同時有：

$$
\boxed{
C_{\mathrm{cross}}^{\mathrm{raw}}
\asymp
m/\log m,
}
$$

比 high-suffix candidate sender：

$$
\boxed{
m/\log^2m
}
$$

大一個 logarithm。

因此 mirror cut真正缺：

$$
\boxed{
\text{HSP: High-Suffix Semiprime Pressure}
}
$$

加：

$$
\boxed{
\text{MRC: Mirror Receiver Compression}.
}
$$

而 exact pressure：

$$
\boxed{
\Pi_r
=
\#\{
p\text{ prime}:
2m-rp
\text{ is RootRough semiprime}
\}
}
$$

揭示：

> mirror route的正向 analytic burden是：
> **restricted prime-to-$P_2$ lower bound**，
> 而不是直接 prime-pair lower bound。

這是和 Chen-type sieve最接近的 polarity接口。

但：

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

$$
\boxed{
\mathrm{MRC\ NOT\ YET\ PROVED}.
}
$$

以及：

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

---

# 56. 下一輪建議

# TCDC-04
## High-Suffix $P_2$ Pressure / Chen-Type Weighted Closure

下一輪不再加 geometric capacity。

直接攻 HSP。

### Part A — Pressure Sequence

固定：

$$
r=\rho\sqrt m
$$

研究：

$$
p\in\mathbb P,
$$

$$
y=2m-rp.
$$

希望 lower-bound：

$$
\boxed{
y=P_2,
\quad
\operatorname{lpf}(y)>z.
}
$$

### Part B — Weighted Sieve

建立：

- prime cofactor base sequence；
- opposite linear form；
- cube-root RootRough cutoff；
- semiprime branch extraction。

### Part C — Least-Factor Localization

再加入：

$$
s\le\mathscr S_m(r)
$$

與：

$$
s>z.
$$

### Part D — Aggregate High Suffix

不要逐 $r$ 要 positive。

直接在：

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

aggregate，

利用 prime-$r$ averaging。

### Part E — Constant Target

求：

$$
c_\Pi(\lambda)
$$

並和未來 MRC constant比較。

這會是真正測試：

> TCDC mirror route是否能把 Chen-type almost-prime positivity
> 轉成 Goldbach failure non-closure。

---

# 附錄 A：High-Suffix Shape Constant

```yaml
J_lambda:
  formula:
    log(2)-1-2*log(lambda)+lambda^2/2

one_sided_candidate_mass:
  asymptotic:
    4*m/log(m)^2 * J_lambda

raw_mixed_mass:
  asymptotic:
    m/log(m) * J_lambda

ratio_raw_to_candidate:
  asymptotic:
    log(m)/4
```

---

# 附錄 B：Brun–Titchmarsh Barrier

```yaml
row:
  r:
    rho*sqrt(m)

candidate_prime_cofactor:
  asymptotic:
    2*sqrt(m)/log(m)*(2/rho-rho)

BT_mixed_upper:
  asymptotic:
    4*sqrt(m)/log(m)*(2/rho-rho)

ratio:
  2

consequence:
  one_dimensional_prime_AP_upper:
    cannot_force_internal_pressure: true
```

---

# 附錄 C：Exact Pressure

```yaml
Pi_r:
  equals:
    internal_SS_row_mass

count:
  p:
    prime
    p >= r

  y:
    2m-r*p

  y_factorization:
    s*q

  s:
    prime
    s > z

  q:
    prime
    q >= s

mirror:
  s <= sqrt(2m-r^2)
```

---

# 附錄 D：Mirror Closure Contract

```yaml
HSP:
  Pi_suffix:
    >= c_Pi(lambda)*m/log(m)^2

MRC:
  mirror_capacity:
    <= c_mir(lambda)*m/log(m)^2

if:
  c_Pi(lambda) > c_mir(lambda)

then:
  failure_polytope:
    empty

  Goldbach:
    success_for_sufficiently_large_m
```

---

# 附錄 E：Commit Decision

```yaml
research_round:
  TCDC-03

decision:

  pure_geometry_closure:
    false

  raw_mixed_pressure:
    zero_information

  Brun_Titchmarsh_pressure:
    insufficient

  raw_receiver_capacity:
    one_log_too_large

  exact_semiprime_pressure_object:
    formalized

  HSP_target:
    formalized

  MRC_target:
    formalized

  Goldbach_proved:
    false

next:
  TCDC-04_HighSuffix_P2Pressure_ChenType_Weighted_Closure
```

---

# References / External Benchmarks

1. **Prime number theorem.**  
   Used only for asymptotic scale diagnostics such as:
   $$
   \pi(x)\sim x/\log x.
   $$

2. **Brun–Titchmarsh theorem.**  
   For reduced residue $a\bmod q$:
   $$
   \pi(x;a,q)
   \le
   \frac{
   2x
   }{
   \varphi(q)\log(x/q)
   }.
   $$
   The classical sieve constant $2$ is exactly the source of the high-row factor-2 diagnostic in this round.

3. **Chen's theorem.**  
   Every sufficiently large even integer is representable as a prime plus a number with at most two prime factors.  
   Used only as a polarity / technology benchmark showing that positive prime-to-$P_2$ lower bounds are accessible to sufficiently refined weighted sieve methods; no direct implication for HSP is claimed.