Close the EXT-13/15/14 task card after PRs #281/#282 #284

Merged
weichen merged 1 commits from feature/card-close-20261009-165152Z into main 2026-10-10 05:07:40 +00:00
@@ -1,6 +1,6 @@
# feature/ext-13-15-shared-runs 任务卡
任务主记录:<PR 链接,交付前填写>;状态:进行中;owner:weichen
任务主记录:PR #282 https://git-home.u1680832.nyat.app:30319/weichen/Agent-System-Dev/pulls/282(merge 13e03ab15d);状态:已完成(回填);owner:weichen
## 基线与授权
@@ -68,7 +68,7 @@
| 时间(UTC) | 命令 | 被测HEAD | exit | 来源 | sha256(16) |
|---|---|---|---|---|---|
## 结果与验证(完成后填写)
## 结果与验证
- 结果:EXT-14(命令即工具)全链落地——agent-command 库 ExposeAsTool 字段(lib #4,merge 9effe90)与 agent 入口归一(lib #5,merge 5c6dd0c);Backend 投影与总分发(#114,merge 545dc40)+ runmgr↔cmdbus 依赖倒置修复(#116,merge 8157e68)+ squad pin 级联(Squad #49、Backend #117,merge 31965fd);Dev gitlink 级联(backend 31965fd / agent-command 5c6dd0c / agent-native 3b92cb63 / agent-squad 8bbf850)。
- 验证:PASS——Dev `make test` 组合全绿(本卡 evidence 行,HEAD 13a3e63 系列);Backend #114/#116/#117 head CI 均 success(GATE);Dev 侧 lint-boundaries 于 6337cd8 预验绿(77 边、负例 ok,SELF)。lint 首轮红(runmgr→cmdbus 新边)已由 #116 消除;pins 首轮红(squad/native/command 级联缺失)已由 Squad #49 + Backend #117 + 本仓四 gitlink 消除。
@@ -242,3 +242,9 @@
"receipt_sha256": "42917ee17bc2757e73f509115dcf5de33d04275b33cf3d9435b3215cbd160854"
}
```
## 闭合记录(card-autoclose 回填)
- 依据:merge 13e03ab15d89d13e0b1cc6848d76776c723a6f96(PR #282)已包含于 origin/main,分支成果已落盘;本段为合入后回填。
- 合并主题:Merge pull request 'Consume the EXT-14 backend (commands-as-tools) with the full pin cascade' (#282) from feature/ext-13-15-shared-runs into main
- 归档:随闭合移入 .task/archive/;任务执行期的过程证据见原任务记录与 PR。