Compare commits
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
54ead4197f | ||
|
|
e9357131af | ||
|
|
e53c6bf177 | ||
|
|
5825cd35f2 | ||
|
|
a1be057b19 | ||
|
|
3b45dcdd93 | ||
|
|
19e89ae10b | ||
|
|
3b1c2769e1 | ||
|
|
d62c443363 | ||
|
|
f3f823ef8d | ||
|
|
2484e90be5 | ||
|
|
847f6815f1 | ||
|
|
261c4cf21d | ||
|
|
63409005a7 | ||
|
|
02a3441eb7 | ||
|
|
76044b5895 | ||
|
|
233dfb54ea | ||
|
|
acd6f01c40 | ||
|
|
974db6a011 | ||
|
|
357e3fdb24 | ||
|
|
a3f0b80759 | ||
|
|
f3a3a5deb4 | ||
|
|
a0da588f90 | ||
|
|
8ee5d5c467 | ||
|
|
1b1489203d | ||
|
|
6fdfc19c54 | ||
|
|
96c8404c5e | ||
|
|
f5aa687cb1 | ||
|
|
3d2da4eb0b | ||
|
|
437af31118 | ||
|
|
4a69886952 | ||
|
|
67cf52bb77 | ||
|
|
cb700cf40b | ||
|
|
7e123e5688 | ||
|
|
4a55832e9d | ||
|
|
1f3e7ab441 | ||
|
|
07a6acfc21 | ||
|
|
4f3b22d601 | ||
|
|
f0361f3856 | ||
|
|
baf8f22aa7 | ||
|
|
ffb2aa7cc4 | ||
|
|
f179de8847 | ||
|
|
5882448237 | ||
|
|
8e2657c824 | ||
|
|
bf0988b2b2 |
@@ -0,0 +1 @@
|
||||
.mimosa/
|
||||
@@ -17,3 +17,20 @@
|
||||
- 模块边界、公开契约与隔离档位见 `policy/modules/`(如有)与 PROJECT.md。
|
||||
- 跨仓 gitlink 变更须经组合验证后在 Dev 仓推进;受保护分支经 PR 合入。
|
||||
- 验证命令见 PROJECT.md「验证」节;完成声明须附实际命令输出证据。
|
||||
|
||||
## Gitea 与 Git 访问事实(2026-09-30 实测)
|
||||
|
||||
历史文档与旧链接里的 `git-panel.u1680832.nyat.app:30319` 已失效(TLS 握手失败),
|
||||
见到一律按过期处理,不要再试。当前权威通道:
|
||||
|
||||
- **Web / API(HTTPS)**:`https://git-home.u1680832.nyat.app:30319`(Gitea 1.27.3,
|
||||
API 前缀 `/api/v1`;偶发 broken pipe / 超时,重试即可)。
|
||||
- **Git over SSH**:`ssh://git@git-ssh.u1680832.nyat.app:31411/weichen/<Repo>.git`
|
||||
(各仓 origin 与 gitlink 均为此格式)。
|
||||
- **API token**:`~/.secrets/gitea`,两行键值 `URL_PREFIX=…` 与
|
||||
`ACCESS_TOKEN=<40 位 hex>`;取值 `grep ACCESS_TOKEN ~/.secrets/gitea | cut -d= -f2-`,
|
||||
用作 `Authorization: token <值>` 请求头。**token 值不入仓、不回显、不写进产出物**
|
||||
(baseline 硬边界 2:只记录来源、字段与可用状态)。
|
||||
- **SSH key**:`~/.ssh/home_gitea`(ED25519,公钥指纹
|
||||
`SHA256:GYXaOXIMeloQ1fKSfdJ/ndgPQzs/Ix7Hk62ekfkfQ20`,Gitea 侧密钥名 GMKtec);
|
||||
`~/.ssh/config` 已有 `git-ssh.u1680832.nyat.app` 主机条目,克隆/推送直接可用。
|
||||
|
||||
+19
@@ -0,0 +1,19 @@
|
||||
# Agent-System-Documents 项目事实
|
||||
|
||||
## 职责与边界
|
||||
|
||||
本仓保存系统架构方案、使用指南、验证报告与实施记录。目录入口见 [README](README.md)。
|
||||
通用开发规范由 Dev 仓固定的 Development-Guidelines 提供;本仓不复制通用规则,
|
||||
不承载业务实现、凭证、运行数据或部署制品。
|
||||
|
||||
方案、已实现、已验证、已合入与已部署分别记录;历史报告只证明其指定版本和环境。
|
||||
系统级记录关联组件 PR 与 Dev 组合 PR,不以文档状态代替运行事实。
|
||||
|
||||
## 验证
|
||||
|
||||
纯文档修改执行 `git diff --check`,核对受影响相对链接、引用来源、版本及规则一致性。
|
||||
报告中的通过断言关联真实命令、被测对象和证据来源;未验证事项写 NOT_RUN。
|
||||
修改运行提示词或有效策略时,按行为影响追加对应系统验证,不能按普通文字编辑验收。
|
||||
|
||||
本仓没有可编译程序或独立业务测试套件。跨仓固定组合在 Dev 仓运行 `make test`;
|
||||
过程记录中的命令和环境须按当次任务核实,不能机械重放旧运维命令。
|
||||
@@ -5,6 +5,8 @@
|
||||
|
||||
参考实现:Dev 仓 `plugins/example`(覆盖全部五类能力,可直接复制改造)。
|
||||
|
||||
契约 v2(声明 / 进程内编译 / sidecar / 前端 ESM,下游仓不得改基座)见提案 `docs/proposals/2026-10-01-plugin-contract-v2.md`。`make plugin-new NAME=<id>` 生成声明式骨架。
|
||||
|
||||
## 1. 目录结构
|
||||
|
||||
```
|
||||
@@ -96,6 +98,8 @@ panels/main.json:
|
||||
|
||||
cards/note.json:`{ "kind": "note", "data": [ …UINode ] }`。
|
||||
|
||||
**新卡片类型验收项(通道外溢约束,源自目标系统 06 §2.7)**:任何新卡片类型都必须能回答「这张卡在飞书/微信群里长什么样」——按钮回调走命令总线(与 Web 同源审计),无交互卡的通道降级为模板消息 + H5 确认页;深读类内容不做通道投影,深链回 Web 弹层。
|
||||
|
||||
**词汇边界**:section / list / kv / form / markdown / doc-ref / actions / chart-lite。
|
||||
表达不了的高级交互 → 向 Core 提案新词汇(契约扩展流程),**不要**期望注入 React 组件——前端不开放此口子,这是插件不破坏前端的机制保证。
|
||||
|
||||
|
||||
@@ -81,9 +81,11 @@ AGENT_SYSTEM_CONFIG=/etc/agent-system.json agent-system serve # 环境变量
|
||||
### 3.2 中栏对话
|
||||
|
||||
- **流式渲染**:正文逐字输出;思考过程(灰字竖线)与工具调用(芯片)实时展示;顶部状态点显示事件流连接。
|
||||
- **过程折叠**:任务完成后,思考与工具调用折叠为「⚙ 过程输出 · N 次工具调用」摘要行,点击展开回看(设置 → 界面 → 可改默认行为)。
|
||||
- **过程折叠(Cursor 式)**:流式期间思考/工具/中间轮解说照常显示;**最终回复一开始流式,过程立即折叠**为「过程输出 · N 次工具调用」摘要行,只显式显示回复(工具恢复时重新展开);任务终态后保持折叠,点击展开回看(设置 → 界面 → 可改默认行为)。
|
||||
- **长回复折叠**:终态后超过 800 字的回复自动收成「📄 长回复 · N 字(点击展开)」摘要行——流式期间全文可见,历史消息同样适用。
|
||||
- **长结果进右侧卡片(默认关)**:设置 → 界面 →「长结果进右侧卡片」开启后,报告/纪要/方案/对比/文档草稿等**产物型**长内容进右栏收件箱(result 卡,可置顶/收纳);长正文优先流式三段式——`card_begin` 建卡(收件箱即时出现 active 卡)→ `card_append` 逐段追加(卡片实时刷新,事件按 250ms 窗口节流)→ `card_commit` 收尾(转 done 并锚定到对话);一次性短产物走 `submit_card`。中栏保留结论摘要 + 锚点部件(`📄 标题 · N 字 ▸ 展开全文 · ↗ 收件箱`)——锚点可无跳转展开全文,右栏收起时阅读不残废;解释型长回答不进卡。下一轮对话上下文自动回填卡片全文(「🧩 上下文构成」可见 card(n) 条目);run 异常终止时未收尾的流式卡自动置 done/failed 并标注「未正常收尾」,内容不丢。
|
||||
- **上下文构成观测**:每条助手消息尾部「🧩 上下文构成」折叠芯片——该轮模型实际看到什么(系统提示/历史条数/附件/知识命中)与裁剪记录(历史超窗/工具结果超限),输入规模可解释。
|
||||
- **附件**:📎 上传 md/txt/docx/pdf/图片——文档经内置解析器(确定性代码解析:md/txt 直读、docx 解 OOXML、pdf 提取文本层)转为中间表示注入对话;解析结果与警告显式可见(不静默)。
|
||||
- **附件**:📎 上传 md/txt/docx/pdf/xlsx/pptx/图片——文档经内置解析器(确定性代码解析:md/txt 直读、docx/xlsx/pptx 解 OOXML、pdf 提取文本层)转为中间表示注入对话;解析结果与警告显式可见(不静默)。
|
||||
- **输入增强**:`/` 唤起命令菜单(/new /mock /model /profile /help);`@knowledge` 在消息中触发知识检索注入。
|
||||
|
||||
### 3.3 mock 演示指令(无需模型)
|
||||
@@ -111,7 +113,8 @@ AGENT_SYSTEM_CONFIG=/etc/agent-system.json agent-system serve # 环境变量
|
||||
|
||||
- 任务卡七类(progress/confirm/compare/review-list/result/error/status):状态灯**形状+色双编码**(◆ 待处理 ● 完成 ✓ 已确认 ✕ 失败 ◌ 已关闭——不只靠颜色);置顶不随滚动;`#upload` 演示摄取→完成→冲突对比卡全周期。
|
||||
- 卡上动作即命令(card 入口,见 §5);确认结论以**回执消息**进对话时间线留痕。
|
||||
- **收纳**:🧹 一键收纳完成卡(done→关闭;已确认卡盖章留痕不动);右栏收起时角标显示待处理数。
|
||||
- **收纳**:🧹 一键收纳完成卡(done→关闭;已确认卡盖章留痕不动);右栏收起时角标显示待处理数(本会话 + 项目未决合计)。
|
||||
- **项目收件箱(CF3,跨会话待办不丢)**:收件箱内「本会话 / 项目」两级切换。会话卡点 🗂 **留档到项目**——复制为项目级卡(原卡关闭留痕,不移动时间线;HITL/命令确认卡不可留档),跨会话可见;`submit_card`/`card_begin` 也可带 `scope=project` 直产项目卡。项目视图聚合 = 项目级卡片 ∪ 其他会话未决卡(done 留在原会话防噪音),经独立项目事件流实时刷新。
|
||||
- 卡片↔消息**互定位**(D32):消息内 `card:` 链接点击定位收件箱卡片;HITL/确认卡锚定发起消息内联双现。
|
||||
|
||||
### 4.3 工作区弹层(深读与治理视图,⌘1–9)
|
||||
@@ -132,6 +135,7 @@ AGENT_SYSTEM_CONFIG=/etc/agent-system.json agent-system serve # 环境变量
|
||||
- 上传与模型产出统一入 Artifacts;`write_artifact` 工具可被模型调用。
|
||||
- 查看:markdown 在线渲染;文本类可**编辑保存**;二进制(docx/pdf)下载;图片内联预览。
|
||||
- 文档工件与上传文本自动进**知识索引**(全文检索)。
|
||||
- **工件门面卡(与产物卡统一呈现)**:工具结果被截断超限时自动在收件箱留一张 `result` 门面卡(摘要 + 来源工具 + `doc-ref` 引用,点击直开查看器)——字节权威仍在工件(可编辑/下载),卡只做门面与锚;下一轮对话上下文会自动回填工件文本(上限与产物卡同为 12000 字,超限在「🧩 上下文构成」可见 `artifact(n)` 与截断记录),模型不再对工具大结果失忆。
|
||||
|
||||
### 4.6 知识检索
|
||||
|
||||
|
||||
@@ -0,0 +1,64 @@
|
||||
# 卡片流远期三项(内容流式 / artifact 统一 / 跨会话收件箱)—— 设计与实施提案
|
||||
|
||||
状态:**已批准(2026-09-30 用户批准;D49 聚合口径按提案建议拍板:项目视图=项目级卡∪各会话未决卡,done 不聚合)**;owner:weichen。
|
||||
前置:[卡流机制与中栏过程/回复分离](2026-09-30-cardflow-and-process-split.md)(D39–D43 已实施)、[界面交互底座](2026-09-30-ui-inbox-command-workspace.md)(D25–D33 收件箱/卡片/互定位)。
|
||||
输入:用户 2026-09-30 指示——将 cardflow-r1 遗留的三项远期(卡片内容流式、artifact 统一、跨会话收件箱 CF3)推进实施,先出方案与计划。
|
||||
|
||||
---
|
||||
|
||||
## 1. 背景与现状盘点
|
||||
|
||||
cardflow-r1(PR #90)落地了显式路由(submit_card)、卡片权威载体(ctxasm 回填)与锚点互定位,同时把四项留作远期。本提案承接其中三项(飞书/微信投影仍留远期——通道依赖外部,单独立卡)。2026-09-30 代码盘点(core cafd9a5 / backend 076abfe / frontend 6752b78 / ui efd87f9 之后,R0=d64742c):
|
||||
|
||||
| 项 | 现有地基 | 缺口 |
|
||||
|---|---|---|
|
||||
| 内容流式 | `cardsvc.Update` 已支持整卡变更 + `card.updated` 事件(progress 卡流式区在用);前端 store 已消费 `card.updated` → upsertCard | `submit_card` 一次性出卡(llm.go 单次 JSON 参数 → CreateCard(done)),无流式产卡协议 |
|
||||
| artifact 统一 | 工具大结果已走 blobstore Artifact + `PartArtifactRef` + REST/查看器 + `artifact.created`;UINode 已有 `doc-ref` 词汇(UIRenderer 已渲染) | 双轨不互通:`card` 部件 ctxasm 回填全文(12000 字上限),`artifact_ref` 部件只渲染一行 `[产出工件 name]`——**模型下一轮对工具大结果失忆**;前端两套呈现入口(收件箱卡 vs 工件列表) |
|
||||
| 跨会话收件箱 | `core.ActivityCard.ConversationID` 注释已预留「空 = 项目级卡片」;`activity_cards` 表已有 `project_id` 列 | 列表/事件/前端三层全部按会话:`ListCards WHERE conversation_id=?`;SSE 严格按 `conversationId` 订阅(`/api/events` 必填参数);前端 `loadCards(convId)` 切会话即清空 |
|
||||
|
||||
## 2. 决策(D44 起)
|
||||
|
||||
| # | 决策 | 理由 |
|
||||
|---|---|---|
|
||||
| D44 | **流式产卡三段式**:内置工具 `card_begin(title, summary?)` / `card_append(text)` / `card_commit()`(同 update_todos 先例不经注册表,仅 `ui.cardflow=true` 时声明);`submit_card` 保留用于一次性短产物 | 与显式路由裁定同构(拆分发生在生成侧,可断言可审计);不依赖 LLM 网关流式工具参数能力;失败模式安全(不 begin = 全文留中栏) |
|
||||
| D45 | **流式卡生命周期**:begin 建卡 `kind=result, status=active`(收件箱可见、不计 pendingCount,与现状 active 语义一致);append 增量并入 body 尾部 markdown 节点,节流合并发布 `card.updated`(默认 250ms 窗口);commit 置 `done` + 消息追加 `Part.card` 引用部件 + finishRun 锚点回填(复用 submit_card 登记路径);run 终止(含失败/取消)仍有未 commit 的流式卡 → 兜底置 `done`(成功)或 `failed`(失败 run),tone 标注「未正常收尾」 | 不发明新状态机;断连/幻觉的恢复语义显式;pendingCount 不受流式过程影响 |
|
||||
| D46 | **artifact 上下文回填对称**:ctxasm 对 `PartArtifactRef` 增加 ArtifactResolver 回填正文(默认与卡同 12000 字上限,超限记 Truncations;无 resolver 留现占位行) | 先修「下一轮失忆」缺口——独立有价值、无 UI 依赖、可与 CF-S 并行 |
|
||||
| D47 | **artifact 门面卡(统一呈现层)**:工具结果 `Truncated=true` 时 runner 自动产 `kind=result` 门面卡:`body=[markdown(工具摘要), kv(来源/工件名), doc-ref(工件)]`,status=done,消息同时追加 `Part.card` 引用与既有 `PartArtifactRef`(兼容+审计);`PartArtifactRef` 前端渲染并入锚点样式(展开显 doc-ref、跳工件查看器) | 判据复用既有 Truncated 信号,不新造阈值;artifact 保持字节权威(可编辑、REST 查看器),卡是门面+锚——不在卡内复制字节;未截断的小结果不建卡(防收件箱噪音) |
|
||||
| D48 | **项目级卡数据语义**:`ConversationID` 空 = 项目级卡(core 既有注释转正);来源三个——① 项目级后台作业 producer;② 会话卡新增「留档到项目」动作(`to_project`,走命令总线,幂等);③ `card_begin`/`submit_card` 增加 `scope=project` 可选参数(默认 conversation);`activity_cards` 增加 project 维度索引 | 数据模型零迁移成本(列已在);生产端渐进开放 |
|
||||
| D49 | **项目收件箱聚合口径**:项目视图 = 项目级卡 ∪ 该项目全部会话 `action_required` 未决卡;`done` 卡不聚合(留在原会话,防噪音);会话视图 = 该会话全部卡 ∪ 项目级卡(项目卡带「项目」徽标,动作跨会话直达) | 跨会话的真正诉求是「待办不丢」;已完成产物按会话归档保持时间线清晰。已拍板(2026-09-30 用户批准本提案即确认) |
|
||||
| D50 | **项目事件频道**:`/api/events` 支持 `scope=project&projectId=…` 订阅(项目流独立 seq、持久化、断线重放——与会话流同 Stream 契约);项目级卡及跨会话聚合口径内的状态变更发布到项目流;会话内动作回执仍写会话流;`StreamEvent` 信封增加可选 `ProjectID` 字段(只增不删) | 不向全部会话流广播(事件放大且 seq 语义混乱);项目流自成单调序,重放语义与会话流一致 |
|
||||
| D51 | **前端双视图**:收件箱 tab 两级(会话/项目切换),会话 `pendingCount` = 会话未决 + 项目未决;项目视图复用 InboxList + 分组头(「项目级/其他会话待办」);切会话不清项目级卡缓存 | store.cards 拆两层(projectCards / convCards);openInbox 定位逻辑按卡归属路由 |
|
||||
| D52 | **完备性剧本增补**:零页面走查增加——流式卡双态(流式中/终态)、artifact 门面卡展开全文(doc-ref 打开查看器)、项目收件箱跨会话可见性(A 会话产待办 → B 会话/项目视图可见且可决) | 沿 D43 惯例:「内容被藏起来」与「待办跨会话丢失」是本批最高风险 |
|
||||
|
||||
## 3. 实施切分(三任务卡,串行)
|
||||
|
||||
| 期 | 内容 | 仓 | 依赖 |
|
||||
|---|---|---|---|
|
||||
| **CF-S 内容流式**(feature/card-stream-r1) | D44/D45:backend 三段式工具 + cardsvc Append(节流)+ run 终止兜底 + style-cardflow outputContract 更新 + mock `#cardflow` 流式演示;frontend/ui 仅可选视觉(流式中 shimmer);documents 提案转正 + 指南 | backend / documents(frontend、ui 可选) | 无 |
|
||||
| **CF-A artifact 统一**(feature/artifact-unify-r1) | D46/D47:backend ctxasm ArtifactResolver + golden 更新、runner Truncated→门面卡、mock `#upload` 演示门面;frontend artifact_ref 锚点样式统一;documents 指南 | backend / frontend / documents | 建议在 CF-S 合入后开工(llm.go/runner.go 文件面重叠,串行省冲突) |
|
||||
| **CF3 跨会话收件箱**(feature/project-inbox-r1) | D48–D51:core 信封 ProjectID + conformance;backend store 索引迁移/聚合查询、REST `GET /api/projects/{id}/cards` 与 to_project 动作、项目 SSE 频道与 emit 路由;frontend 双视图 + pendingCount;ui 徽标/分组;D52 走查 | core / backend / frontend / ui / documents | 体量最大,放最后;CF-A 的门面卡经项目视图获得跨会话可见性 |
|
||||
|
||||
跨仓顺序遵守 multi-repo 五步:core 先合入 → backend → frontend/ui → Dev gitlink PR → 组合验证。三卡各自走 task-start/task-sync/task-finish 全流程。
|
||||
|
||||
## 4. 契约与行为要点
|
||||
|
||||
- `card_begin` 返回 `cardId` 供后续调用绑定(工具轮间状态由 runner 持有,同轮多次 begin 以最后一卡为活跃卡——outputContract 约束单 run 单活跃流式卡)。
|
||||
- `card_append` 文本追加语义为 markdown 段落拼接;卡 body 总长不设硬限(权威载体),仅 ctxasm 回填时按上限截断留痕(与 D40 一致)。
|
||||
- 幻觉调用拒绝沿用现状模式:`ui.cardflow` 关闭时三工具不声明,幻觉调用返回「未启用」提示不执行。
|
||||
- 门面卡判据**只挂 `Truncated=true`**(既有 4.10 截断信号);同轮若已有显式 submit_card/card_commit 产物则不再自动建门面卡(防双卡)。
|
||||
- `to_project` 动作语义:卡复制为项目级卡(新 ID,`AnchorMessageID` 指向原卡),原会话卡置 `dismissed` 留痕——不移动(会话时间线不可变)。
|
||||
- 项目流事件持久化复用事件表机制,scope 列区分;重放从 `Last-Event-ID` 起(与会话流同构)。
|
||||
|
||||
## 5. 边界与不做
|
||||
|
||||
- 不动 `ResolveSystem` 签名与既有 SSE 会话流协议(项目频道是新增端点形态,非版本升级)。
|
||||
- 飞书/微信通道投影仍留远期(外部依赖,单独立卡)。
|
||||
- 不做项目级卡的细粒度权限(单用户体系内 owner 隔离已够;多用户项目共享收件箱随认证体系远期)。
|
||||
- `card_append` 不支持修改已提交内容(流式只追加;改稿 = 会话追问新卡)。
|
||||
- v1 不做「跨会话 done 卡聚合搜索」(产物检索归 RAG/工件库域)。
|
||||
|
||||
## 6. 验证计划
|
||||
|
||||
- CF-S:backend 单测(Append 节流合并/幂等、三段式 happy path、幻觉拒绝、run 失败/取消兜底置态)+ e2e `TestMockCardflowStreamLoop`(begin→append×N→commit → 卡 done + cardId 部件 + 锚点回填 + card.updated 序列断言)+ ctxasm golden 不变;组合 `make test`。
|
||||
- CF-A:ctxasm golden 更新(artifact 回填 + Truncations 记录);e2e(`#upload` 大结果 → 门面卡 + doc-ref + artifact_ref 并存 + 下一轮上下文含工件正文截断);前端锚点渲染 vitest。
|
||||
- CF3:store 迁移测试(project 索引、聚合查询、双方言);项目 SSE 频道 e2e(订阅/断线重放/seq 单调);前端双视图 vitest + pendingCount;D52 零页面走查双态 9+N 用例;组合 `make test` + `make build`。
|
||||
@@ -0,0 +1,52 @@
|
||||
# 卡流机制与中栏过程/回复分离 —— 设计与实施提案
|
||||
|
||||
状态:**已批准(2026-09-30 用户五项裁定)**;owner:weichen。
|
||||
前置:[界面交互底座](2026-09-30-ui-inbox-command-workspace.md)(D25–D33:收件箱/卡片/双现/互定位地基)、[界面重构与多用户认证](2026-09-30-ui-redesign-and-auth.md)(R1/R2/R4 已实施)。
|
||||
输入:目标系统设计全集 V2.2.1(`~/downloads/agent-system-design` 06 §3.3「助手卡片流」:AI 回复简短、长结果一律引导到右侧卡片);用户 2026-09-30 评估裁定。
|
||||
|
||||
---
|
||||
|
||||
## 1. 背景与裁定
|
||||
|
||||
评估报告结论:把目标系统「中栏短回复 + 右栏卡片承载产物」的交互泛化为基座通用能力。用户五项裁定:
|
||||
|
||||
1. **接受**模型显式路由为唯一切分机制(否决后处理自动拆分——拆分失败永远退化为现状,不丢内容);
|
||||
2. **认可**数据模型:产物全文权威在卡片(ActivityCard),消息只存引用部件 + 锚点渲染,上下文组装回填;
|
||||
3. **默认关**,用户手动打开(设置 → 界面 →「长结果进右侧卡片」);
|
||||
4. **CF0 先行**(中栏长回复折叠止痛,纯前端);
|
||||
5. **认可**对话完备性剧本修订:右栏不算「页面」,但卡内内容必须能从中栏锚点无跳转展开(验收项)。
|
||||
|
||||
同日新增需求:中栏过程/回复分离(Cursor 式)——流式期间思考/工具/中间轮解说照常显示,**一旦最终回复开始流式,过程即时折叠**,只显式显示回复,可手动展开回看。
|
||||
|
||||
## 2. 决策(D39 起:D34–D38 为认证提案 §5.1 预留段,虽未登记仍保持预留)
|
||||
|
||||
| # | 决策 | 理由 |
|
||||
|---|---|---|
|
||||
| D39 | **内容卡显式路由**:助手长产物经内置工具 `submit_card` 提交为收件箱 `kind=result` 卡;切分判据写进 prompt 模块 `style.cardflow` 的 outputContract(产物型进卡:报告/纪要/方案/对比/文档草稿;解释型长回答留中栏);不做后处理自动拆分 | 拆分发生在生成侧:可断言、可审计;失败模式安全(不出卡 = 全文留中栏) |
|
||||
| D40 | **卡片为产物权威载体**:全文存 ActivityCard(cardsvc 持久化),消息 parts 只存 `Part.card{cardId}` 引用 + 摘要锚点;`ctxasm` 组装时对 card 部件回填卡片正文(上限默认 12000 字,超限记 Truncations),上下文观测如实显示 | 与「registry 工具大结果→artifact+ref」模式同构;下一轮模型不失忆;时间线审计保留引用记录 |
|
||||
| D41 | **中栏过程/回复分离**:工具轮文本部件带 `process=true`(终轮文本无标记);live 流式期间 `phase=responding` 即时折叠过程(acting 重展开,交错轮不粘滞);终态 >800 字长回复折叠(CF0);LiveState 文本按 delta index 分桶(除末桶外均过程) | 用户裁定(Cursor 式);live 投影与落库消息同构,终态对账无跳变 |
|
||||
| D42 | **开关挂两层**:用户设置 `ui.cardflow`(boolean,默认 false,effect=new-run)控制工具注册与 prompt 注入;画像 PromptModules 可显式引用/排除 `style.cardflow` 覆盖 | 「用户可选」与画像机制严丝合缝;设置面 schema 驱动自动出现 |
|
||||
| D43 | **完备性剧本修订**(D31 增补):右栏收件箱不算「页面」;开启卡流时,零页面走查增加双态用例,卡内全文必须可从中栏锚点部件无跳转展开(窄屏/右栏收起时阅读不残废) | 「内容被藏起来」是分栏设计最高风险;中栏自足摘要是硬规则 |
|
||||
|
||||
## 3. 实施切分(三期)
|
||||
|
||||
| 期 | 内容 | 仓 |
|
||||
|---|---|---|
|
||||
| R1 过程分离 | D36 全部(backend 工具轮 process 标记 + Stream 注入缝;frontend 分桶/即时折叠/CF0) | backend / frontend |
|
||||
| R1 卡流 | D34/D35/D37:core CardPart.CardID;backend submit_card 工具+锚点回填+style-cardflow 模块+设置+ctxasm 回填+mock `#cardflow`;frontend 锚点部件(展开全文/跳收件箱)+result 卡体限高 | core / backend / frontend / ui / documents |
|
||||
| R2 收尾 | D32 另一半(卡→消息真定位,现误接 openInbox);result/待办轻分组;窄屏回退验证;双态零页面走查定稿 | frontend / documents |
|
||||
|
||||
跨仓顺序遵守 multi-repo 五步:core 先合入 → backend(同步 vendored core 副本)→ frontend/ui → Dev gitlink PR → 组合验证。
|
||||
|
||||
## 4. 契约与行为要点
|
||||
|
||||
- `CardPart{Kind, Data []UINode, CardID ID}`:CardID 非空 = 收件箱引用部件(submit_card);空 = 插件内嵌卡(现状不变)。
|
||||
- `submit_card(title, summary, body)`:runner 内置工具(不经注册表,同 update_todos 先例),仅 `ui.cardflow=true` 时声明;执行 = `CreateCard(kind=result, status=done, tone=ok, body=[markdown+摘要kv])` + 消息追加引用部件 + 工具返回「已发卡,对话中只留简短结论」;finishRun 持久化助手消息后把卡 `AnchorMessageID` 回填为该消息 ID。
|
||||
- 中栏锚点部件:`📄 {标题} · N 字 ▸ 展开全文 · ↗ 收件箱`——展开内联渲染卡片 body(数据从 store.cards 取),跳转走 openInbox;旧正则兜底保留(插件卡)。
|
||||
- 卡片内容流式(v1 一次性出卡)、飞书/微信通道投影(2.7 约束:新卡型必须能回答「这张卡在群里长什么样」——写入插件开发指南验收项)、与 artifact 统一、跨会话项目级收件箱:**均留远期**。
|
||||
|
||||
## 5. 边界与不做
|
||||
|
||||
- 不改 `ResolveSystem` 签名(注入 = 向 prof.PromptModules 副本追加模块 id);不动 SSE 协议版本。
|
||||
- `autoCollapseProcess` 偏好暂不加设置 UI(默认 true 即目标行为)。
|
||||
- 收件箱 pendingCount 语义不变(内容卡 status=done 不计入待办)。
|
||||
@@ -0,0 +1,113 @@
|
||||
# 文件预览与保留能力(工件删除 / fs 工具)方案
|
||||
|
||||
日期:2026-09-30;状态:已裁定(§5),实施任务 feature/file-preview-caps;作者:weichen + Agent
|
||||
关联:2026-09-30-ui-redesign-and-auth.md §9(上轮"下载为主"的非目标,本提案补齐)
|
||||
任务:feature/file-preview-proposal(本仓 PR 见任务卡)
|
||||
|
||||
## 1. 背景与诉求(用户原话归纳)
|
||||
|
||||
1. **文件预览补齐**:PDF、Word、PowerPoint、Excel、图像、markdown、代码文件等要有预览;可考虑做网页链接的预览;落位可以考虑右侧栏,或系统提供的弹出窗口。
|
||||
2. **工件删除**:接口和功能加入,但系统先不提供此类操作——保留能力,不暴露入口。
|
||||
3. **fs 类工具**:同样实现,但不提供(默认不可用)。
|
||||
|
||||
上轮交付后现状(chat-order-artifact-files,PR#71):
|
||||
- DocViewer(OverlayHost 单层):markdown 渲染、图片、pdf iframe、csv/json 等宽、二进制信息卡+下载;docx/xlsx/pptx 仅下载(当时定为非目标)。
|
||||
- `DELETE /api/artifacts/{id}` 后端端点已存在,前端工件面板有行内删除按钮(二次确认)。
|
||||
- 后端无任何 fs 类工具;文件面唯一入口是 artifacts(上传 + write_artifact)。
|
||||
|
||||
## 2. 合理性评估(逐条)
|
||||
|
||||
### 2.1 文件预览 —— 合理,方向正确;两点边界须裁定
|
||||
|
||||
**赞同**:
|
||||
- 预览是上轮"工作区文件管理"的自然完成项,闭环"浏览/显示/下载/回看"中的"显示"。
|
||||
- 落位思路与系统架构一致:预览应做成 @ui 能力组件(FilePreview),右栏轻预览与弹窗深预览复用同一组件——契合能力平台原则(系统基本功能做完善,插件直接复用)。
|
||||
|
||||
**边界与风险**:
|
||||
- docx/xlsx 的浏览器端解析**必须引入前端依赖**(mammoth / SheetJS),突破此前"无新依赖"约定——需 D1 裁定。缓解:全部 `dynamic import()` 按需加载,不进主 bundle,不预览不下载解析器。
|
||||
- pptx 没有轻量高保真方案(社区库重且还原度差)。推荐降级为**文本大纲级预览**(JSZip 解 slide XML,逐页标题+正文),全保真不做(D2)。
|
||||
- 网页链接预览:iframe 直嵌会被多数站点的 X-Frame-Options/CSP 拒绝,不可靠。推荐 **OG 元数据卡为主 + 可选"尝试内嵌"**(D3)。服务端抓取属 SSRF 高危面,硬边界:仅 http/https、解析后拒绝 localhost/环回/私有/保留地址、重定向逐跳同校验、超时与响应体上限。
|
||||
|
||||
### 2.2 工件删除:保留能力、不暴露入口 —— 合理,成本极低
|
||||
|
||||
- 后端端点**已存在**(无需新接口);动作是回退上轮加的行内删除按钮,保留 `api.deleteArtifact` 前端方法(插件可用)。
|
||||
- 与 API-first 原则完全一致:能力在公开 API,UI 只是第一个客户端;将来要暴露可走设置开关或管理端,不需要任何后端改动。
|
||||
- 文档与代码注释标注"保留能力,默认不暴露",防止后续误当死代码清理。
|
||||
|
||||
### 2.3 fs 工具:实现但不提供 —— 合理,契合能力预留;三点设计约束
|
||||
|
||||
**赞同**:实现合入(有测试、有沙箱、有门控),默认关闭=模型不可见、不进 `/api/tools`,插件/配置可开启。这正是"为插件系统预留能力"的形态。
|
||||
|
||||
**约束(缺一不可)**:
|
||||
1. **门控**:设置 `runtime.fsTools`(默认 false)。关闭时不注册工具——`/api/tools` 列表、模型可见工具集均不含;开启后仍受画像 tools.allow/deny/confirm 约束(现有机制)。
|
||||
2. **沙箱**:根目录 `<DataDir>/workspaces/<owner>/<conversationId>/`;路径规范化(filepath.Clean + Rel 校验)后必须仍在根内,拒绝 `..`、绝对路径与符号链接逃逸;单文件读写上限(如 2MB/1MB);list 深度与条数上限。
|
||||
3. **不变式**:write_file 落盘后**同步登记 artifact**(kind `file`,内容指针指向沙箱文件)——保住上轮确立的"工作区文件 = 工件面板可见可下载"不变式;read/list 仅限沙箱内。
|
||||
4. **测试**:路径穿越负例(`../`、绝对路径、URL 编码变体、符号链接)、上限、门控正负例。
|
||||
|
||||
## 3. 设计方案
|
||||
|
||||
### 3.1 FilePreview 能力组件(modules/ui)
|
||||
|
||||
```
|
||||
FilePreview({ source, compact? })
|
||||
source = { kind:'artifact', id, name, mime?, contentUrl, downloadUrl }
|
||||
| { kind:'url', href }
|
||||
```
|
||||
|
||||
- 按扩展名/mime 分派内部渲染器;渲染器注册表 `registerFilePreview(ext, renderer)` 预留插件自定义预览能力。
|
||||
- 格式矩阵(v1):
|
||||
|
||||
| 格式 | 方案 | 新依赖 |
|
||||
|---|---|---|
|
||||
| md/txt | marked 渲染(现成) | 无 |
|
||||
| 图像 | `<img>` + 点击放大 | 无 |
|
||||
| pdf | 同源 iframe(现成) | 无 |
|
||||
| csv/json/日志 | 等宽 pre(现成) | 无 |
|
||||
| **代码文件**(go/py/ts/js/rs/java/sh/sql/yaml/toml/html/css 等) | 等宽 + 行号(不做语法高亮;高亮若做需 highlight.js,另行裁定) | 无 |
|
||||
| **docx** | mammoth → HTML(样式收敛进 tokens) | mammoth(动态) |
|
||||
| **xlsx/xls** | SheetJS → 表格(sheet 切换,默认首 200 行分页) | xlsx(动态) |
|
||||
| **pptx** | JSZip 解 slide XML → 逐页文本大纲卡 | jszip(动态) |
|
||||
| **url** | OG 卡(标题/描述/站点/图标/首图)+「尝试内嵌」按钮(iframe 加载失败回退提示) | 服务端 `/api/url-preview` |
|
||||
|
||||
- **双落位**(D4):右栏新增"预览"页签(compact 模式:窄栏排版,边聊边看,可随消息工件 chip 一键换内容)+ OverlayHost 深预览(现 DocViewer 收敛为 FilePreview 的容器壳:工具栏=编辑/保存/下载/关闭)。两处同一组件、同一注册表。
|
||||
|
||||
### 3.2 后端(modules/backend)
|
||||
|
||||
- `GET /api/url-preview?url=`:SSRF 硬边界(见 §2.1);返回 `{title, description, siteName, favicon, image, finalUrl}`;解析 og:title/og:description/og:image/og:site_name,回退 `<title>`/meta description。5s 超时、256KB 截断、Content-Type 须 text/html。缓存(内存 LRU,15 分钟)。
|
||||
- fs 工具族 `internal/tools/fs.go`:`fs_read_file` / `fs_write_file` / `fs_list_dir`,参数与返回结构走既有工具契约;门控与沙箱见 §2.3。
|
||||
- 工件删除:**零后端改动**。
|
||||
|
||||
### 3.3 前端(modules/frontend)
|
||||
|
||||
- DocViewer 收敛为 FilePreview 容器(删自有格式分支);右栏 Workbench 增"预览"页签 + `store.previewSource`。
|
||||
- 消息工件 chip 与 ArtifactsPanel 行提供两个入口:默认弹窗深预览,"右栏"按钮轻预览;**移除删除按钮**(保留 api 方法与注释说明)。
|
||||
- URL 入口(P3):会话输入框粘贴纯 URL → 消息侧生成链接预览卡(点击进右栏/弹窗预览);插件卡 doc-ref 同样可指向 url 工件。
|
||||
|
||||
### 3.4 依赖与体积
|
||||
|
||||
mammoth + xlsx + jszip 全部动态 import,仅对应格式首次预览时加载;主 bundle 不变。版本随 frontend package-lock 锁定。
|
||||
|
||||
## 4. 分期与验收
|
||||
|
||||
| 期 | 内容 | 验收 |
|
||||
|---|---|---|
|
||||
| P1 预览基座 | FilePreview 组件+注册表;双落位;md/图片/pdf/csv/json/代码文件迁移收敛;删除按钮回退 | @ui vitest(组件矩阵);头链:右栏预览页签+弹窗各断言;面板无删除按钮、API 仍在 |
|
||||
| P2 Office | docx/xlsx/pptx 渲染器(动态加载) | 样例文件矩阵头链断言(docx 出正文、xlsx 出表格、pptx 出大纲);懒加载不进主 bundle(构建产物体积对比) |
|
||||
| P3 URL 预览 | /api/url-preview + LinkPreview + 输入框 URL 卡 | go 测试:OG 解析正例 + SSRF 负例(localhost/私网/非 http 协议/超时);头链:链接卡→右栏预览 |
|
||||
| P4 fs 工具 | 实现+门控+沙箱+测试(默认关) | go 测试:穿越负例全红、门控关时不注册;开启后 write_file 产物出现在工件面板 |
|
||||
|
||||
## 5. 决策点(2026-09-30 用户已裁定)
|
||||
|
||||
- **D1 Office 依赖**:✅ **引入** mammoth/SheetJS(动态加载,不进主包)。
|
||||
- **D2 pptx 深度**:✅ **全保真渲染**(用户选择;接受重型依赖与还原度折衷——实施时在 pptx-preview / pptx2html 候选中取与 Vite 兼容者,若均不可构建则带回证据退回文本大纲级再裁定)。
|
||||
- **D3 URL 预览形态**:✅ **OG 卡 + 可选尝试内嵌**。
|
||||
- **D4 预览落位**:✅ **右栏 + 弹窗双落位**。
|
||||
- **D5 fs 开关可见性**:按推荐默认执行——仅配置/环境可开(runtime.fsTools 默认 false),设置页不显示开关。
|
||||
- 实施任务:feature/file-preview-caps(P1–P4 一体交付)。
|
||||
|
||||
## 6. 边界与不做
|
||||
|
||||
- 不做 Office 文件的在线**编辑**(预览只读;md/txt/csv/json 编辑能力维持现状)。
|
||||
- 不做语法高亮(如需引入 highlight.js 另行裁定)。
|
||||
- 不做服务端格式转换(LibreOffice/onlyoffice 等违反单二进制非容器化部署约束)。
|
||||
- 删除能力不做确认流之外的新入口形态;fs 工具不做 shell/exec 类操作(只做文件读写列目录)。
|
||||
@@ -200,3 +200,29 @@ demo 为静态设计稿(无后端),数据为演示数据;视觉规格(
|
||||
- 本提案不含实施;实施前须用户裁定方案(默认 A)与认证阶段 2 范围。
|
||||
- 不做计费/套餐(Footer 用量区留位即可)、不做 SSO/OAuth、不做项目级 ACL(远期,见 5.2)。
|
||||
- 中栏与右栏结构不在本次重构范围(D25/D26 已定且未被推翻);底部终端面板不做(我们非终端工作台)。
|
||||
|
||||
## 9. 交付补记(2026-09-30 下午:消息顺序保真 + 工件文件管理)
|
||||
|
||||
用户验收 UI 能力平台后反馈四项,本轮修复(任务 feature/chat-order-artifact-files):
|
||||
|
||||
1. **消息顺序保真(新设计约定:渲染顺序 = 落库顺序)**。后端 llm.go 按时间交错落库 parts
|
||||
(text → tool_call → tool_result → artifact_ref → 下一轮 text…),前端曾按 `p.process`
|
||||
布尔二分重排(过程全前置),工具调用脱离真实位置。修复:`groupParts` 只把"连续的"过程
|
||||
部件就地聚成折叠块,内容部件原位保留;live 流式改为 `LiveState.parts` 按事件到达序维护
|
||||
(artifact.created 即时上 chip)。该约定写入 UI 层默认要求:任何 parts 分组展示不得改变原始顺序。
|
||||
2. **下载通道**。后端 `artifactContent` 始终回 `Content-Disposition`(默认 inline,
|
||||
`?download=1` → attachment,RFC 5987 filename* 支持中文名)+ Office/PDF 扩展名 MIME 表;
|
||||
前端 chip / 工件面板行 / DocViewer 三处都有下载动作。
|
||||
3. **工件面板 = 工作区文件管理**(浏览/显示/下载/回看/删除):搜索 + kind 过滤 + 上传 +
|
||||
行内 预览/下载/删除(二次确认);DocViewer 重构为单层 OverlayHost(pdf 内嵌 iframe、
|
||||
csv/json 等宽、二进制信息卡 + 下载 CTA);收件箱结果卡经 docBridge 可直接打开工件。
|
||||
4. **设置界面级联修复**。SettingsShell 根元素同挂宿主 `.modal`,被后加载的宿主样式以同
|
||||
特异性覆盖(column/860px)压坏左右布局——改为 `.modal.ui-settings-shell` 复合选择器
|
||||
(0,2,0)免疫加载顺序;设置行统一 @ui SettingRow,保存按钮进固定 actions 底栏。
|
||||
教训入库:**@ui 组件挂宿主通用类时,外壳样式必须用复合选择器高于宿主单类**。
|
||||
|
||||
验证:ui 37 + frontend 20 vitest 全绿;backend go test ./... 全绿(含 disposition/MIME 新测);
|
||||
Playwright 头链 12/12(mock 后端 + SQLite 直插交错 parts 探针消息):
|
||||
DOM 序 [text→process-collapse→text→artifact-chip]、设置外壳 computed flex-direction=row 且
|
||||
侧栏/主区并排、?download=1 → attachment+RFC5987 文件名、面板工具栏/过滤/上传/行内下载。
|
||||
docx 在线预览为非目标(下载为主);工作区文件即 artifacts(不新增 fs 工具/目录)。
|
||||
|
||||
@@ -0,0 +1,132 @@
|
||||
# Agent harness:回合循环、结果把控与多代理编排
|
||||
|
||||
状态:**proposed(2026-10-01)**;owner:weichen;主任务:Dev 仓 `feature/agent-harness-p0`。
|
||||
规范依据:Development-Guidelines(workflows/delivery.md、standards/collaboration.md、standards/agent-execution.md);本文是项目级消费,不复制其正文。
|
||||
撰写日期:2026-10-01。对标来源:[zai-org/ZCode](https://github.com/zai-org/ZCode)(Apache-2.0,`apps/zcode-cli/packages/core`)、[Claude Code 公开文档](https://code.claude.com/docs/en/overview) 与其插件仓 [anthropics/claude-code](https://github.com/anthropics/claude-code)。
|
||||
|
||||
本文只定义 harness 的职责、分期与验收。P0 随本文落地;P1–P4 各自另开任务,不在本文实施。
|
||||
|
||||
后续:三个库如何补齐缺陷、吸收外部做法并彼此解耦,见 [2026-10-02-agent-stack-completion.md](2026-10-02-agent-stack-completion.md)。本文的 P0–P4 不因该提案作废。
|
||||
|
||||
---
|
||||
|
||||
## 1. 问题与证据
|
||||
|
||||
2026-10-01,会话 `cnv_96f639abf03a` 第 26 轮(开发库 `runtime/dev/data/agent-system.db`)用户要求「重新总结纪要」。助手正文里出现了 `[调用工具 run_python(…)]`、`[工具结果 ok …]`、`[产出工件 …(二进制内容,正文见工件查看器)]`,并给出工件 ID `art_1a2b3c4d5e6f`。该轮落库部件只有 `thinking` 与 `text`,没有任何 `tool_call`;`artifacts` 表里没有这个 ID,所以界面显示「未找到该文件」。同会话第 16、20 轮的 `art_7b24c0b7e2f1`、`art_4f9d2c1a8b3e` 同样不存在。第 22、24 轮才是真实的工具调用与工件。
|
||||
|
||||
直接原因在上下文组装:`modules/backend/internal/ctxasm/ctxasm.go` 把历史里的工具调用压成文本 `[调用工具 …]` / `[工具结果 …]` 写进助手消息。模型把这种文本当成「我以前就是这样调用工具的」格式,在正文里模仿。虚假交付守卫(`claimsFalseDeliverable`)只纠正一次,第二段「文件已正常生成并登记」既没有 `art_` 编号,也匹配不上「已生成….docx」正则,被当成最终回复放行。
|
||||
|
||||
同一机制下还有这些结构性缺口(2026-10-01 只读梳理):
|
||||
|
||||
- 三套循环各自为政。直连走 `LLMRunner`;小队成员走 `agent-native` 的 `runtime.Run`(已有 `GetSteering` / `GetFollowUp`,直连没用);`delegate_task` 背后的 `SubLLMRunner` 是单次调用、没有工具。
|
||||
- 是否完成由干活的模型自报。`quality_review` 与版式检查只靠提示词约定;`agent.sub.verify` 要求输出的 `VERDICT` 没有解析方;模型评分 `Judge` 只有类型、没有接线。
|
||||
- 没有逐轮提醒。计划和待办只给界面看,不回灌给模型。技能只按当前这条用户文本匹配一次。
|
||||
- 子 run 的助手消息落在同一会话,列表不按 run 过滤,下一轮会被当成主对话回放。
|
||||
- 插件工作流只有数据、没有执行器。`WorkflowDef.IntentID` 没有消费方。意图识别没有路由到工作流。
|
||||
- 预算耗尽时直接返回错误,已生成的部件不落库。工具结果按字节截断,可能切在 UTF-8 字符中间。
|
||||
|
||||
## 2. 对标结论
|
||||
|
||||
两边的共同点:工具调用按提供方的原生消息回放,而不是压成正文;完成与否由循环或另一个评估者判定,不由干活的模型宣布;子代理上下文隔离,只把摘要交回父会话;每条续跑路径都有次数上限。
|
||||
|
||||
| 机制 | ZCode | Claude Code | 本基座采纳 |
|
||||
|---|---|---|---|
|
||||
| 历史回放 | `tool_calls` + `role=tool`;没有结果的调用补占位,并区分「未执行」与「副作用未知」 | 同形(公开文档描述为工具结果回传) | 采纳。占位文案按原因区分 |
|
||||
| 完成判定 | 同模型、不带工具,按证据清单输出 `{passed, reason, nextAction}`;拿不准判不通过。验证器自身出错时放行 | `/goal`:每轮结束后由另一个模型判断,不成立就开下一轮 | 采纳证据清单。交付物场景下验证器出错改为判不通过,并设次数上限 |
|
||||
| 结束门禁 | Stop hook 返回继续并注入上下文,最多 3 次 | Stop / SubagentStop 返回 `decision: block` + `reason`;`stop_hook_active` 防止死循环 | 采纳 `block + reason`,上限 3 |
|
||||
| 提醒 | 按来源节流,包在 `<system-reminder>` 里,位置不破坏工具消息配对 | 规范、待办、后台完成以 system-reminder 插入,不改 system 段 | 采纳 |
|
||||
| 异常 | 同名同参数连续 3 次给警告,不直接终止;输出被截断最多续写 3 次,续写提示不入库 | 公开文档未给出同等细节 | 采纳警告与续写 |
|
||||
| 子代理 | Markdown frontmatter 定义;调用方不能指定模型;嵌套深度从工具白名单上限制为 1;后台完成用通知回传,多条合并 | 同形。子代理只回传最终结果,中间过程不进父上下文 | 采纳 |
|
||||
| 评审 | expert 的 critic 用 JSON 判定,可按节点重开,每层有上限 | `code-review` 插件:并行找问题,每条再独立验证,未通过的丢弃 | 采纳「并行评审 → 逐条验证 → 过滤 → 汇总」 |
|
||||
| 工作流 | 阶段产物落盘,下游只传路径;确定性检查优先于模型自报;人工升级以单个节点为粒度 | feature-dev:阶段之间有人工门禁 | 采纳产物落盘与确定性检查优先。P4 同时做声明式工作流、模型生成的步骤和沙箱脚本 |
|
||||
|
||||
## 3. 目标
|
||||
|
||||
harness 是基座能力,不是某个下游的领域规则。它回答四件事:这一轮看到什么、循环何时继续或停止、怎样判定结果为真、多个代理怎样拉起、分配、评审和汇总。
|
||||
|
||||
内核放在 `agent-native` 的 `runtime`,直连、小队和子代理共用同一套循环。`core.Part` 到模型消息的投影留在 backend:内核不认识 `core` 类型。
|
||||
|
||||
```text
|
||||
agent-native runtime
|
||||
TurnLoop 预算、输出续写、重复调用检测
|
||||
Transcript 原生回放,没有结果的调用补占位
|
||||
ReminderBus 按来源节流的提醒,不改 system 段
|
||||
HookBus PreTool / PostTool / Stop / SubagentStop
|
||||
CompletionGate 确定性检查 + 不带工具的验证器
|
||||
SubagentRuntime profile、深度 1、只回传摘要、完成通知
|
||||
|
||||
backend 适配
|
||||
LLMRunner 薄适配:事件、部件、落库
|
||||
ctxasm core.Message 投影为模型消息
|
||||
交付物门禁 工件存在、版式检查、quality_review
|
||||
工作流执行器 引擎驱动步骤,IntentID 路由
|
||||
```
|
||||
|
||||
## 4. 分期
|
||||
|
||||
### P0 回放保真与守卫加固(本文随附实施)
|
||||
|
||||
- 助手历史按 `assistant{ToolCalls}` 与 `tool{ToolCallID, Content, IsError}` 回放。没有结果的调用补「(无结果:运行中断)」;孤立的结果跳过;空 ID 用 `hist_<消息ID>_<序号>` 补上。
|
||||
- 参数超过 4000 字符时截断其中的长字符串,结果仍是合法 JSON。
|
||||
- 跳过被守卫降级的过程文本(`Process=true` 且后面紧跟的不是工具调用)。从助手历史文本里剔除存量的 `[调用工具 `、`[工具结果 `、`[产出工件 `。
|
||||
- 守卫改成 `deliverableGate(body, produced, rc) (block bool, reason string)`,形状与 P1 的 Stop 门禁一致,P1 时平移进内核。
|
||||
- 新增判定:正文里出现伪造调用标记;本轮没有工件时声称文件已生成、已登记或已保存。纠正上限 2 次。回灌用占位文本,不把伪造正文再塞给模型。两次之后仍谎称,终轮正文降为过程,并追加一条非过程提示,说明本轮没有实际生成文件。
|
||||
- 提示词 `base.deliverables` 写明:工具只能通过函数调用触发,不要在正文里书写调用标记。版本升到 5。
|
||||
|
||||
验收:回放后的模型输入里不再出现 `[调用工具` 文本;用第 26 轮那种「只有伪造标记、没有真实工具调用」的输入,守卫会拦住,不会再登记一个不存在的工件 ID。
|
||||
|
||||
### P1 内核原语
|
||||
|
||||
给 `agent-native` 的 `runtime.Config` 加上 Stop 门禁、工具前后钩子、提醒通道、重复调用检测、输出被截断时的续写,以及预算耗尽时保留已有部件再收尾。`LLMRunner` 改为 `runtime.Run` 的薄适配。P0 的 `deliverableGate` 平移成一个 Stop 门禁。
|
||||
|
||||
验收:backend 与 agent-native 的既有测试保持通过;直连与小队成员走同一个循环。
|
||||
|
||||
风险:`agent-native` 在 Dev 仓 `deps/`、backend 的 `deps/`、agent-squad 的 `deps/` 各有一处 gitlink。P1 起要按依赖顺序推进指针,不能只改最外层。
|
||||
|
||||
### P2 结果把控
|
||||
|
||||
- 独立验证器:不带工具的一次模型调用,按证据清单输出 JSON `{passed, reason, nextAction}`。拿不准判不通过。验证器出错或返回无法解析的内容时也判不通过(与 ZCode 的放行不同),整个门禁最多 3 次。
|
||||
- 确定性检查排在模型自报之前:本轮登记的工件确实存在、`housestyle.lint` 没有 error、`quality_review` 达到通过线。
|
||||
- 计划和待办按节奏用提醒回灌。例如连续多轮没有更新待办才提醒一次,避免每轮都占上下文。
|
||||
|
||||
验收:评测夹具里「声称已交付但没有工件」的用例全部被拦下,并留下可核对的原因。
|
||||
|
||||
### P3 多代理
|
||||
|
||||
- 子代理用 Markdown 加 frontmatter 声明(`name`、`description`、`tools`、`model`、`maxTurns`),复用现有 `agent-sub-*.md` 并补上 frontmatter。调用方不能指定模型。
|
||||
- `delegate_task` 改为带工具的子循环。工具白名单里去掉派发类工具,嵌套深度为 1。父会话只收到摘要和工件路径。
|
||||
- 支持后台运行。完成后用通知回传,多条合并成一次注入。
|
||||
- 子 run 的消息与父会话历史隔离,不再被下一轮当成主对话回放。
|
||||
- `squad_orchestrate` 与直连子代理用同一套运行时。评审走「并行找问题 → 每条独立验证 → 丢掉未验证的 → 汇总」。
|
||||
|
||||
### P4 意图到工作流
|
||||
|
||||
执行器驱动 `prompt` / `tool` / `hitl` / `artifact` / `card` / `script`。三种来源共用同一步骤循环:插件声明的工作流、模型生成并经过同一套校验的步骤、以及在会话沙箱里跑的 Python 脚本。
|
||||
|
||||
- 路由先走命令总线,再看意图绑定的工作流,最后才是普通回合。小队入口不提供 `run_workflow`。
|
||||
- 工作流启动时拷贝定义。插件卸载不影响已经在跑的那一份。
|
||||
- 声明式工作流最多 20 步。模型生成的最多 8 步,不能含 `script`,执行前必须经用户确认。critic 每步最多重试 3 次、缺省 1 次,整条工作流最多重试 6 次。无法解析的 critic 结果按不通过处理。
|
||||
- 脚本最多回调 50 次,单行请求不超过 1MB,超时缺省 600 秒、最长 1800 秒,墙钟时间包含等待人工和子代理。开关 `runtime.workflowScripts` 缺省关闭。模型写的脚本运行前必须确认;插件自带的脚本不需要确认。
|
||||
- 脚本以当前用户身份运行,工作目录是会话沙箱,没有网络或文件系统隔离。回调一律经过工具执行入口,不能调用 `run_python`、`run_shell`、`run_workflow` 和派发类工具。
|
||||
|
||||
## 5. 不在本文范围
|
||||
|
||||
- 单份纪要的内容质量(例如「3 项决议」与表格行数对不上)。那是生成质量,不是回放与门禁。
|
||||
- 把直连路径并进小队入口。小队仍是一种入口,循环归内核。
|
||||
- 下游领域的阶段门禁、文档树和追溯关系。那些留在下游仓。
|
||||
|
||||
## 6. 已知待查项
|
||||
|
||||
以下来自同一次只读梳理,不在 P0 修改。各自另开任务前先复核当前代码。
|
||||
|
||||
- `quality_review` 的工作区路径疑似用了全局根,而文件工具用的是 `<根>/<owner>/<会话>`。单测把根直接设成文件所在目录,可能测不出来。
|
||||
- 工具确认卡算出了参数预览,但没有放进卡片,用户看不到参数就要批准。
|
||||
- 小队入口读的是默认 owner 的设置,不是当前租户的。
|
||||
- 插件宿主 `SettingsSchema` 持读锁时再调用会再次取读锁,中间若有写锁等待,有死锁风险。
|
||||
|
||||
## 7. 验收(P0)
|
||||
|
||||
- `modules/documents`:本文与路线图第 3 阶段的链接。
|
||||
- `modules/backend`:`go test ./internal/ctxasm/ ./internal/runtime/ ./internal/prompts/` 通过;随后在 Dev 仓 `make test` 做组合验证。
|
||||
- 回放用例覆盖:真实工具调用变成原生消息、缺结果时补齐、超长参数仍是合法 JSON、降级文本被跳过、存量伪造标记被剔除、工件正文回填保持不变。
|
||||
- 守卫用例覆盖:只有伪造标记也会拦截、纠正两次后附系统提示、回灌的是占位文本、引用已存在的工件不算谎称。
|
||||
@@ -0,0 +1,80 @@
|
||||
# 基座路线图修正:基座不可改,下游独立仓二次开发
|
||||
|
||||
状态:**实施中(2026-10-01)**;owner:weichen;主任务:Dev 仓 `feature/base-extension-roadmap`。
|
||||
规范依据:Development-Guidelines(workflows/delivery.md、standards/collaboration.md);本文是项目级消费,不复制其正文。
|
||||
撰写日期:2026-10-01。
|
||||
|
||||
---
|
||||
|
||||
## 1. 基准
|
||||
|
||||
Agent-System 是通用智能体基座:提供入口、能力、接口和基础功能,并能理解需求、对话、完成任务。页面、功能、工具、技能、MCP、知识库等模组通过插件接入。
|
||||
|
||||
`~/downloads/agent-system-design`(智能研发管理系统,9 篇文档)是**下游特别系统**。它将在一个或多个独立仓库里二次开发,**不得修改基座**。修改基座的唯一合法理由是新增基础能力或扩展接口,路径为:下游提出扩展点申请 → 基座实现并发版 → 下游升级。
|
||||
|
||||
基座只提供引擎、注册点和公开接口。领域数据与领域规则留在下游。延续骨架设计 4.12:知识库是数据,检索引擎是基础设施。
|
||||
|
||||
已拍板且本次不推翻的约束:非容器化、单二进制优先;不迁移老系统资产与数据格式;在途 run 不做透明恢复(标记 `interrupted`,用户重发)。
|
||||
|
||||
## 2. 原差距清单的处置
|
||||
|
||||
对照基准从「两树一网蓝图」改为「通用基座 + 下游不改基座」。原清单编号沿用讨论稿。
|
||||
|
||||
### 2.1 留在基座
|
||||
|
||||
| 编号 | 项 | 本次落点 |
|
||||
|---|---|---|
|
||||
| 3 | 持久化后台任务,与会话锁解耦 | `background_tasks` + `/api/tasks` |
|
||||
| 5 | 仅 cmdbus 待确认态持久化 | `pending_confirms`;run 仍不透明恢复 |
|
||||
| 6 | HITL 超时计时 | `AskHITL` 尊重 `TimeoutSec` |
|
||||
| 8 | 记忆实现 | `memory_entries` + `/api/memory` |
|
||||
| 9 | 默认可选嵌入 | `models.embedding.provider=hash` 本地档;未设置仍按 D23 退化为全文 |
|
||||
| 13 | 通用审计(不含领域依据包) | `audit_events` + `/api/audit` |
|
||||
| 17 | LLM 成本与预算告警 | 日 token 累计,超预算写审计 |
|
||||
| 20 | 命令双入口对拍 | 每个内置命令必须出现在 `command-pairs.json`,否则测试失败 |
|
||||
| 22 | logging / error-code 接线 | 启动日志走 `logging-system`;插件失败带 `sys.unavailable` |
|
||||
| 24 | 依赖边界 lint | `make test-boundaries` 并入 `make test` |
|
||||
|
||||
上下文滚动压缩:`summarizeBeyond=true` 时,窗口外历史改为抽取式摘要注入,不再只丢弃。
|
||||
|
||||
代码执行:沿用已有解释器沙箱(工作区、超时、`runtime.exec` 开关),不另开无沙箱执行器。
|
||||
|
||||
### 2.2 交给下游仓
|
||||
|
||||
版本链与三态关系边、两速管道、文档/切片并发编辑、切片标签 schema、加密与 OCR 档位、ABAC 四元组、审计依据包、飞书业务、通知聚合、领域模板与流程骨架、领域评测指标、三套环境与故障注入、领域导出导入,以及设计文档自己的数据模型欠账。
|
||||
|
||||
基座只提供这些下游会用到的通用口:渠道声明、知识数据集声明、后台任务、审计写入、插件隔离存储、混合检索。
|
||||
|
||||
### 2.3 不采纳
|
||||
|
||||
- 容器编排交付(与骨架「非容器、单二进制」冲突)。
|
||||
- 旧系统资产导入(与「不迁移、不兼容老数据格式」冲突)。
|
||||
- 为单一领域预造版本链、三态边、时间点重建。出现第二个使用方再上提基座。
|
||||
|
||||
## 3. 阶段
|
||||
|
||||
1. **公开扩展面与兼容规则**(本提案第 4 节 + 同日兼容提案)。下游今天必须能依赖基座,而不是 fork。
|
||||
2. **插件契约 v2**(同日插件提案):声明、进程内编译、sidecar、前端 ESM。
|
||||
3. **智能体质量回路**:后台任务、记忆、上下文摘要、本地嵌入档、HITL 超时、确认态持久化、LLM 预算、通用评测夹具。回合循环、完成判定与多代理编排见 [2026-10-01-agent-harness.md](2026-10-01-agent-harness.md)(P0 起实施,内核下沉到 agent-native)。三个库的缺陷、借鉴与解耦见 [2026-10-02-agent-stack-completion.md](2026-10-02-agent-stack-completion.md)。
|
||||
4. **工程基座**:日志与错误码、通用审计、边界 lint、命令对拍、会话导出。
|
||||
|
||||
目标系统薄切片放在 `examples/downstream-rdm`。它只 import 公开包。独立远程仓库由 owner 另行创建;本次不 `git init` 新仓。
|
||||
|
||||
## 4. 公开扩展面(不改模块路径)
|
||||
|
||||
后端业务代码继续留在 `internal/`。新增可导入包:
|
||||
|
||||
- `agent-system-backend/pkg/extension`:进程内注册、宿主 API 客户端、`Main`。
|
||||
- `agent-system-backend/pkg/extension/link`:把 `Main` 接到 `app.Run`(仅基座与下游 main 空白导入)。
|
||||
|
||||
模块路径保持 `agent-system-backend` / `agent-system-core` / `agent-system-ui`。下游 `go.mod` 用 `replace` 指向检出或 Gitea SSH。改成可直接 `go get` 的路径会打断现有全部 import,留到单独发版任务。
|
||||
|
||||
`agent-system-ui` 仍是源码组合(提案 D29:出现第二宿主再发 npm)。本次补上 `exports` 指向的插件 SDK 源文件,不执行 npm 发布。
|
||||
|
||||
公开面版本:`extension.SurfaceVersion = 2.0.0-experimental`。契约快照测试锁定导出符号;增删导出必须改快照。
|
||||
|
||||
版本 tag 与包发布是高后果操作。准备命令见兼容提案,由 owner 确认后执行。本次不打 tag、不推送。
|
||||
|
||||
## 5. 扩展点申请
|
||||
|
||||
下游缺能力时开任务卡,写清:调用场景、希望的公开符号或 HTTP 路径、不改基座时的阻碍。基座只在批准后加公开面并发版。下游禁止提交修改 `internal/` 的补丁作为交付。
|
||||
@@ -0,0 +1,62 @@
|
||||
# 扩展面兼容与演进
|
||||
|
||||
状态:**实施中(2026-10-01)**;owner:weichen;主任务:Dev 仓 `feature/base-extension-roadmap`。
|
||||
撰写日期:2026-10-01。配套:[基座路线图修正](2026-10-01-base-extension-roadmap.md)、[插件契约 v2](2026-10-01-plugin-contract-v2.md)。
|
||||
|
||||
## 1. 版本
|
||||
|
||||
| 面 | 标识 | 规则 |
|
||||
|---|---|---|
|
||||
| 插件清单 | `apiVersion` | 接受 `1.0` 与 `2.0-experimental`。其他值整包拒绝(fail-closed) |
|
||||
| 公开 Go 包 | `extension.SurfaceVersion` | `2.0.0-experimental`。实验窗口内允许破坏性调整,但必须改契约快照并在提案里写一句 |
|
||||
| HTTP API | 路径前缀 `/api/` 与 `/host/v1/` | 已发布路径只加字段,不改语义、不删字段。新能力用新路径 |
|
||||
|
||||
弃用:公开符号先标记注释 `Deprecated:`,至少一个下游可升级的版本之后才删除。实验窗口内的删除仍要改快照测试,不能静默。
|
||||
|
||||
## 2. 兼容窗口对插件清单的具体含义
|
||||
|
||||
- `1.0`:原有 tools/panels/cards/intents/prompts/settings/commands/workspaces 行为不变。`requires.network` 为空时出站仍放行(历史清单没有白名单)。
|
||||
- `2.0-experimental`:同上,并接受 skills、mcpServers、knowledge、parsers、agents、channels、pages、scope、backend。`requires.network` 为空时 **拒绝** 声明式 HTTP 出站。
|
||||
|
||||
新增 JSON 字段一律 `omitempty`,避免 1.0 黄金清单的编码发生变化。
|
||||
|
||||
## 3. 契约快照
|
||||
|
||||
`modules/backend/pkg/extension/surface_test.go` 用 AST 列出 `pkg/extension` 的导出类型与函数,与 `surface.txt` 比较。CI 通过 `make test`(含 `go test ./...`)执行。未更新快照的导出变更会失败。
|
||||
|
||||
导出**接口**同时记录其方法(`Host.ParseDocument` 形态)——只加方法、不改顶层名的变更同样触发快照失败(2026-10-06 EXT-5 起执行)。
|
||||
|
||||
依赖边界:`make test-boundaries` 拒绝
|
||||
|
||||
- `pkg/extension` 导入 `agent-system-backend/internal`
|
||||
- 本仓 `examples/` 导入 `agent-system-backend/internal`
|
||||
|
||||
## 4. 下游依赖(replace,本次不改模块路径)
|
||||
|
||||
```
|
||||
require agent-system-backend v0.0.0
|
||||
require agent-system-core v0.0.0
|
||||
|
||||
replace agent-system-backend => ../Agent-System-Dev/modules/backend
|
||||
replace agent-system-core => ../Agent-System-Dev/modules/core
|
||||
```
|
||||
|
||||
后端模块自身的 `replace`(agent-native、logging-system 等)不会被下游继承。下游若编译进 `pkg/extension/link`(会拉起整个后端),需要复制后端 `go.mod` 里的 replace,并把路径改到基座检出。只做声明式插件则不需要 Go 依赖。
|
||||
|
||||
## 5. 发版命令(owner 执行,本次未执行)
|
||||
|
||||
tag 名以 V1.2 实施推进方案批复的 `v0.2.0` 为准(2026-10-05 对齐;五仓 backend/core/frontend/ui/Dev 同打):
|
||||
|
||||
```
|
||||
git tag -a v0.2.0 -m "extension surface 2.0.0-experimental"
|
||||
git push origin v0.2.0
|
||||
```
|
||||
|
||||
npm 发布 `agent-system-ui` 仍按 D29 推迟到第二宿主出现。不要在实验窗口把 `private` 改成 false 后直接发布。
|
||||
|
||||
## 6. 扩展点申请模板
|
||||
|
||||
- 场景:哪一个下游仓、哪条用户路径走不通。
|
||||
- 希望新增的公开符号或 `/api`、`/host/v1` 路径。
|
||||
- 为何不能用现有注册点、后台任务、审计、KV、命令总线组合出来。
|
||||
- 兼容:加字段还是新路径。
|
||||
@@ -0,0 +1,79 @@
|
||||
# 插件契约 v2
|
||||
|
||||
状态:**实施中(2026-10-01)**;owner:weichen;主任务:Dev 仓 `feature/base-extension-roadmap`。
|
||||
撰写日期:2026-10-01。配套:[路线图](2026-10-01-base-extension-roadmap.md)、[兼容规则](2026-10-01-extension-compat-policy.md)。
|
||||
|
||||
## 1. 四种形态
|
||||
|
||||
下游按需要选一种或组合。基座对四种形态使用同一份 manifest 与同一套 fail-closed:任一资产解析失败则整包拒绝,保留上一状态。
|
||||
|
||||
| 形态 | 下游交付 | 基座职责 |
|
||||
|---|---|---|
|
||||
| 声明 | `plugin.json` + 资产目录 | 注册 tools/skills/mcp/knowledge/parsers/agents/channels/pages/commands/… |
|
||||
| 进程内编译 | 下游 `main` import `pkg/extension` 并 `RegisterCompiled` | `link` + builder 模式产出**下游自己的**单二进制 |
|
||||
| sidecar | 原生进程,manifest `backend.mode=sidecar` | 拉起、健康(进程存活)、停止;环境变量注入 Host API |
|
||||
| 前端 ESM | `pages/*.json` 指向模块 | UI SDK 只暴露命令、SSE 与 `@ui` 组件;页面不得另起设计令牌 |
|
||||
|
||||
进程内编译适合要事务一致性的领域逻辑。sidecar 适合异构语言或强隔离。声明式 HTTP 工具仍然只描述调用,不携带任意代码。
|
||||
|
||||
## 2. manifest 增补
|
||||
|
||||
`apiVersion` 用 `2.0-experimental` 才强制网络白名单。字段见 `modules/core/plugin_v2.go`。
|
||||
|
||||
- `provides.skills`:`skills/<name>.md`,宿主写入 `<data>/skills/plugin-<id>/`。
|
||||
- `provides.mcpServers`:并入小队 MCP 配置(与 `tools.mcp.servers` 合并)。
|
||||
- `provides.knowledge|parsers|agents|channels|pages`:声明登记,供清单 API 与前端加载。
|
||||
- `scope.tenants/projects`:空 = 全部可见。
|
||||
- `backend.command`:sidecar 可执行文件(相对插件目录或 PATH)。`schemaVersion` 记入 `plugin_schema`。
|
||||
|
||||
密钥查找顺序:`secrets.<pluginId>.<authRef>`(按工具执行时的 `OwnerID`),再回落同名全局设置。不再在绑定期固定读 `OwnerDefault`。
|
||||
|
||||
## 3. Host API(sidecar 与外部进程)
|
||||
|
||||
监听由基座在本机拉起,令牌随进程环境变量 `AGENT_HOST_API`、`AGENT_HOST_TOKEN` 下发。
|
||||
|
||||
| 方法 | 路径 | 作用 |
|
||||
|---|---|---|
|
||||
| PUT/GET | `/host/v1/kv/{key}` | 插件隔离 KV(带 owner 与 plugin id) |
|
||||
| POST | `/host/v1/audit` | 写通用审计 |
|
||||
| POST | `/host/v1/commands/{id}` | 走命令总线 |
|
||||
| POST | `/host/v1/llm` | 代理聊天补全;未配置模型返回 503,不静默伪造 |
|
||||
| GET | `/host/v1/knowledge/search` | 混合检索(引擎在基座) |
|
||||
|
||||
插件故障不拖垮基座:sidecar 退出只记日志与审计,不退出主进程。
|
||||
|
||||
## 4. 进程内注册
|
||||
|
||||
```go
|
||||
func init() {
|
||||
extension.RegisterCompiled(extension.InProc{
|
||||
ID: "rdm",
|
||||
Register: func(reg extension.Registry) error {
|
||||
return reg.AddSkill("rdm-note", "# …")
|
||||
},
|
||||
})
|
||||
}
|
||||
```
|
||||
|
||||
下游 main:
|
||||
|
||||
```go
|
||||
import _ "agent-system-backend/pkg/extension/link"
|
||||
func main() { extension.Main(extension.Options{Addr: "127.0.0.1:8787"}) }
|
||||
```
|
||||
|
||||
## 5. 前端
|
||||
|
||||
`@ui` 导出 `createPluginBridge`:`execCommand` 与 `subscribeEvents`。插件页面模块默认导出 `mount(el, bridge)` / `unmount()`。宿主按 `pages[].module` 动态 `import()`。插件 TSX 与基座一样受 design-guard 约束(令牌、无私人 keyframes、无行内字号)。
|
||||
|
||||
## 6. 生命周期
|
||||
|
||||
- 启用:`POST /api/plugins/{id}/enabled`,按租户记 `plugin_grants`。
|
||||
- 升级:`backend.schemaVersion` 大于已记录版本时调用宿主迁移钩子(KV 命名空间不清空;钩子由进程内扩展提供)。版本只升不降,降级拒绝装载。
|
||||
- 管理面:`GET /api/plugins` 返回 manifest(含 v2 provides)以及技能/页面/渠道声明。既有设置页「插件」分组继续承担热重载。
|
||||
|
||||
## 7. 开发体验
|
||||
|
||||
- `make plugin-new NAME=<id>` 在 `examples/plugins/<id>` 生成声明式骨架。
|
||||
- `examples/plugins/decl-demo`、`examples/downstream-rdm`、`examples/sidecar-demo`、`examples/page-demo` 各覆盖一种形态。
|
||||
- 验收:`examples/downstream-rdm` 的测试不导入 `internal`,并由 `make test-boundaries` 卡住。
|
||||
@@ -0,0 +1,271 @@
|
||||
# 通用智能体、小队与意图:完善、借鉴与解耦
|
||||
|
||||
状态:**proposed(2026-10-02)**;owner:weichen;主任务:Dev 仓 `feature/agent-stack-blueprint`。
|
||||
规范依据:Development-Guidelines(workflows/delivery.md、standards/collaboration.md、standards/agent-execution.md);本文是项目级消费,不复制其正文。
|
||||
撰写日期:2026-10-02。证据见 [2026-10-02-agent-stack-audit.md](../records/2026-10-02-agent-stack-audit.md)。
|
||||
前序:[2026-10-01-agent-harness.md](2026-10-01-agent-harness.md) 定义了回合循环、完成判定和 P0–P4。那些阶段已经落在产品 Backend。本文把同一类能力收成三个可独立使用的库,并补上审计里的缺陷与对外借鉴。
|
||||
|
||||
本文只定义目标、裁定、分期和验收。不在本文实施。
|
||||
|
||||
---
|
||||
|
||||
## 1. 问题
|
||||
|
||||
三个库今天能跑,但换一个宿主就要重写一遍,而且库与库之间还互相依赖。
|
||||
|
||||
- **通用能力长在产品里。** 终轮验证、提醒、子代理画像、后台通知、评审、意图到工作流、critic 在 `modules/backend/internal/runtime` 与 `internal/runmgr`。直连、小队、子代理没有共用同一套门禁:`adapters/native` 不透传 Stop、Reminders、RepeatGuard、BeforeTool(审计 N31)。
|
||||
- **测过的组合不是发布的组合。** Backend 编译用自己的 `deps/`(intent `7d9d505`、squad `5cbac00`)。Dev 指针是 intent `1dbbe81`、squad `590fd86`。Squad 自测用的 native 是 `a34689c`,不是产品里的 `c6d867c`(审计 X1)。
|
||||
- **恢复不可靠。** 内核在工具预算用尽时留下没有结果的工具调用(N1)。Squad 的状态文件不是原子写,授权和修复预算不落盘,恢复会重跑正在执行的步骤,带 `RequiresApproval` 的步骤批准后再次挂起(Q1–Q5)。
|
||||
- **实现级耦合。** 内核的 go.mod 为了没有调用方的 `adapters/intentgate` 依赖 Intent(X4)。Squad 的公开类型直接露出 `exec.Backend`、`*llm.Client`、`tools.*`(X5)。意图闸门有四套,动作键有四种(X8)。
|
||||
|
||||
编排裁定(本次已确认):多智能体编排统一到 Agent-Squad。`core.WorkflowDef` 仍是插件作者面对的契约,Backend 把它编译成 Squad 的图,现有 `internal/workflow` 执行器退役。
|
||||
|
||||
## 2. 借鉴什么
|
||||
|
||||
只列会改这三个库的行为或接口的条目。链接是公开文档,版本以 2026-10-02 查阅为准。
|
||||
|
||||
### 2.1 回合循环(Agent-Native)
|
||||
|
||||
| 借鉴 | 来源 | 落到本库 |
|
||||
|---|---|---|
|
||||
| 钩子先于规则;deny 在放行模式下仍然生效;allow 不能跳过 deny / ask;规则可按参数模式匹配;子代理继承父会话权限,插件里的智能体定义不能声明钩子、MCP 和权限模式 | [Claude Agent SDK hooks](https://code.claude.com/docs/en/agent-sdk/hooks)、[permissions](https://code.claude.com/docs/en/agent-sdk/permissions.md)、[subagents](https://code.claude.com/docs/en/subagents) | HookBus。事件对齐 PreToolUse、PostToolUse、PostToolUseFailure、PostToolBatch、Stop、SubagentStart/Stop、PreCompact、PermissionRequest、SessionStart/End。决策为 allow / deny / ask / modify / block,带原因,并带「已在续跑中」标志防止递归 |
|
||||
| 输入检查只作用于入口智能体,输出检查只作用于给出最终结果的那个,工具检查每次调用都跑 | [OpenAI guardrails](https://openai.github.io/openai-agents-python/guardrails/) | 三类 guardrail。Backend 的终轮验证下沉为输出 guardrail |
|
||||
| span 名为 `invoke_agent`、`chat`、`execute_tool`、`plan`、`invoke_workflow`;提示词和工具参数默认不采集 | [OTel GenAI agent spans](https://github.com/open-telemetry/semantic-conventions-genai/blob/main/docs/gen-ai/gen-ai-agent-spans.md)、[可观测性说明](https://opentelemetry.io/blog/2026/genai-observability/) | 三库事件用同一套名字。层级是工作流包含智能体调用,智能体调用包含模型调用和工具执行 |
|
||||
| 压缩、清理旧工具结果、记忆是三种不同手段;压缩后保留摘要和最近用过的文件;前缀稳定、只追加、序列化结果确定,才能吃到缓存;工具定义不在运行中增删;完整结果落文件,上下文里留可恢复的路径 | [上下文工程](https://www.anthropic.com/engineering/effective-context-engineering-for-ai-agents)、[cookbook](https://platform.claude.com/cookbook/tool-use-context-engineering-context-engineering-tools)、[Manus](https://manus.im/en/blog/Context-Engineering-for-AI-Agents-Lessons-from-Building-Manus) | ContextManager。压缩按工具配对边界裁剪(同时修 N7)。system 段不放秒级时间戳。工具清单顺序固定。旧工具结果可替换成路径。计划提醒按成本节流:反复改写待办会占掉大量动作([整理](https://rlancemartin.github.io/2025/10/15/manus/)) |
|
||||
| 长任务先落功能清单和进度文件,之后每个会话只做一项并留下可交接的状态;有的模型需要清空上下文再交接,有的可以靠自动压缩连续跑 | [长任务 harness](https://www.anthropic.com/engineering/effective-harnesses-for-long-running-agents)、[harness 设计](https://www.anthropic.com/engineering/harness-design-long-running-apps) | 内核负责可恢复的 RunState。会话清空再交接是 Squad 的一种拓扑,不是内核默认行为 |
|
||||
| 工具按需加载;模型写代码批量调用工具,中间结果不进上下文 | [advanced tool use](https://www.anthropic.com/engineering/advanced-tool-use)、[programmatic tool calling](https://platform.claude.com/docs/en/agents-and-tools/tool-use/programmatic-tool-calling) | 注册表支持延迟加载和 `tool_search`。Backend P4 的脚本宿主下沉为「代码编排工具」端口,产品只留开关和确认 |
|
||||
| 只对写文件类工具做检查点,shell 改动不追踪 | [file checkpointing](https://code.claude.com/docs/en/agent-sdk/file-checkpointing) | write / edit / multi_edit 记录改前内容,可回滚到某条用户消息;同时改成临时文件再 rename(修 N15) |
|
||||
| 子代理 frontmatter:说明、提示、工具、禁用工具、模型、权限、技能、轮次上限、记忆范围、力度、是否后台、是否隔离工作树 | [subagents](https://code.claude.com/docs/en/subagents) | AgentSpec 采用这些字段,再加 `outputSchema` |
|
||||
| `SKILL.md` 的 name 与目录同名、小写连字符、description 说明何时使用;客户端扫描 `.agents/skills/` | [Agent Skills](https://agentskills.io/specification) | 加载器按该规范校验,并扫描 `.agents/skills/` |
|
||||
| MCP 2026-07-28:无状态核心;长任务用 tasks/get、update、cancel;需要用户输入时返回 `input_required`,客户端重试原请求;工具 schema 放到 JSON Schema 2020-12 | [changelog](https://modelcontextprotocol.io/specification/2026-07-28/changelog.md)、[RC 说明](https://blog.modelcontextprotocol.io/posts/2026-07-28-release-candidate/) | 客户端认 `resultType`。`input_required` 接到审批端口。Tasks 接到后台任务。同时修 N3、N18 |
|
||||
|
||||
### 2.2 编排(Agent-Squad)
|
||||
|
||||
| 借鉴 | 来源 | 落到本库 |
|
||||
|---|---|---|
|
||||
| 工作流分五类:链式、路由、并行、编排者-工人、评估-优化 | [Building effective agents](https://www.anthropic.com/engineering/building-effective-agents) | 现有 standard / router / leader 分别覆盖前三类里的大部和编排者-工人。缺评估-优化循环和投票。critic 从 Backend 工作流收成一种拓扑 |
|
||||
| 执行器加有类型的边;按 superstep 推进,步结束做检查点;恢复要求图结构不变。检查点以 thread 为键,并行分支里已成功的写入单独保存,崩溃不丢。挂起与恢复是同一对原语。持久化分退出时、异步、同步三档 | [MAF workflows](https://learn.microsoft.com/en-us/agent-framework/workflows/workflows)、[edges](https://learn.microsoft.com/en-us/agent-framework/workflows/edges)、[checkpoints](https://learn.microsoft.com/en-us/agent-framework/workflows/checkpoints)、[LangGraph checkpointers](https://docs.langchain.com/oss/python/langgraph/checkpointers)、[interrupts](https://docs.langchain.com/oss/python/langgraph/interrupts) | 图执行取代「相邻 Parallel 标记」。步骤带 attempt id。这一层同时修 Q1–Q5 和 Q7 |
|
||||
| 内置顺序、并行、群聊、交接、Magentic。并行分支默认不共享对话,状态通过事件里的增量写入 | [MAF magentic](https://learn.microsoft.com/en-us/agent-framework/workflows/orchestrations/magentic)、[ADK parallel](https://adk.dev/agents/workflow-agents/parallel-agents/)、[ADK state](https://adk.dev/sessions/state/) | Topology 插件加这组内置实现。黑板改成可回放的增量 |
|
||||
| 编排者维护任务账本(事实、猜测、计划)和进度账本(是否完成、是否卡住);卡住就重规划,并限制轮数、连续卡顿和重置次数 | [Magentic-One](https://microsoft.github.io/autogen/dev/user-guide/agentchat-user-guide/magentic-one.html) | Squad 黑板已接近任务账本。leader 补进度账本、卡顿检测和重规划上限 |
|
||||
| 终止条件可用 AND / OR 组合 | [AutoGen termination](https://microsoft.github.io/autogen/stable/user-guide/agentchat-user-guide/tutorial/termination.html) | 轮次、修复预算、唤醒次数、超时收成 Termination |
|
||||
| 交接把最终回答的所有权交出去;当作工具调用则管理者保留所有权。能用一个智能体就先用一个 | [orchestration](https://developers.openai.com/api/docs/guides/agents/orchestration)、[handoffs](https://openai.github.io/openai-agents-python/handoffs/)、[Swarm](https://microsoft.github.io/autogen/0.7.3/user-guide/agentchat-user-guide/swarm.html) | handoff 原语带历史过滤器。TeamSpec 声明谁拥有最终回答 |
|
||||
| 团队:每人独立上下文,共享可认领的任务表(依赖未完成不能领),点对点邮箱。别人发来的消息不能代替用户表示同意 | [agent teams](https://code.claude.com/docs/en/agent-teams) | platform 的队列改成 task-board 拓扑,加 mailbox。智能体消息不能携带用户授权,从根上去掉 wakeup 自动批准(Q8) |
|
||||
| 委派要写清目标、输出格式、工具和边界;投入随问题伸缩。写操作保持单线程,因为动作带着别人看不见的决定;只读探索可以并行 | [多智能体研究系统](https://www.anthropic.com/engineering/multi-agent-research-system)、[Don't Build Multi-Agents](https://cognition.com/blog/dont-build-multi-agents)、[后续](https://cognition.com/blog/multi-agents-working) | 步骤声明自己写哪些工件。调度默认:只读可并行,写同一工件必须串行。委派模板结构化。上游产物落文件,下游拿路径和最新黑板(修 Q11) |
|
||||
| A2A 1.0:Agent Card、每接口一个协议版本、任务有固定状态机 | [A2A 1.0](https://a2a-protocol.org/v1.0.0/specification/)、[v1 变化](https://a2a-protocol.org/latest/whats-new-v1/) | 适配器:远端智能体作为一种 Executor;本团队也可发布 Agent Card。跨库结果状态对齐 A2A 任务状态,不自造第四套词 |
|
||||
|
||||
### 2.3 理解(Agent-Intent)
|
||||
|
||||
| 借鉴 | 来源 | 落到本库 |
|
||||
|---|---|---|
|
||||
| 一次用户话可以产出多条命令:开始流程、填槽、改槽、取消、澄清、闲聊、转人工。规则触发排在模型之前 | [Rasa 对话理解](https://rasa.com/docs/learn/concepts/dialogue-understanding/)、[命令生成](https://rasa.com/docs/reference/config/components/llm-command-generators/)、[流程启动](https://rasa.com/docs/reference/primitives/starting-flows/) | 输出从「一个意图」改为命令列表。Start 带 ActionRef。现有规则漏斗仍是确定性第一层。模型层是可选端口,执行仍归宿主 |
|
||||
| 用示例句的向量相似度做路由,低于阈值则不命中 | [semantic-router](https://github.com/aurelio-labs/semantic-router) | 规则层和模型层之间的语义端口。向量模型由宿主注入,核心不做 I/O。IntentSpec 增加 examples。用来减轻中文子串误命中(I3) |
|
||||
| 只把相关流程交给生成器;评测逐轮写出期望命令 | [命令生成器](https://rasa.com/docs/pro/customize/command-generator/)、[评测](https://rasa.com/docs/reference/testing/e2e/dialogue-understanding-tests/) | Catalog 按相关度取 top-k,Metadata 白名单。`intentctl eval` 改为多轮并输出 precision / recall |
|
||||
|
||||
### 2.4 二次对照增补(2026-10-03)
|
||||
|
||||
2026-10-03 重新读了 [pi v1.0.1](https://github.com/earendil-works/pi)(`4c6fb7cf`,MIT)和 [ZCode v3.14.3](https://github.com/zai-org/ZCode)(`29628c9a`,Apache-2.0)。评级、本仓落点和拒绝理由见 [2026-10-03-pi-zcode-second-pass.md](../records/2026-10-03-pi-zcode-second-pass.md)。pi-durable 在 v1.0.1 的事实更正见 [2026-10-03-pi-durable-review.md](../records/2026-10-03-pi-durable-review.md) 文首。
|
||||
|
||||
这一节只把会改三个库或产品行为的新增条目收进来。不改变第 5 节的阶段顺序,也不把上游包引进来。
|
||||
|
||||
| 借鉴 | 来源 | 落到本库 | 阶段 |
|
||||
|---|---|---|---|
|
||||
| 溢出识别用模式表;Retry-After 解析失败时指数退避;只在还没向调用方发出增量时重试;`length` 或未写完的工具调用不执行 | pi `packages/ai`,v0.99–v1.0.1 | Native 的 provider 客户端与 SSE 解析。Backend 直连默认有限次重试。用量拆成上一请求和累计 | N3 的模型回退与流重试;本项先做 |
|
||||
| 运行内把旧工具结果换成路径;压缩按工具配对边界;写文件前必须读过且文件未被改过 | ZCode `packages/core` 的 compact 与 read-file-state;pi durable 的 compaction-as-entry | Native 的 ContextManager 与会话压缩。提醒不再追加成 user 消息 | N2 |
|
||||
| 权限分计划、默认、自动改文件三档;deny 先于 ask 先于 allow;钩子事件与决策走同一条总线 | ZCode `packages/core` 的 permission 与 hooks;本提案 §2.1 已列事件名 | Native 的 PermissionPolicy 与 HookBus。不提供绕过确认的档位 | N1 |
|
||||
| 工具调用先记意图再记结果;只有两次声明都是 safe 才重放;写文件可回滚,shell 不追踪 | pi durable README 的 Tools 与 Compaction;ZCode `contracts/rewind` | Native 的 RunState 与文件检查点。不回滚对话历史,不做透明续跑 | N3 |
|
||||
| 模型写脚本批量调用工具,中间结果不进上下文;MCP 工具可延迟暴露,首条提示不等服务器连上 | pi `packages/codemode` 与 `docs/mcp.md`;本提案 §2.1 的代码编排端口 | Native 的代码编排端口与 MCP 客户端。产品开关默认关 | N2 |
|
||||
|
||||
### 2.5 SillyTavern 对照里会改产品行为的条目(2026-10-04)
|
||||
|
||||
对照 [SillyTavern 1.19.0](https://github.com/SillyTavern/SillyTavern) `06bde939`。只借设计。许可证、评级、拒绝项和暂缓项见 [2026-10-04-sillytavern-review.md](../records/2026-10-04-sillytavern-review.md)。下列条目在同一任务里落地。
|
||||
|
||||
| 借鉴 | 来源设计 | 落到本仓 |
|
||||
|---|---|---|
|
||||
| 带标签的多密钥,同时只生效一把;读出只给掩码;迁入前先留设置快照 | 密钥与设置快照 | Backend `secret_keys` / `settings_snapshots`。运行时优先读生效密钥,否则仍读设置里的旧字段 |
|
||||
| 个人指令和会话要求附在上下文末尾 | persona 与 Author's Note | `context.userInstructions` 与会话 `sessionNote`,经 `reminders.Attach` 注入 |
|
||||
| 关键词或正则、次关键词、扫描最近 N 条、常驻、预算 | 世界书的精简子集 | `context_entries`。不做概率、递归、分组和定时 |
|
||||
| 组装时给出分段估算和系统前缀哈希;估算为 UTF-8 字节 / 3.35,并用上一请求用量校准 | 提示词分段视图 | `ContextObservation.sections` / `prefixHash`。`context.contextWindow` 只丢掉最早的历史 |
|
||||
| 合并相邻同角色;严格模式再收起多余的 system | 按 endpoint 做消息整形 | agent-native `PrepareMessages`,设置 `context.messageShape` |
|
||||
| 复制、成组排除出上下文、追加式候选回复并联动文件回滚 | 对话操作 | 不删除消息。重新生成排除旧候选,新回复写入同一 `variantGroup` |
|
||||
| 用户 `/` 命令展开成提示词 | 快捷指令 | `user_commands`,登记为 agent-command 的 `user` 来源。不自动触发 |
|
||||
|
||||
## 3. 解耦
|
||||
|
||||
三个库各自能单独编译、单独测试、单独被第三方使用。配合发生在组合根,不发生在核心模块里。
|
||||
|
||||
依赖规则:
|
||||
|
||||
- 核心模块互不依赖。只依赖 error-code-system 和 logging-system。
|
||||
- 端口由使用方定义。Squad 定义 Executor、ModelClient、IntentGate、Store。Native 定义 Provider、Tool、Memory、Checkpoint、Telemetry。Intent 定义 Classifier、Embedder、CommandGenerator。
|
||||
- 跨库适配器放在使用方仓库的独立子模块,各自有 go.mod。只有适配器可以同时依赖两个库。
|
||||
- 互通格式由定义它的库发布 JSON Schema 和样例,不共享 Go 类型。AgentSpec 归 Native,IntentSpec / 命令 / ActionRef 归 Intent,TeamSpec / 图归 Squad。
|
||||
- 共同词表直接用外部标准:事件名用 OTel GenAI,结果状态用 A2A 任务状态,trace 沿用 logging-system 的 trace_id。不新建共享协议模块。
|
||||
|
||||
模块布局:
|
||||
|
||||
```text
|
||||
agent-native/ 回合循环、HookBus、ContextManager、完成判定、
|
||||
provider、tools、mcp、skills、session、
|
||||
memory、checkpoint、telemetry。
|
||||
exec 是唯一对外入口。schema/
|
||||
agent-intent/ 规则漏斗、命令列表、ActionRef、Catalog。schema/
|
||||
agent-squad/ 图执行、Topology、Termination、端口定义。schema/
|
||||
adapters/native/ 独立 go.mod。实现 Executor 与 ModelClient
|
||||
adapters/intent/ 独立 go.mod。实现 IntentGate 与目录映射(现 squadintent)
|
||||
adapters/a2a/ 独立 go.mod
|
||||
adapters/sqlite/ 独立 go.mod。现 platform 的持久层
|
||||
cmd/agent-squad/ 独立 go.mod。CLI 与 HTTP 组合根
|
||||
```
|
||||
|
||||
每个概念只留一处:
|
||||
|
||||
| 概念 | 唯一处 | 不再出现在 |
|
||||
|---|---|---|
|
||||
| 智能体定义 | AgentSpec | Backend 的 `agent-sub-*.md` 迁成 AgentSpec 文件。RoleSpec 只加团队属性 |
|
||||
| 意图识别 | agent-intent | 删除 native 的 `adapters/intentgate`。Backend 闸门改为消费同一次识别结果 |
|
||||
| 路由 | 宿主里的一个 Router,按 ActionRef 分发 | 命令、工作流、小队、普通回合四个分支不再各写一套判断 |
|
||||
| 能力目录 | intent 的 Catalog | Squad 规划器和直连路径都注入这一份 |
|
||||
| 工作流执行 | Squad 图执行 | Backend `internal/workflow` 退役。`core.WorkflowDef` 只作为编译输入 |
|
||||
| 人工确认 | 宿主渲染并回填 | 库只发信号:权限请求、MCP `input_required`、图的 interrupt、Clarify 命令 |
|
||||
| 预算 | Native 管一个智能体;Squad 管团队并分给步骤;Backend 管配额 | 三处不再各算各的 token 账 |
|
||||
|
||||
版本:
|
||||
|
||||
- 模块路径改为可 `go get` 的路径并打 semver。改路径会打断现有 import,与路线图第 4 节一样,单独发版,不塞进功能阶段。
|
||||
- 库仓不再嵌套兄弟库的 gitlink。适配器子模块用 go.mod 版本钉依赖。
|
||||
- Dev 根增加 `go.work`,让 `make test` 测的就是将要发布的组合。增加检查:Backend 编译用到的每个库 SHA 等于 Dev 指针。
|
||||
- 这项会改变 `make build` 实际编译的代码来源。实施 R0 时要同时核对 Releases 仓从本仓固定提交导出的流程,避免导出物突然改用另一套 SHA。
|
||||
- `lint-boundaries` 增加:核心模块的 `go list -deps` 不得出现兄弟库;agent-intent 只允许被 `adapters/intent` 和 Backend 的识别适配导入。
|
||||
|
||||
```mermaid
|
||||
flowchart TB
|
||||
subgraph host [宿主]
|
||||
Router["按 ActionRef 分发"]
|
||||
Root["组合根装配适配器"]
|
||||
end
|
||||
subgraph intentCore [agent-intent]
|
||||
Commands["命令列表与 Catalog"]
|
||||
end
|
||||
subgraph squadCore [agent-squad]
|
||||
GraphExec["图执行"]
|
||||
SquadPorts["Executor / ModelClient / IntentGate / Store"]
|
||||
end
|
||||
subgraph nativeCore [agent-native]
|
||||
Loop["回合循环"]
|
||||
end
|
||||
subgraph adapters [agent-squad/adapters]
|
||||
AdNative["native"]
|
||||
AdIntent["intent"]
|
||||
end
|
||||
Router --> Commands
|
||||
Router --> GraphExec
|
||||
Router --> Loop
|
||||
Root --> AdNative
|
||||
Root --> AdIntent
|
||||
AdNative --> SquadPorts
|
||||
AdNative --> Loop
|
||||
AdIntent --> SquadPorts
|
||||
AdIntent --> Commands
|
||||
```
|
||||
|
||||
## 4. 目标行为
|
||||
|
||||
一个智能体是一份 AgentSpec:工具、模型、轮次、技能、权限、钩子、输出 schema。直连会话、子代理、小队角色用同一份。小队角色只多团队属性(并发上限、是否拥有最终回答、可交接给谁)。
|
||||
|
||||
一次小队运行是一张图。调度按依赖和读写集决定谁可以并行。每步结束写检查点。需要人时挂起,同一入口恢复。进程死在任意步边界,恢复不重复已成功步骤的副作用,也不丢掉已批准的授权。
|
||||
|
||||
一次用户话先变成命令列表。规则层能确定的不过模型。宿主的 Router 只看 ActionRef:命令、工作流、小队或普通回合。Intent 不执行。
|
||||
|
||||
插件作者仍然写 `WorkflowDef`、意图 JSON 和工具声明。新增智能体写 AgentSpec 文件。新增小队写 TeamSpec。新增拓扑实现 Topology。这些入口在各阶段的验收里逐个对照,避免再长出第五套键。
|
||||
|
||||
沙箱仍由宿主负责。库声明自己不是操作系统沙箱。
|
||||
|
||||
## 5. 分期
|
||||
|
||||
每阶段单独任务。依赖:R0 先做。R1 在三个库内并行。R1 之后做 D1。D1 之后 N1、Q1、I1 可以同时做。它们完成后再做 N2、Q2、I2。N3 在 N2 之后。Q3 在 Q2、N1、I1 之后。
|
||||
|
||||
N1 / Q1 / I1 的实施方案见 [2026-10-07-agent-stack-n1q1i1-plans.md](2026-10-07-agent-stack-n1q1i1-plans.md)。
|
||||
|
||||
### R0 组合一致性
|
||||
|
||||
Dev 根 `go.work`。检查脚本对比 Backend `deps/` 与 Dev 指针。`lint-boundaries` 加上文第 3 节的依赖断言。核对 Releases 导出是否跟随 `go.work`。
|
||||
|
||||
验收:故意把 Backend 的 squad 指针留在旧 SHA 时检查失败;指针对齐时 `make test` 通过。文档写明 `make build` 编译的是哪一套 SHA。
|
||||
|
||||
### R1 缺陷
|
||||
|
||||
三个库各自独立 PR,只修审计中的 P0,外加安全向 P1:N13、N14、Q8、Q14、Q15、Q16。每条带回归测试。
|
||||
|
||||
验收:审计表里对应编号有测试名。Squad 的崩溃恢复至少覆盖「批准后能执行」「重启后授权还在」「running 步骤不执行第二次」。Native 的预算用尽用例里,历史中每个 tool_call 都有结果。
|
||||
|
||||
### D1 结构解耦
|
||||
|
||||
Native 去掉对 agent-intent 的依赖,合并 contract 与 exec,拆 Options。Squad 核心改为自有端口,跨库代码进 adapters 子模块,CLI 进 cmd。Intent 的校验器改为 Registry 作用域,并校验分类器输出。三库发布 JSON Schema 样例。删除嵌套兄弟库 gitlink 与改模块路径分开发版任务,本阶段只把依赖方向改对,路径可以仍用 replace。
|
||||
|
||||
验收:`go list -deps` 符合第 3 节。Squad 核心测试不链接 agent-native。用适配器子模块跑通现有 conformance。Backend 行为不变,用现有 `make test` 证明。
|
||||
|
||||
### N1 内核 harness
|
||||
|
||||
AgentSpec、HookBus、PermissionPolicy、三类 guardrail。CompletionGate 与提醒从 Backend 下沉。`adapters/native` 透传钩子。Backend 改为消费,A/B 对照直连行为。
|
||||
|
||||
验收:同一组脚本化模型输出,下沉前后的停止原因、提醒次数和工具拒绝一致。插件里的 AgentSpec 不能带钩子和权限模式。
|
||||
|
||||
### N2 上下文、协议与工具
|
||||
|
||||
ContextManager 与缓存友好规则。Anthropic 原生消息含 tool_use 与 thinking 签名。延迟加载工具、tool_search、代码编排工具端口。MCP 认 `resultType`。skills 按开放规范校验。子代理可后台、有独立转录、可恢复。
|
||||
|
||||
验收:选 anthropic 预设能完成一轮工具调用(可用录制的 HTTP 夹具,不要求真实密钥)。压缩后的历史不出现孤立 tool_call。MCP 取消不再留下第二个读者(修 N3 若 R1 未覆盖到协议层)。
|
||||
|
||||
### N3 持久与可观测
|
||||
|
||||
RunState 可恢复。文件检查点可回滚。Memory 端口。事件可导出为 OTel GenAI span。成本分「上一请求」与「累计」。模型回退链。流式错误默认重试。
|
||||
|
||||
验收:回合中途杀进程,恢复后工具配对仍成立。回滚只撤销 write / edit / multi_edit。span 名与约定一致,默认不含提示词正文。
|
||||
|
||||
### Q1 图执行
|
||||
|
||||
superstep、三档检查点、attempt id、interrupt / resume。`Needs` 驱动依赖。读写集。可组合 Termination。Store 接口。platform 的 SQLite 成为 Store 的一个实现,不再单独驱动一套运行。
|
||||
|
||||
验收:在每个 superstep 边界杀进程再恢复,已成功步骤的副作用次数为 1。两个写同一工件的步骤不会并行。文件 run 与 SQLite 不再各记一份步骤状态。
|
||||
|
||||
### Q2 拓扑
|
||||
|
||||
内置:sequential、parallel、loop、router、leader(含进度账本和重规划上限)、handoff、group-chat、review、evaluator-optimizer、long-running、task-board 与 mailbox。
|
||||
|
||||
验收:每种拓扑有一个脚本化后端的 conformance。review 等价于今天的「并行找问题、逐条验证、丢掉未验证」。mailbox 消息不能把挂起的权限批准掉。
|
||||
|
||||
### Q3 收敛与互通
|
||||
|
||||
Backend 把 `WorkflowDef` 编译成 Squad 的图。`internal/workflow` 与把小队步骤压成 `SpawnSubagent` 的路径退役。委派模板含目标、输出格式、工具和边界。`adapters/a2a` 双向。产品默认执行后端改为 agent-native,用同一批任务的 A/B 对照作门禁。
|
||||
|
||||
验收:现有示例插件 `demo.brief` 与 `demo.script` 经编译后的图跑通,行为与 P4 裁定一致(步数上限、确认、脚本开关)。A/B 对照记录差异,不要求字节级相同。
|
||||
|
||||
### I1 命令化识别
|
||||
|
||||
命令列表与 ActionRef。中文匹配的词界或最短词长。同分时可按 priority 决胜。Catalog 白名单与 top-k。Backend 唯一 Router 消费 ActionRef。
|
||||
|
||||
验收:审计 I1、I2、I3、I5 有回归。一条用户话可以产出 SetSlot 加 Start。命令 id、工作流 IntentID、小队 blueprint 都通过 ActionRef 到达 Router,插件清单不改字段名。
|
||||
|
||||
### I2 分层与评测
|
||||
|
||||
语义端口与 examples。模型命令生成端口,输出做与 I1 相同的校验。对话状态仍由宿主持有,库只提供「给定状态,产出命令」的函数。多轮评测输出 precision / recall。文档写明无繁简转换。
|
||||
|
||||
验收:分类器返回未知 ID 时结果保持 Ambiguous。eval 对一份不少于现有语料规模的多轮夹具给出指标,而不是只打印分支名。
|
||||
|
||||
### E 评测(每阶段都带,不单列阻塞)
|
||||
|
||||
Native:配对、取消、预算、压缩。Squad:步边界杀进程。Intent:多轮语料。Dev 组合:少量真实任务加人工复核,不把模型自报当通过。
|
||||
|
||||
## 6. 不在本文范围
|
||||
|
||||
- 合入上述任何阶段。
|
||||
- 操作系统级沙箱。宿主隔离责任保持现状,文档继续声明。
|
||||
- 改模块路径和打 tag。那是发版动作,由所有者确认后执行。
|
||||
- 为单一产品预造领域角色库。TeamSpec 只定义格式;角色内容仍由产品和插件提供。
|
||||
- 把 PromptTrigger 关键词并进 Intent。技能触发仍是提示词装配。若两套同时命中,Router 的优先级在 I1 任务里写明,本文不预设谁赢。
|
||||
|
||||
## 7. 验收(本文)
|
||||
|
||||
- 本文件与审计记录互相链接。
|
||||
- [2026-10-01-agent-harness.md](2026-10-01-agent-harness.md) 与 [2026-10-01-base-extension-roadmap.md](2026-10-01-base-extension-roadmap.md) 指向本文。
|
||||
- 不改 Go 代码,不改三个库的指针。
|
||||
@@ -0,0 +1,47 @@
|
||||
# EXT-1:进程内命令处理器与 owner 作用域宿主句柄(最小集)
|
||||
|
||||
状态:**实施中(2026-10-05)**;owner:weichen;主任务:Dev 仓 `feature/ext-1-inproc-handler`(任务卡即本提案的申请卡)。
|
||||
撰写日期:2026-10-05。配套:[扩展面兼容与演进](2026-10-01-extension-compat-policy.md)、[基座路线图修正](2026-10-01-base-extension-roadmap.md)、V1.2 实施推进方案(批注 1 最小/完整集划分)。
|
||||
|
||||
## 1. 申请卡(compat-policy §6 四要素)
|
||||
|
||||
- **场景**:Agent-System-RDM 的 `rdm.ingest` 等命令经四入口(button/card/slash/chat)分发到 `cmdbus.Dispatch` 时被以 `no host handler bound` 拒绝——`Registry.AddCommand` 与 manifest `provides.commands` 只注册规格不绑处理器;进程内插件同时没有任何 owner 凭证与基座服务端回调身份(H4)。
|
||||
- **希望符号**:`pkg/extension` 新增 `Request` / `Handler` / `Host`(owner 作用域宿主句柄最小集)与 `Registry.AddCommandHandler(spec, h)`;基座侧配套 `cmdbus.Bus.RegisterPluginCommand`。
|
||||
- **为何现有注册点组合不出来**:`RegisterPluginCommands` 仅登记 spec;`HostClient` 走 sidecar HTTP 且需要进程内不可得的 host token;owner 作用域必须由基座在分发时构造,插件无法自造。
|
||||
- **兼容**:只加符号与方法,不改既有路径语义;`SurfaceVersion` 保持 `2.0.0-experimental`,实验窗口内的接口调整以本提案为记录。
|
||||
|
||||
## 2. 公开面变更(surface.txt 12 → 15 项)
|
||||
|
||||
`pkg/extension` 新增导出符号 `Handler`、`Host`、`Request`(见 `host.go`);`Registry` 接口追加 `AddCommandHandler` 方法(方法不计入快照)。
|
||||
|
||||
**依赖变化**:根包自此 import `agent-system-core` 类型(`KnowledgeDoc`/`RetrievalHit`/`Artifact`/`ID`),此前为零外部依赖。声明式 Go 插件的 `go.mod` 需按 compat-policy §4 模板同时 require+replace `agent-system-core`。
|
||||
|
||||
## 3. Host 接口(最小集)
|
||||
|
||||
```
|
||||
PluginID() / Owner()
|
||||
KVPut / KVGet // 按 pluginID+owner 隔离
|
||||
Audit(action, target, evidence) // owner 名下审计事件,Actor=plugin:<id>
|
||||
Complete(ctx, prompt) // 经基座 LLM 路由(owner 模型配置生效)
|
||||
KnowledgeSearch(ctx, projectID, text, topK)
|
||||
KnowledgeWrite(ctx, docs, embed) // Owner 强制改写为本次分发 owner;Source 空则补 plugin:<id>;
|
||||
// embed=false 只写全文,embed=true 建向量(失败降级纯全文)
|
||||
TaskCreate / TaskUpdate // 后台任务台账(执行体由下游自跑)
|
||||
ArtifactGet / ArtifactContent // 工件只读(R1-3 ingest 读原件)
|
||||
```
|
||||
|
||||
artifacts **写入**属完整集,R1-7 前再评估(V1.2 批注 1)。
|
||||
|
||||
## 4. 基座实现要点
|
||||
|
||||
- `cmdbus.Bus.RegisterPluginCommand(spec, h)`:登记规格(SourcePlugin)+ 绑定处理器;高危命令的内联确认卡拦截位于 handler 查找之前,插件命令天然覆盖。
|
||||
- `internal/app.hostcaps`:聚合 store/检索管线/LLM 路由,同一实现同时服务 hostapi.Server 闭包与进程内 `inprocHost`(批注 1:复用 owner 作用域函数,不新造句柄)。
|
||||
- `inprocHost` 每次分发按 `req.Owner` 新建,所有 store 调用以该 owner 为第一参数。
|
||||
- `rag.Pipeline.IndexChunks` 自 `IndexDocument` 抽出:写全文(回填 ID)后建向量,embed 失败降级语义不变。
|
||||
|
||||
## 5. 验证
|
||||
|
||||
- cmdbus:处理器被 Dispatch 调用返回 committed;仅登记规格仍 rejected(no host handler bound);高危插件命令先确认卡后执行。
|
||||
- internal/app(组合根级):两 owner 各分发一次,审计/知识/KV/任务台账各落自己 owner 名下(D8 烟测的单元级前置);`provider=hash` 档 `KnowledgeWrite(embed=true)` 写出向量行且 Owner/Source 被强制改写。
|
||||
- `examples/downstream-rdm` 增加 `rdm.ping` 处理器示范(读工件元数据 + 写审计)。
|
||||
- 权威验证源:CI 在 PR HEAD 上 `make test` + `make build`(.gitea/workflows/ci.yaml)。
|
||||
@@ -0,0 +1,51 @@
|
||||
# EXT-5:宿主句柄开放内置文档解析(含 xlsx/pptx 内置解析器)
|
||||
|
||||
状态:**实施中(2026-10-06)**;owner:weichen;主任务:Dev 仓 `feature/ext-5-host-parse`。
|
||||
规范依据:[扩展面兼容与演进](2026-10-01-extension-compat-policy.md)(§6 扩展点申请模板);前序 [EXT-1](2026-10-05-ext-1-inproc-command-handler.md)(Host 最小集)。相关:EXT-4(下游注册 inproc 解析器,备选、未提交)——方向相反,本申请不依赖它。
|
||||
撰写日期:2026-10-06。
|
||||
|
||||
## 1. 申请四要素(compat-policy §6)
|
||||
|
||||
- **场景**:Agent-System-RDM 的 F1 上传主链(`rdm.upload`,PR #103)需要解析用户上传的文档;基座 `internal/ingest` 有内置解析器但没有经 `extension.Host` 开放——下游拿到的只有 `ArtifactGet/ArtifactContent`(原件字节),要解析就得自带一份解析代码(RDM 现状:自带 md/txt/docx 解析器,pdf/pptx/xlsx 一律回「不支持」)。MS1(W4,11-01)验收第 4 条要求「报价单 Excel + 图文混排 PPT 解析完整性核对」,当前两条路都走不通:句柄没有解析方法,基座自身也没有 xlsx/pptx 解析器。
|
||||
- **希望符号**:`pkg/extension` 的 `Host` 新增一个方法:
|
||||
|
||||
```go
|
||||
// ParseDocument 用基座内置解析器把文档字节解析为 ParsedDocument(EXT-5)。
|
||||
ParseDocument(ctx context.Context, filename, mime string, content []byte) (core.ParsedDocument, error)
|
||||
```
|
||||
|
||||
同时 `internal/ingest` 新增 `builtin:xlsx`(xlsx/xlsm)与 `builtin:pptx`(pptx/pptm/ppsx)两个内置解析器——这两个是基座能力补齐,不依赖 EXT-5,上传/附件路径同步受益。
|
||||
- **为何现有注册点组合不出来**:`ParsersDescription` 只是注册表描述(设置页/文档用),没有执行入口;`PluginParserDecl.Tool` 仅接受内置名或 sidecar 工具名(core/plugin_v2.go 注释明示);Host 最小集里与文档相关的只有工件只读两个方法。下游唯一替代是复制基座解析代码进自己仓库——违背「引擎在基座」的接缝表裁定。
|
||||
- **兼容**:只加符号。实验窗口内给 `Host` 接口加方法会破坏第三方 fake 的编译(compat-policy §1 允许,须改快照并在提案里写一句);`SurfaceVersion` 保持 `2.0.0-experimental`。本次同时把契约快照升级为**记录导出接口的方法**(此前只记顶层名,加方法这类变更检测不到)。
|
||||
|
||||
## 2. 接口语义
|
||||
|
||||
- 分派按文件扩展名,与 `ingest.Parse` 完全一致(同一实现,`hostcaps.parse` 委托)。
|
||||
- 返回 error 的只有两种情况:`ctx` 已取消;输入超过 100 MiB(与上传端点 `io.LimitReader(file, 100<<20)` 同口径)。除此之外的「不可解析」都返回带 `Warnings` 的文档(显式失败,不静默),`Meta.Confidence` 相应降低。
|
||||
- 纯计算:不读写 owner 数据、不走存储。要解析工件原件,先调 `ArtifactContent`(owner 作用域由它保证),把字节传进来——不另造句柄、不新增凭证面。
|
||||
- 参数为位置参数(filename/mime/content),与 Host 既有方法风格一致;不引入 options 结构。
|
||||
|
||||
## 3. 新解析器格式与限制
|
||||
|
||||
**xlsx/xlsm(builtin:xlsx)**:工作表顺序取 `workbook.xml` 的 sheets 列表(不按文件名),target 经 rels 解析(相对/绝对路径);共享字符串含富文本 run(排除注音 `rPh`);单元格覆盖 `t=inlineStr/str/b/e/n`(布尔输出 TRUE/FALSE、错误值原样)、公式取缓存值(无缓存输出 `=公式`)、日期按内置格式 ID 与含 y/m/d/h/s 记号的自定义格式转 ISO(1900/1904 双日期系统);稀疏列按单元格引用就位,去行尾空与全空行;隐藏工作表标题标「(隐藏)」;每个工作表产出一个 heading 块 + 一个 table 块,空表跳过。
|
||||
|
||||
**pptx/pptm/ppsx(builtin:pptx)**:幻灯片顺序取 `presentation.xml` 的 `sldIdLst`;标题占位符(title/ctrTitle)产「幻灯片 N:标题」heading 块;正文形状每形状一个 para 块(`a:br` 换行);组合形状递归;`mc:AlternateContent` 只取 Choice 分支;graphicFrame 表格产 table 块(合并单元格位置留空以保持列对齐);备注页正文产「备注:…」;跳过页码/日期/页脚占位符。图片、SmartArt 不解析(无 OCR/图形理解,属远期档)。
|
||||
|
||||
**旧二进制格式 doc/xls/ppt**:不做解析,Warnings 给可操作提示(请转存 docx/xlsx/pptx 后重传)。
|
||||
|
||||
**上限**(包级变量,测试可覆盖):单元格总数 200000、列数 1024、zip 内单部件解压 64 MiB(zip 炸弹防护,docx 一并受益);超限保留已解析部分 + Warnings + `Confidence` 降 0.6,原件不受影响。
|
||||
|
||||
## 4. 验证
|
||||
|
||||
- 手工构造 OOXML zip 的单元测试:xlsx(表序/富文本/公式/日期/稀疏列/隐藏表)、pptx(sldIdLst 序/标题/组合/AlternateContent/表格/备注)、失败路径(损坏 zip/缺 workbook.xml/部件超限/超上限)。
|
||||
- openpyxl 与 python-pptx 现场生成真实文件的轮测(依赖缺失时 t.Skip;CI 已装这两个包)。
|
||||
- `internal/app` 走真实 `applyCompiled → cmdbus.Dispatch → inprocHost` 链路:alice 解析自己的 xlsx 工件成功、bob 同 ID 被拒(owner 作用域不因新方法放宽);ctx 取消与超限两条 error 路径。
|
||||
- 上传端点 e2e:xlsx 上传返回 `parser=builtin:xlsx` 且无 Warnings,知识检索命中单元格文本。
|
||||
- surface 快照按「顶层名 + 接口方法」新口径重建并通过。
|
||||
|
||||
## 5. 不在本文范围
|
||||
|
||||
- sidecar `/host/v1` 的 HTTP 解析路由(sidecar 形态可继续读字节走自己的解析;出现真实需求再申请)。
|
||||
- MinerU 交叉验证、OCR、SmartArt、旧 OLE 格式解析。
|
||||
- 上传超过 100 MiB 被静默截断的问题、`kindOf` 与 `artifactKindOf` 口径不一致——已登记为 EXT-5 盘点发现的缺陷,另行修复。
|
||||
- 下游把上传链路切到 Host 解析、RDM pin 升级到 v0.2.0:RDM 仓自己的任务卡。
|
||||
@@ -0,0 +1,323 @@
|
||||
# N1 / Q1 / I1 实施方案:内核 harness、图执行、命令化识别
|
||||
|
||||
状态:**proposed(2026-10-07)**;owner:weichen;主任务:Dev 仓 `feature/agent-stack-n1q1i1-plans`。
|
||||
上游:[2026-10-02-agent-stack-completion.md](2026-10-02-agent-stack-completion.md) §5 分期(下称「总提案」,行号以该文件为准);审计:[2026-10-02-agent-stack-audit.md](../records/2026-10-02-agent-stack-audit.md)。
|
||||
规范依据:Development-Guidelines(workflows/delivery.md、standards/collaboration.md、standards/agent-execution.md、standards/verification.md);本文是项目级消费,不复制其正文。
|
||||
|
||||
本文把总提案的 N1、Q1、I1 三个阶段落成可启动的实施方案:现状基线、工作包分解、文件级落点、测试与验收、风险。本文不实施代码;三个阶段的实现各走各的任务(总提案「每阶段单独任务」)。
|
||||
|
||||
---
|
||||
|
||||
## 1. 共同基线与三任务协调
|
||||
|
||||
### 1.1 现状基线(撰写日实测)
|
||||
|
||||
| 仓 | pin | 说明 |
|
||||
|---|---|---|
|
||||
| Agent-Native | `3a110a728cf520cfbbbafc0c4c75f14bf78bec3f` | durable-rewind-3 与 permission-hooks(PR #173)之后 |
|
||||
| Agent-Squad | `5a57636cc0b8426a86a72bbbdd5b7f30e4fcac88` | 同上 |
|
||||
| Agent-Intent | `65aaebca1ea69ab7d48eda51d33ef1d4eea5a0bf` | agent-stack-d1(R2)之后 |
|
||||
| Backend | `e7fb276ee9b3af51329a0c6df27517184b26edee` | v0.1.0-4 |
|
||||
| Core | `0b5c7747a3165bf0d0f2219204b7b70ec3ed7645` | v0.1.0 |
|
||||
|
||||
两个要点:
|
||||
|
||||
- **审计基线已旧**。审计写于 native `c6d867c` / squad `590fd86`;R1/R2 之后多条审计项在当前 pin 已修(native 侧 N1/N7/N8/N21/N22/N30/X4,squad 侧 Q1–Q5/Q7/Q14–Q16/Q18/Q19)。本文逐节标注「已修 / 仍开放」,实施时不得以审计原文为唯一依据,须以当前代码为准。
|
||||
- **D1 的借力点已成**:三库核心互不依赖(native `go.mod` 只依赖 error-code-system 与 logging-system)、Options 已按端口拆分、跨库类型只出现在 adapters 子模块。N1/Q1/I1 都假设这个地基,不再返工。
|
||||
|
||||
### 1.2 分支与合入协调
|
||||
|
||||
按 AGENTS.md「同批互不依赖的子任务用同一 R0 的兄弟分支」:
|
||||
|
||||
- 三个任务分支:`feature/agent-stack-n1`、`feature/agent-stack-q1`、`feature/agent-stack-i1`,从同一权威 `origin/main`(同一 R0)切出,互不嵌套。
|
||||
- 每个任务的 PR 链固定为三段、按序合入:**库仓 PR → Backend 仓 PR(bump 嵌套 pin + 适配)→ Dev 仓 gitlink PR(bump 顶层 pin 与 modules/backend)**。R0 已落地的检查脚本核对 Backend `deps/` 与 Dev 指针一致,不允许只推一层。
|
||||
- 三任务并行时的冲突面:N1 与 I1 都动 Backend(N1 在 `internal/app`、`internal/runtime`、`internal/runmgr`;I1 在 `internal/server`、`internal/intentgate`、`internal/runmgr`),`internal/runmgr` 是唯一重叠文件,**后合入者按 `make task-sync` 并入最新 main 后解决**;Dev 仓 gitlink pin 同理,后到者 sync 后重指。
|
||||
- Q1 若涉及 `modules/backend/internal/squadadapter` 消费方适配,改动限制在「驱动循环跟上新引擎 API」范围内;编排收敛(WorkflowDef 编译、internal/workflow 退役)是 Q3,不在 Q1。
|
||||
|
||||
### 1.3 共同验收纪律
|
||||
|
||||
- 每阶段都带 E 评测(总提案 §5 E 节):Native 的对照用脚本化模型输出,不把模型自报当通过。
|
||||
- 证据按 AGENTS.md「证据与验证门禁」:完成声明的 precheck / task-sync / 测试三段输出由 `make evidence` 写入任务卡;测试通过的权威源是 CI(PR HEAD 上 `make test`+`make build`),本地输出是 SELF 级辅助线索。
|
||||
- 各阶段验收条款在本文 §2.6 / §3.6 / §4.6 给出机器可核对的形式,与总提案对应条目逐条映射。
|
||||
|
||||
---
|
||||
|
||||
## 2. N1 内核 harness
|
||||
|
||||
总提案原文(§5 N1):「AgentSpec、HookBus、PermissionPolicy、三类 guardrail。CompletionGate 与提醒从 Backend 下沉。`adapters/native` 透传钩子。Backend 改为消费,A/B 对照直连行为。」
|
||||
|
||||
### 2.1 现状与 gap
|
||||
|
||||
| 需求项 | 现状(证据) | gap |
|
||||
|---|---|---|
|
||||
| AgentSpec | **不存在**(全库无此类型)。最接近的是 `deps/agent-native/runtime/subagent/subagent.go:21-33` 的委派 `Request`(Goal/Inputs/WriteScope/NonGoals/DoneCriteria/Deliverables + Deadline/MaxToolCalls);backend 子代理画像是 `prompts.SubagentSpec` + `fallbackSubagentSpec`(`modules/backend/internal/runtime/sub_loop.go:18-27`) | 类型、文件格式、插件校验入口全缺 |
|
||||
| HookBus | 已有:`runtime/hooks/hooks.go:56-107`(On/Emit,决策优先级 block/deny>ask>modify>allow)。事件枚举 hooks.go:9-20 有 SessionStart/UserPromptSubmit/PreToolUse/PermissionRequest/PostToolUse/PostToolUseFailure/Stop/SubagentStart/SubagentStop/PreCompact。**实际发射点只有 3 处**:`runtime/loop.go:512`(Stop)、`:532`(PreToolUse)、`:557`(PostToolUse/Failure) | 缺 PostToolBatch、SessionEnd 两个事件;6 个已枚举事件无发射点;无「已在续跑中」防递归标志(hooks.go:33-43);**Ask 决策被当拒绝处理**(loop.go:534-540),无 ask→宿主审批→放行回路 |
|
||||
| PermissionPolicy | 以函数式存在:`runtime/policy/policy.go` 三档 Mode(:9-13)、Rule(:30-34)、Decide(:55-93,deny>计划禁写>本会话放行>ask>auto_edit>allow)、TraitsFor(:113-128)、ClassifyCommand(:145-158)、Visible(:96-101)。backend 直接消费(`internal/runmgr/runmgr.go:681-685`) | 无 Policy 命名类型、无规则序列化形态;会话放行记忆在 backend 内存 map(runmgr.go:265-286),未下沉 |
|
||||
| 三类 guardrail | **不存在**(输入/输出/工具三层全无,grep 无命中);内核只有 `RepeatGuard` 布尔(loop.go:93-95) | 三层端口与执行点全缺 |
|
||||
| CompletionGate 下沉 | 在 backend 直连路径三层串联:`deliverableGate`(`internal/runtime/llm.go:477-510`,上限 `maxDeliverableGuards=2`)→ `checkDeliverables`(`runtime/verify.go:48-84`,工件存在+非空+`quality.ScoreBytes`)→ `runVerifier`(verify.go:86-122,开关 `runtime.verify`,提示词 `aux.verify.final`)。经自建 hooks 总线挂一个 Stop 处理器注册进内核(`internal/runtime/llm_direct.go:162-172`) | 依赖 `core.ArtifactRef`、`rc.Artifact`、`quality.ScoreBytes`、提示词库——未端口化;**子代理(sub_loop.go:98-112 无 Stop/Hooks)与小队步骤(app.go:202-217 未注入 Stop)都无此门禁**;小队只有事后 `claimsFalseDeliverable` 判失败(`runtime/squad_runner.go:90-92`) |
|
||||
| 提醒下沉 | backend 侧 `directRun.reminders`(verify.go:223-250,连续 3 个工具轮未更新计划/待办则提醒,`reminderToolGap=3`、`maxChecklistReminders=3`,用库侧 `reminders.Bus` 节流去重)。内核有通用 `Reminders func(turn)` 回调(loop.go:90-92) | `rc.Todos()/Plan()` 与 `core.TodoList/PlanSnapshot` 是产品接口,未端口化;小队/子代理路径未注入 |
|
||||
| adapters/native 透传 | **库侧管道已修**:`GateOptions`(`adapters/native/backend.go:70-80`,含 BeforeTool/AfterTool/Stop/Reminders/RepeatGuard/Hooks/Ask)、透传(:370-372)、`gateBus`(:464-496);squad 侧映射(`deps/agent-squad/adapters/native/register.go:39-49,92-96`) | **装配未接通(N31 剩余部分)**:backend 组合根只注入 `RepeatGuard:true` 与 plan 模式 BeforeTool(`internal/app/app.go:207-217`);直连与子代理绕过 `exec.Backend` 直接调 `nruntime.Run`(llm_direct.go:173、sub_loop.go:98) |
|
||||
| Backend 改为消费 | `adapters/native.Backend` 只实现旧门面 `exec.Backend`(backend.go:130/140),未实现 `ContractBackend`;`conformance.Suite`(conformance/fake.go:106,三条用例)无真实实现调用方 | ContractBackend 实现与 conformance 接入 |
|
||||
|
||||
### 2.2 工作包分解
|
||||
|
||||
**WP1 AgentSpec 与插件校验**(新类型,库侧 `runtime/subagent` 或新 `runtime/agentspec` 包)
|
||||
|
||||
- 定义 `AgentSpec{Name, Description, Prompt, Tools, DisallowedTools, Model, PermissionMode, Skills, MaxTurns, MemoryScope, Effort, Background, WorktreeIsolation, OutputSchema}`,字段对齐总提案 §2.1 子代理行(Claude subagents frontmatter 集 + `outputSchema`)。
|
||||
- 文件格式:Markdown frontmatter(`agent-*.md`),加载器在库侧;backend 现有 `prompts.SubagentSpec` 迁移为读 AgentSpec 文件,`fallbackSubagentSpec` 保留为内置兜底。
|
||||
- **校验红线**:插件清单里的 AgentSpec **不得声明 hooks、MCP、权限模式**(总提案 §2.1 权限行),校验在插件装载期 fail-closed。
|
||||
- 测试:字段 round-trip、缺省值、插件声明 hooks/权限模式被拒、backend 旧画像到 AgentSpec 的等价映射。
|
||||
|
||||
**WP2 HookBus 补全与 ask 回路**
|
||||
|
||||
- 事件枚举加 `PostToolBatch`、`SessionEnd`(对齐总提案 §2.1 事件名单);`Call` 增加「已在续跑中」标志位,hook 触发续跑时下游可见、禁止递归触发 Stop 系事件。
|
||||
- 发射点补齐:`SessionStart`(Run 入口)、`UserPromptSubmit`(用户消息入列)、`PermissionRequest`(gateTool ask 时)、`SubagentStart/SubagentStop`(委派创建/收口)、`PreCompact`(compact 前)、`SessionEnd`(Run 出口)、`PostToolBatch`(工具批结束)。
|
||||
- **ask 回路(本阶段最关键的行为变化)**:`gateTool` 收到 ask 不再当拒绝(loop.go:534-540 现状),改为发 `PermissionRequest` 并等待宿主决策端口;宿主默认实现 = backend HITL 确认卡(runmgr.go:384-424 现有 AskHITL/waitHITL 机制接为端口实现)。`deny` 语义不变;`block` 不变。
|
||||
- 风险与兜底:ask 从「拒绝」变「挂起审批」是行为变化;用 A/B 对照(WP6)证明「无 hook 注册时行为与现状逐字节一致」,把行为变化严格限制在「注册了审批端点」的场景。
|
||||
- 测试:每个新发射点一例;ask→批准→执行、ask→拒绝→配对结果两条回路;续跑标志防递归;与既有 `ab_gate_test.go` 对照不回归。
|
||||
|
||||
**WP3 PermissionPolicy 命名类型与会话放行下沉**
|
||||
|
||||
- 在 `runtime/policy` 增加 `Policy` 结构体:`{Mode, Rules []Rule, SessionAllow AllowStore}`,`Decide` 收为方法;`AllowStore` 是端口(Get/Add/List,`key = 工具+参数模式`),库内给内存实现,backend 把 `sessionAllows`(runmgr.go:265-286)替换为该端口的实现(本会话内存即可,持久化形态留给 N3 的 Memory/RunState)。
|
||||
- `Visible`、模式切换(含 `ExitPlanMode`,runmgr.go:257-263)改走 `Policy`。
|
||||
- 测试:规则优先级矩阵在结构体形态下全等复现现有 `policy_test.go` 四例 + backend `perm_test.go`;会话放行跨调用存活。
|
||||
|
||||
**WP4 三类 guardrail 端口**
|
||||
|
||||
- 端口定义:`InputGuardrail`(只作用于入口智能体的用户输入)、`OutputGuardrail`(只作用于给出最终结果的那个智能体)、`ToolGuardrail`(每次工具调用)。形态 = `func(ctx, payload) (allow / deny / modify + 原因)`,与 HookBus 决策词汇一致。
|
||||
- 执行点:输入在 UserPromptSubmit 处、输出在 Stop 判定前、工具在 PreToolUse 链内。guardrail 与 hook 的关系写清:guardrail 是类型化语义层,hook 是通用事件层,guardrail 以 hook 实现注册。
|
||||
- 测试:三层各自 deny/modify/allow 各一例;只入口、只最终输出的作用域限定各一例。
|
||||
|
||||
**WP5 CompletionGate 与提醒下沉**
|
||||
|
||||
- 下沉的不是实现而是**组合点**:库侧新增「输出 guardrail 注册位 + 提醒源注册位」,产品依赖端口化:
|
||||
- 工件存在/非空/质量分:端口 `ArtifactVerifier`(backend 用 `rc.Artifact` + `quality.ScoreBytes` 实现,verify.go:48-84 逻辑迁入 adapters 侧实现);
|
||||
- 独立验证器:端口 `FinalVerifier`(backend 用 `aux.verify.final` 提示词 + 独立模型调用实现,verify.go:86-122 迁入);
|
||||
- 计划/待办提醒源:端口 `ProgressProbe`(backend 用 `rc.Todos()/Plan()` 实现,verify.go:223-250 迁入);`maxDeliverableGuards=2`、`maxVerifyContinuations=3`、`reminderToolGap=3`、`maxChecklistReminders=3` 等阈值随端口配置走,默认值不变。
|
||||
- 迁移后 `deliverableGate`/`checkDeliverables`/`runVerifier`/`directRun.reminders` 在 backend 只剩端口实现与装配,判定逻辑(正则族、续跑上限、节流)进库。
|
||||
- 测试:库内脚本化夹具复现 backend `llm_test.go`/`llm_verify_test.go` 的全部门禁用例(GuardTwiceThenNotice、验证器拒绝后通过、垃圾失败关闭、提醒节流等),确保下沉后逐条等价。
|
||||
|
||||
**WP6 Backend 装配接通与 A/B 对照(N31 收口)**
|
||||
|
||||
- `internal/app/app.go`:直连、子代理(sub_loop.go:98-112)、小队(squadadapter `AgentNativeOptions`,app.go:207-217)三条路径注入同一套 `Hooks/Stop/Reminders/Ask`;小队经 squad→native 两级 GateOptions 透传(管道已在,只装配)。
|
||||
- 直连与子代理改为经 `adapters/native` 消费(不再裸调 `nruntime.Run`);`adapters/native.Backend` 实现 `ContractBackend`(补 Descriptor),`conformance.Suite` 挂到 native 后端跑(现有三条用例起步)。
|
||||
- **A/B 对照(提案验收核心)**:同一组脚本化模型输出(含停止、提醒、工具拒绝、HITL 分支),分别在「旧直连装配」与「新下沉装配」下跑,断言停止原因、提醒次数、工具拒绝序列一致。`runtime/ab_gate_test.go` 是库内雏形,本 WP 把它扩成 backend 侧对照。
|
||||
- 小队路径行为变化明示:小队步骤首次获得 Stop 门禁与提醒——这是本阶段有意的行为拉齐,写进 PR 影响段。
|
||||
|
||||
### 2.3 涉及仓与落点汇总
|
||||
|
||||
- Agent-Native:`runtime/hooks`、`runtime/policy`、`runtime/loop.go`、`runtime/subagent`(或新 agentspec 包)、新 `runtime/guardrails`(或并入 hooks)、`adapters/native`、`conformance`。
|
||||
- Backend:`internal/app/app.go`、`internal/runtime/{llm.go,llm_direct.go,verify.go,sub_loop.go,squad_runner.go}`、`internal/runmgr/runmgr.go`(AskHITL 接端口、sessionAllows 替换)、`internal/squadadapter`(透传配置)。
|
||||
- Dev:两层 pin。
|
||||
|
||||
### 2.4 实施顺序
|
||||
|
||||
WP2(ask 回路)与 WP3(Policy 类型)先行(其余都依赖决策与权限语义)→ WP1 AgentSpec、WP4 guardrail 端口 → WP5 下沉 → WP6 装配与 A/B。每 WP 单独提交,库内测试绿了再进下一 WP。
|
||||
|
||||
### 2.5 风险
|
||||
|
||||
- ask 语义变化是最大风险点:必须有 A/B 对照证明默认行为不变(见 WP2/WP6)。
|
||||
- 下沉搬移正则族与阈值时容易丢行为:WP5 的「逐条等价」测试先行(先在库内写好对现网行为的刻画,再搬)。
|
||||
- 小队首次上门禁可能暴露存量提示词的虚假交付习惯:`claimsFalseDeliverable` 与 Stop 门禁并存期要观察误报率,必要时给小队入口单独的宽松阈值(配置项,不硬编码)。
|
||||
|
||||
### 2.6 N1 验收(对照总提案 §5 N1 验收逐条)
|
||||
|
||||
| 总提案条款 | 机器可核对的验收 |
|
||||
|---|---|
|
||||
| 同一组脚本化模型输出,下沉前后停止原因、提醒次数、工具拒绝一致 | backend 侧 A/B 对照测试在 CI 通过;对照夹具覆盖 deliverableGate 命中/未命中、verifier 拒绝/通过/垃圾、提醒触发/节流、工具拒绝 |
|
||||
| 插件里的 AgentSpec 不能带钩子和权限模式 | 插件装载测试:声明 hooks/permissionMode 的 AgentSpec 被拒且错误可定位到字段 |
|
||||
|
||||
## 3. Q1 图执行
|
||||
|
||||
总提案原文(§5 Q1):「superstep、三档检查点、attempt id、interrupt / resume。`Needs` 驱动依赖。读写集。可组合 Termination。Store 接口。platform 的 SQLite 成为 Store 的一个实现,不再单独驱动一套运行。」
|
||||
|
||||
### 3.1 现状与 gap
|
||||
|
||||
| 需求项 | 现状(证据) | gap |
|
||||
|---|---|---|
|
||||
| superstep | 无。执行是「线性步骤数组 + 状态机扫描」:`flowDriver.advance`(`deps/agent-squad/squad/workflow.go:22-101`)一个大循环扫到挂起/终态;leader 是独立大循环(leader.go:178-372);`WorkflowPlan.CurrentStepIndex`(models.go:124)是从未写入的死字段 | 整个推进模型 |
|
||||
| 三档检查点 | 无 checkpoint 类型。最接近的是「步骤完成即 `st.save()` 全量落盘」(workflow.go:367-371,同步单档)+ 挂起时 pending.json。原子写已修(`AtomicWrite`,workspace.go:307-349) | 检查点类型与退出时/异步/同步三档全缺 |
|
||||
| attempt id | 只有计数器 `Attempts`(models.go:93-94)与不变的 `ExecutionID = runID+"-"+stepID`(workflow.go:286);恢复靠「running + Attempts>=2 + HITL 模式」启发式(engine.go:879-925),无产物校验 | attempt id、幂等键、「副作用次数=1」的判定基础 |
|
||||
| interrupt/resume 同一对原语 | 挂起原语面向人:`hitlGate`/pending.json + `Respond`/`Resume`(engine.go:481,928);事件唤醒是旁路 `WaitCondition` + `SweepWakeups`(engine.go:1080-1163);`SweepExpired`(engine.go:1107-1130)**无调用方,是死代码** | 统一原语;SweepExpired 接线 |
|
||||
| Needs 驱动依赖 | 字段已声明(models.go:90)但**调度完全不读**(全仓唯一引用即声明行);调度只看「相邻 Parallel 标记」(workflow.go:44-72) | DAG、拓扑排序全缺 |
|
||||
| 读写集 | 无 Reads/Writes 字段;「写同一工件必须串行」无判定;并行安全靠 `st.mu` 串行化写回 | 字段与调度判定全缺 |
|
||||
| 可组合 Termination | 无该类型。四个停止条件硬编码分散:leader 轮次(leader.go:207/371,达上限直接 leaderFail 无降级,Q23 仍开放)、修复预算(engine.go:36-37 默认 1,workflow.go:583-596 扣减,engine.go:698 人工 retry 加预算无上限,Q26 仍开放)、唤醒上限(hitl.go:68 `MaxWakeupFires=5`)、StepTimeout/HITL 超时(engine.go:32-33、hitl.go:23-30、hitl.go:119-137) | 类型与 AND/OR 组合全缺 |
|
||||
| Store 接口 | squad 核心无 Store 端口;运行状态由引擎直接管文件(runstate.go:52-76 一次写六文件);`store.FileStore` 只管 roles/blueprints;`store/eventsink.go` 是事件 jsonl 装饰器 | 接口不存在 |
|
||||
| platform 收编 | `adapters/sqlite`(包名 platform)是**独立第二套运行系统**:23 张表无 run/step/checkpoint 表(db.go:51-149);task 队列自有一套 Claim/FinishTask/RecoverOrphans(queue.go:194-348);`RunInProcess` 绕过 Executor 端口直驱 agent-native(runtime.go:201-229,X6 仍开放);与 squad 文件态 runs 双真相源并列挂载(cmd/agent-squad/server/server.go:31-41,94-96) | 双系统合一 + schema 扩展 + X6 |
|
||||
| 顺带瑕疵(Q1 会踩到) | 并行组 `wg.Wait()` 等全部结束才收口(workflow.go:172);黑板是快照不是增量(blackboard.go:12-38);动态调整直接 splice Steps(workflow.go:510-534)——与「图结构不变」的恢复要求冲突;产品侧消费方是 squadadapter 的外层 Run/Resume 循环(`modules/backend/internal/squadadapter/adapter.go:92-117`、entry.go:115-139) | 在设计中显式裁定,见 §3.2 WP1/WP4 |
|
||||
|
||||
已修不再返工(R1/R2 已落):原子写、授权/预算落盘、批准键写入(Q1)、中断步骤挂起分流(Q4 部分)、跨进程锁(Q5)、Respond 幂等(Q7)、WAL(Q19)、事件 seq 续号(Q18)。
|
||||
|
||||
### 3.2 工作包分解
|
||||
|
||||
**WP1 图模型与 Needs 调度**
|
||||
|
||||
- `StepSpec` 增补 `Writes []string`(写集,工件路径)与 `Reads []string`(读集,可空=不声明);`Needs` 从死字段激活为依赖声明。
|
||||
- 编译期(`planAndExecute` 入口)把 Steps 编译成图:节点=步骤,边=Needs;拓扑分层(Kahn),同层可并行。**兼容映射**:无 Needs 的旧蓝图按「相邻 Parallel」规则自动分层(相邻且 Parallel=true 的步骤入同层),行为不变量由现有测试保证。
|
||||
- **动态调整裁定**(与恢复语义冲突的解决):`AllowDynamicAdjustment` 步骤的 splice(workflow.go:510-534)改为「追加节点生成新图版本」——图带 `version`,已完成的 superstep 结果按节点 id+图版本键保存;恢复时要求图版本与检查点一致,不一致则拒绝恢复并提示重新规划(对齐总提案 §2.2「恢复要求图结构不变」)。
|
||||
- 调度隔离:同层内**写同一工件(Writes 交集非空)的步骤强制串行**;只读步骤并行。交集判定在分层时做,拒绝或串行化在调度时做(默认串行化 + 事件提示,不拒绝)。
|
||||
- 测试:Needs 分层顺序、环检测拒绝、旧蓝图兼容映射等价、写集交集串行化、图版本不一致拒绝恢复。
|
||||
|
||||
**WP2 superstep 推进**
|
||||
|
||||
- `advance` 重写为 superstep 循环:每 superstep = 「取当前可执行层 → 层内调度(写集串行)→ 层结束做检查点」。leader 循环映射为「leader 节点 + 动态追加成员节点」的图形态(委派=追加,close=终止边),leader.json 的状态并入检查点。
|
||||
- `CurrentStepIndex` 死字段删除或改作「当前 superstep 序号」。
|
||||
- 并行组 fail-fast 裁定:保持 cancel 传播(现状),superstep 边界统一收口失败,不再 `wg.Wait()` 空等——失败即终止本 superstep 剩余节点。
|
||||
- 测试:多蓝图(standard/router/leader)在新循环下现有 engine_test/leader_test 全绿;层边界事件序列断言。
|
||||
|
||||
**WP3 attempt id 与幂等**
|
||||
|
||||
- 每次执行生成 `AttemptID = runID/stepID/N`(N=Attempts+1),随步骤状态落盘;执行事件、产物、副作用记录都挂 AttemptID。
|
||||
- 恢复判定升级:`recoverInterrupted`(engine.go:879-925)从启发式改为「attempt 记录 + 产物校验」——步骤标 running 且其 attempt 无完成记录时,按 HITL 模式分流(现状三分支保留),选择 retry 时新 attempt 执行前校验该步骤已登记副作用(产物文件存在性)并在事件流标注「第 N 次尝试」。
|
||||
- 验收硬指标「副作用次数=1」的判定基础:已完成(有完成记录)的 attempt 永不重跑;瞬态重试(MaxTransientStepInvocations=2,workflow.go:260)共享同一 AttemptID 的「子尝试」标记,不计为新 attempt。
|
||||
- 测试:杀进程于每个 superstep 边界(见 §3.6);retry/skip/abort 三分支;瞬态重试不增 AttemptID。
|
||||
|
||||
**WP4 Store 端口与三档检查点**
|
||||
|
||||
- 新端口 `Store`(squad 包内):`SaveRun/LoadRun/SaveStep/LoadStep/SaveAttempt/AppendEvent/LoadEvents/SaveCheckpoint/LoadCheckpoint/ListRuns`,以 run(thread)为键。
|
||||
- 现状文件态收编为 `FileStore`(runs/ 目录六文件 + pending.json + leader.json 的全部读写走 Store 接口);检查点三档:`sync`(superstep 边界同步写,默认)、`async`(批量刷盘)、`on_exit`(进程退出时)——档位在 RunOptions 声明,默认 sync。
|
||||
- 黑板裁定:Q1 只把黑板快照纳入检查点载荷;「可回放增量」留给 Q2 拓扑(总提案 §2.2 把黑板增量列在拓扑行)。
|
||||
- 测试:三档各自的一致性;检查点以 run 为键的隔离;FileStore 与现状文件布局的读取兼容(老 runs 目录可恢复)。
|
||||
|
||||
**WP5 SQLiteStore 与 platform 收编**
|
||||
|
||||
- `adapters/sqlite` schema 增加 `run / step / attempt / checkpoint / event` 五表;`SQLiteStore` 实现 Store 端口。
|
||||
- **收编裁定**(双真相源合一):platform 的 task 队列不再自行驱动执行——`Claim` 到的任务翻译为 squad run 并交给引擎(Store=SQLiteStore),`RunInProcess` 改走 `Executor` 端口(修 X6);platform 的 wakeup 表与 squad 的 WaitCondition 合并为一处(保留 squad 语义,platform 表改为投影或下线,迁移期双写只读旧表)。
|
||||
- 过渡:platform 现有 23 表中非运行类(workspace/member/issue/skill/autopilot/webhook/chat/project 等)不动;本 WP 只合一「运行」这一层。
|
||||
- 测试:同一蓝图分别在 FileStore 与 SQLiteStore 上跑通 conformance(见 §3.6);孤儿恢复(RecoverOrphans)在合并后语义不变;server 并列挂载改为单引擎。
|
||||
|
||||
**WP6 可组合 Termination**
|
||||
|
||||
- 新类型 `Termination = And(...)|Or(...)|MaxTurns(n)|RepairBudget(n)|MaxWakeups(n)|Timeout(d)|StepTimeout(d)`;四处硬编码收编为默认组合:`And(MaxLeaderTurns(8), RepairBudget(1), MaxWakeups(5))` + 步骤级 StepTimeout(默认 10min,语义不变:重试共享截止,Q24 维持现状并写进文档)。
|
||||
- 顺手关账:leader 达上限的降级收口(Q23:不再裸 leaderFail,走一次收口质检或挂起人工);人工 retry 加预算设上限(Q26:默认累计不超过初始值的 2 倍,可配);`SweepExpired` 接入 serve 周期循环(与 SweepWakeups 并列),补 Q6 另一半。
|
||||
- 测试:AND/OR 组合矩阵;三个关账项各一例回归。
|
||||
|
||||
**WP7 interrupt/resume 统一原语**
|
||||
|
||||
- 把「HITL 挂起(pending.json)」与「事件等待(WaitCondition/SweepWakeups)」统一为 `Interrupt{Kind: human|event|expired, Key, Payload}` / `Resume(Key, Response)` 一对原语;pending.json 与 wakeup 成为 interrupt 的两种持久化形态。
|
||||
- 对外 API(Respond/Resume/steer)语义不变,内部改走统一原语。
|
||||
- 测试:两种 interrupt 的挂起/恢复/过期三态;API 兼容(现有 server_test、engine_test 绿)。
|
||||
|
||||
### 3.3 涉及仓与落点汇总
|
||||
|
||||
- Agent-Squad:`squad/{workflow.go,engine.go,leader.go,models.go,runstate.go,blackboard.go,hitl.go}`(重写面大)、新 `squad/{graph.go,superstep.go,store.go,termination.go,interrupt.go}`、`adapters/sqlite`(schema+Store)、`store/`(FileStore 归位)、`cmd/agent-squad/server`(挂载合一、SweepExpired 接线)。
|
||||
- Backend:`internal/squadadapter`(驱动循环跟上引擎 API;入口/步进循环适配)。
|
||||
- Dev:两层 pin。
|
||||
|
||||
### 3.4 实施顺序
|
||||
|
||||
WP1 图模型 → WP2 superstep(旧行为兼容先绿)→ WP3 attempt id → WP4 Store+检查点 → WP7 统一原语 → WP6 Termination → WP5 SQLite 收编排最后(风险最高,前面 WP 已各自可独立交付)。
|
||||
|
||||
### 3.5 风险
|
||||
|
||||
- **advance 重写是心脏手术**:WP2 必须先建立「旧蓝图兼容等价」的测试网(现有 engine/leader/recovery/r2_regression 套件就是网底),重写中任何一绿变红即停。
|
||||
- 动态调整与图版本:产品端目前依赖动态调整的蓝图(如有)在恢复时会被要求重新规划——行为变化写进 PR 影响段,并把「图版本不一致」的报错做成可操作提示。
|
||||
- platform 收编(WP5)触及双系统合一与 X6,体量接近一个小阶段:允许 WP5 在 Q1 任务内再拆子 PR 序列(Store 实现先行、驱动合一随后),但不允许只交一半——「不再单独驱动一套运行」是验收条款。
|
||||
- 消费方只有 squadadapter 一处(backend)与 squad CLI/serve 一处,适配面可控。
|
||||
|
||||
### 3.6 Q1 验收(对照总提案 §5 Q1 验收逐条)
|
||||
|
||||
| 总提案条款 | 机器可核对的验收 |
|
||||
|---|---|
|
||||
| 在每个 superstep 边界杀进程再恢复,已成功步骤的副作用次数为 1 | 新测试:脚本化蓝图(≥3 个 superstep),逐边界 kill -9 后 Resume,断言每个已完成步骤的产物写入次数=1、事件流无重复完成记录 |
|
||||
| 两个写同一工件的步骤不会并行 | 调度测试:写集交集步骤的执行区间不重叠(事件时间戳断言) |
|
||||
| 文件 run 与 SQLite 不再各记一份步骤状态 | conformance 套件在 FileStore 与 SQLiteStore 双实现上通过;server 单引擎挂载;platform 侧无独立 run 状态表残留(schema 断言) |
|
||||
|
||||
## 4. I1 命令化识别
|
||||
|
||||
总提案原文(§5 I1):「命令列表与 ActionRef。中文匹配的词界或最短词长。同分时可按 priority 决胜。Catalog 白名单与 top-k。Backend 唯一 Router 消费 ActionRef。」验收点名审计 I1、I2、I3、I5 有回归(I1/I2 在当前 pin 已修并有测试,I3/I5 开放,见下)。
|
||||
|
||||
### 4.1 现状与 gap
|
||||
|
||||
| 需求项 | 现状(证据) | gap |
|
||||
|---|---|---|
|
||||
| 命令列表 | **不存在**。`Result = {Input, Branch, Top *Candidate, Candidates, SnapshotRevision}`(`deps/agent-intent/intent/result.go:44-50`),输出是单 Top 意图;`ActionRef`/`Start`/`SetSlot` 全仓零代码命中 | 命令类型、序列化、校验全缺 |
|
||||
| ActionRef 统一 | **四种动作键并存**:(a) `IntentSpec.Handler`(spec.go:81,squadintent Runner 消费);(b) `Metadata["blueprint"]`(adapters/intent/gate.go:123-131 → engine.go:228-237);(c) `CommandSpec.ID`(agent-command,backend server.go:653-654 把意图 ID 当命令 ID);(d) `WorkflowDef.IntentID`(core plugin.go:60,workflow/registry.go:40-42 索引) | 统一表示与迁移映射 |
|
||||
| Backend 唯一 Router | **不存在**。消费分散三处:chat 路由内联 if-else(`internal/server/server.go:647-660`,命令优先于工作流写死)、HITL 自由输入转轨(`internal/runmgr/runmgr.go:1203-1248`)、装配(`internal/app/app.go:300-301,316,381`)。squad 的蓝图意图链 backend **完全没接**(squadadapter/entry.go:98-110 不设 IntentGate/IntentCatalog/IntentRunner;全 backend grep `squadintent` 零命中) | Router 组件与优先级裁定 |
|
||||
| 中文词界/最短词长(I3) | 纯子串 `strings.Contains`(registry.go:142/147/154);无词界设施、无最短词长告警(grep 零命中);NFKC 已落地(fold.go:11-28)但**两个宿主都没开**(backend intentgate gate.go:57 只设 TopN;squadintent gate.go:37-44 只设 Guard/Protected 域);语料中文负例只有一条靠 excludes_any 硬回避(testdata/corpus.json 第 6 行 + specs/base.json:10) | 词界设施、lint 告警、负例语料、宿主开 NFKC |
|
||||
| 同分 priority 决胜(I5) | `Priority` 字段已在(spec.go:74)且是排序第二键(registry.go:327-335、recognizer.go:172-183);但裁决要求分差 ≥ margin(recognizer.go:92),`AmbiguityMargin <= 0` 强制回 0.1(registry.go:61-63)——**同分恒 ambiguous,priority 不参与决胜** | 裁决逻辑调整 |
|
||||
| Catalog 白名单与 top-k | Metadata 白名单已有(fold.go:61-64,只放 blueprint/guidance 两键);但 `CatalogSpec.Handler` 仍进 JSON 视图(catalog.go:20-30);目录全量输出无 top-k、无相关度(catalog.go:34-62) | top-k 与相关度参数;Handler 是否进目录的裁定 |
|
||||
| eval | `intentctl eval` 单轮(cmd/intentctl/main.go:229-292,recognizer 以 nil expectation/classifier 构建于 main.go:254);语料 10 条(testdata/corpus.json);输出只有 PASS/FAIL 计数(main.go:285-290) | 多轮夹具格式与逐轮命令期望(precision/recall 指标输出属 I2,I1 先扩格式) |
|
||||
| 命令层前置概念 | 否定只认 excludes_any(recognizer.go:66 注释明说「不要写入」交给命令层 Cancel——命令层尚不存在,审计 I12);ExpectationProvider 接口在(expectation.go:7-19)但宿主侧零实现;L2 Classifier 同理(classifier.go:9-15,全部 NewRecognizer 传 nil) | I1 只需命令层与宿主编排;L2 实现、语义端口在 I2 |
|
||||
|
||||
另外注意:overlay 解析 `DisallowUnknownFields`(loader.go:21-24、51)——spec 加字段不做显式注册会硬失败旧配置;backend 插件读的是**裸 spec 数组**(internal/plugins/host.go:216-222),不是 `{intents, disable}` overlayDoc——两种载体的兼容都要照顾。
|
||||
|
||||
### 4.2 工作包分解
|
||||
|
||||
**WP1 命令模型(库侧核心)**
|
||||
|
||||
- 新类型:`Command` 联合 `{Kind, ...}`——`Start{ActionRef, Slots}` / `SetSlot{Name, Value}` / `ChangeSlot{Name, Value}` / `Cancel{Scope}` / `Clarify{Question, Missing}` / `Chitchat{}` / `Handoff{Target}`;`ActionRef{Kind: command|workflow|blueprint|handler, ID string}`。
|
||||
- `Result` 增加 `Commands []Command`(Branch/Top 保留作诊断与兼容,逐步退役由 Router 封装);从候选到命令的展开规则:Top 命中 → Start(带 ActionRef 推导);槽位缺失 → Clarify(或 ExpectationProvider 命中时 SetSlot/ChangeSlot);多候选 → Clarify 消歧或 Ambiguous 保持(见 WP4/WP5 裁决);否定/取消语义 → Cancel(命令层首次承认否定,收编 recognizer.go:66 的注释承诺)。
|
||||
- 命令的校验与现有候选校验同级(ID 集合、槽位作用域);序列化进 schema 包并给 JSON 样例(对齐 D1 的「三库发布 JSON Schema 样例」做法)。
|
||||
- 测试:每种命令的展开路径;校验拒绝;round-trip。
|
||||
|
||||
**WP2 ActionRef 推导与四种动作键迁移**
|
||||
|
||||
- spec 增加显式字段承载 ActionRef(`action: {kind, id}`),`DisallowUnknownFields` 下注册;推导规则(兼容期):`action` 缺省时按旧键推导——`Handler` → `{handler, <值>}`、`Metadata["blueprint"]` → `{blueprint, <值>}`、命中 backend 命令总线 → `{command, <ID>}`、命中 workflow 索引 → `{workflow, <IntentID>}`。
|
||||
- backend 插件装载(host.go:216-222 裸数组)与库 overlay 两种载体都接受新字段;旧字段在 I1 不删除(退役留给 I2 之后的发版任务)。
|
||||
- 测试:四种旧键的推导等价于现状路由结果(对照 server.go:647-660 现行为刻画测试先行);新字段优先于旧键。
|
||||
|
||||
**WP3 Backend 唯一 Router**
|
||||
|
||||
- 新组件(建议 `internal/route`,或收进 `internal/server` 的独立文件):输入 = 命令列表 + 会话状态,输出 = 路由决策(command 分发 / workflow 启动 / squad 入口 / 普通回合 / 澄清回问)。
|
||||
- 收编两处现有消费:server.go:647-660 的内联 if-else 与 runmgr.go:1203-1248 的 HITL 自由输入转轨,统一改调 Router;slash 命令(server.go:741-758)保持旁路不过在优先级文档里写明。
|
||||
- **优先级明文**(提案 §6 要求 I1 写明):`command > workflow > blueprint > 普通回合`;`PromptTrigger`(技能触发)与 Intent 同命中时的裁定:**技能触发是提示词装配、不参与路由决胜;若 Intent 产出 Start/SetSlot 类命令则路由优先,纯提示词命中不产生命令**——写进 Router 文档与测试。
|
||||
- squad 蓝图链(`{blueprint, key}`)经 ActionRef 到达 Router 后,Router 调 squad 入口;**backend 接入 squadintent 适配器(entry.go:98-110 的缺口)在本 WP 一并补上**——这是「blueprint 经 ActionRef 到 Router」验收的必要条件,范围可控(装配 + 映射,不改 squad 库)。
|
||||
- 测试:命令优先于工作流(现有 `TestCommandBusBeatsWorkflow` 迁移)、workflow 经 ActionRef 启动、blueprint 经 ActionRef 进 squad 入口、HITL 自由输入转轨走同一路由、fallback 进普通回合。
|
||||
|
||||
**WP4 中文词界与最短词长(I3)**
|
||||
|
||||
- `MatchSpec` 增加 `boundary`(词界模式:CJK 按「非汉字或首尾」为界,拉丁按词字符边界)与 `min_len`(词条最短长度,低于则 lint 告警)——二选一还是并存由实施期原型定,但 lint 告警(`intentctl lint`)必须覆盖「短词条 + 无词界」组合。
|
||||
- 两宿主开启 NFKC:backend `intentgate.Rebuild`(gate.go:57)与 squadintent(gate.go:37-44)的 Options 显式开 `NFKC:true`,并补开启前后对照测试。
|
||||
- 语料补负例:中文子串误命中系列(如「配置」误中「配置项」、「写入」误中「不要写入」的否定场景交给 Cancel 的正例对照)。
|
||||
- 测试:词界开/关矩阵、最短词长告警、新负例全过、既有 10 条语料不回归。
|
||||
|
||||
**WP5 同分 priority 决胜(I5)**
|
||||
|
||||
- 裁决调整:前两名置信度同分(差 < margin)时,若 `Priority` 不同则高优先者判 `matched`;priority 也相同才 ambiguous。`AmbiguityMargin` 语义不变(仍防分数过近误判),margin 强制下限 0.1 保留。
|
||||
- 测试:同分高 priority 命中、同分同 priority 标歧、margin 边界三例;既有漏斗测试不回归。
|
||||
|
||||
**WP6 eval 格式扩展**
|
||||
|
||||
- 语料格式 v2:用例带 `turns: [{input, expect: {commands: [...]}}]`,逐轮期望命令列表;`intentctl eval` 读 v2 时构建 ExpectationProvider 夹具实现(库内给测试用 Provider),逐轮比对命令序列;v1 单轮格式兼容读取并自动映射为单 turn。
|
||||
- 指标输出在本阶段只加「逐轮命令匹配率」明细(precision/recall 的正式定义与输出属 I2,不在 I1 提前承诺)。
|
||||
- 测试:v2 多轮夹具端到端(含 SetSlot+Start 组合用例——验收条款的载体)、v1 兼容、误期望 FAIL。
|
||||
|
||||
### 4.3 涉及仓与落点汇总
|
||||
|
||||
- Agent-Intent:`intent/{result.go,recognizer.go,registry.go,spec.go,loader.go,catalog.go}`、新 `intent/command.go`、`schema/`、`cmd/intentctl`、`testdata/`。
|
||||
- Backend:`internal/server/server.go`、`internal/server/`(新 Router)、`internal/intentgate/`(Recognize 返回命令、NFKC 开启)、`internal/runmgr/runmgr.go`(HITL 转轨改调 Router)、`internal/squadadapter/entry.go`(接 squadintent)、`internal/plugins/host.go`(spec 新字段)。
|
||||
- Agent-Squad:`adapters/intent` 只在映射 ActionRef 时动(blueprint 键推导),核心不动。
|
||||
- Dev:两层 pin。
|
||||
|
||||
### 4.4 实施顺序
|
||||
|
||||
WP1 命令模型 → WP2 ActionRef 迁移(刻画测试先行)→ WP5 决胜 + WP4 词界(库内独立,可并行)→ WP3 Router(依赖 WP1/WP2)→ WP6 eval(收尾,验收载体)。
|
||||
|
||||
### 4.5 风险
|
||||
|
||||
- **路由行为变化面**:Router 收编两处消费 + squad 蓝图链接入,是产品可见行为。对策:WP2 的刻画测试先把现路由行为钉死,Router 切换后逐条等价;蓝图链接入属新增能力,单独一组测试,不改动有路由。
|
||||
- overlay 严格解析:spec 新字段必须同步注册进 loader 与 backend 裸数组装载两处,漏一边即硬失败——测试覆盖两种载体。
|
||||
- NFKC 默认开启是行为变化:只动两个宿主的显式配置,库默认不变(库保持 fail-closed 哲学,宿主显式选择)。
|
||||
- 命令列表与「单 Top」并存期,`Result.Top` 的消费方(squadintent gate 等)保持可用;退役由后续发版任务评估,不在 I1。
|
||||
|
||||
### 4.6 I1 验收(对照总提案 §5 I1 验收逐条)
|
||||
|
||||
| 总提案条款 | 机器可核对的验收 |
|
||||
|---|---|
|
||||
| 审计 I1、I2、I3、I5 有回归 | I1(分类器篡改拒绝,recognizer_test.go:188/238/269 现存)与 I2(作用域校验器,slots_catalog_test.go:70 现存)保持绿;I3 新增词界/负例测试;I5 新增决胜测试——四个测试名写进任务卡 |
|
||||
| 一条用户话可以产出 SetSlot 加 Start | eval v2 多轮夹具含该用例并通过 |
|
||||
| 命令 id、工作流 IntentID、小队 blueprint 都通过 ActionRef 到达 Router | Router 测试三条各一;插件清单字段名不变的 diff 断言(装载测试比对字段名清单) |
|
||||
| 插件清单不改字段名 | 插件装载兼容测试:现有插件 intents/workflows 清单零修改装载通过 |
|
||||
|
||||
## 5. 三任务之外的说明
|
||||
|
||||
- N2/Q2/I2 及更后的阶段不在本文范围;本文的 WP 划分假定 N1/Q1/I1 全部合入后才启动它们。
|
||||
- 三任务的验收都依赖「脚本化模型 + 库内夹具」,不依赖真实模型密钥;真实任务 A/B(总提案 E 节「少量真实任务加人工复核」)在各阶段验收时由所有者安排。
|
||||
- 本文档本身不修任何代码;如评审要求改设计,在本文档上修订后再启动对应任务。
|
||||
|
||||
## 6. 验收(本文)
|
||||
|
||||
- 三个阶段的实施方案各自满足:工作包可独立派生任务卡、验收条款可机器核对、与总提案逐条映射(§2.6 / §3.6 / §4.6 的表)。
|
||||
- 现状陈述均有 file:line 证据(撰写日 pin 见 §1.1);评审重放 = 按表中证据抽查。
|
||||
- 三任务协调规则(§1.2)与 AGENTS.md 分支层级一致。
|
||||
@@ -0,0 +1,37 @@
|
||||
# 2026-09-30 · cardflow-r1 验证记录(CF1 机制 + CF2 收尾)
|
||||
|
||||
任务:Dev 仓 `feature/cardflow-r1`(提案 [2026-09-30-cardflow-and-process-split.md](../proposals/2026-09-30-cardflow-and-process-split.md),D39–D43)。
|
||||
|
||||
## 证据矩阵
|
||||
|
||||
| 层 | 验证 | 结果 |
|
||||
|---|---|---|
|
||||
| Core 契约 | `go test ./...`(golden message.json 锁定 `cardId` 线格式) | ok |
|
||||
| Backend 机制 | `internal/runtime`(submit_card 门控/产卡/引用部件)、`internal/ctxasm`(回填/截断/占位/card(n) 观测) | ok |
|
||||
| Backend 全链路 | `internal/server` e2e `TestMockCardflowFullLoop`:#cardflow → result 卡入收件箱 → 助手消息含 cardId 引用部件 → finishRun 回填 AnchorMessageID | ok |
|
||||
| UI 组件 | `npx tsc --noEmit` 0 错误;`npx vitest run` 39/39(card-anchor 6 用例:摘要行/展开/收起/locate 不触发展开/无卡兜底/无 locate 不渲染按钮) | ok |
|
||||
| Frontend | `npx tsc --noEmit` 0 错误;`npx vitest run` 27/27(live 分桶/过程标记 + 既有回归) | ok |
|
||||
| Dev 组合 | `make test` 退出码 0;`make build` 版本串 core=bcfacee+backend=ef17ad0+frontend=832a2ad+ui=31019ad | ok |
|
||||
|
||||
## 双态零页面走查(无头 Chromium 1680×1000,mock 服务 127.0.0.1:18923)
|
||||
|
||||
| # | 断言 | 结果 |
|
||||
|---|---|---|
|
||||
| 1 | 关闭态:普通消息出现过程折叠(行为不回退) | PASS |
|
||||
| 2 | 关闭态:无卡流锚点 | PASS |
|
||||
| 3 | 设置:`ui.cardflow` 写入 user scope 200 | PASS |
|
||||
| 4 | 设置:schema 含 ui.cardflow(ui 组,默认 false) | PASS |
|
||||
| 5 | 开启态:#cardflow 后中栏出现卡流锚点 | PASS |
|
||||
| 6 | 开启态:锚点内联展开全文(含决议正文——D38 中栏自足) | PASS |
|
||||
| 7 | 开启态:收件箱出现 result 卡(会议纪要 · 第 12 次周会) | PASS |
|
||||
| 8 | D32:收件箱卡「↙ 定位到对话」滚动中栏至产生消息(data-msg-id) | PASS |
|
||||
| 9 | 锚点「↗ 收件箱」定位收件箱卡 | PASS |
|
||||
|
||||
合计 9/9 通过;构建组合:bin/agent-system(0c4e404+core=bcfacee+backend=ef17ad0+frontend=832a2ad)。
|
||||
|
||||
## 说明与剩余项
|
||||
|
||||
- backend/frontend 分支已 rebase 至并行任务 `feature/chat-process-split-r1` 演进 tip(ae8e5d0 / 754ce83)之上,冲突双方语义均保留(fakeRunCtx 字段合并、两套测试并存)。
|
||||
- 任务 1(chat-process-split-r1)的 review-fix 与 PR 归并行会话所有者;本任务卡与 PR 链只覆盖 cardflow-r1。
|
||||
- PR 链(core→documents→ui→backend→frontend→Dev gitlink)依赖 Gitea 面板可用性:面板中断期间全部分支已推送(SSH),PR 创建与合入由 `/tmp/cardflow-pr-chain.sh` 面板恢复后自动执行(含 Dev 分支落后基线检查,落后即中止转人工)。
|
||||
- 远期(CF3):卡片内容流式、飞书/微信通道投影、与 artifact 统一、跨会话项目级收件箱。
|
||||
@@ -0,0 +1,169 @@
|
||||
# 记录:Agent-Native / Agent-Squad / Agent-Intent 只读审计
|
||||
|
||||
日期:2026-10-02。任务主记录:Dev 仓 `feature/agent-stack-blueprint`。
|
||||
设计结论见 [2026-10-02-agent-stack-completion.md](../proposals/2026-10-02-agent-stack-completion.md)。本文只记证据,不实施修复。
|
||||
|
||||
基线(Dev 顶层 `deps/`,`git rev-parse`):
|
||||
|
||||
- agent-native `c6d867cde7d87696feaf3073f097ca15b0145273`
|
||||
- agent-squad `590fd86f4c8bfada0ec76efbfb57133c61607bd6`
|
||||
- agent-intent `1dbbe8149c561b36282bf781e61a06d1284be3a1`
|
||||
|
||||
方法:只读读码。P0 条目已对照源码复核。标注「待确认」的条目没有在本次复核中跑测试。路径相对各库根目录。
|
||||
|
||||
## 1. 跨库与集成
|
||||
|
||||
| 编号 | 级 | 现象 | 证据 | 影响 | 方向 |
|
||||
|---|---|---|---|---|---|
|
||||
| X1 | P0 | 测过的组合不等于发布的组合 | Backend `go.mod` replace 指向自己的 `deps/`:intent `7d9d505`、native `c6d867c`、squad `5cbac00`。Squad 自测钉 native `a34689c`、intent `3674dc4`。Dev 顶层是 intent `1dbbe81`、squad `590fd86`。Go 只认主模块的 replace | 各库测试全绿也不能证明产品编译的组合正确 | Dev 根 `go.work`;`make test` 断言 Backend 用到的 SHA 等于 Dev 指针 |
|
||||
| X2 | P1 | gitlink 递归嵌套 | `deps/agent-squad/deps/agent-native/deps/agent-intent` 等。agent-intent 在 Dev 检出里有多份副本,SHA 不完全一致 | 读码容易看错副本;磁盘上的嵌套仓不参与 Backend 编译 | 库仓不再嵌套兄弟库;适配器子模块用 go.mod 版本号钉依赖 |
|
||||
| X3 | P1 | 边界检查不管库与库 | `scripts/lint-boundaries.sh` 只禁止扩展 SDK 与示例 import `agent-system-backend/internal` | 实现级耦合没有门禁 | 用 `go list -deps` 断言核心模块不得依赖兄弟库 |
|
||||
| X4 | P1 | 内核为了一个没有调用方的包依赖 Intent | `deps/agent-native/go.mod` require `agent-intent`;唯一引用是 `adapters/intentgate`。Backend 零引用该包 | 内核不能单独使用 | 删除该适配器,或迁到独立子模块 |
|
||||
| X5 | P1 | Squad 公开 API 暴露内核类型 | `squad/backend.go`:`BackendFactory` 返回 `exec.Backend`;`AgentNativeConfig` 含 `*llm.Client`、`tools.SearchProvider`、`tools.ExecConfig`、`mcp.Manager`、`subagent.Factory`。`planner_llm.go` 的 `LLMPlanner.Client` 是 `*llm.Client`。`intent.go` 的 `IntentRunner` 返回 `*exec.Result` | 换执行器必须改 Squad 核心;编译期去不掉 agent-native | 核心只定义 Executor、ModelClient 端口;跨库代码进 `adapters/native` |
|
||||
| X6 | P1 | platform 绕过执行端口 | `platform/runtime.go` 的 `RunInProcess` 直接 `runtime.NewAgentSession` | 内核内部类型进入 platform 公开签名 | 经 Executor 端口 |
|
||||
| X7 | P1 | CLI 直接 import Intent | `deps/agent-squad/cli/cli.go` import `agent-intent/intent` | 与「只经 squadintent 接入」的约定不一致 | CLI 迁到独立 `cmd/`,经适配器装配 |
|
||||
| X8 | P1 | 同一概念多处定义 | 意图闸门:`squad.IntentGate`、`squadintent.Gate`、`adapters/intentgate`、`backend/internal/intentgate`。目录三套。HITL:Squad pending、Backend 卡片、命令确认、Intent 的 Question。预算:`exec.Budget`、Backend `RunBudget`、设置项。事件三套。工作流:`squad.WorkflowPlan` 与 `core.WorkflowDef`。结果状态:command 四态、intent 五分支、native 的 Success 布尔 | 扩展作者要对齐四套键:`handler`、`metadata.blueprint`、`CommandSpec.id`、`WorkflowDef.IntentID` | 每个概念一处定义,见提案第 4 节 |
|
||||
| X9 | P1 | 产品没有接上 Squad 的意图能力 | `modules/backend/internal/squadadapter` 未装配 IntentGate、Catalog、Runner | Squad 侧已做的目录注入与计划校验在产品路径不生效 | 组合根装配适配器 |
|
||||
| X10 | P2 | 模块路径是裸名 | `go.mod` 的 `module agent-native` / `agent-squad` / `agent-intent` | 第三方不能 `go get`,只能 replace | 改为可获取路径并打 semver tag。路线图已把改模块路径列为单独发版任务,不在本次 |
|
||||
|
||||
## 2. Agent-Native(`c6d867c`)
|
||||
|
||||
### P0
|
||||
|
||||
| 编号 | 现象 | 证据 | 影响 | 方向 |
|
||||
|---|---|---|---|---|
|
||||
| N1 | 工具预算超限留下没有结果的 tool_calls | `runtime/loop.go` 先 `persist` 带 tool_calls 的 assistant,再在 `toolCalls+len > Max` 时 `budgetStop`。`budgetStop`(同文件约 542 行)不补工具结果 | 续跑时 OpenAI / Anthropic 会拒绝这段历史 | 超预算则不落盘该 assistant,或先写入合成的 error 结果再停 |
|
||||
| N2 | 并行工具的事件回调有数据竞争 | `executeParallel`(`loop.go` 约 366 行)每个工具一个 goroutine 调 `runOne`→`emit`。`adapters/native/backend.go` 约 332 行的 OnEvent 无锁写同一个 `strings.Builder` | `-race` 会报;日志交错 | 串行投递事件,或每工具私有缓冲再合并 |
|
||||
| N3 | MCP stdio 取消后读协程不退出 | `runtime/mcp/stdio.go` 的 `readResponseLine`:`ctx.Done` 返回后,后台 goroutine 仍在 `ReadBytes`。下次调用再起一个读者 | stdout 帧错乱、卡死 | 取消时关闭进程,或单读循环按 id 分发 |
|
||||
| N4 | 预设与真实客户端协议不一致 | `runtime/llm/client.go` 固定 POST `…/chat/completions`。`BuildBody` 的 Anthropic / Google 分支不被该 Client 使用。Anthropic body(`providers.go` 约 303 行)把 tool 结果收成普通 user 文本,不带 tool_use / thinking 签名,也不挂 tools | 选 anthropic / google 预设不能多轮工具 | 按 Protocol 分流真实客户端;未实现的协议不要出现在可用预设里 |
|
||||
|
||||
### P1
|
||||
|
||||
| 编号 | 现象 | 证据 | 方向 |
|
||||
|---|---|---|---|
|
||||
| N5 | token 预算只在回合开头检查,超限后本轮工具仍执行 | `loop.go` 用量在 consume 之后累加,执行工具前只查 `MaxToolCalls` | 累加后、执行工具前再查 token 预算 |
|
||||
| N6 | `Stop.Replacement` 只改内存 | `loop.go` 改最后一条消息内容,不 `persist` | 追加更正记录或提供改写 API |
|
||||
| N7 | compaction 按条数裁尾,可切断工具配对 | `runtime/session/compact.go` 的 `keepLastN` 不按 tool 组对齐。现有测试没有工具消息 | 裁切对齐 tool_calls 与 tool 结果 |
|
||||
| N8 | compact 与 append 有并发窗口 | compact 读完条目后解锁再摘要,再加锁追加 | 摘要期间禁止追加,或按版本号 CAS |
|
||||
| N9 | 会话追加无 fsync、无跨进程锁 | `runtime/session/tree.go` 用 `O_APPEND` 写,锁只在单进程内 | 可选 Sync;文档写明单写者,或加文件锁 |
|
||||
| N10 | 流式错误不落盘、默认不重试 | `loop.go` 遇到错误帧直接返回。`WithRetry` 只在 CLI 包装 | Backend 适配默认重试;写明错误帧是否落盘 |
|
||||
| N11 | SSE 不拼接多行 `data:` | `runtime/llm/sse.go` 逐行处理 | 按空行分事件再拼接 |
|
||||
| N12 | 取消一批工具时要等全部结束 | `executeParallel` 用 `Wait`;顺序路径工具之间不看 `ctx.Err()` | 批内协作取消;超时后仍写 error 结果以保持配对 |
|
||||
| N13 | fetch_url 有 DNS 重绑定窗口 | `runtime/tools/fetch.go` 先 `LookupIP` 校验,`client.Do` 再解析 | Dial 时连已校验的 IP |
|
||||
| N14 | 宿主自带 `CheckRedirect` 时跳过重定向校验 | `fetch.go` 仅在 `CheckRedirect==nil` 时包装 | 始终链式包装 |
|
||||
| N15 | write / edit 不是崩溃原子 | `runtime/tools/builtin.go` 直接 `os.WriteFile` | 临时文件再 rename |
|
||||
| N16 | 按字节截断,破坏 UTF-8 | `builtin.go`、`exec.go`、`mcp/manager.go` | 按 rune 回退 |
|
||||
| N17 | 工具 schema 校验过松 | `runtime/tools/registry.go` 不强制 `additionalProperties:false`,array / object 一律放行 | 至少拒绝未知键 |
|
||||
| N18 | MCP「失败重连一次」只有注释 | `runtime/mcp/manager.go` 注释与实现不符,失败只返回错误 | 实现或删注释 |
|
||||
| N19 | MCP HTTP `Close` 是空操作 | `runtime/mcp/http.go` | 发送 session terminate |
|
||||
| N20 | 用量把每轮完整历史的 prompt token 累加 | `loop.go` | 分开「上一请求」与「累计计费」 |
|
||||
| N21 | 毒化轮转状态只在内存 | `adapters/native/backend.go` 的 `lastFailure` | 旁路文件落盘 |
|
||||
| N22 | 提醒消息是追加的 user 角色 | `loop.go` 的 `withEphemeral`。OpenAI 在 tool 结果之后通常可接受。Anthropic Messages 是否拒绝,待确认 | 用提供方的 ephemeral / system 通道;补一条 Anthropic 往返测试 |
|
||||
|
||||
### P2
|
||||
|
||||
| 编号 | 现象 | 证据 | 方向 |
|
||||
|---|---|---|---|
|
||||
| N23 | `run_python` 的 `ScriptDir` 不经路径解析 | `runtime/tools/exec.go` 约 112 行:`filepath.Join(t.root, ScriptDir)`。该字段只能由宿主配置,模型参数改不了,因此从 P0 降为加固 | `Resolve` 后再用;单测覆盖 `..` |
|
||||
| N24 | grep / WalkDir 无文件数与总字节上限 | `builtin.go` 只有命中条数和单文件上限 | 加 maxFiles / maxBytes |
|
||||
| N25 | HTTP 客户端默认超时很长、无空闲读超时 | `runtime/llm/client.go` | ResponseHeaderTimeout 与读空闲超时 |
|
||||
| N26 | Registry 无锁 | `registry.go` 的 Register / Restrict 与 Execute 并发不安全 | 运行前冻结快照 |
|
||||
| N27 | SSE 工具名用 `+=` 拼接 | `sse.go` 若 delta 重复全名会拼重 | 仅空时写入 |
|
||||
| N28 | 绝对路径 jail 用未 Eval 的根做 Rel | `runtime/tools/jail.go`。symlink 根加绝对真实路径是否可绕,待确认 | 校验统一对已解析的根 |
|
||||
| N29 | `contract/` 与 `exec/` 两套契约 | `contract` 只有 conformance 的 fake 在用;native 实现的是 `exec.Backend` | 保留 `exec`,删除或并入 `contract` |
|
||||
| N30 | `native.Options` 汇集全部配置 | MCP、技能、压缩、宿主工具、执行、抓取、搜索在同一结构 | 按端口拆分 |
|
||||
| N31 | `adapters/native` 不透传 Stop / Reminders / RepeatGuard / BeforeTool | `adapters/native/backend.go` 的 run 不设置这些字段 | 小队路径拿不到直连的门禁。透传或由宿主显式配置 |
|
||||
|
||||
缺测(本次未找到对应用例):N1 配对、N2 race、N3 取消双读、N4 Anthropic 线上格式、N7 切断工具组、N13 DNS 重绑定、N6 持久化。
|
||||
|
||||
## 3. Agent-Squad(`590fd86`)
|
||||
|
||||
### P0
|
||||
|
||||
| 编号 | 现象 | 证据 | 影响 | 方向 |
|
||||
|---|---|---|---|---|
|
||||
| Q1 | `RequiresApproval` 批准后再次挂起 | `squad/workflow.go` 约 60 行检查 `Approved["step:"+id]`。全仓只写 `Approved["role:…"]`(`engine.go` 约 578 行)。`Respond` 的确认只恢复挂起,不写 step 键 | 该步骤永不执行 | 批准时写入 `step:` 键并落盘;补回归 |
|
||||
| Q2 | 授权、修复预算、澄清、steering 不落盘 | `runState` 有这些字段(`squad/runstate.go`)。`save()` 只写 workspace、workflow、squad、blackboard、usage | 重启后授权丢失、修复预算归零 | 原子写入 `runstate.json`,Resume 必读 |
|
||||
| Q3 | 状态文件不是原子写 | `squad/workspace.go` 的 `writeJSON` 直接 `os.WriteFile`。只有黑板用临时文件再 rename(`blackboard.go`) | 崩溃留下半截 JSON,Resume 失败 | 统一 tmp + Sync + rename |
|
||||
| Q4 | Resume 会重跑 status=running 的步骤 | `advance` 只跳过 completed / skipped / failed(`workflow.go` 约 33 行)。崩溃可留下 running。`Resume` 无挂起则直接 `advance` | 写文件、工具、MCP 副作用重复 | 步骤 attempt id;恢复前把 running 标成待重试并校验产物 |
|
||||
| Q5 | 没有跨进程 run 锁 | `engine.go` 约 144 行只有进程内 `map` | 两进程可交错写同一 run 目录 | run 目录文件锁,或单写者 |
|
||||
|
||||
### P1
|
||||
|
||||
| 编号 | 现象 | 证据 | 方向 |
|
||||
|---|---|---|---|
|
||||
| Q6 | HITL 超时字段未实现 | `hitl.go` 有 `TimeoutAfter` / `ExpireAction`,无扫描 | sweeper 按到期动作合成决策 |
|
||||
| Q7 | `Respond` 先删 pending 再应用决策 | `engine.go` 约 477 行先 `saveGate(nil)`。二次回应走「无挂起」 | 先记 answered 再删 |
|
||||
| Q8 | wakeup 自动批准 confirmation / permission / quality | `engine.go` 约 901 行 | 高风险 kind 禁止自动批准 |
|
||||
| Q9 | `SweepWakeups` 在锁外改 `WakeupFires` | 先自增写盘再 `Respond`(锁在 Respond 内) | 整段放进 run 锁 |
|
||||
| Q10 | 并行组无 fail-fast,且丢掉 gate | `runParallel` 等全部结束;忽略 `runOneStep` 的 gate | 失败即取消兄弟 |
|
||||
| Q11 | 步骤间上下文是过期快照 | `BuildSubWorkspaces` 用当时黑板写 `TASK.md`,顺序执行不刷新 | 每步前用最新黑板和上游产物索引重写 |
|
||||
| Q12 | LLM 规划失败无回退、无规模上限、目标原文注入 | `planner_llm.go` fail-closed;prompt 直接拼 `Goal.Text` | 可配置回退;目标分段;硬上限 |
|
||||
| Q13 | intent 步要求注册表里存在名为 intent 的角色 | `materialize` 对每步 `Registry.Get(role)` | `IntentID` 非空时跳过普通角色检查 |
|
||||
| Q14 | Server 与 platform HTTP 无鉴权 | `server/server.go`、`platform/http.go` | 至少 API token |
|
||||
| Q15 | run id 未校验 | `filepath.Join(DataDir, "runs", runID)`,id 来自路径 | 拒绝非 `run_` 前缀的安全字符集 |
|
||||
| Q16 | 请求体无大小上限(webhook 除外) | `handleCreateRun` 无 `MaxBytesReader`;webhook 才有 256KiB | 全局 body 上限 |
|
||||
| Q17 | SSE 扇出关闭竞态、慢消费者丢帧 | `progress.go` default 丢帧;回放 goroutine 往已关闭 channel 写 | done 信号停回放 |
|
||||
| Q18 | 事件序号重启后从 1 重计 | `store/eventsink.go` 的 seq 只在内存 | 启动时读最后一行 |
|
||||
| Q19 | Claim 并发上限先查后改;未开 WAL | `platform/queue.go` 先 COUNT 再 UPDATE;`db.go` 只有 busy_timeout | 单条条件更新;`journal_mode=WAL` |
|
||||
| Q20 | 文件 runs 与 SQLite 两个真相源 | `platform/db.go` 注释;server 可同时挂两者 | platform 降为 Store 实现,状态以图执行为准 |
|
||||
| Q21 | `StepSpec.Needs` 未参与调度 | 只定义在 `models.go`。调度看相邻 `Parallel`(`workflow.go`) | 实现 DAG 或删除字段 |
|
||||
|
||||
### P2
|
||||
|
||||
| 编号 | 现象 | 证据 | 方向 |
|
||||
|---|---|---|---|
|
||||
| Q22 | leader 先 `Turns++` 再执行 | `leader.go` 约 242 行 | 成功后再递增 |
|
||||
| Q23 | `MaxLeaderTurns` 用尽直接失败,无降级收口 | `leader.go` | 可配置收口 |
|
||||
| Q24 | 步骤重试共享同一个 deadline | `workflow.go` 约 209 行。短超时下重试几乎无预算 | 文档写明,或每次重试单独预算 |
|
||||
| Q25 | 角色与蓝图写盘忽略错误 | `store.go` 的 `_ = os.WriteFile` | 原子写并返回错误 |
|
||||
| Q26 | 人工 retry 直接把修复预算加一 | `engine.go` 约 608 行。是否有意,待确认 | 设上限 |
|
||||
| Q27 | 拓扑写死 | standard / leader / router 在引擎内分支,无 Topology 接口 | 插件接口 |
|
||||
|
||||
缺测:Q1 全路径、Q4 从 running 恢复、Q5 多进程、Q6 超时、Q8 自动批准、Q15 路径穿越。
|
||||
|
||||
## 4. Agent-Intent(`1dbbe81`)
|
||||
|
||||
### P0
|
||||
|
||||
| 编号 | 现象 | 证据 | 影响 | 方向 |
|
||||
|---|---|---|---|---|
|
||||
| I1 | `Classifier.Refine` 返回值不校验 | `intent/recognizer.go` 约 97–123 行:不检查 ID 是否属于原候选,不把置信度限制在 0 到 1,不禁止改 Metadata / Handler。失败才保持 Ambiguous | LLM 分类器可以把任意 ID 抬成 Top | ID 集合必须相等;置信度钳制;禁止新增特权字段 |
|
||||
| I2 | 槽位校验器是进程级全局表 | `intent/slots.go` 的 `slotValidators sync.Map`,无注销、无命名空间 | 多 Registry 同名互相覆盖 | 挂到 Registry / Options |
|
||||
|
||||
### P1
|
||||
|
||||
| 编号 | 现象 | 证据 | 方向 |
|
||||
|---|---|---|---|
|
||||
| I3 | 中文子串匹配、无词界 | `intent/registry.go` 约 120 行 `strings.Contains`。语料只有正向命中 | 词界模式或最短词长告警;补假阳性负例 |
|
||||
| I4 | 只做 `ToLower`,无 NFKC / 全半角 / 繁简 | `recognizer.go` 折叠;slot normalize 仅 trim / lower / upper | 可选 NFKC;文档写明无繁简 |
|
||||
| I5 | 同分恒为 Ambiguous,priority 不参与裁决 | 分差小于 margin 即 Ambiguous(`recognizer.go`)。priority 只用于排序 | 允许 margin 为 0 时按 priority 决胜。当前 `<=0` 会被改回 0.1(`registry.go`) |
|
||||
| I6 | 分类器解歧后的 Top 可能没有槽位 | `candidatesOf(..., false)` 先不抽槽 | 裁决成功后再对 Top 抽槽 |
|
||||
| I7 | Snapshot 的 Metadata 浅拷贝 | `SpecByID` / `Catalog` 拷贝 map 但共享底层 | 深拷贝 |
|
||||
| I8 | Catalog 整表输出 Metadata 与 Handler | `intent/catalog.go` | 白名单键;默认不进 Markdown |
|
||||
| I9 | 闸门钉死旧 `*Snapshot` | `squadintent/gate.go`、`adapters/intentgate` 不持有 Registry | Reload 后须重建,或持有 Registry |
|
||||
| I10 | 识别是全量线性扫描 | `evalRules`,上限 2048 | 规模上来再做倒排;先写明上限 |
|
||||
| I11 | 多槽位各自第一次匹配,无重叠消解 | `intent/slots.go` | 文档写明;冲突时标歧义 |
|
||||
| I12 | 否定只靠 `excludes_any` 子串 | 语料 `negated_write_readonly` 依赖硬编码「配置」 | 不在库内做语义否定;交给命令层的 Cancel |
|
||||
|
||||
### P2
|
||||
|
||||
| 编号 | 现象 | 证据 | 方向 |
|
||||
|---|---|---|---|
|
||||
| I13 | pattern 无长度上限 | 条数上限 `MaxPatternsPerSpec=32`,单条无长度限制 | 构建期限制长度 |
|
||||
| I14 | 评测语料约 10 条,无 precision / recall | `testdata/corpus.json` | 多轮、逐轮期望命令,输出指标 |
|
||||
|
||||
已核实相对健全:Snapshot 用原子指针交换且失败保留旧快照;正则在构建期编译(RE2);同分排序稳定(score、priority、注册序)。
|
||||
|
||||
## 5. 与产品侧的关系(不在三库内,供路线引用)
|
||||
|
||||
这些能力今天在 Backend,提案主张下沉到库,本次不改:
|
||||
|
||||
- 终轮验证与计划提醒:`modules/backend/internal/runtime/verify.go`
|
||||
- 评审流水线:`internal/runtime/review.go`
|
||||
- 工作流执行与 critic:`internal/runtime/workflow.go`、`internal/workflow/`
|
||||
- 子代理循环与 profile:`internal/runtime/sub_loop.go`、`internal/prompts/library/agent-sub-*.md`
|
||||
- 后台子代理通知:`internal/runmgr/runmgr.go`
|
||||
- 直连回合:`internal/runtime/llm_direct.go`(约 692 行)
|
||||
|
||||
`core.WorkflowDef` 仍是插件作者面对的契约。执行器与 `squad.WorkflowPlan` 是两套编排。
|
||||
@@ -0,0 +1,94 @@
|
||||
# 调研:pi `packages/durable`(Pico5)有什么可以借鉴
|
||||
|
||||
## 更正(v1.0.1,2026-10-03)
|
||||
|
||||
对照对象已从本地克隆 `c7cdb460`(2026-09-21)前进到 [earendil-works/pi](https://github.com/earendil-works/pi) `4c6fb7cfe8c538a668726f6f8b3554098c39faee`(2026-10-03,v1.0.1)。下面四条替换正文里对应的判断;正文保留,作为当时的证据。完整二次对照见 [2026-10-03-pi-zcode-second-pass.md](2026-10-03-pi-zcode-second-pass.md)。
|
||||
|
||||
- **Packages 1–23 已经实现。** `packages/durable/docs/pico-v5-handoff.md` 的状态栏不再是 “No Pico5 implementation exists”。可运行的内容包括会话、工具回合、收件箱、中止、子代理句柄、结构化并发、压缩与溢出、扩展,以及生命周期和任务图。存储有内存、SQLite、JSONL 三套,并带一致性测试。正文 §1 的“只有记录契约和一份内存存储”只对 `c7cdb460` 成立。
|
||||
- **不把 `@earendil-works/pi-durable` 或 Chord 当依赖引进来,这个结论不变。** 包仍标 Experimental;Chord 仍声明不是稳定公开契约;实现是 TypeScript,本仓执行与存储在 Go。
|
||||
- **正文 §2.2 的试点规则升级为采纳设计。** 重放取交集、意图与结果分两次提交、先写者胜出的 memo、内存实现作语义参照、侧车提交标记、压缩只追加并带 head 指针,都已有可对照的实现。落地仍在后续批次,不在本更正里改代码。结果状态继续对齐 A2A,不新增 `faulted` 枚举。
|
||||
- **`packages/agent` 里的实验内核 pico3 已在 v1.0.0 删除。** 正文引用的 `effect_pending` 与 `replay: "never" | "safe"` 现位于 durable 的工具任务。不要再把 pico3 当参考入口。
|
||||
|
||||
透明续跑仍然暂缓:骨架设计 §4.2 不做。服务端 steer、会话分叉和所有权级联改为条件试点,触发条件仍是正文 §2.3 写的那些产品需求。
|
||||
|
||||
- 状态:记录(2026-10-03);owner:weichen;任务:Dev 仓 `feature/pi-durable-borrow`
|
||||
- 对象:本机参考克隆 `/home/weichen/projects/Agent-System/.refs/pi`,`origin` 为 `https://github.com/earendil-works/pi.git`,HEAD `c7cdb460aa8a0cebef3446c4166729b8a0d97ead`(2026-09-21,`fix(coding-agent): reject bug reports offline`)。包版本 `@earendil-works/pi-durable` 0.86.1,MIT(仓库根 LICENSE 版权 2025 Mario Zechner;`packages/durable/package.json` 的 `license` 为 MIT)。
|
||||
- 对照的本仓事实以 Dev `a5c9fd3385` 为准。库层对照的是提案 [2026-10-02-agent-stack-completion.md](../proposals/2026-10-02-agent-stack-completion.md)(Documents PR #34,本记录合入时已经在 documents main)及其审计记录。
|
||||
|
||||
结论先说:**不把这个包或 Chord 当成依赖引进来。** 它现在只有记录契约和一份内存存储。值得拿走的是几条恢复规则,而且用我们已有的表和事件词汇就能落地。本任务在 Backend 修四个已经核实的缺陷;库层规则写在这里。提案已经合入,在提案里加链接留到后续小任务,本记录不改提案正文。
|
||||
|
||||
---
|
||||
|
||||
## 1. 这个包实际有什么
|
||||
|
||||
`packages/durable` 的 README 写明公开 API 是持久记录契约和一份脱离调用方的内存存储。交接文档 `docs/pico-v5-handoff.md` 的状态栏写着:旧的 pico、pico4 原型已删,pico3 还在,**No Pico5 implementation exists**。24 个实现包里,代码只覆盖第 1 包:
|
||||
|
||||
| 文件 | 内容 |
|
||||
|---|---|
|
||||
| `src/types.ts` | `ConversationRecord`、`EntryRecord`(`model` / `data` / `head` / `edits`)、`Input` 四态、`TaskRecord` / `TaskState` / `TaskOutcome`、`DocumentRecord`、`Storage` |
|
||||
| `src/memory-storage.ts` | `MemoryStorage`:原子提交、只读副本、分叉历史扫描、任务整行替换 |
|
||||
| `test/memory-storage.test.ts` | 12 个存储行为测试 |
|
||||
| `docs/pico-v5.md` | 规范。Session、文档、任务、收件箱、存储后端都在这里,没有对应实现 |
|
||||
|
||||
同仓里真正跑起来的同类代码在别的包,不在 `durable`:
|
||||
|
||||
- `packages/agent/src/harness/pico3/`:实验内核,约 8000 行,导出路径是 `@earendil-works/pi-agent-core/experimental/pico3`。交接文档要求只把它当参考,不要搬它的外观接口。
|
||||
- `packages/agent/src/harness/session/types.ts`:工具调用状态含 `effect_pending`,并带 `replay: "never" | "safe"`。这是 Pico5「先记意图再执行」在现行 harness 里的落地,比规范更值得对照。
|
||||
- `packages/coding-agent` 的会话仍是 JSONL 树,**不依赖** `@earendil-works/pi-durable`。
|
||||
- 依赖的 `@earendil-works/chord` 0.86.1 也是 MIT,但 `packages/chord/PLANNING.md` 写明 **not a stable public API contract yet**。
|
||||
|
||||
因此评级是 **Reject:不引入 `@earendil-works/pi-durable`,也不引入 Chord。** 语言栈是 TypeScript,我们的执行与存储在 Go;包本身没有 Session、调度器或 SQLite 后端可以链接。
|
||||
|
||||
## 2. 规范里值得单独拿走的规则
|
||||
|
||||
Pico5 的核心句(`docs/pico-v5.md` 开头):一次 Session 提交原子地写下不可变条目、完整任务记录和文档;只有提交成功的状态可被观察到。下面每条都标了我们这边的落点。
|
||||
|
||||
### 2.1 采纳,本任务在 Backend 实施
|
||||
|
||||
这四条不改变骨架设计 §4.2「不做透明恢复」。它们补的是那条决策已经承诺、但硬杀路径没有做到的事。
|
||||
|
||||
| 规则 | Pico5 出处 | 我们的缺口(修复前) | 落点 |
|
||||
|---|---|---|---|
|
||||
| 重开时把活着的任务收成终态 | 规范 §5.1:打开时把残留的 `running` 改回可调度;未知任务种类收成 `orphaned` | `InterruptRunning` 只在收到 SIGINT/SIGTERM 时遍历**内存里**的 run(`app.Run` 停机路径)。进程被硬杀后,库里的 `pending` / `running` / `waiting_hitl` 没有启动扫描。前端 `activeRun` 把一切非终态都当成进行中,outbox 因此不再发送 | 启动对账。SQLite 扫描全部;PostgreSQL 只扫描本实例(外加升级前 `instance_id` 为空的行)。收成 `interrupted`,未决 HITL 以 `cancelled` 关闭,发出已有的 `run.failed`(码 `run.interrupted`)。不新增 Core 状态 |
|
||||
| 输入先准入,再落库;用请求键去重 | 规范 §6:`requestId` 在写入前按会话去重;忙时 `reject` 则什么都不写 | `postMessage` 先 `AppendMessage` 再 `StartConversationRun`。槽位被占时返回 409,用户消息已经在库里。前端把同一条放回 outbox 队首,回合结束后再发一次,于是出现两条用户消息,第一条没有 run | 回合和工作流先抢槽位,忙则 409 且不写。`messages.request_id` 部分唯一索引。重复请求返回已有消息和 run。命令路由仍不占槽位 |
|
||||
| 终态一次提交 | 规范 §1 不变量 1、§5.3:终态任务、结果条目、输入结算在同一次提交 | `finishRun` 先 `UpdateRun`,再 `AppendMessage`;消息失败被跳过。可能留下 `completed` 且没有助手消息 | `SettleRun` 在一个事务里更新 run 并追加助手消息。失败则把 run 收成 `failed`(码 `run.settle_failed`)并发 `run.failed`,不再静默 |
|
||||
| 只发布已提交的状态;慢消费者靠持久游标收敛 | 规范 §1 不变量 2–3;§9.2 积压过多时用一份完整快照替换未送达的增量 | 事件是先落盘再 `Publish`,这一侧已经符合。缺口在总线:订阅缓冲满时直接丢掉,连接不断。浏览器不会带 `Last-Event-ID` 重连,注释里的「重放补齐」不会发生。另外 `EventsAfter` 只取一页 1000 条,更早的积压被跳过 | 缓冲满则关闭该订阅。SSE 看到通道关闭就结束响应,由 EventSource 重连。重放按页读到不足一页为止 |
|
||||
|
||||
多实例约束来自 [双档存储提案](../proposals/2026-09-30-dual-tier-storage-and-multitenancy.md) 的 D24:run 在所属实例的内存里执行,跨实例不迁移。所以 PostgreSQL 上的对账不能扫描别的实例正在跑的 run。实例标识来自启动配置 `instance`(环境变量 `AGENT_SYSTEM_INSTANCE`),缺省是「主机名:监听地址」。
|
||||
|
||||
### 2.2 试点,写给库层,本任务不改代码
|
||||
|
||||
这些规则对得上 agent-stack 提案的 N3(可恢复 RunState)、Q1(图执行检查点)和审计 Q4(恢复会重跑 `running` 步骤)。提案合入后再开任务,在提案 §2.1 / §2.2 加链接。不要把 Pico5 的状态词原样加进我们的结果枚举:提案写了跨库结果状态对齐 A2A,不自造第四套词。下面的 `faulted` 用原因码表达。
|
||||
|
||||
| 规则 | Pico5 出处 | 对应我们的缺口 | 试点时怎么用 |
|
||||
|---|---|---|---|
|
||||
| 重放取交集:存储时的策略和当前声明都是 safe 才重跑;否则写一条 interrupted 结果。当前的 safe 不能把当初的 unsafe 升级成可重跑 | 规范 §7.2;现行代码在 `harness/session/types.ts` 的 `effect_pending` | 审计 Q4:`Resume` 会把 `running` 步骤再执行一次。`contract` 有 `SideEffects`,但没有工具级的 replay 位,而且 contract 还没接到 runtime | Native 的工具声明加 replay 位,缺省 unsafe。Squad 的 attempt id 恢复时读这个位:unsafe 写中断结果,不调用执行器 |
|
||||
| 意图和结果分两次提交。一轮没有持久进展就失败 | 规范 §5.1 第 6 步、§5.2 effect sandwich | 审计 N1:预算用尽时 assistant 已经落盘,工具结果没有。重试会再打出副作用 | 工具调用先落「即将执行」再执行,执行后落结果。恢复时按上一行的交集决定重跑还是写中断结果。无进展用现有失败状态加原因码,不新增 `faulted` 枚举 |
|
||||
| 先写者胜出的 memo,和检查点分开,终态时丢掉 | 规范 §5.2 | 审计 Q1/Q2:批准和预算不是原子落盘,恢复后丢失或再次挂起 | 放在步骤记录上,候选插入和读出赢家同一次写入。批准、修复预算用它,不要再靠散落字段 |
|
||||
| 内存实现是语义参照,SQLite / JSONL 跑同一套一致性测试 | 规范 §10 末、§11.1;`MemoryStorage` 的测试就是这套测试的雏形 | Squad 的文件 run 和 platform SQLite 各记一份步骤状态(提案 Q1 验收已经要求合成一份) | 先有内存参照和共用测试,再写文件与 SQLite 后端。不要每个后端自己发明恢复语义 |
|
||||
| 多文件写入用「先写侧车、再写主标记、标记成功才对外可见」 | 规范 §11.3 | 审计 Q3:`writeJSON` 直接 `os.WriteFile`,崩溃留下半截 JSON | 文件档的检查点用这个协议。没有 fsync 时只承诺扛住进程崩溃,不承诺扛住断电;这一点写进文档,不要暗示成完整耐久 |
|
||||
| 压缩不改历史:追加一条带 `head` 的摘要,旧条目还在 | 规范 §2.1、§8 | 骨架设计:窗口外原文不删,滚动摘要是远期。Native 的 compaction 会按条数裁尾,审计 N7 指出可能切断工具配对 | 压缩产物是新条目加下界指针,回放从指针开始。不要重写 transcript 文件 |
|
||||
|
||||
### 2.3 暂缓,以及什么情况下再看
|
||||
|
||||
| 规则 | 为什么现在不拿 | 重新评估的条件 |
|
||||
|---|---|---|
|
||||
| 透明续跑(从检查点接着做,而不是标记中断后让用户重发) | 骨架 §4.2 明确不做,避免分布式续跑。N3 还没落地 | N3 的 RunState 可恢复已经合入,并且有「杀进程后工具配对仍成立」的测试 |
|
||||
| 服务端 steer / follow-up 队列 | 直连路径是 409 + 浏览器 outbox。`agent-native` 的 `AgentSession` 已有队列,但没有接到 HTTP | harness 提案 P1:直连和小队共用同一个回合循环 |
|
||||
| 崩溃后把未写完的助手输出收成一条 interrupted 消息 | 增量在 150ms 缓冲里,终态消息只在 run 结束时写。恢复它要定义「事件残片算不算消息」 | 终态原子提交稳定之后,如果用户确实需要看到半截回复 |
|
||||
| 把系统提示增量写进对话记录(`SystemMessage.sections` / `toolsAdded`) | 我们的系统段由 ctxasm 每次组装,不进消息表。pi-ai 已有这个类型,但是另一套回放 | 只有当我们要把「当时实际给模型的系统和工具」做成可回放事实时 |
|
||||
| 带作用域、历史和分叉策略的类型化文档,以及 Chord 增量订阅 | 我们已有持久 seq + Query 快照 + SSE 重放,订阅模型够用。Chord API 不稳定 | 出现真正的多文档、可分叉、要按历史时点读取的产品需求 |
|
||||
| 会话分叉(fork)和所有权树(owner 管中止,parent 管历史) | 领域模型没有会话分叉。子 run 用 `parent_run_id`,取消靠 context 级联 | 产品要做「从某一条消息开分支」或跨进程的子树取消 |
|
||||
|
||||
## 3. 本任务实施了什么
|
||||
|
||||
对应 §2.1,不改 Core 契约:
|
||||
|
||||
- Backend 迁移 v14:`runs.instance_id`,`messages.request_id` 及 `(conversation_id, request_id)` 部分唯一索引。
|
||||
- 启动对账 `ReconcileInterrupted`,与停机时的 `InterruptRunning` 共用收尾。
|
||||
- 发消息先查 requestId、回合与工作流先抢槽位再落库。
|
||||
- `SettleRun` 单事务写 run 终态和助手消息。
|
||||
- 事件总线在订阅缓冲满时关闭连接;SSE 按页重放直到不足一页。
|
||||
- Frontend 数据层在发送和 outbox 重发时携带同一个 requestId。界面不变。
|
||||
|
||||
不在本任务:透明续跑、服务端 steer、把半截输出收成消息、修改 Documents PR #34。
|
||||
@@ -0,0 +1,79 @@
|
||||
# 调研:pi v1.0.1 与 ZCode v3.14.3 二次对照
|
||||
|
||||
- 状态:记录(2026-10-03);owner:weichen;任务:Dev 仓 `feature/pi-zcode-second-pass`
|
||||
- 对象:
|
||||
- [earendil-works/pi](https://github.com/earendil-works/pi) `4c6fb7cfe8c538a668726f6f8b3554098c39faee`(2026-10-03,v1.0.1)。相对本机参考克隆 `c7cdb460`(2026-09-21)前进 239 个提交。MIT,仓库根 LICENSE 版权 2025 Mario Zechner。
|
||||
- [zai-org/ZCode](https://github.com/zai-org/ZCode) `29628c9acdb81b703bbd4080c207a0e7ce5e276e`(2026-09-24,v3.14.3)。本机对照树 `/tmp/ZCode-study`。Apache-2.0,根目录 LICENSE、NOTICE.md、THIRD-PARTY-NOTICES.md。
|
||||
- 本仓事实以 Dev `7139e58df0` 为准。前序:[2026-10-01-agent-harness.md](../proposals/2026-10-01-agent-harness.md) 的 P0–P4、[2026-10-02-agent-stack-completion.md](../proposals/2026-10-02-agent-stack-completion.md)、[2026-10-02-agent-stack-audit.md](2026-10-02-agent-stack-audit.md)、[2026-10-03-pi-durable-review.md](2026-10-03-pi-durable-review.md)。
|
||||
- 提示词不逐字照搬。移植设计时在 NOTICE 里注明来源与修改;不把上游包、插件市场或技能正文整仓拷入。
|
||||
|
||||
结论先说:P0–P4 已经借走回放、结束门禁、续写、验证器、子代理和工作流骨架。这一轮要补的是模型层健壮性、上下文工程、权限与钩子、文件回滚、代码编排端口。不引入 `@earendil-works/pi-durable`、Chord,也不移植 ZCode 的 TypeScript 动态工作流。
|
||||
|
||||
---
|
||||
|
||||
## 1. 来源现在是什么
|
||||
|
||||
pi 仍是最小可扩展的 agent harness:交互、print、JSON、RPC 和 TypeScript SDK。v1.0.1 的实质增量是 codemode、MCP 产品化、虚拟模型、分类器基础设施,以及整棵 Pico5 运行时。`packages/durable` 仍标 Experimental;`packages/agent` 在 v1.0.0 删掉了实验内核 pico3。coding-agent 的实验 TUI 已迁到 durable。
|
||||
|
||||
ZCode 是桌面、Web 和 CLI 共用的编程工作台。本记录只看 `apps/zcode-cli/packages/core` 与 `contracts` 里的 harness,以及产品壳里和运行态有关的协议。P0–P4 已经对齐的部分(原生工具回放、Stop 上限 3、输出续写 3 次、同名同参提醒、证据清单验证、子代理深度 1、声明式工作流)不再重复评级。
|
||||
|
||||
## 2. 评级
|
||||
|
||||
每条都标了本仓落点。阶段名沿用 agent-stack 提案的 N1、N2、N3;「批次」指本任务之后的实现批次。
|
||||
|
||||
| 主题 | 上游 | 本仓 | 评级 | 批次 |
|
||||
|---|---|---|---|---|
|
||||
| 上下文溢出识别 | pi `packages/ai`:按供应商文案识别,含 Z.AI 中文站 | `deps/agent-native/runtime/llm/providers.go` 的 `ContextOverflow` 要求错误信息同时含 “context” 与 overflow/too long/length | adopt | 2,N3 |
|
||||
| Retry-After 与容量重试 | pi:解析失败则指数退避;“Selected model is at capacity” 可重试 | `runtime/llm/client.go` 对 429/5xx 标可重试,不读 Retry-After | adopt | 2,N3 |
|
||||
| 未完成的工具调用 | pi `1b2aa0ca0`:Responses 未完成的 tool call 拒绝执行 | `runtime/llm/sse.go` 的 `mapFinish`:finish 为 `length` 或空、且已有工具增量时返回 `StopToolCalls` | adopt | 2 |
|
||||
| 流式重试不吞增量 | pi 的重试发生在收到正文之前 | `WithRetry` 先缓冲整次尝试再转发。默认打开会让流式失效 | adopt | 2,N10 |
|
||||
| 用量拆分 | pi 会话成本区分请求与累计 | 循环把每轮 prompt token 累加(审计 N20) | adopt | 2,N20 |
|
||||
| 运行内清理旧工具结果 | ZCode compact:保留最近若干条,更早的 Read/Bash/Grep 结果可替换 | 产品回放保留全文;内核 `session/compact.go` 按条数裁尾,可切断工具配对(审计 N7) | adopt | 4,N2 |
|
||||
| 压缩与追加的竞态 | pi durable:压缩是新条目加 head,不改历史 | `compact.go` 读完解锁再摘要(审计 N8) | adopt | 4,N2 |
|
||||
| 先读后改、文件过期 | ZCode `tool/read-file-state.ts`、edit handler:未读或 mtime 变化则拒绝 | 内置 write/edit 与后端 `write_file` 无此检查 | adopt | 4,N2 |
|
||||
| 提醒不占 user 角色 | ZCode `system-reminder/source.ts`:按来源节流,不破坏工具配对 | `runtime/loop.go` 的 `withEphemeral` 追加 user 消息(审计 N22) | adopt | 4,N1/N2 |
|
||||
| 子代理结果上限 | ZCode agent handler 约 120KB | `modules/backend/internal/runtime/sub_loop.go` 把结果原文交回 | adopt | 4,N2 |
|
||||
| 默认工具 `+name/-name` | pi settings,`30a1d1849` | `runtime/tools/registry.go` 只有精确名和通配 | adopt | 4,N2 |
|
||||
| RPC 回执 | pi `e473b5cd8`:`started` / `queued` / `handled` | `rpc/server.go` 只返回 OK 与正文 | adopt | 4 |
|
||||
| 按字符截断 | ZCode 与审计 N16 | `runmgr.go` 的 `ExecuteTool` 用字节切片截断工具结果 | adopt | 4 |
|
||||
| 权限三档 | ZCode:plan / build / edit;另有未实现的 auto 与旁路 yolo | 画像策略 deny / confirm / allow;无计划档 | adopt 三档;reject 旁路档 | 6,N1 |
|
||||
| 钩子总线 | ZCode `contracts/hooks`:SessionStart、UserPromptSubmit、PreToolUse、PermissionRequest、PostToolUse、PostToolUseFailure、Stop、SubagentStart/Stop;决策 allow/deny/ask/modify/block;超时 60s | 内核只有 BeforeTool、AfterTool、Stop 回调;无配置 schema。`adapters/native/backend.go` 不透传(审计 N31) | adopt 进程内总线;hold 进程级钩子 | 6,N1 |
|
||||
| 向用户提问 | ZCode AskUserQuestion | HITL 有 choice/input/confirm/form,没有一等工具 | adopt | 6,N1 |
|
||||
| 计划模式工具闸 | ZCode EnterPlanMode / ExitPlanMode | `update_plan` 只写计划,不限制写工具 | adopt | 6,N1 |
|
||||
| 确认卡参数 | 本仓缺口,不是上游新能力 | `ExecuteTool` 算出 `argsPreview` 后丢弃 | adopt | 6 |
|
||||
| 意图与结果分两次提交 | pi durable Tools:`replay` 取存储时与当前声明的交集 | 工具结果在执行后一次写入;崩溃留下无结果的调用(审计 N1 的同类) | adopt | 7,N3 |
|
||||
| 只回滚写文件 | ZCode `contracts/rewind`;pi 文件检查点只追踪写 | 无文件回滚 | adopt | 7,N3 |
|
||||
| 请求只读已落盘投影 | pi `466db0fec`:prepareRequest 以持久投影为权威 | AgentSession 的队列在内存里进入下一次请求 | adopt | 7,N2 |
|
||||
| 模型回退链 | pi 虚拟模型是每请求路由器,不是静态链 | 无回退;溢出不重试 | adopt 静态链,默认空;hold 虚拟模型路由 | 7,N3 |
|
||||
| GenAI span | 提案 §2.1 已列名字;ZCode telemetry 默认少采正文 | 有 logging-system 的 trace_id,无这组 span | adopt | 7,N3 |
|
||||
| 代码编排工具 | pi `packages/codemode`:模型写 JS,跑在 QuickJS,中间结果不进上下文;bash 对脚本最多 1MiB | 后端 `workflow_script.go` 是工作流步骤,不是模型侧工具 | adopt 端口语义,不搬 QuickJS | 8,N2 |
|
||||
| MCP 延迟暴露 | pi `docs/mcp.md`:exposure、tool_search、首条提示不等服务器 | `runtime/mcp/manager.go` 启动即连接;stdio 取消后读协程不退出(审计 N3);失败重连只有注释(N18);HTTP Close 为空(N19) | adopt | 8,N2 |
|
||||
| 运行态单一所有者 | ZCode 协议把 in-flight 与 settled 分开;发送即 ack | 前端 `store.ts` 的 live 与 runs 分别更新。Dev #161 已修可见性回归 | adopt 剩余的单一状态源与事件穷举 | 5 |
|
||||
| 架构基线棘轮 | ZCode `architecture-policy.yaml` 与 knip | Dev 已有库间导入棘轮,不管 backend internal 分层,也不查死导出 | adopt | 3 |
|
||||
|
||||
## 3. 拒绝,以及为什么
|
||||
|
||||
| 项 | 理由 |
|
||||
|---|---|
|
||||
| 依赖 pi-durable 或 Chord | TypeScript、Experimental、Chord 不是稳定契约。只借鉴规则和测试意图 |
|
||||
| 透明续跑 | 骨架设计 §4.2 明确不做 |
|
||||
| 回滚对话历史 | 文件可以回到某条用户消息之前;消息树保持追加 |
|
||||
| 绕过确认的权限档 | ZCode 的 yolo 与本仓「deny 不能被 allow 跳过」冲突 |
|
||||
| 进程级钩子、MCP OAuth | 宿主是多租户后端,不是单用户 CLI。钩子先做进程内回调 |
|
||||
| ZCode 动态工作流 DSL | 编排已裁定归 Agent-Squad。不移植 TypeScript 沙箱脚本图 |
|
||||
| ZCode TUI、桌面、远程 SSH、CUA、cron、插件市场 | 产品形态是单二进制加 Web。CUA 在上游也是占位 |
|
||||
| pi 虚拟模型与分类器路由 | 当前没有「每个请求选模型」的产品需求。回退链用静态列表 |
|
||||
| Anthropic 原生协议与 thinking 签名回放 | 仍按提案 N2 单独做。本轮只堵住会执行未完成工具调用的解析 |
|
||||
|
||||
## 4. 不回退的既有决定
|
||||
|
||||
- 交付守卫失败即不通过。ZCode 在验证器自身出错时放行。见 harness 提案 §2。
|
||||
- 正文里的伪造工具调用要拦截。见 harness 提案 P0。
|
||||
- 动态工作流步数、脚本确认和回调白名单保持 P4 的数字。代码编排端口默认关闭。
|
||||
- 回合默认仍有轮次和预算上限。ZCode 的长任务哲学是不按工具次数硬停;本仓保留上限作安全阀。
|
||||
- 库声明自己不是操作系统沙箱。
|
||||
|
||||
## 5. 本记录的验收
|
||||
|
||||
- 本文件、pi-durable 记录文首更正、提案 §2.4 互相链接。
|
||||
- 不改 Go 或 TypeScript 代码,不改三个库的指针。
|
||||
@@ -0,0 +1,71 @@
|
||||
# 调研:SillyTavern 1.19.0
|
||||
|
||||
- 状态:记录(2026-10-04);owner:weichen;任务:Dev 仓 `feature/sillytavern-review`
|
||||
- 对象:[SillyTavern/SillyTavern](https://github.com/SillyTavern/SillyTavern) `06bde939`(release 1.19.0,2026-09-14)。AGPL-3.0,另有标注 GPLv3 的 RisuAI 片段。按固定提交只读对照,不建长期克隆,不拷源码。
|
||||
- 本仓事实以任务起点 Dev `4fd03eee` 为准。前序:[2026-10-03-pi-zcode-second-pass.md](2026-10-03-pi-zcode-second-pass.md)、[2026-10-02-agent-stack-completion.md](../proposals/2026-10-02-agent-stack-completion.md)。
|
||||
- 规则与 pi / ZCode 两份记录相同:只借设计。不拷代码、提示词或界面文案。本仓各子仓没有 LICENSE、以单二进制分发,拷入 AGPL 代码会让整个产品落入 AGPL,网络使用条款同样生效。
|
||||
|
||||
结论先说:上下文工程值得借的是「统一注入登记 + 按预算组装」,平台侧值得借的是带标签的密钥、设置快照、以及听口令时拒绝无认证的对外监听。本仓的 SSRF 与账户已经更严,不借。安全缺口(输出未清洗、缺响应头、不校验来源、对外监听无认证)和下面的采纳项在同一任务里落地。扩展系统、脚本宏、群聊、角色卡、自定义 CSS、JSONL 存储、删除消息和自动触发的快捷回复不借。
|
||||
|
||||
---
|
||||
|
||||
## 1. 来源现在是什么
|
||||
|
||||
SillyTavern 把要注入模型的文本放进统一登记表:每条有位置、深度、角色、顺序和扫描范围,再由一次按 token 预算的组装把它们收成请求。预算不够时只裁最老的历史。世界书、作者注、记忆和向量库都走这条登记,而不是各写一条拼接。
|
||||
|
||||
平台侧用带标签的多密钥(同一服务一把生效)、设置快照、以及「监听且未开认证就拒绝启动」。请求侧还有 Host / Origin 检查。聊天用 JSONL,带滑动候选和父指针检查点。扩展是未沙箱的同源脚本。
|
||||
|
||||
本仓已经有更严的 SSRF(`fetch_url` 和链接预览在拨号时校验解析出的 IP,黑名单含 `0.0.0.0/8` 和 `100.64.0.0/10`)和账户(argon2id、重置密码即吊销服务端会话、登录限流)。这些不改。
|
||||
|
||||
## 2. 对照时核实的安全缺口
|
||||
|
||||
行号是任务起点那一版本仓源码,实施后位置会移动。
|
||||
|
||||
| 缺口 | 起点位置 | 处置 |
|
||||
|---|---|---|
|
||||
| 模型输出、卡片和文档预览把 HTML 直接写入页面。`marked` 15.0.12 不清洗 | Frontend `Conversation.tsx`、`previewsetup.ts`;UI `UIRenderer.tsx`、`FilePreview.tsx` | `@ui` 的 `safeHtml` 成为唯一写入点。外部图片改成「外部图片 · 域名」链接。同源地址不再用 `allow-same-origin` 内嵌 |
|
||||
| 没有 CSP / nosniff。HTML 工件按页面直出 | Backend `server.go` 的静态页与 `artifactContent` | 页面 CSP、nosniff、`Referrer-Policy`。html/svg/xml 工件加 `sandbox` |
|
||||
| 不校验 Origin / Host。SQLite 档默认不开认证 | `app.go` 的认证开关 | `RequestGuard` 包在组合根。写请求核对 Origin 或 `Sec-Fetch-Site`。未开认证时 Host 只允许 IP、`localhost` 和 `allowedHosts` |
|
||||
| 对外监听且未开认证时照常启动 | `.env.dev` 曾把 dev 听在 `0.0.0.0:8788` | 非回环、未开认证、又没有 `--insecure-listen` 时,打开数据库之前拒绝启动 |
|
||||
|
||||
## 3. 采纳并已在本任务实施
|
||||
|
||||
原先记为后续批次。任务范围改为同一任务做完,落点如下。
|
||||
|
||||
| 主题 | 上游设计 | 本仓落点 |
|
||||
|---|---|---|
|
||||
| 密钥独立存储 | `src/endpoints/secrets.js`:多把带标签的 key,一把生效,读出只给掩码,迁移前备份 | `secret_keys`。GET 只返回掩码。启动时先写设置快照,再把 `models.*.apiKey` 和 `tools.tavily.apiKeys` 迁入并从表单设置清掉。运行时优先用生效密钥 |
|
||||
| 设置快照 | 启动和保存后留档。上游恢复前不留档,这一点不照搬 | `settings_snapshots`。正文与上一份相同则跳过。保存间隔短于 10 分钟则跳过 |
|
||||
| 个人指令与会话要求 | persona 与 Author's Note | `context.userInstructions` 与会话 `sessionNote`。经 agent-native `reminders.Attach` 附在最后一条用户或工具消息上,系统前缀不动 |
|
||||
| 条件注入 | 世界书的关键词、次关键词逻辑、扫描深度、常驻、顺序、预算 | `context_entries`。`matchModule` 仍只看本轮子串;条目在组装末尾另判 |
|
||||
| 上下文快照 | 提示词分段视图 | `ContextObservation` 增加 `sections` 与 `prefixHash`。界面折叠条显示估算 token 和前缀哈希 |
|
||||
| 估算口径 | 上游按 token 预算裁历史 | 统一为 UTF-8 字节 / 3.35,再用上一请求的 prompt token 校准。`context.contextWindow` 进入 schema,默认 32000,只丢掉最早的历史 |
|
||||
| 消息整形 | `src/prompt-converters.js` | `PrepareMessages`。`merge` 合并相邻同角色。`strict` 再把第一条之后的 system 收成 user。工具调用和结果不合并 |
|
||||
| 复制、排除、候选回复 | 滑动候选与检查点 | 复制在界面完成。排除按消息及其同一 run 成组,记录仍在。重新生成不删旧回复,写入同一 `variantGroup`,并按用户消息做文件回滚 |
|
||||
| 用户 `/` 命令 | 快捷指令,但不做自动触发 | `user_commands`。名称符合 `user.<slug>` 时登记为 agent-command 的 `SourceUser`。发送时把模板展开成普通用户消息 |
|
||||
|
||||
## 4. 暂缓
|
||||
|
||||
- Claude 缓存断点:等 Anthropic 原生协议。
|
||||
- 编辑重发与会话分支:等候选回复用过再看父指针方案。
|
||||
- 窗口外同会话召回、用户级知识库:等会话经常超出窗口再看。
|
||||
- 世界书的概率、递归、包含组和定时效果。
|
||||
- 密钥静态加密。
|
||||
- i18n:真要做时不能拿原文当键。
|
||||
- 出站代理:只能用于模型端点。
|
||||
- 画像导入导出。
|
||||
|
||||
## 5. 拒绝
|
||||
|
||||
- 拷代码、提示词和界面文案。
|
||||
- 扩展系统(同源 JS、没有沙箱)和带完整 Node 权限的服务器插件。
|
||||
- STscript 和宏语言。
|
||||
- 群聊、角色卡、视觉小说。
|
||||
- 自定义 CSS 和平滑打字流式:与 DESIGN.md 冲突。
|
||||
- JSONL 整文件覆盖和逐行扫描搜索。
|
||||
- 删除消息。用「排除出上下文」代替。
|
||||
- 自动执行的快捷回复触发器。
|
||||
|
||||
## 6. 不回退的既有决定
|
||||
|
||||
认证默认仍是 `auto`:显式 `on`,或不是 `off` 且配置了 DSN,才开认证。不加 CSRF token,不加 CSP 上报端点。不改 SSRF 黑名单,不改账户哈希和会话吊销。
|
||||
Reference in New Issue
Block a user