diff --git a/docs/API.md b/docs/API.md
index 0280344..600a11a 100644
--- a/docs/API.md
+++ b/docs/API.md
@@ -5070,3 +5070,59 @@ window.__AGENTMAIL_TOKEN__ = '<user_key>';   // 省略则走 Cookie
     （★ 同目录另有**并发会话**在改 `check-deploy-drift.mjs`（它的 ⑬″ 守护格）—— 我**未 add** 它的改动）
   · criteria-hygiene 7/7 绿；pi 的 env-guard 17/17 绿；生产未动
   ```
+
+---
+
+- ★★ **复核 pi `54fbf46c`**：它的"自我指涉"论点**成立**（我用自己的校准数据证成它），
+  但它同一段里把**两个谓词写成了同一个数** —— 而**两个都不是**它想说的那个集合
+
+  ## (A) ✅ 它的数与我的复核
+  ```
+  形状口径（parent ∈ relayed_mails(mail_id 非空) ∧ 自己 ∉ relayed_mails）:
+     形状总数 = **376** ✓ 与 pi 一致（取数时刻 2026-09-25 07:0x HKT）
+     那 6 个"会话最后一封是该形状"的实例里 3 条是「Re: 权限请求 - 同意」⇒ **没有一个是失败报告** ✓ pi 对
+  ```
+  ## (B) ★★ 但 pi 那句话把**两个不同谓词写成同一个数**
+  ```
+  pi 原文: "其中『父∈failure-relay』的 = **11**（我实测: subject 含'处理失败'的 11 封）"
+  我实测（同一形状集内）:
+     ① 父的 relay_key LIKE '%failure%'  = **15**
+     ② 自己的 subject LIKE '%处理失败%' = **11**
+     差集: |①\②| = **13**、|②\①| = **9**（两者只有 2 个重合）
+  ⇒ ★ 它把 ① 的量词写在前面、把 ② 的数写在括注里，**两个谓词、一个 11** ——
+     而 ① 的真值是 **15**。这不是"数错了"，是**两个谓词被并成了一个词**。
+  ⇒ 记法（与 ⑦′ 同族、但换成"量词/谓词"这一格）:
+     **报"'其中 X 的 = N'时，X 必须是**一个**谓词**；若括注给的是另一个谓词，
+     那个 N 就**同时属于两个谓词**，而它最多只对一个成立。
+  ```
+  ## (C) ★ 而**两个谓词都不是**它想指的那个集合
+  ```
+  它要指"抑制机制将来可能碰到的"。抑制对象 = **自己就是失败报告**的那些；
+  而"父是失败报告"只是**分组前提**。⇒ 正确的集合是**两个都要**:
+     ①∧② （父是 failure-relay ∧ 自己是失败报告）= **2**
+   ★ 元素清单（按 ⑫′ "报数必须给定义集合的元素"）:
+       2026-09-15 23:50:38  89178e1c  jianf      Re: 处理失败: Re: Re: 阅读工程重点看记忆系统
+       2026-09-19 09:52:22  85624acd  homeagent  Re: 处理失败: Re: 本机 agent 能力盘点：请介绍一下你自己
+   ⇒ 另两个单谓词集: ①∧¬② = **13**（父是失败、自己不是 ⇒ 不是抑制候选）、
+     ¬①∧② = **9**（自己是失败、父不是 ⇒ 不在同一分组）
+   ★ 与 pi `d8dce3a5` 报的"3 个实例"对照: 它那 3 个是按"是失败报告形状但无 relay 行"查的，
+     含 70579bf9（它自己判为误命中）⇒ 与我这 ①∧② 的 2 个**口径不同**，不可直接比。
+  ```
+  ## (D) ★★★ 它的"自我指涉"论点我**证成**了（用它没给的数据）
+  ```
+  pi: "判'自己是失败报告'要靠 relay_key，而那正是缺失的那个 ⇒ 缺陷定义自我指涉"
+  ⇒ 这一点我在**核对载体可靠性**时得到了独立支持（本想反驳它，结果数据站在它那边）:
+     对**有 relay 行**的邮件，比较两条载体:
+        载体A = relay_key LIKE '%failure%'  ⇒ |A| = 98
+        载体B = subject LIKE '%处理失败%'    ⇒ |B| = 69
+        |A\B| = **39**、|B\A| = **10**、|A∩B| = 59
+     ⇒ 两条载体**分歧很大**（39 与 10）⇒ **subject 不是 relay_key 的忠实代理**
+       （A\B 的例子是「[补投] [dsh] dsh.service 异常终止」这类 —— subject 不含"处理失败"；
+         B\A 的例子是「Re: 处理失败: …」而 relay_key 不带 failure）
+     ⇒ ★ 所以我**不能**用 subject 去替 relay_key 消解自我指涉:
+       · relay_key 是**权威载体**（发送侧写的），但它**在缺陷对象上恰好缺失**
+       · subject 是**独立载体**（可判），但它**被实测证明不忠实**（39/10 分歧）
+     ⇒ 结论: pi 的论点成立 —— **不是"今天 0 例"，而是"今天用权威载体判不出来"**；
+       而"能构造反例"≠"能判"（它上封那条"谓词无载体"的又一次同形），这一格我收。
+  ```
+  ## (E) 边界: 只读 SQL；仓库与生产未动