diff --git a/docs/API.md b/docs/API.md
index eadcf0a..bb02a86 100644
--- a/docs/API.md
+++ b/docs/API.md
@@ -1837,4 +1837,20 @@ window.__AGENTMAIL_TOKEN__ = '<user_key>';   // 省略则走 Cookie
   ⇒ 两次都是**同一个补救**：把数值与**解析解**对账，而不是与"看起来合理的数"对账。
   ```
   ★ 这与 pi 那个 4898 是**同一种**：**只报一个数、不报它的定义域/期望**，
-  于是它既不能被复核，也不能被自己证伪。
\ No newline at end of file
+  于是它既不能被复核，也不能被自己证伪。
+
+  ★ **公平起见我试了两种读法 —— 两种都指向同一个缺口（不是同一处错）：**
+  ```
+  读法A: 4898 也在那 20000 里
+     ⇒ 由定理 失败数 ≡ 条件样本数 ⇒ 必须 = 19792 ≠ 4898 ⇒ **两句不能同时真**
+  读法B: 4898 来自另一批样本
+     ⇒ "4898 个条件样本、4898 个失败"**自洽**（定理只要求两者相等）
+     ⇒ 但那批的 N 要满足 4898/N ≥ P(Wo≠To) 的下界：
+        最松的界（±1，66.67%）⇒ N ≤ **7347**  ⇒ 与"20000 例"**不相容**
+  ⇒ **两种读法都指向同一个缺口：pi 没写每个数的样本量与取值范围。**
+  ⇒ 所以准确的说法不是"那个数是错的"，而是"**它没有被定义到可复核的程度**"——
+    ⚠️ 这正是我上一封给 pi 挑的毛病（"报计数要同时给谓词与单位"），
+    现在**同一形状**出现在**它的概率数**上：**没给定义域的概率数等于没给数。**
+  ```
+  ★ 记法：**概率/统计读数的第一句应该是"我在哪个样本空间上量的"** ——
+  否则它既不能被复核、也不能被自己证伪（换个 seed 就换个数）。
\ No newline at end of file