仓库内
意图 · 场景 · 测试 · 代码
SpecCenter × OpenSpec × STDD
结合现网服务与 d5-works 后端案例
意图 · 场景 · 测试 · 代码
评审 · 规格 · 知识 · 权限
检索 · 同步 · 更新 · 回链
THE CONTROL GAP
提示词、聊天记录与仓库状态分离;下一位 Agent 不知道已经确认的约束与取舍。
评审者只看到 diff,很难区分需求变化、设计决策和实现偏差。
“测试通过”被误当成“可以上线”;外部依赖和门禁没有证据位置。
THREE-LAYER CONTRACT
SOURCE OF INTENT & EVIDENCE
SHARED FACT LAYER
CONTROLLED AUTOMATION
LIVE DEPLOYMENT

版本、分支、规格、任务状态和仓库绑定集中可见。
baseline 锁定;working 独立更新;新版本是显式事件。
产品规格跨变更沉淀,保留 Requirement / Scenario 演化。
RAG 问答给出处,MCP 统一检索、同步和更新。
BASELINE-LOCKED REVIEW
创建评审时锁定可复现对象。
同步新提交,但不覆盖 baseline。
评审者显式决定评旧基线还是切换。
MCP CONTROL SURFACE
END-TO-END LOOP
明确 Why、范围、非目标与风险。
proposal + designRequirement / Scenario 给出可判断结果。
spec.mdScenario → RED → GREEN → Verify。
tasks + tests + code实现进入主干,Change 从 active 转为 archive。
merge + archivebaseline 与 SpecCenter 同步成为下一次变更起点。
baseline + MCPCLOSED-LOOP CASE · AI INFRA
STDD MICRO-CYCLE · WORKS COLLECTION
GIVEN: 商品 A 的 product_sort = 2 商品 B 的 product_sort = 1 WHEN: 调用 POST /collection/detail THEN: productList[0] = 商品 B AND: productList[1] = 商品 A 响应不暴露 productSort
RED productList 按关系表排序返回 前台响应不包含 productSort VERIFY RED 前台详情服务测试失败 GREEN 按 collectionId 查询并构建商品卡片 VERIFY GREEN 重跑前台详情服务测试
@DisplayName( "已发布且过滤后有商品时返回 按关系排序的商品卡片" ) getDetail_success() rels = [P002(sort=1), P001(sort=2)] assert productCodes == [P002, P001]
SELECT relations ORDER BY product_sort ASC, id ASC rels → productIds productIds → buildProductCardsByIds productCards → response.productList
Collection 的数据、保存、发布与查询契约。
成功路径、校验、状态与过滤边界。
RED / GREEN / Verify 过程显式留证。
6 个测试类 · 0 failures · 0 errors。