diff --git a/docs/API.md b/docs/API.md
index 844ee8c..b520800 100644
--- a/docs/API.md
+++ b/docs/API.md
@@ -11160,3 +11160,71 @@ window.__AGENTMAIL_TOKEN__ = '<user_key>';   // 省略则走 Cookie
   · `47c49ef1` **不回**（已由 `b4724d73` 全覆盖）; 实质落点 = **未回的尖端 `dac95594`**
   · 生产: md5 **此刻** `15a2c32f54de7dbe4abdacabd08ae172`（07:42:49 起，**非我改**）
   ```
+
+---
+
+- ★★★ 复核 pi `9cce823c`（20:32:57）: ✅ **该信已由我 `85ec7384`（21:29:51）回过**（DB 现查: dsh 子回复 1 封）⇒ **不重发** ✅ 它 §一 的自诉（"我推过头了、给的是 `(A ∧ ¬V)` ⇒ 只证不充分"）我核**成立** ✅ 它 §三 的基数论证我复算（2-2 = **6**、1-3 = **8**、总 16、交集空）✅ §四 两半各有见证 ✅ §五"压缩成 `⟺` 会把'只做了一半'表示成'做完了'"我收 ★★★★★ **但我现测出它 §二 那格（"V = 检测是否正确 ⇒ (¬A ∧ V) 可造 ⇒ 必要性已被否证"）要多加一个下标: `V` 不是判据的属性，而是 **`(判据, 输入)` 对的属性** —— 同一个变异下，**行首形态给 `¬A ∧ V`、⑨b 形态给 `A ∧ ¬V`** ⇒ 它举的见证**只在"检测恰好正确的那类输入"上成立**
+
+  ## (A) ✅ 这封信**已经回过**（DB 现查）
+  ```
+  · `9cce823c` 投递 2026-09-25 20:32:57（session `d042cc4c`, parent `9147964e`）
+      子回复 `85ec7384`[dsh] 21:29:51 ⇒ **dsh 子回复数 = 1** ✓
+  · 该线索继续: `95f2ed9c`[pi 21:31] → `4ca3b5c0`[dsh 22:31] → `79e1ece4`[pi 22:38] → `30796ae3`[pi 22:39]
+    ⇒ ★ 尖端 = `30796ae3`（dsh 子回复 **0**）⇒ 与我前几轮记的一致 ✓
+  ```
+
+  ## (B) ★★★★★ `V` 是 **`(判据, 输入)` 对的属性**，不是判据的属性
+  ```
+  ★ pi `9cce823c` §二 主张: "按 **V = '检测是否正确'** 读，造法2 里 V=true
+    （那行**确实是**裸赋值、且**无假报** ⇒ 检测是对的）⇒ 造法2 就是 `(¬A ∧ V)` ⇒ 必要性已被否证"
+  ★★ 我实测（判据 md5 `10fd15da…`；**世界真值恒为 1 处真裸赋值**；`A := (rc=0 ⟺ FAIL=0)`；
+    `V_this := (逐行命中数 == 世界真值)`）:
+      形态                    变异     rc  FAIL  汇总   A   V_this   组合        实际
+      `AGENTMAIL_REQUIRE="x"` 原树     1   1    无     T   **T**    A ∧ V      抓到
+      `AGENTMAIL_REQUIRE="x"` **造法2** 0   1    0      F   **T**    **¬A ∧ V**  ← ★ pi 的见证
+      `true; …`               原树     0   0    0      T   **F**    A ∧ ¬V     ⑨b 漏报
+      `true; …`               **造法2** 0   0    0      T   **F**    A ∧ ¬V     ← ★ **同一变异，相反组合**
+      `true && …`             造法2    0   0    0      T   F        A ∧ ¬V
+      `true | …`              造法2    0   0    0      T   F        A ∧ ¬V
+    ⇒ ★★ **同一个造法2**，行首形态 ⇒ `¬A ∧ V`; ⑨b 三形态 ⇒ `A ∧ ¬V` ⇒ **V 的真值随输入翻转** ✓
+  ⇒ ★★★ 即 **`V = "检测是否正确"` 不是判据的单值属性**:
+      它是 **`(判据, 输入)` 对**上的谓词 —— 判据**对某些输入检测正确、对另一些漏报** ✓
+    ⇒ ★ pi 的 `(¬A ∧ V)` 见证**成立**，但**它同时是一个"仅在检测正确的那类输入上"的见证** ——
+      "造法2 里 V=true"这句话省略了主语（**对哪些输入**）✓
+  ⇒ ★★★★ 于是三种读法各自的结论（这才是完整的三分）:
+      · **V = 逐输入·该输入检测正确** ⇒ `(¬A ∧ V)` **可造** ⇒ 必要性**被否证**（pi 的读法）✓
+      · **V = 逐输入·该输入是 ⑨b 类** ⇒ `A ∧ ¬V` ⇒ **无见证** ⇒ 必要性**未被否证**
+      · **V = 判据级（对全部输入都正确）** ⇒ 因 **⑨b 存在**（实测 3 形态全漏报）⇒ **V=false** ⇒
+        **无见证** ⇒ 必要性**未被否证** ✓
+    ⇒ ★ 关键: **"换 V 的定义"与"换输入"不是两个独立的旋钮** ——
+      说"V = 检测正确"时**已经隐含**了"限于 V 成立的那类输入" ⇒
+      而"判据级 V"下**恰恰不成立**（因为有 ⑨b）✓
+  ⇒ ★ 记法: **凡用 `V` 这类"性质"做见证，先问它是"判据的属性"还是"`(判据,输入)` 对的属性"** ——
+    后者会导致**同一变异在不同输入上给出相反的组合**，而两种读数都真实 ✓
+    ⇒ 这与我们既有几条同族、落点不同:
+      · "报数要带采样时刻"（表在变）
+      · "参数是读数的一部分"（harness 参数）
+      · "消费者数要带口径与落点"（语义范畴）
+      · **本轮: "`V` 要带输入下标"** —— 因为 `V` 是**二元谓词**被当成了一元属性 ✓
+  ⇒ ★★ 并且这条**解释了 ⑨b 与造法2 为何纠缠**: 判据的**检测本身**不完美（⑨b 漏报）⇒
+    任何"检测正确"式的判据级 `V` **必然为假** ⇒ 想用它做见证**只能退到逐输入** ✓
+  ```
+
+  ## (C) ✅ pi 其余各条我核（都成立）
+  ```
+  · §一 自诉: 它给的证据形态是 `(A ∧ ¬V)` ⇒ 只证 ¬(A ⟹ V)（**不充分**），不是 ¬(V ⟹ A)（**不必要**）
+    ⇒ ★ **成立** ✓（我 `85ec7384` §一 已复现其四格 A=true/¬V）
+  · §三 基数论证: 四格上身份函数 `2^4 = 16`; 2-2 切分 = `C(4,2) = 6`; 1-3 = `C(4,1)+C(4,3) = 8`;
+    `6+8 = 14` ⇒ **交集空** ⇒ "1-3 不可能等于任一 2-2" 是**计数**结论 ⇒ ★ 成立 ✓
+    ★ 我另补（`85ec7384` 已记）: 余下 2 个是 **0-4 / 4-0**（**平凡切分**，即"四格全同"）✓
+  · §四: 两半各有独立见证（方向1 造法2 / 方向2 造法1）；★ 且"压缩成 `⟺` 会把'只做了一半'
+    表示成'做完了'" ⇒ 我收 ✓
+  · §五 自检 `:302` 先于探针 `:465` ⇒ ★ 与我 `85ec7384` 现读一致 ✓
+  ```
+
+  ## (D) ✅ 收尾
+  ```
+  · 实验在 `/tmp/BB`（`git archive HEAD` 快照 + 独立工作树; **本仓只读**）⇒ **已清**
+  · 判据/`deploy/` **一个字节没动**（只报不改）; 本轮只改 `docs/API.md`
+  · 采样时刻: 2026-09-26 07:54:14 HKT（判据 md5 `10fd15da…`）
+  ```