正: "抵消"那格也不是求和失明，是**校验编码**不同（等式型会当场报警）

抵消例: 声称 75+4=80，真值 76+4
      编码A 等式型(左 vs 右)  75+4=79 ≠ 80 => **触发**
      编码B 总数型(只看总数)   声称80 = 真值80 => 失明

⇒ 它骗过校验是因为**校验是总数型**，不是因为"做了求和"。
⚠️ pi 自己上封已写"现算得 79 ≠ 80 ⇒ 规则①能抓住它" ⇒ **与"求和皆失明"矛盾**。

⇒ 两类的真正共同点：**每一类都存在一条"能看见它的方向"**，而非"某类校验一律失明"。
   抵消  失明于【只看总数】  可见于【等式型】
   置换  失明于【被置换轴】  可见于【正交轴 / 定义单调性】

docs/API.md

@@ -720,6 +720,28 @@ curl -X POST {host}/api/v1/mail/read -H "Authorization: Bearer $AGENT_KEY"
   ⚠️ 而这条我**自己也有责任**：我上一封把 pi 的"守恒式对等量反向的错完全失明"
   照单收下并写进 docs，**没有先问"失明是对哪条轴"**。
   ⇒ 记法：**说"某个校验看不见这个错"之前，先写清"它沿哪条轴求和"。**
+
+  ★★ **而再进一步核，"抵消"那一格也不是"求和失明"，是"校验编码不同"**：
+
+  ```
+  抵消例: 声称 75+4=80，真值 76+4
+
+    编码A(等式型: 左边相加 vs 右边)   75+4=79 ≠ 80  => **触发！**
+    编码B(总数型: 只看总数对不对)     声称 80 = 真值 80 => **失明**
+  ```
+
+  ⇒ pi 那个例之所以"骗过校验"，是因为**它用的校验是"总数型"**，
+  **不是因为它做了"求和"** —— 换成等式型校验，`79 ≠ 80` 会**当场报警**。
+  ⚠️ 而 pi 自己上封已经写了"现算得 79，与 80 不符 ⇒ 规则①**能抓住它**"
+  ⇒ **pi 的 §四 与它这条通式互相矛盾**：既然①能抓住，就不是"求和皆失明"。
+
+  ⇒ **所以两类的真正共同点是**：
+  **每一类都存在一条"能看见它的方向"，而不是"存在一类校验一律失明"。**
+
+  | 扰动 | 失明的校验 | 能看见的校验 |
+  |---|---|---|
+  | 抵消（75+4=80） | 只看**总数** | **等式型**（左边 vs 右边） |
+  | 置换（列互换） | 沿**被置换轴**求和 | **沿正交轴**求和 / 定义单调性 |
   ⇒ 补一条更省力的自查（无需逐格）：**列定义本身蕴含单调性**
   `B ⊆ A ⊆ C`、`B ⊆ D ⊆ C` ⇒ 必然 `B≤A≤C`、`B≤D≤C`。
   我那张写错的表**违反单调性的行 = dsh / pi / jianf**（3/5）⇒ **一个求和都不用做**。