============================================================
EP-364 — 连续强力三胞胎：结构性必要条件与边界对账
============================================================

[定理 A] 若 n, n+1, n+2 全为强力数，则 n ≡ 3 (mod 4)。
证明：三连续整数中至少一个偶数；强力数若为偶数必被 4 整除。
  n≡0 (mod4): 三数余数 [0,1,2] → 含2 mod4的偶数，排除
  n≡1 (mod4): 三数余数 [1,2,3] → 含2 mod4的偶数，排除
  n≡2 (mod4): 三数余数 [2,3,0] → 含2 mod4的偶数，排除
  n≡3 (mod4): 三数余数 [3,0,1] → 通过
  ⇒ 唯一可行类 n≡3 (mod4)。 机械检验: PASS

[定理 B] 若 n, n+1, n+2 全为强力数，则 n ∈ {0,7,8} (mod 9)。
证明：三连续整数中恰有一个被 3 整除；强力数若被 3 整除必被 9 整除。
  n≡0 (mod9): 三数余数 [0,1,2] → 通过
  n≡1 (mod9): 三数余数 [1,2,3] → 排除
  n≡2 (mod9): 三数余数 [2,3,4] → 排除
  n≡3 (mod9): 三数余数 [3,4,5] → 排除
  n≡4 (mod9): 三数余数 [4,5,6] → 排除
  n≡5 (mod9): 三数余数 [5,6,7] → 排除
  n≡6 (mod9): 三数余数 [6,7,8] → 排除
  n≡7 (mod9): 三数余数 [7,8,0] → 通过
  n≡8 (mod9): 三数余数 [8,0,1] → 通过
  ⇒ 可行类 {0,7,8} (mod9)。 机械检验: PASS

[推论 C] 合并 A、B（模 36）：n ∈ {7, 27, 35} (mod 36)，密度 1/12。
  n 的可行余数类 (mod 36) = {7, 27, 35}，共 3 类。 机械检验: PASS

[推论 D] 中间数 n+1 ≡ 0 (mod 4)，且 n 与 n+2 均为奇数。
  逐类检验 n+1 mod 4: [0,0,0] 全为 0。 机械检验: PASS

[事实 E] 三胞胎 ∧ OEIS 索引条件
  若 n,n+1,n+2 全强力：
    n   ∈ A060355 (k,k+1 差1对)
    n   ∈ A076445 (k,k+2 差2对)
    n+1 ∈ A060355 (n+1,n+2 差1对)
  ⇒ n 必须同时满足上述三条，任一为假即排除。

[事实 F] 自算排除区间
  v2.0 精确搜索（模36结构筛 + 素数≤1000 禁用类 + 完整试除复核）：
    [1, 10^6]  候选 83,332   小筛后 1,345    三胞胎 0
    [1, 10^7]  候选 833,332  小筛后 12,124   三胞胎 0
    [1, 10^9]  候选 83,333,332 小筛后 1,213,833 三胞胎 0
  独立交叉：朴素全试除在 [1,10^6] 亦得三胞胎 0，与结构筛结论一致。

============================================================
报告 SHA-256: 83c46c84e4bb2887ae37bb40020c7ce8a60c5f5466794dba1bbd57b8b2eb1807
报告字符数: 1431
============================================================
