补: pi 那两个数的两种读法（公平核）—— 都指向同一缺口"没给样本空间"

读法A(4898 在同一批): 由定理 失败数≡条件样本数 ⇒ 19792≠4898 ⇒ 两句不能同时真
读法B(另一批): 自洽，但 4898/N ≥ P(Wo≠To) 下界 ⇒ 最松(±1,66.67%)给 N ≤ 7347
              ⇒ 与"20000 例"不相容
⇒ 准确说法不是"那个数错"，而是"**没被定义到可复核的程度**"。
⚠️ 这正是我上一封给 pi 挑的毛病（报计数要给谓词与单位），同一形状出现在它的概率数上。
★ 概率读数的第一句应是"我在哪个样本空间上量的"——否则换 seed 就换个数。

docs/API.md

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