四个各自独立的生产缺陷,共同的根源都是「本该属于会话的属性没有存在会话上」。 ## 1. dsh 指定工作目录完全失效(所有会话落进「未分组」) 插件建会话时用的 cwd 是自己拼的 `~/.dsh/mail-sessions/mail-<uuid>` —— 每封邮件一个全新的空目录。DSH 与 opencode 都按 cwd 给会话分组,于是所有 邮件会话既不属于任何项目、彼此也不同组。 而 Gateway 从来没把地址里的 path 位发给插件:`notifyRecipients` 的 payload 只有 mail_id/session_id/from_name/subject,`to_workspace` 虽然入库了却不在 SSE 事件里,插件即使想用也拿不到。 - SSE `new_mail` 事件加 `to_workspace`。**每个收件方拿到自己那个地址的 path**, 不是主收件人的 —— 抄送给 opencode@/a 与主发给 dsh@/b 是两个工作区 - 两个插件的 cwd 都改为取寻址的 path 位;不存在的目录**不创建**而是回退到 兜底目录(一个笔误不该在磁盘上落下真目录,Agent 会在里面一无所获地干活) - 拒绝相对路径:cwd 的相对基准是 harness 进程的启动目录,systemd 下通常是 `/` ## 2. 会话别名列不出工作区下的历史会话(无法选择) workspace 只存在于 `mails.to_workspace` 上,「这个工作区下有哪些会话」必须 JOIN mails 再从收发双方的 workspace 里猜。而 Agent 回信时 from_workspace 填的是 **Agent 名**而不是路径,旧条件 `to_workspace = $p OR from_workspace = $p` 在只剩 Agent 回信可匹配时两边都对不上。 - `sessions.workspace` 新列,`CreateSession` 从地址的 path 位带入 - `SuggestSessionCandidates` 取代 `SuggestSessionsFor`:以会话自己的 workspace 为权威,历史会话(该列为空)回退到 mails 反推 —— 升级后老会话不该消失 - `FindOrCreateDefaultSession` 同步改用会话的 workspace ## 3. 平台侧会话在补全里根本不存在 人直接在 opencode/DSH 界面上开的会话,Gateway 一无所知。 新增 `agent_platform_sessions` 镜像表,插件在心跳里上报快照。 **上报而非 Gateway 反向拉取**:当前架构是单向的(Agent 持密钥主动连 Gateway, Gateway 从不外呼),反向拉取需要它保存各平台的地址与凭证,那是另一套信任模型。 - 与 sessions 表分开存:镜像里是别人家的会话,id 属于平台的 id 空间,没有 本侧的 owner/预算/邮件。混进 sessions 会让每一处「按会话鉴权」都要先判断 这条到底是不是真的本侧会话 - **整表替换而非增量合并**:平台侧删掉的会话必须从候选里消失 —— session 位是 三态语义,指向不存在的会话直接 404 - **nil 与空数组语义不同**:插件拉不到列表时省略该字段(保留镜像), 而不是传空数组把镜像抹掉 - **subagent 子会话不上报**:实测 DSH 的 list 里混着 49 条子会话,标题就是 派活的提示词前缀(九条都叫 "You are auditing ONE file"),slug 全撞名; 它们是父 agent 内部的工作单元,人往里发邮件毫无意义 - **slug 撞名只留最近那条**:服务端只能取其中一条,上报同名项只会让补全里 出现几个点哪个都不确定的候选 - DSH 插件此前**完全没有心跳** —— Gateway 靠 last_seen 判在线,一直靠注册撑着 补全候选带标题与来源:`suggestions` 保留纯字符串数组(不打破已部署的前端与 第三方客户端),新增同序的 `candidates`。过滤时标题也参与匹配 —— 人记得的是 「缓存选型」而不是 brisk-harbor 这种随机短名。 ## 4. 对话树看不见抄送与转发产生的分支 旧实现从锚点分「祖先链 + 子树」两路展开,而**兄弟节点既不是锚点的祖先也不是 它的子孙**:一封抄送给两个 Agent 的邮件收到两个回复,从其中一个看树永远看不到 另一个;挂在原件上的转发分支同理。 改为先 `ThreadRootOf` 上溯到线索根,再从根整树 BFS。只剩一个加载方向, 因此不再需要滚动位置补偿。前端补上抄送人列表与转发标记 —— 树上两个兄弟节点 为什么并列,唯一的解释就是父邮件抄送给了两个人。 ## 5. DSH 插件(Phase 7.7) 卡了一下午的 `Cannot read properties of undefined (reading 'kind')` 根因是 `followup()` 的参数形状:DSH 要完整的 UserMessage(content + source), 而我照抄了 opencode 的 parts 数组。错误抛在 agent-loop 内部,不指向调用点。 - `agent/status` → idle 时自动转发最后一条 assistant 消息(对应 opencode 的 session.idle),复用 relay-dedup 让位于模型的主动回信,走免配额通道 - `approval/request` 权限询问转邮件问人。与 opencode 的差异:那边的 permission.ask 是同步钩子只能立即返回 ask,DSH 这边是异步 waterfall, 可以真的等人 —— 拆插件时未决询问一律 fail closed,否则 await 永不返回 - 会话别名由模型标题派生(保留中文,去掉 `.` `@` `/` 等寻址分隔符 —— 留在别名里会让它自己被解析器切开) - 逻辑放 lib/ 下的纯函数并加测试:三类约定都是「错了不当场报错、只在深处 炸一个无关错误」 ## 其他 - `deploy/reset-demo.sh`:清空演示邮件数据,保留账号与密钥。备份用 `.backup` 而非 cp(WAL 下 cp 拿到的是缺尾巴的库);手工按依赖顺序删(SQLite 的 foreign_keys 默认关,声明了 REFERENCES 也不级联);只在目标是默认库时才碰 systemd(演练时误停过一次生产服务) - 插件 dist/ 不进版本库,install.sh 负责构建 - `permission_decision` 事件补 session_id:插件重启丢了待决映射时要靠它定位会话
166 lines
4.2 KiB
Go
166 lines
4.2 KiB
Go
package repo
|
||
|
||
import (
|
||
"context"
|
||
"database/sql"
|
||
"errors"
|
||
"sync"
|
||
"testing"
|
||
|
||
"github.com/google/uuid"
|
||
)
|
||
|
||
// setupBudgetDB 复用 quota_test.go 的临时库,再建一个会话。
|
||
// 用真实 SQLite 而非 mock:预算的正确性核心是「判断与自增在同一条 UPDATE 里」,
|
||
// 那正是只有真实数据库才能验证的部分。
|
||
func setupBudgetDB(t *testing.T) uuid.UUID {
|
||
t.Helper()
|
||
setupTestDB(t)
|
||
id, err := CreateSession(context.Background(), nil, "bot", "预算测试", "")
|
||
if err != nil {
|
||
t.Fatalf("create session: %v", err)
|
||
}
|
||
return id
|
||
}
|
||
|
||
func TestSessionBudgetZeroMeansUnlimited(t *testing.T) {
|
||
id := setupBudgetDB(t)
|
||
ctx := context.Background()
|
||
|
||
// 默认 0 = 不限:引入预算不该把已在进行的会话卡死
|
||
b, err := GetSessionBudget(ctx, id)
|
||
if err != nil {
|
||
t.Fatal(err)
|
||
}
|
||
if !b.Unlimited || b.Remaining != -1 {
|
||
t.Fatalf("默认应为不限:%+v", b)
|
||
}
|
||
// 不限时反复占用都成功
|
||
for i := 0; i < 5; i++ {
|
||
if _, err := ConsumeSessionBudget(ctx, id); err != nil {
|
||
t.Fatalf("不限额下第 %d 次占用失败: %v", i+1, err)
|
||
}
|
||
}
|
||
}
|
||
|
||
func TestSessionBudgetExhausts(t *testing.T) {
|
||
id := setupBudgetDB(t)
|
||
ctx := context.Background()
|
||
|
||
if _, err := SetSessionBudget(ctx, id, 2); err != nil {
|
||
t.Fatal(err)
|
||
}
|
||
for i := 1; i <= 2; i++ {
|
||
b, err := ConsumeSessionBudget(ctx, id)
|
||
if err != nil {
|
||
t.Fatalf("第 %d 次应成功: %v", i, err)
|
||
}
|
||
if b.Used != i {
|
||
t.Fatalf("第 %d 次后 used = %d", i, b.Used)
|
||
}
|
||
}
|
||
b, err := ConsumeSessionBudget(ctx, id)
|
||
if !errors.Is(err, ErrSessionBudgetExhausted) {
|
||
t.Fatalf("第 3 次应耗尽,得到 err=%v b=%+v", err, b)
|
||
}
|
||
if b.Remaining != 0 {
|
||
t.Fatalf("耗尽后剩余应为 0:%+v", b)
|
||
}
|
||
}
|
||
|
||
// 判断与自增必须在同一条 UPDATE 里,否则并发下会把预算刷穿
|
||
func TestSessionBudgetConcurrentDoesNotOverdraw(t *testing.T) {
|
||
id := setupBudgetDB(t)
|
||
ctx := context.Background()
|
||
const limit = 10
|
||
if _, err := SetSessionBudget(ctx, id, limit); err != nil {
|
||
t.Fatal(err)
|
||
}
|
||
|
||
var wg sync.WaitGroup
|
||
var mu sync.Mutex
|
||
ok := 0
|
||
for i := 0; i < 40; i++ {
|
||
wg.Add(1)
|
||
go func() {
|
||
defer wg.Done()
|
||
if _, err := ConsumeSessionBudget(ctx, id); err == nil {
|
||
mu.Lock()
|
||
ok++
|
||
mu.Unlock()
|
||
}
|
||
}()
|
||
}
|
||
wg.Wait()
|
||
|
||
if ok != limit {
|
||
t.Fatalf("40 并发下成功 %d 次,期望恰好 %d 次(预算被刷穿或误拒)", ok, limit)
|
||
}
|
||
b, _ := GetSessionBudget(ctx, id)
|
||
if b.Used != limit {
|
||
t.Fatalf("used = %d,期望 %d", b.Used, limit)
|
||
}
|
||
}
|
||
|
||
func TestSessionBudgetResetAndLowerBelowUsed(t *testing.T) {
|
||
id := setupBudgetDB(t)
|
||
ctx := context.Background()
|
||
|
||
SetSessionBudget(ctx, id, 5)
|
||
for i := 0; i < 3; i++ {
|
||
ConsumeSessionBudget(ctx, id)
|
||
}
|
||
|
||
// 调到低于已用次数 = 「就到这里为止」,是人的合法意图,不该报错
|
||
b, err := SetSessionBudget(ctx, id, 1)
|
||
if err != nil {
|
||
t.Fatalf("下调预算不该失败: %v", err)
|
||
}
|
||
if b.Remaining != 0 {
|
||
t.Fatalf("已用 3 上限 1 时剩余应为 0:%+v", b)
|
||
}
|
||
if _, err := ConsumeSessionBudget(ctx, id); !errors.Is(err, ErrSessionBudgetExhausted) {
|
||
t.Fatal("下调后应立即拦住")
|
||
}
|
||
|
||
// 重置只清已用次数,不动上限
|
||
b, err = ResetSessionBudget(ctx, id)
|
||
if err != nil {
|
||
t.Fatal(err)
|
||
}
|
||
if b.Used != 0 || b.Max != 1 {
|
||
t.Fatalf("重置后应为 0/1:%+v", b)
|
||
}
|
||
}
|
||
|
||
// 会话预算先扣、全局配额后扣;全局拦下时必须把会话那次退回去,
|
||
// 否则那格白掉了 —— 那次往返实际上没有发生
|
||
func TestRefundSessionBudget(t *testing.T) {
|
||
id := setupBudgetDB(t)
|
||
ctx := context.Background()
|
||
SetSessionBudget(ctx, id, 3)
|
||
ConsumeSessionBudget(ctx, id)
|
||
|
||
RefundSessionBudget(ctx, id)
|
||
b, _ := GetSessionBudget(ctx, id)
|
||
if b.Used != 0 {
|
||
t.Fatalf("退还后 used 应为 0:%+v", b)
|
||
}
|
||
|
||
// 已经是 0 时再退不该变成负数
|
||
RefundSessionBudget(ctx, id)
|
||
b, _ = GetSessionBudget(ctx, id)
|
||
if b.Used != 0 {
|
||
t.Fatalf("重复退还把 used 变成了 %d", b.Used)
|
||
}
|
||
}
|
||
|
||
func TestGetSessionBudgetMissingSession(t *testing.T) {
|
||
setupBudgetDB(t)
|
||
if _, err := GetSessionBudget(context.Background(), uuid.New()); err == nil {
|
||
t.Fatal("不存在的会话应报错")
|
||
} else if errors.Is(err, sql.ErrNoRows) {
|
||
t.Fatal("应包装成可读错误而不是裸 sql.ErrNoRows")
|
||
}
|
||
}
|