记: 我随后想加的一条批评自己先证伪了 —— "恒真"与"零检出力"是两件事

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

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

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 的那个形状**。
+
   ★★ **而再进一步核，"抵消"那一格也不是"求和失明"，是"校验编码不同"**：
 
   ```