From 4348d4ebc4d69a9e88f39ea258223fd83c5adcee Mon Sep 17 00:00:00 2001 From: weichen Date: Wed, 30 Sep 2026 06:27:15 +0000 Subject: [PATCH] Record T1 verification results Why: Delivery gate requires a verification record with per-case PASS evidence for the T1 contract task before requesting review. Evidence: record covers core/agent-command/frontend/ui suites, combo test and the additive-compatibility check; contract change list enumerated. Impact: Documentation only. Refs: Dev task feature/core-cards-commands-r1 --- ...-30-t1-core-cards-commands-verification.md | 28 +++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 docs/records/2026-09-30-t1-core-cards-commands-verification.md diff --git a/docs/records/2026-09-30-t1-core-cards-commands-verification.md b/docs/records/2026-09-30-t1-core-cards-commands-verification.md new file mode 100644 index 0000000..149873d --- /dev/null +++ b/docs/records/2026-09-30-t1-core-cards-commands-verification.md @@ -0,0 +1,28 @@ +# T1 验证记录：Core 契约扩展 + Agent-Command v0（feature/core-cards-commands-r1） + +被测版本组合：core=合并后 main（PR#2）+ agent-command=合并后 main（PR#2）+ frontend=PR#3 + ui=PR#3 + documents=本记录；Dev 组合 PR：见任务卡（feature/core-cards-commands-r1）。 +initial_base_sha（R0）：69e9471dafd275f98928ff005732b94c4b18b638（T0 合并提交）。 +日期：2026-09-30。 + +## 结果 + +| 用例 | 结果 | 证据 | +|---|---|---| +| Core `go vet ./...` | PASS | 无输出（干净） | +| Core `go test ./...`（含黄金样本一致性） | PASS | ok agent-system-core；新增样本 activity_card / hitl_card_blocked / event_card_created / event_card_resolved / ui_vocabularies + 扩展 plugin_manifest 全部逐字节一致 | +| Agent-Command `go vet ./...` | PASS | 干净 | +| Agent-Command `go test ./...` | PASS | ok agent-command（spec 校验 10 负例 / 注册表生命周期 / 回执四态 / 并发冒烟）+ ok agent-command/conformance（command_spec、command_receipt 黄金样本） | +| Frontend `vitest run` | PASS | 9/9（contracts.ts 再生成后形状断言不变） | +| UI `tsc --noEmit` + `vitest run` | PASS | 类型干净；6/6 组件测试 | +| 组合 `make test` + `make build` | PASS | 在 Dev 分支最终 head 执行（证据见 Dev PR 与任务卡） | +| 兼容性核查 | PASS | 全部为增量（omitempty 字段/新类型/新事件类型）；现有黄金样本不变；ts 镜像同步 | + +## 契约变更清单（本任务落库） + +- Core：`ActivityCard`（7 Kind × 6 Status + Terminal）、`card.created/updated/status/resolved` 事件与 payload、HITL `anchorMessageId/blocked/blockReason`、UI 词汇 7 项（progress/compare/tree/table/steps/tabs/timeline，Spec 后缀避免常量名冲突）、`UIAction.command`、manifest `provides.commands/workspaces`、`ActivityCardTemplate`（工作流 card 步骤）、`PluginWorkspace`。 +- Agent-Command v0：`CommandSpec`（id 规范 `.`、paramsSchema、danger、binding + fail-closed 校验）、`Registry`（来源标记/启停/稳定错误）、`ExecReceipt` 四态（committed/accepted 必带 OperationID）、`AuditEnvelope`（入口归一 button/card/slash/chat/api）。 + +## 限制 + +- 本任务为契约与库层，无运行时行为可走查；端到端行为验证在 T2（收件箱）/T3（命令总线）的浏览器证据中覆盖。 +- Core 黄金样本 `event_card_*` 的 payload 为内联 JSON 字面量（与既有事件样本同风格），未逐一驱动 CardPayload 序列化路径（后端 T2 接入时经事件管道覆盖）。