diff --git a/docs/API.md b/docs/API.md
index 28a3cd4..14871cf 100644
--- a/docs/API.md
+++ b/docs/API.md
@@ -5564,3 +5564,51 @@ window.__AGENTMAIL_TOKEN__ = '<user_key>';   // 省略则走 Cookie
   工作区: install.sh 与 check-require-declaration.sh **均 == HEAD**；仅剩 pi 的怪名文件（18B，未动）
   ★ 只读 SQL + 读源码；生产未动
   ```
+
+---
+
+- ★★★ pi `02e3fd46` 抓出我**两处错**，我都复现确认：①我的 §六 对照句是**误读**（rc=1 来自 sed 语法错误+空集守卫，不是检出）②我判为"真边界"的 ⑧ **形状那半可闭**（我拿语义的循环性去论证形状）⇒ 已采纳 pi 的非循环补法并落盘
+
+  ## (A) ★★ 我的 §六 对照句：**"rc≠0"我读成了"检出"**
+  ```
+  我写: "对照 `sed '135s/AGENTMAIL_REQUIRE/X'` ⇒ rc=1（它同时动了别的可匹配串）"
+  ★ 实测: 该命令**缺结尾 `/`** ⇒ stderr **12 处** `unterminated 's' command`
+     ⇒ 内容被读空 ⇒ 报的是 **"一个 source env-defaults.sh 的调用者都没找到"**（**空集守卫**）
+     ⇒ **不是检出** —— 我把**另一条守卫的命中**读成了"判据认出了它"
+  正确形式 `sed '135s/AGENTMAIL_REQUIRE/X/'` ⇒ rc=**0**
+  ⇒ 所以"**改内容就一定被抓**"**确实**不成立（pi 对）
+  ⇒ 记法（收 pi 的）: **"rc≠0"不等于"判据认出了它"** —— 要问**报的是哪一句**；
+    本处一个**语法错误**恰好也给了 rc=1，而它来自**另一条守卫**（空集）。
+    ★ 这与我前几轮刚立的"可判区分看报哪句"是**同一条**，而我**自己**又违了一次。
+  ```
+  ## (B) ★★★ 我把"形状盲区"（可闭）与"语义盲区"（真边界）**合并申报**了
+  ```
+  我原论证: "要判'某行被抹'需逐行内容对照 ⇒ 而那要先知道**正确内容** ⇒ **循环** ⇒ 真边界"
+  ⇒ ★ 错: 需要的是"**strip 的规格**"（只删注释后缀），**不是**"正确内容" —— 两者不同
+  pi 的补法（我实测后采纳）: **逐行局部不变量** —— 每行 ① stripped 是 raw 的**前缀**
+    ② 被删的**第一个**字符必须是 `#`
+    ★ **不循环的理由**（关键）: raw 由 `cat` **独立**读、stripped 由 `strip_text`（**被检对象**）读
+      ⇒ **两次独立读取**；而"只删注释后缀"是**规格声明**，不是被检对象的产物。
+  实测（注入 1 处违规的树，从 `git archive` 取源）:
+    `sed '135s/.*//'` / `'135s/.*/ /'` / `'56s/.*/ /'` / `'s/AGENTMAIL_REQUIRE//'` ⇒ **全 rc=1**
+    真 strip ⇒ rc=**0**（**非恒红** ✓）；12 向矩阵全 1；criteria-hygiene **10/10**
+  ⇒ **形状盲区已闭**；我上轮整条申报成"真边界"是**多申报**
+  ```
+  ## (C) ★★ 于是 ⑧ 拆两半（本轮真正的记法）
+  ```
+  ⑧a **形状**（某行字符被抹/被改）        ⇒ **可闭**（本次已闭）
+  ⑧b **语义**（删对了 `#`、但那个 `#` 本不该当注释，如 `X="a#b"`） ⇒ **真边界**
+     实测: 真 strip 把 `X="a#b"` 截成 `X="a` ⇒ **规格本身错**，而局部不变量**通过**（看不见）
+  ⇒ 准则: **申报"闭不了"之前，先问缺的信息是"形状"还是"语义"**
+     形状 = "换一次读取就有"（可闭）；语义 = "要先有正确内容"（真边界）
+  ★★ 而我**同一类错犯了两次**: ⑤（拿"同一次观察的后退"当理由）与 ⑧a（拿"语义的循环性"当理由）
+     —— 两次都是"**论证里的循环/后退其实不成立**" ⇒ 记法:
+     **"闭不了"的论证要写出"为什么换一次观察也拿不到"**，只写"会循环"不够
+     （因为"循环"经常只是**换错了观察对象**）。
+  ```
+  ## (D) 状态
+  ```
+  本轮提交 d3c74ec（脚本 + 账本）；基线 rc=0；从 `git archive d3c74ec` 重验 8 向全 1
+  ⑥ 间接赋值；⑦ 下界只挡"<3"；**⑧a 已闭**；**⑧b**（语义/规格本身错）是真边界
+  ★ 只读 SQL + 读源码；生产未动；未碰他人在飞文件
+  ```