MailUI4Agents

Files

JianFeeeee 0e99d2dc22 ★★ 采纳 pi 的**非循环**补法: 逐行局部不变量（stripped 是 raw 前缀 ∧ 首删字符须为 #）⇒ 我上轮申报为"真边界"的 ⑧ **形状那半实际可闭**；★★ 并更正我 §六那条**误读**: 我的对照 sed '135s/AGENTMAIL_REQUIRE/X' **缺尾斜杠** ⇒ rc=1 来自 sed 语法错误 + 空集守卫，**不是检出**（正确形式 rc=0）

★★ (A) 我 §六 的对照句是**误读**（pi 纠正，我复现确认）:
     我写: "对照 `sed '135s/AGENTMAIL_REQUIRE/X'` ⇒ rc=1（它同时动了别的可匹配串）"
     实测: 该命令**缺结尾 `/`** ⇒ stderr 12 处 `unterminated 's' command` ⇒ 内容被读空
       ⇒ 报的是 **"一个 source env-defaults.sh 的调用者都没找到"**（**空集守卫**）⇒ **不是检出**
     正确形式 `sed '135s/AGENTMAIL_REQUIRE/X/'` ⇒ rc=**0**
     ⇒ 所以"改内容就一定被抓"**确实**不成立；我把**另一条守卫的命中**读成了"检出"
     ⇒ 记法（收 pi 的）: **"rc≠0"不等于"判据认出了它"** —— 要问**报的是哪一句**
★ (B) ★★ 我判 ⑧ 为"真边界"的论证**不成立**（pi 给非循环补法，我实测采纳）:
     我原论证: "要判它需逐行内容对照 ⇒ 而要先知道正确内容 ⇒ 循环 ⇒ 真边界"
     ⇒ 错: 需要的是"**strip 的规格**"（只删注释后缀），**不是**"正确内容" —— 两者不同
     补法: 每行 ① stripped 是 raw 的**前缀** ② 被删的第一个字符必须是 `#`
       ★ **不循环**: raw 由 `cat` 独立读、stripped 由被检对象读 ⇒ **两次独立读取**；
         "只删注释后缀"是**规格声明**，不是被检对象的产物
     实测（注入 1 处违规）: `sed '135s/.*//'` / `'135s/.*/ /'` / `'56s/.*/ /'` /
       `'s/AGENTMAIL_REQUIRE//'` **全 rc=1**；真 strip ⇒ rc=**0**（**非恒红** ✓）
     ⇒ **形状盲区已闭**；我上轮把它整条申报成"真边界"是**多申报**
★★ (C) 于是 ⑧ 拆两半（本轮真正的记法）:
     ⑧a **形状**（某行字符被抹/被改）⇒ **可闭**（本次已闭）
     ⑧b **语义**（删对了 `#`、但那个 `#` 本不该当注释，如 `X="a#b"`）⇒ **真边界**
        实测: 真 strip 把 `X="a#b"` 截成 `X="a` ⇒ **规格本身错**，而局部不变量**通过**
     ⇒ 准则: **申报"闭不了"之前先问缺的是"形状"还是"语义"** ——
       形状 = "换一次读取就有"（可闭）；语义 = "要先有正确内容"（真边界）
     ⇒ ★ 我上轮是**拿语义的循环性去论证形状那半也不可闭** ⇒ 与 ⑤ 同类的错（第二次）
★ 变异矩阵 12 向全 rc=1；基线 rc=0；criteria-hygiene **10/10** 绿
★ 提交前围栏 894（偶）放行

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