Spec

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

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

定位與分工

/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。

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 子命令承接（../doc/SKILL.md， 落地前為人工依 data-layer-contract-methodology.md 檢查），禁止對其執行 /spec validate；已誤執行者，Layer 1「結構失敗」判定應忽略。

子命令總覽

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

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

輸入

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

模式判斷（自動）

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

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

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

輸出

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

生命週期（scaffold 文件）：feature-spec 的消費者是 Phase 2 測試設計；Phase 3 綠燈後，行為的權威轉移到測試與程式碼，本文件頂部標記 status: archived (superseded by tests)、之後讀它是讀當時的設計快照。引用 domain spec 的內容用指涉（SPEC-ID + 章節）、不整段複寫——只有本 ticket 對 spec 的增量決策是這份文件的固有資訊。多份文件同時被期待最新必然漂移；本段的三個規定（archived 標記、指涉不複寫、增量決策才是固有資訊）已自足。同專案若也安裝 tdd skill，完整的文件分級與資訊住址原則見其 references/document-coherence.md——那是選讀的延伸、不是本段的前置依賴。

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：結構檢查（自動，秒級）

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

額外結構檢查：

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

API surface 完整性檢查（動機：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}  # portability-allow: consumer 共通安裝位置

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

domain-map 覆蓋檢核（動機：domain map 曾漏覆蓋部分 FR，靠人工四視角審查才抓出）：驗證 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}]  # portability-allow: consumer 共通安裝位置

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 模式額外提示情境相關問題（不產出清單、不進入迭代）。

掃描維度

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

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

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

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

嚴重度：高（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 無「教學模組對應表」時（降級條款，見上）：

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

建議

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

---

## 迭代機制

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

### 迭代上限（安全閥）

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

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

---

## 使用流程

Phase 1 中 lavender 如何使用 /spec 的完整流程，詳見該代理人定義的「/spec 工具整合」章節。

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

---

## 相關文件

- `../tdd/SKILL.md` - TDD 流程工具（流程編排；同專案若也安裝 tdd）
- Phase 1 功能設計代理人的定義 - /spec 的使用者（各專案自有）
- 專案的 TDD 流程定義文件
- references/spec-template-lite.md - Lite 模板（3 區段）
- references/spec-template-full.md - Full 模板（6 區段）
- `data-layer-contract-methodology` - data-contract 文件的 A/B 兩區結構定義（`/spec validate` 不適用對象）
- `../doc/SKILL.md` - data-contract 文件機械驗證的承接者（`doc validate`）<!-- portability-allow: 條件式引用，目標 skill 未必與本 skill 一同安裝 -->

---

版本紀錄在同目錄的 `CHANGELOG.md`。