qfai 1.0.4 → 1.0.5

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "qfai",
-  "version": "1.0.4",
+  "version": "1.0.5",
   "description": "Quality-first AI-driven development toolkit (SDD × ATDD × TDD).",
   "license": "MIT",
   "repository": {

package/assets/init/.qfai/contracts/api/api-0001-sample.yaml

@@ -1,15 +0,0 @@
-# QFAI-CONTRACT-ID: API-0001
-# OpenAPI contract sample (API-0001)
-# - 必須: QFAI-CONTRACT-ID (1ファイル1ID)
-# - 必須: openapi, info, paths
-openapi: 3.0.0
-info:
-  title: QFAI Sample API
-  version: 0.1.0
-paths:
-  /health:
-    get:
-      operationId: healthCheck
-      responses:
-        "200":
-          description: OK

package/assets/init/.qfai/contracts/db/db-0001-sample.sql

@@ -1,7 +0,0 @@
--- QFAI-CONTRACT-ID: DB-0001
--- DB-0001 (DB contract sample)
--- 破壊的 SQL (削除/破棄系) は警告対象
-CREATE TABLE sample_table (
-  id INTEGER PRIMARY KEY,
-  name VARCHAR(255) NOT NULL
-);

package/assets/init/.qfai/contracts/ui/assets/thema-001-facebook-like/assets.yaml

@@ -1,6 +0,0 @@
-packId: THEMA-001
-type: thema
-items:
-  - id: THEMA-001.palette.default
-    kind: snapshot
-    path: palette.png

package/assets/init/.qfai/contracts/ui/assets/ui-0001-sample/assets.yaml

@@ -1,6 +0,0 @@
-packId: UI-0001
-type: ui
-items:
-  - id: UI-0001.desktop.light.default
-    kind: snapshot
-    path: snapshots/login__desktop__light__default.png

package/assets/init/.qfai/contracts/ui/thema-001-facebook-like.yml

@@ -1,13 +0,0 @@
-# QFAI-CONTRACT-ID: THEMA-001
-id: THEMA-001
-name: facebook-like
-tokens:
-  color:
-    background: "#FFFFFF"
-    textPrimary: "#111111"
-    accent: "#1877F2"
-components:
-  Button:
-    primary:
-      backgroundToken: "color.accent"
-      textToken: "color.background"

package/assets/init/.qfai/contracts/ui/ui-0001-sample.yaml

@@ -1,17 +0,0 @@
-# QFAI-CONTRACT-ID: UI-0001
-# UI contract sample (UI-0001)
-# - 必須: QFAI-CONTRACT-ID (1ファイル1ID)
-# - 任意: id, name, refs
-id: UI-0001
-name: Order Registration
-refs:
-  - BR-0001
-themaRef: THEMA-001
-themeOverrides:
-  Button:
-    primary:
-      backgroundToken: "color.accent"
-assets:
-  pack: assets/ui-0001-sample
-  use:
-    - UI-0001.desktop.light.default

package/assets/init/.qfai/out/README.md

@@ -1,17 +0,0 @@
-# Output (.qfai/out)
-
-`qfai validate` と `qfai report` の出力先です。
-
-## 生成されるファイル
-
-- `validate.json` : 検証結果（JSON）
-- `report.md` / `report.json` : レポート
-
-## 運用メモ
-
-- 原則として **コミットしない** ことを推奨します
-- `.gitignore` への追記例:
-
-```
-.qfai/out/
-```

package/assets/init/.qfai/promptpack/commands/implement.md

@@ -1,8 +0,0 @@
-# Implement
-
-- 既存の型/ユーティリティ/パターンを優先して再利用する
-- 入力検証と失敗パスを先に書く
-- 早期 return でネストを浅くする
-- ログ/エラーメッセージは具体的かつ最小限にする
-- 契約追加/変更時は `prompts/qfai-maintain-contracts.md` を使う
-- 参照切れがある場合は `prompts/qfai-maintain-traceability.md` を使う

package/assets/init/.qfai/promptpack/commands/plan.md

@@ -1,11 +0,0 @@
-# Plan
-
-目的と完了条件を先に明確化し、以下を最小構成で整理する。
-
-- ゴール/完了条件
-- スコープ（やる/やらない）
-- 手順（小さく分割）
-- テスト方針
-- リスクと確認点
-- testFileGlobs が未整備なら `prompts/qfai-generate-test-globs.md` を使う
-- 受入観点が曖昧なら QA 観点で整理する

package/assets/init/.qfai/promptpack/commands/release.md

@@ -1,6 +0,0 @@
-# Release
-
-- CHANGELOG と version を更新する
-- `pnpm format:check && pnpm lint && pnpm check-types` を実行する
-- `pnpm -C packages/qfai test` と `pnpm verify:pack` を実行する
-- タグ付与は main の HEAD に対して行う

package/assets/init/.qfai/promptpack/commands/review.md

@@ -1,6 +0,0 @@
-# Review
-
-- Spec/Scenario/Contracts と実装の整合
-- delta.md に変更内容/受入観点が記録されているか
-- 影響範囲とテスト結果の妥当性
-- セキュリティ/運用上の懸念がないか

package/assets/init/.qfai/promptpack/constitution.md

@@ -1,15 +0,0 @@
-# PromptPack Constitution
-
-PromptPack はプロジェクト内の SSOT（Single Source of Truth）として扱う。
-
-## 基本原則
-
-- spec/scenario/delta/BR/SC を最優先で読む
-- 変更は delta.md に記録し、受入観点と影響範囲を明示する
-- validate を通すことを必須とする（通らないなら仕様/運用が破綻している）
-- 不確実性（仮説/未確定/TODO）は残し方針を統一する
-
-## 運用
-
-- PromptPack は人が手動で参照する前提とする
-- 自動配置は v0.9 の emit/adapter まで行わない

package/assets/init/.qfai/promptpack/roles/qa.md

@@ -1,4 +0,0 @@
-# Role: QA
-
-- 例外/境界値/運用時の挙動を中心に確認する
-- 仕様とテストが一致しているかを検証する

package/assets/init/.qfai/promptpack/roles/spec.md

@@ -1,4 +0,0 @@
-# Role: Spec
-
-- 仕様書と成果物の整合を優先する
-- ID/参照/命名規約の逸脱を検出する

package/assets/init/.qfai/promptpack/roles/test.md

@@ -1,4 +0,0 @@
-# Role: Test
-
-- 振る舞い変更は再現テストを先に追加する
-- 近傍の適切な層でカバーする

package/assets/init/.qfai/promptpack/steering/naming.md

@@ -1,7 +0,0 @@
-# Naming
-
-命名規約は `docs/rules/naming.md` を正とする。
-
-- ID は `PREFIX-0001` 形式（4桁ゼロ埋め）
-- 参照はファイル名ではなく ID を用いる
-- 同一 ID の重複定義は禁止

package/assets/init/.qfai/promptpack/steering/traceability.md

@@ -1,25 +0,0 @@
-# Traceability
-
-参照は下流→上流のみを許可する（下流参照禁止の対象はテスト/実装）。
-
-## 用語（CI と Hard Gate）
-
-- 「CIで検出する」: validate が issue を出す（info/warning/error を含む）
-- 「Hard Gate」: `--fail-on error` で CI を止める領域
-
-- Spec は QFAI-CONTRACT-REF で契約IDを宣言する（none可、宣言行は必須）
-- Scenario は @SPEC-xxxx / @SC-xxxx / @BR-xxxx を持つ
-- Scenario は `# QFAI-CONTRACT-REF` で契約参照を宣言する（none 可、宣言行は必須）
-- テスト/コードは QFAI:SC-xxxx で SC を参照する
-- Spec はテスト/実装（src/tests）を参照しない
-
-## CIで検出する範囲
-
-- BR→SC のトレーサビリティ
-- Spec→Contract の参照（QFAI-CONTRACT-REF/ID形式）
-- SC→Test の参照（QFAI:SC-xxxx/ID形式）
-- 参照IDの形式などの整合
-
-## CIで検出しないため運用で担保する範囲
-
-- Spec→下流参照禁止（検出する場合でも warning に留め、Hard Gate 化しない）

package/assets/init/.qfai/prompts/README.md

@@ -1,68 +0,0 @@
-# Prompts (手動利用)
-
-このディレクトリのプロンプトは **手動で使う資産**です。現時点では自動読取は行いません（将来のバージョンで CLI 連携を検討します）。
-
-重要: `.qfai/prompts/**` は **QFAI 標準資産**です。QFAI のアップデートや `qfai init` の再実行により **上書きされ得ます**。
-利用者が直接編集することは **非推奨・非サポート（ほぼ禁止）**です。変更したい場合は `.qfai/prompts.local/**` に同一相対パスで置いて overlay してください。
-
-## 目的
-
-- Spec から overview / Business Flow を生成するための素材
-- トレーサビリティ/契約の運用支援（CIで止めない領域）
-- 意味矛盾（解釈/前提/用語/受入条件の齟齬）のレビュー補助（analyze）
-- 将来の CLI 連携に備えた配布物（現時点では手動利用のみ）
-
-## Overlay（prompts.local）
-
-カスタムしたい場合は、次の優先順位で参照する運用とします。
-
-1. `.qfai/prompts.local/<relativePath>`
-2. `.qfai/prompts/<relativePath>`
-
-## プロンプト一覧
-
-- `makeOverview.md`: Spec 一覧（overview）生成
-- `makeBusinessFlow.md`: 業務フロー（BF）整理
-- `require-to-spec.md`: 既存要件から Spec Pack を起こす
-- `qfai-generate-test-globs.md`: テストファイル glob の生成支援（`qfai.config.yaml` 更新）
-- `qfai-maintain-traceability.md`: 参照切れの修復（Spec/Scenario/Test）
-- `qfai-maintain-contracts.md`: 契約 ID と参照の整合
-- `analyze/README.md`: analyze の目的/入力/出力フォーマット
-- `analyze/spec_to_scenario.md`: Spec ↔ Scenario の意味整合
-- `analyze/spec_to_contract.md`: Spec ↔ Contract の対応漏れ/参照不整合
-- `analyze/scenario_to_test.md`: Scenario ↔ Test の網羅/抜け/誤差
-
-## 使い分け表
-
-| Prompt                          | 目的             | 必須入力                                      | 出力の期待形式                 | よくある失敗        |
-| ------------------------------- | ---------------- | --------------------------------------------- | ------------------------------ | ------------------- |
-| `qfai-maintain-traceability.md` | 参照切れの修復   | spec/delta/scenario + validate/report + tests | 修正方針 + diff + 再実行手順   | ID形式崩し/SSOT無視 |
-| `qfai-maintain-contracts.md`    | 契約と参照の整合 | contracts + spec + report                     | 採番案 + 参照更新案 + diff     | ID変更の無断実施    |
-| `qfai-generate-test-globs.md`   | テストglob生成   | package.json/設定/テスト配置                  | glob案 + 更新案 + サンプル確認 | glob過剰/不足       |
-| `makeOverview.md`               | Spec一覧生成     | spec.md                                       | 一覧テーブル/サマリ            | spec未読            |
-| `makeBusinessFlow.md`           | 業務フロー整理   | spec.md/要件                                  | フロー手順/根拠                | 要件の飛ばし        |
-| `require-to-spec.md`            | 要件からSpec作成 | require資料                                   | Spec Pack草案                  | ID採番の逸脱        |
-
-## 使い方（例）
-
-1. 目的のプロンプトを開く（例: `makeOverview.md`）
-2. そのまま AI エージェントに貼り付ける
-3. 指示された出力先に生成結果を保存する
-
-### エージェント別の手動導線（例）
-
-- Copilot: `.github/copilot-instructions.md` に要旨を転記
-- Claude: `CLAUDE.md` に要旨を転記
-- Codex: `AGENTS.md` に要旨を転記
-
-※ いずれも **自動生成はしません**。必要に応じて人手で同期してください。
-
-## 出力先の例
-
-- Overview: `docs/specs/overview.md`
-- Business Flow: `docs/flows/bf-0001-<slug>.md`
-
-## CI との関係
-
-- プロンプト自体は CI の検査対象ではありません
-- 生成物をレビューし、Spec/Scenario/Contracts と整合しているかを確認してください

package/assets/init/.qfai/prompts/analyze/README.md

@@ -1,21 +0,0 @@
-# analyze（手動利用）
-
-このディレクトリは QFAI の `validate` が扱わない **意味レベル** の矛盾/抜け/リスクを、レビューのために洗い出すための **手動プロンプト集**です。
-
-重要:
-
-- analyze は **Hard Gate ではありません**（CI を落とさない想定）
-- 出力は **候補**です。根拠（引用）を必ず確認し、最終判断はレビューで行ってください
-- `validate` が扱う **構造矛盾（参照/フォーマット/トレーサビリティ）** は対象外です
-
-## 推奨入力（最小セット）
-
-- Project Context / Spec / Scenario / Test / Contract のうち、今回関係する箇所を **抜粋**で用意する
-- `validate` / `report` の結果（必要なら要約）
-- 変更差分（PR diff / 変更ファイル一覧）
-
-## プロンプト一覧（v0.9.x）
-
-- `spec_to_scenario.md`: Spec ↔ Scenario の意味整合
-- `spec_to_contract.md`: Spec ↔ Contract の参照整合（紐付け漏れ/根拠薄弱）
-- `scenario_to_test.md`: Scenario ↔ Test の網羅性/ズレ

package/assets/init/.qfai/prompts/analyze/scenario_test_consistency.md

@@ -1,8 +0,0 @@
-# Deprecated
-
-このプロンプトは v0.9.1 で命名/雛形を整理しました。
-
-- 代替: `.qfai/prompts/analyze/scenario_to_test.md`
-- 理由: v0.9.1 の `qfai analyze --list` / `--prompt` が標準3本（spec_to_scenario/spec_to_contract/scenario_to_test）に揃えているため
-
-以降は新しいプロンプトを利用してください。

package/assets/init/.qfai/prompts/analyze/scenario_to_test.md

@@ -1,56 +0,0 @@
-# analyze: Scenario ↔ Test 網羅性/ズレチェック
-
-## 目的
-
-- Scenario（受入条件）が Test で担保されているかを確認する
-- Test が Scenario の意図を誤解していないかを確認する
-
-## 入力の前提（貼り付けて埋める）
-
-入力が多すぎる場合は「抜粋にする」「代表ケースだけに絞る」を優先してください。
-
-### Project Context（任意）
-
-- 対象機能:
-- 前提/制約:
-- 対象外（Non-goals）:
-
-### Scenario Excerpts
-
-- ...
-
-### Test Excerpts
-
-- ...
-
-### Spec Excerpts（任意）
-
-- ...
-
-### Contract / Trace Links（任意）
-
-- （Scenario ID）→（Test名/ファイル など）
-- ...
-
-### Open Concerns（任意）
-
-- ...
-
-## チェック観点
-
-- シナリオの各条件がテストに対応しているか（対応表を作る）
-- 例外系・境界条件がテストされているか
-- テスト名/説明がシナリオ用語と一致しているか
-- テストが多すぎる/少なすぎることによるリスク
-
-## 期待する出力形式
-
-- 対応表（Scenario項目 → Test名/箇所）
-- 漏れ（未テスト）とズレ（誤解）のリスト
-- 優先度（高/中/低）を付ける
-
-## 次アクション
-
-- Test追加/修正案:
-- Scenario追加/修正案:
-- 追加で確認すべき質問:

package/assets/init/.qfai/prompts/analyze/spec_contract_consistency.md

@@ -1,8 +0,0 @@
-# Deprecated
-
-このプロンプトは v0.9.1 で命名/雛形を整理しました。
-
-- 代替: `.qfai/prompts/analyze/spec_to_contract.md`
-- 理由: v0.9.1 の `qfai analyze --list` / `--prompt` が標準3本（spec_to_scenario/spec_to_contract/scenario_to_test）に揃えているため
-
-以降は新しいプロンプトを利用してください。

package/assets/init/.qfai/prompts/analyze/spec_scenario_consistency.md

@@ -1,8 +0,0 @@
-# Deprecated
-
-このプロンプトは v0.9.1 で命名/雛形を整理しました。
-
-- 代替: `.qfai/prompts/analyze/spec_to_scenario.md`
-- 理由: v0.9.1 の `qfai analyze --list` / `--prompt` が標準3本（spec_to_scenario/spec_to_contract/scenario_to_test）に揃えているため
-
-以降は新しいプロンプトを利用してください。

package/assets/init/.qfai/prompts/analyze/spec_to_contract.md

@@ -1,54 +0,0 @@
-# analyze: Spec ↔ Contract トレーサビリティチェック
-
-## 目的
-
-- Spec と Contract（参照関係）が噛み合っているかを確認する
-- 紐付け漏れ・参照の根拠薄弱を抽出する
-
-## 入力の前提（貼り付けて埋める）
-
-入力が多すぎる場合は「抜粋にする」「代表ケースだけに絞る」を優先してください。
-
-### Project Context
-
-- 対象機能:
-- 前提/制約:
-- 対象外（Non-goals）:
-
-### Spec Excerpts
-
-- ...
-
-### Contract / Trace Links
-
-- （Spec ID）→（Scenario ID / Test ID など）
-- ...
-
-### Scenario Excerpts（任意）
-
-- ...
-
-### Test Excerpts（任意）
-
-- ...
-
-### Open Concerns（任意）
-
-- ...
-
-## チェック観点
-
-- Spec に対してリンクが存在しない箇所（紐付け漏れ）
-- Contract で参照しているが、Spec 側に根拠が見当たらない箇所
-- 参照の向きが不自然な箇所（誤ったID、転記ミスの疑い）
-
-## 期待する出力形式
-
-- 「紐付け漏れ」「根拠薄弱」「参照ミス疑い」に分類
-- それぞれに修正案（Contract修正 / Spec補強 / Scenario追加）を付ける
-
-## 次アクション
-
-- Contract修正案:
-- Spec補強案:
-- 追加で確認すべき質問:

package/assets/init/.qfai/prompts/analyze/spec_to_scenario.md

@@ -1,56 +0,0 @@
-# analyze: Spec ↔ Scenario 整合性チェック
-
-## 目的
-
-- Spec（仕様）の主張が Scenario（受入シナリオ）に反映されているかを確認する
-- Scenario が Spec を逸脱していないかを確認する
-
-## 入力の前提（貼り付けて埋める）
-
-入力が多すぎる場合は「抜粋にする」「代表ケースだけに絞る」を優先してください。
-
-### Project Context
-
-- 対象機能:
-- 前提/制約:
-- 対象外（Non-goals）:
-
-### Spec Excerpts
-
-- ...
-
-### Scenario Excerpts
-
-- ...
-
-### Test Excerpts（任意）
-
-- ...
-
-### Contract / Trace Links（任意）
-
-- （Spec ID）→（Scenario ID / Test ID など）
-- ...
-
-### Open Concerns（任意）
-
-- ...
-
-## チェック観点
-
-- 用語定義の不一致（同じ言葉で別の意味）
-- 例外条件/境界条件の不足
-- 受入条件（Given/When/Then 等）が仕様の制約を満たすか
-- 仕様にあるのにシナリオがない項目（漏れ）
-- シナリオにあるのに仕様に根拠がない項目（逸脱）
-
-## 期待する出力形式
-
-- 矛盾 / 不明点 / 漏れ をそれぞれ箇条書き
-- それぞれに「根拠（Spec/Scenario抜粋の引用）」と「提案（修正案）」を付ける
-
-## 次アクション
-
-- Spec修正案:
-- Scenario追加/修正案:
-- 追加で確認すべき質問:

package/assets/init/.qfai/prompts/makeBusinessFlow.md

@@ -1,34 +0,0 @@
-# makeBusinessFlow
-
-あなたは業務フロー（Business Flow: BF）を“推測せず”に整理するアシスタントです。
-Spec群を読み、Specに明示されている情報のみを根拠として、代表的な業務フロー候補と、ステップ→Specの対応表を作成してください。
-
-## Inputs
-
-- 対象: `.qfai/specs/spec-*/spec.md` 形式のファイル（Spec Pack の `spec.md`。必要に応じて `scenario.feature` / `delta.md` も補助参照）
-
-## Output (Option)
-
-- docs/flows/overview.md（BF一覧）
-- docs/flows/bf-0001-<slug>.md 等（個別BF）
-
-## Hard Rules
-
-- Specに書かれていない業務フローを“創作”しない。
-  - 根拠が薄い場合は候補として列挙し `TBD` を付ける。
-- BFの各ステップは必ず SPEC-ID に紐づける。
-- BR/SC/UI/API/DB の参照は Spec に書かれているもののみ。
-
-## BF Document Format (per BF)
-
-- BF-ID / Title
-- Scope（開始条件/終了条件）
-- Actors（登場人物）
-- Steps（番号付き）: step → SPEC-ID → 一行説明
-- Related BR / SC
-- Open Questions（TBD列挙）
-
-## Safety
-
-- 既存ファイルがある場合は、`<!-- qfai:generated:start -->` と `<!-- qfai:generated:end -->` の範囲だけ更新。
-- それ以外の手書き領域は絶対に変更しない。

package/assets/init/.qfai/prompts/makeOverview.md

@@ -1,27 +0,0 @@
-# makeOverview
-
-あなたはドキュメント生成アシスタントです。リポジトリ内の Spec を走査し、Spec一覧（overview）を生成してください。
-
-## Inputs
-
-- 対象: `.qfai/specs/spec-*/spec.md` 形式のファイル（Spec Pack の `spec.md`。必要に応じて `scenario.feature` / `delta.md` も補助参照）
-
-## Output
-
-- docs/specs/overview.md を更新
-- 更新は必ず次の範囲のみ:
-  - <!-- qfai:generated:start -->
-  - <!-- qfai:generated:end -->
-
-## Rules
-
-- Spec本文に書かれていないことは推測しない（不明は `TBD` と書く）。
-- SpecのIDとタイトルは、本文先頭の `# SPEC-xxxx ...` を正とし、ファイル名は補助。
-- 各Specについて最低限以下を表にする:
-  - SPEC-ID / Title / Outcome(1行) / Status / SC / UI / API / DB / Tags
-- 参照が欠けている場合（例: SCが未記載）は “欠落一覧” に列挙する。
-
-## Format
-
-- Markdown table
-- 生成日時（JST）と、参照したSpecファイル一覧を末尾に付記する。

package/assets/init/.qfai/prompts/qfai-generate-test-globs.md

@@ -1,29 +0,0 @@
-# QFAI: テストファイル glob 生成（プロジェクト分析→qfai.config.yaml 更新）
-
-あなたはリポジトリを解析し、QFAI の SC→Test 判定に使用する「テストファイル glob」を作成します。
-
-## 目的
-
-- SC→Test の根拠は **テストファイル内の `QFAI:SC-xxxx`** アノテーションです。
-- その抽出対象（テストファイル集合）を、プロジェクト実態に合わせて **過不足なく**指定してください。
-
-## 手順
-
-1. どのテストフレームワーク/ランナーが使われているかを特定してください。
-   - 例: `package.json` の dependencies/devDependencies、設定ファイル（`vitest.config.*`, `jest.config.*`, `playwright.config.*` 等）、CI 設定など
-2. テストファイルが存在するディレクトリと命名規則を列挙してください。
-   - `tests/` 配下だけでなく、**`src/` 同居**（`*.test.*`）も考慮すること
-   - e2e / integration / unit が分かれている場合はそれも考慮すること
-3. 「テストファイル glob（含める）」を 3-10 個程度で提案してください。
-   - 過剰に広い `**/*` は禁止（性能・誤検知の観点）
-4. 「除外 glob」を提案してください（既定除外に加えて必要なら）。
-5. `qfai.config.yaml` を更新してください。
-   - `validation.traceability.testFileGlobs` に glob 配列を設定
-   - 必要なら `validation.traceability.testFileExcludeGlobs` も設定
-6. 更新後、実在するテストファイルを 5-15 件サンプリングし、各ファイルが提案 glob にマッチすることを示してください。
-7. 最後に、提案 glob を 1 行ずつコメント付きでまとめてください（採用理由を短く）。
-
-## 制約
-
-- `.qfai/` 配下、`node_modules/`、ビルド成果物（`dist/`, `build/` 等）は対象外
-- 変更は **glob 設定に限定**（テストやソースの内容改変はしない）

package/assets/init/.qfai/prompts/qfai-maintain-contracts.md

@@ -1,35 +0,0 @@
-# QFAI: 契約保守（Contract ID と Spec 参照の整合）
-
-あなたは契約ファイルの追加/変更に合わせて、ID と参照の整合を保ちます。
-
-## 目的
-
-- `QFAI-CONTRACT-ID` と `QFAI-CONTRACT-REF` の整合を保つ
-- orphan contract を発生させずに運用できるようにする
-
-## 必須入力
-
-- `.qfai/contracts/**`（追加/変更した契約）
-- 関連する `spec.md`（候補は report の Spec→契約一覧）
-- `.qfai/out/report.md` / `.qfai/out/validate.json`（あれば）
-
-## 手順
-
-1. 追加/変更した契約の種別（UI/API/DB）と命名規約を確認する。
-2. `QFAI-CONTRACT-ID` の採番案を作り、ファイル名と一致させる。
-3. 参照すべき Spec を特定し、`QFAI-CONTRACT-REF` へ追記案を作る。
-4. orphan contract が出る場合は、Spec 追加/更新の方針を提示する。
-5. 変更後の validate / report 手順を示す。
-
-## 禁止事項
-
-- 既存の Contract ID を無断で変更しない
-- ID 形式（`UI|API|DB-0001`）を崩さない
-- orphanContractsPolicy の変更を無断で行わない
-
-## 出力フォーマット
-
-- 追加/変更する Contract ID と根拠
-- 参照を追加する Spec 一覧と編集案
-- 提案 diff（またはパッチ単位）
-- 再実行コマンド（`qfai validate` / `qfai report`）