---
name: ddd-check
description: DDD設計原則チェッカー（AIDLC ドキュメントと実装コードの一貫性を検証）
version: 1.0.0
tools:
  - Read
  - Grep
  - Glob
skill_type: verification
auto_invoke: false
---

# DDD設計原則チェッカー

## 概要

ドメイン駆動設計（DDD）の原則に従った実装がなされているかを検証します。AIDLC（AI-Driven Life Cycle）ドキュメントと実装コードの一貫性を確認し、ドメインモデル違反を早期に検出します。

## 入力形式

スキル呼び出し時に検証対象を指定できます:

```
/ddd-check
```

または特定のファイル/ディレクトリのみ検証:

```
/ddd-check --domain-only
/ddd-check --file src/domain/entities/cart.py
```

## 実行プロセス

### ステップ1: ユビキタス言語の整合性チェック

**検証内容**:
- `aidlc-docs/construction/unit_01_ai_dialog_public/docs/ubiquitous_language.md` で定義された用語がコード内で正しく使用されているか

**確認ファイル**:
```bash
# ユビキタス言語定義を読む
main/aidlc-docs/construction/unit_01_ai_dialog_public/docs/ubiquitous_language.md

# コードで使用されている用語を確認
main/backend/src/domain/**/*.py
```

**チェック項目**:

#### 1. コアドメイン用語の使用

| 日本語 | 英語 | コード内での使用例 |
|--------|------|-------------------|
| 買い目 | BetSelection | `class BetSelection` (値オブジェクト) |
| カート | Cart | `class Cart` (エンティティ) |
| カートアイテム | CartItem | `class CartItem` (エンティティ) |
| 相談セッション | ConsultationSession | `class ConsultationSession` (集約ルート) |
| メッセージ | Message | `class Message` (エンティティ) |
| データフィードバック | DataFeedback | `class DataFeedback` (値オブジェクト) |
| 掛け金フィードバック | AmountFeedback | `class AmountFeedback` (値オブジェクト) |

**検証方法**:
```bash
# 用語が正しく使用されているか確認
grep -r "class BetSelection" main/backend/src/domain/value_objects/
grep -r "class Cart" main/backend/src/domain/entities/
```

**違反パターン**:
- ❌ `BettingSelection` (誤った用語)
- ❌ `ShoppingCart` (別ドメインの用語混入)
- ❌ `OrderItem` (ECサイトの用語混入)

#### 2. サポートドメイン用語の使用

| 日本語 | 英語 | 扱い |
|--------|------|------|
| レース | Race | 外部データ（Read Model） |
| 開催場 | Venue | 外部データ |
| 出走馬 | Runner | 外部データ |
| 騎手 | Jockey | 外部データ |
| オッズ | Odds | 外部データ |

**検証方法**:
- サポートドメインの概念はポート（`RaceDataProvider`）経由でのみ取得
- ドメインエンティティとして内部実装してはいけない

**違反パターン**:
- ❌ `class Race(Entity)` をドメイン層に実装
- ❌ `Race` クラスにビジネスロジックを追加

### ステップ2: レイヤー分離の検証

**ディレクトリ構造チェック**:
```
main/backend/src/
├── domain/              # ドメイン層（ビジネスロジック）
│   ├── entities/        # エンティティ（識別子を持つ）
│   ├── value_objects/   # 値オブジェクト（イミュータブル）
│   ├── services/        # ドメインサービス
│   ├── ports/           # インターフェース（ポート）
│   ├── identifiers/     # 識別子（ID型）
│   └── enums/           # 列挙型
├── application/         # アプリケーション層（ユースケース）
│   └── use_cases/
├── infrastructure/      # インフラ層（外部システム連携）
│   ├── providers/       # プロバイダー（アダプター）
│   └── repositories/
└── api/                 # API層（Lambda ハンドラー）
    └── handlers/
```

**検証ルール**:

#### 依存関係の方向

```
API層 → アプリケーション層 → ドメイン層 ← インフラ層
```

**許可される依存**:
- ✅ API層 → アプリケーション層
- ✅ アプリケーション層 → ドメイン層
- ✅ インフラ層 → ドメイン層（ポート実装）

**禁止される依存**:
- ❌ ドメイン層 → インフラ層
- ❌ ドメイン層 → API層
- ❌ アプリケーション層 → インフラ層（直接依存）

**検証方法**:
```bash
# ドメイン層がインフラ層をインポートしていないか確認
grep -r "from src.infrastructure" main/backend/src/domain/
# → 何も見つからないはず

# ドメイン層がAPI層をインポートしていないか確認
grep -r "from src.api" main/backend/src/domain/
# → 何も見つからないはず
```

### ステップ3: エンティティと値オブジェクトの検証

#### エンティティのルール

**必須条件**:
1. 識別子（ID）を持つ
2. ライフサイクルがある（生成→更新→削除）
3. 同一性は識別子で判断（`__eq__` の実装）

**検証パターン**:
```python
@dataclass
class Cart:
    """カートエンティティ."""

    cart_id: CartId  # ✅ 識別子を持つ
    items: list[CartItem]  # ✅ 可変な状態

    def add_item(self, item: CartItem) -> None:
        """アイテムを追加."""  # ✅ 振る舞いを持つ
        self.items.append(item)
```

**違反パターン**:
```python
# ❌ frozen=True はエンティティに使わない（値オブジェクト用）
@dataclass(frozen=True)
class Cart:
    cart_id: CartId
    items: list[CartItem]
```

#### 値オブジェクトのルール

**必須条件**:
1. イミュータブル（`frozen=True`）
2. 識別子を持たない
3. 等価性は値で判断

**検証パターン**:
```python
@dataclass(frozen=True)
class BetSelection:
    """買い目（値オブジェクト）."""

    bet_type: BetType
    horse_numbers: HorseNumbers
    amount: Money

    # ✅ 振る舞いは新しいインスタンスを返す
    def change_amount(self, new_amount: Money) -> "BetSelection":
        return BetSelection(
            bet_type=self.bet_type,
            horse_numbers=self.horse_numbers,
            amount=new_amount,
        )
```

**違反パターン**:
```python
# ❌ frozen=True がない
@dataclass
class BetSelection:
    bet_type: BetType
    horse_numbers: HorseNumbers
    amount: Money

# ❌ 値オブジェクトが識別子を持つ
@dataclass(frozen=True)
class BetSelection:
    selection_id: str  # ❌ 識別子は不要
    bet_type: BetType
```

### ステップ4: 集約の境界検証

**集約のルール**:
1. 集約ルートを通じてのみ内部エンティティにアクセス
2. トランザクション境界 = 集約境界
3. 集約間の参照は識別子のみ

**検証例**:

#### 正しい集約設計

```python
@dataclass
class ConsultationSession:
    """相談セッション（集約ルート）."""

    session_id: SessionId  # 識別子
    user_id: UserId
    messages: list[Message]  # 内部エンティティ

    def add_message(self, message: Message) -> None:
        """メッセージを追加."""  # ✅ 集約ルート経由
        self.messages.append(message)
```

**違反パターン**:
```python
# ❌ 集約を越えた直接参照
@dataclass
class Message:
    message_id: MessageId
    consultation_session: ConsultationSession  # ❌ 集約全体を参照
```

**正しいパターン**:
```python
# ✅ 識別子のみで参照
@dataclass
class Message:
    message_id: MessageId
    session_id: SessionId  # ✅ 識別子のみ
```

### ステップ5: ドメインサービスの検証

**ドメインサービスの条件**:
1. ステートレス（状態を持たない）
2. 複数のエンティティにまたがるロジック
3. エンティティや値オブジェクトに置けないロジック

**検証パターン**:
```python
class FeedbackGenerator:
    """フィードバック生成ドメインサービス."""

    def __init__(self, ai_client: AiClient) -> None:
        self._ai_client = ai_client  # ✅ 依存性注入

    def generate_feedback(
        self,
        bet_selection: BetSelection,
        race_data: RaceData,
        runner_data: list[RunnerData],
    ) -> DataFeedback:
        """買い目のフィードバックを生成."""
        # ✅ 複数のドメインオブジェクトを使用するロジック
        ...
```

**違反パターン**:
```python
# ❌ 状態を持つドメインサービス
class FeedbackGenerator:
    def __init__(self) -> None:
        self._cache: dict = {}  # ❌ 状態を持つ

# ❌ エンティティに置けるロジックをサービスに配置
class CartService:
    def add_item(self, cart: Cart, item: CartItem) -> None:
        cart.items.append(item)  # ❌ これはCartエンティティのメソッドにすべき
```

### ステップ6: ポート・アダプターパターンの検証

**ポート（インターフェース）の検証**:

```python
# ✅ 正しいポート定義
class RaceDataProvider(ABC):
    """レースデータ取得インターフェース."""

    @abstractmethod
    def get_race(self, race_id: RaceId) -> RaceData | None:
        pass  # ✅ インターフェースのみ

# ✅ 正しいアダプター実装
class JraVanRaceDataProvider(RaceDataProvider):
    """JRA-VAN からデータ取得."""

    def get_race(self, race_id: RaceId) -> RaceData | None:
        # 外部API呼び出し
        ...
```

**違反パターン**:
```python
# ❌ ポートに実装を含む
class RaceDataProvider(ABC):
    def get_race(self, race_id: RaceId) -> RaceData | None:
        # ❌ デフォルト実装を含む
        return None
```

## 出力形式

### 全チェック通過時

```
✅ DDD設計原則チェック完了

検証項目:
- [✅] ユビキタス言語の整合性
- [✅] レイヤー分離
- [✅] エンティティと値オブジェクトの区別
- [✅] 集約の境界
- [✅] ドメインサービスの適切性
- [✅] ポート・アダプターパターン

🎉 DDD原則に従った実装がなされています。
```

### 違反検出時

```
🔴 DDD設計原則違反を検出

検証項目:
- [✅] ユビキタス言語の整合性
- [🔴] レイヤー分離 - 1件の違反
- [✅] エンティティと値オブジェクトの区別
- [⚠️] 集約の境界 - 1件の警告
- [✅] ドメインサービスの適切性
- [✅] ポート・アダクターパターン

---
🔴 違反 #1: レイヤー依存関係違反

ファイル: src/domain/entities/cart.py:15
違反内容: ドメイン層がインフラ層をインポート

コード:
```python
from src.infrastructure.repositories import CartRepository  # ❌
```

理由: ドメイン層はインフラ層に依存してはいけない

修正案:
1. CartRepository をポート（インターフェース）として domain/ports/ に定義
2. domain層では CartRepository ポートを使用
3. infrastructure層で CartRepository を実装

---
⚠️ 警告 #1: 集約の境界が曖昧

ファイル: src/domain/entities/message.py:10
警告内容: 集約を越えた直接参照

コード:
```python
consultation_session: ConsultationSession  # ⚠️
```

理由: 集約間の参照は識別子のみが推奨

推奨修正:
```python
session_id: SessionId  # ✅ 識別子のみで参照
```

---

次のアクション:
- [ ] 違反の修正
- [ ] 警告の確認（必要に応じて修正）
- [ ] 再検証: /ddd-check
```

## 参照ドキュメント

### AIDLC ドキュメント

- **ユビキタス言語**: `main/aidlc-docs/construction/unit_01_ai_dialog_public/docs/ubiquitous_language.md`
- **エンティティ**: `main/aidlc-docs/construction/unit_01_ai_dialog_public/docs/entities.md`
- **値オブジェクト**: `main/aidlc-docs/construction/unit_01_ai_dialog_public/docs/value_objects.md`
- **集約**: `main/aidlc-docs/construction/unit_01_ai_dialog_public/docs/aggregates.md`
- **ドメインサービス**: `main/aidlc-docs/construction/unit_01_ai_dialog_public/docs/domain_services.md`
- **アーキテクチャ**: `main/aidlc-docs/construction/unit_01_ai_dialog_public/docs/architecture.md`

### 実装コード

- **ドメイン層**: `main/backend/src/domain/`
- **アプリケーション層**: `main/backend/src/application/`
- **インフラ層**: `main/backend/src/infrastructure/`
- **API層**: `main/backend/src/api/`

## 注意事項

- **ユビキタス言語**: ドキュメントとコードで用語を統一
- **レイヤー分離**: ドメイン層は外部に依存しない
- **イミュータブル**: 値オブジェクトは必ず `frozen=True`
- **集約境界**: トランザクション境界を意識
- **ポート・アダプター**: 外部依存はインターフェース経由