JianFeeeee
7634be8966
用户 12 天前就提过（`552fbc7` 只修了 session_id 那一维），这轮才真修。 用户原话：「难道让一个不在项目工作区的 agentsession 去修工程吗？」 # 缺陷（生产实测，2026-09-26） 在 `mc` 工作区干活的 pi 读收件箱拿到 **200 封，其中 191 封属于 `/home/program/agentmail`** —— 它照着那些信里的断言去改 agentmail 的代码， 把手上的 mc 活丢在一边。用户当场问它「你怎么干着干着修 agentmail 去了？」 （这条对话就在 mc 会话的 jsonl 里） 根因：`ListInboxScoped` 的 WHERE 只有 `m.to_name = $1`（+ 可选 session_id）， **没有任何 workspace 条件**。三维地址 `name@path.session` 的 path 位 在收件箱侧从未生效 —— 那不是"另一种语义"，是没兑现契约。 # 三条守卫全部只覆盖自动转发，防不住这个 | 守卫 | 只覆盖 | 为何无效 | | --- | --- | --- | | 会话预算 | `relay != ""` 才扣 | 这批信 relay=0（模型主动发）⇒ 不扣 | | maxRelayHops=5 | 同上，只数 relay | 同上 ⇒ 不进那个分支 | | 插件自动转发守卫 | 插件代劳时 | 日志明说"本轮不自动转发" ⇒ 模型自己发的不受管 | # 服务端 · `ListInboxScoped` / `CountUnreadScoped` / `MarkAllInboxReadForSession` 三处统一加 `s.workspace = $N`（用会话的 workspace，不用 mails.to_workspace： 后者是信封字段、可能是抄送或历史遗留；"线索属于哪个工作区"是会话属性）。 ★ 三处必须是**同一个谓词** —— 列表看不到的信却被"全部标掉"标掉就是静默丢信 （session_scope_test.go 记过这个形状）。 · **workspace 在 Agent 侧必需，缺了 400**（用户裁定：「不带 workspace 是错误 发件格式，直接退回！」）。旧语义（不带=全部）正是缺陷本身，不留兼容回退。 · 人类侧**不过滤**（一个人跨工作区，WebUI 按 session_workspace 分组显示）—— 所以"必需"这条约束放在 Handler 而不是 repo 层：它是接口契约，不是数据层不变量。 · 新增 `UnreadWorkspaces`：心跳是**进程级**（一个桥服务所有工作区），没有 "我的工作区"可言；但只有总数桥不知道去哪个工作区补投 ⇒ 心跳回 `pending_workspaces` 清单，桥逐个消费。 · 决策载荷补 `workspace`（服务端知道 session→workspace，插件重启后推不出来）。 · `TouchAgentLastSeen` 从 HeartbeatAgent 拆出：middleware 在每个认证请求上都调它， 而那时工作区还没解析（请求体没读），原来在白算一次 CountUnread。 # 三个插件（pi / opencode / dsh） · 读类工具带 `workspace`；补投从"读一次全局收件箱"改为**逐工作区**读。 · pi：worker 信封的 `to_workspace` 经闭包递进工具（不是会话文件 header 的 cwd —— 后者是"会话上次落在哪"，前者是"这封信寄到哪个工作区"）。 · opencode/dsh：插件常驻、信封在 deliverMail 那刻就消费掉了 ⇒ 新增 `sessionWorkspace` 映射（键与既有 reverseMap 同一把）。 · 修一处真 bug：`UnreadWorkspaces` 原先会返回相对路径工作区（历史库里有 `workspace='root'`），桥侧实测撞 400（`补投工作区 root 失败`）⇒ 只报可寻址的。 # 实测凭据 · 改前：`pi` 的收件箱 200 封混 3 个工作区（agentmail 191 / TrueAgent 7 / huawei 2） · 改后：agentmail=100（total 228）、mc=16、TrueAgent=7 —— 各工作区独立 · 不带 workspace ⇒ **HTTP 400**，话术给出可执行步骤 · 桥日志：`rw=/home/newqqagent/plugindev/editdoc-upgrade` —— 终于是别的工作区了 （改前 78 次 worker 启动**全部**是 `/home/program/agentmail`） # 判据 · `server/internal/repo/workspace_scope_test.go`（3 条）： 两向收窄 + **反向对照**（不带时两条都看得到 ⇒ 证明是收窄不是清空）+ 未读数同口径 + 相对路径必须报错 · `plugins/pi-mail-bridge/test/inbox-workspace-scope.test.mjs`（4 条）：接线 + 取信封而非 cwd + 补投逐工作区 + 判据自检 · dsh 那条 `取不到会话时退回整体收件箱` **改了**：它钉的"退回整体"正是缺陷， 现在钉"两维各自缺席时各自不带、服务端 400 让错误可见" · 变异验证：服务端 2 处 + 插件 3 处，全部判红后恢复回绿 全量：server `go test ./...` 绿；三插件 513+340+403 全绿。
82 lines
3.6 KiB
Go
82 lines
3.6 KiB
Go
package repo
|
||
|
||
import (
|
||
"context"
|
||
"strings"
|
||
"testing"
|
||
)
|
||
|
||
/*
|
||
「欠账还清」必须是一条**可判的事件**，不是"我们都改完了"（pi 2026-09-14 裁定 §2）。
|
||
|
||
欠账本身：`GetMailByID` / `GetThread` 把**行级** `m.status` 放进邮件 JSON，
|
||
而列表路径（`CountUnread`/`ListInbox`）给的是**按读者**派生的值 —— 同一个字段两种语义。
|
||
收口顺序是"先迁读者、再删写入"（先删写入会让 JSON 里的 status 永远是 unread，是另一种错误事实）。
|
||
|
||
形状（三态，与套件的探针同族）：
|
||
|
||
- **欠账未清 ⇒ `t.Skip`**，跳过信息写明还欠什么（**不假红也不假绿**）；
|
||
- **还清 ⇒ 实跑**并断言"详情路径的 status == 按读者派生的值"，**转绿即可测事件**；
|
||
- 迁一半（只改 `GetMailByID`、漏 `GetThread`）⇒ 红。
|
||
|
||
为什么不写成"现在就是红的"：**恒红的门 = 挂在错误相位的门** —— 这轮已经为它付过三次学费
|
||
（`check-shared-libs`、`packaging`、`HOME`），见 `client/electron/test/CRITERIA.md` §11。
|
||
改成 Skip 之后又必须补两件事（pi 2026-09-14 §1）：**跳过条件必须是测量结果**（不是常量），
|
||
以及**"跳过"必须进可数的余额**（否则"不假红也不假绿"会变成"不显形"）——
|
||
余额登记在 `docs/DEBTS.json`（两端同源），常态可见的那份打在 electron 套件的 RESULT 行
|
||
（`go test` 跑通时不打印包的输出，把余额只打在 TestMain 里等于没人看得见）。
|
||
*/
|
||
|
||
/*
|
||
measureMailStatusDebt：**自足**的测量 —— 谁调用谁测，不依赖"别的测试先跑过"。
|
||
|
||
第一版把债务标记写在 Skip 那一支、余额由另一条判据去读，于是产生**排序依赖**
|
||
（Go 在同一包内按源文件顺序跑，登记那条先跑就读到 0）。排序依赖是隐蔽的假绿来源，
|
||
所以把测量抽成一个函数，每条判据各自调用。
|
||
|
||
返回 outstanding = 详情路径与"按读者派生"是否**实测**不一致（不一致 = 欠账未清）。
|
||
*/
|
||
func measureMailStatusDebt(t *testing.T) (outstanding bool, detail, derived string) {
|
||
t.Helper()
|
||
setupTestDB(t)
|
||
ctx := context.Background()
|
||
id := seedMailTo(t, "alice", "bob")
|
||
// 让 bob 读掉：行级写入会把整封标 'read'，而 alice 的按读者派生仍是 'unread'
|
||
if err := MarkMailRead(ctx, id, "bob"); err != nil {
|
||
t.Fatal(err)
|
||
}
|
||
m, err := GetMailByID(ctx, id)
|
||
if err != nil {
|
||
t.Fatal(err)
|
||
}
|
||
list, err := ListInbox(ctx, "alice", "all", "", 50)
|
||
if err != nil {
|
||
t.Fatal(err)
|
||
}
|
||
for _, x := range list {
|
||
if x.ID == id {
|
||
derived = x.Status
|
||
}
|
||
}
|
||
if derived == "" {
|
||
t.Fatalf("自检：列表路径里应当能看到这封邮件（id=%s）", id)
|
||
}
|
||
return m.Status != derived, m.Status, derived
|
||
}
|
||
|
||
func TestMailStatusInJSONIsDerivedWhenDebtCleared(t *testing.T) {
|
||
outstanding, detail, derived := measureMailStatusDebt(t)
|
||
if outstanding {
|
||
// 欠账还在：**实测**（不是常量）⇒ 记进余额，然后再跳过
|
||
debtMark("mails-status-derived")
|
||
t.Skipf("欠账未清（还清那天本判据自动转实跑并转绿）：详情路径返回行级 status=%q，"+
|
||
"而按读者派生说 %q —— 差在 GetMailByID/GetThread 仍带出行级列；"+
|
||
"迁完那两处（改用 readStateFor）后本判据会实跑。收口顺序：先迁读者、再删写入。"+
|
||
"（余额见 docs/DEBTS.json；常态可见的那份在 electron 套件的 RESULT 行。）", detail, derived)
|
||
}
|
||
// 已还清：断言更强的性质 —— 详情与列表必须一致（都对同一个 reader 派生）
|
||
if !strings.EqualFold(detail, derived) {
|
||
t.Fatalf("详情 %q 与列表 %q 不一致", detail, derived)
|
||
}
|
||
}
|