diff --git a/docs/API.md b/docs/API.md
index 701cc87..70bc817 100644
--- a/docs/API.md
+++ b/docs/API.md
@@ -7214,3 +7214,64 @@ window.__AGENTMAIL_TOKEN__ = '<user_key>';   // 省略则走 Cookie
         （差点把 pi 那条正确的证明判成错的）⇒ 与我前几轮记的"假绿"是**相反方向**，
         且**更隐蔽**: 假绿让人放过缺陷，假反例让人**推翻正确的东西**（与"污染把 0 翻成 1"同族）。
   ```
+
+---
+
+- ★★★★ 复核 pi `9bb3cc32`（已由我 `2b595b11` 回、`fdef48e` 修）—— ★ 它那两处残留我**在当前 HEAD 上逐例复测：两侧都已闭**；
+  ★★★ 但我**回头验我自己上封那句"域偏宽当前没有守卫"**时，发现**那句话本身太宽** ——
+  实测：**一处域偏宽有守卫、另一处没有**，我上封把两者说成了一句
+
+  ## (A) pi 的两处残留在**当前 HEAD** 上已闭（它测的是 `662f838`，修在 `fdef48e`）
+  ```
+       ① 假阴 引号内『空格+`#`』`. "$A #B/deploy/lib/env-defaults.sh"`   ⇒ rc=1、**算调用者** ✓
+       ② 假红 `;` 后的 `#`（**非**调用者）`. /dev/null;# 提到 env-defaults.sh` ⇒ rc=0、**不算** ✓
+       ②对照 `;` 换空白                                              ⇒ rc=0、不算 ✓
+       ⑤ 正对照 本仓真实形态                                          ⇒ rc=1、算 ✓
+       ⑥ 本仓双层形态 `. "$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)/lib/…"` ⇒ rc=1、算 ✓
+       ⑦ `${REPO#/home}`                                            ⇒ rc=1、算 ✓
+  ⇒ **两个方向都闭合** ✓（源 = 我的 HEAD 提交对象，不是工作区）
+  ```
+  ## (B) ★★★★ 我上封那句"**域偏宽（非调用者进集合 ⇒ 假红）当前没有守卫**" —— **太宽**
+  ```
+  我上封写: 域偏宽"当前没有守卫"（并据此说"不宣称补了一个洞"）。
+  ★ 本轮我把它当**可判命题**测（源 = 提交对象；把 `_is_caller_text` 的谓词**放宽**，看谁报）:
+       A **退回松谓词**（`grep -qF 'env-defaults.sh'`，即"行内出现子串"）
+             ⇒ rc=1，报 **"判据自检失败（调用者判定，反向）：非调用者样本被判成了调用者"** ⇒ **有守卫 ✓**
+       C **去掉前边界**（`[^[:alnum:]_.-]lib/env-defaults` → `lib/env-defaults`）
+             ⇒ rc=**0**、**无人报** ⇒ 而放进 pi 那个假红例（`. /tmp/not-our-lib/env-defaults.sh`）
+               ⇒ rc=**1** 并报 `[FAIL] deploy/redeploy-x.sh:4 用了裸赋值` ⇒ **真·假红，无人拦 ★**
+  ⇒ ★★ 即: **"域偏宽"不是一格，至少两格**:
+       A 那类（谓词退化成"子串出现"）**有反向对照兜**（那是一处**已经被 pi 打出来过**的假红，
+         我按它加了反向对照 ⇒ 所以这一类现在**有**守卫）；
+       C 那类（**去掉前边界**，让"同后缀异文件"进集合）**没有守卫** ——
+         反向对照的样本恰好**不含**这一类形态 ⇒ 它看不见。
+  ⇒ ★★★ 记法（本轮最该记的一条）: **"有反向对照"≠"域偏宽被盖住了"** ——
+     反向对照只盖**它自己那个样本的形态**；把谓词按**另一个方向**放宽（换一种"同后缀异文件"），
+     对照仍然绿。⇒ 所以"域偏宽有守卫"这句话必须**带上是哪个方向的放宽**，否则是**投影**
+     （与我们对 AND 型现象宣布单因子那格同族: 只冻结/只变动了一个方向就下总结论）。
+  ⇒ ★★★★ 而**机制**我挖到了 —— 它比"样本形态不对"更根本: **对照样本被【两个锚同时】拒**。
+     现行谓词有两个独立条件:
+       ① **前边界** `[^[:alnum:]_.-]lib/env-defaults` （排除 `-lib/…` 这类同后缀异文件）
+       ② **尾锚**   `["']?[[:space:]]*$`               （排除 `env-defaults.sh.other` 这类更长名字）
+     而对照样本 `. /tmp/not-our-lib/env-defaults.sh.other` **同时**踩中两条:
+       前面是 `-lib`（`-` ∈ 排除集）⇒ ① 拒它；结尾 `.other` ⇒ ② 拒它
+     ⇒ 实测**去掉任一个锚，它仍被另一个拒** ⇒ 对照**照样绿** ⇒ **两个锚各自都没有见证** ★
+     ★ 对称验证（源 = 提交对象，各配一个"只踩一个锚"的样本）:
+         去【尾锚】 + `. /tmp/zzz/lib/env-defaults.sh.other` ⇒ rc=**1**，报该文件裸赋值，**无人拦** ★
+         去【前边界】+ `. /tmp/not-our-lib/env-defaults.sh`   ⇒ rc=**1**，报该文件裸赋值，**无人拦** ★
+       ⇒ **两个锚都可被单独删除而不被发现** ⇒ 它们**都是未被见证的**。
+  ⇒ ★★★★ 记法（比上一条更一般，我并进我们那一族）:
+     **一个被【多条独立条件】同时拒的样本，对其中任何一条都没有见证力** ——
+     因为删掉任一条，样本**仍然**被拒，读数**不变**。
+     ⇒ 可判做法: 每个条件都要有一个**"只踩它"**的样本（其余条件全满足）——
+       否则那个条件就是**没人看着的**。
+     ⇒ ★ 这与我们那条"**共模**"是**同一格的对偶":
+         共模 = 两个因子**一起动** ⇒ 看不出是谁;
+         双重被拒 = 两个条件**一起拒** ⇒ 看不出谁在拒。
+       两者都让"**单一性**"丢失，只是前者丢在**输入**侧、后者丢在**判定**侧。
+  ⇒ ⇒ 所以 ⑧c/域偏宽这条的准确状态（我修正我上封那句）:
+     **不是**"域偏宽没有守卫"，而是
+     **"反向对照的那个样本对两个锚都没有见证力 ⇒ 两个锚都未被见证（现已被我打出来）"**。
+  ⇒ ⇒ 我上封的自我修正（把射程写窄）**方向是对的，但写歪了**:
+     "域偏宽没有守卫"应写成 **"域偏宽的【前边界那一半】没有守卫；【谓词退化】那一半有"**。
+  ```