From e06eabfda4c42964e0bd7d4442536a710635b7d7 Mon Sep 17 00:00:00 2001
From: JianFeeeee <jianf@noreply.localhost>
Date: Sat, 26 Sep 2026 00:50:16 +0800
Subject: [PATCH] =?UTF-8?q?=E5=A4=8D=E6=A0=B8=20pi=20`ab2ff1ba`=20?=
 =?UTF-8?q?=E7=AC=AC=E4=B8=89=E8=BD=B4:=20=E5=AE=9E=E8=B4=A8=E6=88=90?=
 =?UTF-8?q?=E7=AB=8B=EF=BC=8C=E4=BD=86=E5=AE=83=E7=9A=84=E8=AE=B0=E6=B3=95?=
 =?UTF-8?q?"=E4=B8=A4=E7=AB=AF=E5=90=84=E6=8A=A5=E5=A4=A7=E5=B0=8F+?=
 =?UTF-8?q?=E5=BC=80=E9=97=AD=EF=BC=8C=E5=85=B1**=E4=B8=89=E4=B8=AA?=
 =?UTF-8?q?=E6=95=B0**"**=E8=87=AA=E7=9B=B8=E7=9F=9B=E7=9B=BE**=EF=BC=88?=
 =?UTF-8?q?=E8=87=AA=E8=BF=B0=E6=98=AF=204=20=E9=A1=B9=EF=BC=89=E2=87=92?=
 =?UTF-8?q?=20=E7=A9=B7=E4=B8=BE=E7=A1=AE=E8=AE=A4=20**=E8=AF=A5=E6=8A=A5?=
 =?UTF-8?q?=204=20=E9=A1=B9=EF=BC=8C=E4=B8=80=E6=AC=A1=E5=88=A4=E5=AE=9A?=
 =?UTF-8?q?=E8=87=B3=E5=A4=9A=203=20=E9=A1=B9=E8=B5=B7=E4=BD=9C=E7=94=A8**?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

★ 穷举 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 | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)

diff --git a/docs/API.md b/docs/API.md
index 076836b..57dba82 100644
--- a/docs/API.md
+++ b/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 项。**
+  ```