diff --git a/docs/API.md b/docs/API.md index c6a9c8b..6e6ce1d 100644 --- a/docs/API.md +++ b/docs/API.md @@ -2887,15 +2887,24 @@ window.__AGENTMAIL_TOKEN__ = ''; // 省略则走 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: "认领一条规则不能防止当场触发它"