# TCDC-18
## Aggregate Semiprime-Marginal Convolution / Level-Lift Closure
### Harmonic Distribution Level、$0.641107$ Critical Exponent、$3/5$ / $5/8$ Benchmark Deficits、Shell Portfolio Law 與 Convolution-Provider Audit

**母方法論：** TCDC — Target–Condition Dual Closure  
**對接研究線：** RG-SCP / SRBRD  
**輪次：** TCDC-18  
**日期：** 2026-10-02  
**版本：** v0.1  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**性質：** Aggregate Semiprime Upper / Distribution-Level Functional / Constant Threshold Audit  
**前置：** TCDC-00 ～ TCDC-17；SRBRD-00 ～ SRBRD-26  
**狀態：** 將 aggregate semiprime-marginal upper的 shell-dependent distribution levels壓成 weighted harmonic mean；導出 benchmark critical exponent $\theta_c=0.641107\ldots$；證明 uniform $3/5$、$66/107$、$5/8$ 單層 linear-upper benchmark在無 coupling 情況下皆不足，而 $5/8$ 僅需約 $1.954\%$ normalized coupled discount；證明任何僅由 $\le5/8$ shell levels組成的 portfolio無法在無 coupling 下 crossing；外部 theorem audit顯示 convolution shape已有重要進展，但尚無可直接宣稱覆蓋 TCDC growing-Goldbach-residue 全 shell的合法 $5/8$ provider；Goldbach仍未證明

---

# 0. 本輪目標

TCDC-17 得到 bad-mass simplex：

$$
\boxed{
M_{PP}
\ge
L_S
-
U_{SP}
-
U_{PS}.
}
$$

rank-one Buchstab benchmark下：

$$
\boxed{
s_*
=
\frac{\log2}{1+\log2},
}
$$

$$
\boxed{
p_*s_*
=
\frac{\log2}{(1+\log2)^2}.
}
$$

若：

- neutral lower efficiency：
  $$
  \alpha;
  $$
- semiprime marginal upper multiplier：
  $$
  \kappa_{SP};
  $$
- mixed upper multiplier：
  $$
  \kappa_{PS};
  $$
- coupled bad-mass discount：
  $$
  \chi;
  $$

則 closure gate：

$$
\boxed{
\kappa_{SP}s_*
+
\kappa_{PS}p_*s_*
-
\chi
<
\alpha.
}
$$

TCDC-18 的問題：

> aggregate averaging over least-factor prime $r$，
> 到底需要多大的 effective distribution level，
> 才能把 $\kappa_{SP}$ 壓進此 simplex？

---

# 1. Semiprime Least-Factor Shell

cube-root semiprime endpoint：

$$
x=rp,
$$

where：

$$
z<r\le p,
$$

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

parameterize：

$$
\boxed{
r=X^t,
\qquad
\frac13\le t\le\frac12.
}
$$

semiprime shell ideal measure：

$$
\boxed{
d\omega(t)
=
\frac{
dt
}{
t(1-t)
}.
}
$$

total：

## Theorem TCDC-18-T01

$$
\boxed{
\int_{1/3}^{1/2}
d\omega(t)
=
\log2.
}
$$

---

# 2. Aggregate Divisibility Sequence

for each shell，

semiprime row mass requires：

- $r$ prime；
- $p$ prime；
- opposite endpoint：
  $$
  2m-rp
  $$
  RootRough at：

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

aggregate bad divisibility：

$$
\boxed{
d\mid2m-rp.
}
$$

This is a prime-product convolution rather than a fixed-row prime progression。

---

# 3. Absolute Aggregate Distribution Exponent

Suppose a proof-admissible shell provider gives sieve distribution level：

$$
\boxed{
D(t)
=
X^{\theta(t)-o(1)}.
}
$$

Important：

$$
\theta(t)
$$

is measured relative to the common product scale：

$$
X,
$$

not relative only to the cofactor：

$$
X^{1-t}.
$$

Then cube-root cutoff：

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

gives：

## Theorem TCDC-18-T02

$$
\boxed{
s(t)
=
\frac{
\log D(t)
}{
\log z
}
=
3\theta(t)+o(1).
}
$$

This is the main aggregate level-lift advantage：

the parameter is no longer forced to：

$$
3(1-t)
$$

as in the best fixed-row architecture。

---

# 4. Linear-Upper Shell Multiplier

for：

$$
1<s(t)\le3,
$$

dimension-$1$ linear upper sieve：

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

Therefore shell multiplier：

## Theorem TCDC-18-T03

$$
\boxed{
\kappa_{SP}(t)
=
\frac{
2e^\gamma
}{
3\theta(t)
}
}
$$

within this one-stage upper-linear model。

---

# 5. Shell-Aggregated Multiplier Functional

normalize by ideal semiprime branch constant：

$$
\log2.
$$

define：

## Definition TCDC-18-D01

$$
\boxed{
\mathcal K_{SP}[\theta]
=
\frac1{\log2}
\int_{1/3}^{1/2}
\frac{
2e^\gamma
}{
3\theta(t)
}
\frac{
dt
}{
t(1-t)
}.
}
$$

Then：

$$
\boxed{
U_{SP}
\le
\left(
\mathcal K_{SP}[\theta]s_*
+
o(1)
\right)
\mathfrak M
}
$$

for the common benchmark scale：

$$
\mathfrak M,
$$

provided the shell providers and remainder hypotheses are actually valid。

---

# 6. Weighted Harmonic Distribution Level

define：

## Definition TCDC-18-D02

$$
\boxed{
\frac1{\theta_H}
=
\frac1{\log2}
\int_{1/3}^{1/2}
\frac{
1
}{
\theta(t)
}
\frac{
dt
}{
t(1-t)
}.
}
$$

So：

## Theorem TCDC-18-T04
### Harmonic Level Law

$$
\boxed{
\mathcal K_{SP}[\theta]
=
\frac{
2e^\gamma
}{
3\theta_H
}.
}
$$

Thus the entire shell-dependent portfolio enters the standard linear-upper benchmark only through：

# weighted harmonic mean level

$$
\boxed{
\theta_H.
}
$$

---

# 7. Why Harmonic Mean Matters

A small low-level shell penalizes：

$$
\theta_H
$$

strongly。

A very high exponent on a tiny shell cannot linearly compensate broad weak regions。

So provider allocation is not controlled by arithmetic mean：

$$
\int\theta(t)d\omega,
$$

but by：

$$
\boxed{
\int
\frac{
d\omega
}{
\theta(t)
}.
}
$$

This is a structural convexity penalty。

---

# 8. General Simplex Threshold in Level Form

TCDC-17 closure：

$$
\kappa_{SP}s_*
+
\kappa_{PS}p_*s_*
-
\chi
<
\alpha.
$$

using T04：

## Theorem TCDC-18-T05
### Level–Coupling Exchange Law

If：

$$
\alpha
-
\kappa_{PS}p_*s_*
+
\chi
>0,
$$

then sufficient：

$$
\boxed{
\theta_H
>
\Theta_c(
\alpha,
\kappa_{PS},
\chi
)
}
$$

where：

$$
\boxed{
\Theta_c
=
\frac{
2e^\gamma s_*
}{
3
\left(
\alpha
-
\kappa_{PS}p_*s_*
+
\chi
\right)
}.
}
$$

This is the main constant gate of TCDC-18。

---

# 9. Benchmark Critical Exponent

take：

$$
\boxed{
\alpha=1,
}
$$

$$
\boxed{
\kappa_{PS}=1,
}
$$

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

Then：

## Theorem TCDC-18-T06

$$
\boxed{
\theta_H
>
\theta_c
}
$$

where：

$$
\boxed{
\theta_c
=
0.641107455868
}
$$

and corresponding sieve parameter：

$$
\boxed{
s_c
=
3\theta_c
=
1.923322367603.
}
$$

semiprime multiplier threshold：

$$
\boxed{
\kappa_{SP}^{crit}
=
1.852078931739.
}
$$

---

# 10. Interpretation

benchmark no-coupling closure requires an effective aggregate distribution exponent：

$$
\boxed{
>0.641107.
}
$$

This lies：

- above：
  $$
  5/8=0.625;
  $$
- below：
  $$
  2/3.
  $$

So：

# $5/8$ is close but not enough

inside the one-stage standard linear-upper benchmark。

---

# 11. Uniform-Level Benchmarks

for constant：

$$
\theta(t)\equiv\theta,
$$

we have：

$$
\theta_H=\theta.
$$

selected values：

| Level label | $\theta$ | $s=3\theta$ | $\kappa_{SP}=F(s)$ | coupling $\chi_{\rm req}$ with $\alpha=\kappa_{PS}=1$ |
|---:|---:|---:|---:|---:|
| $3/5$ | $0.600000000000$ | $1.800000000000$ | $1.978969353322$ | $0.051946894499$ |
| $66/107$ | $0.616822429907$ | $1.850467289720$ | $1.924997461868$ | $0.029851671579$ |
| $5/8$ | $0.625000000000$ | $1.875000000000$ | $1.899810579190$ | $0.019540567550$ |
| $theta_c$ | $0.641107455868$ | $1.923322367603$ | $1.852078931739$ | $0.000000000000$ |
| $2/3$ | $0.666666666667$ | $2.000000000000$ | $1.781072417990$ | $0.000000000000$ |

where：

$$
\boxed{
\chi_{\rm req}
=
\left(
\kappa_{SP}s_*
+
p_*s_*
-
1
\right)_+.
}
$$

---

# 12. $3/5$ Benchmark

Maynard-level benchmark：

$$
\theta=3/5.
$$

Then：

$$
\boxed{
s=1.8,
}
$$

$$
\boxed{
\kappa_{SP}
\approx
1.978969353322,
}
$$

and：

$$
\boxed{
\chi_{\rm req}
\approx
0.051946894499.
}
$$

So even granting a fully legal aggregate $3/5$ provider across the whole shell，

about：

$$
\boxed{
5.19\%
}
$$

normalized coupled bad-mass recovery is still required under ideal neutral / mixed assumptions。

---

# 13. $66/107$ Benchmark

Lichtman exponent：

$$
\boxed{
66/107
\approx
0.616822.
}
$$

benchmark required coupling：

$$
\boxed{
\chi_{\rm req}
\approx
0.029851671579.
}
$$

or roughly：

$$
\boxed{
2.99\%
}.
$$

Again this is only an exponent benchmark，

not a claim that the theorem applies directly to the TCDC convolution sequence。

---

# 14. $5/8$ Benchmark

optimistically grant：

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

Then：

$$
\boxed{
s=15/8=1.875,
}
$$

$$
\boxed{
\kappa_{SP}
\approx
1.899810579190,
}
$$

and：

$$
\boxed{
\chi_{\rm req}
\approx
0.019540567550.
}
$$

So only：

$$
\boxed{
1.954\%
}
$$

normalized coupled recovery would bridge the benchmark gap。

This is an important quantitative narrowing。

---

# 15. $2/3$ Benchmark

if：

$$
\theta=2/3,
$$

then：

$$
s=2,
$$

and：

$$
\boxed{
\kappa_{SP}
=
e^\gamma
\approx
1.781072417990.
}
$$

with ideal neutral / mixed：

$$
\boxed{
\chi_{\rm req}=0.
}
$$

So $2/3$ comfortably crosses the benchmark simplex on the upper side。

---

# 16. Portfolio No-Go Below $5/8$

Suppose every shell provider satisfies：

$$
\boxed{
\theta(t)\le5/8.
}
$$

Then harmonic mean：

$$
\boxed{
\theta_H\le5/8.
}
$$

because a weighted harmonic mean cannot exceed the pointwise maximum。

But：

$$
5/8<\theta_c.
$$

Therefore：

## Theorem TCDC-18-T07
### $5/8$-Ceiling Portfolio No-Go

within the benchmark：

$$
\alpha=\kappa_{PS}=1,
\qquad
\chi=0,
$$

any shell portfolio satisfying：

$$
\boxed{
\sup_t\theta(t)\le5/8
}
$$

cannot close the bad-mass simplex via one-stage standard linear upper sieve。

This remains true regardless of how the $3/5$ and $5/8$ shells are mixed。

---

# 17. Example $3/5$ / $5/8$ Portfolio

let：

$$
q
$$

be the semiprime-shell weight fraction receiving：

$$
5/8,
$$

and：

$$
1-q
$$

receive：

$$
3/5.
$$

Then：

$$
\boxed{
\frac1{\theta_H}
=
\frac{q}{5/8}
+
\frac{1-q}{3/5}.
}
$$

selected values：

| weighted $5/8$ fraction $q$ | harmonic level $\theta_H$ | $\kappa_{SP}$ | required $\chi$ |
|---:|---:|---:|---:|
| $0.00$ | $0.600000000000$ | $1.978969353322$ | $0.051946894499$ |
| $0.25$ | $0.606060606061$ | $1.959179659789$ | $0.043845312762$ |
| $0.50$ | $0.612244897959$ | $1.939389966256$ | $0.035743731025$ |
| $0.75$ | $0.618556701031$ | $1.919600272723$ | $0.027642149287$ |
| $1.00$ | $0.625000000000$ | $1.899810579190$ | $0.019540567550$ |

Even：

$$
q=1
$$

still requires：

$$
\chi\approx0.01954.
$$

---

# 18. Strong-Shell Compensation

Suppose baseline whole shell is：

$$
5/8,
$$

but a weighted fraction：

$$
q
$$

is upgraded to stronger level：

$$
\theta_{hi}>5/8.
$$

to reach：

$$
\theta_H=\theta_c
$$

without coupling，

required fraction：

$$
\boxed{
q
=
\frac{
\theta_c^{-1}-(5/8)^{-1}
}{
\theta_{hi}^{-1}-(5/8)^{-1}
}.
}
$$

selected values：

| upgraded level $\theta_{hi}$ | minimum weighted shell fraction $q$ |
|---:|---:|
| $0.666667$ | $0.401991$ |
| $0.700000$ | $0.234495$ |
| $0.750000$ | $0.150747$ |
| $1.000000$ | $0.066998$ |

For example：

$$
\theta_{hi}=2/3
$$

must cover about：

$$
\boxed{
40.2\%
}
$$

of the semiprime-shell measure if the remainder stays at $5/8$。

---

# 19. Coupling Is Exchangeable with Distribution Level

T05 can be inverted for required coupled discount：

## Theorem TCDC-18-T08

for a given harmonic level：

$$
\theta_H,
$$

required：

$$
\boxed{
\chi_{\rm req}
=
\left[
\frac{
2e^\gamma s_*
}{
3\theta_H
}
+
\kappa_{PS}p_*s_*
-
\alpha
\right]_+.
}
$$

Thus：

# Distribution Level

and：

# Coupled Transport Discount

are quantitatively exchangeable resources。

---

# 20. Marginal Value of Coupling

differentiate benchmark critical level：

$$
\Theta_c(\chi)
=
\frac{
2e^\gamma s_*
}{
3(
1-p_*s_*+\chi
)
}.
$$

Then：

## Theorem TCDC-18-T09

$$
\boxed{
\frac{
d\Theta_c
}{
d\chi
}
=
-
\frac{
2e^\gamma s_*
}{
3(
1-p_*s_*+\chi
)^2
}
<0.
}
$$

So every positive coupled discount lowers the distribution exponent required from analytic number theory。

---

# 21. Marginal Cost of Mixed-Upper Loss

general：

$$
\Theta_c
=
\frac{
2e^\gamma s_*
}{
3(
\alpha-\kappa_{PS}p_*s_*+\chi
)
}.
$$

therefore：

## Theorem TCDC-18-T10

$$
\boxed{
\frac{
\partial\Theta_c
}{
\partial\kappa_{PS}
}
>0.
}
$$

So any degradation in the mixed upper makes the semiprime aggregate level requirement stricter。

Hence the $0.641107$ threshold is already optimistic：

it assumes ideal mixed upper。

---

# 22. Neutral-Lower Loss Is Equally Expensive

$$
\boxed{
\frac{
\partial\Theta_c
}{
\partial\alpha
}
<0.
}
$$

so Chen-neutral lower efficiency and semiprime level lift must be optimized jointly。

A nontrivial neutral loss may push required：

$$
\theta_H
$$

well above：

$$
0.6411.
$$

---

# 23. Provider-Class Audit：Maynard II

Maynard well-factorable estimates establish prime distribution in arithmetic progressions to moduli：

$$
\boxed{
x^{3/5-\varepsilon}
}
$$

with suitably well-factorable weights。

This confirms：

# $3/5$ is a legal major benchmark

for appropriate prime-distribution / sieve-weight settings。

But TCDC semiprime marginal is a prime-product convolution sequence：

$$
rp\equiv2m\pmod d,
$$

so a separate shape match is required。

---

# 24. Provider-Class Audit：Pascadi $5/8$

Pascadi proves primes equidistributed to moduli up to：

$$
\boxed{
x^{5/8-o(1)}
}
$$

with triply-well-factorable weights，

and also obtains improvements for well-factorable linear sieve weights。

This is the current strongest headline exponent among the audited sources。

But：

## Research Firewall TCDC-18-R01

$$
\boxed{
\text{Pascadi's }5/8
\text{ prime-weight theorem is not automatically a full-shell TCDC convolution provider}.
}
$$

Weight class and convolution structure must both match。

---

# 25. Provider-Class Audit：Yang 2026 Convolution BV

Yang's Theorem 1.1 treats convolution sums of the form：

$$
\boxed{
\ell p\equiv a\pmod q
}
$$

with：

$$
\ell\sim x^\nu,
$$

and well-factorable weights。

For upper-bound well-factorable linear-sieve weights，

the audited theorem states an exponent function satisfying：

$$
\boxed{
\mathcal L'(\nu)\ge3/5.
}
$$

This is much closer in shape to：

$$
rp\equiv2m\pmod d
$$

than an ordinary prime-only AP theorem。

---

# 26. Yang Shape Match

identify：

$$
\ell\leftrightarrow r,
$$

$$
p\leftrightarrow p,
$$

$$
a\leftrightarrow2m.
$$

So：

## Theorem-Match TCDC-18-M01

$$
\boxed{
\text{Yang 2026 has the correct prime-product convolution skeleton for the semiprime marginal}.
}
$$

This is a genuine improvement over treating every $r$ separately。

---

# 27. Growing Goldbach Residue Firewall

Yang's displayed convolution estimate is stated with arithmetic parameter：

$$
a
$$

as a theorem parameter，

and the bound notation permits dependence on：

$$
a.
$$

TCDC needs：

$$
\boxed{
a=2m\asymp X
}
$$

varying with the main scale。

Therefore：

## Research Firewall TCDC-18-R02

$$
\boxed{
\text{the audited Yang statement cannot yet be silently promoted to
a uniform growing-Goldbach-residue theorem}.
}
$$

A uniform-in-$a$ provider or a separate residue-removal argument is still needed。

---

# 28. Maynard III as a Residue-Uniformity Interface

Maynard III proves mean-value estimates beyond：

$$
x^{1/2}
$$

for moduli with conveniently sized divisors，

with complete uniformity in the residue classes in the stated theorem family。

Therefore：

# Maynard III

is structurally relevant to the growing-residue problem。

But its convenient-divisor / factorization hypotheses must also be matched to the TCDC sieve moduli。

So：

## Theorem-Match TCDC-18-M02

$$
\boxed{
\text{Maynard III is a residue-uniformity interface,
not by itself the complete semiprime-marginal provider}.
}
$$

---

# 29. Why the Existing Results Cannot Simply Be Stacked

One might try：

1. use Pascadi：
   $$
   5/8;
   $$
2. use Yang：
   convolution;
3. use Maynard III：
   residue uniformity。

But each theorem has its own：

- weight class；
- factorization support；
- modulus ranges；
- coefficient sequences；
- residue hypotheses。

There is no legal black-box theorem saying all three properties hold simultaneously for the TCDC sequence。

Therefore：

## Research Firewall TCDC-18-R03

$$
\boxed{
\text{headline exponent + convolution shape + residue uniformity
cannot be combined by citation alone}.
}
$$

A single hypothesis-matched provider is required。

---

# 30. Nevertheless the Constant Benchmark Is Robust

Even if we optimistically grant the whole shell a legal：

$$
5/8
$$

provider，

T14 shows no-coupling crossing still fails。

So：

$$
\boxed{
\text{provider-shape uncertainty cannot invalidate the TCDC-18 no-coupling benchmark;
a legal provider would only make the situation less optimistic if weaker}.
}
$$

This is why the：

$$
1.954\%
$$

coupling deficit is useful。

---

# 31. Level-Lift Target

fixed-row best architecture from TCDC-17 had shell-dependent：

$$
\theta_{\mathrm{row}}(t)=1-t.
$$

aggregate theorem should produce：

$$
\boxed{
\theta_{\mathrm{agg}}(t)
>
1-t
}
$$

on enough shell mass，

or at least a harmonic mean：

$$
\boxed{
\theta_H>0.641107
}
$$

after all provider / coupling trades。

This is the true level-lift target。

---

# 32. Shellwise Lift Function

define：

## Definition TCDC-18-D03

$$
\boxed{
\ell(t)
=
\theta_{\mathrm{agg}}(t)
-
(1-t).
}
$$

Positive：

$$
\ell(t)>0
$$

means averaging over least-factor prime $r$ has created distribution power unavailable to an isolated row。

The analytic research problem is not merely：

> get a large exponent,

but：

> place the lift on enough high-weight shell mass to raise the harmonic mean。

---

# 33. Shell Value Density

harmonic functional variation：

$$
\delta
\left(
\frac1{\theta_H}
\right)
=
-
\frac1{\log2}
\int
\frac{
\delta\theta(t)
}{
\theta(t)^2
}
\frac{
dt
}{
t(1-t)
}.
$$

So marginal value of improving shell：

$$
t
$$

is proportional to：

## Theorem TCDC-18-T11

$$
\boxed{
V(t)
\propto
\frac{
1
}{
t(1-t)\theta(t)^2
}.
}
$$

Thus low-level, high-mass shells are the highest-value targets for theorem improvement。

This is the continuum analogue of TCDC-09 LP shadow pricing。

---

# 34. Proof-Resource Allocation in Shell Space

Suppose candidate theorem improvement can increase：

$$
\theta(t)
$$

by：

$$
\delta\theta(t)
$$

on a shell family。

Then first-order gain in：

$$
\theta_H
$$

is weighted by T11。

So analytic effort should prioritize：

$$
\boxed{
\frac{
\text{shell mass}
}{
\theta(t)^2
}
}
$$

rather than only the largest $t$ or shortest row。

---

# 35. Boundary vs Bulk Revisited

near：

$$
t=1/2,
$$

fixed-row exponent：

$$
1-t
$$

is smallest：

$$
1/2.
$$

therefore：

$$
1/\theta(t)^2
$$

largest。

But shell weight：

$$
1/[t(1-t)]
$$

also remains large。

So the near-square-root semiprime rows are especially valuable level-lift targets。

This matches earlier：

- shadow-price；
- switching；
- high-leverage；

diagnostics。

---

# 36. But High Rows Are Also Hardest

near：

$$
t=1/2,
$$

cofactor interval：

$$
X^{1-t}
$$

is shortest，

and fixed-row distribution worst。

So exactly the shells with highest TCDC value are also the hardest analytic provider region。

This explains why switching / complementary-divisor methods keep reappearing。

---

# 37. Complementary-Divisor Interface

for：

$$
rp\equiv2m\pmod d,
$$

write：

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

when：

$$
d
$$

is large，

complementary variable：

$$
k
$$

is short。

TCDC / SRBRD-22 ～ 25 already developed：

- complement promotion；
- factorization-preserving switching；
- shift-free lattice differences。

So TCDC-18 semiprime level-lift problem reconnects directly to that switching program。

---

# 38. Aggregate Provider Portfolio

A realistic semiprime marginal proof may use：

### Shell A

near：

$$
t=1/3,
$$

ordinary / fixed-row upper already reasonably strong。

### Shell B

middle：

use Yang-type convolution well-factorable estimates。

### Shell C

near：

$$
t=1/2,
$$

use switching / Maynard balanced Type-II / complementary divisor。

Then compute：

$$
\boxed{
\theta_H
}
$$

of the combined portfolio，

rather than demanding one theorem for all shells。

---

# 39. Portfolio Acceptance Test

Given shell provider exponents：

$$
\theta_j
$$

and normalized shell weights：

$$
w_j,
$$

$$
\sum_jw_j=1,
$$

define：

$$
\boxed{
\frac1{\theta_H}
=
\sum_j
\frac{
w_j
}{
\theta_j
}.
}
$$

Then benchmark acceptance：

## Theorem TCDC-18-T12

$$
\boxed{
\theta_H
>
0.641107\ldots
}
$$

or more generally T05 with：

$$
\alpha,\kappa_{PS},\chi.
$$

This gives a simple audit rule for any future theorem portfolio。

---

# 40. Coupling Requirement as a Function of Portfolio

for ideal neutral / mixed：

$$
\boxed{
\chi_{\mathrm{req}}(\theta_H)
=
\left[
\frac{
2e^\gamma s_*
}{
3\theta_H
}
+
p_*s_*
-
1
\right]_+.
}
$$

So every future provider portfolio can be summarized by one number：

$$
\boxed{
\theta_H
}
$$

and one required TCDC coupling discount：

$$
\boxed{
\chi_{\mathrm{req}}.
}
$$

---

# 41. Why $5/8$ Is Strategically Important Even Though Insufficient

$5/8$ misses the no-coupling threshold by only：

$$
\boxed{
0.016107
}
$$

in exponent。

In constant terms it leaves only：

$$
\boxed{
0.019541
}
$$

normalized bad-mass excess under ideal mixed / neutral assumptions。

So if a legal $5/8$-quality convolution provider can actually be matched，

TCDC transport only needs a small additional discount。

That is qualitatively different from the fixed-row architecture。

---

# 42. Why $3/5$ Is Still Potentially Viable with TCDC

$3/5$ requires：

$$
\boxed{
\chi\approx0.051947
}
$$

in the same optimistic benchmark。

This is larger but not absurd compared with finite coupled-discount phenomena already observed in TCDC-08 ～ 13。

Therefore：

$$
\boxed{
\text{$3/5$ does not close analytically alone,
but cannot be dismissed once coupled transport is present}.
}
$$

---

# 43. Coupling vs Exponent Upgrade Trade

The difference：

$$
3/5
\to5/8
$$

reduces required coupling from：

$$
0.051947
$$

to：

$$
0.019541.
$$

so the exponent improvement is worth：

## Diagnostic TCDC-18-D04

$$
\boxed{
0.032406
}
$$

normalized bad-mass discount。

This allows comparing analytic theorem improvement against transport theorem improvement in the same currency。

---

# 44. Technology-Value Currency

define：

## Definition TCDC-18-D04

$$
\boxed{
\mathcal V(\theta)
=
\frac{
2e^\gamma s_*
}{
3\theta
}
}
$$

the semiprime bad-mass cost under uniform level：

$$
\theta.
$$

Then an exponent improvement：

$$
\theta_1\to\theta_2
$$

has value：

$$
\boxed{
\Delta\mathcal V
=
\mathcal V(\theta_1)
-
\mathcal V(\theta_2).
}
$$

This is directly comparable to coupled discount：

$$
\chi.
$$

---

# 45. TCDC Proof-Economics Interpretation

A proof researcher can now compare：

### Analytic investment

raise distribution exponent。

### Transport investment

increase：

$$
\chi.
$$

### Mixed-upper investment

reduce：

$$
\kappa_{PS}.
$$

### Neutral-lower investment

increase：

$$
\alpha.
$$

All four move the same simplex gate。

This is the continuum version of proof-resource allocation。

---

# 46. What Would Constitute a TCDC-18 Closure

A complete TCDC-18 theorem would need a legal shell portfolio satisfying：

1. each provider's hypotheses match；
2. growing residue：
   $$
   2m
   $$
   controlled；
3. remainders summable；
4. neutral / mixed constants jointly compatible；
5. final：

$$
\boxed{
\theta_H
>
\Theta_c(
\alpha,\kappa_{PS},\chi
).
}
$$

No such full provider has been established in this round。

---

# 47. What Has Been Proved in This Round

## Exact / algebraic

- harmonic level law；
- level-coupling exchange law；
- critical exponent formula；
- portfolio no-go under $\sup\theta\le5/8$ with no coupling；
- shell-value density；
- provider portfolio acceptance test。

## Benchmark / diagnostic

- $3/5$ required coupling；
- $66/107$ required coupling；
- $5/8$ required coupling；
- upgrade fraction examples。

## External theorem facts

- Maynard $3/5$ well-factorable；
- Pascadi $5/8-o(1)$ triply-well-factorable prime distribution；
- Yang convolution structure with upper-linear-sieve exponent at least $3/5$；
- Maynard III residue-uniform large-moduli technology。

## Not proved

- a legal TCDC full-shell $5/8$ convolution provider；
- growing-Goldbach-residue uniformity for Yang in the required form；
- positive uniform simplex gap。

---

# 48. Formal Theorem Queue

```yaml
TCDC_18:

  T01:
    semiprime_shell_mass_log2

  T02:
    aggregate_sieve_parameter_three_theta

  T03:
    shell_linear_upper_multiplier

  T04:
    harmonic_level_law

  T05:
    level_coupling_exchange_law

  T06:
    benchmark_critical_exponent

  T07:
    five_eighth_ceiling_portfolio_no_go_without_coupling

  T08:
    required_coupling_as_function_of_harmonic_level

  T09:
    coupling_reduces_critical_exponent

  T10:
    mixed_upper_loss_increases_critical_exponent

  T11:
    shell_marginal_value_density

  T12:
    provider_portfolio_acceptance_test
```

---

# 49. Benchmark Queue

```yaml
benchmark:

  alpha:
    1

  kappa_PS:
    1

  chi:
    0

critical:

  theta_H:
    > 0.641107455868

  sieve_parameter:
    > 1.923322367603

levels:

  3_5:
    required_coupling:
      0.051946894499

  66_107:
    required_coupling:
      0.029851671579

  5_8:
    required_coupling:
      0.019540567550

  2_3:
    required_coupling:
      0
```

---

# 50. Barrier Queue

```yaml
TCDC_18_Barriers:

  B01:
    no_single_theorem_combines_best_exponent_convolution_and_growing_residue_uniformity

  B02:
    Pascadi_five_eighth_weight_class_not_automatically_TCDC_convolution

  B03:
    Yang_convolution_statement_not_audited_as_uniform_in_growing_Goldbach_residue

  B04:
    MaynardIII_factorization_hypotheses_not_globally_matched

  B05:
    neutral_lower_efficiency_alpha_not_jointly_fixed

  B06:
    mixed_upper_multiplier_not_ideal

  B07:
    coupled_discount_not_uniformly_lower_bounded

  B08:
    no_harmonic_level_portfolio_above_final_threshold
```

---

# 51. Acceptance Gate

TCDC-18 formal core前需：

1. shell measure normalized correctly；
2. absolute exponent measured against global $X$；
3. $s=3\theta$ only under cube-root cutoff；
4. $F(s)=2e^\gamma/s$ used only in valid range；
5. harmonic mean derivation checked；
6. critical exponent includes $\alpha,\kappa_{PS},\chi$；
7. $5/8$ no-go explicitly benchmark-conditional；
8. external theorem weight classes distinguished；
9. Yang convolution skeleton separated from residue-uniformity issue；
10. no black-box stacking of Maynard/Pascadi/Yang；
11. provider portfolio result algebraic, not theorem-existence claim；
12. no Goldbach proof claim。

---

# 52. Verdict

本輪可以正式給：

$$
\boxed{
\mathrm{TCDC\mbox{-}18\ HARMONIC\mbox{-}LEVEL\ LIFT\ PASS}.
}
$$

最大 analytic compression：

$$
\boxed{
\kappa_{SP}
=
\frac{
2e^\gamma
}{
3\theta_H
}
}
$$

where：

$$
\boxed{
\frac1{\theta_H}
=
\frac1{\log2}
\int_{1/3}^{1/2}
\frac{
dt
}{
t(1-t)\theta(t)
}.
}
$$

So the entire semiprime shell portfolio is summarized by a weighted harmonic distribution level。

The general closure threshold：

$$
\boxed{
\theta_H
>
\frac{
2e^\gamma s_*
}{
3(
\alpha-\kappa_{PS}p_*s_*+\chi
)
}.
}
$$

At the ideal benchmark：

$$
\alpha=1,
\qquad
\kappa_{PS}=1,
\qquad
\chi=0,
$$

critical exponent：

$$
\boxed{
\theta_c
=
0.641107455868.
}
$$

Therefore：

$$
\boxed{
5/8
<
\theta_c
<
2/3.
}
$$

Even granting a legal full-shell：

$$
5/8
$$

provider，

one-stage standard linear upper still requires：

$$
\boxed{
\chi>
0.019540567550
}
$$

or about：

$$
\boxed{
1.954\%
}
$$

normalized coupled bad-mass recovery。

At：

$$
3/5,
$$

required：

$$
\boxed{
\chi>
0.051946894499
}
$$

or about：

$$
\boxed{
5.195\%.
}
$$

Thus existing headline exponents are not enough by themselves，

but they move the problem into a quantitatively small TCDC coupling regime。

Most importantly：

$$
\boxed{
\text{any no-coupling provider portfolio with all shell levels }\le5/8
\text{ cannot close this benchmark}.
}
$$

So the escape routes are now sharply limited to：

1. some shell mass genuinely above $5/8$；
2. switching / non-one-stage upper architecture；
3. positive coupled discount；
4. better mixed upper；
5. better neutral lower normalization。

Current external audit finds：

- legal $3/5$ well-factorable prime-distribution technology；
- $5/8-o(1)$ triply-well-factorable prime distribution；
- a 2026 convolution theorem with the right $\ell p\equiv a$ skeleton and at least $3/5$ upper-linear-weight exponent；
- uniform-residue large-moduli technology in Maynard III；

but no audited black-box theorem simultaneously giving the complete TCDC shell, weight, convolution, and growing-residue requirements。

Therefore：

$$
\boxed{
\mathrm{NO\ UNIFORM\ LEVEL\mbox{-}LIFT\ CLOSURE\ YET}.
}
$$

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

---

# 53. 下一輪建議

# TCDC-19
## Shell-Provider Portfolio / $5/8$–Switching–Coupling Closure

TCDC-18已經把目標壓成：

$$
\theta_H
\quad\text{vs}\quad
\Theta_c.
$$

下一輪不再只比較 headline exponent。

直接替：

$$
t\in[1/3,1/2]
$$

分 shell provider。

### Part A — Near Cube Root

固定 row / ordinary well-factorable provider。

### Part B — Middle Shell

Yang convolution theorem hypothesis-by-hypothesis audit。

### Part C — High Shell

Maynard III balanced Type-II / complementary-divisor switching。

### Part D — Build Actual Portfolio

derive：

$$
\theta(t)
$$

piecewise。

Then calculate：

$$
\boxed{
\theta_H.
}
$$

### Part E — Coupling Exchange

if：

$$
\theta_H<\theta_c,
$$

compute exact：

$$
\boxed{
\chi_{\rm req}.
}
$$

Then compare with TCDC-12 / 13 finite and analytic transport discounts。

This will be the first round to replace abstract：

> maybe combine modern theorems

with an explicit shell-by-shell hypothesis ledger and a single final harmonic-level number。

---

# 附錄 A：Harmonic Level

```yaml
shell:
  t:
    1/3_to_1/2

weight:
  dt/(t*(1-t))

provider_level:
  theta(t)

harmonic_level:
  1/theta_H:
    (1/log(2))
    * integral(
        dt/(t*(1-t)*theta(t))
      )

semiprime_multiplier:
  2*exp(gamma)/(3*theta_H)
```

---

# 附錄 B：General Threshold

```yaml
neutral_efficiency:
  alpha

mixed_multiplier:
  kappa_PS

coupling_discount:
  chi

critical_harmonic_level:
  Theta_c:
    2*exp(gamma)*s_star
    /
    (
      3*(alpha-kappa_PS*p_star*s_star+chi)
    )

closure_if:
  theta_H > Theta_c
```

---

# 附錄 C：Uniform-Level Benchmarks

| Level label | $\theta$ | $s=3\theta$ | $\kappa_{SP}$ | required $\chi$ |
|---:|---:|---:|---:|---:|
| $3/5$ | $0.600000000000$ | $1.800000000000$ | $1.978969353322$ | $0.051946894499$ |
| $66/107$ | $0.616822429907$ | $1.850467289720$ | $1.924997461868$ | $0.029851671579$ |
| $5/8$ | $0.625000000000$ | $1.875000000000$ | $1.899810579190$ | $0.019540567550$ |
| $theta_c$ | $0.641107455868$ | $1.923322367603$ | $1.852078931739$ | $0.000000000000$ |
| $2/3$ | $0.666666666667$ | $2.000000000000$ | $1.781072417990$ | $0.000000000000$ |

---

# 附錄 D：$3/5$ / $5/8$ Portfolio

| $5/8$ shell weight | $\theta_H$ | $\kappa_{SP}$ | required $\chi$ |
|---:|---:|---:|---:|
| $0.00$ | $0.600000000000$ | $1.978969353322$ | $0.051946894499$ |
| $0.25$ | $0.606060606061$ | $1.959179659789$ | $0.043845312762$ |
| $0.50$ | $0.612244897959$ | $1.939389966256$ | $0.035743731025$ |
| $0.75$ | $0.618556701031$ | $1.919600272723$ | $0.027642149287$ |
| $1.00$ | $0.625000000000$ | $1.899810579190$ | $0.019540567550$ |

---

# 附錄 E：How Much Strong Shell Is Needed

baseline:

$$
5/8.
$$

target:

$$
\theta_c.
$$

| Strong shell level | weighted fraction needed |
|---:|---:|
| $0.666667$ | $0.401991$ |
| $0.700000$ | $0.234495$ |
| $0.750000$ | $0.150747$ |
| $1.000000$ | $0.066998$ |

---

# 附錄 F：Commit Decision

```yaml
research_round:
  TCDC-18

decision:

  aggregate_shell_functional:
    formalized

  harmonic_level_law:
    proved

  critical_exponent:
    derived

  three_fifths_benchmark:
    insufficient_without_coupling

  five_eighth_benchmark:
    insufficient_without_coupling

  five_eighth_required_discount:
    quantified

  provider_portfolio_no_go_below_five_eighth:
    proved_under_one_stage_linear_upper_benchmark

  full_legal_TCDC_provider_portfolio:
    not_found

  Goldbach_proved:
    false

next:
  TCDC-19_ShellProviderPortfolio_FiveEighth_Switching_Coupling_Closure
```

---

# References / External Technology Audit

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

   Used for the dimension-$1$ linear sieve upper function:
   $$
   F(s)=\frac{2e^\gamma}{s},
   \qquad
   1<s\le3.
   $$

2. James Maynard, **Primes in arithmetic progressions to large moduli II: Well-factorable estimates**, *Memoirs of the American Mathematical Society* 306 (1543), 2025.

   Audited fact:
   mean value theorems for primes with suitably well-factorable weights reach moduli:
   $$
   x^{3/5-\varepsilon}.
   $$

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

   Audited fact:
   mean-value estimates beyond:
   $$
   x^{1/2}
   $$
   are obtained for moduli with conveniently sized divisors, uniformly in the residue classes in the theorem family.

4. Alexandru Pascadi, **On the exponents of distribution of primes and smooth numbers**, arXiv:2505.00653, 2025.

   Audited fact:
   primes and smooth numbers are equidistributed to moduli:
   $$
   x^{5/8-o(1)}
   $$
   using triply-well-factorable weights for the primes; improvements for well-factorable linear sieve weights are also obtained.

5. Jared Duker Lichtman, **Primes in arithmetic progressions to large moduli, and Goldbach beyond the square-root barrier**, arXiv:2309.08522.

   Audited benchmark:
   exponent:
   $$
   66/107\approx0.6168
   $$
   for triply well-factorable weights, with a conditional $5/8$ extension in that work.

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

   Audited facts:
   - studies convolution sums with:
     $$
     \ell p\equiv a\pmod q;
     $$
   - for upper-bound well-factorable linear sieve weights, the theorem's exponent function is at least:
     $$
     3/5;
     $$
   - the displayed theorem retains arithmetic residue parameter $a$, so a uniform growing-Goldbach-residue application is not silently assumed here.
