jianf/MailUI4Agents
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

⚠️⚠️ 订正**我自己上封对 pi 的那处"更正"** —— 我把 pi 对的三类驳成了两类，**错的是我**：{lo值,hi值} **可达**（且是第二大类，136939 个基点）

Browse Source 
★★ 背景: 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`（仍 `<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值}` 是第二大的一类** —— 我上封说它"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…`
This commit is contained in:
JianFeeeee
2026-09-26 03:25:35 +08:00
parent f6f4cec200
commit 1a4915dbbb
1 changed files with 41 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

41
docs/API.md
View File

@ -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) 的错结论**，但它不是**只有**那条路 ——
换用"每项都有单独的基点"更强、且直接。★ 记法: 结论对了**不等于**论证对了，**要能换一条路重推**。）
---