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__ = ''; // 省略则走 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 项。** + ```