可以直接复用的 Spec-First 案例

Checkout 优惠码

一个涉及金额的 checkout 需求，变成包含校验状态、总价计算、实现任务和回滚证据的规格包。

弱需求：
给 checkout 加优惠码。
无效码不要影响付款。

规格边界：
- 付款前应用一个优惠码
- 不做后台管理
- 不重构 totals

API 错误分类

一个 API 错误清理需求，变成包含兼容说明、SDK fixture、OpenAPI 示例和迁移证据的契约规格。

弱需求：
优化 API 错误。
让客户端更容易处理。

规格边界：
- 只改 envelope
- 只做 additive response change
- 旧 SDK 仍能解析

通知偏好

把笼统设置需求改写成迁移风险、偏好状态和重复发送证据。

报表导出

把“大客户 CSV 导出”改写成异步导出任务、过期筛选风险和压测证据。

更多紧凑改写

对照松散工单和规格包版本，查看范围、任务、验收和证据如何落地。