jianf/MailUI4Agents
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
904 Commits 1 Branch 0 Tags
b2a0a42c91c84d1b728d6f8a43e5894f8b89b0fb
Commit Graph

5 Commits

Author SHA1 Message Date
JianFeeeee
e78888b756 fix(归档): 两表判据分叉的成因收口 —— TouchSession 不再写 status，建邮件一律拒归档会话 
pi 2026-09-28 裁定 §1/§2 认可「判据分叉」这个定性，§4 要求做 1+2，
并把 permission/request 点为第三个复活入口。本轮做 1+2，并补上第四个。

# 缺陷：归档后不可见，判据挂在两张表上

  unreadFor / readStateFor   判邮件行   （repo.go:unreadFor）
  ListInbox / UnreadWorkspaces 判会话行   （repo.go:ListInbox）

两边对同一条已归档线索给出不同答案，而每一边单独看都「是对的」。
分叉由 `TouchSession` 的 `SET status='active'` 与建邮件 INSERT 只写
邮件行共同造成 ⇒ 只要有一个写路径碰会话行而不碰邮件行，半活会话就能被造出来。

# 改法：让不变量由构造保证，而不是逐个入口堵

  · TouchSession 只剩 updated_at —— 它是全库唯一能解除归档的入口
  · EnsureSessionOpen 是 CreateMail / CreatePermissionMail / CreateDecisionMail
    的共同前置（集中一处，新增建邮件函数必须经过它）
  · ErrSessionArchived 与 ErrSessionNotFound 分列：调用方要能分开回话
  · resolveTarget 的 reply_to 分支恢复归档契约（此前绕过别名路径的 404）
  · permission/request 补 SessionOpenFor：存在 + 未归档 + 参与方
  · FindSessionByPlatformID 补 s.status（adopt 路径，pi 未列的第四个入口）

# 判据：写成不变量而不是单点

session_status_invariant_test.go：对任意 session_id，
sessions.status='archived' ⟹ 该会话全部邮件 archived。入口级回归单测仍在，
但它们是说明。已实测把 TouchSession 改回旧实现后该判据转红
（不是「改完就绿」的装饰）。

# 读侧清册

mail_status_readers_test.go 的清册仍为 repo.go=13 / thread.go=1 / migrate.go=4：
本轮新增的 5 处命中全在注释里（散文里拼了列名字面量），已改写措辞而不改数字
—— 让数字变化会给未来新增读取凭空送出 5 格余量，正是那张表要防的事。

# 遗留（pi 裁定本轮不做，已登记）

FindSessionByAddress 无 status 条件：补上会把重复归档从 200 变成 404，
属行为变更，不在 bugfix 里夹带。
 2026-09-28 11:01:38 +08:00
JianFeeeee
db640e2360 fix(repo): platform_sessions 整表替换的域是 (agent, workspace) 而非 agent 
修 `DEBTS.json` 里记的 `platform-mirror-replace-domain-too-wide`
（pi `b9c7308c` 报的，当时只做了定位未修）。

# 缺陷

`ReplacePlatformSessions` 的 DELETE 域是 `agent_name` 单列，而**每个上报者
只知道自己一个 directory**：

	plugins/opencode-mail-bridge/index.js:1147
	    client.session.list({ query: directory ? {directory} : undefined })

⇒ A 工作区的桥上报一次就把 B 工作区上报过的镜像全擦掉，下个工作区的桥
再上报又擦掉 A 的。表现为「镜像按 project 轮换」。

# 生产实测（不是推断）

	sqlite3 agent_platform_sessions GROUP BY workspace：
	  dsh  77 条散在 **25** 个工作区（/home/program/agentmail 25、/tmp 20 …）
	  pi  151 条散在 **62** 个工作区

# 后果已在生产数据上可见

镜像被擦 ⇒ `notify/mail.go` 的 `PlatformSessionFor` 查不到 ⇒
`sessions.platform_id` 留空。实测 **18 条活跃会话里 17 条 `platform_id` 为空**。

空 platform_id 不止"少个跳转"：`notify/mail.go:94` 用它决定
`platform_session_id` 发给谁，owner 取错就抛「平台侧会话已删」⇒ 邮件静默消失。

# 修法

DELETE 域收窄到**本次上报覆盖的那些工作区**（wsOrder，去重保序）。
一次上报跨多个工作区 ⇒ 那些各自整表替换；本次没出现的一律不动。

仍然是"整表替换"而非增量合并 —— 镜像是平台快照，增量合并会让已删会话永远
留在候选里，而 session 位是三态语义、指向不存在的会话直接 404（"选了却送不到"）。

## ★ 一条判据覆盖不到的分支，单独补了判据

`if len(wsOrder) > 0` 这个守卫（wsOrder 为空 ⇒ 什么都不删）**既有判据碰不到**：
所有既有用例传进来的 list 都带 workspace。实测把守卫改成 `>= 0`（空清单也按
agent 清，退回缺陷），**全部既有判据仍然绿**。

补 `TestReplacePlatformSessionsWithNoWorkspaceKeepsEverything`：
一次不带 workspace 的上报后，`/A` 与 `/B` 的镜像都必须还在。

变异验证：该判据能抓住这个变异（而既有判据抓不住）。

# 关于"空 IN ()"

守卫去掉会拼出 `workspace IN ()`。SQLite 与 PostgreSQL **都**是恒假（不报错），
所以行为上等价 —— 但那是依赖两个数据库的隐式巧合，不是读代码能看出来的保证。
守卫保留，并在注释里写明这一点。

# 生产验证

部署后用 opencode 的真 key 打一次带 `workspace=/ZZZ` 的心跳：
  · 写入 opencode /ZZZ 1 行
  · **dsh 的 25 条 /home/program/agentmail 镜像一行没少** ✓
  （修前这次上报会把它们全擦掉。已 DELETE 掉测试行）

注：三个桥本次心跳都没带 `platform_sessions`（opencode 的 `reportSessions`
在 `directory` 为空且拉取失败时返回 `undefined`，服务端按 nil 跳过替换），
所以"三次采样镜像不变"**不能**作为修复生效的证据 —— 上面那次主动打心跳才是。

# 未解决（DEBTS 那条的后半）

`agent_platform_sessions` 主键仍是 `(agent_name, platform_id)`：
同一个 platform_id 出现在两个 workspace 会撞 UNIQUE ⇒ 无 ON CONFLICT +
defer Rollback ⇒ 整个 DELETE 回滚 ⇒ 镜像永久停滞。
本改动只消除"擦错别人"，没消除"同 id 跨 ws 撞约束"。要不要给 PK 加 workspace
仍未决（涉及 SQLite 需重建表 + 具名索引会丢 + 孤儿 _new 表自愈，见 DEBTS 原文）。
 2026-09-26 14:20:23 +08:00
JianFeeeee
a5fc86bc1a fix(addressing)!: 寻址不按工作区筛 + 联系人地址不再从垃圾 from_workspace 拼 
用户：「任意 agent 的寻址是任意的，而不是按工作区区分，去落实吧」。

① 拆掉两处"按工作区收窄"（那是我把**寻址**当成了**权限**）：
   · AgentListContacts 不再走 ListContactsInWorkspace ⇒ 列表 = 我参与过的会话（事实，不是授权）；
   · AgentSuggestAddress 的会话候选不再走 SuggestSessionCandidatesInWorkspace。
   两个 InWorkspace 变体（连同钉旧口径的用例）一并删除，避免死代码。
   生产实测：pi 的联系人从"只剩同工作区"变成 5 条，横跨 TrueAgent/agentmail/其它工作区。
   agentScope 仍调用（校验 session_id 格式 + 未声明时告警），只是它的工作区不再当过滤器。

② 联系人地址的 path 取自**会话**，不再取第一封邮件的 from_workspace：
   `COALESCE(NULLIF(s.workspace,''), NULLIF(m.to_workspace,''), '')`。
   那条老路把地址拼成 `zcode@zcode.<别名>` —— 正是用户预言的"感染"：一个可被复制出去的
   错误地址。from_workspace 与"对方在哪"无关，只用 to_*。

③ **清除感染源（数据）**：658 行 from_workspace = from_name（pi 406 / dsh 137 / zcode 89 /
   homeagent 17 / opencode 9）已清空。带去重前备份（/root/gotmp/agentmail-pre-fromws-purge-*.db）
   与回滚脚本，回滚**在副本库上真跑过**（恢复 658 行）才敢落地。
 2026-09-15 10:07:18 +08:00
JianFeeeee
1b8cd43935 fix(auth): 工作区成为读权限的边界 —— Agent 侧读端点按会话工作区收窄 
用户报的：「agentmail 工作区的邮件会话被 trueagent 工作区的 agent 看到了，
还需要我亲自去解释。」

## 根因不是漏了一个 WHERE，是隔离单位选错了

Agent 注册时 `workspaces` 是空的（B-1.2：cwd 由每封邮件的 `to_workspace` 决定），
所以**一个 Agent 同时服务所有工作区**。而可见性判据一直是
`AgentCanAccessSession(agentName, sid)` = "这个 Agent 名出现在这条会话的 from/to/cc 里"
—— 于是同一个 agent `pi`，在 TrueAgent 里干活的 worker 眼里，对 agentmail 的会话
也成立。

现场证据：`mail_reads` 里 08:11–09:19 有 8 次「同一瞬间读了多个不同工作区的会话」
（08:23:59 一次跨 agentmail / TrueAgent / webui4frpc 三条会话），最后一次是 09:19:11
—— 正好停在 `read_inbox` 按会话收窄那个提交（552fbc7，09:19:25）之前。
更要紧的是 `mail_reads` 只记 `reader_name`、**没有「读的人当时在哪个工作区」这一列**，
所以这类越界读在数据上与正常读**无法区分** —— 这也是为什么只能由用户自己去解释。

## 改法：补一维，而不是逐个端点打补丁

- 新增 `repo.AgentMayReadSession(agentName, scope, target)`：① 参与过（原有判据）
  ② 两条会话的 `workspace` 相同（新增）。`scope` = 调用方当前所在的那条会话。
- 服务端只认一条**会话 id**（`?session_id=`），由它反查 workspace ——
  **不接受调用方直接声明工作区**，否则等于让它自己给自己发通行证。
- 应用到四个读端点：`read_mail` / `read_thread` / `session_participants` /
  `list_contacts`，以及 `contacts/suggest` 的**会话候选**（name/path 两段不收窄：
  跨工作区**发信**是设计允许的，被挡的只是"浏览同行的线索"）。
- 未声明 `session_id` 时保留旧语义（放行）并**记警告日志**：迁移要能分步走，
  但"还有谁没接线"必须可观测（另四家桥仍走这条路）。
- pi 桥：五个读工具全部带上自己那条邮件会话 id（由 worker 闭包注入，模型改不了）。

## 顺手修掉一个真 bug

联系人查询的未读计数子查询里一直有 `r.reader_name = $1`，而原写法是
"forUser 为空就不传参" ⇒ $1 悬空：Postgres 直接报 `no parameter $1`，
SQLite 把 `= $1` 当 `= NULL` 比、次次不成立（未读计数静默退化成"全部未归档"）。
管理员 `?all=true` 走的正是这条路。现在 $1 恒传。

## 判据（两侧都验 + 变异）

- repo：同工作区放行 / 跨工作区拒且 reason 分得清 / 没参与过拒 /
  未声明 scope 的旧语义；列表类有反向对照（不带收窄两条都在）；
  建议补全同工作区照常给候选、跨工作区查路径不给、不带收窄会给（对照组）。
- ★ 这条判据我第一版**写错了对照组**：拿 path=wsA 去比 —— 而 path 本来就收窄，
  于是"不带收窄"也只剩一条，判据等于空的。改成拿 path=wsB 比才有区分力。
- 变异 3 处（拿掉工作区判据 / ListContactsInWorkspace 不收窄 /
  SuggestSessionCandidatesInWorkspace 不收窄）⇒ 各自恰好红在对应那条断言。
- pi 桥 14 条：6 个读工具 × 带上/不带 scope 两侧 + worker 闭包 + 自检；
  变异 read_mail 去掉收窄 ⇒ 恰好那一条红。

（工作区是多会话共用的，本次只 add 了 server/ 与 plugins/pi-mail-bridge/ 的 7 个文件。）
 2026-09-14 23:03:25 +08:00
JianFeeeee
f9d757b5e5 chore: directory migration - gateway→server, web→client/electron 2026-09-08 19:16:35 +08:00