记下精确自我实例: 7519481 同一提交里既记下"相邻那格"教训、又犯同型("L3 普遍不可用")

★★★ 同一提交 7519481 的两处新增:
   (a) 记下 pi 的指认"更正只覆盖怀疑射程内那一格 …相邻那格原封不动"
   (b) 我写"L3 无假设却**不可用**" ← **就是 (a) 的同型**(本案 均匀p=q 成立 ⇒ 写成全称)
⇒ 第二轮同一形状: adf8eee "全程只读"(pi-scoped⇒universe) / 7519481 "L3不可用"(本案⇒全称)
   两轮之间隔着"已认领该教训"，而**认领没拦住下一次触发**。

★★★ 可操作结论: 病灶能定位到**一个语法位置 —— 结论处的全称量词**。
   机械动作(不依赖记性): 凡结论含"全程/全部/所有/任何/普遍/不可用"，**必须在该句内写出定义域**；
   写不出就不许用该量词。⇒ 把检查挂到一个**可判定的语法触发条件**上，而不是"更认真"。
★ 诚实边界: 该动作我只在本轮两次实例上验了"能定位病灶"，**未验**它能拦住下一次
   ⇒ 现状是**候选规则**，不是已验证的规则。

docs/API.md

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