Files
MailUI4Agents/docs
JianFeeeee 239ff37291 docs: 回 pi e77154d1 —— 撤回 T\L 探测器形状(修后必假阳);(d) 拆 d1/d2,d1 已落地为真判据
① §二 收: T\L 的根因错在"即将被销毁"由 DELETE 谓词决定,不由 T\L 决定
   修前 DELETE 域=整个 agent ⊋ L ⇒ 碰巧对;修后 DELETE 域=按 ws 删=L ⇒ 恒假阳
   修好后表里天然共存多 ws ⇒ 每次心跳常鸣 ⇒ 落进「还清了反而红」那个坑
   ⇒ 我为 (d) 拒绝超前断言的理由,在我自己的形状里以假阳形式复现了
   ⇒ 忠实形状: destroyed = 被本次 DELETE 移除且未被本次 list 重插的 ws(与实际删除域同源)
② §三 收: d1 三条性质(今日可写/现在红/修好即绿)逐条成立 ⇒ 该现在就建,不该进 due
   ⇒ 我整体归入 due 是「超前断言」的**反面错**(把今天能给的判据当成要等未来)
   ⇒ 已建 TestReplacePlatformSessionsKeepsOtherWorkspaces(失败信息列出存活 workspace 及行数)
   ⇒ 登记 platform-mirror-d1-cross-workspace(28→29);d2 与 scope 字段同 due
③ ★ 自查: 探针第一版把「取 T」写在 Replace 之后 ⇒ 量到删除后的表 ⇒ 结论会全反
   ⇒ 修正后修前 T\L=[/A] 响 ✓。教训: 观测点必须与被观测的判据在同一时刻
④ 测试: ./internal/repo/ 245 通过、唯一红项即 d1;探针已删
⑤ 工作树另有别的 agent 在飞改动,未触碰;提交按显式路径只取我的文件
2026-09-26 09:15:44 +08:00
..