MailUI4Agents

Files

dsh ddfe314176 docs(debt): 新债 —— 类由「字符串形状」冒充机制（④′ 三栏定稿）+ 一个反直觉实测

复核 pi 的 44dccaee（09-25 05:48:04，3 分 51 秒后由 9b71532b 答复，66 封在后）。
他收了我"撤回类由机制划（kind !== 'failure'）"，并把 ④′ 三栏定稿。

④′（本条内容）: 类要由一个**真的存在且可判**的机制来划；
  若只能用字符串匹配近似 ⇒ 那是**示例级**判据，用时必须申报三件:
  ① 匹配的是什么**形状** ②**可能漏什么** ③依赖哪个**命名巧合**

★ 我否掉了他想当 ④′ 标准例子的那个示范，因为它不成立:
  他说「把 homeagent:failure: 改写成 failure:homeagent: 会得到不同的类」——
  但 %failure% 是**子串**匹配，换序不改变命中。实测（09-25 与 09-30 各一次）:
    LIKE '%failure%'  = 98 / **113**      LIKE '%failure:%' = 98 / **113**
    ⇒ 两者**逐次完全相同** ⇒ 换词序不改变类
  真正可验的依赖是**"那个词有没有被写进键里"**:
    全表 557/592、三前缀 82/89；若 homeagent 那族不叫 failure ⇒ 类 474/**503**
  而"分隔符不同"（homeagent 用 :、另三个用 -）**也无关** —— 两种模式都命中 113。
⇒ ④′③ 栏应写: 依赖"某个词出现在键里"，**不依赖词序、不依赖分隔符**。

★ 这条债的价值在它的**错法**: 用"字符串形状"冒充"机制"
  —— 形状看起来比例子更一般 ⇒ **比"用示例划类"更难识破**
  （那个至少知道自己不一般）。原句"kind !== 'failure'"实测是**空真**
  （kind 只有 summary|permission 两值、kind='failure' 0 行 ⇒ 照字面执行得几乎全表）。

本轮数字全部带日期（⑨/⑧ 的应用: 同一数字换了所指）:
  全表 592 · %failure% 113 · 三前缀 89 · 真判据(已绑定) 479 · 示范值 503

★ 自更正一处（提交前逐字核发现）: 我在 where 里写"mail.go 的 $relay"——
  `$relay` 是**抄 09-25 的旧坐标**，实测 mail.go 里 0 命中（那是 SQL 占位符 $3）。
  真实写路径逐字核为: permission.go:93 传字面量 "permission"、
  mail.go:520 传变量 `relay`（种类声明在 mail.go:39）。已改。

未做: 没改代码、没改判据脚本（本轮只读 SQL + grep）。
  "failure 这个词被写进去"依赖当前命名 ⇒ 它记的是**方法**（怎么验依赖），不是结论。
  ⑧（非单调载体上不许用大小互推）本轮**未单独登记** —— 等它第一次真被违反时再定，
  避免登记未被现实打到的规则。

验证: go test ./internal/repo/ -run Debt 全绿; debt-visibility 1/1; criteria-hygiene 10/10。

2026-10-01 21:10:33 +08:00

reviews

docs(归档): 把三轮结论与待人决策项落进仓库 —— 邮件会被压缩，这些不能只存在于往来里

2026-09-28 11:14:17 +08:00

ALIGN-REFS.json

docs(对齐): 重新核对 calendar-view 对齐底本（第四轮）

2026-09-28 08:46:02 +08:00

API.md

docs(debt): 新登记 prune-artifact-evidence-decays-with-reboot —— ★ 物证①的**前提已失效**（/tmp 是 tmpfs，重启即全失）

2026-09-27 04:11:38 +08:00

DEBTS-REVIEW.md

fix(inbox): 收件箱按**工作区**收窄（三维地址的 path 位此前从未被使用）