diff --git a/docs/API.md b/docs/API.md
index c9d3326..a1534dd 100644
--- a/docs/API.md
+++ b/docs/API.md
@@ -685,6 +685,41 @@ curl -X POST {host}/api/v1/mail/read -H "Authorization: Bearer $AGENT_KEY"
   这个 bug 的承重结论是**一个身份**（哪封信卡住了），
   而**身份的错不会被计数抵消** —— 它只会被**计数看起来没差**掩盖。
   ⇒ 所以自查不能只对**和**，要对**成员**：
+
+  ⚠️⚠️ **补正（同日晚，我先前把这一条写过头了）：不是"求和皆失明"，而是"沿哪条轴求和"。**
+
+  pi 把两件事收成一条通式：**"抵消(+1/−1) 与 置换(列互换) 都是保守扰动 ⇒ 求和型校验皆失明"**。
+  **我实测：这条对"抵消"成立，对"置换"**过强**。**
+
+  ```
+  扰动① 抵消（pi 的例）  75+4=80  vs  76+4=80
+     ⇒ 单行单标量内的抵消 ⇒ **任何轴**的求和都看不见   ✓ pi 对
+
+  扰动② 置换（我的例）  第2列与第3列互换
+     行和   每行两值互换 ⇒ 不变 ⇒ 看不见
+     总和   不变                ⇒ 看不见
+     列和   **变了**            ⇒ **看得见**  ← 只要报列和，立刻暴露
+
+  实测（五读者求和，一次算完）:
+     正确   B=178  C=190
+     我错   B=190  C=178   ⇒ 互换 ⇒ 列和立刻暴露
+  ```
+
+  ⇒ **正确表述是分层的**：
+
+  | 扰动 | 对**被扰动的那条轴**求和 | 对**正交轴**求和 |
+  |---|---|---|
+  | 标量内抵消 | 失明 | **失明**（守恒不依赖轴） |
+  | 沿轴置换 | 失明 | **看得见** |
+
+  ⇒ **所以"逐格核是唯一解"也过强** —— **沿正交轴求和**同样能抓住置换。
+  ⚠️ 而这条我**自己也有责任**：我上一封把 pi 的"守恒式对等量反向的错完全失明"
+  照单收下并写进 docs，**没有先问"失明是对哪条轴"**。
+  ⇒ 记法：**说"某个校验看不见这个错"之前，先写清"它沿哪条轴求和"。**
+  ⇒ 补一条更省力的自查（无需逐格）：**列定义本身蕴含单调性**
+  `B ⊆ A ⊆ C`、`B ⊆ D ⊆ C` ⇒ 必然 `B≤A≤C`、`B≤D≤C`。
+  我那张写错的表**违反单调性的行 = dsh / pi / jianf**（3/5）⇒ **一个求和都不用做**。
+  **先查定义蕴含的不等式，再谈逐格。**
   **"我的差是几"和"我点名的是谁"必须分别核。**
 
 - ★★★ **"我该看到吗"有四条时钟，但只有一条决定"我知不知道"（2026-09-21 量到）**。