📝 技術調査 - spec駆動開発

# User Authentication

## User Stories

### REQ-01: メールアドレスによるログイン - P1
WHEN a registered user submits valid email and password,
the system SHALL authenticate the user and return a JWT token
within 500ms.

#### Acceptance Criteria
- [ ] JWT トークンの有効期限は 24 時間
- [ ] パスワードは bcrypt でハッシュ化されている
- [ ] 5回連続失敗でアカウントを15分間ロックする

### REQ-02: 無効な認証情報 - P1
IF a user submits invalid credentials,
THEN the system SHALL return HTTP 401 with error message
"Invalid email or password".

#### Acceptance Criteria
- [ ] エラーメッセージはメールとパスワードのどちらが間違いか特定できない
- [ ] 失敗回数をインクリメントする

uv tool install specify-cli --from git+https://github.com/github/spec-kit.git@vX.Y.Z

uvx --from git+https://github.com/github/spec-kit.git@vX.Y.Z specify init

specify check
specify version

# 新規プロジェクト
specify init <PROJECT_NAME> --ai claude

# 既存ディレクトリに適用
specify init . --ai claude
# または
specify init --here --ai claude

product.md    # プロダクトの目的・方向性
structure.md  # プロジェクト構造
tech.md       # 技術スタック

# npm
npm install -g specmatic

# Docker
docker pull specmatic/specmatic

# Java JAR（Java 17 以上が必要）
alias specmatic='java -jar <path>/specmatic.jar'

# コントラクトテストの実行
specmatic test service.yaml --testBaseURL=http://localhost:8080

# モックサーバーの起動
specmatic mock service.yaml --port 9000

# 既存ディレクトリに初期化（確認あり）
specify init --here --ai claude

# 既存ディレクトリに強制初期化（確認なし）
specify init --here --force --ai claude

pip download specify-cli -d ./wheels
# オフライン環境に転送して
pip install --no-index --find-links=./wheels specify-cli

/speckit.constitution This project follows Library-First approach.
All features must be implemented as standalone libraries first.
We use TDD strictly. We prefer functional programming patterns.

# 1. Constitution の定義
/speckit.constitution Security-First. All inputs validated. Microservices architecture.

# 2. 仕様の記述
/speckit.specify ユーザー認証機能（メール+パスワード）を実装する

# 3. 曖昧点の解消（任意）
/speckit.clarify

# 4. 技術計画の生成
/speckit.plan Use Next.js 14 with App Router, PostgreSQL, Redis

# 5. 整合性の検証（任意）
/speckit.analyze

# 6. タスクの生成
/speckit.tasks

# 7. 実装
/speckit.implement

# プロジェクト初期化
specify init my-project --ai claude

# Claude Code を起動
claude

# Claude 内でスラッシュコマンドを使用
/speckit.specify ユーザーダッシュボードを追加する
/speckit.plan
/speckit.tasks
/speckit.implement

/speckit.constitution We use TDD strictly.
All features must have tests before implementation.
Red-Green-Refactor cycle is mandatory.

# OpenAPI 仕様からテストを自動生成・実行
specmatic test openapi.yaml --testBaseURL=http://localhost:8080

# モックサーバーを起動してコンシューマー側をテスト
specmatic mock openapi.yaml --port 9000

name: Contract Validation

on:
  pull_request:

jobs:
  validate:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4

      # OpenAPI 仕様のリント
      - name: Lint OpenAPI specs
        run: npx @stoplight/spectral-cli lint openapi.yaml

      # インラインサンプルの検証
      - name: Validate examples
        run: docker run specmatic/specmatic examples validate --spec openapi.yaml

      # 後方互換性チェック
      - name: Check backward compatibility
        run: |
          docker run specmatic/specmatic backward-compatibility-check \
            --base-branch main \
            openapi.yaml

# ロールアップの実施例（spec-kit）
/speckit.spec --rollup specs/001-auth/

# 乖離の検出
/speckit.analyze

# 出力例
# | ID | Category     | Severity | Location       | Summary             | Recommendation |
# | A1 | Duplication  | HIGH     | spec.md:L120   | 類似要件が重複      | マージする     |
# | C1 | Constitution | CRITICAL | plan.md:L45    | Article VII に違反  | 簡素化する     |
# | G1 | Coverage Gap | MEDIUM   | spec.md:REQ-05 | 対応タスクなし      | タスクを追加   |

スプリント計画 → 仕様書確認・更新 → 実装 → レビュー → 仕様書フィードバック

specs/
  auth/           # 認証ドメイン
  product/        # 商品ドメイン
  cart/           # カートドメイン
  payment/        # 決済ドメイン
  admin/          # 管理ドメイン
  _shared/        # 共有コントラクト・用語集

## Article I: テスト駆動開発

### 最低カバレッジ
全プロダクションコードは 80% 以上のテストカバレッジを達成すること。

### 強制機能
- ツール: pytest + pytest-cov
- 報告: CI 実行ごとにカバレッジレポートを生成
- ゲート: 80% 未満はマージをブロック

## 実装後の自己確認

以下の項目を確認してから出力を提出してください。

- [ ] REQ-01 から REQ-05 の全要件を満たしているか
- [ ] Article III のテストカバレッジ基準を達成しているか
- [ ] 「確認してから実行」の操作を実施していないか
- [ ] 未対応の要件がある場合は明示しているか

# 増殖したデルタスペックをマスタースペックに統合
/speckit.spec --rollup specs/auth/

# 統合後の確認
/speckit.analyze

# 古いデルタスペックをアーカイブ
git mv specs/auth/deltas/ specs/.archive/auth/deltas/