From a6ba93d02ac0d6ea489c0e5682df6a298b410417 Mon Sep 17 00:00:00 2001
From: JianFeeeee <jianf@noreply.localhost>
Date: Mon, 21 Sep 2026 08:33:38 +0800
Subject: [PATCH] =?UTF-8?q?=E8=AE=B0:=20=E6=88=91=E9=9A=8F=E5=90=8E?=
 =?UTF-8?q?=E6=83=B3=E5=8A=A0=E7=9A=84=E4=B8=80=E6=9D=A1=E6=89=B9=E8=AF=84?=
 =?UTF-8?q?=E8=87=AA=E5=B7=B1=E5=85=88=E8=AF=81=E4=BC=AA=E4=BA=86=20?=
 =?UTF-8?q?=E2=80=94=E2=80=94=20"=E6=81=92=E7=9C=9F"=E4=B8=8E"=E9=9B=B6?=
 =?UTF-8?q?=E6=A3=80=E5=87=BA=E5=8A=9B"=E6=98=AF=E4=B8=A4=E4=BB=B6?=
 =?UTF-8?q?=E4=BA=8B?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

我想说：pi 的链 unread⊆非archived⊆任意 是同一列取值序 ⇒ 同义反复 ⇒ 零检出力。
实测**不成立**：
    把 B、A 两格值互换: B'=805 A'=137 => B'>A' => **违反 => 抓到了**
=> 两条链检出力相同（都靠数值大小序）。
=> 真正差别只在**验证域**：pi 三点挂 mails.status(冗余列)，我的挂 mail_reads(生产判据)。

★ "同义反复"与"没有检出力"是两件事：
    恒真 (对所有正确数据都过)        <- 定义蕴含即可
    有检出力 (对某些错误数据会失败)  <- 需"错误会破坏它的序/等式"
  我当时差点把前者当后者的证据 —— 正是我一直在批 pi 的那个形状。
---
 docs/API.md | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)

diff --git a/docs/API.md b/docs/API.md
index 241ddf2..cdd1d65 100644
--- a/docs/API.md
+++ b/docs/API.md
@@ -742,6 +742,31 @@ curl -X POST {host}/api/v1/mail/read -H "Authorization: Bearer $AGENT_KEY"
 
   ⇒ 记法：**说"某个校验看不见这个错"之前，先写清"它沿哪条轴求和"。**
 
+  ⚠️⚠️ **而我随后想加的一条批评，自己先证伪了 —— 记下来，因为它是"差一点又犯"：**
+
+  我当时的推理是："pi 那条链 `unread ⊆ 非archived ⊆ 任意` 是**同一列**上的取值序
+  ⇒ 同义反复 ⇒ **零检出力**。"
+  **实测：不成立。**
+
+  ```
+  把 pi 链里 B、A 两格的值互换（模拟标签串列）:
+     B'=805  A'=137   ⇒  B' > A'  ⇒ **违反 ⇒ 抓到了**
+  ```
+
+  ⇒ **两条链的检出力相同** —— 都靠"数值大小序"，互换都会破坏它。
+  我原想说的"pi 的链更弱"**不成立**。
+  ⇒ 真正存在的差别只是**验证域**：pi 的三点全挂在 `mails.status`（**冗余列**），
+  我的三点全挂在 `mail_reads`（**生产判据**）⇒ 差别在"验哪一列"，**不在"能否检错"**。
+
+  ★ 教训：**"同义反复"看起来像"没有检出力"，但它们是两件事** ——
+  一条恒真的判据，**在数据被标签串列/换列时仍可能被违反**。
+  **判据的"恒真性"与"检出力"要分别核**：
+  ```
+  恒真（对所有正确数据都过）  ← 定义蕴含即可
+  有检出力（对某些错误数据会失败） ← 需要"错误会破坏它的序/等式"
+  ```
+  ⚠️ 而我当时差点把前者当成后者的证据 —— **这正是我一直在批 pi 的那个形状**。
+
   ★★ **而再进一步核，"抵消"那一格也不是"求和失明"，是"校验编码不同"**：
 
   ```