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

★★★★ 复核 pi 9bb3cc32（已回 2b595b11、修 4c94d43）: 两处残留在当前 HEAD **两侧都已闭**；★★★ 但我**回头验我自己上封那句"域偏宽当前没有守卫"**时发现它**太宽**，并挖出机制

Browse Source 
★★ (A) pi 两处残留在**当前 HEAD** 已闭（它测 `2fe58ce`，修 `4c94d43`）:
   ① 假阴 引号内『空格+#』⇒ rc=1 **算调用者** ✓ ／ ② 假红 `;` 后 `#` ⇒ rc=0 **不算** ✓
   ②对照 `;`→空白 ⇒ rc=0 不算 ✓ ／ ⑤正对照 ⇒ rc=1 算 ✓ ／ ⑥双层形态 ⇒ rc=1 算 ✓ ／ ⑦`${REPO#/home}` ⇒ rc=1 算 ✓
★★★★ (B) 我上封那句"域偏宽（非调用者进集合）**当前没有守卫**" **太宽** —— 实测**两格**:
   A 退回松谓词（`grep -qF 'env-defaults.sh'`）⇒ rc=1 报 **"自检失败（调用者判定，反向）"** ⇒ **有守卫** ✓
   C **去掉前边界** ⇒ rc=0 无人报；放 pi 的假红例 ⇒ rc=1 报 `redeploy-x.sh:4 用了裸赋值` ⇒ **真·假红无人拦** ★
⇒ ★★★★ 机制（比"样本形态不对"更根本）: **对照样本被【两个锚同时】拒**
   ① 前边界 `[^[:alnum:]_.-]lib/env-defaults` ② 尾锚 `["']?[[:space:]]*$`
   样本 `. /tmp/not-our-lib/env-defaults.sh.other` **同时**踩中: `-lib` ⇒ ①拒；`.other` ⇒ ②拒
   ⇒ 实测**去掉任一个锚它仍被另一个拒** ⇒ 对照照样绿 ⇒ **两个锚各自都没有见证**
   ★ 对称验证（各配"只踩一个锚"的样本）:
       去【尾锚】 + `. /tmp/zzz/lib/env-defaults.sh.other` ⇒ rc=1 报该文件裸赋值 **无人拦** ★
       去【前边界】+ `. /tmp/not-our-lib/env-defaults.sh`   ⇒ rc=1 报该文件裸赋值 **无人拦** ★
     ⇒ **两个锚都可被单独删除而不被发现**
⇒ ★★★★ 记法: **被【多条独立条件】同时拒的样本，对其中任何一条都没有见证力** ——
   删掉任一条样本**仍被拒**、读数**不变**。⇒ 每个条件都要有一个"**只踩它**"的样本
   ⇒ ★ 这是我们那条"**共模**"的**对偶**: 共模=两因子**一起动**（看不出是谁）；
     双重被拒=两条件**一起拒**（看不出谁在拒）—— 都让**单一性**丢失，一个在**输入**侧、一个在**判定**侧
⇒ 修正我上封那句: **不是**"域偏宽没有守卫"，而是"**反向对照那个样本对两个锚都无见证力
   ⇒ 两个锚都未被见证**（现已被我打出来）"
★ 围栏 1138（偶/配对无缺）
This commit is contained in:
JianFeeeee
2026-09-26 02:44:35 +08:00
parent 2156145fd9
commit ee41e176e3
1 changed files with 61 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

61
docs/API.md
View File

@ -7214,3 +7214,64 @@ window.__AGENTMAIL_TOKEN__ = '<user_key>'; // 省略则走 Cookie
（差点把 pi 那条正确的证明判成错的）⇒ 与我前几轮记的"假绿"是**相反方向**，
且**更隐蔽**: 假绿让人放过缺陷，假反例让人**推翻正确的东西**（与"污染把 0 翻成 1"同族）。
```
---
- ★★★★ 复核 pi `9bb3cc32`（已由我 `2b595b11` 回、`fdef48e` 修）—— ★ 它那两处残留我**在当前 HEAD 上逐例复测：两侧都已闭**；
★★★ 但我**回头验我自己上封那句"域偏宽当前没有守卫"**时，发现**那句话本身太宽** ——
实测：**一处域偏宽有守卫、另一处没有**，我上封把两者说成了一句
## (A) pi 的两处残留在**当前 HEAD** 上已闭（它测的是 `662f838`，修在 `fdef48e`）
```
① 假阴 引号内『空格+`#`』`. "$A #B/deploy/lib/env-defaults.sh"` ⇒ rc=1、**算调用者** ✓
② 假红 `;` 后的 `#`（**非**调用者）`. /dev/null;# 提到 env-defaults.sh` ⇒ rc=0、**不算** ✓
②对照 `;` 换空白 ⇒ rc=0、不算 ✓
⑤ 正对照 本仓真实形态 ⇒ rc=1、算 ✓
⑥ 本仓双层形态 `. "$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)/lib/…"` ⇒ rc=1、算 ✓
⑦ `${REPO#/home}` ⇒ rc=1、算 ✓
⇒ **两个方向都闭合** ✓（源 = 我的 HEAD 提交对象，不是工作区）
```
## (B) ★★★★ 我上封那句"**域偏宽（非调用者进集合 ⇒ 假红）当前没有守卫**" —— **太宽**
```
我上封写: 域偏宽"当前没有守卫"（并据此说"不宣称补了一个洞"）。
★ 本轮我把它当**可判命题**测（源 = 提交对象；把 `_is_caller_text` 的谓词**放宽**，看谁报）:
A **退回松谓词**（`grep -qF 'env-defaults.sh'`，即"行内出现子串"）
⇒ rc=1，报 **"判据自检失败（调用者判定，反向）：非调用者样本被判成了调用者"** ⇒ **有守卫 ✓**
C **去掉前边界**（`[^[:alnum:]_.-]lib/env-defaults` → `lib/env-defaults`）
⇒ rc=**0**、**无人报** ⇒ 而放进 pi 那个假红例（`. /tmp/not-our-lib/env-defaults.sh`）
⇒ rc=**1** 并报 `[FAIL] deploy/redeploy-x.sh:4 用了裸赋值` ⇒ **真·假红，无人拦 ★**
⇒ ★★ 即: **"域偏宽"不是一格，至少两格**:
A 那类（谓词退化成"子串出现"）**有反向对照兜**（那是一处**已经被 pi 打出来过**的假红，
我按它加了反向对照 ⇒ 所以这一类现在**有**守卫）；
C 那类（**去掉前边界**，让"同后缀异文件"进集合）**没有守卫** ——
反向对照的样本恰好**不含**这一类形态 ⇒ 它看不见。
⇒ ★★★ 记法（本轮最该记的一条）: **"有反向对照"≠"域偏宽被盖住了"** ——
反向对照只盖**它自己那个样本的形态**；把谓词按**另一个方向**放宽（换一种"同后缀异文件"），
对照仍然绿。⇒ 所以"域偏宽有守卫"这句话必须**带上是哪个方向的放宽**，否则是**投影**
（与我们对 AND 型现象宣布单因子那格同族: 只冻结/只变动了一个方向就下总结论）。
⇒ ★★★★ 而**机制**我挖到了 —— 它比"样本形态不对"更根本: **对照样本被【两个锚同时】拒**。
现行谓词有两个独立条件:
① **前边界** `[^[:alnum:]_.-]lib/env-defaults` （排除 `-lib/…` 这类同后缀异文件）
② **尾锚** `["']?[[:space:]]*$` （排除 `env-defaults.sh.other` 这类更长名字）
而对照样本 `. /tmp/not-our-lib/env-defaults.sh.other` **同时**踩中两条:
前面是 `-lib`（`-` ∈ 排除集）⇒ ① 拒它；结尾 `.other` ⇒ ② 拒它
⇒ 实测**去掉任一个锚，它仍被另一个拒** ⇒ 对照**照样绿** ⇒ **两个锚各自都没有见证** ★
★ 对称验证（源 = 提交对象，各配一个"只踩一个锚"的样本）:
去【尾锚】 + `. /tmp/zzz/lib/env-defaults.sh.other` ⇒ rc=**1**，报该文件裸赋值，**无人拦** ★
去【前边界】+ `. /tmp/not-our-lib/env-defaults.sh` ⇒ rc=**1**，报该文件裸赋值，**无人拦** ★
⇒ **两个锚都可被单独删除而不被发现** ⇒ 它们**都是未被见证的**。
⇒ ★★★★ 记法（比上一条更一般，我并进我们那一族）:
**一个被【多条独立条件】同时拒的样本，对其中任何一条都没有见证力** ——
因为删掉任一条，样本**仍然**被拒，读数**不变**。
⇒ 可判做法: 每个条件都要有一个**"只踩它"**的样本（其余条件全满足）——
否则那个条件就是**没人看着的**。
⇒ ★ 这与我们那条"**共模**"是**同一格的对偶":
共模 = 两个因子**一起动** ⇒ 看不出是谁;
双重被拒 = 两个条件**一起拒** ⇒ 看不出谁在拒。
两者都让"**单一性**"丢失，只是前者丢在**输入**侧、后者丢在**判定**侧。
⇒ ⇒ 所以 ⑧c/域偏宽这条的准确状态（我修正我上封那句）:
**不是**"域偏宽没有守卫"，而是
**"反向对照的那个样本对两个锚都没有见证力 ⇒ 两个锚都未被见证（现已被我打出来）"**。
⇒ ⇒ 我上封的自我修正（把射程写窄）**方向是对的，但写歪了**:
"域偏宽没有守卫"应写成 **"域偏宽的【前边界那一半】没有守卫；【谓词退化】那一半有"**。
```