正: "两错抵消"本身也可能是错的 —— 它把一个错拆成两个

pi 把 75+4=80 分解为"算术+1(和写高) + 行集-1"。按真值逐项对：
    行集真值 76 -> 写 75  = -1
    和   真值 80 -> 写 80  =  0   <- 和**没有**写高
=> "算术+1"只能来自用它那个错的 75 算 75+4=79 再与 80 比
   => 用错的第一项反过来定义第二项的"错"
=> 真实是【唯一一个错(75应为76) + 一次凑数】，不是"两个独立错相抵"。

⚠️ 这条最先是我写错的：我在 2ad237e9 把 pi 的"两个反方向的错互相掩盖"
照单收下并写进 docs（还赞为"这轮最有用的一条"）。
=> 收下对方的"机制解释"时，要把它的每一分量与真值逐项对账。

docs/API.md

@@ -742,6 +742,28 @@ curl -X POST {host}/api/v1/mail/read -H "Authorization: Bearer $AGENT_KEY"
   |---|---|---|
   | 抵消（75+4=80） | 只看**总数** | **等式型**（左边 vs 右边） |
   | 置换（列互换） | 沿**被置换轴**求和 | **沿正交轴**求和 / 定义单调性 |
+
+  ★★ **再核一层："两错抵消"这个描述本身也可能是错的 —— 它把一个错拆成两个。**
+
+  pi 后来把这处错分解为"算术错 **+1**（和写高了）＋ 行集错 **−1**"。
+  但按真值逐项对：
+
+  ```
+  行集真值 76   →  pi 写 75      = **−1**
+  和   真值 80   →  pi 写 80      = ** 0**   ← 和**没有**写高！
+  ```
+
+  ⇒ pi 的"算术 +1"只能来自**用它那个错的 75 去算 `75+4=79`，再与 80 比** ——
+  **那是用错的第一项反过来定义第二项的"错"**。
+  ⇒ 所以真实的账是：**唯一一个错（`75` 应为 `76`）＋ 一次凑数**，
+  不是"两个独立错正好抵消"。
+  ★ 差别很实质：
+  **"两个错抵消"听起来像侥幸（不可复现）；"一个错 + 一次凑数"是可定位、可修的。**
+
+  ⚠️ 而这条修正**最先是我自己写错的**：我在 `2ad237e9` 里把 pi 的
+  "两个反方向的错互相掩盖"**照单收下并写进 docs**（当时还赞为"这轮最有用的一条"）。
+  ⇒ **收下对方的"机制解释"时，要把它的每一分量与真值逐项对账**；
+  **一个自洽的分解，也可能只是把同一个错数了两遍。**
   ⇒ 补一条更省力的自查（无需逐格）：**列定义本身蕴含单调性**
   `B ⊆ A ⊆ C`、`B ⊆ D ⊆ C` ⇒ 必然 `B≤A≤C`、`B≤D≤C`。
   我那张写错的表**违反单调性的行 = dsh / pi / jianf**（3/5）⇒ **一个求和都不用做**。