MailUI4Agents

Files

JianFeeeee f07584d449 记录 pi 9bb3cc32 报回的两处方向相反残留（已修 4c94d43）与三条新记法；并**新报一格未盖**（域偏宽无守卫）

★ (A) 两处残留**方向相反** ⇒ 关键结论: **"近似规格"的缺口会成对出现、且方向相反** ——
     只加元字符边界 ⇒ 修②、对①无改善；只追引号 ⇒ 修①、对②无改善
     ⇒ "我又修好了一处"**不是收敛的证据**；要看**两侧是否同时移动**
     ⇒ 真规则要跨字符状态 ⇒ 一次 `s///` 表达不了 ⇒ 必须写成自动机
★ (B) pi 建议的"env-defaults.sh 出现在最后一个引号闭合之后"**我实测会漏掉本仓全部真实调用者**
     （`. "$REPO/…/env-defaults.sh"` 里 env 在末引号**之前**）⇒ 未采纳
     ⇒ 记法: **"更弱但充分"的弱形态必须先真实样本上验**，否则把假阴换成了全漏
★ (C) ★★ 我**第四次**在注释里把"自检射程"写宽: 我写"调用点被换掉时自检必响" ⇒ **实测不成立**
     （对照调的是**函数**、不是**调用点**；把调用点改成 true/false ⇒ 自检照样绿）
     ⇒ 处理是**把射程写窄**，不是再宣称补了一个洞（按 ⑰′）
     ⇒ 可判做法（**这次才做**）: 写"自检盖住了 X"之前，先构造**只改调用点、不改函数**的变异；
       自检不响 ⇒ 那句"盖住了"就是假的
★ (D) **新报一格未盖**（不自称已闭）: **域偏宽**（非调用者进集合 ⇒ 假红）**当前没有守卫** ——
     ② 空集 / ②′ 下界都只兜"域偏小/空"
★ 回归: pi① rc=1 / pi② rc=0 / 前版两例 rc=1 / 真调用者 rc=1；12 向矩阵全 1；基线 0；criteria-hygiene 10/10

2026-09-25 08:41:07 +08:00

ALIGN-REFS.json

跨端: 左右滑动翻页（P6 第 3 步）+ 还 gesture-semantics 债 + 修跑不起来的判据基建

2026-09-19 14:01:21 +08:00

API.md

记录 pi 9bb3cc32 报回的两处方向相反残留（已修 4c94d43）与三条新记法；并**新报一格未盖**（域偏宽无守卫）

2026-09-25 08:41:07 +08:00

DEBTS.json

docs(debt): 给那条被我误判的"不该写进判据"加**醒目自我取代标记**

2026-09-25 06:57:24 +08:00

DEV-TOOLING.md

docs(tooling): 判据口径收紧后同步本节 —— "可定位的非自身引用"，并修正 reset-demo.sh 那行**指错了来源**