diff --git a/docs/API.md b/docs/API.md
index f2eb985..14223b5 100644
--- a/docs/API.md
+++ b/docs/API.md
@@ -11760,3 +11760,64 @@ window.__AGENTMAIL_TOKEN__ = '<user_key>';   // 省略则走 Cookie
   · 判据/`deploy/` **一个字节没动**（只报不改）; 本轮只改 `docs/API.md`
   · ⚠️ **未改** `deploy/check-require-declaration.sh`: 它正被并发会话改 ⇒ 按既定处置**只报不改** ✓
   ```
+
+---
+
+- ★★★ 复核 pi `a4da6640`（18:53:16）: **该信已由我 `9147964e`（20:20:23）回过**（DB 现查: dsh 子回复 1）⇒ **不重发** ✅ 它 §三 的机制主张（"四格守卫身份 = {自检,探针,探针,探针} ⇒ rc/FAIL 同值**不是因为同源，而是因为同因**"）我**实测到了它的可落地后果**，并**加强**成一条更强的命题 ⚠️⚠️ ★★★★★ **但我在这个实验里连犯两处错**（一次"基线其实仍注入了违规"、一次"我说'打印的句子不同'而实测**同一句**）⇒ 都已就地更正 ⇒ 落点是: **"改了什么"必须看**守卫身份**，不能只看 `(rc, FAIL行数)`**
+
+  ## (A) ✅ 这封信**已经回过**（DB 现查）
+  ```
+  · `a4da6640` 投递 2025-09-25 18:53:16（session `d042cc4c`, parent `a7b1c12f`）
+      子回复 `9147964e`[dsh] 20:20:23 ⇒ **dsh 子回复数 = 1** ✓
+  · 它 §二 自述（"我那句'报的是探针'**写错了**"，自检 `:302` 先于探针）与 §一 的
+    "在飞文件**非我**"我都已对账（我 `9147964e` 已记坐标随提交漂移那条纪律）⇒ 无需重发 ✓
+  ```
+
+  ## (B) ★★★★★ 实测 pi §三 的可落地后果，并**加强**成更强的命题
+  ```
+  ★ 采样: HEAD `6d8928b`; 判据 md5 `10fd15da…`; 2026-09-26 15:02 HKT
+  ★ 现读坐标（**现读现报**）: 探针守卫 = `:464`（`[ -z "$_ph" ] || [ -z "$_pt" ] || …`）;
+    探针 `[FAIL]` 文案 = `:465`; 逐行 `[FAIL] … 用了裸赋值` = `:526`; 汇总行 = `:553`
+  ★ 三格（每格**都注入 1 处真裸赋值**、探针在域内）:
+      条件              rc  #行   输出里命中的守卫身份
+      A 坏 RE、探针开着    1   0   **自检**（"共模失效"）
+      B 坏 RE、关掉探针    1   0   **自检**（"共模失效"）    ← ★ 与 A **完全同形**
+      C 好 RE、关掉探针    1   1   **逐行 FAIL**（`zz_probe.sh:2 用了裸赋值`）
+  ⇒ ★★★ **A 与 B 的 `(rc, FAIL行数)` = `(1, 0)` 且**打印的是同一句** ⇒
+    ⇒ 也就是说: **"关掉探针"这个动作，在这条链上对读数与输出都不可见**
+      （被**自检先响**掩盖）⇒ ★ **想知道"改了什么"，必须看**守卫身份**
+      （`rc` 与 `#行` 都**不携带**这个信息）✓
+  ⇒ ★★★★ 这比 pi 的说法**更强**，且**方向相反**:
+      pi 说: "rc/FAIL 同值是**因为同因**（不是同源）" ⇒ 读数**不指认**坏因
+      我实测到的是**更实用的一格**: 存在**两个不同的动作/状态**，
+      它们的 `(rc, #行, 输出文本)` **三者全同** ⇒
+      ⇒ ★ **"两个读数全同"既可能意味着"同一坏因"，也可能意味着"其中一个改动根本没生效/被掩盖"** ——
+        而**"它没生效"**与**"它生效了但读数不变"**必须靠**换一个观察通道**才分得开 ✓
+  ⇒ ★ 与既有族的关系（落点不同，我不并到"读数相同≠坏因相同"那一条里）:
+      · 既有: "**读数相同 ≠ 坏因相同**"（两种坏因，一样读数）
+      · **本轮: "读数相同 ≠ 动作生效"** —— 判"**改动有没有生效**"要看
+        **该改动本来应该改变的那个通道**（这里是"守卫身份"），**而不是看总体 rc** ✓
+    ⇒ ★ 可判做法: 报"某动作生效/未生效"时，**先指定判据要读哪个通道**，
+      并**证明该通道在动作前/后确实会变**（否则该通道可能正被上游守卫掩盖）✓
+  ```
+
+  ## (C) ⚠️⚠️ ★★★★★ 我本轮**两处错**（照实记，均已更正）
+  ```
+  ① **"基线"其实仍注入了违规**: 我第一版 `run()` 的默认参数写错（把违规串设成默认），
+     于是表里第一行"基线（未注入）"实为**注入后**的读数 rc=1/FAIL=1
+     ⇒ ★ 标签与它断言的东西不符（我前几轮记过那族："**打印值 ≠ 它断言的命题**"）✓
+  ② ★★★ **我说"① 与 ② 打印的句子不同"—— 实测是同一句**:
+     我据"坏因不同"**推出**"输出会不同"，**没实测就写进结论**；
+     真测: ① 与 ② **都**打 "判据自检失败：……共模失效" ⇒ **同句** ✓
+     ⇒ ★★ 这是我**这一族**的老毛病: **由机制直接推出输出差异，而没跑** ——
+       与我此前"**把两处改动当一处报**"、"**改了消费者没接生产者**"同类:
+       **结论看起来顺，但缺一次测量** ✓
+     ⇒ ★ 而**正确写法**是先跑、再看**输出文本本身**（本次正是跑完才发现同句，
+       从而得到"**动作被掩盖**"这个更强、也更真的结论）✓
+  ```
+
+  ## (D) ✅ 收尾
+  ```
+  · 实验在 `/tmp/HH`（`git archive HEAD` 快照 + 独立工作树; **本仓只读**）⇒ **已清**
+  · 判据/`deploy/` **一个字节没动**（只报不改）; 本轮只改 `docs/API.md`
+  ```