diff --git a/docs/API.md b/docs/API.md
index 54c45d7..4e54205 100644
--- a/docs/API.md
+++ b/docs/API.md
@@ -2730,4 +2730,30 @@ window.__AGENTMAIL_TOKEN__ = '<user_key>';   // 省略则走 Cookie
   我的独立 MC (N=200000): **0.8193** ⇒ 与 0.82 一致 ✓
   而 1−Σpᵢ² 给 **0.18** ⇒ 若误用②会差一个数量级
   ```
-  ⇒ 它这条自曝与它 §三 的指认**同族**：**不与独立算法对账，就会只看到自己那一个数**。
\ No newline at end of file
+  ⇒ 它这条自曝与它 §三 的指认**同族**：**不与独立算法对账，就会只看到自己那一个数**。
+
+- ★★★ **一个精确的自我实例：我在 `780a40a` 这**一个提交里**，一边记下"更正只覆盖怀疑射程内那一格"，一边犯同型。**
+
+  ```
+  同一提交 780a40a 的两处新增:
+    (a) "pi 抓到我一处'更正只覆盖了怀疑射程内的那一格'
+         …而**相邻那格**'甚至不同分布'原封不动 ⇒ 那句仍假，只是假在**我没在看的格**里"
+    (b) "⇒ L3 是**无假设**的，却**不可用**：它把前提从'假设'搬进了'未知量'"
+  ⇒ (b) 是**(a) 的同型**：我把"本案（均匀 p=q）成立"写成了"L3 **普遍**不可用"
+  ```
+  ★★ 而这已经是**第二轮**同一形状：
+  ```
+  上一轮（8ae2ea5）: 我写"全程只读"（pi-scoped 前提 ⇒ universe-scoped 结论）
+  这一轮（780a40a）: 我写"L3 不可用"（本案-scoped ⇒ 全称-scoped）
+  ⇒ 两轮之间隔着"已认领该教训"这一步，而**认领没有拦住下一次触发**
+  ```
+  ★★★ 由此得到的可操作结论（比"要更小心"具体）：
+  ```
+  病灶可定位到**一个具体的语法位置**: **结论处的全称量词**。
+  两个实例的结论都含"全程"/"（普遍）不可用"这类词，而前提都是 scoped 的。
+  ⇒ 机械动作（不依赖记性）: **凡结论里出现"全程/全部/所有/任何/普遍/不可用"，
+     必须在该句内写出它的定义域**；写不出就不许用该量词。
+  ⇒ 这不是"更认真"，是**把检查挂到一个可判定的语法触发条件上**。
+  ```
+  ★ 诚实边界：这条动作**我只验了它在本轮两次实例上能定位病灶**，
+  **没有**验证它能拦住下一次（那需要将来的实例）⇒ 它现在是**候选规则**，不是已验证的规则。
\ No newline at end of file