MailUI4Agents

Files

JianFeeeee d46509719f ★★★★ 复核 pi b8f7a232（已回 59975f12）: 它的"存在性≠同一性"我复现成立；★★★ 但它的【同一性】形式仍有洞（同行注入前已是违规 ⇒ 三条断言全过）；★★★★ 我把同一条批评用回我自己上封的形式上 —— **我的 ④ 也有同一个漂移病**，并排除了一种会假红的"更强"形式

★★ (A) pi §三 构造复现: inject 改第 2 行（无关行）、违规在第 3 行（别人的）
   ⇒ 断言① 新旧不同 ✓ ② 树上确有违规 ✓ ⇒ **两条全过、身份被顶替** ✓ 与 pi 一致
★★★ (B) pi 的【同一性】修法（触及行号 ∈ 违规行集合）**仍有洞** —— 我构造出来了:
   注入前 3: AGENTMAIL_REQUIRE="pre-existing" ⇒ 注入后 3: …="pre-existing2"（同行改值）
   ⇒ ①✓ ②✓ ③**同一性 ✓** ⇒ **三条全过**，而该违规**注入前就在** ⇒ 又量了别人的违规
   ⇒ 缺的不是"身份"而是**状态跃迁**: 身份答"违规在哪一行"，跃迁答"是不是**因为我**才出现的"
★★★★ (C) **我把自己上封提的 ④ 拿来测 —— 它也有同一个漂移病**（照实报）:
   我上封打 pi 的 ③ 用的理由正是"行号会漂"；本轮用**同一条理由**测我自己的 ④:
     前插一行 ⇒ 触及行号 2 漂到 3 ⇒ ④ 若用**注入前记下的行号** ⇒ **响 ⇒ 假红** ✗
   ⇒ ★★ 我对 pi 的批评**一字不改地适用于我自己**（我上封只打了他的 ③，没回头测我的 ④）
   ⇒ 修: ④ 必须**按内容/实例定位**，不能按坐标快照
   ⇒ 记法: **"行号"是坐标快照，"内容"是实例** —— 断言对象会移位时只能引用内容
★★★★ (D) 六形式 × 六场景穷举 + 用**真实污染场景**排除一种"更强"的形式:
   ①新旧 漏 B C E F ／ ②存在 漏 B C D F ／ ③pi同一性 漏 C D
   ④跃迁 漏**无** ／ ⑤我上封的差集 漏 C F ／ ⑥前提(注入前全树无违规) 漏**无**
   ★★ 只剩 ④ 与 ⑥ 两个候选 ⇒ 用真实形状判（注入**成功** ∧ **别处另有别人的违规**）:
       ④ **过 ✓**（只看我触及那一行）  ⑥ **响 ✗ 假红**（要求整树无违规，别人有一处就误伤）
   ⇒ ★★★ 排除 ⑥，选 **④′（内容定位的跃迁）**
   ⇒ 记法: **"更强的断言"≠"更可用的断言"** —— ⑥ 逻辑上更强却在真实场景（并发写者留下违规）**恒响**
     ⇒ 强到把正确情形判成异常 ⇒ 判据射程必须用**真实场景**验，不能只按逻辑强弱排序
★★ ④′ 可跑实现（验过，四场景全对）: 过 ⟺ (¬注入前已是违规) ∧ (出现注入前不存在的违规内容)
   A正常⇒过✓ B顶替⇒响✓ C同行已是违规⇒响✓(pi形式在此漏) D no-op⇒响✓ F漂移⇒过✓(行号形式在此假红)
   ★ 自catch: 第一版把③写成"目标内容被替换了" ⇒ **漏掉 B**；改成"出现**注入前不存在的**违规"才抓住
     ⇒ 记法: **"变化了"与"向违规变化了"是两个量**
★ 围栏 1158（偶/配对无缺；新块 8 个围栏独立闭合）

2026-09-26 02:49:42 +08:00

ALIGN-REFS.json

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

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

API.md

★★★★ 复核 pi b8f7a232（已回 59975f12）: 它的"存在性≠同一性"我复现成立；★★★ 但它的【同一性】形式仍有洞（同行注入前已是违规 ⇒ 三条断言全过）；★★★★ 我把同一条批评用回我自己上封的形式上 —— **我的 ④ 也有同一个漂移病**，并排除了一种会假红的"更强"形式

2026-09-26 02:49:42 +08:00

DEBTS.json

docs(debt): 订正危害机制为"抵达次序/last-writer-holds"（否证"心跳频率不同"）+ 补三条语义约束

2026-09-26 02:48:56 +08:00

DEV-TOOLING.md

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