/spec - 需求完善度品質閘門 Skill

/spec - 需求完善度品質閘門

把模糊需求展開成無歧義的行為契約。

定位與分工

| 工具 | 問的問題 | 階段 | 關係 | |------|---------|------|------| | /tdd | 「流程走到哪了？下一步做什麼？」 | Phase 0-4 全流程 | 流程編排器 | | /spec | 「需求描述得夠不夠清楚？」 | Phase 1 內部 | 產出物品質工具 | | SA | 「該不該做？和現有系統一致嗎？」 | Phase 0 | 架構守門人 |

/spec 不是流程入口：lavender 在 Phase 1 內部使用 /spec 產出功能規格。/tdd 不呼叫 /spec，/spec 不呼叫 /tdd。兩者完全解耦。

適用範圍限制（防誤用聲明）

docs/spec/ 下 frontmatter 含 subdomain: data-contract 的文件（例：docs/spec/balance-sheet/SPEC-002-accounts-snapshots-data-contract.md）不適用 /spec validate。

| 項目 | /spec validate 假設的 schema | data-contract 文件實際 schema | |------|------------------------------|-------------------------------| | 章節結構 | Purpose / Scenarios / Acceptance（Lite）或 6 區段（Full） | 概述 + 可攜性邊界原則 + A 區（邏輯契約）/ B 區（實作綁定） |

Why：/spec validate 的 Layer 1 結構檢查針對 Purpose/Scenarios/Acceptance（或 Full 6 區段）比對區段標題，data-contract 文件遵循 data-layer-contract-methodology.md 的可攜性兩區（A/B）結構，兩套 schema 不相容。Consequence：對 data-contract 文件執行 /spec validate 會在 Layer 1 誤報「結構失敗」（找不到 Purpose/Scenarios/Acceptance 區段標題），該結果不反映文件真實品質，若被當真會誤導撰寫者修改成不必要的結構。Action：data-contract 文件的機械驗證改由 doc validate 子命令承接（.claude/skills/doc/SKILL.md，0.2.1-W1-008 落地前為人工依 data-layer-contract-methodology.md 檢查），禁止對其執行 /spec validate；已誤執行者，Layer 1「結構失敗」判定應忽略。

子命令總覽

| 子命令 | 用途 | 適用時機 | |--------|------|---------| | /spec init | 初始化功能規格骨架 | Phase 1 開始，lavender 收到 Ticket 後 | | /spec validate | 驗證需求完善度 | 規格撰寫完成後，進入 Phase 2 前 |

`/spec init` - 初始化功能規格骨架

讀取 Ticket frontmatter，自動判斷模式，產出對應模板骨架。

輸入

Ticket ID（必填）：從 frontmatter 讀取 type、where、priority 等欄位

模式判斷（自動）

讀取 Ticket frontmatter
    |
    v
符合 Full 任一條件？
    |
    +-- 是 → Full 模式（6 區段）
    |
    +-- 否 → Lite 模式（3 區段）

Full 模式觸發條件（任一符合）：

| 條件 | 判斷依據 | |------|---------| | 新功能開發 | type == IMP 且 how.task_type == "新增" | | 修改檔案多 | where.files > 5 | | 明確指定 | 用戶執行 /spec init --mode full |

Lite 模式：不符合任何 Full 條件，或用戶執行 /spec init --mode lite。

輸出

功能規格骨架檔案：{ticket-id}-feature-spec.md
存放位置：Ticket 所在目錄（docs/work-logs/v{version}/tickets/）
Spec 文件即 Phase 1 設計文件（同一檔案，非額外產物）

Lite 模式骨架（3 區段）

# {Ticket ID} 功能規格

## 1. Purpose（目的）
<!-- 用一句話回答：這個功能解決什麼問題？為誰解決？ -->

## 2. Scenarios（行為場景）
<!-- 用 GWT 格式描述每個行為場景 -->
### 場景 1: {場景名稱}
- **Given**: {前置條件}
- **When**: {觸發動作}
- **Then**: {預期結果}

## 3. Acceptance（驗收條件）
<!-- 可直接驗證的條件清單 -->
- [ ] {條件 1}

Full 模式骨架（6 區段）

# {Ticket ID} 功能規格

## 1. Purpose（目的）
<!-- 問題背景、目標用戶、核心價值 -->

## 2. API Signatures（介面定義）
<!-- 函式簽名、輸入輸出型別、回傳值語義 -->

## 3. GWT Scenarios（行為場景）
<!-- Given-When-Then 格式，含正常流程和異常流程 -->

## 4. Error Handling（錯誤處理）
<!-- 每個錯誤情境的處理策略和回傳值 -->

## 5. Dependencies（依賴）
<!-- 外部依賴、前置條件、環境假設 -->

## 6. Acceptance（驗收條件）
<!-- 可直接驗證的條件清單，含效能指標（如適用） -->

完整模板含填寫指引和範例：references/spec-template-lite.md、references/spec-template-full.md

`/spec validate` - 驗證需求完善度

兩層驗證：結構檢查（機械性）+ AI 語義推演（深度分析）。

輸入

Spec 文件路徑（必填）：{ticket-id}-feature-spec.md

Layer 1：結構檢查（自動，秒級）

檢查模板區段的存在性和非空性。

| 模式 | 必須存在的區段 | 檢查內容 | |------|--------------|---------| | Lite | Purpose, Scenarios, Acceptance | 區段標題存在且內容非空 | | Full | 全部 6 區段 | 區段標題存在且內容非空 |

額外結構檢查：

| 檢查項 | 規則 | |--------|------| | GWT 格式 | Scenarios 區段至少 1 個 Given-When-Then 完整三元組 | | Acceptance 可驗證性 | 每個條件以 - [ ] 開頭 | | Purpose 簡潔性 | 不超過 200 字（Lite）/ 500 字（Full） | | API surface 完整性（Full only） | 每個 ### FR-XX: 段落若提及 HTTP API 行為（GET/POST/PUT/DELETE/endpoint/API 回/status code 類訊號），須有對應 /v1/... endpoint 路徑定義；缺者列為提醒 | | domain-map 覆蓋（規劃波 domain spec） | spec 每個 ### FR-XX: 須在對應 domain map 的 FR→bundle 覆蓋表歸屬；domain map 缺失、或有未覆蓋 FR，列為提醒 |

結構檢查失敗：輸出缺失清單，不進入 Layer 2。

API surface 完整性檢查（0.4.1-W2-005，動機：SPEC-014 FR-04 曾寫「analytics API 回 501」卻無 endpoint 路徑定義，缺口到派發實作才暴露）：以 scripts/check_api_surface.py 機械掃描每個 FR 段落，比對「描述 API 行為的訊號」與「同段落內是否已有對應主題的 /v1/... 路徑定義」。命令：

python3 .claude/skills/spec/scripts/check_api_surface.py {spec-file-path}

輸出缺口清單（[FR-XX] {行內容}）或「檢核通過」；exit code 0 = 通過、1 = 有缺口。性質為啟發式提醒（依訊號詞比對，非語意理解），可能有少量誤判（如籠統的架構流程敘述），不構成強制阻擋，僅供撰寫者複核。

domain-map 覆蓋檢核（0.1.0-W2-016.3，動機：W2-014 domain map 曾停在 FR-24 漏 FR-25/26，靠人工四視角審查才抓出）：驗證 version-bootstrap Step 2.5 產出的 domain map 是否覆蓋 spec 全部 FR。適用於規劃波的 domain spec（docs/spec/{domain}/），非 ticket 級 feature-spec。命令：

python3 .claude/skills/spec/scripts/check_domain_coverage.py {spec-file-path} [--domain-map {path}]

domain map 定位：省略 --domain-map 時自動找 spec 同目錄 domain-map.md，退化找 docs/domain-map.md。輸出：domain map 缺失（提示先走 Step 2.5 產出）、未覆蓋 FR 清單（FR-NN，請於 domain map §7 補歸屬）、或「檢核通過」。exit code 0 = 通過、1 = 缺失或有未覆蓋 FR。FR token 展開支援逗號續列（FR-01,02,03）與範圍（FR-13~17）。

Layer 2：AI 語義推演（深度，需思考）

沿 3 個核心維度掃描規格文件，找出未被展開的需求假設。每個維度產出一組「未回答問題」。Full 模式額外提示情境相關問題（不產出清單、不進入迭代）。

掃描維度

| # | 維度 | 核心問題 | 適用模式 | |---|------|---------|---------| | 1 | 邊界完整性 | 極端值、空值、上限下限的行為定義了嗎？ | Lite + Full | | 2 | 錯誤路徑 | 每個操作失敗時，系統如何回應？ | Lite + Full | | 3a | 狀態轉換完整性 | 所有狀態和轉換都定義了嗎？有不可達狀態嗎？ | Lite + Full | | 3b | 約束條件違反行為 | 每條約束條件的前提被違反時，行為定義了嗎？ | Lite + Full | | 4 | 教學一致性 | spec 的設計決策是否與 blog 教學對應模組一致？ | Full only |

Lite 模式只掃描維度 1-3，降低小型任務的認知負擔。Full 模式額外掃描維度 4。

維度 4 教學一致性掃描說明（Full 模式）

比對 spec 設計決策與 blog 教學對應模組是否一致：

從 spec 的 domain 定位對應教學模組（CLAUDE.md「教學模組對應表」）
讀取 blog 對應章節
逐項比對設計決策面向（API 路徑 / 資料模型 / response format / 行為語意 / 儲存架構）
產出偏移清單

嚴重度：高（API 路徑/response format，影響 SDK 實作）、中（資料模型欄位）、低（行為策略，不影響介面契約）。教學缺口（spec 有但教學無）不算偏移，標記為缺口建議先在 blog 補完。

降級條款（無教學模組對應表時）：步驟 1 依賴專案 CLAUDE.md 存在「教學模組對應表」章節才能定位對應教學模組。Why：並非所有專案都維護 blog 教學內容（如本專案 flutter_balance），CLAUDE.md 無此表時維度 4 無源可比。Consequence：若強行執行，會因找不到對應章節而卡住或產出誤導性的空比對結果，且不應被計入 validate 失敗。Action：執行維度 4 前先確認專案 CLAUDE.md 是否含「教學模組對應表」章節；不存在時跳過維度 4，於 validate 輸出標註「維度 4 skipped：無教學模組對應表」，不得視為失敗（不計入未回答問題數、不阻擋迭代上限判定）。

情境相關提問（Full 模式額外提示）

Full 模式下，validate 完成維度 1-3 掃描後，額外提示以下問題供撰寫者自行考慮。這些不產出未回答問題清單，不進入迭代：

並發安全：多個使用者/執行緒同時操作會怎樣？
效能約束：資料量增長 10x/100x 時行為如何？有回應時間要求嗎？
安全性：誰可以執行此操作？敏感資料如何保護？
依賴明確性：外部依賴的契約是否明確？依賴不可用時的降級策略？

語義推演輸出格式

## /spec validate 結果

### 結構檢查：通過/未通過
{缺失清單，如有}

### 語義推演：{N} 個未回答問題

#### 維度 1: 邊界完整性
- Q1: 當 {參數} 為空值時，預期行為是什麼？
- Q2: {集合} 的上限是多少？超過上限時如何處理？

#### 維度 2: 錯誤路徑
- Q3: {操作} 失敗時，是否需要回滾已完成的步驟？

#### 維度 3a: 狀態轉換完整性
（無未回答問題）

#### 維度 3b: 約束條件違反行為
對「約束條件」區段每一條，三問法掃描：
1. 約束的前提是什麼？（例：「init 呼叫一次」→ 前提 = 只能呼叫一次）
2. 前提被違反時（第二次呼叫 init），行為定義了嗎？
3. 約束覆蓋部分 API 時，同類別未列舉的 API 是否也需定義？

#### 維度 4: 教學一致性（Full 模式）

CLAUDE.md 有「教學模組對應表」時：

| 偏移面向 | Spec 值 | 教學值 | 嚴重度 |
|---------|---------|--------|--------|
| {面向} | {spec 描述} | {教學描述} | 高/中/低 |

教學缺口（spec 有定義但教學未涵蓋）：
- {設計決策描述} → 建議先在 blog 補完

CLAUDE.md 無「教學模組對應表」時（降級條款，見上）：

維度 4 skipped：無教學模組對應表


### 建議
- 必須回答：Q1, Q3（影響 GWT 設計）
- 建議回答：Q2（影響效能設計）
- 教學偏移（高）：必須對齊後再進入 Phase 2
- 教學缺口：建議先補教學再落實 spec
- 可延後：無

迭代機制

/spec validate 可多次執行。回答問題後再次 validate，直到無新問題或達上限。

迭代上限（安全閥）

| 模式 | 上限 | 理由 | |------|------|------| | Lite | 2 次 | 小型任務不應花費過多時間在規格上 | | Full | 3 次 | 第 3 次仍有大量問題表示需求本身不成熟，應升級 PM |

達上限時輸出警告，剩餘問題標記為 Phase 2 待解決。

使用流程

Phase 1 中 lavender 如何使用 /spec 的完整流程，詳見 lavender 代理人定義（.claude/agents/lavender-interface-designer.md「/spec 工具整合」章節）。

/spec 只負責「發現問題」（產出骨架和未回答問題清單），不負責「解決問題」（由 lavender 決定如何回答和組織）。

Agent Skills: /spec - 需求完善度品質閘門

Install this agent skill to your local

Skill Files