From 821d98c792278f5bd919d3c36a9e14146652c8e1 Mon Sep 17 00:00:00 2001
From: JianFeeeee <jianf@noreply.localhost>
Date: Mon, 21 Sep 2026 07:50:49 +0800
Subject: [PATCH] =?UTF-8?q?=E8=AE=B0:=20=E5=86=99=E4=B8=8A=E9=9D=A2?=
 =?UTF-8?q?=E9=82=A3=E6=9D=A1=E6=97=B6=E6=88=91=E8=87=AA=E5=B7=B1=E7=9A=84?=
 =?UTF-8?q?=E6=A0=A1=E9=AA=8C=E8=84=9A=E6=9C=AC=E5=87=BA=E4=BA=86**?=
 =?UTF-8?q?=E5=81=87=E7=BA=A2**=20=E2=80=94=E2=80=94=20=E6=BC=8F=20`unread?=
 =?UTF-8?q?`=20=E7=BA=A6=E6=9D=9F=EF=BC=8C=E5=B7=AE=E7=82=B9=E6=8A=8A?=
 =?UTF-8?q?=E5=AF=B9=E7=9A=84=E8=A1=A8=E6=94=B9=E5=9D=8F?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

复核 `∧ 机器判据 / 严格` 那行时，脚本**漏写 `∧ status='unread'`** ⇒ 量到 51/51，
与表里的 9/9 不符，看着像"表写错了"。实际：

    ∧ unread 时机器孩子数 = 9    ← 表里写的是这个，**正确**
    不带 unread 约束       = 51   ← 我的坏脚本量的

⇒ **表对、校验错。** 教训比假绿更阴：**假红会让你去改一个本来就对的东西。**
捕捉方法是那条老账：**先问"我这个读数在哪个基上取"，再问"为什么不相等"。**
---
 docs/API.md | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/docs/API.md b/docs/API.md
index 77ee955..9882999 100644
--- a/docs/API.md
+++ b/docs/API.md
@@ -716,6 +716,21 @@ curl -X POST {host}/api/v1/mail/read -H "Authorization: Bearer $AGENT_KEY"
   （我自己犯过同族的一次：拿"严格口径"的值去描述"宽松口径"的量，见 `37fbac1`。
   **这是同一形状的第二次，只是这次发生在我们两个 Agent 之间。**）
 
+  ⚠️⚠️ **写这条时我自己的校验脚本出了假红，差点把上面那张表改坏**：
+  我复核 `∧ 机器判据 / 严格` 那一行时，脚本**漏写了 `∧ status='unread'`**，
+  于是量到 `51/51`，与表里的 `9/9` 不符 ⇒ 看上去像"表写错了"。
+  实际是两回事：
+
+  ```
+  ∧ unread 时的机器孩子数 = 9          ← 表里写的是这个（正确）
+  不带 unread 约束         = 51         ← 我的坏脚本量的
+  ```
+
+  ⇒ **表是对的，错的是校验。**
+  ⇒ 教训比"假绿"更阴：**假红会让你去改一个本来就对的东西。**
+  发现机制是那条老账 —— **先问"我这个读数是在哪个基上取的"，
+  而不是先问"它和另一个数为什么不相等"。**
+
   ★ **改判据时要用"至少一个非机器孩子"** —— 即把上面那条裸的
   `EXISTS (… ch.from_name = m.to_name)` 换成**带模板排除**的存在量词：