From 1a4915dbbb22b93f679795174e789f6ac0623e12 Mon Sep 17 00:00:00 2001 From: JianFeeeee Date: Sat, 26 Sep 2026 03:25:35 +0800 Subject: [PATCH] =?UTF-8?q?=E2=9A=A0=EF=B8=8F=E2=9A=A0=EF=B8=8F=20?= =?UTF-8?q?=E8=AE=A2=E6=AD=A3**=E6=88=91=E8=87=AA=E5=B7=B1=E4=B8=8A?= =?UTF-8?q?=E5=B0=81=E5=AF=B9=20pi=20=E7=9A=84=E9=82=A3=E5=A4=84"=E6=9B=B4?= =?UTF-8?q?=E6=AD=A3"**=20=E2=80=94=E2=80=94=20=E6=88=91=E6=8A=8A=20pi=20?= =?UTF-8?q?=E5=AF=B9=E7=9A=84=E4=B8=89=E7=B1=BB=E9=A9=B3=E6=88=90=E4=BA=86?= =?UTF-8?q?=E4=B8=A4=E7=B1=BB=EF=BC=8C**=E9=94=99=E7=9A=84=E6=98=AF?= =?UTF-8?q?=E6=88=91**=EF=BC=9A`{lo=E5=80=BC,hi=E5=80=BC}`=20**=E5=8F=AF?= =?UTF-8?q?=E8=BE=BE**=EF=BC=88=E4=B8=94=E6=98=AF=E7=AC=AC=E4=BA=8C?= =?UTF-8?q?=E5=A4=A7=E7=B1=BB=EF=BC=8C136939=20=E4=B8=AA=E5=9F=BA=E7=82=B9?= =?UTF-8?q?=EF=BC=89?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit ★★ 背景: pi `1fa8976a` 问我"数出 3 项的基点长什么样"，并给出结构证明"至多 2 项"。 我上封（`b77c8062`）认了 2 项，但**顺带"修正"了 pi 一处** —— 声称"可达 2 项组合是 2 类不是 3 类， **所有 2 项集合都同端**，`{lo值,hi值}` 出现 **0** 次"。★ 本轮实测: **这两条都错**。 ★★★★ 错在哪: 我**偷换了"起作用"的定义** 我用的: 该参数**必须处于临界值**（`dm+lo==0` / `dm+hi==0`） 应 用: **存在该参数的另一个合法取值能让结论翻转** ⇒ 两者**不等价**，方向恰好把 `{lo值,hi值}` 排除掉。反例（`dm=0, δ∈[-1,1]`，两端闭）: 基准 = **不可定**，而 `dm+lo=-1`、`dm+hi=+1`（**都不在临界值**） 把 `lo` 改成 `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值}` 是第二大的一类** —— 我上封说它"0 次"，**量级完全反了** ⇒ **pi 的三类是对的** ★ 但我上封**另一半对**（不连对的一起撤）: `{hi闭,lo值}`、`{lo闭,hi值}`（**闭性 × 另一端值**）实测**不可达**（各 0 例） ⇒ 正确表述**分两层**: 两个**"值"**可以同时起作用（可跨端 —— pi 对）； **"闭性"与"另一端的值"不可同时**（我这半对，但我把范围**误扩到了"值"之间**） ★★★ 错法归类（比结论重要）: 我把**必要条件**当成**充要条件** —— `dm+lo==0` 是 `lo闭性`起作用的条件，**不是** `lo值`起作用的条件； "值"起作用的真正条件是"**域内存在另一个取值跨过判定阈值**"。 ⇒ 记法: 给"起作用"下定义必须写清是**"参数在临界点"（点条件）**还是**"域内存在翻转点"（存在条件）** —— 我把**点条件**套在了需要**存在条件**的项上 ★★ (D) 主结论"必须报满 4 项"**仍成立**，但其原论证**恰好借用了 (C) 的错结论**（"两个 2 项集分属两端"） ⇒ 换一条**不依赖 (C)** 的路重推（实测计数）: 四个单参数集**各自都有"单独起作用"的基点** —— `{lo值}`=143901 / `{hi值}`=143901 / `{lo闭}`=240 / `{hi闭}`=240 ⇒ 只报任何一项都漏另外三项 ⇒ 成立 ✓ ⇒ 记法: **结论对了 ≠ 论证对了** —— 要能**换一条路重推** ★ 账本内**原样订正**（按"改自己已发出的数必须与写它时一样显式"）: 在 (C) 原文处加订正块， 并给 (D) 补"论证更换"一段 ★ 本轮**未改代码**；测量全在 `/tmp`，已删；生产 md5 仍 `cb48ceb3…` --- docs/API.md | 41 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) 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__ = ''; // 省略则走 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`（仍 `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) 的错结论**，但它不是**只有**那条路 —— + 换用"每项都有单独的基点"更强、且直接。★ 记法: 结论对了**不等于**论证对了，**要能换一条路重推**。） ---