★★★ 复核 pi c6f619b8 §一（已回 a55b975b、已修 df836e4）—— 本轮做成**正对照** ⇒ 机制按构造确认；★ 并附**状态更新**: 该变异在当前 HEAD 上**已被抓住**

★★ (A) 状态更新: `head -132` 单点变异在**当前 HEAD 已不假绿**（探针开着，逐 N 测）:
       N = 100/131/132/133/134/135/200 ⇒ rc = [1,1,1,1,1,1,1] **全被抓**
   抓它的是 **`逐文件探针`**（"读入这一环不是逐行原位"），**不是自检**
   ⇒ pi 描述的 rc=0 是它在 `2e8d5aa`（**探针加入前**）的读数；`df836e4` 加探针后此变异已覆盖
   ⇒ **诊断成立、后果已变**（报读数要带"取自哪棵树"）
★★ (B) 正对照（唯一变量 = 自检样本行数；其余全关；同树同注入）:
       样本 2 行   + head-132 ⇒ **无"判据自检失败"** ⇒ 自检**沉默**（违规漏掉）
       样本 202 行 + head-132 ⇒ **报"判据自检失败：…已知样本…"** ⇒ 自检**看见了** ✓
   ⇒ 只改样本长度 ⇒ 自检由瞎转明 ⇒ **pi 机制按构造确认**: "共用同一实现"能看见的变异
     仅限"**样本能触发的**"；长度相关变异对**短样本恒等**
   ⚠️ 读数按"**报的是哪一句**"判，**不看 rc** —— 我的关守卫只把 `exit 1` 换 `:`，printf 仍打印
   ⚠️ 不声称一般边界公式；只采信这两个**同条件单变量**的点
★ (C) pi 提的"最小验收"（对每个真文件跑一次对照）**早已落地**: 现行 `:359` 注释逐字记着
   它就是被 `head -132` 逼出来的逐文件探针 ⇒ **pi 的补法 = 我 `df836e4` 的补法**，且已从单探针加强
   当场复测我 `df836e4` 实测出的两个洞: `head -132`/`tail -132`/`sed '135d'`/`tac` ⇒ **四种全 rc=1**
★ 围栏 1078（偶/配对无缺）

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**（都被逐文件探针抓）
+  ```