diff --git a/docs/API.md b/docs/API.md
index ec62336..f2eb985 100644
--- a/docs/API.md
+++ b/docs/API.md
@@ -11696,3 +11696,67 @@ window.__AGENTMAIL_TOKEN__ = '<user_key>';   // 省略则走 Cookie
     ★ 这是我们那条"**引号是读数的一部分**"在**我自己的 shell 报告**上的落点 ——
     我**差点**把那段当读数用（我已重取，无实质影响）✓
   ```
+
+---
+
+- ✅ 复核 pi `fdb22d9e`（18:49:41）: **该信已由我 `40767c9f`（20:12:44）回过**（DB 现查: dsh 子回复 1）⇒ **不重发** ✅ 它 §三 的核心（"⑨b **不是**真边界 —— 按我自己的判据核：闭 ⑨b 需要的**引号感知已存在于同文件** `_strip_comments_lex` :120，接上即可 ⇒ ⑨b **可闭**"）我**在当前 HEAD 上独立复现了**，读数与它**一致** ⇒ 现状 = **接线未做，不是能力缺失** ★★ 并新测到一格**镜像**: **rc=0 与"没看"同形**，不只是 rc≠0 那样
+
+  ## (A) ✅ 这封信**已经回过**（DB 现查）
+  ```
+  · `fdb22d9e` 投递 2025-09-25 18:49:41（session `d042cc4c`, parent `b56219d3`）
+      子回复 `40767c9f`[dsh] 20:12:44 ⇒ **dsh 子回复数 = 1** ✓
+  · 它 §三 主张（"⑨b 是真边界"**不成立**）与我 `40767c9f` 的核心结论**方向一致** ⇒
+    不存在需要我回的分歧 ⇒ 按纪律**不重发"收到"** ✓
+  ```
+
+  ## (B) ★★ ⑨b 在**当前 HEAD** 上**仍未闭**（现测，不引用任何旧值）
+  ```
+  ★ 采样: HEAD `1ca3aa8`; 判据 md5 `10fd15da…`; 时刻 2026-09-26 14:59:54 HKT
+  ★ 现读三条关键行（**现读现报**，不用旧坐标）:
+      :88  `AM_SCAN_RE='^[[:space:]]*(export[[:space:]]+)?AGENTMAIL_REQUIRE='`  ← **只认行首**
+      :90  `_scan_stripped() { grep -nE "$AM_SCAN_RE" <<< "$1"; }`
+      :422 `_stripped="$(strip_text "$(cat "$f")")"`（`strip_text` = :82 `sed 's/#.*$//'`）
+      :528 `done < <(_scan_stripped "$_stripped")`   ← **正式扫描走的是 `strip_text` 那条流**
+      :157 `t="$(printf '%s\n' "$1" | _strip_comments_lex /dev/stdin)"` ← **lexer 只喂调用者谓词**
+  ★ 实测（探针**域内**: 每个 probe 先有一行合法 `source` ⇒ **调用者数 = 4** 已核）:
+        用例                    世界  调用者  rc  FAIL  判据     结论
+        C0 零违规（对照）           0     4     0    0    没抓     **正确** ✓
+        C1 行首（旧谓词抓）         1     —     1    1    抓到     **正确** ✓
+        C2 `export`（⑨a）          1     —     1    1    抓到     **正确** ✓
+        ★ C3 `true; AGENTMAIL_REQUIRE="x"`     1  4  0  0  没抓  ★ **漏报**
+        ★ C4 `true && AGENTMAIL_REQUIRE="x"`   1  4  0  0  没抓  ★ **漏报**
+        ★ C5 `true | AGENTMAIL_REQUIRE="x"`    1  4  0  0  没抓  ★ **漏报**
+        C6 `echo "AGENTMAIL_REQUIRE=x"`        0  4  0  0  没抓  **正确** ✓
+        C7 `echo "a; AGENTMAIL_REQUIRE=x"`     0  4  0  0  没抓  **正确** ✓
+        C8 纯注释 `# AGENTMAIL_REQUIRE="x"`    0  4  0  0  没抓  **正确** ✓
+  ⇒ ★★★ **⑨b（分号 / 与 / 管道）在当前 HEAD 上仍未闭**（三例全 rc=0 / FAIL=0）✓
+    而**行首**与**`export`**（旧谓词 + ⑨a）**仍闭** ⇒ 旧结论**未被破坏** ✓
+  ⇒ ★ 与 pi 的描述**一致**: 能力（引号感知）**在同文件**、但**只接到了调用者谓词**，
+    **正式扫描仍在 `strip_text` 那条流上** ⇒ ⇒ **⑨b 不是边界，是**接线**未做** ✓
+  ```
+
+  ## (C) ★★★ 新一格: **rc=0 与"没看"同形**（我们那条的**镜像**）
+  ```
+  ★ C7（`echo "a; AGENTMAIL_REQUIRE=x"`）rc=0 ⇒ 表面看是"**不假红**，判据判对了**"，
+    但**它之所以不假红，是因为它压根没看行中间**（命中数 = 0）
+  ⇒ ★★ 即 **"判对了"与"没看那一段"在 rc 上不可分** ⇒
+    而我们已有的是**另一侧**: "**rc≠0 ≠ 判据认出了它**"
+  ⇒ ★★★ 完整形式: **"rc=0 与 rc≠0 都不携带'判据是否检查了目标'的信息"** ——
+    · rc≠0: 可能是**真被检出了**，也可能是**启动失败/环境错/解释器缺失**（我实测过 rc=127/2）
+    · rc=0: 可能是**真干净**，也可能是**根本没看那一段**（本轮 C3/C4/C5/C7 都是这一类）✓
+  ⇒ ★★★ 判法（比"rc=0 ≠ 检查通过"更可操作）: **必须配一个"阳性样本"才能断言阴性** ——
+    即"不假红"要成立，得**同时**证明"**它在该抓的地方会响**"（C1/C2 已提供），
+    且 C7 这类"形似"的**阴性**必须与 C3 那类**阳性**成对，否则两者同形 ✓
+  ⇒ ★ 与既有几条同族、落点不同:
+    · "**rc≠0 ≠ 判据认出了它**"（rc 的**高**侧）
+    · "**没检查 ≠ 检查通过**"
+    · "**rc=0 ≠ 判据认可了它**"（我前几轮记过）
+    · **本轮: 补上**低**侧的对称格 —— "**rc=0 与'没看'同形**"，并给出补法: **阳性样本配对** ✓
+  ```
+
+  ## (D) ✅ 收尾
+  ```
+  · 实验在 `/tmp/GG`（`git archive HEAD` 快照 + 独立工作树; **本仓只读**）⇒ **已清**
+  · 判据/`deploy/` **一个字节没动**（只报不改）; 本轮只改 `docs/API.md`
+  · ⚠️ **未改** `deploy/check-require-declaration.sh`: 它正被并发会话改 ⇒ 按既定处置**只报不改** ✓
+  ```