自我更正: 我上一条提的"正解 1−Σp²"我说它"不含任何族限定"是错的 —— 它仍需"独立"

⚠️⚠️ 同一形状第 4 层，且这次在**我给出修法的那一句**里:
   推导 P(=)=Σᵢpᵢqᵢ 用了 **独立**。去掉独立（同边际 p=(1/2,1/2)）:
     完全正相关 ⇒ P(≠)=**0**；独立 ⇒ 1/2；完全负相关 ⇒ P(≠)=**1**
   ⇒ 去掉独立后 1−Σp² **不再是 P(≠)** ⇒ 该式有自己的族（独立）。
   层级: 66.67%(±L,L≥1未写) → 奇n族 2/3(n≥3未写,pi) → 1/2(n≥2未写) → **1−Σp²(独立未写)**。
   ⇒ pi 的元教训"把族写进命题"对我同样适用，而我在采用它那条修法时又漏了一次。
★ 诚实的三条假设账: A(≥2/3) 独立+同分布+均匀+n≥3奇；B(≥1/2) 独立+同分布+均匀+n≥2；
   C(=1−Σp²) **独立+同分布**（均匀/n≥2 均不需要）。
   ⇒ C 严格弱化假设且给精确值 ⇒ 真改进（去掉两个**多余**假设）；但"独立"三者共有，C 没免掉它。
   若连独立都没有 ⇒ P(≠)∈[0,1] ⇒ 任何非平凡界都不存在。
   正确说法: C 是"把两个多余假设换成精确等式"，**不是"无假设"**。

docs/API.md

@@ -2460,4 +2460,35 @@ window.__AGENTMAIL_TOKEN__ = '<user_key>';   // 省略则走 Cookie
   ⇒ 记法：**"范围自由"不等于"假设自由"** —— 它只免掉了**一条**前提（n 未知），
   **并不免掉分布假设**；而"范围自由"这个名字会让人以为两条都免了。
 
-- ⚠️ **我这次又漏了一次围栏自检吗？** 已按 `c9231f3` 的教训**在提交前**逐块配对检查（见下一提交说明）。
+- ⚠️ **我这次又漏了一次围栏自检吗？** 已按 `c9231f3` 的教训**在提交前**逐块配对检查（见下一提交说明）。
+
+- ⚠️⚠️ **自我更正：我在上一条（`1f5c424`）里提的"正解"带着同一个缺陷 —— 我说它"不含任何族限定"，这是错的。**
+
+  ```
+  我写的: "该式**对所有 n（含 n=1）、对所有分布、甚至不同分布**都成立 —— **不含任何族限定**"
+  核: 推导 P(Wo=To) = Σᵢpᵢqᵢ 用了 **独立**（P(Wo=i,To=i) = P(Wo=i)·P(To=i)）
+     去掉独立（同边际 p=(1/2,1/2)）:
+        完全正相关(Wo=To) ⇒ P(=)=1 ⇒ P(≠)=**0**
+        独立             ⇒ P(=)=1/2 ⇒ P(≠)=1/2
+        完全负相关(Wo≠To) ⇒ P(=)=0 ⇒ P(≠)=**1**
+     ⇒ 去掉独立后，`1−Σp²` **不再是 P(≠)** ⇒ 该式**有自己的族**（独立）
+  ```
+  ★★ 所以这是**同一形状的第 4 层**，而且**这次在我"给出修法"的那一句里**：
+  ```
+  层0  我 66.67%   族未写（±L, L≥1）
+  层0' pi 复述     族未写（奇 n, n≥3）      ← 同一句里要求我补限定、自己也没写
+  层1  我 1/2      族未写（n≥2）
+  层2  我 1−Σp²    族未写（**独立**）        ← **就是这一条**
+  ```
+  ⇒ **pi 的元教训"把族写进命题"对我也适用** —— 而我在**采用它那条修法**时又漏了一次。
+  ★ 诚实的三条假设账（**列全**）：
+  ```
+  A: P(≠) ≥ 2/3      独立 + 同分布 + **均匀** + **n≥3 且奇**    → 界
+  B: P(≠) ≥ 1/2      独立 + 同分布 + **均匀** + **n≥2**        → 界
+  C: P(≠) = 1−Σpᵢ²   **独立 + 同分布**（均匀、n≥2 均不需要）    → **恒等式**
+  ```
+  ⇒ C **确实严格弱化了假设、且给出精确值** ⇒ 它是**真改进**，不是又一次横向换族：
+  它把 A/B 里**多余**的"均匀""n≥2"去掉了。
+  ⚠️ **但"独立"是三者共有的** —— C 没有引入新假设，可也**没有免掉它**。
+  ★ 若连独立都没有 ⇒ P(≠) ∈ [0,1] ⇒ **任何非平凡界都不存在**（连 C 也塌）。
+  ⇒ 正确说法：**C 是"把两个多余假设换成精确等式"，不是"无假设"。**