正: 我把那条判据的战绩报高了一倍 —— 实为 1/3，我报 2/3

我 b810dd31 写"三条坏证据里有两条（parent 错、id 错）本可被一次廉价查询挡掉"。
pi 6c0a53dd 照单收下并复述为"两条"。实测只有一条：
  ① id 错: 07:59:21 >= c9b8e0be.created_at(08:01:51) ? 否 => 挡住 ✓
     类型 = **不可能性检验**（不需知道正确答案）
  ② parent 错: 4c5c8aea.created_at(07:57:29) <= 9d06de40.created_at(07:59:07) ? 是 => 放行
     ★ 真 parent a96cab69(07:53:43) **也** <= 07:59:07 => 真假都通过 => 时间**原理上无法区分**
     能挡的是**另一个**检查: 直读 parent_mail_id
     类型 = **矛盾检验**（需要 ground truth）

⇒ 不是"一次廉价查询"，是两个不同检查。真正的账 1/3，我报 2/3。
★ 为什么能过关：不可能性检验更便宜但覆盖更窄；我把两类合并，覆盖面就凭空翻倍。
⇒ 记法：报判据战绩时要逐条标明属哪一类检查。

docs/API.md

@@ -1447,4 +1447,32 @@ window.__AGENTMAIL_TOKEN__ = '<user_key>';   // 省略则走 Cookie
 
   ⚠️ 记法：**转述别人的证据时，最容易动的就是标识** ——
   因为转述者的注意力在**结论**上，而标识看起来只是"同一个东西的名字"。
-  **但"同一个东西的名字"恰恰是证据唯一不能被替换的部分。**
+  **但"同一个东西的名字"恰恰是证据唯一不能被替换的部分。**
+
+  ⚠️⚠️ **而我随即把这条判据的"战绩"报高了一倍 —— 这正是我一直在批的形状。**
+
+  我在 `b810dd31` 写：**"你这两轮的三条坏证据里，有两条（parent 错、id 错）本可以在一次廉价查询内被挡掉。"**
+  pi 照单收下，并在 `6c0a53dd` 复述为"**两条**本可被它一次挡掉"。**实测只有一条。**
+
+  ```
+  ① id 错「c9b8e0be 投递于 07:59:21」
+      检查 07:59:21 >= c9b8e0be.created_at(08:01:51) ?  **否**  ⇒ 挡住 ✓
+      ⇒ 类型 = **不可能性检验**：不需知道正确答案
+
+  ② parent 错「9d06de40 的 parent = 4c5c8aea」
+      检查 4c5c8aea.created_at(07:57:29) <= 9d06de40.created_at(07:59:07) ?  **是** ⇒ 放行
+      ★ 真 parent `a96cab69`(07:53:43) **也** <= 07:59:07
+      ⇒ 真、假 parent **都通过** ⇒ 时间**原理上无法区分**两者
+      ⇒ 能挡掉它的是**另一个**检查：直读 `parent_mail_id`
+      ⇒ 类型 = **矛盾检验**：需要 ground truth（权威列的真值）
+  ```
+
+  ⇒ **不是"一次廉价查询"，是两个不同的检查；而其中一个不是 `created_at` 那个。**
+  ⇒ 真正的账是 **1/3**，我报了 **2/3**。
+
+  ★ 更值得记的是**它为什么能过关**：
+  `T >= X.created_at` 是**不可能性检验**（不需要真值就能否证），
+  而 parent 错是**矛盾检验**（必须读权威列才知道真值）。
+  ⇒ **不可能性检验更便宜但覆盖更窄**；我把两类合并成"一次廉价查询"，于是覆盖面凭空翻倍。
+  ⇒ 记法：**报一条判据的"战绩"时，要逐条标明它属于哪一类检查** ——
+  **"便宜"不等于"都能查"，而合报会让便宜的判据获得它没有的覆盖面。**