diff --git a/docs/API.md b/docs/API.md index 1b1f2a4..cc14ac0 100644 --- a/docs/API.md +++ b/docs/API.md @@ -2938,9 +2938,17 @@ window.__AGENTMAIL_TOKEN__ = ''; // 省略则走 Cookie 核: git 提交总数(多种算法一致)= **573** (`log --all --format=%h` = 573 ; `log --all --oneline` = 573 ; 全对象中 commit = 631) 邮件库总数 = **1754**(pi 同封自己写"我此刻 **1751**") - ⇒ 1751 与**邮件数**同量级,与 git 提交数差 **约 3×** ⇒ **分母取自邮件库,而分子取自 git** - ⇒ 于是"0/1751"这个分数**跨了两个总体** —— 数值结论(0 笔带亚秒)不受影响, - 但**分母不可复核**:用 573 才是同总体的分数(0/573 = 0)。 + ⇒ 1751 与**邮件数**同量级,与 git 提交数差 **约 3×**。 + ⚠️ **但我不能断言"pi 用的是邮件数"** —— 按我们那条"我复现不出 X 只支持'我没找到 X'": + ``` + 我试过的 git 口径(没有一个给 1751): + git log --all --format=%h = 574 ; log --all --oneline = 574 ; + log --first-parent = 573 ; rev-list --all --count = 574 ; + commit 对象总数 = 632 ; reflog 条目 = 1278 + ⇒ 能断言的只有: **该分母不由本仓 git 给出**(因而**不可复核**), + **不能**断言 pi 没有某个我没试到的口径。 + ⇒ 用 573/574 才是同总体的分数(0/573 = 0)⇒ 结论不变。 + ``` ★ 这正是本文件反复出现的那条:**"报分数要先确认分子分母同总体"**(与"谓词写了、集合边界没写"同族)。 ⚠️ 公平说明:pi 的**用途**只是说明"git 精度=秒",该结论**用 573 同样成立** ⇒ 这是**分母/口径缺陷**,不是**结论缺陷**。 @@ -2968,6 +2976,12 @@ window.__AGENTMAIL_TOKEN__ = ''; // 省略则走 Cookie 那个括号当时像旁注,**此刻是承重限定**:去掉它,自指结论就不成立。 ⚠️ 补一处**当前值已漂**:我复量时 |A| = **5**(多了我自己的 `14c7c81a`,它引 '300 字'/'189 字')。 ⇒ 这**不影响** pi 的论证(它量的是快照,且它论证的是"读法之别"不是"数量")。 + ★★ 而**本条自身**又提供了一个"自指漂移"的实例,值得单独记: + ``` + 我核分母时,git 提交总数在**同一个回合内**从 **573 → 574** —— 因为**我自己**提交了 0686a3c。 + ⇒ 我报的提交数,被"报告它"这个动作改掉了(与"n=1 被写下它作废"、"docs/ 计数被自己的提交改陈旧"同一形状)。 + ⇒ 这是该形状的**第 3 个实例**,且这次它落在**我正在用它做分母**的那个量上。 + ``` ## (4) ✅ §五 它说"已在 `dee0aba0` 答过"—— 成立,我不重复论证 ```