# SRBRD-14 ## Aggregate Semiprime-Cell Coupling / Diagonal–Off-Diagonal Closure ### Symmetric Transport Matrix、Prime-Majority Criterion、Recursive Diagonal Lower Bound 與 Parity-Correlation Identity **母計畫：** RG-SCP / Reverse Goldbach Structural Closure Program **支線：** SRBRD — Symmetric Root-Bounded Relation Domain **輪次：** SRBRD-14 **日期：** 2026-09-30 **版本：** v0.1 **作者：** Neo.K；Aletheia（GPT-5.6 Sol） **性質：** Exact Aggregate Coupling Kernel / Transport-Matrix Audit / Recursive Diagonal Closure **前置：** SRBRD-00 ～ SRBRD-13 **狀態：** 建立 semiprime boundary 的 aggregate exact identity與 diagonal recursive lower bound；Goldbach仍未證明 --- # 0. 本輪問題 SRBRD-13 已建立 cube-root RootRough boundary： $$ \mathcal S_z = PP \bigsqcup SP/P \bigsqcup P/SP \bigsqcup SP/SP. $$ 以及： $$ R_G^{-}(2m) = |\mathcal S_z| - |C_L| - |C_R| + |\mathcal S_{SS}|. $$ 下一個問題是： > 能否不逐個求 $D_{r,s}$，而直接從 aggregate semiprime coupling逼出 $PP>0$？ 本輪答案分成兩部分。 第一： $$ \boxed{ \text{可以把整個 P/SP boundary壓成一個對稱 transport matrix。} } $$ 第二： $$ \boxed{ \text{只靠 prime / semiprime marginals，最強結果就是 prime-majority criterion。} } $$ 要比它更強，必須加入： - forced $SS$ overlap； - 尤其 same-factor recursive diagonal； - 或真正的 off-diagonal arithmetic coupling。 --- # 1. Ordered Boundary Domain 為了消除 reduced orientation造成的左右不對稱， 定義 ordered odd endpoint domain： $$ \boxed{ \widehat\Omega_m = \left\{ x\in\mathbb N: 3\le x\le2m-3, \quad x\text{ odd} \right\}. } $$ 對： $$ x\in\widehat\Omega_m, $$ 定義 complement involution： $$ \boxed{ \tau_m(x) = 2m-x. } $$ 顯然： $$ \boxed{ \tau_m(\tau_m(x))=x. } $$ --- # 2. Ordered RootRough Survivor Set 取 integer： $$ z $$ 滿足： $$ z^3\ge2m-3. $$ 定義： $$ \boxed{ \widehat{\mathcal S}_z(m) = \left\{ x\in\widehat\Omega_m: \operatorname{RootRough}_z(x), \quad \operatorname{RootRough}_z(2m-x) \right\}. } $$ 由定義： $$ \boxed{ \tau_m : \widehat{\mathcal S}_z \to \widehat{\mathcal S}_z } $$ 是一個 involution。 --- # 3. P2 Boundary Label 由 SRBRD-13， 在： $$ z^3\ge2m-3 $$ 下， 每個 survivor endpoint只可能： - prime； - semiprime。 定義 label： $$ \boxed{ \ell_z(x) = \begin{cases} 0, & x\in\mathbb P, \\ \operatorname{lpf}(x), & x\text{ semiprime}. \end{cases} } $$ 所以： $$ 0 $$ 表示 prime， 正 prime label： $$ r>z $$ 表示 semiprime的 canonical least factor。 --- # 4. Label Set 令： $$ \boxed{ \Lambda_z(m) = \{0\} \cup \left\{ r\in\mathbb P: r>z, \quad r^2\le2m-3 \right\}. } $$ 所有： $$ \ell_z(x) $$ 都落在： $$ \Lambda_z(m). $$ --- # 5. Symmetric Transport Matrix 對： $$ a,b\in\Lambda_z(m), $$ 定義： $$ \boxed{ M_{a,b}(m,z) = \# \left\{ x\in\widehat{\mathcal S}_z: \ell_z(x)=a, \quad \ell_z(\tau_m(x))=b \right\}. } $$ 這是： # Semiprime-Boundary Transport Matrix --- # 6. Matrix Symmetry ## Theorem SRBRD-14-T01 $$ \boxed{ M_{a,b}=M_{b,a}. } $$ proof： 若： $$ x $$ 貢獻到： $$ M_{a,b}, $$ 則： $$ \tau_m(x) $$ 貢獻到： $$ M_{b,a}. $$ 而： $$ \tau_m $$ 是 bijection。 --- # 7. Row Marginals 定義： $$ \boxed{ n_a = \sum_bM_{a,b}. } $$ 所以： $$ n_a $$ 就是： $$ \widehat{\mathcal S}_z $$ 中 label： $$ a $$ 的 endpoint數。 特別： $$ \boxed{ n_P = n_0, } $$ $$ \boxed{ n_{SP} = \sum_{r>0}n_r. } $$ 以及： $$ \boxed{ |\widehat{\mathcal S}_z| = n_P+n_{SP}. } $$ --- # 8. Aggregate 2×2 Matrix 把所有 positive semiprime labels collapse成： $$ SP. $$ 定義： $$ \boxed{ M_{PP} = M_{0,0}, } $$ $$ \boxed{ M_{PS} = \sum_{s>0}M_{0,s}, } $$ $$ \boxed{ M_{SS} = \sum_{r,s>0}M_{r,s}. } $$ 由 symmetry： $$ M_{SP}=M_{PS}. $$ 因此 ordered boundary matrix： $$ \boxed{ \mathbb M = \begin{pmatrix} M_{PP} & M_{PS}\\ M_{PS} & M_{SS} \end{pmatrix}. } $$ --- # 9. Marginal Identities 直接由 row sums： $$ \boxed{ n_P = M_{PP}+M_{PS}, } $$ $$ \boxed{ n_{SP} = M_{PS}+M_{SS}. } $$ 相減： ## Theorem SRBRD-14-T02 $$ \boxed{ M_{PP} = n_P-n_{SP}+M_{SS}. } $$ 這是本輪主 aggregate identity。 --- # 10. Ordered Goldbach Count $$ M_{PP} $$ 就是 ordered prime-pair count： $$ \boxed{ M_{PP} = \# \left\{ p\in\mathbb P: 3\le p\le2m-3, \quad 2m-p\in\mathbb P \right\}. } $$ 所以： $$ \boxed{ M_{PP}>0 \Longleftrightarrow R_G^{-}(2m)>0. } $$ --- # 11. Reduced Count Relation 若： $$ m $$ prime， center： $$ m+m=2m $$ 在 ordered count只出現一次。 其他 unordered representations在 ordered count出現兩次。 所以： ## Theorem SRBRD-14-T03 $$ \boxed{ R_G^{-}(2m) = \frac{ M_{PP} + \mathbf1_{\mathbb P}(m) }{2}. } $$ 對： $$ m\ge3. $$ --- # 12. Prime-Majority Criterion 由 T02： $$ M_{SS}\ge0. $$ 因此： ## Theorem SRBRD-14-T04 若： $$ \boxed{ n_P>n_{SP}, } $$ 則： $$ \boxed{ M_{PP}>0. } $$ 所以： $$ \boxed{ R_G^{-}(2m)>0. } $$ 解釋： > 在 complement involution的 survivor population中， > semiprime endpoint最多只能一對一吸收同數量的 prime endpoints。 > 若 prime endpoints更多，多出的 prime必須和 prime配對。 --- # 13. Prime-Majority Lower Bound 更精確： $$ \boxed{ M_{PP} \ge n_P-n_{SP}. } $$ 因此： $$ \boxed{ R_G^{-}(2m) \ge \frac{ n_P-n_{SP} + \mathbf1_{\mathbb P}(m) }{2} } $$ 當右側 positive時可再取適當 integer lower interpretation。 --- # 14. Marginal-Only Sharpness 考慮只知道： $$ n_P, \quad n_{SP}, $$ 但不知道 pairing arithmetic。 aggregate symmetric nonnegative matrix： $$ \begin{pmatrix} M_{PP}&M_{PS}\\ M_{PS}&M_{SS} \end{pmatrix} $$ 只需滿足： $$ M_{PP}+M_{PS}=n_P, $$ $$ M_{PS}+M_{SS}=n_{SP}. $$ --- # 15. Marginal Transport No-Go ## Theorem SRBRD-14-T05 在 real nonnegative transport relaxation中， 給定： $$ n_P, n_{SP}, $$ 最小可能： $$ M_{PP} $$ 為： $$ \boxed{ \max \left( 0, n_P-n_{SP} \right). } $$ 所以： $$ \boxed{ \text{只靠 marginals， 不可能普遍得到比 prime-majority更強的 lower bound。} } $$ --- # 16. T05 Construction 若： $$ n_P\le n_{SP}, $$ 取： $$ M_{PP}=0, $$ $$ M_{PS}=n_P, $$ $$ M_{SS}=n_{SP}-n_P. $$ 若： $$ n_P>n_{SP}, $$ 取： $$ M_{PS}=n_{SP}, $$ $$ M_{SS}=0, $$ $$ M_{PP}=n_P-n_{SP}. $$ 所以 bound sharp。 --- # 17. Consequence 要超越： $$ n_P>n_{SP}, $$ 必須提供： $$ \boxed{ M_{SS} } $$ 的 positive lower bound。 這正好回到 SRBRD-13 的： $$ SP/SP $$ overlap。 --- # 18. Semiprime Matrix Diagonal 定義： $$ \boxed{ D_{\mathrm{diag}} = \sum_{r>0}M_{r,r}. } $$ 顯然： $$ \boxed{ M_{SS} \ge D_{\mathrm{diag}}. } $$ 所以 T02立刻給： ## Theorem SRBRD-14-T06 $$ \boxed{ M_{PP} \ge n_P-n_{SP}+D_{\mathrm{diag}}. } $$ --- # 19. Recursive Diagonal Closure Criterion ## Corollary SRBRD-14-C01 若： $$ \boxed{ n_P-n_{SP}+D_{\mathrm{diag}}>0, } $$ 則： $$ \boxed{ R_G^{-}(2m)>0. } $$ 這允許： > 即使 semiprime endpoints略多， > 只要 forced same-factor semiprime pairing足夠， > 仍可逼出 prime-prime pair。 --- # 20. Same-Factor Entry SRBRD-13 已證： 若： $$ M_{r,r}>0, $$ 則： $$ r\mid m. $$ 因： $$ rp+rq=2m $$ 且： $$ r $$ odd。 所以： $$ \boxed{ D_{\mathrm{diag}} = \sum_{\substack{ r>z\\ r\mid m }} M_{r,r}. } $$ --- # 21. Ordered Smaller-Goldbach Count 定義： $$ \boxed{ \widetilde R_{G,\ge r}(N) } $$ 為 ordered prime representation count： $$ \#\left\{ p\in\mathbb P: p\ge r, \quad N-p\in\mathbb P, \quad N-p\ge r \right\}. $$ 不要求： $$ p\le N-p. $$ --- # 22. Diagonal Recursive Bijection ## Theorem SRBRD-14-T07 對： $$ r>z, $$ $$ r\mid m, $$ 有： $$ \boxed{ M_{r,r}(m,z) = \widetilde R_{G,\ge r} \left( \frac{2m}{r} \right). } $$ proof： $$ x=rp, $$ $$ 2m-x=rq $$ 當且僅當： $$ p+q=2m/r, $$ 且： $$ p,q\ge r $$ 保證： $$ r $$ 為兩端 canonical least factor。 --- # 23. Recursive Diagonal Formula 因此： ## Corollary SRBRD-14-C02 $$ \boxed{ D_{\mathrm{diag}} = \sum_{\substack{ r\in\mathbb P\\ r>z\\ r\mid m }} \widetilde R_{G,\ge r} \left( \frac{2m}{r} \right). } $$ --- # 24. Recursive Aggregate Closure 結合 T06： ## Theorem SRBRD-14-T08 $$ \boxed{ M_{PP} \ge n_P-n_{SP} + \sum_{\substack{ r>z\\ r\mid m }} \widetilde R_{G,\ge r} \left( \frac{2m}{r} \right). } $$ 因此若右側 positive， Goldbach success。 --- # 25. Minimal-Counterexample Interface 假設： $$ 2m_* $$ 是最小 counterexample。 則每個合法 smaller even： $$ \frac{2m_*}{r} < 2m_* $$ 都有至少一個 Goldbach representation。 但 T08需要： $$ \boxed{ p,q\ge r. } $$ 所以 minimality只保證： $$ \widetilde R_G(2m_*/r)>0, $$ 不保證： $$ \widetilde R_{G,\ge r}(2m_*/r)>0. $$ 這個 threshold仍是 diagonal recursion的缺口。 --- # 26. Threshold-by-Representation-Count Lemma 若： $$ N $$ 的 reduced Goldbach representations全部具有 smaller prime： $$ \pi(r-1)-1, $$ 則： $$ \boxed{ \widetilde R_{G,\ge r}(N)>0. } $$ 對： $$ N\ge6 $$ 的 odd-prime pair setting。 --- # 27. Interpretation of T09 因此 diagonal term可以由 smaller-target representation abundance啟動： $$ \boxed{ \text{smaller Goldbach count} > \text{small-prime slots} } $$ $$ \Longrightarrow $$ $$ \boxed{ \text{same-factor semiprime overlap at the larger target}. } $$ 這不是 proof of abundance。 但建立一個 exact recursive capacity interface。 --- # 28. Off-Diagonal Semiprime Mass 定義： $$ \boxed{ D_{\mathrm{cross}} = \sum_{\substack{ r,s>0\\ r\neq s }} M_{r,s}. } $$ 則： $$ \boxed{ M_{SS} = D_{\mathrm{diag}} + D_{\mathrm{cross}}. } $$ 由 symmetry： $$ M_{r,s}=M_{s,r}. $$ 所以： $$ \boxed{ D_{\mathrm{cross}} = 2 \sum_{r0}^{\text{disjoint accounting}} L_{r,s}. } $$ 只要沒有重複計數， 就有： $$ \boxed{ M_{PP} \ge n_P-n_{SP}+L_{SS}. } $$ 所以 diagonal只是最自然的第一個 provider。 --- # 31. Prime/Semiprime Sign 在 cube-root P2 boundary上定義： $$ \boxed{ \varepsilon_z(x) = \begin{cases} -1, & x\text{ prime}, \\ +1, & x\text{ semiprime}. \end{cases} } $$ 因： - prime： $$ \Omega_{\mathrm{mult}}=1; $$ - semiprime： $$ \Omega_{\mathrm{mult}}=2; $$ 所以： $$ \boxed{ \varepsilon_z(x) = \lambda(x) } $$ 其中： $$ \lambda $$ 是 Liouville sign： $$ (-1)^{\Omega_{\mathrm{mult}}(x)}. $$ --- # 32. First Boundary Parity Moment 定義： $$ \boxed{ A_z(m) = \sum_{x\in\widehat{\mathcal S}_z} \varepsilon_z(x). } $$ 則： $$ \boxed{ A_z = n_{SP}-n_P. } $$ 所以 prime-majority： $$ n_P>n_{SP} $$ 等價： $$ \boxed{ A_z<0. } $$ --- # 33. Complement Parity Correlation 定義： $$ \boxed{ C_z(m) = \sum_{x\in\widehat{\mathcal S}_z} \varepsilon_z(x) \varepsilon_z(2m-x). } $$ 則： - PP貢獻： $$ +1; $$ - SS貢獻： $$ +1; $$ - mixed貢獻： $$ -1. $$ --- # 34. Exact Parity-Correlation Identity indicator： $$ \mathbf1_{\{x\text{ prime}\}} = \frac{1-\varepsilon_z(x)}{2} $$ 在 boundary上成立。 所以： ## Theorem SRBRD-14-T11 $$ \boxed{ M_{PP} = \frac{ |\widehat{\mathcal S}_z| - 2A_z + C_z }{4}. } $$ --- # 35. Exact Correlation Closure Criterion 由 T11： $$ \boxed{ M_{PP}>0 } $$ 當且僅當： $$ \boxed{ C_z > 2A_z - |\widehat{\mathcal S}_z|. } $$ 因： $$ M_{PP} $$ 非負 integer， failure時恰有 equality： $$ \boxed{ C_z = 2A_z - |\widehat{\mathcal S}_z|. } $$ --- # 36. Why This Is the Parity Barrier in One Equation SRBRD-13發現： fixed semiprime cells重新產生 two-affine-prime problems。 SRBRD-14現在把 aggregate版本壓成： $$ \boxed{ A_z } $$ 與： $$ \boxed{ C_z. } $$ 也就是： - 一點 Liouville imbalance； - complement Liouville correlation。 因此： $$ \boxed{ \text{如果一個 uniform method完全不控制 parity sign / correlation， 它不可能從這個 identity中逼出 }M_{PP}>0. } $$ 這是 semiprime boundary的 exact parity audit。 --- # 37. Marginal No-Go Reinterpreted 只知道： $$ n_P, n_{SP} $$ 等價只知道： $$ A_z. $$ 但若： $$ A_z\ge0, $$ prime-majority消失。 此時還需要： $$ C_z $$ 或 equivalent： $$ M_{SS} $$ lower information。 所以： $$ \boxed{ \text{one-point parity information不足時， 必須取得 two-point coupling information。} } $$ --- # 38. Diagonal Recursion as Correlation Source same-factor entries： $$ M_{r,r} $$ 全部屬： $$ SS, $$ 因此對： $$ C_z $$ 提供 positive same-sign states。 而： $$ M_{r,r} $$ 又可由 smaller Goldbach target表示。 所以 diagonal recursion是： $$ \boxed{ \text{smaller-target additive structure} \to \text{larger-target positive parity coupling} } $$ 的 exact bridge。 --- # 39. Finite Audit：$m=100$ 取： $$ z=6. $$ ordered survivor： $$ |\widehat{\mathcal S}_z|=28. $$ endpoint marginals： $$ n_P=22, $$ $$ n_{SP}=6. $$ matrix aggregate： $$ M_{PP}=16, $$ $$ M_{SS}=0. $$ 所以： $$ \boxed{ 16=22-6+0. } $$ prime-majority alone already closes。 --- # 40. Finite Audit：$m=199$ $$ z=8. $$ ordered survivor： $$ 29. $$ $$ n_P=21, $$ $$ n_{SP}=8. $$ $$ M_{PP}=13, $$ $$ M_{SS}=0. $$ 所以： $$ \boxed{ 13=21-8. } $$ center： $$ m=199 $$ prime， 因此： $$ R_G^{-}(398) = (13+1)/2 = 7. $$ --- # 41. Finite Audit：$m=1000$ $$ z=13. $$ $$ |\widehat{\mathcal S}_z|=136. $$ $$ n_P=101, $$ $$ n_{SP}=35. $$ $$ M_{SS}=8, $$ 其中： $$ D_{\mathrm{diag}}=0. $$ 所以： $$ \boxed{ M_{PP} = 101-35+8 = 74. } $$ 因此： $$ R_G^{-}(2000)=37. $$ prime-majority lower本身給： $$ M_{PP}\ge66. $$ cross semiprime overlap再補： $$ 8. $$ --- # 42. Finite Audit：$m=5000$ $$ z=22. $$ $$ |\widehat{\mathcal S}_z|=524. $$ $$ n_P=372, $$ $$ n_{SP}=152. $$ $$ M_{SS}=34, $$ $$ D_{\mathrm{diag}}=0. $$ 所以： $$ \boxed{ M_{PP} = 372-152+34 = 254. } $$ 因此： $$ R_G^{-}(10000)=127. $$ --- # 43. Finite Audit：Diagonal-Rich $m=105$ $$ z=6. $$ $$ |\widehat{\mathcal S}_z|=54. $$ $$ n_P=43, $$ $$ n_{SP}=11. $$ $$ M_{SS}=6, $$ 且： $$ \boxed{ D_{\mathrm{diag}}=6. } $$ 全部來自： $$ r=7. $$ 所以： $$ \boxed{ M_{PP} = 43-11+6 = 38. } $$ reduced： $$ R_G^{-}(210)=19. $$ diagonal： $$ M_{7,7}=6 $$ 正好是 smaller target： $$ 30 $$ 的 ordered： $$ p,q\ge7 $$ Goldbach count。 --- # 44. Finite Scan：$3\le m\le5000$ computational audit： 對每個： $$ 3\le m\le5000 $$ 取最小 integer： $$ z $$ 滿足： $$ z^3\ge2m-3. $$ 結果： $$ \boxed{ n_P>n_{SP} } $$ 在： $$ 4998/4998 $$ 個 cases全部成立。 沒有發現 prime-majority failure。 --- # 45. Scan Margin 在： $$ 3\le m\le5000 $$ 中： - 最小 absolute margin： $$ n_P-n_{SP}=1 $$ 出現在非常小的 boundary case； - 對： $$ n_{SP}>0 $$ 的 cases， 最小 observed ratio： $$ \boxed{ n_P/n_{SP}=1.8 } $$ 出現在： $$ m=496. $$ 這只是 computational evidence。 不能宣稱： $$ \boxed{ n_P>n_{SP} \text{ universally}. } $$ --- # 46. Larger Selected Controls selected finite audits： ### $m=10000$ $$ n_P=663, $$ $$ n_{SP}=291. $$ ### $m=20000$ $$ n_P=1146, $$ $$ n_{SP}=516. $$ ### $m=50000$ $$ n_P=2379, $$ $$ n_{SP}=1053. $$ ### $m=100000$ $$ n_P=4258, $$ $$ n_{SP}=2100. $$ prime-majority仍成立。 同樣只是 evidence。 --- # 47. Why the Majority Pattern Is Interesting cube-root RootRough composite survivors必須是： $$ rp, $$ 其中： $$ zn_{SP} $$ 並非完全意外。 但 paired condition： $$ 2m-x \text{ also RootRough} $$ 使它不是單純比較全區間 prime count與 semiprime count。 --- # 48. Why Majority Is Still a Parity-Sensitive Target $$ n_P-n_{SP} = -A_z. $$ 而： $$ A_z $$ 是 RootRough pair population上的 Liouville sign sum。 所以證： $$ \boxed{ n_P>n_{SP} } $$ 等價於證： $$ \boxed{ A_z<0. } $$ 這不是 ordinary unsigned sieve density statement。 它直接要求： $$ \boxed{ \text{parity imbalance}. } $$ 因此 finite evidence再強，也不能直接跳成 theorem。 --- # 49. Aggregate Closure Hierarchy 目前可以把 semiprime boundary closure分成： ### Level 1 — Prime Majority $$ n_P>n_{SP}. $$ ### Level 2 — Recursive Diagonal Rescue $$ n_P-n_{SP} + D_{\mathrm{diag}} >0. $$ ### Level 3 — Selected Cross-Cell Rescue $$ n_P-n_{SP} + D_{\mathrm{diag}} + L_{\mathrm{cross}} >0. $$ ### Level 4 — Exact $$ M_{PP} = n_P-n_{SP} + M_{SS}. $$ --- # 50. Transport-Polytope Interpretation matrix： $$ M_{a,b} $$ 是一個： - symmetric； - nonnegative； - integer； transport object， row sums： $$ n_a $$ 固定。 arithmetic決定哪些： $$ (a,b) $$ cells： - possible； - impossible； - forced； - recursively lower-bounded。 所以 SRBRD-14 將問題轉成： $$ \boxed{ \text{symmetric arithmetic transport polytope}. } $$ Goldbach cell就是： $$ \boxed{ M_{0,0}. } $$ --- # 51. Fine-Label Capacity 對 semiprime label： $$ r, $$ row： $$ n_r $$ 分成： $$ \boxed{ n_r = M_{r,0} + M_{r,r} + \sum_{s\neq r,\ s>0}M_{r,s}. } $$ 若： $$ M_{r,r} $$ 或 selected cross terms被迫 positive， 能直接降低 row： $$ r $$ 用來和 prime label： $$ 0 $$ 配對的最大容量。 這是 finer-than-majority 的 transport mechanism。 --- # 52. General Row-Capacity Closure 若對每個 semiprime label： $$ r $$ 能證 internal semiprime coupling lower： $$ \boxed{ I_r \le M_{r,r} + \sum_{s>0,s\neq r}M_{r,s}, } $$ 則： $$ M_{r,0} \le n_r-I_r. $$ summation： $$ M_{PS} \le n_{SP} - \sum_r I_r $$ 若 accounting不重複。 因此： $$ \boxed{ M_{PP} = n_P-M_{PS} \ge n_P-n_{SP} +\sum_rI_r. } $$ 這是 general transport-capacity closure。 --- # 53. Double-Counting Warning 若 cross cell： $$ M_{r,s} $$ 同時被： $$ I_r $$ 與： $$ I_s $$ 計入， 會 double-count。 所以 rigorous provider必須： - orient cross cells； - 或用 half-weights； - 或直接建立 matching / flow certificate。 這是 SRBRD-15 可以處理的 graph layer。 --- # 54. Parity-Correlation vs Transport 兩種語言 exact等價： ## Transport $$ M_{PP} = n_P-n_{SP}+M_{SS}. $$ ## Parity $$ M_{PP} = \frac{ |\widehat{\mathcal S}_z| - 2A_z + C_z }{4}. $$ transport語言適合： - row capacities； - diagonal recursion； - cell graph。 parity語言適合： - barrier comparison； - correlation estimates； - analytic number theory interface。 --- # 55. Main No-Go of This Round 本輪沒有找到： $$ \boxed{ \text{純 combinatorial marginal theorem} } $$ 能在： $$ n_P\le n_{SP} $$ 時自動逼出： $$ M_{PP}>0. $$ T05證明這不可能。 所以真正的新信息必須來自： $$ \boxed{ \text{arithmetic forced semiprime–semiprime coupling}. } $$ --- # 56. Formal Theorem Queue ```yaml SRBRD_14: T01: transport_matrix_symmetric T02: M_PP_eq_nP_minus_nSP_plus_MSS T03: reduced_Goldbach_from_ordered_PP T04: prime_majority_implies_Goldbach T05: marginal_only_transport_bound_is_sharp T06: diagonal_recursive_lower_bound T07: diagonal_entry_eq_smaller_ordered_Goldbach_count T08: aggregate_recursive_diagonal_closure T09: smaller_representation_abundance_implies_thresholded_diagonal T10: diagonal_parity_center_rule T11: exact_boundary_parity_correlation_identity ``` --- # 57. Acceptance Gate SRBRD-14 formal core前需： 1. ordered boundary domain； 2. complement involution； 3. P/SP canonical label； 4. matrix symmetry； 5. row marginal identities； 6. ordered/reduced Goldbach bridge； 7. prime-majority theorem； 8. marginal-sharpness no-go； 9. same-factor diagonal recursion； 10. thresholded smaller-Goldbach interface； 11. cross-cell parity； 12. Liouville sign identity； 13. finite scan separated from theorem； 14. no universal prime-majority claim； 15. no Goldbach proof claim。 --- # 58. Verdict 本輪可以正式給： $$ \boxed{ \mathrm{SRBRD\mbox{-}14\ AGGREGATE\ TRANSPORT\ KERNEL\ PASS}. } $$ 核心 exact identity： $$ \boxed{ M_{PP} = n_P-n_{SP}+M_{SS}. } $$ 第一個非常簡潔的 closure： $$ \boxed{ n_P>n_{SP} \Longrightarrow \text{Goldbach success}. } $$ 第二個更強的 recursive closure： $$ \boxed{ n_P-n_{SP} + \sum_{\substack{ r>z\\ r\mid m }} \widetilde R_{G,\ge r} \left( \frac{2m}{r} \right) >0 } $$ $$ \Longrightarrow $$ $$ \boxed{ \text{Goldbach success}. } $$ 但： $$ \boxed{ \mathrm{UNIFORM\ PRIME\mbox{-}MAJORITY\ NOT\ PROVED}. } $$ 而其 sign form： $$ A_z<0 $$ 本身已明確暴露 parity sensitivity。 所以： $$ \boxed{ \mathrm{GOLDBACH\ STILL\ OPEN}. } $$ --- # 59. 下一輪建議 # SRBRD-15 ## Boundary Parity-Imbalance / Semiprime Transport Capacity Closure 有兩條值得同時攻： ### Route A — Prime-Majority 研究： $$ \boxed{ A_z = n_{SP}-n_P } $$ 能否 uniform證： $$ A_z<0. $$ finite evidence目前非常強， 但這條路直接觸碰 parity sign。 ### Route B — Transport Rescue 即使： $$ A_z\ge0, $$ 研究 fine semiprime labels： $$ r,s $$ 之間是否有 forced internal coupling， 使： $$ M_{SS}>A_z. $$ 因： $$ \boxed{ M_{PP} = M_{SS}-A_z. } $$ 最值得先做： 1. row-capacity graph； 2. same-factor recursive diagonal； 3. off-diagonal cell support restrictions； 4. matching / flow lower bound； 5. selected cross-cell lower certificates； 6. 將 cell coupling做成不重複計數的 transport lower bound。 這一層若成功， 就可能在不直接證： $$ A_z<0 $$ 的情況下， 仍以： $$ \boxed{ M_{SS}>A_z } $$ 完成 parity rescue。 --- # 附錄 A：Ordered Transport Contract ```yaml ordered_survivor: x: odd: true 3 <= x <= 2m-3 complement: 2m-x both_RootRough: true label: 0: prime r_positive: semiprime_lpf matrix: M_a_b: count: label(x)=a label(2m-x)=b symmetry: M_a_b = M_b_a ``` --- # 附錄 B：Aggregate Identity ```yaml marginals: nP: M_PP + M_PS nSP: M_PS + M_SS identity: M_PP: nP - nSP + M_SS majority: if: nP > nSP then: M_PP > 0 ``` --- # 附錄 C：Recursive Diagonal ```yaml D_diag: sum: M_r_r support: only_if: r divides m r > z identity: M_r_r: ordered_Goldbach_count: target: 2m/r both_primes_ge: r lower: M_PP >= nP - nSP + D_diag ``` --- # 附錄 D：Parity Correlation ```yaml epsilon: prime: -1 semiprime: +1 A_z: sum_epsilon: nSP - nP C_z: sum: epsilon(x)*epsilon(2m-x) identity: M_PP: (card(S_hat)-2*A_z+C_z)/4 failure_equality: C_z: 2*A_z-card(S_hat) ``` --- # 附錄 E：Selected Audit | $m$ | $z$ | $|\widehat{\mathcal S}_z|$ | $n_P$ | $n_{SP}$ | $M_{PP}$ | $M_{SS}$ | $D_{\mathrm{diag}}$ | |---:|---:|---:|---:|---:|---:|---:|---:| | 100 | 6 | 28 | 22 | 6 | 16 | 0 | 0 | | 199 | 8 | 29 | 21 | 8 | 13 | 0 | 0 | | 1000 | 13 | 136 | 101 | 35 | 74 | 8 | 0 | | 5000 | 22 | 524 | 372 | 152 | 254 | 34 | 0 | | 105 | 6 | 54 | 43 | 11 | 38 | 6 | 6 | --- # 附錄 F：Prime-Majority Scan ```yaml range: m: min: 3 max: 5000 cutoff: z: least_integer_with: z^3 >= 2m-3 result: nP_greater_than_nSP: passed: 4998 total: 4998 minimum_observed_ratio_with_nSP_positive: nP_over_nSP: 1.8 m: 496 status: computational_evidence_only: true ``` --- # 附錄 G：Commit Decision ```yaml research_round: SRBRD-14 decision: symmetric_transport_matrix: true prime_majority_closure: true marginal_only_no_go: true recursive_diagonal_provider: true parity_correlation_identity: true universal_prime_majority: false goldbach_proved: false next: SRBRD-15_BoundaryParityImbalance_SemiprimeTransportCapacity_Closure ```