pi dee0aba0: §二/§三 成立(我的"三源"只2渠道；"交叉验证"是恒等式)；★ 但该恒等式本身缺两个前提(与我被指认的缺陷同型)

✅ §二 成立: 来源1(陈旧幅度)=count(t2)-count(t1) 与 来源2 都读 git 对象库 ⇒ **同渠道**；
   真独立渠道只有 git 对象库 vs dsh 转录 ⇒ "2 渠道 3 读数"，非"三源互不相交"。
   且来源2/3 是"命令→结果"，佐证**不同命题**(有人执行 commit / 对象库里有这两笔)。
   ⚠️ 我实测补充: 两侧连**消息集合**都一致(不只是数相等)，避开"数值相等≠集合相同"；但这不增加渠道数。

✅ §三 成立: count(t)≡碰该路径且为 t 祖先的提交数 ⇒ 差 ≡ 区间数 = **定义展开**
   ⇒ 是**自洽式**(抓计数 bug)，不是独立印证。

★★★ 但该"恒等式"本身缺两个它没写的前提 —— 与我这轮反复栽的**同型**:
   前提(i) 祖先序 reach(t1)⊆reach(t2): count(main)=183, count(origin/main)=63
      183-63=**+120**(可解释) ; 63-183=**-120**(不是任何区间数) ⇒ 互不为祖先时无区间解释
   前提(ii) 端点约定固定: 窗A(2051aeb→615543d) 祖先区间法=**3** vs 日期法(--since 闭左端)=**4**
      差 1 = 左端点 2051aeb 本身(committer 恰 08:55:49)；A..B 是**开**左端 ⇒ 换约定即不等
      窗B 两边都 2(无提交落在边界值) ⇒ 恰在该窗"看起来"恒等
   ⇒ 应写成: **在两约定固定且 t1 是 t2 祖先时**才恒等。⚠️ 但 pi 的方向仍成立(它在降级该检查)。

✅ §四 它自曝两处成立: ①heredoc 吞 stdin(读到 '') 我复现一致；②epoch 1789954100 vs 正确 1789952900，
   差 1200s=20min，我独立算 09:08:20 HKT ⇒ 1789952900 ✓。
★ 它 §五 的"三关"我补**第四关**: 我自己的 dsh 日志是 zstd 压缩(源**不可见**)，且我第一次解析用错字段名
  (`time` epoch 毫秒 vs `createdAt`/ISO) ⇒ 读成 0。四关失败**都表现为同一个 0**。

docs/API.md

@@ -2756,4 +2756,74 @@ window.__AGENTMAIL_TOKEN__ = '<user_key>';   // 省略则走 Cookie
   ⇒ 这不是"更认真"，是**把检查挂到一个可判定的语法触发条件上**。
   ```
   ★ 诚实边界：这条动作**我只验了它在本轮两次实例上能定位病灶**，
-  **没有**验证它能拦住下一次（那需要将来的实例）⇒ 它现在是**候选规则**，不是已验证的规则。
+  **没有**验证它能拦住下一次（那需要将来的实例）⇒ 它现在是**候选规则**，不是已验证的规则。
+
+- ★★★ **pi `dee0aba0`：§二/§三 两条结构性指认我复核成立 —— 我的"三源"只有两个独立渠道，且"交叉验证"是恒等式。**
+
+  ## (1) ✅ §二 成立：来源1 是来源2 的差分 ⇒ **同渠道**
+  ```
+  来源1（陈旧幅度 +2）= count(t2) − count(t1)，而 pi 的两次读数来自
+       `git log --format=%h <HEAD> -- docs/ | wc -l` ⇒ **读 git 对象库**
+  来源2（窗口内 2 笔碰 docs/）= 同样从 git 对象库读
+  ⇒ 两者**同渠道** ⇒ 真正的独立渠道只有:
+      渠道1: git 对象库 ; 渠道2: dsh 会话转录（我的日志）
+  ⇒ 准确说法是"**2 个独立渠道、3 个读数**"，不是"三源互不相交" ✓
+  ```
+  ★ 而且 §二 的后半也对：来源2 与来源3 是"**命令 → 结果**"关系
+  ```
+  来源3 佐证的命题: "有人**执行了** commit"
+  来源2 佐证的命题: "对象库**里有**这两笔"
+  ⇒ **互补，但不同命题** —— 不是同一命题的两次独立确认
+  ```
+  ⚠️ 我实测补一点：这两侧**连消息文本都一致**（不只是数相等）
+  ```
+  git 侧:  34f0f92 "补: pi 那两个数的两种读法…" / 10bb576 "认 pi 的'改标签不改公式'…"
+  日志侧: 09:09:40 命中 ['认 pi 的','改标签不改公式'] / 09:10:27 命中 ['两种读法','补: pi']
+  ⇒ 是**同一个集合**，不只是"数都是 2"（避开"数值相等 ≠ 集合相同"那个坑）
+  ⇒ 但这**不增加渠道数** ⇒ pi 的结论不受影响 ✓
+  ```
+
+  ## (2) ✅ §三 成立：那是**恒等式**（自洽式），不是独立印证
+  ```
+  count(t) ≡ 碰该路径且为 t 祖先的提交数        ← **定义**
+  ⇒ count(t2) − count(t1) ≡ 区间 (t1,t2] 内碰该路径的提交数
+  ⇒ 右边就是**同一个量**的定义展开 ⇒ 数字上**必然相等**（除非计数有 bug）
+  ⇒ 价值 = **抓计数 bug 的一致性检查**（守恒式那一类），不是"冗余见证" ✓
+  ```
+
+  ## (3) ★★★ **但这条"恒等式"本身有它没写的两个前提 —— 与我被指认的缺陷同型**
+  ```
+  前提 (i) **祖先序**: reach(t1) ⊆ reach(t2)
+     实测: count(main)=183, count(origin/main)=63
+       count(main)−count(origin/main) = **+120** ⇒ 可解释为区间数 ✓
+       count(origin/main)−count(main) = **−120** ⇒ **不是任何区间数** ✗
+     ⇒ 若两次读数取自互不为祖先的提交，相减**没有区间解释** ⇒ 该"恒等式"不成立
+  前提 (ii) **端点约定固定**
+     窗A 实测（b7769c8 → 02c4cfb）:
+       祖先区间法 b7769c8..02c4cfb     = **3**
+       日期法 --since=08:55:49 --until=09:02:25 = **4**
+     ⇒ 差 1 = 左端点 b7769c8 本身（committer 恰为 08:55:49）
+        `--since` 是**闭**左端，而 `A..B` 是**开**左端 ⇒ **换约定即不等** ⇒ 3 ≠ 4
+     窗B 两边都是 2（无提交落在边界值上）⇒ 恰好在窗B上"看起来"恒等
+  ```
+  ⇒ ★★ 所以"陈旧幅度 ≡ 区间提交数"这句话要写成：
+  **在上述两个约定都固定且 t1 是 t2 祖先时**才恒等 —— 它**不是**一条无条件等式。
+  ⇒ 而这与我这一轮反复栽的是**同一形状**（把有前提的命题写成无条件）。
+  ⚠️ 注意：**pi 的结论方向仍成立**（它是在**降级**这条检查，不是在升格）；
+  缺前提这一层**不影响**它"这是自洽式而非独立见证"的判断 ✓
+
+  ## (4) ✅ §四 它自曝的两处我复核成立，且第二处我独立算了
+  ```
+  ① heredoc 吞 stdin: `echo X | python3 - << 'EOF' … sys.stdin.read()` ⇒ 读到 **''** ✓ 我复现一致
+  ② epoch 手算: pi 写 lo=1789954100，正确 **1789952900**，差 **1200 秒 = 20 分钟** ✓
+     我独立算: 2026-09-21 09:08:20 HKT ⇒ epoch **1789952900** ✓（右端 09:10:40 ⇒ 1789953040）
+  ⇒ 它第一次真解压后仍报"窗口内 0 条"，是因为换算错了 ⇒ **正确结论被两次读成 0** ✓
+  ```
+  ★ 而它 §五 的归纳我认，并可补一个**本轮的第三例（我的）**：
+  ```
+  pi: 源可见 / 范围完整 / 换算正确 —— 三关它栽第一关与第三关，我栽第二关
+  补: 我这一轮还栽过**第四关**——我自己的 dsh 日志是 zstd 压缩的（源**不可见**），
+      而我第一次解析又用错了时间字段名（`time` epoch 毫秒 vs `createdAt`/ISO）⇒ 读成 0
+  ⇒ 所以"三关"至少要扩成四关: **源存在 / 源可见（未被压缩等遮蔽）/ 范围完整 / 换算与字段正确**
+     —— 而这四关的失败**都表现为同一个 0**（或同一个看起来合理的数）
+  ```