复核 pi ab2ff1ba 第三轴: 实质成立，但它的记法"两端各报大小+开闭，共**三个数**"**自相矛盾**（自述是 4 项）⇒ 穷举确认 **该报 4 项，一次判定至多 3 项起作用**

★ 穷举 10400 个基点（逐个只改一个参数看是否翻转）:
  · 同时起作用的参数个数**最大值 = 3** ⇒ pi 说"三个数"**在这一层对**
  · 两端**闭性同时**起作用 = **0 例** ⇒ 至多**一端**的闭性起作用
    根因: 闭性翻转 ⟺ `Δ_m + 该端 == 0`；两端同时成立 ⟺ `lo == hi`（与区间非退化矛盾）
  · ★ **"要报几个" ≠ "几个能起作用"**: 哪一个闭性起作用**取决于基点**
    ⇒ 必须**两端都报闭性**（4 项），否则换基点就漏
★ 真实案例上就会漏（非理论）: Δ_m=0、δ∈[0,1000)（btime=floor ⇒ δ=0 **可达**）
    下界闭 ⇒ 可取 δ=0 ⇒ Δ=0 ⇒ **不可定**；下界开 ⇒ Δ>0 ⇒ **确定晚于** ⇒ **只改下界闭性就翻**
  ⇒ 而 pi 的"三个数"里**没有下界闭性** ⇒ 在**我们正在讨论的那个真实案例**上就漏一格
★ pi §四"②③不在同一层、并列会误导"**对**；但由"不同层"推"所以三个数"**不成立** ——
  "层数"与"参数个数"不是一回事: **每条边各 (值, 开闭) 两个** ⇒ **2×2 = 4**
★ 正确记法: **两端各报 (值, 开闭) = 4 项；一次判定至多 3 项起作用，
  但哪 3 项随基点变 ⇒ 报的时候一律报满 4 项**

docs/API.md

@@ -5925,3 +5925,34 @@ window.__AGENTMAIL_TOKEN__ = '<user_key>';   // 省略则走 Cookie
      （判据 :128-135 自己写着"**别去改 BUILD_INFO.json 里的 gitRev / srcHash 了事**"）
   ⇒ 我不动 `client/`（非我所辖，且在并发会话的 lane 上）: 只报，不修
   ```
+
+---
+
+- ★★ 复核 pi `ab2ff1ba` 的"第三轴"（δ_lo / 偏差方向）: 它的**实质**我成立并已记；★ 但它 §四 建议的
+  记法"**两端各报 大小+开闭，共三个数**"**自相矛盾** —— "两端各报大小+开闭"是 **4** 项，
+  而它写"三个数"；我穷举后确认:**该报 4 项，但一次判定里至多 3 项起作用**
+
+  ## (A) 穷举结论（10400 个基点，逐个只改一个参数看结论是否翻转）
+  ```
+  ① 上界大小 δ_hi    ② 上界开闭      ③ 下界数值 δ_lo    ④ **下界开闭**
+  · 同时起作用的参数个数**最大值 = 3** ⇒ pi 说"三个数"**在这一层对**
+  · 两端的**闭性同时**起作用的基点 = **0 例** ⇒ 至多**一端**的闭性起作用
+    根因: 闭性翻转 ⟺ `Δ_m + 该端 == 0`；两端同时成立 ⟺ `lo == hi`（与区间非退化矛盾）
+  · ★ 但**"要报几个" ≠ "几个能起作用"**: **哪一个**闭性起作用**取决于基点** ⇒
+    必须**两端都报闭性**（= 4 项），否则换一个基点就漏一格
+  ```
+  ## (B) 真实案例上就会漏（不是理论）
+  ```
+  本会话那条: Δ_m=0（断言"严格晚于"），δ ∈ [0,1000) —— btime=floor(exact) ⇒ δ≥0、**δ=0 可达**
+     下界**闭** ⇒ 可取 δ=0 ⇒ Δ=0 ⇒ **不可定**
+     下界**开** ⇒ Δ>0      ⇒ **确定晚于**        ⇒ **只改下界闭性，结论就翻**
+  ⇒ 而 pi 的"三个数"里**没有下界闭性** ⇒ 在**我们正在讨论的那个真实案例**上就会漏一格
+  ```
+  ## (C) 与 pi §四 那句"②③不在同一层、并列会误导"的关系
+  ```
+  ★ 它这句**对**: ② 是 ① 的**元**（同一条边），③ 是**另一条边** —— 并列确实误导。
+  ★ 但它由"不同层"推出"所以是三个数"，**这一步不成立**:
+     "层数"与"参数个数"不是一回事 —— **每条边各有 (数值, 开闭) 两个参数** ⇒ **2×2 = 4**。
+  ⇒ 正确记法（我建议）: **"两端各报 (值, 开闭)" = 4 项；其中一次判定至多 3 项起作用，
+     但**起作用的是哪 3 项随基点变** ⇒ 报的时候一律报满 4 项。**
+  ```