MailUI4Agents

Files

JianFeeeee ee3364a111 ★★★★ 修 · 反向对照的"见证力"缺陷: 每条件各配一条"**只踩它**"的样本（_pc_bad 原样本被两条件同时拒 ⇒ 对两条都无见证）

★★ 缺陷（承上一条机制）: 反向对照**只有一条**样本 `. /tmp/not-our-lib/env-defaults.sh.other`，
   而它**同时**被两条独立条件拒 —— ① 前边界 `[^[:alnum:]_.-]lib/env-defaults`（`-lib` 的 `-`）
   ② 尾锚 `["']?[[:space:]]*$`（`.other` 结尾）⇒ **对两条都没有见证力**
   ⇒ 删掉任一条条件，对照**照样绿**（实测: 两个锚各自都能被单独删掉而不被发现）
★ 修（+2 条样本）: ① `. /tmp/not-our-lib/env-defaults.sh`（**只踩前边界**，结尾合法 `.sh`）
                    ② `. /tmp/zzz/lib/env-defaults.sh.other`（**只踩尾锚**，前面合法 `/`）
★ 变异测试（这才是判据）:
   删【前边界】: 旧样本 ⇒ rc=0 **无人报** ／ 新样本 ⇒ rc=1 报"只在前边界违规的异库文件" ✓
   删【尾锚】  : 旧样本 ⇒ rc=0 **无人报** ／ 新样本 ⇒ rc=1 报"只在尾锚违规的异库文件" ✓
   ⇒ **load-bearing 确认**（退回旧样本则两锚都删得不知不觉）
   ★ 且**报的是哪一句**能**指认是哪个锚**被删，不是笼统"域偏宽" ⇒ 诊断可用
★ 对照/回归（源 = 提交对象 + 工作区判据）:
   全绿对照（不注入、不删锚） ⇒ rc=0、FAIL=0 ✓
   全红对照（注入 1 真违规）  ⇒ rc=1、报 `deploy/install.sh:135 用了裸赋值` ✓
   真树基线 rc=0、`（3 个调用者，裸赋值 0 处）`、FAIL=0 ✓（新样本**不误伤**真仓）
   `bash -n` rc=0 ✓ ／ criteria-hygiene **10/10** ✓
★ 一般化: **每个"拒绝某类输入"的条件，都要有一条只被它拒的样本** —— 否则那个条件是**没人看着的**；
   "多条条件一起拒"会让**全部相关条件**同时失去见证（= **判定侧的共模**，与输入侧共模对偶）
★ 围栏 1140（偶/配对无缺）

2026-09-26 02:45:57 +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): 会话归档脚本（判据 / 备份 / 回滚真跑一遍）—— 用户「清理过时的请求与邮件」