Coding
PromptBeginner5 minmarkdown
Markdown Converter
Agent skill for markdown-converter
7
DDD設計原則チェッカー(AIDLC ドキュメントと実装コードの一貫性を検証)
Sign in to like and favorite skills
name: ddd-check description: DDD設計原則チェッカー(AIDLC ドキュメントと実装コードの一貫性を検証) version: 1.0.0 tools:
ドメイン駆動設計(DDD)の原則に従った実装がなされているかを検証します。AIDLC(AI-Driven Life Cycle)ドキュメントと実装コードの一貫性を確認し、ドメインモデル違反を早期に検出します。
スキル呼び出し時に検証対象を指定できます:
/ddd-check
または特定のファイル/ディレクトリのみ検証:
/ddd-check --domain-only /ddd-check --file src/domain/entities/cart.py
検証内容:
aidlc-docs/construction/unit_01_ai_dialog_public/docs/ubiquitous_language.md で定義された用語がコード内で正しく使用されているか確認ファイル:
# ユビキタス言語定義を読む main/aidlc-docs/construction/unit_01_ai_dialog_public/docs/ubiquitous_language.md # コードで使用されている用語を確認 main/backend/src/domain/**/*.py
チェック項目:
| 日本語 | 英語 | コード内での使用例 |
|---|---|---|
| 買い目 | BetSelection | (値オブジェクト) |
| カート | Cart | (エンティティ) |
| カートアイテム | CartItem | (エンティティ) |
| 相談セッション | ConsultationSession | (集約ルート) |
| メッセージ | Message | (エンティティ) |
| データフィードバック | DataFeedback | (値オブジェクト) |
| 掛け金フィードバック | AmountFeedback | (値オブジェクト) |
検証方法:
# 用語が正しく使用されているか確認 grep -r "class BetSelection" main/backend/src/domain/value_objects/ grep -r "class Cart" main/backend/src/domain/entities/
違反パターン:
BettingSelection (誤った用語)ShoppingCart (別ドメインの用語混入)OrderItem (ECサイトの用語混入)| 日本語 | 英語 | 扱い |
|---|---|---|
| レース | Race | 外部データ(Read Model) |
| 開催場 | Venue | 外部データ |
| 出走馬 | Runner | 外部データ |
| 騎手 | Jockey | 外部データ |
| オッズ | Odds | 外部データ |
検証方法:
RaceDataProvider)経由でのみ取得違反パターン:
class Race(Entity) をドメイン層に実装Race クラスにビジネスロジックを追加ディレクトリ構造チェック:
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/ # → 何も見つからないはず
必須条件:
__eq__ の実装)検証パターン:
@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]
必須条件:
frozen=True)検証パターン:
@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 違反内容: ドメイン層がインフラ層をインポート コード: ```python from src.infrastructure.repositories import CartRepository # ❌
理由: ドメイン層はインフラ層に依存してはいけない
修正案:
⚠️ 警告 #1: 集約の境界が曖昧
ファイル: src/domain/entities/message.py:10 警告内容: 集約を越えた直接参照
コード:
consultation_session: ConsultationSession # ⚠️
理由: 集約間の参照は識別子のみが推奨
推奨修正:
session_id: SessionId # ✅ 識別子のみで参照
次のアクション:
## 参照ドキュメント ### 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` - **集約境界**: トランザクション境界を意識 - **ポート・アダプター**: 外部依存はインターフェース経由