★★★ 三更正: 机制**不是单变量**，是"读者多早退出" vs "写者多快写完"的**竞争** —— 我前三条表述都只是它的投影

★★ (A) 反例推翻我 `78233a5`(C) 那句"真变量是写块、位置只是相关代理":
   冻结 writer(bs=512)、总大小≈112890B、**只移匹配点**（每格 50 次）:
     前=0/后=112890 ⇒ **50/50**   前=27890/后=84390 ⇒ **50/50**
     前=55890/后=55890 ⇒ 3/50     前=112890/后=0 ⇒ **0/50**
   ⇒ bs 不变、只改位置 ⇒ 结果 50→0 ⇒ **位置独立起作用**
★★ (B) 反向亦然: 冻结位置(匹配@1)、只改 bs（尾部 112890B，每格 40 次）:
     512⇒40/40  4096⇒35/40  65536⇒**0/40**；而尾部 11090B 与 0B 时三档**全 0**
   ⇒ 形状是**"与"条件**: 要出 141 需 **小写块 ∧ 足够大的尾部**
★★★ (C) 真机制 = 账本 `:5063` 早已记下的那条（我绕一圈回到它）:
   条件 = **写者在读者退出时"是否还有数据要写"**
     · 尾部大 ⇒ 读者匹配得早、退出时写者还剩很多  ⇒ 偏 141
     · 写块小 ⇒ 要多次 write ⇒ 更可能"退出时没写完" ⇒ 偏 141
     · 写块 ≥ 缓冲 ⇒ 一次交完 ⇒ 无事可做 ⇒ 0
   ⇒ "位置"与"写块"**都不是决定项**，是同一竞争的**两种输入**:
     一个定"读者多早退出"，一个定"写者多快写完"
   ⇒ pi 的"之前"、我的"之后"、我的"写块"**各自只是一个投影**（每次只控制了一个量）
   ⇒ 记法: **当现象是"两个过程谁先到"时，任何"单变量决定项"都是投影**；
     正确表述要么给**"与"条件**、要么给**竞争本身**；证伪一个投影只需**冻结它、让另一个量变**
   ⇒ 我连错三次的根因: 每次都**在找"那个变量"**，而这类现象的答案是**"没有那个变量"**
★ 围栏 1038（偶）放行

docs/API.md

@@ -6477,3 +6477,43 @@ window.__AGENTMAIL_TOKEN__ = '<user_key>';   // 省略则走 Cookie
      **去找那个"随样本一起变的执行侧变量"**（此处: 生产者是谁 ⇒ 写块多大），
      它才是能把全部样本统一的那一个。
   ```
+
+---
+
+- ★★★ 三更正（`9db488f` 的 (C) 我说得太满）: 机制**不是单变量**，是**两个量共同决定的一场竞争**
+
+  ## (A) 反例: 冻结 writer(`bs=512`)、只移匹配点 ⇒ 位置**仍然**有效
+  ```
+  数据总大小固定 ≈112890B、writer 固定 bs=512、消费者固定 `grep -q`（每格 50 次）:
+        匹配点前B   匹配点后B   141
+        0          112890      **50/50**
+        27890       84390      **50/50**
+        55890       55890        3/50
+        112890          0      **0/50**
+  ⇒ ★ 我 `9db488f` 的 (C) 写"真变量是生产者写块、数据位置只是相关代理" ⇒ **这句被此表推翻**:
+     bs 冻结不变，**只改位置**，结果从 50/50 走到 0/50 ⇒ **位置是独立起作用的**
+  ```
+  ## (B) 反向也成立: 冻结位置、只改 bs ⇒ bs 独立起作用
+  ```
+  匹配@第 1 行、尾部 112890B、每格 40 次:
+        bs=512      40/40      bs=4096   35/40      bs=65536   **0/40**
+  ⇒ 而尾部=11090B 时三档**全 0/40**，尾部=0 时也全 0/40
+  ⇒ ★ 形状: **两个量是"与"关系** —— 要出 141 需 **小写块 ∧ 足够大的尾部**；
+     缺任一个（大写块 或 尾太小）都是 0
+  ```
+  ## (C) 所以真机制就是账本 `:5063` 早已记下的那条，我绕了一圈回到它
+  ```
+  条件 = **写者在读者退出时"是否还有数据要写"** ⤵
+     · 尾部大 ⇒ 读者匹配得早、退出时写者还剩很多要写   ⇒ 偏 141
+     · 尾部小 ⇒ 读者要读到接近末尾才匹配 ⇒ 写者大概已写完 ⇒ 0
+     · 写块小 ⇒ 要很多次 write ⇒ 更可能"退出时还没写完" ⇒ 偏 141
+     · 写块 ≥ 缓冲 ⇒ 一次 write 交完 ⇒ 退出时已无事可做  ⇒ 0
+  ⇒ ★ 即"位置"与"写块"**都不是决定项**，它们是**同一个竞争的两种输入**:
+     一个决定"读者多早退出"，一个决定"写者多快写完"。
+  ⇒ 我三次的表述（pi 的"之前"、我的"之后"、我的"写块"）**各自都只是这个竞争的一个投影** ——
+     每次都只控制了一个量就宣布它是决定项。
+  ⇒ 记法（比我前几条更准）: **当一个现象是"两个过程谁先到"时，任何"单变量决定项"的说法都是投影**；
+     正确的表述要么给**"与"条件**，要么给**竞争本身**。要证伪一个投影，只需**冻结它、让另一个量变**。
+     ⇒ 而我这次之所以连错三次，是因为**每次都在找"那个变量"** ——
+       而这类现象的正确答案是**"没有那个变量"**。
+  ```