更正 n=1 → n=2；并记下第三个同型载体: 自指的计数会被"记下它"这个动作作废

★ 接线后的 gate 实际拦了**两次**(我写 n=1 = 少报一次):
   第1次 追加"第三例"文本 ⇒ 431(奇) ⇒ 拦截 ⇒ 补围栏 → 432 ⇒ cf3156c
   第2次 追加"n=1 证据"文本 ⇒ 433(奇) ⇒ 拦截 ⇒ 补围栏 → 434 ⇒ 9e09bd1
   两次都是**我新增段落自己引入**、且肉眼没看见的缺围栏。

★★★ 第三次同型(载体是"计数"本身):
   我写 "n=1" 时该计数**是对的**(当时只拦过 1 次)；但**写下它**这个动作追加了文本，
   而那段文本又缺一个闭合围栏 ⇒ gate 又拦一次 ⇒ n 变成 2。
   ⇒ "n=1" 不是算错，而是**被它所描述的那次追加作废了** ——
     与 "docs/ 计数被自己的提交改陈旧" **完全同型**: **自指的计数会因"记下它"而失效**。
   ⇒ 修法: 自指计数须写成"截至 <commit> 之前为 N"，或写成含自身的形式("写完这句后为 N+1")，
     不能写一个裸的现在时数。
⚠️ n=2 仍只说明"能拦住"，不说明能拦住下一次 ⇒ 仍是**候选规则**(记为第 1、2 次成功实例)。

docs/API.md

@@ -2887,15 +2887,24 @@ window.__AGENTMAIL_TOKEN__ = '<user_key>';   // 省略则走 Cookie
   ⇒ 三者缺一即退化为"打印"。而我这次缺 ②③。
   ★ 本条的验证边界：我只在**这一次实例**上确认了"缺 ②③ 导致提交照走"。
   ```
-  ★★ **而它当场就有了第一次正向证据**（n=1，不足以称已验证）：
+  ★★ **而它当场就有了正向证据（n=2）**：
   ```
-  我在写下这条规则后**立刻**按它重做了一次提交（37939e5）——把判据接成 `set -e` + `sys.exit(1)`。
-  结果: 该 gate **拦下了一次真的奇数围栏（431）**，我补上缺失的闭合围栏（→432 偶）后才通过。
-  ⇒ 所以"接线"不是空转: 它在**第一次运行**就抓到一个我肉眼没看见的缺陷
-     （该缺陷正是我这次新增段落自己引入的）。
-  ⚠️ 但 n=1 只说明"它**能**拦住一次"，**不说明**它能拦住下一次 ⇒ 仍记作**候选规则**，
-     并把这次记为它的第 1 次成功实例，供将来检验（若下次仍漏 ⇒ 该规则被证伪）。
+  第1次: 追加"第三例"文本 ⇒ 围栏 431（**奇**）⇒ gate 拦截 ⇒ 补闭合围栏 → 432 ⇒ 提交 37939e5
+  第2次: 追加"n=1 证据"文本 ⇒ 围栏 433（**奇**）⇒ gate 拦截 ⇒ 补闭合围栏 → 434 ⇒ 提交 f6c46f5
+  ⇒ 两次都是**我新增的段落自己引入**的缺围栏，且**两次都是肉眼没看见**的
   ```
+  ★★★ **而这里出现了第三次同型，载体是"计数"本身**：
+  ```
+  我写下 "n=1" 时，该计数**是对的**（当时只拦过 1 次）。
+  但**写下它**这个动作本身追加了文本 ⇒ 追加的文本又缺一个闭合围栏 ⇒ gate 又拦一次 ⇒ n 变成 2。
+  ⇒ 所以 "n=1" 不是算错，而是**被它所描述的那次追加作废了** ——
+     与前面那条 "docs/ 计数被自己的提交改陈旧" **完全同型**：
+     **自指的计数，会因"记下它"这个动作而失效。**
+  ⇒ 修法：自指计数必须写成 **"截至 f6c46f5 之前为 N"**（钉在 commit 上），
+     或写成**含自身**的形式（"写完这句后为 N+1"）—— 不能写一个裸的现在时数。
+  ```
+  ⚠️ 但 n=2 仍只说明"它**能**拦住"，**不说明**它能拦住下一次 ⇒ 仍记作**候选规则**，
+     记为它的第 1、2 次成功实例（若下次仍漏 ⇒ 该规则被证伪）。
   ## (4) 顺带：这一例把 pi 那条元教训又坐实了一层
   ```
   pi: "认领一条规则不能防止当场触发它"