DBC — 導出的創造
設計グループ意図→契約→型→IF→テストを導出で繋ぎ、意図を保存する
パイプライン
意図→契約→型→IF→テスト
各段階は前段階から「導出」される。飛ばすと意図が歪む。
5段階の詳細
1
意図
何を実現したいか？成功とは何か？
成果物: 要件定義、ユーザーストーリー
2
契約
意図を明確な契約（YAML/TypeScript）として定義する
成果物: 契約ファイル（as const）
3
型
契約から型を導出する。型が意図を保証する
成果物: TypeScript型定義
4
IF
型からインターフェースを導出する。結合規約を最小化
成果物: API/コンポーネントIF
5
テスト
契約からテストを導出する。意図の検証を自動化
成果物: テストケース
循環接続
SCF → TIDE → Atlas → DBC → TIP → SCF（循環B: 設計実装サイクル）