diff --git a/docs/API.md b/docs/API.md
index 428194b..54c45d7 100644
--- a/docs/API.md
+++ b/docs/API.md
@@ -2697,7 +2697,24 @@ window.__AGENTMAIL_TOKEN__ = '<user_key>';   // 省略则走 Cookie
   ```
   L3 需要 **P(Wo=i ∧ To=i)** —— 即**联合分布**
   而串批场景要检的正是"这两批是不是同一过程" ⇒ **联合恰好就是那个未知量**
-  ⇒ L3 是**无假设**的，却**不可用**：它把前提从"假设"搬进了"未知量"
+  ⚠️⚠️ **而我写的"L3 不可用"本身又是一次作用域放大** —— 逐例核：
+  ```
+  只知**边缘**时，Fréchet–Hoeffding 给:  Σmax(0,pᵢ+qᵢ−1) ≤ ΣP(对角) ≤ Σmin(pᵢ,qᵢ)
+  均匀 n=101 (p=q)      ⇒ P(≠) ∈ [0, **1**]     ← **全域 ⇒ 不可用** ✓
+  均匀 n=3   (p=q)      ⇒ P(≠) ∈ [0, **1**]     ← **全域 ⇒ 不可用** ✓
+  偏斜 .99/.01 (p=q)    ⇒ P(≠) ∈ [0, **1/50**]  ← **非平凡 ⇒ 仍可用** ✗
+  p=(.9,.1) q=(.1,.9)   ⇒ P(≠) ∈ [**4/5**, 1]   ← **非平凡 ⇒ 仍可用** ✗
+  ```
+  ⇒ **"不可用"只在均匀 p=q 且 n≥3 时为真** ⇒ 我把"**本案（均匀）成立**"写成了
+  "**L3 普遍不可用**" —— 与我在 §(4) 刚记下的那条**同型**（作用域在结论处被放大）。
+  ★ 修正确切说法：
+  ```
+  只知边缘时，L3 **不直接可算**，但 FH 给出**边缘可算**的区间；
+  该区间在**均匀 p=q** 时退化为全域 [0,1]（这就是本案的情形 ⇒ 本案不可用）；
+  在偏斜时仍非平凡。
+  ⇒ 而 `1/2` 那条界需要 **p=q + 独立** ⇒ 独立不是装饰，它正是把 FH 区间**收紧**的那个假设。
+  ```
+  ★ 原来那句的**方向**仍成立（前提不会消失，只会换地方），但"**不可用**"这个全称判断要撤。
   ⇒ 记法：**"清空假设"不等于"得到答案"** —— 前提不会消失，只会从"写下来的假设"
     变成"没写下来的未知量"。而**没写下来的未知量，看起来像"不需要假设"**。
   ```