# SRBRD-12 ## Cofactor-State / Bilinear Division Closure ### Canonical Least-Factor Split、Division Depth、Almost-Prime Hierarchy 與 Double-Composite Bilinear Lattice **母計畫：** RG-SCP / Reverse Goldbach Structural Closure Program **支線：** SRBRD — Symmetric Root-Bounded Relation Domain **輪次：** SRBRD-12 **日期：** 2026-09-30 **版本：** v0.1 **作者：** Neo.K；Aletheia（GPT-5.6 Sol） **性質：** Exact Cofactor-State Kernel / Bilinear Reformulation / Parity-Escape Audit **前置：** SRBRD-00 ～ SRBRD-11 **狀態：** 建立 canonical cofactor recursion與 bilinear state partition；Goldbach仍未證明 --- # 0. 本輪起點 SRBRD-11 已辨識： $$ \boxed{ \text{fixed-cutoff residue sieve} } $$ 只能排除 small-factor actions。 如果： $$ x $$ 是： $$ z\text{-rough} $$ 但 composite， 則仍可能： $$ \boxed{ x=ab, \qquad a,b>z. } $$ 所以真正需要保留的不只是： > 哪一個 prime 可以除？ 而是： > **除完之後剩下哪一個 cofactor？** 這正是最初「第二次除法」直覺的 formal version。 SRBRD-12 因此把 obstruction state從： $$ (r,\sigma) $$ 升成： $$ \boxed{ (r,a,\sigma) } $$ 其中： $$ m+\sigma d=ra. $$ 並且不使用任意 divisor split，而使用： $$ \boxed{ r=\operatorname{lpf}(m+\sigma d). } $$ 如此 composite endpoint的 cofactor state唯一。 --- # 1. Canonical Odd Composite Split 令： $$ x\ge3 $$ 為 odd composite。 定義： $$ \boxed{ r(x) = \operatorname{lpf}(x), } $$ 以及： $$ \boxed{ a(x) = \frac{x}{r(x)}. } $$ 所以： $$ \boxed{ x=r(x)a(x). } $$ --- # 2. Canonical Split Basic Properties ## Theorem SRBRD-12-T01 若： $$ x $$ odd composite， 則： $$ \boxed{ r(x) } $$ 為 odd prime， $$ \boxed{ r(x)^2\le x, } $$ 所以： $$ \boxed{ r(x)\le a(x). } $$ --- # 3. Cofactor Roughness 因： $$ r(x) $$ 是 least prime factor， 任意 prime： $$ s\mid a(x) $$ 也整除： $$ x. $$ 所以： ## Theorem SRBRD-12-T02 $$ \boxed{ s\in\mathbb P, \quad s\mid a(x) \Longrightarrow r(x)\le s. } $$ 也就是： $$ \boxed{ a(x) \text{ is }r(x)\text{-rough from below}. } $$ --- # 4. Canonical Cofactor Predicate 定義： $$ \boxed{ \operatorname{CanonicalSplit}(x;r,a) } $$ 當： 1. $x=ra$； 2. $r$ odd prime； 3. $r\le a$； 4. 每個 prime divisor： $$ s\mid a $$ 都滿足： $$ r\le s. $$ --- # 5. Canonical Split Characterization ## Theorem SRBRD-12-T03 對 odd： $$ x\ge3, $$ $$ \boxed{ x\text{ composite} } $$ 當且僅當存在唯一： $$ (r,a) $$ 使： $$ \boxed{ \operatorname{CanonicalSplit}(x;r,a). } $$ 而唯一 pair就是： $$ \boxed{ r=\operatorname{lpf}(x), \qquad a=x/r. } $$ --- # 6. Why Arbitrary Divisor States Are Not Canonical 例如： $$ x=105. $$ 可以寫： $$ 105=3\cdot35, $$ $$ 105=5\cdot21, $$ $$ 105=7\cdot15. $$ 但 canonical split只有： $$ \boxed{ 105=3\cdot35. } $$ 因： $$ 3=\operatorname{lpf}(105). $$ 所以 cofactor-state domain不會重複計同一 composite endpoint。 --- # 7. First Division State 對 composite： $$ x, $$ canonical first division： $$ \boxed{ x \xrightarrow{/r_1} x_1, } $$ 其中： $$ r_1=\operatorname{lpf}(x), $$ $$ x_1=x/r_1. $$ 由 T02： $$ \operatorname{lpf}(x_1)\ge r_1 $$ 若： $$ x_1 $$ 仍 composite。 --- # 8. Second Division State 如果： $$ x_1 $$ composite， 再定義： $$ r_2=\operatorname{lpf}(x_1), $$ $$ x_2=x_1/r_2. $$ 則： $$ \boxed{ r_1\le r_2. } $$ 繼續遞迴： $$ x = r_1r_2\cdots r_t p $$ 其中： $$ \boxed{ r_1\le r_2\le\cdots\le r_t\le p } $$ 且： $$ p $$ prime。 這就是 sorted prime factorization chain。 --- # 9. Division Depth 對： $$ x\ge2, $$ 定義： $$ \boxed{ \delta(x) } $$ 遞迴： ### Prime $$ \boxed{ x\in\mathbb P \Longrightarrow \delta(x)=0. } $$ ### Composite 若： $$ x=r\,a $$ 為 canonical split， 則： $$ \boxed{ \delta(x)=1+\delta(a). } $$ --- # 10. Finite Termination 若： $$ x $$ odd composite， $$ r\ge3. $$ 所以： $$ a=x/r\le x/3z. $$ 由： $$ a(x)\ge r(x), $$ 所以： $$ \boxed{ a(x)>z. } $$ 如果： $$ a(x) $$ composite， 其 least prime factor： $$ r_2\ge r_1>z. $$ 因此 roughness沿 canonical division chain保持。 --- # 14. Rough Division Chain ## Theorem SRBRD-12-T06 若： $$ x $$ 為： $$ z\text{-rough}, $$ 並有 canonical prime chain： $$ x=p_1p_2\cdots p_t, $$ 則： $$ \boxed{ zz^t. } $$ --- # 15. Almost-Prime Hierarchy 若： $$ x\le X $$ 且： $$ z^{h+1}\ge X, $$ 則不可能： $$ \Omega_{\mathrm{mult}}(x)\ge h+1, $$ 因那會給： $$ x>z^{h+1}\ge X, $$ 矛盾。 所以： ## Theorem SRBRD-12-T07 若： $$ x\le X, $$ $$ \operatorname{Rough}_z(x), $$ $$ z^{h+1}\ge X, $$ 則： $$ \boxed{ \Omega_{\mathrm{mult}}(x)\le h. } $$ 等價： $$ \boxed{ \delta(x)\le h-1. } $$ --- # 16. Square-Root Completion as Depth Zero 取： $$ h=1. $$ 若： $$ z^2\ge X, $$ 則： $$ \Omega_{\mathrm{mult}}(x)\le1. $$ 因： $$ x\ge2, $$ 所以： $$ \boxed{ x\text{ prime}. } $$ 這就是 SRBRD-11 root-completion theorem。 --- # 17. Cube-Root Completion as P2 取： $$ h=2. $$ 若： $$ z^3\ge X, $$ 則： $$ \Omega_{\mathrm{mult}}(x)\le2. $$ 所以： $$ \boxed{ x \text{ is prime or semiprime}. } $$ 若再已知： $$ x $$ composite， 則： $$ \boxed{ x \text{ is semiprime}. } $$ --- # 18. Second-Division Gap 所以從： $$ z^3\ge X $$ 到： $$ z^2\ge X $$ 之間， 唯一可能剩下的 composite false survivors是： $$ \boxed{ x=rp, \qquad r,p>z } $$ with primes： $$ r\le p. $$ 也就是： $$ \boxed{ \delta(x)=1. } $$ 真正的「第二次 division」已經消失， 但「第一次 division」仍可能存在。 這是 prime vs semiprime 的精確 gap。 --- # 19. External Chen Benchmark Reinterpreted 已知 Chen-type Goldbach theorem的 benchmark是： > sufficiently large even integer可寫成 prime + $P_2$。 在本語言中： $$ P_2 $$ 就是： $$ \boxed{ \delta(x)\le1. } $$ 所以 Chen frontier可以讀成： > 一側 endpoint depth $0$，另一側 endpoint depth至多 $1$。 這和 SRBRD-11 / 12 的 division-depth hierarchy完全相容。 這只是 external benchmark，不是本文件新證明。 --- # 20. Endpoint State Type 對： $$ x\ge3 $$ odd， 定義 canonical endpoint state： $$ \boxed{ \mathsf E(x) = \begin{cases} \operatorname{Atom}(x), & x\in\mathbb P, \\ \operatorname{Split}(r(x),a(x)), & x\text{ composite}. \end{cases} } $$ 這個 state唯一。 --- # 21. Pair State 對： $$ d\in\Omega_m, $$ 令： $$ x=m-d, $$ $$ y=m+d. $$ 則 pair state： $$ \boxed{ \mathsf P_m(d) = \left( \mathsf E(x), \mathsf E(y) \right). } $$ 只有四種 top-level categories： 1. Atom / Atom； 2. Split / Atom； 3. Atom / Split； 4. Split / Split。 --- # 22. Goldbach State ## Theorem SRBRD-12-T08 $$ \boxed{ d\in\operatorname{Res}(m) } $$ 當且僅當： $$ \boxed{ \mathsf P_m(d) = \operatorname{Atom}/\operatorname{Atom}. } $$ Goldbach failure： $$ \operatorname{Res}(m)=\varnothing $$ 即： > 所有 offsets都落在其餘三類。 --- # 23. Important Logical Boundary Goldbach failure只保證： $$ \boxed{ \text{至少一側 Split}. } $$ 它**不保證**： $$ \boxed{ \text{兩側都 Split}. } $$ 因此： $$ ar+bs=2m $$ 只描述： # Double-Composite State 不能拿來直接代表全部 failure domain。 這是本輪必須保留的 logical firewall。 --- # 24. Left-Split / Right-Atom State 若： $$ x=m-d $$ composite， $$ y=m+d $$ prime， canonical： $$ x=ra. $$ 所以： $$ \boxed{ ra+p=2m, } $$ 其中： $$ p=y $$ prime， $$ r $$ prime， $$ a\ge r, $$ 且： $$ a $$ 所有 prime divisors： $$ \ge r. $$ --- # 25. Left-Atom / Right-Split State 同理： $$ \boxed{ p+sb=2m. } $$ 其中： $$ s\le b $$ 並： $$ b $$ 為 $s$-rough。 --- # 26. Double-Split State 若兩 endpoints都 composite： $$ m-d=ra, $$ $$ m+d=sb, $$ 其中： $$ r=\operatorname{lpf}(m-d), $$ $$ s=\operatorname{lpf}(m+d). $$ 相加： ## Theorem SRBRD-12-T09 $$ \boxed{ ra+sb=2m. } $$ 相減： $$ \boxed{ sb-ra=2d. } $$ 並有： $$ \boxed{ r\le a, \qquad s\le b. } $$ 以及： $$ \boxed{ a\text{ is }r\text{-rough}, \qquad b\text{ is }s\text{-rough}. } $$ --- # 27. Double-State Center Orientation 因： $$ d\ge0, $$ 有： $$ \boxed{ ra\le sb. } $$ 所以： $$ \boxed{ ra\le m\le sb. } $$ 這是 cofactor-state version的 reduced orientation。 --- # 28. Shared Canonical Least Factor 若： $$ r=s, $$ 則： $$ r(a+b)=2m. $$ 因： $$ r $$ odd， 所以： ## Theorem SRBRD-12-T10 $$ \boxed{ r=s \Longrightarrow r\mid m. } $$ 而： $$ sb-ra = r(b-a) = 2d, $$ 所以： $$ \boxed{ r\mid d. } $$ 這就是 symmetric shared-prime collapse在 canonical cofactor語言中的 exact form。 --- # 29. Distinct Least Factors 若： $$ r\neq s, $$ 則： $$ \gcd(r,s)=1. $$ bilinear equation： $$ ra+sb=2m. $$ 因此： $$ \boxed{ a \equiv 2m\,r^{-1} \pmod s, } $$ 以及： $$ \boxed{ b \equiv 2m\,s^{-1} \pmod r. } $$ --- # 30. Odd Cofactor Lattice 因： $$ r,s,a,b $$ 皆 odd， 任意 integer solution： $$ a=a_0+st, $$ $$ b=b_0-rt $$ 中， parity每次： $$ t\mapsto t+1 $$ 會同時翻轉： $$ a,b. $$ 所以選定一個 odd solution： $$ (a_*,b_*), $$ 全部 odd solutions是： ## Theorem SRBRD-12-T11 $$ \boxed{ a = a_*+2sn, } $$ $$ \boxed{ b = b_*-2rn, } $$ for： $$ n\in\mathbb Z. $$ 這是 double-composite cofactor lattice。 --- # 31. Finite Cofactor Interval canonical constraints： $$ a\ge r, $$ $$ b\ge s, $$ 以及： $$ ra\le m. $$ 由： $$ ra+sb=2m, $$ 最後一條等價： $$ sb\ge m. $$ 所以： $$ \boxed{ r \le a \le \left\lfloor \frac mr \right\rfloor. } $$ 而： $$ b = \frac{2m-ra}{s} $$ 自動 finite。 因此 fixed： $$ r,s $$ 的 odd bilinear cofactor lattice只有有限多個 candidates。 --- # 32. Cofactor Roughness Filter 但是任意： $$ a,b $$ 滿足： $$ ra+sb=2m $$ 與： $$ a\ge r, \quad b\ge s $$ 還不保證： $$ r,s $$ 是 canonical least factors。 還必須： $$ \boxed{ \forall p\mid a,\ p\in\mathbb P \Rightarrow p\ge r, } $$ 以及： $$ \boxed{ \forall q\mid b,\ q\in\mathbb P \Rightarrow q\ge s. } $$ 所以 exact double-state domain是： $$ \boxed{ \text{1D odd bilinear lattice} + \text{two recursive roughness filters}. } $$ --- # 33. This Is More Than a Residue Cell 如果只保留： $$ ra+sb=2m $$ mod： $$ r,s, $$ 就退化回 SRBRD residue / CRT language。 新的 information是： $$ \boxed{ a, b } $$ 被保留下來， 並帶有： $$ \boxed{ \text{recursive least-factor constraints}. } $$ 這是 SRBRD-12 真正可能提供 source escape 的地方。 --- # 34. Cofactor Recursion 如果： $$ a $$ prime， left endpoint： $$ ra $$ 為 semiprime， division depth： $$ 1. $$ 如果： $$ a $$ composite， canonical再 split： $$ a=r_2a_2 $$ with： $$ r_2\ge r. $$ 所以： $$ m-d = r r_2 a_2. $$ 這建立： $$ \boxed{ \text{cofactor-of-cofactor recursion}. } $$ --- # 35. Monotone Division Chain 對任一 odd endpoint： $$ x, $$ canonical chain： $$ \boxed{ x = p_1p_2\cdots p_t, } $$ 滿足： $$ \boxed{ p_1\le p_2\le\cdots\le p_t. } $$ 所以每做一次 division： - current value下降； - least admissible next factor不下降。 這是一個雙單調有限 process。 --- # 36. Pairwise Division Depth 對： $$ d, $$ 定義： $$ \boxed{ \Delta_{\mathrm{div}}(m,d) = \delta(m-d) + \delta(m+d). } $$ 則： $$ \boxed{ d\in\operatorname{Res}(m) \Longleftrightarrow \Delta_{\mathrm{div}}(m,d)=0. } $$ failure offset： $$ \Delta_{\mathrm{div}}\ge1. $$ double-composite offset： $$ \boxed{ \delta(m-d)\ge1 \land \delta(m+d)\ge1. } $$ --- # 37. Product Budget for Division Depth prime factor multiplicities satisfy： $$ m-d \ge 3^{\Omega_{\mathrm{mult}}(m-d)}, $$ $$ m+d \ge 3^{\Omega_{\mathrm{mult}}(m+d)}. $$ 相乘： $$ m^2-d^2 \ge 3^{ \Omega_{\mathrm{mult}}(m-d) + \Omega_{\mathrm{mult}}(m+d) }. $$ 所以： ## Theorem SRBRD-12-T12 $$ \boxed{ \Omega_{\mathrm{mult}}(m-d) + \Omega_{\mathrm{mult}}(m+d) \le \left\lfloor \log_3(m^2-d^2) \right\rfloor. } $$ paper notation如不希望 real log， 可保留 equivalent exponential form： $$ \boxed{ 3^t>m^2-d^2 \Longrightarrow \Omega_L+\Omega_R z^T. } $$ 因此： $$ \boxed{ z^T \ge m^2-d^2 \Longrightarrow \Omega_L+\Omega_R 某些 offsets兩側都 $z$-rough， 並： $$ z^3\ge2m-3, $$ 那麼剩下的 gap不再是 general composite。 而是： $$ \boxed{ \text{如何排除每個 survivor offset至少一側為 semiprime？} } $$ 這就是： $$ \boxed{ \text{Prime vs Semiprime} } $$ 的 division-depth parity gap。 --- # 41. Canonical Semiprime State 若： $$ x $$ semiprime odd， canonical： $$ x=rp $$ 其中： $$ r\le p $$ 都是 odd primes。 所以 semiprime state可以寫： $$ \boxed{ \operatorname{Semi}(r,p). } $$ 且： $$ \delta(x)=1. $$ --- # 42. Semiprime–Prime Equation 若 left semiprime，right prime： $$ \boxed{ rp+q=2m. } $$ 若 left prime，right semiprime： $$ \boxed{ p+rs=2m. } $$ 若雙側 semiprime： $$ \boxed{ rp+sq=2m. } $$ 其中所有 variables prime並有 canonical ordering： $$ r\le p, \qquad s\le q. $$ 這是 cube-root sieve completion後真正剩下的 finite-state bilinear problem。 --- # 43. Why This Is the Right Parity-Escape Target local sieve很擅長證： > endpoint沒有小 prime factors。 但到了： $$ z^3\ge X, $$ 這已把 composite survivors壓成： $$ \boxed{ \text{兩大 prime factors}. } $$ 因此要從： $$ P_2 $$ 到 prime， 必須辨識： $$ rp $$ 這種 bilinear semiprime state。 所以 parity escape的核心應該直接攻： $$ \boxed{ \text{semiprime cofactor states} } $$ 而不是再增加更多 fixed small-factor residues。 --- # 44. Exact State Partition of Offset Domain 定義： $$ \Omega_{PP}, \quad \Omega_{CP}, \quad \Omega_{PC}, \quad \Omega_{CC}. $$ 分別表示： - prime / prime； - composite / prime； - prime / composite； - composite / composite。 則： ## Theorem SRBRD-12-T13 $$ \boxed{ \Omega_m = \Omega_{PP} \bigsqcup \Omega_{CP} \bigsqcup \Omega_{PC} \bigsqcup \Omega_{CC}. } $$ 且： $$ \boxed{ \Omega_{PP} = \operatorname{Res}(m). } $$ 所以： $$ \boxed{ R_G^{-}(2m) = |\Omega_{PP}|. } $$ --- # 45. Failure State Identity Goldbach failure： $$ \Omega_{PP}=\varnothing. $$ 所以： $$ \boxed{ \Omega_m = \Omega_{CP} \bigsqcup \Omega_{PC} \bigsqcup \Omega_{CC}. } $$ 這比直接說「每個 offset至少一側 composite」更適合 cofactor-state counting。 --- # 46. Inclusion-Exclusion Form 令： $$ C_L = \Omega_{CP}\cup\Omega_{CC}, $$ $$ C_R = \Omega_{PC}\cup\Omega_{CC}. $$ 則： $$ \boxed{ |\Omega_{PP}| = |\Omega_m| - |C_L| - |C_R| + |\Omega_{CC}|. } $$ 這是 canonical left/right composite-state identity。 --- # 47. Why Double-Composite Lower Bound Matters 要證： $$ |\Omega_{PP}|>0, $$ 如果： $$ |C_L|+|C_R| > |\Omega|, $$ 就需要： $$ \boxed{ |\Omega_{CC}| } $$ 提供足夠 overlap correction。 這和前面 occupancy overlap精神一致， 但現在： $$ \Omega_{CC} $$ 可以由 canonical bilinear cofactor equation： $$ ra+sb=2m $$ 研究。 --- # 48. Cofactor-State Counting Interface 對： $$ r,s $$ 定義： $$ \boxed{ \mathcal B_{r,s}(m) } $$ 為 canonical double-split states： $$ (a,b) $$ 滿足： 1. $$ ra+sb=2m; $$ 2. $$ r\le a; $$ 3. $$ s\le b; $$ 4. $$ a \text{ is }r\text{-rough}; $$ 5. $$ b \text{ is }s\text{-rough}; $$ 6. $$ ra\le sb. $$ 則： $$ \boxed{ |\Omega_{CC}| = \sum_{r,s} |\mathcal B_{r,s}(m)|. } $$ 因 canonical least factors唯一， 不同： $$ (r,s) $$ cells disjoint。 --- # 49. Canonical Bilinear Partition ## Theorem SRBRD-12-T14 double-composite offsets： $$ d\in\Omega_{CC} $$ 與 tuples： $$ (r,a,s,b) $$ 滿足上述 canonical bilinear conditions之間存在 bijection： $$ \boxed{ d \longleftrightarrow (r,a,s,b). } $$ 其中： $$ d = \frac{sb-ra}{2}. $$ --- # 50. This Removes Obstruction Multiplicity 原 root relation中同一 composite endpoint可能被多個 prime divisors hit。 canonical cofactor-state只保留： $$ \boxed{ \operatorname{lpf}. } $$ 所以： - left composite： 唯一 label； - right composite： 唯一 label。 double composite： $$ \boxed{ (r,s) } $$ 唯一。 這將 high-multiplicity overlap轉成 disjoint canonical bilinear cells。 --- # 51. But Canonical Roughness Is the New Cost 代價是： > 要證某 tuple屬： > $$ > \mathcal B_{r,s} > $$ > 必須確認： > $$ > a > \text{ is }r\text{-rough}, > $$ > $$ > b > \text{ is }s\text{-rough}. > $$ 所以 multiplicity消失後， 困難被轉移到： $$ \boxed{ \text{recursive cofactor roughness}. } $$ 這正是需要進一步研究的地方。 --- # 52. Roughness Recursion Is Monotone 若： $$ a $$ 為 $r$-rough composite， 下一個 least factor： $$ r_2 $$ 滿足： $$ \boxed{ r_2\ge r. } $$ 所以 recursion不是任意回到 small primes。 它形成： $$ \boxed{ \text{nondecreasing factor-threshold chain}. } $$ 這可能比普通 sieve recursion更有結構。 --- # 53. Finite Cofactor-Depth Tree 對 endpoint： $$ x\le2m-3, $$ 每步 canonical division至少除以： $$ 3. $$ 所以： $$ \boxed{ \delta(x) \le \left\lfloor \log_3 x \right\rfloor-1. } $$ 因此每個 endpoint cofactor recursion都是 finite tree path。 實際上 canonicality使它是一條唯一 path。 --- # 54. Cofactor-State Graph 可定義 directed graph： $$ \boxed{ x \to a(x) } $$ for odd composite： $$ x. $$ prime nodes為 terminal。 這是一個 strictly decreasing DAG。 每個 node out-degree： $$ \boxed{ 0\text{ or }1. } $$ 所以 canonical cofactor dynamics其實是一個 forest of chains。 --- # 55. Pair Cofactor Dynamics 對 offset pair： $$ (x,y), $$ 可以： - 若 left composite： $$ x\to a(x); $$ - 若 right composite： $$ y\to a(y). $$ pair state因此逐層降低 composite complexity。 Goldbach success就是： $$ \boxed{ \text{depth }(0,0). } $$ failure則： $$ \boxed{ \text{至少一個 depth}>0. } $$ --- # 56. Potential Closure Idea 如果能找到 pair-level invariant： $$ \boxed{ I(x,y) } $$ 使： 1. 每次 canonical cofactor projection： $$ (x,y)\to(x',y') $$ 保持或單調改變； 2. 所有 failure pair states最終必落到不可能 terminal combination； 3. prime-prime state不被排除； 那就可能形成： $$ \boxed{ \text{cofactor-depth closure proof}. } $$ 目前尚未找到這種 invariant。 --- # 57. Computationally Useful First Target 在正式找 invariant前， 先研究： $$ \boxed{ \mathcal B_{r,s}(m) } $$ 的 size。 對 distinct： $$ r,s, $$ odd candidate cofactors沿： $$ a=a_*+2sn, $$ $$ b=b_*-2rn. $$ 所以在忽略 roughness前： $$ \boxed{ \text{候選 bilinear states形成一維 finite lattice}. } $$ roughness再把它篩成 canonical states。 --- # 58. Raw Bilinear Capacity 定義： $$ \boxed{ \mathcal B^{raw}_{r,s}(m) } $$ 只要求： - $ra+sb=2m$； - $a,b$ odd； - $a\ge r$； - $b\ge s$； - $ra\le sb$。 則： $$ \boxed{ \mathcal B_{r,s}(m) \subseteq \mathcal B^{raw}_{r,s}(m). } $$ raw cell cardinality可以由一維 lattice interval exact計數。 這提供 canonical double-composite cell的 proof-admissible upper bound。 --- # 59. Rough Bilinear Capacity 下一層加入： $$ a \text{ is }r\text{-rough}, $$ $$ b \text{ is }s\text{-rough}. $$ 可定義： $$ \boxed{ \mathcal B^{rough}_{r,s}(m). } $$ 其實： $$ \mathcal B^{rough} = \mathcal B $$ 如果 roughness完整到所有 prime divisors。 若只 sieve到 cutoff： $$ y, $$ 則得到 outer approximation。 --- # 60. Parity-Risk Audit raw bilinear lattice只保留： $$ ra+sb=2m. $$ 若 roughness仍只用 fixed cutoff， 可能再次退化到 sieve parity問題。 真正可能新增 source的是： $$ \boxed{ \text{recursive canonical roughness} } $$ 也就是： > cofactor自己的 least-factor chain。 所以後續不能只做一次 bilinear equation就宣稱逃出 parity barrier。 --- # 61. External Benchmark Boundary 外部已知 Chen-type theorem能處理： $$ \boxed{ \text{Prime}/P_2 } $$ 層級。citeturn210601search0turn210601search1turn210601search2 Tao 對 parity obstruction的 exposition也明確將 even Goldbach放在兩個線性 forms的 sieve framework中，並指出 Chen theorem將其中一側放寬為 almost prime。citeturn210601search5 因此 SRBRD-12 若只做到： $$ \delta\le1, $$ 仍屬接近 known sieve frontier的狀態。 真正新證明力必須在： $$ \boxed{ \delta=1 \to \delta=0 } $$ 這一步出現。 --- # 62. Main New Research Variable 所以 SRBRD 後續 primary variable建議從： $$ \boxed{ \mu_m(d) } $$ 逐步轉向： $$ \boxed{ \delta(m-d), \quad \delta(m+d), } $$ 以及： $$ \boxed{ (r,a,s,b). } $$ moment occupancy仍可作外層 capacity， cofactor depth負責內層 parity escape。 --- # 63. Two-Level Architecture 建議： ## Outer Layer — SRBRD Relation Geometry 負責： - finite offset； - root cutoffs； - residue cells； - occupancy； - moments； - danger complexes。 ## Inner Layer — Canonical Cofactor Dynamics 負責： - lpf split； - cofactor roughness； - division depth； - semiprime discrimination； - bilinear pair state。 這兩層結合才可能超過純 sieve-core。 --- # 64. Formal Theorem Queue ```yaml SRBRD_12: T01: canonical_split_basic_properties T02: canonical_cofactor_roughness T03: odd_composite_unique_canonical_split T04: division_depth_finite T05: division_depth_eq_bigOmega_minus_one T06: z_rough_factor_chain_all_factors_gt_z T07: rough_almost_prime_hierarchy T08: residual_iff_atom_atom_state T09: double_split_bilinear_equations T10: shared_lpf_implies_divides_center_and_offset T11: distinct_lpf_odd_cofactor_lattice T12: pair_product_depth_bound T13: four_state_offset_partition T14: double_composite_bijection_with_canonical_bilinear_states ``` --- # 65. Acceptance Gate SRBRD-12 formal core前需： 1. unique lpf split； 2. cofactor roughness； 3. recursive monotonic least factors； 4. finite depth； 5. depth / BigOmega identity； 6. $z$-rough almost-prime hierarchy； 7. P2 cube-root theorem； 8. exact pair-state partition； 9. logical firewall： failure不等於雙側 composite； 10. double-state bilinear bijection； 11. distinct-factor lattice； 12. shared-factor theorem； 13. raw bilinear capacity interface； 14. roughness recursion source audit； 15. no parity-escape claim without theorem。 --- # 66. Verdict 本輪可給： $$ \boxed{ \mathrm{SRBRD\mbox{-}12\ COFACTOR\mbox{-}STATE\ KERNEL\ PASS}. } $$ 真正的新結構是： $$ \boxed{ \text{composite endpoint} \to \text{唯一 canonical factor/cofactor state} \to \text{有限 nondecreasing division chain}. } $$ 並且 fixed-cutoff roughness具有 exact hierarchy： $$ \boxed{ z^{h+1}\ge X \Longrightarrow \Omega_{\mathrm{mult}}(x)\le h. } $$ 特別： $$ \boxed{ z^3\ge X } $$ 後只剩 prime / semiprime， 而： $$ \boxed{ z^2\ge X } $$ 才真正只剩 prime。 這把 sieve parity gap精確翻譯成： $$ \boxed{ \text{division depth }1 \to 0 } $$ 的問題。 但： $$ \boxed{ \mathrm{GOLDBACH\ STILL\ OPEN}. } $$ --- # 67. 下一輪建議 # SRBRD-13 ## Semiprime Boundary / Bilinear Capacity Closure 優先只攻： $$ \boxed{ \delta=1 } $$ 這一最後 almost-prime layer。 研究： 1. cube-root cutoff後的 P / SP / SP-SP state； 2. canonical semiprime： $$ rp; $$ 3. equations： $$ rp+q=2m, $$ $$ rp+sq=2m; $$ 4. bilinear lattice count； 5. semiprime-state capacity； 6. prime-vs-semiprime parity distinction； 7. 是否能用 cross-side cofactor coupling得到真正低於 sieve parity barrier的 theorem。 這一輪會是第一次直接攻： $$ \boxed{ P_2\to P } $$ 而不是再擴張 outer obstruction geometry。 --- # 附錄 A：Canonical Split Contract ```yaml CompositeEndpoint: x: odd: true >=3: true CanonicalSplit: r: prime: true equals: lpf(x) a: equals: x/r >=r: true all_prime_divisors_ge_r: true unique: true ``` --- # 附錄 B：Division Depth Contract ```yaml delta: prime: 0 composite: 1 + delta(canonical_cofactor) identity: delta(x): BigOmega(x)-1 rough_chain: if_x_z_rough: all_prime_factors_gt_z: true canonical_factors_nondecreasing: true ``` --- # 附錄 C：Almost-Prime Hierarchy ```yaml if: x <= X x_is_z_rough: true z^(h+1) >= X then: BigOmega(x) <= h division_depth(x) <= h-1 special: z^2 >= X: x_prime: true z^3 >= X: x_prime_or_semiprime: true ``` --- # 附錄 D：Pair-State Contract ```yaml Offset: x: m-d y: m+d EndpointState: - Atom - Split PairStates: - Atom_Atom - Split_Atom - Atom_Split - Split_Split Goldbach: residual: Atom_Atom Failure: excludes: Atom_Atom does_not_imply: Split_Split ``` --- # 附錄 E：Canonical Double-Split Contract ```yaml left: x: r*a r: lpf(x) a: >= r r_rough: true right: y: s*b s: lpf(y) b: >= s s_rough: true equations: r*a + s*b: 2*m s*b - r*a: 2*d reduced: r*a <= s*b if_r_not_equal_s: odd_solution_lattice: a: a_star + 2*s*n b: b_star - 2*r*n ``` --- # 附錄 F：External Benchmark Notes ```yaml Chen_Goldbach: sufficiently_large_even: representation: prime_plus_P2: true SRBRD_interpretation: prime: division_depth: 0 P2: division_depth: <=1 parity_escape_target: eliminate_depth_1_false_survivors: true ``` --- # 附錄 G：Commit Decision ```yaml research_round: SRBRD-12 decision: canonical_cofactor_state: true finite_division_depth: true rough_almost_prime_hierarchy: true bilinear_double_state: true parity_escape_proved: false goldbach_proved: false main_target: division_depth_1_to_0 next: SRBRD-13_SemiprimeBoundary_BilinearCapacity_Closure ```