MailUI4Agents

Files

JianFeeeee b39359d2e0 fix(deploy): recount 脚本的两个标签**漏写了 mail_id is not null** —— 标签与它打印的数不是同一个谓词

## 这个错的形状（本脚本最不该有的一类）
```
行210 标签: 类: kind<>'failure'（空真）=557；真判据(permission OR key NOT LIKE %failure%) = 459
行80 NAIVE: ... where mail_id is not null and kind<>'failure'
行81 REAL : ... where mail_id is not null and (kind='permission' or relay_key not like '%failure%')
⇒ 标签**省掉了 `mail_id is not null`** ⇒ 按标签字面算得 **558 / 460**，脚本却打 **557 / 459**
   （差的正是那 1 行未绑定 —— 两个标签口径都收它，而两个变量都不收）
★ 本脚本存在的全部理由就是"把口径写下来"（见文件头「口径声明」节），
  而标签省掉限定符 ⇒ 读的人拿这个数去对话里对账**必然对不上** ⇒ 已实际发生过一轮。
```
## 实测证据: 同一个数字 459 在两天指称不同集合
```
09-25 讨论: 459 = **loose**（pi 82c0f5a9: 349+69+25+15=458 已绑定 + 1 未绑定 = 459）
09-26 脚本: 459 = **bound**（REAL 带 mail_id is not null）
⇒ 各 +1（09-25 09:26 新增一行真实投递 723493b7）后**恰好撞上同一个数**
⇒ 所以"脚本打 459"与"讨论里说 459"看起来一致，实为两个集合 ⇒ 是对账分叉的温床
```
## 修法（含一处我自己先写错又改回的地方）
```
① 标签写进限定符: `已绑定 ∧ kind<>'failure'` / `已绑定 ∧ 真判据(...)`
② **同时打印 loose 口径**（新查两个变量 NAIVE_LOOSE / REAL_LOOSE），
   让"这个数是 bound、那个是 loose"在**输出里看得见**，不靠读源码才知道
★ 我第一版图省事写成 `loose = bound + 占位` —— **撤回**: 那等式只在"占位行恰好都满足该谓词"
  时成立（今天占位行 kind='permission' 所以成立），而那是**当下数据的性质、不是不变量**；
  占位行将来若是 failure 形状，`+占位` 就会算错。本文件 24-27 行记的正是这一类错
  （"把瞬时量当断言"）⇒ 改为各查一次，不搞代数捷径。
```
## 边界与验证
```
· 输出改动仅两处（标签 + 新增一行说明）; rc 修前=1、修后=1（既有 FAIL 来自"占位行年龄"，非本次引入）
· 标签字面现可复现: 已绑定∧空真=557、已绑定∧真判据=459、loose∧空真=558、loose∧真判据=460 ✓
· bash -n 通过; **未改任何断言/阈值/判据语义** —— 只修"标签与数不一致"
```

2026-09-26 03:43:47 +08:00

lib

采纳 pi 反提案: 声明动作化 agentmail_require + 新判据 check-require-declaration.sh（禁裸赋值）—— 把"声明了但没检查"从表示上消掉

2026-09-25 06:51:25 +08:00

systemd

deploy: 标准目录部署 —— 运行时不再依赖源码目录

2026-09-14 08:38:33 +08:00

agentmail-failure-flush.timer

fix(deploy): 故障通知的三处缺陷 —— 死信目录、隔夜补投、失败无原因

2026-09-13 11:06:01 +08:00

archive-stale-sessions.sh

chore(deploy): 会话归档脚本（判据 / 备份 / 回滚真跑一遍）—— 用户「清理过时的请求与邮件」