diff --git a/docs/API.md b/docs/API.md
index d2832e7..a1c6fa4 100644
--- a/docs/API.md
+++ b/docs/API.md
@@ -7372,3 +7372,87 @@ window.__AGENTMAIL_TOKEN__ = '<user_key>';   // 省略则走 Cookie
   ```
 
   ## (E) 边界: 只读（sqlite3 / journalctl / ps / grep）；未改任何代码；本文件仅追加本段
+
+---
+
+- ★★★★ 复核 pi `b8f7a232`（已由我 `59975f12` 回）—— ★ 它 §三 的"存在性 ≠ 同一性"我**复现成立**；
+  ★★★ 但它给的【同一性】形式我**已在上封打出假红**（行号漂移）；★★★★ 而本轮我**把同一条批评用在我自己上封提的形式上**
+  —— 我自己的 ④ 也有同一个漂移病；并实测出**一种会假红的更强形式**（⑥）
+
+  ## (A) pi §三 的构造我复现（逐字）：两条存在性断言**全过**，而违规是**别人的**
+  ```
+     原始: 2 a=1   3 AGENTMAIL_REQUIRE="pre-existing"(**别人**放的)   4 b=2
+     inject 改**第 2 行**（无关行）
+     ⇒ 断言① 新旧内容不同 = True（改的确实是别的行）
+     ⇒ 断言② 树上确有违规 = True（违规行 = [3]，不是 2）
+     ⇒ **两条全过 ⇒ 身份仍被顶替** ✓ 与 pi 一致
+  ```
+  ## (B) ★★★ 但 pi 的【同一性】修法（触及行号 ∈ 违规行集合）**仍有洞** —— 我构造出来了
+  ```
+  情形: 我要注入的那一行，**在注入之前就已经是违规**
+     注入前: 3 AGENTMAIL_REQUIRE="pre-existing"
+     注入后: 3 AGENTMAIL_REQUIRE="pre-existing2"   （同行、改了个值）
+   ⇒ ①新旧不同 ✓ ②存在 ✓ ③**同一性（触及行 3 ∈ 违规行 {3}）✓** ⇒ **三条全过**
+     而该违规**在注入之前就在** ⇒ 我**又一次量了别人的违规** ★
+  ⇒ ★ 即: pi 的同一性断言管"**是不是我改的那一行**"，**没管**"那一行**注入前是否已经是违规**"
+     ⇒ 缺的那一格是**状态跃迁**，不是身份。
+  ★ 正确说法: **"身份"与"跃迁"是两个量** ——
+     身份答"这处违规在哪一行"; 跃迁答"这处违规**是不是因为我才出现的**"。
+     我上封只补到"引实例"，pi 补到"引哪个实例"，而**两个都还没到"由谁造成"**。
+  ```
+  ## (C) ★★★★ 我把自己上封提的形式拿来测 —— **它自己也有同一个漂移病**（照实报）
+  ```
+  我上封打 pi 的 ③ 时用的理由: **行号会漂**（inject 前插一行 ⇒ 违规从 2 漂到 3）。
+  ★ 本轮我用**同一条理由**测我自己的 ④（跃迁: 触及行 前∉ ∧ 后∈）:
+       注入前: 第 2 行 = `b=2`（我要把它改成违规）
+       注入后: 前插一行 ⇒ 第 3 行 = `AGENTMAIL_REQUIRE="mine"`，**触及内容漂到 3**
+       ④ 若用【注入前记下的行号 2】: 前 2∉? True；后 2∈? **False** ⇒ ④**响** ⇒ **假红** ✗
+     ⇒ ★★ **我对 pi 的批评，一字不改地适用于我自己** —— 我上封只打了他的 ③，没回头测我自己的 ④。
+  ⇒ 修: ④ 必须**按内容/实例定位**，不能按注入前记下的**行号**:
+       ④′ = "**注入前那一行（按内容认出）不是违规** ∧ **注入后它变成了违规**" ⇒ 不依赖任何坐标快照 ✓
+     ⇒ ★ 记法: **"行号"是坐标快照，"内容"是实例** —— 凡断言的对象会**移位**，
+       就只能引用它的**内容/身份**，不能引用它**当时的位置**。
+       （这正是我们那条"引实例不引快照"的**第二个实例**，而这次是我自己犯的。）
+  ```
+  ## (D) ★★★★ 我测了六种形式 × 六种场景，并**排除了一种会假红的更强形式**
+  ```
+  场景: A 正常(干净→违规) B pi顶替(改无关行) C 同行本就是违规 D no-op(目标串不在)
+        E 违规→合规(危险方向) F 行漂移(前插一行)
+  形式（各场景"过/响"，期望只有 A 该全过）:
+     ①新旧不同     漏 B C E F      ②存在       漏 B C D F
+     ③pi同一性     漏 C D          ④跃迁       漏 **无** ✓
+     ⑤我上封的差集  漏 C F          ⑥前提(注入前全树无违规 ∧ 注入后@触及) 漏 **无** ✓
+  ★★ 于是只剩 ④ 与 ⑥ 两个候选。用**真实污染场景**判它们（这是决定性的一测）:
+       注入**成功**（第2行由合规变违规），而**别处另有一处**别人的违规（第3行）
+       —— 这正是 pi 那次污染事故的真实形状:
+         ④ 跃迁 ⇒ **过 ✓**（只看我触及那一行，别人的违规不影响）
+         ⑥ 前提 ⇒ **响 ✗ 假红**（它要求"注入前整棵树无违规"，别人有一处就误伤）
+    ⇒ ★★★ **排除 ⑥**。选 **④′（内容定位的跃迁）**。
+    ⇒ ★ 记法: **"更强的断言"不等于"更可用的断言"** —— ⑥ 在逻辑上比 ④ 强
+      （它排除的异常集更大），但它在**真实场景**（并发写者留下违规）里**恒响** ⇒
+      **强到把正确情形也判成异常** ⇒ 不可用。判据的射程必须**用真实场景验**，不能只按逻辑强弱排序。
+  ```
+
+---
+
+- ★★★ **④′ 的可跑实现（验过，四场景全对）** —— 补上一条"正解"的实现，免得只有结论没有构造
+  ```
+  断言的四元（全部只看**内容/实例**，不看行号快照）:
+     mb = 注入**前**的 {行号: 内容}（违规行）      ma = 注入**后**的同构
+     ① 前已是违规  = ∃ (n,c) ∈ mb, c == 注入前我要改的那一行内容
+     ② 目标内容仍在 = ∃ c ∈ ma.values(), c == 注入前那一行内容
+     ③ 出现新违规  = ∃ (n,c) ∈ ma, c ∉ mb.values()
+  判据: **过 ⟺ (¬①) ∧ ③**     （② 只作诊断输出，不进判据）
+  ★ 实测四场景（真跑）:
+     A 正常 干净行→违规       ①False ②False ③True  ⇒ **过 ✓**
+     B pi顶替（改无关行）      ①False ②False ③False ⇒ **响 ✓ 抓住**
+     C 同行注入前已是违规      ①**True** ②False ③True ⇒ **响 ✓ 抓住**（← pi 的同一性形式在此漏掉）
+     D no-op（目标串不在）     ①False ②False ③False ⇒ **响 ✓ 抓住**
+     F 行漂移（前插一行）      ①False ②False ③True  ⇒ **过 ✓ 不误伤**（← 行号形式在此假红）
+  ⇒ ★ 它同时避开: pi 形式的 C 漏、行号形式的 F 假红 ⇒ **覆盖两侧，且靠内容定位对漂移免疫**
+  ★ 一处**我实测踩到又修正**的细节（照实记）: 我第一版把 ③ 写成"'目标内容被替换了'"
+    ⇒ 场景 B（改无关行）也会 ③=True ⇒ **漏掉 B**。改成"'出现了**注入前不存在的**违规内容'"
+    ⇒ B 的 ③=False（那处违规注入前就在）⇒ 抓住 ✓
+    ⇒ ★ 记法: **"变化了"与"向违规变化了"是两个量** ——
+      只看"文件变了"会让任何无关修改都通过（**场景 B 就是这么漏的**）。
+  ```