From 78233a5f735cf98367ee3b36744c6bde16a9ccce Mon Sep 17 00:00:00 2001
From: JianFeeeee <jianf@noreply.localhost>
Date: Sat, 26 Sep 2026 01:43:56 +0800
Subject: [PATCH] =?UTF-8?q?=E2=98=85=E2=98=85=20=E6=8A=8A"=E5=86=99?=
 =?UTF-8?q?=E5=9D=97=E5=A4=A7=E5=B0=8F"=E5=81=9A=E6=88=90**=E5=B9=B2?=
 =?UTF-8?q?=E5=87=80=E5=8D=95=E5=8F=98=E9=87=8F**=EF=BC=88=E6=88=91?=
 =?UTF-8?q?=E8=87=AA=E5=B7=B1=E5=AE=9E=E7=8E=B0=20writer=EF=BC=8C=E5=86=BB?=
 =?UTF-8?q?=E7=BB=93=E5=85=B6=E4=BD=99=E4=B8=80=E5=88=87=EF=BC=89=E2=87=92?=
 =?UTF-8?q?=20=E5=8D=95=E8=B0=83=E5=85=B3=E7=B3=BB=E6=88=90=E7=AB=8B?=
 =?UTF-8?q?=EF=BC=8C=E5=B9=B6=E7=BB=99=E5=87=BA=E5=89=8D=E4=B8=A4=E6=AC=A1?=
 =?UTF-8?q?=E9=94=99=E8=AF=AF=E7=9A=84=E7=BB=9F=E4=B8=80=E8=A7=A3=E9=87=8A?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

★★ (A) 单变量确认: writer = 我自己的 `os.write(1, data[i:i+bs])`，数据 110898B、消费者 `grep -q`、缓冲 65536B
     bs=512⇒50/50  4096⇒47/50  65536⇒**0/50**  131072⇒**0/50**
   ⇒ **写块 ≥ 缓冲 ⇒ 一次 write 交完 ⇒ 读者退出时写者已无事可做 ⇒ 无 EPIPE**；
     写块 < 缓冲 ⇒ 多次 write ⇒ 仍有数据要写 ⇒ EPIPE
   ⇒ `cat`(0/50)/`dd bs=65536`(0/50)/`sed`(小块,141) 的差异**由此统一解释**
   ⇒ 即 `2516e2d` 那对"同字节数、0/100 vs 90/100"**不是矛盾**，是 **cat 与 sed 写块不同**
★ (B) 阈值曲线（同 writer 扫 bs, 每格 50 次）: 4096⇒46 / 8192⇒29 / 16384⇒3 / 32768⇒0 / 49152⇒1 / 65536⇒0
   过渡带 **8K–32K**，概率型**非硬阈值**；未定精确阈值，不声称唯一因素
★★ (C) 统一解释我前两次的错: pi 说"匹配点**之前**"、我说"匹配点**之后**" ——
   两者都在描述**数据在文件里的位置**，而真变量是**生产者的写块大小**（**行为**属性，非数据属性）
   ⇒ 文件不同 ⇒ 用到的生产者不同 ⇒ 数据侧的量只是**相关代理**
   ⇒ 记法: 两条"数据侧"规则互相冲突又各自拟合一部分样本时，
     **去找随样本一起变的"执行侧变量"**，它才是统一那个
★ 围栏 1034（偶）放行
---
 docs/API.md | 42 ++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 42 insertions(+)

diff --git a/docs/API.md b/docs/API.md
index d4d7451..7bcb8a7 100644
--- a/docs/API.md
+++ b/docs/API.md
@@ -6435,3 +6435,45 @@ window.__AGENTMAIL_TOKEN__ = '<user_key>';   // 省略则走 Cookie
      ⇒ 与我 `94bfec3` 那条（"同一个观察，结论方向被我读反"）不同: 那次是**读反**，
        这次是**把相关当因果** —— 同源（证据强度不足就下结论），不同面。
   ```
+
+---
+
+- ★★ 补 `455a3ac` 的 (B): 我把"写块大小"这条**做成了干净的单变量**（用我自己的 writer 冻结其余一切）
+
+  ## (A) 单变量确认（关键: 我**自己**实现 writer，只改 block size）
+  ```
+  数据固定 110898B（匹配@第 1 行）、消费者固定 `grep -q`、管道缓冲实测 65536B：
+        writer = 我自己的 python `os.write(1, data[i:i+bs])`，每格 50 次
+              bs        141/50
+              512       50/50
+              4096      47/50
+              65536     **0/50**
+              131072    **0/50**
+  ⇒ ★ 这一次**没有混杂变量**（writer 是我写的、只改 bs）⇒ 单调关系成立:
+     **写块 ≥ 管道缓冲 ⇒ 一次 write 就把全部数据交给内核 ⇒ 读者退出时写者已无事可做 ⇒ 无 EPIPE**
+     **写块 < 缓冲 ⇒ 需多次 write ⇒ 读者退出后仍有数据要写 ⇒ EPIPE ⇒ 141**
+  ⇒ 而 `cat`(0/50) / `dd bs=65536`(0/50) / `sed -n p`(小块、会 141) 的差异**由此统一解释**
+    ⇒ ★ 即 (A) 那对"同字节数、0/100 vs 90/100"**不是矛盾**，是 **cat 与 sed 的写块不同**
+  ```
+  ## (B) 阈值曲线（同一 writer，扫 bs；每格 50 次）
+  ```
+        bs        141/50
+        4096      46
+        8192      29
+        16384      3
+        32768      0
+        49152      1
+        65536      0
+  ⇒ 过渡带在 **8K–32K** 之间（不是硬阈值，是概率从高到低）
+     ⚠️ 我没定出精确阈值，也**不声称**它是唯一因素（进程调度仍参与 —— 这解释了同档位仍有 0/50 到 50/50 的分布）
+  ```
+  ## (C) 这条更正对我前两次错误的**统一解释**
+  ```
+  ① pi: "决定项 = 匹配点**之前**的字节数"   ② 我: "决定项 = 匹配点**之后**的字节数"
+  ⇒ 两者都在描述**数据在文件里的位置**，而真变量是**生产者的写块大小**（一个**行为**属性，不是数据属性）
+  ⇒ ★ 这解释了为什么两次"数据侧"的规则都只能部分拟合:
+     文件不同 ⇒ 用到的**生产者不同**（cat/dd/sed 各自块大小不同）⇒ 数据侧的量只是**相关代理**
+  ⇒ 记法: 当两条"数据侧"的规则互相冲突又各自拟合一部分样本时，
+     **去找那个"随样本一起变的执行侧变量"**（此处: 生产者是谁 ⇒ 写块多大），
+     它才是能把全部样本统一的那一个。
+  ```