mirror of
https://gitcode.com/JianFeeeee/HomeAgent.git
synced 2026-11-05 00:37:32 +00:00
## 1. contextoverflow:L4 空中断(推翻三处偏移) 用户口径:**原始设计是注入 L4 空中断,目的是触发语义相关性裁剪, 不含任何消息,就是一个空中断。**此前的实现有三处偏移: ① **中断带正文** —— `Build` 生成「已裁剪 N 条低相关事件到文档记忆…」, 于是 L4 变成一条要模型回应的消息,白烧一整轮推理。 ② **裁剪在 raise 之前做完** —— 先 `pruneByQuery` 再 raise,中断沦为 「裁剪已完成」的回执,晚了一步。 ③ **上游 contextfull 后原地重跑** —— `StepPrepare` 重建后拿**同一份** 超限内容再发一次,必然再超限,快速烧光 recoverBudget。 (这条是修① ② 时暴露的连带问题。) 改动: · `VectorContextOverflow.Build` 返回空串 ⇒ 空中断;级别仍是 L4 · 删除 `overflowNotice` 与 `vectorArgs.Pruned`(中断不需要知道裁了多少) · `handleContextOverflow` 不再裁剪,只发空中断,如实返回 0 · 新增 `pruneForAirInterrupt`:裁剪由空中断任务**真正执行时**触发, query 取上下文里最后一条真实用户输入作相关性基准 · 新增 `isAirInterrupt`:只认「内核来源 + type=interrupt + 无正文」, 插件带正文的中断不受影响(否则"插件发了个空中断"会变成无声裁剪) · `prepareInputTask` 识别空中断 → 裁剪 → terminalSkipped (不进 LLM、不写上下文、不发回复) · 上游 contextfull 后改为 `outcomeSuspended`(让位等裁剪),不再原地重跑 顺带记录偏移成因(`raiseContextOverflow` 注释):当时的**观察**是对的 (L4 看不到被打断者上下文 ⇒ 模型会把"没检索到"推断成"不存在"), 但**结论**错了——它把"补偿 L4 看不到上下文"当成中断该带正文的理由。 模型需要的不是"知道有内容被移走",而是**留下来的内容与当前问题相关**。 判据(均经变异验证): · `TestVectors_OverflowIsAirInterrupt` —— 正文必须为空 + 级别 L4 变异:Build 改回非空 ⇒ 红 · `TestOverflow_RaisesAirInterruptWithoutPruning` —— 发中断那步不改上下文 变异:加回 pruneByQuery ⇒ 红 · `TestAirInterrupt_ResolvedAsValidInput` —— 空中断须被认作有效输入 · `TestAirInterrupt_RejectsOrdinaryEmptyInput` —— 普通空包/插件带正文 中断**不得**误判 · 改写 5 条断言"发中断即裁剪"的旧测试(T1/T2/T5/大事件/自适应), 保留它们原本守的东西(超限判定、恢复预算、终止保护), 只把裁剪步骤显式移到 `pruneForAirInterrupt` ## 2. clawhubadapter:Python 解释器与工作目录可配置 真机事故:`bilibili-all-in-one` 声明 requirements 含 httpx,系统 Python 没装 ⇒ 启动即 `ModuleNotFoundError`。而解释器此前是**硬编码猜**的 (先 /usr/bin/python3,再 /usr/local/bin/python3)。 「猜」没有正确解:不同部署的 Python 布局完全不同(发行版 Python、 pyenv、uv、conda、venv…)。而往系统 Python 里 pip install 是**错的**: PEP 668 明确禁止,`--break-system-packages` 会破坏 apt 包一致性。 新增两个配置项(与既有 skills_dir/simulator_dir 同一风格): · `python_bin` —— 解释器绝对路径,最高优先 · `skill_workdir` —— skill 子进程工作目录 回退顺序:配置 → `<skill>/.venv/bin/python` → 系统 python3。 **配错必须响亮**:配置的路径不存在时返回 error,不静默退回系统解释器 (否则用户以为配好了,实际跑在缺依赖的 Python 上 —— 又一次静默降级)。 判据:`TestPickPython_ConfiguredWins`(配置优先于 venv)/ `TestPickPython_VenvWhenNotConfigured` / `TestPickPython_MissingConfiguredIsLoud` `launchProcessIn` 是 `launchProcess` 的工作目录变体(不改既有 4 个调用点)。
403 lines
9.4 KiB
Go
403 lines
9.4 KiB
Go
package clawhubadapter
|
||
|
||
import (
|
||
"bufio"
|
||
"encoding/json"
|
||
"fmt"
|
||
safeclose "github.com/JianFeeeee/HologramAgent/internal/safeclose"
|
||
"io"
|
||
"log"
|
||
"os"
|
||
"os/exec"
|
||
"path/filepath"
|
||
"strings"
|
||
"sync"
|
||
"time"
|
||
)
|
||
|
||
type sidecarRequest struct {
|
||
JSONRPC string `json:"jsonrpc"`
|
||
ID int `json:"id"`
|
||
Method string `json:"method"`
|
||
Params interface{} `json:"params,omitempty"`
|
||
}
|
||
|
||
type sidecarResponse struct {
|
||
JSONRPC string `json:"jsonrpc"`
|
||
ID int `json:"id"`
|
||
Result *json.RawMessage `json:"result,omitempty"`
|
||
Error *struct {
|
||
Code int `json:"code"`
|
||
Message string `json:"message"`
|
||
} `json:"error,omitempty"`
|
||
}
|
||
|
||
type OCPTool struct {
|
||
Name string `json:"name"`
|
||
Description string `json:"description"`
|
||
InputSchema map[string]interface{} `json:"inputSchema"`
|
||
}
|
||
|
||
type OCCallResult struct {
|
||
Content []struct {
|
||
Type string `json:"type"`
|
||
Text string `json:"text,omitempty"`
|
||
} `json:"content"`
|
||
}
|
||
|
||
// OCNotification 是模拟器主动推送的通知
|
||
type OCNotification struct {
|
||
JSONRPC string `json:"jsonrpc"`
|
||
Method string `json:"method"`
|
||
Params json.RawMessage `json:"params"`
|
||
}
|
||
|
||
// pendingResp 是待应答通道 + 它自己的 close 守卫。
|
||
//
|
||
// 为什么需要 once:Close() 可能被多条路径调用(Stop / 重载 / 停机),
|
||
// 而 `close(ch)` 二次即 panic(本仓 close 纪律,见 internal/safeclose)。
|
||
// 这些 channel 是**按请求创建**的,不能共用一个全局 Once ⇒ 每个自带一个。
|
||
type pendingResp struct {
|
||
ch chan []byte
|
||
once sync.Once
|
||
}
|
||
|
||
func (p *pendingResp) closeOnce() { safeclose.Safe(&p.once, p.ch) }
|
||
|
||
type sidecarProcess struct {
|
||
readerReadyOnce sync.Once
|
||
name string
|
||
dir string
|
||
cmd *exec.Cmd
|
||
stdin *bufio.Writer
|
||
mu sync.Mutex
|
||
nextID int
|
||
closed bool
|
||
stopped bool
|
||
|
||
// 异步 reader
|
||
pending map[int]*pendingResp
|
||
notifyCh chan OCNotification
|
||
readerStop chan struct{}
|
||
readerWg sync.WaitGroup
|
||
readerReady chan struct{}
|
||
}
|
||
|
||
func newSidecarProcess(name, dir string, cmd *exec.Cmd, stdin *bufio.Writer, stdout io.Reader) *sidecarProcess {
|
||
sp := &sidecarProcess{
|
||
name: name,
|
||
dir: dir,
|
||
cmd: cmd,
|
||
stdin: stdin,
|
||
pending: make(map[int]*pendingResp),
|
||
notifyCh: make(chan OCNotification, 1024),
|
||
readerStop: make(chan struct{}),
|
||
readerReady: make(chan struct{}),
|
||
}
|
||
sp.readerWg.Add(1)
|
||
go sp.readLoop(stdout)
|
||
<-sp.readerReady
|
||
return sp
|
||
}
|
||
|
||
func (s *sidecarProcess) readLoop(r io.Reader) {
|
||
defer s.readerWg.Done()
|
||
scanner := bufio.NewScanner(bufio.NewReader(r))
|
||
// 加大 scanner buffer 防止长行截断
|
||
scanner.Buffer(make([]byte, 0, 1024*64), 1024*64)
|
||
safeclose.Safe(&s.readerReadyOnce, s.readerReady)
|
||
|
||
for {
|
||
select {
|
||
case <-s.readerStop:
|
||
return
|
||
default:
|
||
}
|
||
|
||
if !scanner.Scan() {
|
||
if scanner.Err() != nil {
|
||
log.Printf("[clawhubadapter] sidecar %s read error: %v", s.name, scanner.Err())
|
||
}
|
||
return
|
||
}
|
||
line := scanner.Text()
|
||
|
||
var base struct {
|
||
ID *int `json:"id"`
|
||
Method string `json:"method,omitempty"`
|
||
Error *json.RawMessage `json:"error,omitempty"`
|
||
}
|
||
if err := json.Unmarshal([]byte(line), &base); err != nil {
|
||
continue
|
||
}
|
||
|
||
if base.ID != nil {
|
||
s.mu.Lock()
|
||
pr, ok := s.pending[*base.ID]
|
||
delete(s.pending, *base.ID)
|
||
s.mu.Unlock()
|
||
if ok {
|
||
pr.ch <- []byte(line)
|
||
}
|
||
} else if base.Method != "" {
|
||
var notif OCNotification
|
||
if err := json.Unmarshal([]byte(line), ¬if); err == nil {
|
||
select {
|
||
case s.notifyCh <- notif:
|
||
default:
|
||
log.Printf("[clawhubadapter] sidecar %s notify channel full, dropping: %s", s.name, notif.Method)
|
||
}
|
||
}
|
||
}
|
||
}
|
||
}
|
||
|
||
func (s *sidecarProcess) NotifyChan() <-chan OCNotification {
|
||
return s.notifyCh
|
||
}
|
||
|
||
func launchSidecar(dir, name, simDir string) (*sidecarProcess, error) {
|
||
mainJS := filepath.Join(dir, "main.js")
|
||
if _, err := os.Stat(mainJS); os.IsNotExist(err) {
|
||
return nil, nil
|
||
}
|
||
return launchProcess("node", mainJS, dir, name, simDir)
|
||
}
|
||
|
||
// launchProcess 以 dir 作为工作目录拉起子进程(绝大多数调用的形态)。
|
||
func launchProcess(bin, arg, dir, name, simDir string) (*sidecarProcess, error) {
|
||
return launchProcessIn(bin, arg, dir, name, simDir, dir)
|
||
}
|
||
|
||
// launchProcessIn 与 launchProcess 相同,但工作目录可单独指定。
|
||
//
|
||
// 为什么要单独一个函数而不是给 launchProcess 加参数:那会改动 4 个既有
|
||
// 调用点(含测试),而它们的语义都是"工作目录 = skill 目录"。只有
|
||
// skill_workdir 配置这一处需要另给目录,用变体表达的意图更清楚。
|
||
func launchProcessIn(bin, arg, dir, name, simDir, workDir string) (*sidecarProcess, error) {
|
||
nodePath := bin
|
||
if bin == "node" {
|
||
if p := os.Getenv("NODE_PATH"); p != "" {
|
||
nodePath = filepath.Join(p, "node")
|
||
}
|
||
}
|
||
|
||
cmd := exec.Command(nodePath, arg, dir)
|
||
if workDir == "" {
|
||
workDir = dir
|
||
}
|
||
cmd.Dir = workDir
|
||
cmd.Stderr = os.Stderr
|
||
|
||
// Add openclaw CLI bin dir to PATH so subprocesses can exec 'openclaw' command
|
||
if simDir != "" {
|
||
binDir := filepath.Join(simDir, "bin")
|
||
if info, err := os.Stat(binDir); err == nil && info.IsDir() {
|
||
env := os.Environ()
|
||
binDirPath := binDir + string(os.PathListSeparator)
|
||
for i, e := range env {
|
||
if strings.HasPrefix(e, "PATH=") {
|
||
env[i] = "PATH=" + binDirPath + e[5:]
|
||
break
|
||
}
|
||
}
|
||
cmd.Env = env
|
||
}
|
||
}
|
||
|
||
stdin, err := cmd.StdinPipe()
|
||
if err != nil {
|
||
return nil, fmt.Errorf("stdin pipe: %w", err)
|
||
}
|
||
stdout, err := cmd.StdoutPipe()
|
||
if err != nil {
|
||
return nil, fmt.Errorf("stdout pipe: %w", err)
|
||
}
|
||
|
||
if err := cmd.Start(); err != nil {
|
||
return nil, fmt.Errorf("start %s: %w", name, err)
|
||
}
|
||
|
||
sp := newSidecarProcess(name, dir, cmd, bufio.NewWriter(stdin), stdout)
|
||
|
||
if err := sp.waitReady(); err != nil {
|
||
sp.Close()
|
||
return nil, err
|
||
}
|
||
|
||
return sp, nil
|
||
}
|
||
|
||
func (s *sidecarProcess) waitReady() error {
|
||
done := make(chan error, 1)
|
||
go func() {
|
||
_, err := s.call("ping", nil)
|
||
done <- err
|
||
}()
|
||
select {
|
||
case err := <-done:
|
||
return err
|
||
case <-time.After(5 * time.Second):
|
||
return fmt.Errorf("sidecar %s ping timeout", s.name)
|
||
}
|
||
}
|
||
|
||
func (s *sidecarProcess) call(method string, params interface{}) ([]byte, error) {
|
||
ch := make(chan []byte, 1)
|
||
|
||
s.mu.Lock()
|
||
if s.closed || s.stopped {
|
||
s.mu.Unlock()
|
||
return nil, fmt.Errorf("sidecar %s closed", s.name)
|
||
}
|
||
s.nextID++
|
||
id := s.nextID
|
||
s.pending[id] = &pendingResp{ch: ch}
|
||
|
||
req := sidecarRequest{
|
||
JSONRPC: "2.0",
|
||
ID: id,
|
||
Method: method,
|
||
Params: params,
|
||
}
|
||
data, err := json.Marshal(req)
|
||
if err != nil {
|
||
delete(s.pending, id)
|
||
s.mu.Unlock()
|
||
return nil, err
|
||
}
|
||
if _, err := s.stdin.Write(data); err != nil {
|
||
delete(s.pending, id)
|
||
s.mu.Unlock()
|
||
return nil, err
|
||
}
|
||
if _, err := s.stdin.Write([]byte("\n")); err != nil {
|
||
delete(s.pending, id)
|
||
s.mu.Unlock()
|
||
return nil, err
|
||
}
|
||
if err := s.stdin.Flush(); err != nil {
|
||
delete(s.pending, id)
|
||
s.mu.Unlock()
|
||
return nil, err
|
||
}
|
||
s.mu.Unlock()
|
||
|
||
select {
|
||
case raw := <-ch:
|
||
if raw == nil {
|
||
return nil, fmt.Errorf("sidecar %s error: nil response", s.name)
|
||
}
|
||
var resp sidecarResponse
|
||
if err := json.Unmarshal(raw, &resp); err != nil {
|
||
return nil, fmt.Errorf("sidecar %s unmarshal: %w", s.name, err)
|
||
}
|
||
if resp.Error != nil {
|
||
return nil, fmt.Errorf("sidecar %s error: %s", s.name, resp.Error.Message)
|
||
}
|
||
if resp.Result == nil {
|
||
return nil, nil
|
||
}
|
||
return []byte(*resp.Result), nil
|
||
case <-time.After(30 * time.Second):
|
||
s.mu.Lock()
|
||
delete(s.pending, id)
|
||
s.mu.Unlock()
|
||
return nil, fmt.Errorf("sidecar %s call %s timeout", s.name, method)
|
||
}
|
||
}
|
||
|
||
func (s *sidecarProcess) ListTools() ([]OCPTool, error) {
|
||
data, err := s.call("tools/list", nil)
|
||
if err != nil {
|
||
return nil, err
|
||
}
|
||
if data == nil {
|
||
return nil, nil
|
||
}
|
||
var result struct {
|
||
Tools []OCPTool `json:"tools"`
|
||
}
|
||
if err := json.Unmarshal(data, &result); err != nil {
|
||
return nil, err
|
||
}
|
||
return result.Tools, nil
|
||
}
|
||
|
||
func (s *sidecarProcess) CallTool(name string, args map[string]interface{}) (string, error) {
|
||
data, err := s.call("tools/call", map[string]interface{}{
|
||
"name": name,
|
||
"arguments": args,
|
||
})
|
||
if err != nil {
|
||
return "", err
|
||
}
|
||
if data == nil {
|
||
return "", nil
|
||
}
|
||
var result OCCallResult
|
||
if err := json.Unmarshal(data, &result); err != nil {
|
||
return "", err
|
||
}
|
||
var sb string
|
||
for _, c := range result.Content {
|
||
if c.Type == "text" {
|
||
sb += c.Text
|
||
}
|
||
}
|
||
return sb, nil
|
||
}
|
||
|
||
func (s *sidecarProcess) CallProvider(providerType string, args map[string]interface{}) (string, error) {
|
||
data, err := s.call("provider/call", map[string]interface{}{
|
||
"type": providerType,
|
||
"action": "execute",
|
||
"args": args,
|
||
})
|
||
if err != nil {
|
||
return "", err
|
||
}
|
||
if data == nil {
|
||
return "", nil
|
||
}
|
||
var result OCCallResult
|
||
if err := json.Unmarshal(data, &result); err != nil {
|
||
return "", err
|
||
}
|
||
var sb string
|
||
for _, c := range result.Content {
|
||
if c.Type == "text" {
|
||
sb += c.Text
|
||
}
|
||
}
|
||
return sb, nil
|
||
}
|
||
|
||
func (s *sidecarProcess) Close() {
|
||
s.mu.Lock()
|
||
if s.closed || s.stopped {
|
||
s.mu.Unlock()
|
||
return
|
||
}
|
||
s.stopped = true
|
||
s.mu.Unlock()
|
||
|
||
// 先杀进程(关闭 stdout pipe),然后 reader 的 Scan() 会退出
|
||
if s.cmd != nil && s.cmd.Process != nil {
|
||
s.cmd.Process.Kill()
|
||
s.cmd.Wait()
|
||
}
|
||
|
||
// 等 reader 循环结束
|
||
s.readerWg.Wait()
|
||
|
||
s.mu.Lock()
|
||
for id, pr := range s.pending {
|
||
pr.closeOnce()
|
||
delete(s.pending, id)
|
||
}
|
||
s.mu.Unlock()
|
||
|
||
log.Printf("[clawhubadapter] sidecar %s stopped", s.name)
|
||
}
|