阅读路径：这是 WP22 完整白皮书。若需要更短的读者入口，请先阅读博客导读。也可以浏览 HotelByte 白皮书索引。

规格驱动开发

英文版本：../22-spec-driven-development.md

执行摘要

适合读者： 工程负责人、架构师、产品技术团队、质量负责人。默认你已经理解酒店分销平台的基本链路，并且关心一个能力如何从功能实现升级为可验证、可审计、可运营的工程控制面。

TL;DR： 规格不是额外文档，而是把意图、验收、实现和归档连接起来的工程门禁。

复杂平台如果只靠 issue 和代码评审推进，很容易出现需求边界不清、实现先于共识、测试漏掉业务场景，以及文档永远滞后于代码。规格驱动开发把变更先放到可讨论的结构里。

本文以 HotelByte 的生产级实现为案例，说明规格驱动开发如何被放进清晰的治理闭环：先定义问题和风险边界，再明确架构机制，然后用控制点、审计线索和验证路径证明能力不是一次性功能，而是可持续运行的系统资产。

中心判断： 规格驱动不是慢，而是让复杂变更少返工。

问题定义：为什么这不是普通功能

在酒店分销平台里，工程卓越不是一个孤立模块。它通常同时连接供应商差异、客户体验、平台稳定性、业务规则和外部审核要求。只要边界不清，局部实现就会把风险传递到搜索、预订、支付、客服或数据运营链路。

因此，HotelByte 不把规格驱动开发当作“写一段业务代码”来处理，而是把它看作工程控制面。这个控制面需要回答四个问题：

当前能力要解决的真实业务风险是什么？
哪些事实、状态或字段可以支撑判断？
哪些动作必须有明确边界，不能交给隐式约定？
完成声明如何被测试、日志、审计或回放证据证明？

只有这些问题都有答案，能力才适合进入企业级交付和外部技术评审。

核心设计原则

证据先于叙事

系统必须先保留足够的运行时和业务证据，再给出结论。无论是价格、订单、供应商状态还是发布结果，HotelByte 都避免只凭代码路径或单次响应做判断。证据可以来自请求记录、状态快照、指标、审计日志、回放样本或规则命中轨迹。

边界显式化

规格驱动开发的关键不是隐藏复杂度，而是让复杂度有边界。哪些字段可以写、哪些状态可以迁移、哪些供应商失败可以重试、哪些数据可以进入模型或报表，都必须由规则或代码路径约束，而不是由调用方猜测。

Fail Closed

当必要信息缺失、来源不一致或安全边界不明确时，系统应保守失败。对外展示、交易推进、价格计算、资金变更或自动化建议，都不能通过 fallback 借用无关字段来制造看似完整的结果。

可审计与可复查

外部评审真正关心的不是“系统声称做了什么”，而是“能否沿着证据复查”。因此每个关键控制点都应留下来源、时间、上下文、结果和异常路径，支持事后复盘和持续改进。

架构机制

规格驱动开发由一组相互配合的机制承担，而不是依赖单点逻辑：

proposal、implementation、archive 三阶段门禁
Gherkin Scenario 描述验收场景
MECE 文档拆分
默认小文件和小变更
规格与代码评审互相引用

flowchart LR
    S1["proposal、implementation、archive 三阶段门禁"]
    S2["Gherkin Scenario 描述验收场景"]
    S3["MECE 文档拆分"]
    S4["默认小文件和小变更"]
    S5["规格与代码评审互相引用"]
    S1 --> S2
    S2 --> S3
    S3 --> S4
    S4 --> S5

这些机制共同形成一条工作链路：输入先被规范化，关键状态被约束，风险在控制点被拦截，输出携带可审计上下文，最后通过测试、回放或运行时指标证明结果。

治理控制摘要

控制点	用户价值
未明确验收标准的变更不直接进入实现	防止交易状态被并发流程或重复请求破坏，让订单、取消和补偿路径可复查。
场景必须覆盖业务边界和失败模式	把局部失败隔离在明确维度内，保护其他供应商、API 或交易链路继续运行。
实现后归档保留决策记录	把局部失败隔离在明确维度内，保护其他供应商、API 或交易链路继续运行。
规格和测试共同证明完成	把局部失败隔离在明确维度内，保护其他供应商、API 或交易链路继续运行。
文档粒度控制可审查性	把局部失败隔离在明确维度内，保护其他供应商、API 或交易链路继续运行。

这些控制的共同目标，是避免平台把“实现存在”误当成“能力可靠”。可靠能力必须能承受异常输入、供应商差异、并发压力、权限边界和运行时故障。

验证路径

外部技术评审或内部发布检查可以从以下路径验证规格驱动开发：

检查提案是否包含目标、非目标和验收
验证 Gherkin 场景映射到测试
确认实现后 archive 更新
审查变更是否保持小范围

验证不应停留在 happy path。HotelByte 更关注边界条件：缺字段、错误分类、并发冲突、供应商差异、权限拒绝、状态回退、脱敏遗漏和发布回滚。这些场景决定了系统在真实运营中的可信度。

与传统做法的区别

传统做法	风险	HotelByte 做法
把能力写进局部业务代码	逻辑分散，难以审计，边界依赖开发者记忆。	把能力提升为有明确控制点的工程面。
依赖口头规范或前端隐藏	权限和数据边界容易被绕过。	后端规则、状态机、脱敏、审计或验证路径承担最终控制。
只验证成功路径	真实供应商、价格、订单和发布异常无法提前暴露。	把失败模式、缺口和异常输入纳入验证模型。
事后靠人工解释	复盘成本高，经验难以复用。	让证据、规则、测试和文档沉淀为可复用资产。

结论

规格驱动开发的价值不在于单个功能点，而在于它把工程卓越的关键风险放进可解释、可验证、可审计的系统结构中。对于企业客户和集成伙伴来说，这意味着平台能力不是黑盒承诺，而是可以沿着控制点和证据链复查的工程资产。

规格不是额外文档，而是把意图、验收、实现和归档连接起来的工程门禁。

技术白皮书写作技巧：治理闭环

请按 WP27 的同一条闭环阅读规格驱动开发：意图、证据、有边界的执行、验证，以及可沉淀的治理记忆。

平面	本文需要检查什么
意图	这项设计消除哪类运营、交易或集成风险。
证据	哪些日志、指标、记录、链路、测试或回放能证明行为。
执行边界	哪一层拥有决策权，哪一层只负责适配或传输数据。
验证	哪些失败模式被纳入测试，而不只是验证 happy path。
治理记忆	哪些规则、仪表盘、审计轨迹或测试用例让经验可复用。

白皮书：规格驱动开发