qfai 0.3.8 → 0.4.2

package/README.md

@@ -20,6 +20,7 @@ npx qfai report
 
 - `npx qfai init` によるテンプレート生成（specs/contracts に加え、`.qfai/require/README.md`、`.qfai/rules/pnpm.md`、`.qfai/prompts/require-to-spec.md`、`.qfai/promptpack/` を含む）
 - `npx qfai validate` による `.qfai/` 内ドキュメントの整合性・トレーサビリティ検査
+- `npx qfai validate` による SC→Test 参照の検証（`validation.traceability.testFileGlobs` に一致するテストファイルから `QFAI:SC-xxxx` を抽出）
 - `npx qfai report` によるレポート出力
 
 ## Usage
@@ -30,3 +31,14 @@ npx qfai report
 
 設定はリポジトリ直下の `qfai.config.yaml` で行います。
 命名規約は `docs/rules/naming.md` を参照してください。
+
+SC→Test の参照はテストコード内の `QFAI:SC-xxxx` アノテーションで宣言します。
+SC→Test の対象ファイルは `validation.traceability.testFileGlobs` で指定します。
+除外は `validation.traceability.testFileExcludeGlobs` で指定できます。
+SC→Test 検証は `validation.traceability.scMustHaveTest` と
+`validation.traceability.scNoTestSeverity` で制御できます。
+
+- `validation.traceability.testFileGlobs`: SC→Test 判定に使用するテストファイル glob（配列）
+- `validation.traceability.testFileExcludeGlobs`: 追加の除外 glob（配列、任意）
+- `validation.traceability.scMustHaveTest`: SC→Test 検証の有効/無効を制御（`true` で有効、`false` で無効）
+- `validation.traceability.scNoTestSeverity`: SC 未参照時の重要度を指定（`error` / `warning`）

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

@@ -9,6 +9,10 @@ npx qfai validate --fail-on error --format github
 npx qfai report
 ```
 
+## トレーサビリティ（SC→Test）
+
+- `validation.traceability.testFileGlobs` に一致するテストコードで `QFAI:SC-xxxx` を参照する（コメント可）
+
 ## ディレクトリ概要
 
 - `specs/` : Spec Pack（spec.md / delta.md / scenario.md）
@@ -28,6 +32,7 @@ npx qfai report
 - `rules/pnpm.md`
 - `prompts/README.md`
 - `prompts/require-to-spec.md`
+- `prompts/qfai-generate-test-globs.md`
 - `promptpack/constitution.md`
 - `out/README.md`
 

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

@@ -12,6 +12,7 @@
 - `makeOverview.md`: Spec 一覧（overview）生成
 - `makeBusinessFlow.md`: 業務フロー（BF）整理
 - `require-to-spec.md`: 既存要件から Spec Pack を起こす
+- `qfai-generate-test-globs.md`: テストファイル glob の生成支援（`qfai.config.yaml` 更新）
 
 ## 使い方（例）
 

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

@@ -0,0 +1,29 @@
+# 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/specs/README.md

@@ -47,5 +47,5 @@
 - Spec: 必須セクション、SPEC/BR ID、BR Priority、ID 形式、Contract 参照の実在性
 - Delta: 変更区分（互換/変更）のチェック状態
 - Scenario: Feature/Scenario の存在、タグ要件、Given/When/Then
-- Traceability: BR→SC、SC→契約（UI/API/DATA）の接続、BR の所属 SPEC 整合
+- Traceability: BR→SC、SC→契約（UI/API/DATA）、SC→Test の接続、BR の所属 SPEC 整合
 - IDs: 定義 ID の重複検知（Spec/Scenario/Contracts）

package/assets/init/root/qfai.config.yaml

@@ -20,6 +20,14 @@ validation:
   traceability:
     brMustHaveSc: true
     scMustTouchContracts: true
+    scMustHaveTest: true
+    testFileGlobs:
+      - tests/**/*.test.ts
+      - tests/**/*.spec.ts
+      - src/**/*.test.ts
+      - src/**/*.spec.ts
+    testFileExcludeGlobs: []
+    scNoTestSeverity: error
     allowOrphanContracts: false
     unknownContractIdSeverity: error
 output:

package/assets/init/root/tests/qfai-traceability.sample.test.ts

@@ -0,0 +1,2 @@
+// Traceability sample: reference SC IDs via annotations (comments are enough).
+// QFAI:SC-0001