# TCDC-02
## Prime-Square Capacity Cuts / Geometric Suffix Closure
### 平方預算鏡像、High-Suffix / Low-Prefix 對偶、Prime-Sink Shrinkage、Raw Cell Capacity 與 Failure Cut Certificates

**母方法論：** TCDC — Target–Condition Dual Closure  
**對接研究線：** RG-SCP / SRBRD  
**輪次：** TCDC-02  
**日期：** 2026-10-02  
**版本：** v0.1  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**性質：** Exact Geometric Cut Kernel / Failure-Polytope Pruning / Prime-Square Duality  
**前置：** TCDC-00 ～ TCDC-01；SRBRD-00 ～ SRBRD-26  
**狀態：** 建立 high-suffix / low-prefix mirror cut、elementary mixed/internal raw capacities 與 square-budget involution；未得到 uniform positive cut deficit；Goldbach仍未證明

---

# 0. 本輪目標

TCDC-01 已將 Goldbach failure寫成 symmetric integer transport feasibility problem。

對 semiprime least-factor labels：

$$
r,s>z,
$$

failure variables：

$$
x_r=M_{r,0},
$$

$$
y_{r,s}=M_{r,s},
$$

必須滿足：

$$
\sum_rx_r=n_P,
$$

$$
x_r+\sum_sy_{r,s}=n_r,
$$

$$
y_{r,s}=y_{s,r},
$$

並受 arithmetic capacities限制。

本輪不引入新的 deep sieve theorem。

只使用兩個 elementary square-budget facts：

$$
\boxed{
\text{mixed prime partner }q
\le
2m-r^2,
}
$$

以及：

$$
\boxed{
M_{r,s}>0
\Longrightarrow
r^2+s^2\le2m.
}
$$

目標：

> 對 large-$r$ suffix 建立一個真正的 failure cut：
> large rows若不能流向 prime sink，
> 又沒有足夠 low-label receiver，
> failure polytope就為空。

---

# 1. Label Domain

令：

$$
N=2m,
$$

並在 cube-root boundary：

$$
z^3\ge2m-3
$$

下工作。

active semiprime label set：

$$
\boxed{
\mathcal R_m
=
\left\{
r\in\mathbb P:
r>z,
\quad
n_r>0
\right\}.
}
$$

若做 proof-admissible outer approximation，

也可改用較大的 potential label set：

$$
\boxed{
\widetilde{\mathcal R}_m
=
\left\{
r\in\mathbb P:
r>z,
\quad
r^2\le2m-3
\right\}.
}
$$

所有 theorem若以：

$$
\widetilde{\mathcal R}_m
$$

證明，

對 actual：

$$
\mathcal R_m
$$

自然仍成立。

---

# 2. Square-Budget Mirror

定義 continuous map：

$$
\boxed{
\mathscr S_m(r)
=
\sqrt{
2m-r^2
}
}
$$

for：

$$
0\le r\le\sqrt{2m}.
$$

這是：

# Square-Budget Mirror

---

# 3. Mirror Is an Involution

## Theorem TCDC-02-T01

$$
\boxed{
\mathscr S_m(\mathscr S_m(r))=r.
}
$$

proof：

$$
\mathscr S_m(\mathscr S_m(r))
=
\sqrt{
2m-(2m-r^2)
}
=
r.
$$

所以：

$$
\mathscr S_m
$$

是 involution。

---

# 4. Mirror Is Decreasing

對：

$$
0<r<\sqrt{2m},
$$

$$
\boxed{
\mathscr S_m'(r)
=
-\frac{
r
}{
\sqrt{2m-r^2}
}
<0.
}
$$

所以：

$$
\mathscr S_m
$$

嚴格遞減。

---

# 5. Unique Self-Dual Point

fixed point滿足：

$$
r=\mathscr S_m(r).
$$

所以：

$$
r^2=2m-r^2,
$$

即：

## Theorem TCDC-02-T02

$$
\boxed{
r=\sqrt m.
}
$$

因此：

$$
\boxed{
\sqrt m
}
$$

是 square-budget mirror 的唯一 positive self-dual point。

---

# 6. Internal Support in Mirror Form

SRBRD/TCDC-01：

$$
M_{r,s}>0
\Longrightarrow
r^2+s^2\le2m.
$$

等價：

## Theorem TCDC-02-T03

$$
\boxed{
M_{r,s}>0
\Longrightarrow
s\le\mathscr S_m(r).
}
$$

由 symmetry：

$$
\boxed{
r\le\mathscr S_m(s).
}
$$

所以：

> internal semiprime transport只能落在 square-budget mirror下方。

---

# 7. Normalized Quarter Disk

令：

$$
u=\frac r{\sqrt{2m}},
$$

$$
v=\frac s{\sqrt{2m}}.
$$

則 support：

$$
\boxed{
u^2+v^2\le1.
}
$$

mirror：

$$
\boxed{
v\le\sqrt{1-u^2}.
}
$$

self-dual point：

$$
\boxed{
u=v=\frac1{\sqrt2}.
}
$$

也就是：

$$
r=s=\sqrt m.
$$

---

# 8. High-Suffix / Low-Prefix Duality

取 threshold：

$$
\boxed{
R>\sqrt m.
}
$$

定義 high suffix：

$$
\boxed{
B_R
=
\left\{
r\in\mathcal R_m:
r\ge R
\right\}.
}
$$

定義 mirror threshold：

$$
\boxed{
S_R
=
\mathscr S_m(R)
=
\sqrt{
2m-R^2
}.
}
$$

因：

$$
R>\sqrt m,
$$

有：

$$
\boxed{
S_R<\sqrt m<R.
}
$$

定義 mirror prefix：

$$
\boxed{
P_R
=
\left\{
s\in\mathcal R_m:
s\le S_R
\right\}.
}
$$

---

# 9. No High–High Internal Cell

若：

$$
r,s\in B_R,
$$

則：

$$
r,s\ge R>\sqrt m.
$$

所以：

$$
r^2+s^2
\ge
2R^2
>
2m.
$$

因此：

## Theorem TCDC-02-T04

$$
\boxed{
r,s\in B_R
\Longrightarrow
M_{r,s}=0.
}
$$

所以 high suffix不能在自己內部形成：

$$
SS
$$

transport。

---

# 10. Mirror Confinement

若：

$$
r\in B_R
$$

且：

$$
M_{r,s}>0,
$$

則：

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

因：

$$
r\ge R
$$

而：

$$
\mathscr S_m
$$

decreasing，

所以：

$$
\mathscr S_m(r)
\le
\mathscr S_m(R)
=
S_R.
$$

因此：

## Theorem TCDC-02-T05

$$
\boxed{
r\in B_R,
\quad
M_{r,s}>0
\Longrightarrow
s\in P_R.
}
$$

也就是：

# High-Suffix Internal Mass Can Only Flow to the Mirror Prefix

---

# 11. Exact High-Suffix Internal Identity

定義：

$$
i_r
=
\sum_sM_{r,s}.
$$

suffix internal mass：

$$
\boxed{
I_B(R)
=
\sum_{r\in B_R}i_r.
}
$$

由 T04–T05：

## Theorem TCDC-02-T06

$$
\boxed{
I_B(R)
=
\sum_{\substack{
r\in B_R\\
s\in P_R
}}
M_{r,s}.
}
$$

---

# 12. Symmetric Receiver Identity

因：

$$
M_{r,s}=M_{s,r},
$$

T06也可寫：

$$
I_B(R)
=
\sum_{\substack{
s\in P_R\\
r\in B_R
}}
M_{s,r}.
$$

因此：

## Theorem TCDC-02-T07

$$
\boxed{
I_B(R)
\le
\sum_{s\in P_R}i_s
\le
\sum_{s\in P_R}n_s.
}
$$

這是最基本：

# Mirror Receiver Bound

---

# 13. Mixed Prime-Sink Capacity

對 row：

$$
r,
$$

定義 actual mixed mass：

$$
c_r=M_{r,0}.
$$

取任何 rigorous upper：

$$
\boxed{
c_r\le U_r^P.
}
$$

則：

$$
i_r=n_r-c_r
$$

給：

## Theorem TCDC-02-T08

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

---

# 14. High-Suffix Forced Internal Demand

定義：

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

由 T08：

$$
\boxed{
I_B(R)\ge D_B(R).
}
$$

所以：

## Theorem TCDC-02-T09

任何 failure transport都必須滿足：

$$
\boxed{
D_B(R)
\le
\sum_{s\in P_R}n_s.
}
$$

for every：

$$
R>\sqrt m.
$$

---

# 15. First Mirror Deficit

定義：

$$
\boxed{
\Delta_{\mathrm{mir},0}(R)
=
D_B(R)
-
\sum_{s\in P_R}n_s.
}
$$

若：

$$
\boxed{
\Delta_{\mathrm{mir},0}(R)>0,
}
$$

則：

## Corollary TCDC-02-C01

$$
\boxed{
\text{failure polytope empty}
\Longrightarrow
M_{PP}>0.
}
$$

這是第一個：

# High-Suffix / Low-Prefix Mirror Cut Certificate

---

# 16. Prime Sink Saturation Sharpens the Receiver

failure要求：

$$
\boxed{
\sum_{r\in\mathcal R_m}c_r=n_P.
}
$$

對 mirror prefix：

$$
P_R,
$$

有：

$$
\sum_{s\in P_R}c_s
=
n_P
-
\sum_{r\notin P_R}c_r.
$$

而：

$$
c_r\le U_r^P.
$$

所以：

## Theorem TCDC-02-T10

$$
\boxed{
\sum_{s\in P_R}c_s
\ge
L_P(R)
}
$$

其中：

$$
\boxed{
L_P(R)
=
\left(
n_P
-
\sum_{r\notin P_R}
U_r^P
\right)_+.
}
$$

---

# 17. Receiver Capacity After Prime Usage

prefix internal mass：

$$
\sum_{s\in P_R}i_s
=
\sum_{s\in P_R}(n_s-c_s).
$$

由 T10：

## Theorem TCDC-02-T11

$$
\boxed{
\sum_{s\in P_R}i_s
\le
C_{\mathrm{recv}}(R)
}
$$

其中：

$$
\boxed{
C_{\mathrm{recv}}(R)
=
\sum_{s\in P_R}n_s
-
L_P(R).
}
$$

若：

$$
L_P(R)
>
\sum_{s\in P_R}n_s,
$$

failure已直接不可能。

---

# 18. Sharp Mirror Receiver Cut

結合：

$$
D_B(R)\le I_B(R)
$$

與 T11：

## Theorem TCDC-02-T12

failure必要：

$$
\boxed{
D_B(R)
\le
C_{\mathrm{recv}}(R).
}
$$

所以定義：

$$
\boxed{
\Delta_{\mathrm{mir},1}(R)
=
D_B(R)
-
C_{\mathrm{recv}}(R).
}
$$

若：

$$
\boxed{
\Delta_{\mathrm{mir},1}(R)>0,
}
$$

failure impossible。

---

# 19. Elementary Raw Mixed Slots

現在建立完全不使用 prime distribution 的：

$$
U_r^P.
$$

row：

$$
r
$$

semiprime endpoint：

$$
x=rp,
$$

其中：

$$
p\ge r
$$

odd prime。

先只保留 odd condition，

寫：

$$
\boxed{
p=r+2a,
\qquad
a\in\mathbb Z_{\ge0}.
}
$$

mixed prime partner：

$$
q=2m-rp.
$$

因此：

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

---

# 20. Raw Mixed Capacity

要求：

$$
q\ge3.
$$

所以：

$$
a
\le
\frac{
2m-r^2-3
}{
2r
}.
$$

因此：

## Theorem TCDC-02-T13

actual mixed mass滿足：

$$
\boxed{
M_{r,0}
\le
U_r^{P,\mathrm{raw}}
}
$$

其中：

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

這只是計 odd cofactor slots，

所以是 proof-admissible elementary upper bound。

---

# 21. Raw Mixed Capacity Is Geometrically Decreasing

continuous envelope：

$$
f_m(r)
=
1+
\frac{
2m-r^2-3
}{
2r
}
$$

$$
=
1+
\frac mr
-
\frac r2
-
\frac3{2r}.
$$

其 derivative：

$$
\boxed{
f_m'(r)
=
-\frac12
-
\frac{
m-3/2
}{
r^2
}
<0
}
$$

for：

$$
m\ge3.
$$

所以 large：

$$
r
$$

的 raw prime-sink slots單調下降。

---

# 22. Distinct Internal Cell Parameterization

取：

$$
r\neq s.
$$

若：

$$
M_{r,s}>0,
$$

則：

$$
x=rp,
$$

$$
y=sq,
$$

with：

$$
p\ge r,
$$

$$
q\ge s,
$$

odd primes。

寫：

$$
\boxed{
p=r+2a,
}
$$

$$
\boxed{
q=s+2b,
}
$$

其中：

$$
a,b\ge0.
$$

由：

$$
rp+sq=2m,
$$

得到：

## Theorem TCDC-02-T14

$$
\boxed{
ra+sb
=
L_{r,s},
}
$$

其中：

$$
\boxed{
L_{r,s}
=
\frac{
2m-r^2-s^2
}{2}.
}
$$

---

# 23. Distinct Raw Cell Capacity

對 distinct primes：

$$
r,s,
$$

有：

$$
\gcd(r,s)=1.
$$

nonnegative solutions：

$$
ra+sb=L
$$

中，

若固定一個 solution，

其它：

$$
a
$$

以 step：

$$
s
$$

變化。

且：

$$
0\le a\le L/r.
$$

所以 solution數不超過：

$$
1+\left\lfloor
\frac{
L
}{
rs
}
\right\rfloor.
$$

因此：

## Theorem TCDC-02-T15

對：

$$
r\neq s,
$$

$$
\boxed{
M_{r,s}
\le
U_{r,s}^{\mathrm{raw}}
}
$$

其中：

$$
\boxed{
U_{r,s}^{\mathrm{raw}}
=
\begin{cases}
0,
&
r^2+s^2>2m,
\\
1+
\left\lfloor
\dfrac{
2m-r^2-s^2
}{
2rs
}
\right\rfloor,
&
r^2+s^2\le2m.
\end{cases}
}
$$

---

# 24. Diagonal Raw Cell Capacity

若：

$$
r=s,
$$

則：

$$
r(p+q)=2m.
$$

所以：

$$
r\mid m.
$$

寫：

$$
p=r+2a,
$$

$$
q=r+2b.
$$

得到：

$$
r(a+b)=m-r^2.
$$

因此：

## Theorem TCDC-02-T16

$$
\boxed{
M_{r,r}
\le
U_{r,r}^{\mathrm{raw}}
}
$$

其中：

$$
\boxed{
U_{r,r}^{\mathrm{raw}}
=
\begin{cases}
\dfrac mr-r+1,
&
r\mid m,
\quad
r^2\le m,
\\
0,
&
\text{otherwise}.
\end{cases}
}
$$

這與 same-factor center-divisor theorem一致。

---

# 25. Sparse Unit-Cell Frontier

對：

$$
r\neq s,
$$

若：

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

但：

$$
\boxed{
(r+s)^2>2m,
}
$$

則：

$$
2m-r^2-s^2
<
2rs.
$$

所以 T15給：

## Corollary TCDC-02-C02

$$
\boxed{
U_{r,s}^{\mathrm{raw}}
\le1.
}
$$

也就是：

> square-budget boundary附近的 admissible internal cell，
> 即使完全忽略 primality，
> 也最多只有一個 odd lattice slot。

---

# 26. General Capacity Layers

對 integer：

$$
h\ge1,
$$

若：

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

且：

$$
\boxed{
2m
<
r^2+s^2+2hrs,
}
$$

則：

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

所以：

## Corollary TCDC-02-C03

$$
\boxed{
U_{r,s}^{\mathrm{raw}}
\le h.
}
$$

因此 quarter-disk內部還有：

# Capacity Shells

而不只是：

- supported；
- unsupported。

---

# 27. Raw Cross Capacity of the Mirror Cut

定義：

$$
\boxed{
C_{\mathrm{cross}}^{\mathrm{raw}}(R)
=
\sum_{\substack{
r\in B_R\\
s\in P_R
}}
U_{r,s}^{\mathrm{raw}}.
}
$$

由 T06：

$$
I_B(R)
=
\sum_{r\in B_R,s\in P_R}
M_{r,s}.
$$

所以：

## Theorem TCDC-02-T17

$$
\boxed{
I_B(R)
\le
C_{\mathrm{cross}}^{\mathrm{raw}}(R).
}
$$

---

# 28. Combined Mirror Capacity

failure要求：

$$
D_B(R)\le I_B(R).
$$

同時：

$$
I_B(R)
\le
C_{\mathrm{recv}}(R),
$$

以及：

$$
I_B(R)
\le
C_{\mathrm{cross}}^{\mathrm{raw}}(R).
$$

因此：

## Theorem TCDC-02-T18

若：

$$
L_P(R)
\le
\sum_{s\in P_R}n_s,
$$

failure必要：

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

其中：

$$
\boxed{
C_{\mathrm{mir}}(R)
=
\min
\left(
C_{\mathrm{recv}}(R),
C_{\mathrm{cross}}^{\mathrm{raw}}(R)
\right).
}
$$

---

# 29. Strong Mirror Deficit

定義：

$$
\boxed{
\Delta_{\mathrm{mir}}(R)
=
D_B(R)
-
C_{\mathrm{mir}}(R).
}
$$

若：

$$
\boxed{
\Delta_{\mathrm{mir}}(R)>0,
}
$$

則：

## Corollary TCDC-02-C04

$$
\boxed{
\text{failure polytope empty}.
}
$$

所以：

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

---

# 30. Top No-SS Cap

令：

$$
p_z
=
\min
\left\{
p\in\mathbb P:
p>z
\right\}.
$$

任何 semiprime label：

$$
s
$$

都滿足：

$$
s\ge p_z.
$$

若：

$$
r^2+p_z^2>2m,
$$

則：

$$
r
$$

沒有任何 semiprime internal partner。

定義：

$$
\boxed{
R_{\mathrm{cap}}
=
\sqrt{
2m-p_z^2
}.
}
$$

---

# 31. Terminal High Cap

## Theorem TCDC-02-T19

若：

$$
r>R_{\mathrm{cap}},
$$

則：

$$
\boxed{
M_{r,s}=0
}
$$

for every semiprime label：

$$
s.
$$

所以：

$$
\boxed{
i_r=0,
}
$$

以及：

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

這不需要假設 Goldbach failure。

---

# 32. Meaning of the Terminal High Cap

square-budget幾何在最頂端已強到：

> high row 根本沒有 $SS$ escape channel。

所以任何 active row：

$$
r>R_{\mathrm{cap}}
$$

都必須：

$$
\boxed{
\text{100\% mixed with a prime endpoint}.
}
$$

這是一個 exact target-condition relation。

---

# 33. High-Cap Prime Consumption

定義：

$$
\boxed{
H_{\mathrm{cap}}
=
\left\{
r\in\mathcal R_m:
r>R_{\mathrm{cap}}
\right\}.
}
$$

則：

## Theorem TCDC-02-T20

$$
\boxed{
\sum_{r\in H_{\mathrm{cap}}}M_{r,0}
=
\sum_{r\in H_{\mathrm{cap}}}n_r.
}
$$

所以 high cap會強制消耗固定數量的 prime endpoints。

在 failure surface：

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

因此剩餘 rows只能吸收：

$$
\boxed{
n_P
-
\sum_{r\in H_{\mathrm{cap}}}n_r
}
$$

prime mass。

這可作後續 refined capacity cut。

---

# 34. Nested Mirror Cuts

對：

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

令：

$$
\boxed{
R_\lambda
=
\lambda\sqrt m.
}
$$

則：

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

因此：

$$
\boxed{
B_\lambda:
r\ge
\lambda\sqrt m
}
$$

只能流向：

$$
\boxed{
P_\lambda:
s\le
\sqrt{
2-\lambda^2
}\sqrt m.
}
$$

---

# 35. Mirror Parameters Are Dual

map：

$$
\boxed{
\lambda
\mapsto
\sqrt{
2-\lambda^2
}
}
$$

再次是 involution：

$$
\boxed{
\sqrt{
2-
\left(
\sqrt{2-\lambda^2}
\right)^2
}
=
\lambda.
}
$$

fixed point：

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

對應：

$$
r=\sqrt m.
$$

所以 high-suffix / low-prefix cut本身具有 exact TCDC dual symmetry。

---

# 36. Why the Self-Dual Point Matters

在：

$$
r<\sqrt m,
$$

mirror：

$$
\mathscr S_m(r)>\sqrt m>r.
$$

row仍可能與更大的 semiprime label配對。

在：

$$
r>\sqrt m,
$$

mirror：

$$
\mathscr S_m(r)<\sqrt m<r.
$$

row只能往 lower labels流。

所以：

$$
\boxed{
\sqrt m
}
$$

是：

# Internal-Transport Direction-Reversal Point

不是只是一個 algebraic curiosity。

---

# 37. Suffix Geometry Has Two Simultaneous Shrinkages

對：

$$
r>\sqrt m,
$$

隨：

$$
r
$$

增加：

### Mixed channel

$$
\boxed{
2m-r^2
}
$$

decreases。

### Internal channel

$$
\boxed{
\mathscr S_m(r)
=
\sqrt{
2m-r^2
}
}
$$

also decreases。

所以 large rows同時受到：

$$
\boxed{
\text{Prime-Sink Shrinkage}
+
\text{Semiprime-Receiver Shrinkage}.
}
$$

這是 suffix cut最自然的來源。

---

# 38. Singleton Geometric Capacity

用 elementary raw capacities：

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

$$
U_{r,s}^{\mathrm{raw}},
$$

定義：

$$
\boxed{
\operatorname{Cap}_{\mathrm{raw}}(r)
=
U_r^{P,\mathrm{raw}}
+
\sum_s
U_{r,s}^{\mathrm{raw}}.
}
$$

actual row conservation給：

## Theorem TCDC-02-T21

$$
\boxed{
n_r
\le
\operatorname{Cap}_{\mathrm{raw}}(r).
}
$$

這是 actual arithmetic consistency，

不是 Goldbach-specific failure theorem。

---

# 39. Failure-Relevant Singleton Capacity

若改用更強的：

$$
U_r^P
$$

與：

$$
U_{r,s}
$$

則 TCDC-01：

$$
\boxed{
\Delta_r
=
n_r
-
U_r^P
-
\sum_sU_{r,s}.
}
$$

若：

$$
\Delta_r>0,
$$

failure impossible。

large：

$$
r
$$

是最自然搜尋：

$$
\Delta_r>0
$$

的位置。

---

# 40. Finite Geometry Audit：$m=255$

只作 structure audit，

不是獨立 theorem evidence。

取：

$$
m=255.
$$

cube-root cutoff：

$$
z=8.
$$

observed active semiprime labels：

$$
\boxed{
11,\ 13,\ 17,\ 19.
}
$$

而：

$$
\sqrt{255}
\approx15.97.
$$

取：

$$
R=17.
$$

則：

$$
\boxed{
B_R=\{17,19\}.
}
$$

mirror threshold：

$$
S_R
=
\sqrt{
510-17^2
}
=
\sqrt{221}
\approx14.87.
$$

所以：

$$
\boxed{
P_R=\{11,13\}.
}
$$

---

# 41. $m=255$ Geometry

square budget immediately forbids：

$$
17\leftrightarrow17,
$$

$$
17\leftrightarrow19,
$$

$$
19\leftrightarrow19.
$$

high suffix若進：

$$
SS,
$$

只能流向：

$$
11
$$

或：

$$
13.
$$

finite exact transport中可觀察到 high-to-low cells，

與 T05 mirror confinement一致。

注意：

$$
m=255
$$

本身 already satisfies stronger coarse prime-majority closure，

所以此例只驗證 geometry，

不宣稱 suffix cut提供第一個獨立 Goldbach proof。

---

# 42. Why No Universal Closure Is Claimed Yet

要證：

$$
\Delta_{\mathrm{mir}}(R)>0
$$

uniformly，

仍需要 quantitative control of：

$$
n_r,
$$

$$
n_P,
$$

以及更 sharp：

$$
U_r^P,
$$

$$
U_{r,s}.
$$

elementary raw capacities證明：

- geometry；
- support；
- finite slot upper；

但不保證 deficit positive。

所以：

$$
\boxed{
\text{Geometric Suffix Kernel}
\neq
\text{Uniform Goldbach Closure}.
}
$$

---

# 43. TCDC Interpretation

本輪將 failure cut寫成：

### Target

$$
M_{PP}>0.
$$

### Failure Demand

high suffix無法進 prime sink的 mass：

$$
D_B(R).
$$

### Dual Receiver Domain

$$
P_R
=
\mathscr S_m(B_R).
$$

### Closure Capacity

$$
C_{\mathrm{mir}}(R).
$$

### Failure Non-Closure

$$
\boxed{
D_B(R)>C_{\mathrm{mir}}(R).
}
$$

這是：

# Target–Condition Dual Closure

在 prime-square transport geometry中的直接實例。

---

# 44. Why This Relates to the Original Radical Intuition

無限根式的 TCDC：

$$
\boxed{
\text{Target}
\leftrightarrow
\text{Compatibility Domain}
}
$$

這裡：

$$
\boxed{
r
\leftrightarrow
\mathscr S_m(r)
=
\sqrt{
2m-r^2
}.
}
$$

平方預算本身產生一個 exact dual map。

而：

$$
\sqrt m
$$

是 self-dual point。

所以：

> target / condition duality 在這裡不是比喻，
> 而是由：
> $$
> r^2+s^2\le2m
> $$
> 真正產生的 involutive geometry。

---

# 45. Failure Polytope Gets a Geometric Cut Family

TCDC-01：

$$
\mathfrak F_m(U)
$$

是 abstract symmetric transport polytope。

TCDC-02 加入：

$$
\boxed{
\mathcal C_{\mathrm{mirror}}(R)
}
$$

for every：

$$
R>\sqrt m.
$$

因此：

$$
\boxed{
\mathfrak F_m^{(2)}
=
\mathfrak F_m^{(1)}
\cap
\bigcap_{R>\sqrt m}
\mathcal C_{\mathrm{mirror}}(R).
}
$$

這是一族 nested necessary conditions。

---

# 46. Mirror Cuts Are Nested

若：

$$
R_2>R_1>\sqrt m,
$$

則：

$$
B_{R_2}\subseteq B_{R_1},
$$

而因 mirror decreasing：

$$
S_{R_2}<S_{R_1},
$$

所以：

$$
P_{R_2}\subseteq P_{R_1}.
$$

因此 large-threshold cuts同時：

- sender suffix縮小；
- receiver prefix縮小。

最強：

$$
R
$$

不一定在 endpoint，

需要 optimize deficit：

$$
\Delta_{\mathrm{mir}}(R).
$$

---

# 47. Optimization Target

定義：

$$
\boxed{
\Delta_{\mathrm{mir}}^*(m)
=
\max_{R>\sqrt m}
\Delta_{\mathrm{mir}}(R).
}
$$

若：

$$
\boxed{
\Delta_{\mathrm{mir}}^*(m)>0,
}
$$

則 failure impossible。

uniform theorem target可以是：

$$
\boxed{
\Delta_{\mathrm{mir}}^*(m)>0
}
$$

for all sufficiently large：

$$
m.
$$

目前未證。

---

# 48. Computational Role

finite solver可以對每個：

$$
m
$$

掃：

$$
R
$$

只需在 active labels：

$$
R=r\in\mathcal R_m
$$

處檢查。

因：

$$
B_R,
P_R
$$

只有跨越 label / mirror-label時改變。

所以 finite optimization是：

$$
\boxed{
O(|\mathcal R_m|)
}
$$

個主要 thresholds，

不需 continuous scan。

---

# 49. Future Analytic Providers

要讓 mirror cut真正 crossing，

最值得改善：

### A. $U_r^P$

從 raw odd slots：

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

升級成：

- prime progression；
- Brun–Titchmarsh；
- switched row；
- RSFLD upper。

### B. $U_{r,s}$

從：

$$
U_{r,s}^{\mathrm{raw}}
$$

升級成：

- affine two-prime upper；
- sparse lattice；
- exact CRT；
- recursion；
- switching。

### C. Row Mass

對：

$$
n_r
$$

取得：

- RootRough lower；
- exact finite；
- Buchstab lower。

---

# 50. A Particularly Natural Next Quantity

suffix demand：

$$
D_B(R)
$$

需要：

$$
n_r-U_r^P.
$$

這是：

> row mass減去 prime sink capacity。

所以它正好量：

# Semiprime Pressure

定義：

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

large suffix pressure：

$$
\boxed{
\Pi_{\ge R}
=
\sum_{r\ge R}\Pi_r.
}
$$

下一輪可以直接研究：

$$
\Pi_{\ge R}
$$

是否比 mirror receiver capacity衰減得慢。

---

# 51. Formal Theorem Queue

```yaml
TCDC_02:

  T01:
    square_budget_mirror_is_involution

  T02:
    unique_self_dual_point_sqrt_m

  T03:
    internal_support_mirror_form

  T04:
    no_high_high_internal_cell

  T05:
    high_suffix_mirror_confinement

  T06:
    exact_suffix_internal_cross_identity

  T07:
    mirror_receiver_bound

  T08:
    forced_internal_row_demand

  T09:
    first_mirror_cut

  T10:
    prefix_prime_usage_lower_bound

  T11:
    sharpened_receiver_capacity

  T12:
    sharp_mirror_receiver_cut

  T13:
    raw_mixed_capacity

  T14:
    distinct_cell_cofactor_equation

  T15:
    distinct_raw_cell_capacity

  T16:
    diagonal_raw_cell_capacity

  T17:
    raw_cross_capacity

  T18:
    combined_mirror_capacity

  T19:
    terminal_high_cap_no_SS

  T20:
    high_cap_forced_prime_consumption

  T21:
    raw_singleton_capacity
```

---

# 52. Acceptance Gate

TCDC-02 formal core前需：

1. square-budget mirror domain；
2. involution；
3. unique fixed point；
4. quarter-disk support；
5. suffix threshold strictly above $\sqrt m$；
6. no high-high internal mass；
7. receiver symmetry；
8. prime-use sharpened receiver；
9. raw mixed slots derived from odd cofactor coordinate；
10. raw cell capacity derived from nonnegative Diophantine solutions；
11. diagonal treated separately；
12. unit-capacity frontier；
13. terminal high cap；
14. finite audit labeled geometry only；
15. no positive universal deficit claim；
16. no Goldbach proof claim。

---

# 53. Verdict

本輪可以正式給：

$$
\boxed{
\mathrm{TCDC\mbox{-}02\ GEOMETRIC\ SUFFIX\ KERNEL\ PASS}.
}
$$

最重要的新 geometric object：

$$
\boxed{
\mathscr S_m(r)
=
\sqrt{
2m-r^2
}
}
$$

具有：

$$
\boxed{
\mathscr S_m(\mathscr S_m(r))=r
}
$$

以及唯一 self-dual point：

$$
\boxed{
r=\sqrt m.
}
$$

對：

$$
R>\sqrt m,
$$

high suffix：

$$
B_R
$$

的所有 internal mass只能流向 mirror prefix：

$$
P_R.
$$

因此 failure必要：

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

其中：

$$
\boxed{
D_B(R)
=
\sum_{r\in B_R}
(n_r-U_r^P)_+,
}
$$

而：

$$
C_{\mathrm{mir}}(R)
$$

同時受：

- prefix receiver mass；
- prime-sink saturation；
- raw cross-cell lattice capacity；

限制。

所以：

$$
\boxed{
\Delta_{\mathrm{mir}}(R)>0
}
$$

是完整的 TCDC failure non-closure certificate。

但目前：

$$
\boxed{
\mathrm{NO\ UNIFORM\ POSITIVE\ MIRROR\ DEFICIT\ YET}.
}
$$

因此：

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

---

# 54. 下一輪建議

# TCDC-03
## Semiprime Pressure / Mirror-Capacity Asymptotic Closure

下一輪不再增加新的 cut geometry。

直接比較：

$$
\boxed{
\Pi_{\ge R}
=
\sum_{r\ge R}
(n_r-U_r^P)_+
}
$$

與：

$$
\boxed{
C_{\mathrm{mir}}(R).
}
$$

優先：

### Part A — Normalize

令：

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

mirror：

$$
S_R
=
\sqrt{2-\lambda^2}\sqrt m.
$$

### Part B — Mixed Capacity

先用：

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

得到 elementary envelope，

再比較 prime-progression upper。

### Part C — Cross Capacity

將：

$$
U_{r,s}^{\mathrm{raw}}
$$

轉成：

$$
(\lambda,\mu)
$$

continuum capacity kernel。

### Part D — Decide the Gap

若 purely geometric envelope already使：

$$
\Delta_{\mathrm{mir}}>0,
$$

直接 closure。

若沒有，

精確量化：

> 還需要 prime / RootRough provider改善多少百分比。

這會告訴我們 mirror cut究竟是：

- 真正可能 crossing 的 proof route；
- 還是只是一個漂亮但過鬆的 outer geometry。

---

# 附錄 A：Square-Budget Mirror

```yaml
mirror:
  S_m(r):
    sqrt(2m-r^2)

domain:
  0_to_sqrt_2m

properties:

  decreasing:
    true

  involution:
    S_m(S_m(r)):
      r

  fixed_point:
    sqrt_m

support:
  M_r_s_positive:
    implies:
      s <= S_m(r)
```

---

# 附錄 B：Mirror Cut

```yaml
threshold:
  R:
    > sqrt_m

high_suffix:
  B_R:
    r >= R

mirror_threshold:
  S_R:
    sqrt(2m-R^2)

low_prefix:
  P_R:
    s <= S_R

forced_internal_demand:
  D_B:
    sum_r_in_B(
      max(0,n_r-U_P_r)
    )

prefix_prime_min:
  L_P:
    max(
      0,
      n_P-sum_r_not_in_P(U_P_r)
    )

receiver_capacity:
  C_recv:
    sum_s_in_P(n_s)-L_P

raw_cross_capacity:
  C_cross:
    sum_r_in_B_s_in_P(U_raw_r_s)

mirror_capacity:
  min(
    C_recv,
    C_cross
  )

certificate:
  if:
    D_B > mirror_capacity
  then:
    failure_polytope_empty
```

---

# 附錄 C：Elementary Raw Capacities

```yaml
mixed:

  U_P_raw_r:
    max(
      0,
      1+floor(
        (2m-r^2-3)/(2r)
      )
    )

internal_distinct:

  L_r_s:
    (2m-r^2-s^2)/2

  U_raw_r_s:
    if:
      r^2+s^2 <= 2m
    then:
      1+floor(
        (2m-r^2-s^2)/(2rs)
      )
    else:
      0

diagonal:

  U_raw_r_r:
    if:
      r_divides_m
      and:
        r^2 <= m
    then:
      m/r-r+1
    else:
      0
```

---

# 附錄 D：Capacity Frontier

```yaml
unit_cell:

  conditions:
    r^2+s^2 <= 2m
    (r+s)^2 > 2m

  consequence:
    U_raw_r_s <= 1

general_h_layer:

  if:
    2m < r^2+s^2+2h*r*s

  then:
    U_raw_r_s <= h
```

---

# 附錄 E：Terminal High Cap

```yaml
p_z:
  first_prime_greater_than_z

R_cap:
  sqrt(2m-p_z^2)

if:
  r > R_cap

then:
  internal_semiprime_partners:
    none

  i_r:
    0

  n_r:
    M_r_0
```

---

# 附錄 F：Commit Decision

```yaml
research_round:
  TCDC-02

decision:

  square_budget_mirror:
    formalized

  high_suffix_low_prefix_duality:
    formalized

  mirror_cut_certificate:
    formalized

  raw_mixed_capacity:
    formalized

  raw_internal_capacity:
    formalized

  terminal_high_cap:
    formalized

  uniform_positive_mirror_deficit:
    not_proved

  Goldbach_proved:
    false

next:
  TCDC-03_SemiprimePressure_MirrorCapacity_Asymptotic_Closure
```