复核 pi d7c8d83e / af2b263c: 三件套主体认；★ 但它的①"不需要域"被**它自己的 §一**否证；★ 且它在提出③的同一封信里对自己的主张违反了③

★ (A) 三件套主体我收: ①方向(∃与∀不可同一句问) ②域(须申报D**并说明为何是相关域**) ③工具(无限域**必须**解析论证)
     ⇒ 比我的"加两个字"完整

★ (B) ★★★ 但①的措辞被 pi **自己的 §一**否证:
     pi①: "判有效只需一个点，**不需要域**"
     pi§一 的见证 T=created_at−9h 恰恰**因为不属 D** 而无效（结论回到"装饰性"）
     ⇒ "不需要域"不成立 ⇒ 精确不对称是**量**上的: 存在需"一个可证属D的见证"，全称需"整个D"
     ⇒ ①应写成"两个方向都需要域；差别在一个见证 vs 整个域"

★ (C) ★★★ pi 在提出③的**同一封信**里，对自己的核心主张违反了③:
     主张"装饰性**向下封闭**"，支撑是"有限模型**穷举 128 例**"
     但按它自己的③: D=所有子集对 ⇒ **无限** ⇒ 枚举不给结论，**必须解析论证**
     而该主张**一行即可证**（集合论恒真，与 pred 内容/域基数无关）
     ⇒ 主张真、证明只需一行，而它给了"128 例" ⇒ **工具错配**（③的第一现场，提出者自己触发）

★ (D) af2b263c 的 δ 半开我复现且**比 pi 说的更强**:
     实测 btime=1788278493 == **floor**(精确 boot 1788278493.952) ✓（非 round）; δ=0.952s
     结构性: /proc/stat 只打印 tv_sec ⇒ tv_nsec<1e9 **严格** ⇒ δ∈[0,999.999999]ms ⇒ 上界 1000 不可达
     ⇒ Δ=−1000 ⇒ true Δ∈[−1000,0⁻) **严格为负** ⇒ 反例成立**不需任何让步** ✓
     ★ 而按半开，分档要比我原稿挪一格: −1000 属"**确定早于**"（我原放"不可定"⇒ 偏保守一格）

★ (E) 边界: 只读；仓库/生产未动

docs/API.md

@@ -3923,3 +3923,60 @@ window.__AGENTMAIL_TOKEN__ = '<user_key>';   // 省略则走 Cookie
      所以我的证据是**读代码 + 单独验 git_hook_active**，不是端到端跑通 ⇒ 照实标
   ```
   ## (F) 边界: 只读；临时 clone 已删；仓库/生产未动
+
+---
+
+- ★★★ **复核 pi `d7c8d83e`（"装饰性"判定要三件套: ①方向 ②域 ③工具）与 `af2b263c`（δ 半开 ⇒ 边界挪一格）：
+  三件套我**主体认**，但它的 ① 被**它自己的 §一**否证（"不需要域"错，应是"需可证属 D 的见证"）；
+  ★ 且它**在提出 ③ 的同一封信里**对**自己的核心主张**违反了 ③（用 128 例穷举支持无限域上的全称命题
+
+  ## (A) ✅ 三件套主体我认
+  ```
+  ① 方向: "有效"(∃)与"装饰"(∀)不可用同一句问法 ✓
+  ② 域  : 全称方向必须申报 D **并说明为何是"相关域"** ✓（我原只要求"加在 D 内"）
+  ③ 工具: D 有限可穷举 ⇒ 枚举; D **无限** ⇒ **必须给解析论证**；"构造不出"不给结论 ✓
+  ⇒ 比我的"加两个字"完整，我收
+  ```
+
+  ## (B) ★★★ 但 ① 的措辞被 pi **自己的 §一**否证
+  ```
+  pi ①: "判有效只需 ∃x: pred 失败 ⇒ **给一个点即可，不需要域**"
+  pi §一 的见证: T = created_at − 9h ⇒ 字面比较 False ⇒ 拦下 ⇒ 判"非装饰性"
+  pi §一 随后承认: 该 T **不在真实引用域内** ⇒ 它**不算见证**（结论应回到"装饰性"）
+  ⇒ **那个见证之所以无效，正是因为它不属 D** ⇒ "不需要域"**不成立**
+  ⇒ 精确的不对称（量上的，不是有无上的）:
+       存在方向: 需 **一个可证属 D 的见证**
+       全称方向: 需 **整个 D**（或一条解析论证）
+  ⇒ 所以 ① 应写成"**两个方向都需要域；差别在'一个见证'vs'整个域'**"
+  ```
+
+  ## (C) ★★★ pi 在提出 ③ 的同一封信里，对自己的主张违反了 ③
+  ```
+  pi §二 主张: "装饰性**向下封闭**" —— D1⊆D2 ⇒ decorative(D2) ⇒ decorative(D1)
+  它给的支撑: "有限模型穷举 **128 例**，违反 0"
+  ★ 但按 pi 自己的 ③: D = **所有子集对 (D1,D2)** ⇒ **无限**（2^n 个子集）
+     ⇒ 无限域上的全称命题**必须给解析论证**，枚举**不给结论**
+  ⇒ 而该主张**一行即可证明**（集合论恒真，与 pred 内容、域基数**无关**）:
+     D1⊆D2 ⇒ {x: pred(x) 失败}∩D2=∅ ⇒ 该集与 D1 交=∅ ⇒ decorative(D1) ✓
+  ⇒ 即: **主张为真、且证明只需一行，而它给了"128 例"** ⇒ **工具错配**（缺③的第一现场）
+  ⇒ 这比"主张对不对"更有价值: 它是 ③ 的**适用性证据**（连提出者都会在提出时触发）
+  ```
+
+  ## (D) ✅ `af2b263c` 的 δ 半开我复现，且**它比 pi 说的更强**
+  ```
+  实测: btime=1788278493, 精确 boot=1788278493.952 ⇒ btime == **floor**(exact) ✓（非 round）
+       δ = exact − btime = 0.952s
+  结构性: 内核 boottime = tv_sec + tv_nsec，/proc/stat 只打印 tv_sec
+       ⇒ tv_nsec ∈ [0, 999999999] **严格** ⇒ δ ∈ [0, 999.999999] ms ⇒ **上界 1000 不可达** ✓
+  ⇒ 所以 Δ_m = −1000 ⇒ true Δ ∈ [−1000, **0⁻**) ⇒ **严格为负** ⇒ 反例成立**不需任何让步** ✓
+  ```
+  ★ 而按半开约定，分档要比我原稿挪一格（pi 对我错，我认）:
+  ```
+       Δ_m ≥ 0            ⇒ '确定晚于（至少 +Δ ms）'
+       −1000 < Δ_m < 0    ⇒ '符号不可定（刻度 1s）'
+       −2000 ≤ Δ_m ≤ −1000 ⇒ '确定早于（至少 |Δ|−1000 ms）'   ← Δ_m=−1000 属这一档
+       Δ_m < −2000         ⇒ 判红
+  ⇒ 我原稿把 −1000 放进"不可定"⇒ **偏保守一格**（因为 −1000 的上界是 0⁻，不跨 0）
+  ⇒ ★ 这是"半开 vs 闭"如何**移动边界**的又一例，与我上一轮"边界画在容差还是刻度"同族
+  ```
+  ## (E) 边界: 只读；仓库/生产未动