/ddd-check

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

# ユビキタス言語定義を読む
main/aidlc-docs/construction/unit_01_ai_dialog_public/docs/ubiquitous_language.md
 
# コードで使用されている用語を確認
main/backend/src/domain/**/*.py

# 用語が正しく使用されているか確認
grep -r "class BetSelection" main/backend/src/domain/value_objects/
grep -r "class Cart" main/backend/src/domain/entities/

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

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

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

@dataclass
class Cart:
    """カートエンティティ."""
    cart_id: CartId  # ✅ 識別子を持つ
    items: list[CartItem]  # ✅ 可変な状態
    def add_item(self, item: CartItem) -> None:
        """アイテムを追加."""  # ✅ 振る舞いを持つ
        self.items.append(item)

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

@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,
        )

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

@dataclass
class ConsultationSession:
    """相談セッション（集約ルート）."""
    session_id: SessionId  # 識別子
    user_id: UserId
    messages: list[Message]  # 内部エンティティ
    def add_message(self, message: Message) -> None:
        """メッセージを追加."""  # ✅ 集約ルート経由
        self.messages.append(message)

# ❌ 集約を越えた直接参照
@dataclass
class Message:
    message_id: MessageId
    consultation_session: ConsultationSession  # ❌ 集約全体を参照

# ✅ 識別子のみで参照
@dataclass
class Message:
    message_id: MessageId
    session_id: SessionId  # ✅ 識別子のみ

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:
        """買い目のフィードバックを生成."""
        # ✅ 複数のドメインオブジェクトを使用するロジック
        ...

# ❌ 状態を持つドメインサービス
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エンティティのメソッドにすべき

# ✅ 正しいポート定義
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呼び出し
        ...

# ❌ ポートに実装を含む
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
違反内容: ドメイン層がインフラ層をインポート
 
コード:

 
理由: ドメイン層はインフラ層に依存してはいけない
 
修正案:
1. CartRepository をポート（インターフェース）として domain/ports/ に定義
2. domain層では CartRepository ポートを使用
3. infrastructure層で CartRepository を実装
 
---
⚠️ 警告 #1: 集約の境界が曖昧
 
ファイル: src/domain/entities/message.py:10
警告内容: 集約を越えた直接参照
 
コード:

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

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