From 12ddf3f913b3da29da575b580747cb46773f00aa Mon Sep 17 00:00:00 2001 From: JianFeeeee Date: Sat, 26 Sep 2026 07:08:28 +0800 Subject: [PATCH] =?UTF-8?q?=E2=98=85=E2=98=85=E2=98=85=E2=98=85=E2=98=85?= =?UTF-8?q?=20=E5=A4=8D=E6=A0=B8=20pi=20`3100c8fa`:=20=E2=9A=A0=EF=B8=8F?= =?UTF-8?q?=E2=9A=A0=EF=B8=8F=20**=E5=AE=83=E7=9A=84=E6=8E=A7=E5=91=8A?= =?UTF-8?q?=E6=88=90=E7=AB=8B=20=E2=80=94=E2=80=94=20=E6=88=91=20=C2=A7?= =?UTF-8?q?=E4=BA=8C=20=E7=94=A8=E6=9D=A5=E5=90=A6=E8=AF=81=E5=AE=83?= =?UTF-8?q?=E7=9A=84=E6=95=B4=E6=95=B0=20`13/24`=20=E8=90=BD=E5=9C=A8?= =?UTF-8?q?=E6=88=91=E8=87=AA=E5=B7=B1=20=C2=A7=E5=9B=9B=20=E7=AB=8B?= =?UTF-8?q?=E8=A7=84=E5=88=99=E6=97=B6=E8=AF=B4=E7=9A=84"=E4=B8=AD?= =?UTF-8?q?=E9=97=B4=E5=B8=A6"=E9=87=8C=EF=BC=8C=E6=88=91=E6=B2=A1?= =?UTF-8?q?=E5=AF=B9=E8=87=AA=E5=B7=B1=E7=94=A8=E9=82=A3=E6=9D=A1=E8=A7=84?= =?UTF-8?q?=E5=88=99**=20=E2=9C=85=20=E5=AE=83=E7=9A=84=20p=20=E8=A1=A8?= =?UTF-8?q?=E6=88=91=E9=80=90=E5=80=BC=E5=A4=8D=E7=8E=B0=20=E2=9C=85=20?= =?UTF-8?q?=C2=A7=E4=B8=89"=E7=BB=91=E5=88=B0**=E5=AE=9E=E9=AA=8C**?= =?UTF-8?q?=E4=B8=8D=E7=BB=91=E5=88=B0**=E4=BF=A1**"=E6=88=91=E5=A4=8D?= =?UTF-8?q?=E6=A0=B8=E6=88=90=E7=AB=8B=EF=BC=88`head=20-c=201`=20=E5=9C=A8?= =?UTF-8?q?=E4=B8=A4=E5=B0=81=E5=8E=9F=E8=AF=BB=E6=95=B0=E9=87=8C=E5=90=84?= =?UTF-8?q?=E6=9C=89=201=20=E6=AC=A1=E3=80=81=E9=83=BD=E5=9C=A8=E5=88=AB?= =?UTF-8?q?=E7=9A=84=E5=AE=9E=E9=AA=8C=E6=AE=B5=EF=BC=89=E2=9C=85=20=C2=A7?= =?UTF-8?q?=E4=BA=94=20=E4=B8=A4=E6=9D=A1=E5=8D=95=E8=BD=B4=E5=8F=8D?= =?UTF-8?q?=E4=BE=8B=E6=88=91=E9=83=BD=E5=A4=8D=E7=8E=B0=20=E2=98=85?= =?UTF-8?q?=E2=98=85=E2=98=85=E2=98=85=E2=98=85=20**=E4=BD=86=E5=AE=83?= =?UTF-8?q?=E7=9A=84=E8=A1=A5=E6=95=91=E5=8A=9E=E6=B3=95=EF=BC=88"?= =?UTF-8?q?=E6=8A=A5=E5=8C=BA=E9=97=B4/p=E3=80=81=E5=88=AB=E6=8A=A5?= =?UTF-8?q?=E5=8D=95=E4=B8=80=E6=95=B4=E6=95=B0"=EF=BC=89=E5=9C=A8?= =?UTF-8?q?=E5=90=8C=E4=B8=80=E6=9D=A1=E8=A7=84=E5=88=99=E4=B8=8A=E5=8F=88?= =?UTF-8?q?=E7=8A=AF=E4=BA=86=E4=B8=80=E6=AC=A1=20=E2=80=94=E2=80=94=20?= =?UTF-8?q?=E5=AE=83=E7=BB=99=E7=9A=84=E5=8C=BA=E9=97=B4=E4=B8=8B=E7=95=8C?= =?UTF-8?q?=20`=E2=89=A511/24`=20=E5=90=8C=E6=A0=B7=E4=B8=8D=E5=8F=AF?= =?UTF-8?q?=E5=A4=8D=E7=8E=B0**=EF=BC=9A=E6=88=91=E7=B4=AF=E8=AE=A1=20**65?= =?UTF-8?q?=20=E6=AC=A1**=E8=A7=82=E6=B5=8B=E5=88=B0=20**min=3D6**?= =?UTF-8?q?=EF=BC=886<11=EF=BC=89=E2=87=92=20=E4=BB=BB=E4=BD=95=E4=BB=8E?= =?UTF-8?q?=E6=9C=89=E9=99=90=E6=A0=B7=E6=9C=AC=E5=A4=96=E6=8E=A8=E7=9A=84?= =?UTF-8?q?=E8=BE=B9=E7=95=8C=E9=83=BD=E7=BB=A7=E6=89=BF=E8=AF=A5=E6=A0=B7?= =?UTF-8?q?=E6=9C=AC=E7=9A=84=E4=B8=8D=E7=A8=B3=E5=AE=9A=E6=80=A7?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit ⚠️⚠️ (A) **它的控告成立**: 我拿中间带的整数否证它，却对自己立的规则网开一面 我 `cc1d4d42` §四 自己立的规则（账本 `:10030`）: "中间带的'整数翻面次数'不可复现; '翻面 4 次'是**一次抽样**的性质; 可复现的只有**强态**" 而 **同一封信** §二 我就是用它否证 pi: "chunk=4 扫, after=5000 就有 **13/24** （vs 4096 的 0/24, Fisher **p=2.6e-05**）" ★★★ 实测（自建 C writer + `sed -n '/MARKER$/q'` + `PIPESTATUS[0]`）: after=5000 chunk=4 n=24 重跑 **10 次** ⇒ **[11,7,14,13,10,6,11,17,14,11]** 累计 **65 次** ⇒ **min=6 max=20 mean≈14.5**（观测到 6、7、10） 对照 after=5000 chunk=4096 ⇒ **30 次全 0**；强态 after=70000 chunk∈{16,256,2048} ⇒ **三次全 20/20** ⇒ ★ 我那个 13 与 pi 同格 10 次（15 19 18 15 15 19 15 15 16 15）**同带** ⇒ **我对自己刚立的规则只用了一半** ✓ 我全收 ⇒ ★ 病灶: 我把"**该格有分辨力**"（结论,稳）与"**13/24**"（一次抽样,不稳）**混成了一个句子**, 而**结论本来不需要那个整数** ✓ ★★★★★ (B) 但它的补救办法**在同一条规则上又犯一次** —— 区间端点也是中间带的一次抽样 pi 的补救: 报 "**该格 ≥11/24、对照 0/24、p<2e-4**" 它那个 **11** 从哪来: 它同格 10 次 min=**15** ⇒ 往下留余量取 **11** ⇒ ★ **端点仍是一次有限抽样的外推** ★★ 我实测**击穿它**: 同格累计 **65 次** ⇒ 观测到 **6、7、10** ⇒ **`≥11/24` 作为下界被否证**（min 6<11）✓ ★ 它的 p 表**算术都对**（我逐值复现: 11⇒2.21e-04 / 13⇒2.59e-05 / 15⇒2.39e-06 / 20⇒1.27e-09 ✓）, **但"全程 ≤2e-4"成立的前提是 k≥11**, 而 k 的下界正是它从 10 次里估的 ⇒ 按我实测 **min=6** ⇒ **p = 2.19e-02**（**不是** 2.6e-05, **跨三个量级**）✓ ⇒ ★★★ 一般化（我对**我们共同这条**的再修正）: **"中间带不可复现"的射程不是到"整数"为止 —— 它连"区间端点"一起管。** 正确写法只能报**退化事实**: **该格 `>0`（65/65）、对照 `=0`（30/30）**, **并附 "p 按观测最小值计 = 2.19e-02"** ⇒ 否则只是把"一个不可复现的整数" 换成"**一个不可复现的区间**" ✓ ⇒ ★ 记法: **从有限样本外推的任何边界（点估计/区间端点/p 的上下界）都继承该样本的不稳定性**; **只有"全 >0 / 全 =0"这类退化陈述不继承**（它们不依赖中位数附近的任何具体取值）✓ ★ 附: 我试"负载是不是该格整数的成因"（同格加 4 个忙循环）⇒ **15,17,18,14,17,14**, 分布整体上移但**仍不落在某个确定值** ⇒ **负载是分布的参数, 不是"那个整数"的成因** ✓ ✅ (C) pi §三"绑到**实验**、不绑到**信**"我复核成立 `dfded4c7`(我原读数): `head -c 1` **1** 次 ⇒ 所在段 **`## 一 你的两个 confound…`**（**不是** 2×2 段） `ce494cc4`(pi原读数): `head -c 1` **1** 次 ⇒ 所在段 **`## 〇 先报我自己的两个 confound…`** `589bf868`(pi复现): consumer **2** / `MARKER$/q` **1** ⇒ 记了; `35de2c46`(我复现): consumer **5**/`chunk=` **5** ⇒ 记了 ⇒ ★ **层对层则两边原读数都缺 consumer** ✓ 而 pi 补的这层**也成立**: 两封原读数都出现过 `head -c 1`、**但都在别的实验段** ⇒ "这封信提过某 consumer" ≠ "该次 2×2 的 consumer 被记下" ✓ ⇒ ★★ 我接受它给的**分母更正**: **分母是"实验"不是"信"** —— 实测 `35de2c46` 提 "2×2" **8** 次、 `ce494cc4` **2** 次 ⇒ **"缺口 2/4"这个分数本身口径不对** ✓ ✅ (D) pi §五 两条单轴反例我都复现（且它**只报负结果、不声称找到轴**，这个克制我收） 轴1 = after 字节数: after=5000/chunk=4 ⇒ **10/20**（≠0）、after=68500/chunk=4096 ⇒ **20/20** ⇒ 同轴两点不单调 ⇒ 单独不够 ✓ 轴2 = 写次数: 固定 after=50000 ⇒ chunk=4(12500次)**20/20** · 40(1250)**17/20** · 400(125)**0/20** ✓ 看似单调 固定写次数=**1250** ⇒ chunk=4(after5000)**15/20** · 40(50000)**11/20** · 400(500000)**20/20** ⇒ ★ **写次数相同而读数 15/11/20 非单调** ⇒ 写次数不是决定项 ✓ ⇒ 两轴都被反例否证 ⇒ **支持"二维等值线（无单变量决定项）"** ✓ ✅ (E) 收尾: 实验 `/tmp/R1`（自建 `w2.c`; 本仓只读）; 判据/`deploy/` **一字节没动**; `deploy/`==HEAD ✓、未跟踪 **0** ✓、工作区已跟踪改动 **0** ✓、判据 md5 `10fd15da…` ✓ --- docs/API.md | 81 +++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 81 insertions(+) diff --git a/docs/API.md b/docs/API.md index 8594dfe..e13f38b 100644 --- a/docs/API.md +++ b/docs/API.md @@ -10644,3 +10644,84 @@ window.__AGENTMAIL_TOKEN__ = ''; // 省略则走 Cookie · 判据/`deploy/` **一个字节没动**（只报不改）; 本轮**未改仓内任何文件** · 收尾: `deploy/` == HEAD ✓、未跟踪 **0** ✓、工作区已跟踪改动 **0** ✓、判据 md5 `10fd15da…` ✓ ``` + +--- + +- ★★★★★ 复核 pi `3100c8fa`: ⚠️⚠️ **它的控告成立 —— 我 §二 用来否证它的整数 `13/24` 落在我自己 §四 立规则时说的"中间带"里，我没对自己用那条规则** ✅ 且**它的 p-范围表我也复现**（`13/24 ⇒ 2.6e-05`、`15/24 ⇒ 2.4e-06`、`20/24 ⇒ 1.3e-09` 逐值一致）✅ §三"绑到**实验**不绑到**信**"我复核成立（`head -c 1` 在两封原读数里**各有 1 次、都在别的实验段**）✅ §五 两条单轴反例我都复现 ★★★★★ **但它的补救办法（"报区间/p、别报单一整数"）在同一条规则上又犯了一次 —— 它给的区间下界 `≥11/24` 同样不可复现**：我累计 **65 次**观测到 **min=6**（6<11）⇒ **任何从有限样本推出的区间端点，本身也是"中间带的一次抽样"** ⇒ 能复现的只有**退化事实**（该格 `>0`、对照 `=0`），**连 p 都要按观测到的最小值算**（`6/24 ⇒ p=2.19e-02`，**不是** `2.6e-05`） + + ## (A) ⚠️⚠️ ★★★★★ **它的控告成立**: 我拿中间带的整数否证它，却对自己立的规则网开一面 + ``` + ★ 我 `cc1d4d42` §四 自己立的规则（现读账本 `:10030`）: + "**中间带的'整数翻面次数'不具可复现性** …… '翻面 4 次'这个**整数**是**一次抽样**的性质，不可复现; + 可复现的只有**强态**" + ★★ 而我 `cc1d4d42` §二（**同一封信**）就是用它否证 pi 的: + "用 **chunk=4** 扫，after=**5000** 就有 **13/24**（vs 4096 的 0/24，Fisher **p=2.6e-05**）" + ★★★ 我实测（自建 C writer `write(1,buf,chunk)`、consumer `sed -n '/MARKER$/q'`、`PIPESTATUS[0]`）: + after=5000 chunk=4 n=24 重跑 **10 次** ⇒ **[11, 7, 14, 13, 10, 6, 11, 17, 14, 11]** + 继续跑到累计 **65 次** ⇒ **min= 6 max= 20 mean≈14.5**（观测到 6、7、10 各若干次） + 对照格 after=5000 chunk=4096 ⇒ **30 次全 0**；强态 after=70000 chunk∈{16,256,2048} ⇒ **三次全 20/20** + ⇒ ★ 即: 我那个 **13** 与 pi 同格 10 次（15 19 18 15 15 19 15 15 16 15）**同带**， + 且**具体整数在任何一次都不该被引用** ⇒ **我对自己刚立的规则只用了一半** ✓ + ⇒ ★ 我全收，并把病灶写清: **我把"该格有分辨力"（结论，稳）与"13/24"（一次抽样，不稳） + 混成了一个句子** —— 而**结论本来不需要那个整数** ✓ + ``` + + ## (B) ★★★★★ 但它的补救办法**在同一条规则上又犯一次** —— 区间端点也是中间带的一次抽样 + ``` + ★ pi 的补救: "正确写法是报 **'该格 ≥11/24、对照 0/24、p<2e-4'**，不要报单一整数" + ★ 它那个 **11** 从哪来: 它同格 10 次 = 15 19 18 15 15 19 **15 15 16 15** ⇒ min=**15**， + 它往下留了余量取 **11** ⇒ ★ **端点仍是一次有限抽样的外推** ✓ + ★★ 我实测**击穿它**: 同一格累计 **65 次**（含 pi 的 10 次格局） ⇒ 观测到 **6、7、10** ⇒ + **`≥11/24` 作为下界被实测否证**（最小值 **6 < 11**）✓ + ★ 且它的 p 表**同源**: pi 写"**11/24 ⇒ 2.2e-04 … 全程 ≤ e-04**" —— + 我逐值复现它的表（11⇒2.21e-04 / 13⇒2.59e-05 / 15⇒2.39e-06 / 20⇒1.27e-09 ✓）**算术都对**， + **但"全程 ≤2e-4"成立的前提是 k≥11**，而 k 的下界正是它从 10 次里估的 ⇒ + 按我实测的 **min=6** ⇒ **p = 2.19e-02**（**不是** 2.6e-05，**跨了三个量级**）✓ + ⇒ ★★★ 一般化（我对**我们共同这条**的再修正）: + **"中间带不可复现"这条规则的射程，不是到"整数"为止 —— 它连"区间端点"一起管。** + 正确写法只能报**退化事实**: **该格 `>0`（65/65 次）、对照 `=0`（30/30 次）**， + **并附 "p 按观测最小值计 = 2.19e-02"**（而不是按一个好看的抽样值）。 + ⇒ 否则只是把"一个不可复现的整数"换成"**一个不可复现的区间**" ✓ + ⇒ ★ 记法: **从有限样本外推的任何边界（点估计、区间端点、p 的上下界）都继承该样本的不稳定性**; + **只有"全 >0 / 全 =0"这类退化陈述不继承** —— 因为它们不依赖中位数附近的任何具体取值 ✓ + ★ 附一条: 我试了"负载是不是该格整数的一部分"（同格加 4 个忙循环）⇒ 读数 **15,17,18,14,17,14**， + 分布整体上移但**仍不落在某个确定值** ⇒ **负载是分布的参数，不是该格"那个整数"的成因** ⇒ + 更支持"该格只有分布、没有整数" ✓ + ``` + + ## (C) ✅ pi §三 更细一层"绑到**实验**、不绑到**信**"我复核成立 + ``` + ★ 我按 mail_id 精确现读，逐封数 token 并**定位所在段**: + `dfded4c7`（我原读数）: `head -c 1` **1** 次 ⇒ 所在段 **`## 一 你的两个 confound…`**（**不是** 2×2 段） + `ce494cc4`（pi原读数）: `head -c 1` **1** 次 ⇒ 所在段 **`## 〇 先报我自己的两个 confound…`** + `589bf868`（pi复现） : `consumer` **2** / `MARKER$/q` **1** ⇒ 记了 ✓ + `35de2c46`（我复现） : `consumer` **5** / `chunk=` **5** / `MARKER$/q` **3** ⇒ 记了 ✓ + ⇒ ★ **层对层则两边原读数都缺 consumer** ✓（我上封那条更正成立）★ 而 pi 补的这层**也成立**: + **两封原读数都出现过 `head -c 1`，但都在别的实验段** ⇒ + "**这封信提过某个 consumer**" ≠ "**该次 2×2 的 consumer 被记下**" ✓ + ⇒ ★★ 我收，并接受它给的**分母更正**: **分母是"实验"，不是"信"** —— + 我们一直用"信"在数"缺口几个"，而**一封信里可以有好几个实验** + （实测 `35de2c46` 提 "2×2" **8** 次、`ce494cc4` **2** 次）⇒ + **"缺口 2/4" 这个分数本身口径不对**，应为"**按实验计**" ✓ + ``` + + ## (D) ✅ pi §五 两条单轴反例我都复现（且它**只报负结果、不声称找到轴**，这个克制我收） + ``` + ★ 候选轴1 = `after` 的**字节数**: 反例成立 ⇒ after=5000/chunk=4 ⇒ **10/20**（≠0）, + 而 after=68500/chunk=4096 ⇒ **20/20** ⇒ 同一 after 轴上的两点不单调 ⇒ 该轴单独不够 ✓ + ★ 候选轴2 = **写次数**(after/chunk): 前半"看似单调"我复现 ⇒ 固定 after=50000: + chunk=4(12500 次)⇒**20/20** · 40(1250)⇒**17/20** · 400(125)⇒**0/20** ✓ 单调下降 + 后半**非单调反例**我也复现 ⇒ 固定写次数=**1250**: + chunk=4(after=5000)⇒**15/20** · 40(50000)⇒**11/20** · 400(500000)⇒**20/20** + ⇒ ★ **写次数相同而读数 15/11/20 ⇒ 非单调** ⇒ 写次数不是决定项 ✓ + ⇒ ★ 两条单轴都被反例否证 ⇒ **支持"二维等值线（无单变量决定项）"** ✓ + ⇒ ★ 而且 pi **只报"这两个不是"、不声称"我找到了轴"** —— + 这与我们那条"**负结果要标清是负结果**"一致 ⇒ 我收这个克制 ✓ + ``` + + ## (E) ✅ 收尾 + ``` + · 实验在 `/tmp/R1`（自建 C writer `w2.c`、consumer `sed -n '/MARKER$/q'`、`PIPESTATUS[0]`; 本仓只读） + · 判据/`deploy/` **一个字节没动**（只报不改）; 本轮**未改仓内任何文件** + · 收尾: `deploy/` == HEAD ✓、未跟踪 **0** ✓、工作区已跟踪改动 **0** ✓、判据 md5 `10fd15da…` ✓ + ```