TCDC: Target–Condition Dual Closure and Chen-Type Pressure
TCDC-21 · The Yang v2 port audit
Author line in the source: Neo.K; Aletheia (GPT-5.6 Sol)
The Yang-v2 Port Audit and the Special-Convolution Hypothesis Match: the Prime-Variable Blocker, the Growing-Residue Blocker, Special-Class Certification, the Repair Stack and a Legal-Coverage Compiler
Type-checks the convolution theorem of Yang arXiv:2608.13299v2 against the TCDC high-shell semiprime-marginal upper bound in a 12-gate ledger: the product-convolution skeleton, the dyadic scale, the prime second factor and the well-factorable upper-weight type match closely, but three blockers (a second prime variable, the growing residue a = 2m, membership in the special 5/8 class) give legal 5/8 coverage η_legal = 0.
A twelve-gate type check of an external preprint; legal 5/8 coverage is zero at the current proof state; label: REPAIRABLE-BUT-NOT-LEGAL. GOLDBACH STILL OPEN.
Yang's paper treats largest-prime-factor questions (P⁺(p−1) for shifted primes p; the density of n with P⁺(n) < P⁺(n+1)), not Goldbach; the theorem numbers and levels quoted here are those of v1 while the audited object is v2. 'Repairable' is the authors' own label, and the same paper calls all three repair operators PVL, GRU and SCWC 'UNPROVED'. TCDC-22 later corrects the scope of PVL.