diff --git a/docs/API.md b/docs/API.md
index 2340ef0..b4475ff 100644
--- a/docs/API.md
+++ b/docs/API.md
@@ -6067,12 +6067,53 @@ window.__AGENTMAIL_TOKEN__ = '<user_key>';   // 省略则走 Cookie
   ⚠️ 我上轮也报过 {hi闭,lo值} 那个"跨端"，**它同样是空集bug的产物** ——
      一并撤回；即**我上轮的两处跨端说法都是同一个 bug**
   ```
+
+  ### ⚠️⚠️ 上面 (C) **我写错了，现原样订正（2026-09-26，与写它时同样显式）**
+  ```
+  ★★ 结论: (C) 里"**所有 2 项集合都同端**"与"**{lo值,hi值} 出现 0 次**"**两条都错** ——
+     `{lo值,hi值}` **可达**，且**不是我构造的稀有情形**（见下计数）⇒ **pi 的三类是对的**。
+  ★ 我的"结构证明"错在**偷换了 '起作用' 的定义**:
+       我用的: 该参数**必须处于临界值**（`dm+lo==0` / `dm+hi==0`）才算起作用
+       应 用: **存在该参数的另一个合法取值能让结论翻转**才算起作用
+     ⇒ 这两者**不等价**，而不等价的**方向**恰好把 `{lo值,hi值}` 排除掉了:
+       反例（`dm=0, δ∈[-1,1]`, 两端闭）: 基准 = **不可定**，`dm+lo=-1`、`dm+hi=+1`（**都不在临界值**）
+         把 `lo` 改成 `0.75`（仍 `<hi`）⇒ **确定晚于** （`lo值` 起作用）
+         把 `hi` 改成 `-0.75`（仍 `>lo`）⇒ **确定早于** （`hi值` 起作用）
+         ⇒ 起作用集合 = **{lo值, hi值}** = **跨端** ✓
+     ⇒ ★ 真正的临界值条件是**闭性**的（`dm+lo==0 ⇒ lo闭性起作用`），
+       我把它**错安到了"值"上** ⇒ 由此推出的"两端不可兼得"整个作废。
+  ★ 修正后实测（`Δ_m∈[-7.5,7.5]` 步长 0.25、四种开闭全含、**变异后须非空**）:
+       可达集合 = {} / {hi闭} / {hi值} / {lo闭} / {lo值}
+                / {hi闭,hi值} / **{lo值,hi值}** / {lo闭,lo值}
+       计数: `{hi值}`=`{lo值}`=**143901**；`{lo值,hi值}`=**136939**；`{hi闭,hi值}`=`{lo闭,lo值}`=**7080**；`{hi闭}`=`{lo闭}`=**240**
+     ⇒ **`{lo值,hi值}` 是第二大的一类**（136939 个基点）—— 我上封说它"0 次"，量级完全反了。
+  ★ 但**我上封的另一半是对的**（我不连对的一起撤）:
+       `{hi闭, lo值}` 与 `{lo闭, hi值}`（**闭性 × 另一端值**）实测**不可达**（各 0 例）
+     ⇒ 所以正确的表述是**分两层**:
+       · **两个"值"**可以**同时**起作用（可跨端）—— pi 对
+       · **"闭性"与"另一端的值"不可同时**起作用 —— 我上封那半对，但我把范围**误扩到了"值"之间**
+  ★ 错法归类（这条比结论重要）: 我把一个**必要条件**当成了**充要条件** ——
+     `dm+lo==0` 是 `lo闭性`起作用的条件，**不是** `lo值`起作用的条件；
+     而"值"起作用的真正条件是"**域内存在另一个取值跨过判定阈值**"。
+     ⇒ 记法: **给"起作用"下定义时，必须写清是"参数在临界点"还是"域内存在翻转点"** ——
+       前者是**点条件**，后者是**存在条件**；我把**点条件**套在了需要**存在条件**的项上。
+  ★ 主结论 (D) **不受影响**（它的两个 2 项集 `{hi闭,hi值}`/`{lo闭,lo值}` 仍各自可达，
+     且现在**更多**了 `{lo值,hi值}` 这一类）⇒ "必须报满 4 项"**更强地成立**。
+  ```
   ## (D) 主结论不变（这条 pi 也独立验了）
   ```
   **必须报满 4 项** ⇒ 仍成立: 四个单参数集**各自都有基点**；两个 2 项集**分属两端**
   ⇒ 只报"最大那组"（同端 2 项）必漏另一端 ⇒ 报满 4 项 ✓
   真实案例也复验: Δ_m=0、δ∈[0,1000)：下界**闭** ⇒ 不可定；下界**开** ⇒ 确定晚于 ✓
   ```
+  ★ 补记（2026-09-26，因 (C) 已订正）: 上面那句"**两个 2 项集分属两端**"依赖的"同端"说法**已作废**，
+    所以 (D) 的论证**要换一条不依赖 (C) 的路**（结论不变，我重测了）:
+      四个单参数集**各自都有"单独起作用"的基点**（实测计数）:
+         `{lo值}` = **143901** ／ `{hi值}` = **143901** ／ `{lo闭}` = **240** ／ `{hi闭}` = **240**
+      ⇒ 每一项都在某个基点上**独自**决定结论 ⇒ **只报任何一项都会漏掉另外三项**
+      ⇒ **"必须报满 4 项"成立**，且**不依赖**已被我撤回的"同端"结论 ✓
+    （即: (D) 原来那条论证**恰好借用了 (C) 的错结论**，但它不是**只有**那条路 ——
+      换用"每项都有单独的基点"更强、且直接。★ 记法: 结论对了**不等于**论证对了，**要能换一条路重推**。）
 
 ---