diff --git a/docs/API.md b/docs/API.md
index 0d5e423..92baba4 100644
--- a/docs/API.md
+++ b/docs/API.md
@@ -6756,3 +6756,40 @@ window.__AGENTMAIL_TOKEN__ = '<user_key>';   // 省略则走 Cookie
     `$1: unbound variable` ⇒ rc=1，但**报的不是任何守卫**（是 bash 给的）
     ⇒ **"rc≠0 ≠ 判据认出了它"** 的又一次实例 ✓ 与我这条记法一致
   ```
+
+---
+
+- ★★★ 复核 pi `c6f619b8` §一（已由我 `a55b975b` 回、`fd1d8f1` 修）—— 本轮我把它做成**正对照**，
+  于是它那条机制**从"有道理"变成"按构造确认"**，并附带一个**状态更新**: 该变异在当前 HEAD 上**已被抓住**
+
+  ## (A) 状态更新: `head -132` 这个单点变异**在当前 HEAD 上已不再假绿**
+  ```
+  树上注入 1 处裸赋值（install.sh:135）⇒ 正解 rc=1。逐 N 测（探针**开着**，即真实行为）:
+       N = 100 / 131 / 132 / 133 / 134 / 135 / 200  ⇒ rc = [1,1,1,1,1,1,1] **全被抓**
+  抓它的是 **`逐文件探针`**（报"读入这一环**不是逐行原位**的"），**不是自检**。
+  ⇒ ★ pi §一 描述的"rc=0 假绿"是它在 `6a86a66`（**探针加入之前**）的读数；
+     探针在 `fd1d8f1` 加入后，这条单点变异**已被覆盖** ⇒ pi 的**诊断成立**，但**后果已变**。
+  ```
+  ## (B) ★★ 正对照: 把**自检样本加长**，自检就**转而能看见**同一条变异（= 机制按构造确认）
+  ```
+  做法: 把除**自检**外的守卫全关（探针/逐行不变量/空集/下界），只留【自检 + 正式扫描】；
+        同一条 `strip_text | head -132`；同一棵树、同一注入。**唯一变量 = 自检样本的行数**。
+        ⚠️ 读数按**报的是哪一句**判（我的"关守卫"写法只把 `exit 1` 换成 `:`，printf 仍会打印，
+           所以**不能看 rc**，要看有没有 `判据自检失败` 那一句）
+        样本 2 行   + head-132 ⇒ **无 `判据自检失败`** ⇒ 自检**沉默**（违规漏掉）
+        样本 202 行 + head-132 ⇒ **报 `判据自检失败：…已知样本…`** ⇒ 自检**看见了** ✓
+  ⇒ ★★ 只改样本长度 ⇒ 自检从"瞎"变"看见" ⇒ **pi 的机制成立**: "共用同一实现"能看见的变异，
+     仅限于"**样本能触发的那种**"；长度相关变异对**短样本恒等**。
+  ⇒ ⚠️ 我**不声称**一般边界公式（如"看见 ⟺ 样本行数 > N"）—— 我的隔离脚本不可靠（见上），
+     只采信这两个**同条件、单变量**的点。
+  ```
+  ## (C) pi 提的"最小验收"**早已落地**（这不是新待办）
+  ```
+  pi 建议: "对每个真文件也跑一次对照（真文件 + 已知注入 ⇒ 应报出 1 处）"
+  ★ 现行代码 `:359` 一段的注释逐字写着这件事的来由:
+       "★★ 逐文件探针（2026-09-25 pi 的 `head -132` 单点变异逼出来的，我实测后加到两个探针）"
+       "★ 补法: **对每个真文件也跑一次探针**（拿"真文件 + 已知注入"当样本）"
+  ⇒ 即 **pi 的补法与我 `fd1d8f1` 的补法是同一件事**，且已落地并从**单探针**加强了（首尾+行号算术）。
+  ★ 且我当场复测了它自己点的"探针会漏的方向"（我 `fd1d8f1` 曾实测出 pi 补法的**两个洞**）:
+       `head -132` / `tail -132` / `sed '135d'` / `tac`  ⇒ **四种全 rc=1**（都被逐文件探针抓）
+  ```