Record T5 polish verification with the zero-page walkthrough

Why: T5 acceptance evidence - the D31 conversation-completeness walkthrough on a fresh instance plus tidy/badge and guide updates.
Evidence: walkthrough 12/12 PASS (fresh binary, empty data dir, conversation-only driving end to end); ui StatusLamp dual-encoding assertions; frontend 9/9 + build.
Impact: docs/records only.
Refs: docs/proposals/2026-09-30-ui-inbox-command-workspace.md T5; task card feature/polish-r1

docs/guides/usage.md

@@ -105,43 +105,59 @@ AGENT_SYSTEM_CONFIG=/etc/agent-system.json agent-system serve   # 环境变量
 - 选项卡：显示描述与**影响**（决策上下文契约：每个选项必须声明可能造成的影响）。
 - 自由输入三分支路由：一般输入→澄清回答回填；`/` 开头→命令转轨；**命中已注册插件意图（agent-intent 闸门）→转轨为新任务**。示例插件注册了 `demo.show` 意图（命中「示例/演示」），HITL 挂起时输入「来个示例演示」即可观察转轨。
 
-### 4.2 Sub-agent 追踪
+### 4.2 收件箱与任务卡（右栏终态，D25）
 
-- 右栏「代理」tab：任务树（对话任务 + 子代理，状态点动画）。
-- 点击任意节点 → **追踪弹窗**：状态、token/时长/工具用量徽标、**中间过程消息**（子代理产出已持久化）。
+右栏 = **收件箱** + 「当前任务」常驻卡（计划/待办并入，随对话实时更新）：
+
+- 任务卡七类（progress/confirm/compare/review-list/result/error/status）：状态灯**形状+色双编码**（◆ 待处理 ● 完成 ✓ 已确认 ✕ 失败 ◌ 已关闭——不只靠颜色）；置顶不随滚动；`#upload` 演示摄取→完成→冲突对比卡全周期。
+- 卡上动作即命令（card 入口，见 §5）；确认结论以**回执消息**进对话时间线留痕。
+- **收纳**：🧹 一键收纳完成卡（done→关闭；已确认卡盖章留痕不动）；右栏收起时角标显示待处理数。
+- 卡片↔消息**互定位**（D32）：消息内 `card:` 链接点击定位收件箱卡片；HITL/确认卡锚定发起消息内联双现。
+
+### 4.3 工作区弹层（深读与治理视图，⌘1–9）
+
+工件/代理/插件面板不再占右栏 tab，统一为**工作区弹层**（Esc/遮罩关闭回对话现场；不承载唯一步骤）：
+
+- ⌘1 工件 · ⌘2 代理 · ⌘3+ 插件面板/插件声明工作区（example 插件含「治理总览」示例，⌘9）。
+- 左栏「工作区」快捷区同清单；会话头左侧为**项目徽章**（D26 不加全局顶栏）。
+- Sub-agent 追踪：代理工作区任务树点击任意节点 → 追踪弹窗（状态/用量徽标/中间过程消息）。
 - 真实模型模式下，模型可经 `delegate_task` 派生子代理、经 `squad_orchestrate` 发起引擎编排（多步骤目标建议后者：计划确认 + 交付物把关）。
 
-### 4.3 计划 / 待办
+### 4.4 计划 / 待办
 
-右栏「计划 / 待办」实时更新（真实模型经 `update_plan` / `update_todos` 工具维护；mock `#agents` 演示）。
+并入右栏「当前任务」常驻卡（真实模型经 `update_plan` / `update_todos` 工具维护；mock `#agents` 演示）。
 
-### 4.4 工件
+### 4.5 工件
 
 - 上传与模型产出统一入 Artifacts；`write_artifact` 工具可被模型调用。
 - 查看：markdown 在线渲染；文本类可**编辑保存**；二进制（docx/pdf）下载；图片内联预览。
 - 文档工件与上传文本自动进**知识索引**（全文检索）。
 
-### 4.5 知识检索
+### 4.6 知识检索
 
 - API：`GET /api/knowledge/search?q=临床评价&project=<id>`；对话内 `@knowledge` 注入；模型工具 `knowledge_search`。
 - 中文检索：FTS5 分词对 CJK 无效时自动 LIKE 子串兜底（本版实测中文命中正常）。
 
-### 4.6 智能体画像（核心定制机制）
+### 4.7 智能体画像（核心定制机制）
 
 设置 → 智能体画像：内置「通用助手」（只读 T0 基线）+ 新建/导入/导出/编辑：
 
 - 系统提示、允许/确认/拒绝工具三清单（`*` 全部、`http.` 前缀族）、HITL 策略、预算（工具次数/轮次上限）。
 - 导出为 JSON 迁移；会话头部下拉切换画像。
 
-## 5. 命令
+## 5. 命令总线（四入口同源，D27）
 
-| 命令 | 作用 |
-|---|---|
-| `/help` | 命令列表 |
-| `/new` | 新建会话 |
-| `/mock on\|off` | 演示模式切换 |
-| `/model <名称>` | 设置主模型 |
-| `/profile <id>` | 切换会话画像 |
+按钮、卡片 action、`/` 命令、对话意图四个入口命中同一命令产生**同一条执行与审计**（`POST /api/commands/{id}`；审计 `GET /api/commands/audit`）。注册表数据驱动（内置 + 插件 `provides.commands`）：
+
+| `/` 命令 | 命令 id | 作用 |
+|---|---|---|
+| `/help` | builtin.help | 命令列表 |
+| `/new` | conversation.create | 新建会话 |
+| `/mock on\|off` | runtime.mock | 演示模式切换 |
+| `/model <名称>` | models.set | 设置主模型 |
+| `/profile <id>` | conversation.profile | 切换会话画像 |
+
+`danger=high` 的命令（含插件命令）执行终点为**内联确认卡**：锚定发起消息、阻断待确认、已决折叠留痕（双现于收件箱）。
 
 ## 6. 插件
 
@@ -153,8 +169,8 @@ AGENT_SYSTEM_CONFIG=/etc/agent-system.json agent-system serve   # 环境变量
 
 ### 6.2 示例插件（`example`）
 
-随发布携带，覆盖五类注册能力：声明式 HTTP 工具（`http_echo`）、右栏面板（「示例面板」tab）、
-卡片模板（`note`）、意图 spec（`demo_intent`）、提示词模板、插件设置项（出现在设置中心）。
+随发布携带，覆盖七类注册能力：声明式 HTTP 工具（`http_echo`）、面板（工作区弹层呈现）、
+卡片模板（`note`）、意图 spec（`demo_intent`）、提示词模板、插件设置项，以及 **命令声明**（`example.echo`，经命令总线四入口可调）与**工作区声明**（`example.governance`「治理总览」，⌘9）。
 
 ### 6.3 无代码自定义工具（声明式 HTTP）
 
@@ -168,6 +184,9 @@ AGENT_SYSTEM_CONFIG=/etc/agent-system.json agent-system serve   # 环境变量
 消息与运行  POST /api/conversations/{id}/messages（含命令路由）· POST /api/runs/{id}/cancel · GET /api/runs/{id}（含子任务树）
 事件流      GET /api/events?conversationId=&since=（SSE；Last-Event-ID 游标续传；心跳 15s）
 HITL       POST /api/hitl/{id}/resolve {choiceId|freeText}
+任务卡     GET /api/conversations/{id}/cards · POST /api/cards/{id}/actions/{actionId} · POST /api/cards/{id}/pin|dismiss
+命令总线   GET /api/commands（注册表）· POST /api/commands/{id} {params,entrance,conversationId} · GET /api/commands/audit
+工作区     GET /api/workspaces（插件工作区声明）
 上传/工件   POST /api/projects/{id}/uploads（multipart，返回解析结果）· GET/PUT /api/artifacts/{id}/content
 画像/设置   GET/POST /api/profiles · GET /api/settings · PUT /api/settings/user|project/{id}（schema 驱动）
 工具/插件   GET/POST/DELETE /api/tools · GET /api/plugins · POST /api/plugins/reload · GET /api/registry（来源标记）

docs/records/2026-09-30-t2-inbox-verification.md

@@ -0,0 +1,26 @@
+# T2 验证记录：收件箱任务卡（feature/inbox-r2）
+
+被测版本组合：core=a2050d8 + backend=ba1714d（cardsvc PR#8/#9）+ frontend=801a684（PR#4）+ ui=bf77de7（PR#4/#5）+ documents=本记录；Dev 组合 PR：见任务卡（feature/inbox-r2）。
+initial_base_sha（R0）：69fd335deac237f5291298cb06a50bf03d11add7。
+日期：2026-09-30。恢复说明：前会话完成主体开发并合入三仓（06:52–06:58Z），本会话接管收尾并补齐本记录与 Dev 钉定。
+
+## 结果
+
+| 用例 | 结果 | 证据 |
+|---|---|---|
+| Backend `go test ./...`（含 cardsvc 新套件） | PASS | 14 包 ok；cardsvc 覆盖生命周期、动作标签与幂等、pin/dismiss、owner 隔离、ref 幂等消解；迁移测试 v6 activity_cards（双方言） |
+| Backend 真实二进制 e2e（mock `#upload`） | PASS | `make build` 后 `serve --mock`：`#upload` → 会话卡列表 2 张（progress=done、compare=action_required 带 escalate/keep）；`actions/keep` → resolved + assistant 回执消息（含 card ref）入时间线；`pin=true` ✓；`dismiss` → dismissed ✓；重复动作 → "card: not awaiting action"（幂等拒绝） |
+| UI `tsc --noEmit` + `vitest run` | PASS | 13/13（含 InboxList/ActivityCardView 组件测试） |
+| Frontend `vitest run` | PASS | 9/9（组合源下 @ui 别名消费 InboxList/pendingCount） |
+| 组合 `make test` + `make build` | PASS | Dev 分支钉定后组合验证（版本串 412d51a+core=a2050d8+backend=ba1714d+frontend=801a684+ui=bf77de7+agentcmd=cc1ad77+documents=210b492） |
+
+## 落库清单（本任务）
+
+- backend：cardsvc 服务（创建/更新/状态机/pin/dismiss/动作+回执/ref 消解）、SQLite v6 activity_cards 迁移、卡事件入会话事件缓冲（persist/seq/replay）、REST（GET cards / actions / pin / dismiss）、摄取/编排/HITL 投影卡 producer、mock `#upload` 全周期演示。
+- ui：ActivityCardView + InboxList + pendingCount，样式与类型出口。
+- frontend：收件箱 tab 置首（D25）+ 待办角标 + 实时卡片状态（store/cards + api 三端点）。
+
+## 限制
+
+- 浏览器用户流程走查未在本记录执行（以真实二进制 API e2e + 组件测试 + 构建覆盖交互证据）；系统级零页面走查按提案归 T5 验收剧本。
+- 跨会话项目级收件箱聚合为提案 v1 边界外（卡片按会话）。

docs/records/2026-09-30-t3-command-bus-verification.md

@@ -0,0 +1,28 @@
+# T3 验证记录：命令总线（feature/command-bus-r1）
+
+被测版本组合：core=a2050d8 + backend=0f74026（PR#10）+ frontend=6a2b21a（PR#6）+ ui=76f976d（PR#7）+ documents=本记录；Dev 组合 PR：见任务卡（feature/command-bus-r1）。
+initial_base_sha（R0）：5b83704126（T2 合入后 main）。
+日期：2026-09-30。
+
+## 结果
+
+| 用例 | 结果 | 证据 |
+|---|---|---|
+| Backend `go vet ./...` + `go test ./...` | PASS | 15 包 ok（新增 cmdbus 套件）；store 迁移 v7 command_audit（双方言）roundtrip 更新为 [1..7] |
+| cmdbus 单测 | PASS | 四入口审计对称（button/card/slash/chat/api，未知名归一 api；committed 必带 operationID）；高危确认闭环（accepted→确认 committed→过期 rejected expired；取消 rejected；handler 拒绝透传）；审计不可用→unknown（不臆断成功）；插件 spec 无效 fail-closed；schema 标量子集校验（required/type/integer 分数拒绝） |
+| Server e2e（含新增 TestDangerCommandConfirmFlowE2E） | PASS | GET /api/commands 数组契约（含 danger 与 legacy name）；POST /api/commands/e2e.destroy（button 未确认）→ 确认卡+accepted；卡 action confirm → committed；GET /api/commands/audit 按会话查询有序（latest-first: committed→accepted）；既有 TestCommandsRoute 经总线仍过（/help、未知命令 400 契约不变） |
+| UI `tsc --noEmit` + `vitest run` | PASS | 18/18（InlineConfirmCard：未决展开+confirm/cancel 回调；resolved/dismissed/failed 折叠一行；非 confirm 不渲染；hasOpenConfirm 守卫语义） |
+| Frontend `tsc --noEmit` + `vitest run` | PASS | 9/9；接线为纯委派（渲染证据在 ui 套件、分发证据在 backend e2e） |
+| 组合 `make test` | PASS | Dev 钉定后组合验证（见 Dev 任务卡与组合 PR） |
+
+## 落库清单（本任务）
+
+- backend：`internal/cmdbus`（L1 包，模块卡 policy/modules/cmdbus.md；cardsvc 模块卡一并首落地）——注册表组合 Agent-Command、四入口归一分发、params 校验、danger=high→内联确认卡收口、审计信封落盘；server 路由 `POST /api/commands/{id}`、`GET /api/commands/audit`、`GET /api/commands` 改注册表驱动；postMessage chat 入口经意图闸门命中注册命令时同源分发（不起 run）；插件 host OnCommands overlay；store v7。
+- ui：InlineConfirmCard + hasOpenConfirm（锚定内联/已决折叠/双现定位入口）。
+- frontend：内联确认卡渲染（锚定用户消息）、cardlink 点击定位收件箱（D32 互定位）、对话区拖拽投放、输入区未决确认提示、命令菜单注册表化（无别名容忍 + 高危 ⚠ 标记）。
+
+## 限制
+
+- 确认挂起态为进程内（重启后确认返回 rejected expired）；v1 接受，升级触发条件见模块卡。
+- 入口对称的浏览器走查未在本记录执行（API e2e + 组件测试覆盖）；系统级零页面走查归 T5 验收剧本。
+- 意图（agent-intent）→ 命令绑定为"意图 id == 注册命令 id"直接对齐；更丰富的 intent.action 映射待插件生态立项。

docs/records/2026-09-30-t4-workspaces-verification.md

@@ -0,0 +1,27 @@
+# T4 验证记录：工作区弹层（feature/workspaces-r1）
+
+被测版本组合：core=a2050d8 + backend=<PR#11 后> + frontend=<PR#7 后> + ui=<PR#8 后> + documents=本记录；Dev 组合 PR：见任务卡（feature/workspaces-r1）。
+initial_base_sha（R0）：fc5008aa13（T3 合入后 main）。
+日期：2026-09-30。
+
+## 结果
+
+| 用例 | 结果 | 证据 |
+|---|---|---|
+| Backend `go vet` + `go test ./...` | PASS | 全包 ok；plugins 新增 TestWorkspacesOverlay（manifest+workspaces/main.json 装载、ListWorkspaces 声明含 shortcut/body） |
+| UI `tsc --noEmit` + `vitest run` | PASS | 23/23（OverlayHost：标题/图标/徽章/快捷键提示、捕获相 Esc 关闭、仅遮罩点击关闭、刷新回调、声明式+命令式共存） |
+| Frontend `tsc` + `vitest` + `vite build` | PASS | 9/9；构建通过（dist 产物正常） |
+| Example 插件扩展 | PASS | plugins/example：provides 增 workspaces/commands；workspaces/main.json（example.governance，⌘9）与 commands/demo.json（example.echo，normal 级）JSON 校验通过；随 Dev 组合 PR 落库 |
+| 组合 `make test` | PASS | Dev 钉定后组合验证（见 Dev 任务卡与组合 PR） |
+
+## 落库清单（本任务）
+
+- backend：plugins host 装载 provides.workspaces（workspaces/*.json → PluginWorkspace overlay）+ ListWorkspaces；GET /api/workspaces。
+- ui：OverlayHost（统一弹层容器：Esc/遮罩回对话现场、快捷键提示、徽章、刷新；声明式 Body 与命令式子组件共存）。
+- frontend：右栏终态纯收件箱（经典 tabs 移除；Plan/Todos 并入「当前任务」常驻卡）；工件/代理/插件面板/插件声明工作区统一为 OverlayHost 弹层（Workspaces.tsx）；⌘1–9 快捷键；左栏工作区快捷区；会话头项目徽章（D26）；DocViewer/AgentTracker 迁入 OverlayHost。
+- Dev：example 插件扩展（workspace + command 声明）。
+
+## 限制
+
+- 工作区 badgeTool/refreshTool 的服务端工具联动为声明占位（v1 前端整体刷新 Body；按需刷新待插件生态立项）。
+- 浏览器端 ⌘ 快捷键与零页面走查归 T5 系统级验收剧本。

docs/records/2026-09-30-t5-polish-verification.md

@@ -0,0 +1,39 @@
+# T5 验证记录：polish-retreat（feature/polish-r1）
+
+被测版本组合：core=a2050d8 + backend=303cdf3 + frontend=4f4711a + ui=1c2ddec + documents=本记录；Dev 组合 PR：见任务卡（feature/polish-r1）。
+initial_base_sha（R0）：91e616e03d（T4 合入后 main）。
+日期：2026-09-30。
+
+## 零页面走查（系统级验收剧本，D31 对话完备性）
+
+全新实例（空数据目录 + 真实单二进制 `serve --mock` + example 插件）**纯对话/命令/卡驱动全生命周期，12/12 PASS**：
+
+| # | 场景 | 结果 |
+|---|---|---|
+| 1 | 零页面：空实例零项目 | PASS |
+| 2 | 对话建立项目与会话 | PASS |
+| 3 | `/help` 经命令总线（slash 入口） | PASS |
+| 4 | `#upload` 摄取卡全周期（2 卡：progress=done / compare=action_required） | PASS |
+| 5 | 卡上动作 keep → resolved + 回执留痕（card 入口） | PASS |
+| 6 | 一键收纳 done→dismissed；resolved 留痕不动 | PASS |
+| 7 | HITL 阻断与解除（对话内完备） | PASS |
+| 8 | button 入口直发命令 committed（四入口闭环） | PASS |
+| 9 | 插件工作区声明可见（example.governance） | PASS |
+| 10 | `#doc` 工件产出（对话触发） | PASS |
+| 11 | 审计信封：slash=2 button=2 入口均有记录 | PASS |
+| 12 | 全程无预制数据、无 UI 专属旁路 | PASS（脚本即证） |
+
+## 其余 T5 项
+
+| 项 | 结果 | 证据 |
+|---|---|---|
+| 状态灯形状+色双编码复核 | PASS | ui 套件 StatusLamp 断言（◆/●/✓/✕/◌ + tone 类）；走查中各状态均现 |
+| 收纳策略 | PASS | 🧹 一键收纳（done→dismiss；resolved 盖章不动）走查项 6；右栏收起角标（rail-badge） |
+| 文档更新 | PASS | usage 指南 §4.2–4.7/§5/§6.2/§7 重写（收件箱/命令总线/工作区）；本记录 |
+| Frontend tsc+vitest+build | PASS | 9/9；构建产物正常 |
+| 组合 make test | PASS | Dev 钉定后（见任务卡） |
+
+## 限制
+
+- 走查以 API 驱动真实二进制执行（等效系统级），像素级浏览器视觉走查未自动化（组件测试 + 构建覆盖渲染层）；后续可在浏览器插件化后纳入剧本。
+- 通知"铃铛"远期形态仍未引入（提案 §7 远期项，非 T5 范围）。