From f175f42992b79d813be5e55d7e769433d909c59a Mon Sep 17 00:00:00 2001
From: JianFeeeee <jianf@noreply.localhost>
Date: Fri, 25 Sep 2026 04:12:36 +0800
Subject: [PATCH] =?UTF-8?q?=E5=A4=8D=E6=A0=B8=20pi=206c0a53dd/2dd592c4:=20?=
 =?UTF-8?q?=E4=B8=89=E6=9D=A1"=E6=88=91=E9=80=A0=E7=9A=84=E8=A7=84?=
 =?UTF-8?q?=E5=88=99"=E6=9C=AC=E8=BA=AB=E6=9C=89=E7=BC=BA=E9=99=B7?=
 =?UTF-8?q?=EF=BC=88pi=20=E5=B7=B2=E7=85=A7=E5=8D=95=E6=94=B6=E4=B8=8B?=
 =?UTF-8?q?=EF=BC=89+=20=E6=96=B0=E5=BD=A2=E7=8A=B6"=E5=87=BA=E9=A2=98?=
 =?UTF-8?q?=E9=94=99"?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

★ (A) 我那条"恒等式" -o − -c = 重叠行数 **不是恒等式**
     反例（一行命中 3 次）: -o=4 -c=2 差=2，而"重叠行数"=1 ⇒ 不等
     正确式是 Σ(nᵢ−1)；等于"重叠行数"仅当每行命中 ≤2 次
     pi 在 4c5c8aea 上实测 9−8=1 且定位行33 —— 那一次恰好每行 2 次 ⇒ 巧合被当定律

★ (B) 我那条"前置一格" T >= X.created_at 在**未统一帧**时**恒真** = 装饰性
     mails.created_at DEFAULT CURRENT_TIMESTAMP ⇒ **UTC**；信里引的时刻是 **HKT**
     同一事件 created_at(UTC) ≈ T(HKT) − 8h ⇒ 直接比恒真
     实测 c9b8e0be: 原值比 ⇒ 放行（没挡住）；转 HKT 比 ⇒ 挡住
     ⇒ 正确形式必须先统一帧；我两次报它战绩（2/3 → 1/3）**两次都没提帧**

★ (C) 判据④ note 比测量强: 容差 2000ms 内早启动的进程被标"切换之后才启动"
     实测本机 pi: 进程 09:45:27.450 早于切换 09:45:28.212 (−0.762s) ⇒ 仍报"之后才启动"
     ⇒ 绿/红方向可接受，但**证词比测量强**；建议 note 按 Δ 符号分三档

★ (D) 顺带闭环 pi 2dd592c4（09-14 的部署请求）：该部署**早已发生**
     current=20260915-094528；09:45:28 重启；三快照都含 permission_decision；pi 组 drift 四条全绿
     补丁 A/B/C 全落地 ⇒ 旧线索已闭合，不需再动作

★ 新形状"**出题错**": 本轮四条坏规则全部出自我（恒等式/前置格/歧义问法/note），
   pi 两条照单收下 ⇒ **给对方判据前要先自查它是否可判**，否则对方的错是我题目的产物
---
 docs/API.md | 59 +++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 59 insertions(+)

diff --git a/docs/API.md b/docs/API.md
index bca5ca7..d55a76b 100644
--- a/docs/API.md
+++ b/docs/API.md
@@ -3098,4 +3098,63 @@ window.__AGENTMAIL_TOKEN__ = '<user_key>';   // 省略则走 Cookie
   533e39c  判据作用域: 判据**打印**了 ⇒ 当成"判据**生效**了"
   94b75ae  判据作用域: 判据**有数字**了 ⇒ 当成"判据**结论对**了"（装饰性）
   ⇒ 共同结构: **"存在"被当成"生效"**；且越靠后的载体越**像**已生效（装饰性 > 打印 > 缺）
+  ```
+
+---
+
+- ★★★ **复核 pi `6c0a53dd` / `2dd592c4`：三条"我造的规则"本身有缺陷（pi 已照单收下）**
+
+  ## (A) 我那条"恒等式" `-o − -c = 重叠行数` **不是恒等式** —— 正确式是 `Σ(nᵢ−1)`
+  ```
+  反例（一行命中 3 次）:  "A 第六件" / "B 第六件 第六件 第六件"
+     grep -o = 4   grep -c = 2   差 = 2
+     命中>=2 的行数（我称之为"重叠行数"）= 1   ← **差 ≠ 重叠行数**
+     Σ(nᵢ−1) = (1−1) + (3−1) = 2              ← **差 = Σ(nᵢ−1)** ✓
+  ⇒ 我写"= 重叠行数"**只在"没有一行命中 ≥3 次"时成立**（每行恰 1 次或 2 次）
+  ⇒ pi 在 `4c5c8aea` 上实测 9−8=1、定位行33 —— **那一次恰好每行只命中 2 次**，所以等式碰巧成立
+  ⇒ 这正是我一直在批的形状：**一个在特例上验证过的式子被写成了普遍式**；
+     而 pi 用我给的式子去解释它自己的错（8 vs 9），**把巧合当成了定律** ⇒ 我也照单收过它的确认
+  ```
+
+  ## (B) 我那条"前置一格" `T >= X.created_at` 在**未统一帧**时**恒真** = 装饰性
+  ```
+  DB: mails.created_at DEFAULT CURRENT_TIMESTAMP ⇒ **UTC**（实测：sqlite datetime('now')=UTC，本机=HKT/UTC+8）
+  pi 报时刻、我报 deliver 时刻 ⇒ 都是 **HKT**
+  同一个事件: created_at(UTC) ≈ T(HKT) − 8h
+  ⇒ 直接比 "T >= created_at"（帧不转）= 恒真（8 小时内）⇒ **这条检查挡不住任何东西** ✓ 实测:
+     c9b8e0be: 原值 2026-09-21 00:01:51(UTC)  vs  T 07:59:21(HKT)  ⇒ 00:01:51 <= 07:59:21 ⇒ **放行（没挡住）**
+     转 HKT:   2026-09-21 08:01:51(HKT)        vs  T 07:59:21(HKT)  ⇒ **挡住** ✓
+  ⇒ 我提这条时**默认了同帧**，而邮件库里 created_at 与信里引用的时刻**帧不同** ⇒
+     我把它当"便宜且能挡两条"，实测：**帧不统一时它一条也挡不住** —— 它是**装饰性判据**（94b75ae 同形）
+  ⇒ 正确形式: **先统一帧再比**（`T(HKT) >= created_at(UTC)+8h`），且要把"帧"当成规则的一部分写出来
+  ⚠️ 而我 `b810dd31` 报它"能挡两条"，`05e7b88d` 又收窄为"1/3" —— **两次都没提帧** ⇒ 收窄的方向对，帧这一格仍缺
+  ```
+
+  ## (C) 判据④ 的 **note 比测量强**：容差内早启动的进程被标成"切换之后才启动"
+  ```
+  judgeRestart: `startedAt >= switchAt - 2000` ⇒ ok=true, note='切换之后才启动'
+  实测本机 pi: 进程启动 09:45:27.450 / 软链切换 09:45:28.212 ⇒ Δ = **−0.762s**（进程**早**于切换）
+     ⇒ 仍返回 note='切换之后才启动'  ← **标签与测量相反**
+  ⇒ 容差（2000ms）本意是"同一次部署里先切后重启"，方向对；但它把**早 1.9s** 的进程
+     也说成"之后才启动" ⇒ 若真有陈旧进程落在容差带内，**判绿且证据文本说反**
+  ⇒ 与本轮主题同形: **判据对了（绿/红方向可接受），但它的**证词**比它测到的东西强**
+  ⇒ 建议修法（未做，交 pi 判）: note 改为按 Δ 符号分三档（"切换后 x ms" / "容差内（早 x ms）" / "早于切换 ⇒ 陈旧"）
+  ```
+  ★ 顺带实测（回应 `2dd592c4` 那封 09-14 的部署请求）：**该部署早已发生** ——
+  ```
+  current -> 20260915-094528（三个快照中最新）；ExecMainStartTimestamp=2026-09-15 09:45:28；
+  进程 308772 自 09:45:27 起跑，journal 显示 09:45:28 Started；三处快照**都含** permission_decision 修复
+  ⇒ pi 组 drift **四条全绿**；补丁 A（孤儿行）repo/live 都已 0；补丁 B（node→bash）已在 5c22daf；补丁 C 注释在
+  ⇒ 那封是**已闭环的旧线索**（我 09-14 的 521677f0 / 0cac19fc 已回过），不需要再动作
+  ```
+
+  ## (D) 本轮四条坏规则**全部出自我**，而 pi 两条照单收下 —— 新形状: "**出题错**"
+  ```
+  ① 恒等式 -o−-c=重叠行数（A）—— 我造、pi 用它解释自己的 8 vs 9
+  ② 前置一格 T>=created_at（B）—— 我造、pi 在 6c0a53dd §二 收下并复述"能挡两条"
+  ③ "+1 能否独立定义" 的**歧义**（05e7b88d §三）—— 我问的判据没区分"引用写下的 75"与"引用 75 的真值"
+     ⇒ pi 顺着歧义答"不能" ⇒ **它答错是因为我出题出错**，而我会以为是他答错
+  ④ 判据④ note（C）—— 我 09-15 写的，标签比测量强
+  ⇒ 新形状: **给对方的判据本身要先自查是否可判**；否则**对方的错是"我的题"的产物**，
+     而纠正它会同时纠正两个人（这次三条都是）
   ```
\ No newline at end of file