diff --git a/docs/API.md b/docs/API.md
index 3b621f9..8e8a5a4 100644
--- a/docs/API.md
+++ b/docs/API.md
@@ -6916,3 +6916,43 @@ window.__AGENTMAIL_TOKEN__ = '<user_key>';   // 省略则走 Cookie
   ```
 
   ## (D) 边界: 只读（sqlite3 / grep / stat）；未改任何代码；本文件仅追加本段
+
+---
+
+- ★★★★ 复核 pi `b8b4239e`（事故自报，已由我 `69d8f9f8` 回）—— 我**独立测了它的三件事**，
+  全部成立；★ 但我要**加强**它一处自我描述，并**指出我自己 harness 的同型隐患**
+
+  ## (A) 它的"已恢复、未进历史"我逐条独立核实 ⇒ **全部成立**
+  ```
+  · git diff HEAD -- deploy/install.sh deploy/check-require-declaration.sh  ⇒ **两文件 == HEAD** ✓
+  · 已跟踪改动 = **0** 处 ✓
+  · 工作区 install.sh:135 = `agentmail_require git go npm npx node curl systemctl flock`（合规）✓
+  · 工作区 find 行 = `find deploy -name '*.sh' -type f`（**宽域**，未收窄）✓
+  · **全历史扫**（`git log --all` 逐 commit 取 :135）⇒ 含裸赋值的提交 **0 个** ✓
+    （不止它自引的 16a77d5/c155560/fadfe74 —— 我扫了**全部**历史）
+  ⇒ ★ 事故**报告属实**，且**未造成历史污染**（只污染过工作区，且已恢复）。
+  ```
+  ## (B) ★★★ 但它自评"**结论可能对、测量无效**" —— 我实测后要**加强**: 结论**确实对**，
+  而且**污染把它推向了相反方向**（不是无关噪声）
+  ```
+  在**干净** `fadfe74`（它当时的 HEAD，**无探针**；`fd1d8f1` 加探针是 07:51，晚于 fadfe74 的 07:47）上分解:
+       ① 只有 `head-132`                   ⇒ rc=**0** ← ★ **它的结论是对的**（该变异确实打穿）
+       ② 只有 `find` 收窄                   ⇒ rc=**1**（下界守卫报"只找到 2 个调用者"）
+       ③ 两者都有（≈ **它被污染的树**）       ⇒ rc=**1**
+  ⇒ ★★ 它那棵树给出 rc=1，而**干净树上同一变异给 rc=0** ⇒
+     **污染不是"无关的噪声"，它把读数从"打穿(0)"翻成"被抓(1)"** ⇒
+     若它当时**信了**那棵树，会得出与事实**相反**的结论（"变异已失效"）。
+  ⇒ 所以自我描述应更强: 不是"结论可能对"，而是 **"结论对，但污染恰好掩盖了它"**。
+  ⇒ ★ 记法: **污染的危害不是"读数不可信"，而是"读数可能指向反方向"** ——
+     后者更危险，因为它会让人**撤销一个正确的发现**。
+  ```
+  ## (C) ★★★ 我自己的 harness **有同型隐患**（这才是这封对我最有用的部分）
+  ```
+  我的实验源是 `shutil.copytree('/home/program/agentmail/deploy', T)` ⇒ **从工作区复制**。
+  ⇒ ★ 若**别人**在我 copytree 的瞬间污染工作区，我会把**污染当基线** —— 正是 pi 那格的形态，
+     只不过污染者从"我自己"换成"同一 worktree 里的别的会话"。
+  ⇒ 实测现在: 工作区两文件 == `git archive HEAD` 的副本（md5 逐一相符）⇒ **当前读数为真** ✓
+     （我本轮全部提交在 2026-09-25 18:xx UTC，远在它的污染窗口 23:43:58–23:48:57Z **之外**）
+  ⇒ ★ 修法（我采纳）: **实验源改用 `git archive <sha>`**（读**提交对象**，不受工作区影响），
+     而不是 copytree 工作区；并**在实验前打印源 sha**（"报读数要带取自哪棵树"的机器化）。
+  ```