mirror of
https://gitcode.com/JianFeeeee/homeagent-sdk.git
synced 2026-10-31 14:27:30 +00:00
## 缺陷(用户实测反馈) 「commondev 无法取消正在运行的 session,agent 反馈它无法取消错误的 pi session,只能等它跑完。」 日志佐证:agent 在 09:07 收到 interrupt 请求后只能如实回答无法取消。 ## 根因不是"没实现取消",而是取消能力从来没被暴露 pi 的 AgentSession **本身就有** abort()(agent-session.d.ts:598, "Abort current operation and wait for agent to become idle")。 但 commondev 注册的 30 个工具里一个 cancel/stop 都没有, sidecar 也只有 ping/prompt/state/close 四个 method。 这是异步投递(2026-10-17)带来的新缺口:改动之前 prompt 是同步的, 调用方阻塞到任务结束,没有"中途要停"这个需求;改成异步投递后, 任务在后台长跑,用户却失去了停止它的手段。 ## 改动 **sidecar 三个平台各有各的取消方式:** pi → session.abort()(协作式中断,必须 await:不 await 会立刻 回"已中断"而实际还在跑 = 谎报成功) zcode → 整组杀掉当前回合的子进程(没有 abort API) spawn 时 detached=true 建了独立进程组,killTree 整组杀 **interrupt 语义如实回报:** interrupted=true 确实有任务在跑并被终止 interrupted=false 当时没有在跑的任务(不算错误) ok=false + error 该 CLI 没实现 / 调用失败 **三个收尾分支都清 currentChild**(timeout / error / close): 不清的话 interrupt 会拿到已死的子进程去杀,或更糟 —— 误杀下一轮。 ## 判据(4 条 + 「不谎报」) · pi 的两个 sidecar 都有 interrupt 且用 await session.abort() · zcode 的 interrupt 真的 killTree 且用 currentChild · 三个 sidecar 无重复声明(我写的时候真撞了:zcode 已有 currentChild) · **不谎报成功**:sidecar 没跑 / CLI 没实现时必须 interrupted=false ## 变异验证 pi 删 interrupt case → 咬 pi 去掉 await → 咬("会谎报已中断") zcode 不 killTree → 咬("只回 ok 不真杀") ## 顺带 既有判据 TestEveryRegisteredToolHasHandler 立刻抓到我加了 RegisterTool 但没在 handlerFor 映射里登记 —— 它比我先发现漏了接线。
139 lines
4.8 KiB
Go
139 lines
4.8 KiB
Go
package main
|
||
|
||
// 「取消正在运行的任务」判据(2026-10-18 用户实测反馈)。
|
||
//
|
||
// ## 缺陷
|
||
//
|
||
// prompt 改成异步投递后,Go 侧只能"把任务发出去",**无法收回**。于是用户
|
||
// 发现派错任务、或某条 session 卡住时,除了等它自己跑完以外没有任何办法 ——
|
||
// agent 在日志里也只能如实回答"无法取消,只能等它跑完"。
|
||
//
|
||
// 根因不是"没实现取消",而是取消能力**从来没有被暴露**:pi 的 AgentSession
|
||
// 本身就有 abort(),但 commondev 的 30 个工具里一个 cancel/stop 都没有,
|
||
// sidecar 也只有 ping/prompt/state/close 四个 method。
|
||
//
|
||
// ## 判据设计
|
||
//
|
||
// 关键是**不谎报成功**:sidecar 没在跑、或该 CLI 没实现 interrupt 时,
|
||
// 必须把"没有真正中断"如实回给调用方。否则用户以为停了、实际还在跑。
|
||
|
||
import (
|
||
"os"
|
||
"strings"
|
||
"testing"
|
||
)
|
||
|
||
// ★★★ sidecar 必须实现 interrupt,且 pi 用的是 session.abort()
|
||
func TestPiSidecarImplementsInterrupt(t *testing.T) {
|
||
for _, path := range []string{
|
||
"sidecar.mjs", // 单测/SSH e2e 用
|
||
"rawfile/runtime/pi/sidecar.mjs", // 部署用(hmapdev 打进 rawfile)
|
||
} {
|
||
b, err := os.ReadFile(path)
|
||
if err != nil {
|
||
t.Fatalf("读 %s: %v", path, err)
|
||
}
|
||
src := string(b)
|
||
if !strings.Contains(src, `case "interrupt":`) {
|
||
t.Fatalf("★ %s 没有 interrupt method —— 取消能力无从触达", path)
|
||
}
|
||
// pi 必须用自带的 abort(),而不是自己造机制
|
||
if !strings.Contains(src, "session.abort()") {
|
||
t.Fatalf("★ %s 的 interrupt 没有调用 pi 的 session.abort()", path)
|
||
}
|
||
// 必须 await(abort 返回 Promise;不 await 会立刻回"已中断"但实际还在跑)
|
||
if !strings.Contains(src, "await session.abort()") {
|
||
t.Fatalf("★ %s 的 abort() 没有 await —— 会谎报已中断", path)
|
||
}
|
||
}
|
||
}
|
||
|
||
// ★★★ zcode 是子进程模式,取消 = 整组杀掉当前回合
|
||
func TestZcodeSidecarInterruptKillsChild(t *testing.T) {
|
||
b, err := os.ReadFile("rawfile/runtime/zcode/sidecar.mjs")
|
||
if err != nil {
|
||
t.Fatal(err)
|
||
}
|
||
src := string(b)
|
||
if !strings.Contains(src, `case "interrupt":`) {
|
||
t.Fatal("★ zcode sidecar 没有 interrupt method")
|
||
}
|
||
// 必须真的杀进程,而不是只返回 ok
|
||
seg := src[strings.Index(src, `case "interrupt":`):]
|
||
if end := strings.Index(seg, `case "close":`); end > 0 {
|
||
seg = seg[:end]
|
||
}
|
||
if !strings.Contains(seg, "killTree(") {
|
||
t.Fatalf("★ zcode 的 interrupt 没有 killTree —— 只回 ok 不真杀")
|
||
}
|
||
if !strings.Contains(seg, "currentChild") {
|
||
t.Fatalf("★ zcode 的 interrupt 没有用 currentChild(杀不到真实进程)")
|
||
}
|
||
}
|
||
|
||
// ★★★ 三个 sidecar 必须语法合法(node --check 之外的静态兜底:
|
||
// 至少不能有重复声明这类必炸错误)
|
||
func TestSidecarsHaveNoDuplicateDecl(t *testing.T) {
|
||
for _, path := range []string{
|
||
"sidecar.mjs",
|
||
"rawfile/runtime/pi/sidecar.mjs",
|
||
"rawfile/runtime/zcode/sidecar.mjs",
|
||
} {
|
||
b, err := os.ReadFile(path)
|
||
if err != nil {
|
||
t.Fatalf("读 %s: %v", path, err)
|
||
}
|
||
n := strings.Count(string(b), "let currentChild = null;")
|
||
if n > 1 {
|
||
t.Fatalf("★ %s 里 currentChild 声明了 %d 次(重复声明 = 启动即 SyntaxError)", path, n)
|
||
}
|
||
}
|
||
}
|
||
|
||
// ★★★ 核心纪律判据:**不谎报成功**。
|
||
//
|
||
// sidecar 没在跑、或 CLI 没实现 interrupt 时,必须如实回 interrupted=false。
|
||
// 谎报的代价:用户以为停了,实际任务还在跑并继续改代码/推分支。
|
||
func TestAgentInterruptNeverLiesAboutSuccess(t *testing.T) {
|
||
p := newTestPluginForShell(t)
|
||
p.ledger = &Ledger{
|
||
Projects: map[string]*Project{},
|
||
Branches: map[string]*Branch{},
|
||
Jobs: map[string]*Job{},
|
||
Criteria: map[string]*Criteria{},
|
||
}
|
||
|
||
// ① 不存在的 branch → 报错,不能回 interrupted=true
|
||
out, err := p.handleAgentInterrupt(map[string]interface{}{"branch_id": "br-nope"})
|
||
if err != nil {
|
||
t.Fatalf("不应返回 error: %v", err)
|
||
}
|
||
m := out.(map[string]interface{})
|
||
if v, _ := m["interrupted"].(bool); v {
|
||
t.Fatal("★ 对不存在的 branch 回了 interrupted=true")
|
||
}
|
||
if m["error"] == nil {
|
||
t.Fatal("对不存在的 branch 应给出 error")
|
||
}
|
||
|
||
// ② branch 存在但 sidecar 没跑 → interrupted=false + note
|
||
// 直接塞进 ledger,不调 handleBranchOpen(它会触发真实 git clone)
|
||
id := "br-iproj-ifeat"
|
||
p.ledger.Branches[id] = &Branch{
|
||
ID: id, ProjectID: "iproj", Name: "feat/ifeat",
|
||
Status: "open", Runtime: "local", AgentCLI: "pi",
|
||
}
|
||
|
||
out2, err := p.handleAgentInterrupt(map[string]interface{}{"branch_id": id})
|
||
if err != nil {
|
||
t.Fatalf("不应返回 error: %v", err)
|
||
}
|
||
m2 := out2.(map[string]interface{})
|
||
if v, _ := m2["interrupted"].(bool); v {
|
||
t.Fatal("★ sidecar 没在跑却回了 interrupted=true —— 谎报成功")
|
||
}
|
||
if m2["note"] == nil {
|
||
t.Fatal("sidecar 没跑时应给出 note 说明")
|
||
}
|
||
}
|