| name | orchestrator |
| description | SDD ワークフロー全体のオーケストレーション — スキルルーティング、フェーズ遷移管理、品質ゲート制御、 ニューロシンボリック機能統合、MCP サーバー制御、CLI コマンドディスパッチ。 Use when routing tasks to the correct skill, managing phase transitions, running the full SDD workflow, invoking neurosymbolic capabilities, or serving tools via MCP protocol.
|
| license | MIT |
| version | 3.0.1 |
| triggers | ["ワークフロー","フェーズ遷移","オーケストレーション","タスクルーティング","SDD 全体管理","phase transition","orchestrate","route","形式検証","formal verification","neural search","synthesis","research","MCP","tool catalog","git knowledge","multi-language parser"] |
MUSUBIX2 SDD Orchestrator
SDD（Specification Driven Development）ワークフローのルーティングとフェーズ遷移を管理するスキル。
全スキルへのタスク振り分け、Phase 遷移条件の検証、品質ゲート制御、ニューロシンボリック機能の統合を担当する。
前提条件
steering/ を参照済みであること（Article VI: プロジェクトメモリ）- 対象プロジェクトに SDD ワークフローが適用されていること
⚠️ ワークフロー強制ルール（不可侵）
機能追加・変更・拡張の依頼に対して、実装を直接開始することは禁止である。
必ず以下の順序を守り、各 Phase でユーザーの承認を得ること。
強制フロー
1. 要件定義（Phase 1）
└── requirements-analyst で EARS 要件を作成
└── 情報不足の場合は RequirementsInterviewer で 1問1答ヒアリング
└── ユーザーに要件定義書を提示 → レビュー → ⏸️ 承認待ち
2. 設計（Phase 2）
└── design-generator で設計書を生成
└── SOLID / C4 / ADR を含む
└── ユーザーに設計書を提示 → レビュー → ⏸️ 承認待ち
3. タスク分解（Phase 3）
└── 設計書からタスクを分解（TASK-XXX-NNN 形式）
└── 依存関係 DAG を生成
└── ユーザーにタスク一覧を提示 → レビュー → ⏸️ 承認待ち
4. 実装（Phase 4）
└── タスク順に Red → Green → Blue サイクルで実装
└── 各タスク完了後にテスト実行
5. 完了（Phase 5）
└── 全品質ゲート通過を確認
実装直行の判定と阻止
ユーザー: 「〇〇を実装して」「〇〇を追加して」「〇〇を作って」
│
├── Phase 1 の要件定義書が存在する？
│ ├── NO → 「まず要件を定義します」 → Phase 1 開始
│ └── YES → 承認済み？
│ ├── NO → 「要件のレビューが必要です」 → レビュー依頼
│ └── YES → Phase 2 チェックへ
│
├── Phase 2 の設計書が存在し承認済み？
│ ├── NO → 「設計を行います」 → Phase 2 開始
│ └── YES → Phase 3 チェックへ
│
├── Phase 3 のタスク分解が存在し承認済み？
│ ├── NO → 「タスクを分解します」 → Phase 3 開始
│ └── YES → Phase 4（実装開始許可）
│
└── 全 Phase 承認済み → 実装開始
例外（フル SDD を適用しないケース）
| 種別 | フロー |
|---|
| バグ修正 | 問題分析 → 修正 → テスト |
| ドキュメント修正 | 直接修正 |
| 設定変更・バージョンバンプ | 直接修正 |
| リファクタリング（動作変更なし） | テスト確認 → 修正 → テスト |
ルーティングルール
WHEN/DO マッピング
| WHEN（トリガー） | DO（スキル / パッケージ） |
|---|
| 要件を作成・分析・検証する | → requirements-analyst |
| 要件ヒアリング・情報収集する | → requirements-analyst (RequirementsInterviewer: 1問1答) |
| 設計書を生成・レビュー・検証する | → design-generator |
| コードを生成・スキャフォールド・解析する | → code-generator |
| テストを作成・実行・カバレッジ確認する | → test-engineer |
| トレーサビリティを確認・マトリクス生成する | → traceability-auditor |
| 憲法準拠・ポリシー違反を検証する | → constitution-enforcer |
| レビュー・合意チェック・品質検証する | → review-orchestrator |
| 形式検証・SMT・Z3 検証する | → @musubix2/formal-verify |
| Lean 4 定理証明・ハイブリッド検証する | → @musubix2/lean |
| コード解析・AST・依存グラフを生成する | → @musubix2/codegraph |
| データフロー・制御フロー分析する | → @musubix2/dfg |
| ニューラル検索・類似度検索する | → @musubix2/neural-search |
| プログラム合成・DSL 変換する | → @musubix2/synthesis |
| パターン学習・E-graph 最適化する | → @musubix2/library-learner |
| Wake-Sleep パターン抽出・統合する | → @musubix2/wake-sleep |
| 知識グラフ操作・エンティティ管理する | → @musubix2/knowledge |
| オントロジー・トリプルストア・推論する | → @musubix2/ontology-mcp |
| セキュリティスキャン・脆弱性検出する | → @musubix2/security |
| リサーチ・調査・知識蓄積する | → @musubix2/deep-research |
| ADR・アーキテクチャ決定を記録する | → @musubix2/decisions |
| ドメイン分類・ドリフト分析する | → @musubix2/assistant-axis |
| Git 履歴から知識を抽出する | → @musubix2/git-knowledge |
| MCP ツール呼出・プロンプト・リソース取得する | → @musubix2/mcp-server |
| 多言語 AST 解析する（Python/Java/Go/Rust 等） | → @musubix2/codegraph (MultiLanguageParser) |
| SDD ワークフロー全体を実行する | → orchestrator（Phase 遷移ルール参照） |
Phase 遷移ルール
Phase 1 (Requirements) ──⏸️承認──→ Phase 2 (Design) ──⏸️承認──→ Phase 3 (Task Breakdown)
──⏸️承認──→ Phase 4 (Implementation) ──⏸️承認──→ Phase 5 (Complete)
遷移条件
| 遷移 | 条件 | 検証ツール |
|---|
| Phase 1 → 2 | 全要件が EARS 形式準拠、requirements-analyst 検証 PASS | requirements-analyst, @musubix2/formal-verify |
| Phase 2 → 3 | 全 DES が REQ にトレース可能、design-generator 検証 PASS | design-generator, traceability-auditor |
| Phase 3 → 4 | タスク分解完了、カバレッジ 100% | traceability-auditor, @musubix2/workflow-engine |
| Phase 4 → 5 | テストカバレッジ 80%+、全条項 PASS、形式検証 PASS | constitution-enforcer, @musubix2/formal-verify, @musubix2/lean |
⏸️ 承認ポイント
各 Phase 遷移時にユーザー承認を要求する。自動スキップ禁止。
Phase 3: タスク分解プロセス
Phase 2 (Design) 承認後、実装に入る前にタスク分解を実施する。
タスク分解フォーマット
各タスクは以下の形式で記述する：
### TASK-XXX-NNN: タスクタイトル
**トレーサビリティ**: REQ-XXX-NNN → DES-XXX-NNN
**パッケージ**: 対象パッケージ名
**種別**: backend / frontend / api / test / infra
**優先度**: P0 / P1 / P2
**依存**: TASK-XXX-NNN（なければ「なし」）
**実装内容**:
- 具体的な実装手順 1
- 具体的な実装手順 2
**受入基準**:
- [ ] テストが書かれている（Red）
- [ ] テストが通る（Green）
- [ ] リファクタリング済み（Blue）
分解ルール
- 1タスク = 1機能単位: 1つのAPIエンドポイント、1つのUIコンポーネント、1つのミドルウェア等
- 粒度基準: 1タスクは最大 2時間以内で完了できるサイズ
- REQ/DES マッピング必須: すべてのタスクは最低1つの REQ と DES にトレース可能
- テストファースト: 各タスクに Red→Green→Blue サイクルの受入基準を含める
- 依存関係の明示: 他タスクへの依存がある場合は
依存 フィールドに記載
分解プロセス
DES 一覧を入力
│
├── 1. DES ごとにバックエンドタスクを抽出
│ ├── データモデル定義 → TASK-MDL-*
│ ├── API ルート実装 → TASK-API-*
│ └── ミドルウェア → TASK-MID-*
│
├── 2. DES ごとにフロントエンドタスクを抽出
│ ├── HTML ページ → TASK-UI-*
│ ├── CSS スタイル → TASK-CSS-*
│ └── JS ロジック → TASK-JS-*
│
├── 3. 横断的タスクを抽出
│ ├── セキュリティ → TASK-SEC-*
│ ├── バリデーション → TASK-VAL-*
│ ├── エラーハンドリング → TASK-ERR-*
│ └── インフラ → TASK-INF-*
│
├── 4. テストタスクを抽出
│ ├── ユニットテスト → TASK-TST-*
│ ├── 統合テスト → TASK-INT-*
│ └── E2Eテスト → TASK-E2E-*
│
└── 5. 依存関係グラフを生成
└── DAG で実行順序を決定
タスク分解の品質ゲート
Phase 3 → 4 遷移には以下をすべて満たすこと：
| チェック項目 | 基準 |
|---|
| REQ カバレッジ | 全 REQ に対応するタスクが存在する（100%） |
| DES カバレッジ | 全 DES に対応するタスクが存在する（100%） |
| テストタスク | 各機能タスクに対応するテストタスクが存在する |
| 依存関係 | 循環依存がない（DAG である） |
| 粒度 | 全タスクが推定2時間以内 |
| フォーマット | 全タスクが TASK-XXX-NNN 形式に準拠 |
タスク分解レビュー
タスク分解文書もレビュー対象とする：
traceability-auditor で REQ↔DES↔TASK のカバレッジを検証- 依存関係グラフに循環がないことを確認
- タスク粒度が適切であることを確認
- ユーザー承認 を取得してから Phase 4 へ遷移
使用パッケージ
@musubix2/workflow-engine — TaskBreakdownManager: タスク分解・依存管理@musubix2/codegraph — ASTParser, GraphEngine: 既存コード構造からの依存分析@musubix2/dfg — DataFlowAnalyzer: データフロー依存の抽出
ニューロシンボリック統合
SDD ワークフローの各フェーズでニューロシンボリック機能を活用する。
ニューラル側（学習・検索・パターン認識）
| パッケージ | 主要クラス | 機能 / SDD での利用場面 |
|---|
neural-search | TfIdfEmbeddingModel, NeuralSearchEngine | TF-IDF 埋込み + コサイン類似度検索 — 類似要件検索、既存設計の参照、コード重複検出 |
wake-sleep | WakePhase, SleepPhase, CycleManager | N-gram + PMI 統計パターン抽出 — コードパターンの自動学習、設計パターン発見 |
library-learner | EGraphEngine, LibraryLearner | E-graph 等価クラス + 構造類似性マージ — ライブラリ抽象化の発見、リファクタリング候補 |
deep-research | ResearchEngine, DepthFirstStrategy, BreadthFirstStrategy | 反復リサーチ + 証拠チェーン — 技術調査、ベストプラクティス収集 |
シンボリック側（論理・検証・推論）
| パッケージ | 主要クラス | 機能 / SDD での利用場面 |
|---|
formal-verify | EarsToSmtConverter, Z3Adapter, PreconditionVerifier | EARS → SMT-LIB2 変換 + Z3 検証 — 要件の形式的一貫性検証、矛盾検出 |
lean | LeanProofRunner, EarsToLeanConverter, HybridVerifier | Lean 4 定理変換 + 証明実行 — 安全性要件の定理証明、ハイブリッド検証 |
codegraph | ASTParser, MultiLanguageParser, GraphEngine, GraphRAGSearch | 多言語 AST 解析（6言語）+ GraphRAG — コード構造分析、影響範囲分析 |
dfg | DataFlowAnalyzer | DFG/CFG 構築 + 到達定義 — データフロー分析、セキュリティ汚染解析 |
ontology-mcp | N3Store, RuleEngine, ConsistencyValidator | N3 トリプルストア + 推論 — ドメインモデル推論、制約検証 |
knowledge | FileKnowledgeStore | エンティティ関係グラフ — プロジェクト知識管理、関係探索 |
git-knowledge | GitLogParser, GitKnowledgeBuilder | Git log/blame + 共変更分析 — Git 履歴からの知識自動抽出 |
統合・制御側（合成・変換・ワークフロー）
| パッケージ | 主要クラス | 機能 / SDD での利用場面 |
|---|
synthesis | DSLBuilder, SynthesisEngine, VersionSpaceManager | DSL ビルダー（16変換）— コード変換自動化、例示プログラミング |
security | SecurityScanner, TaintAnalyzer | 脆弱性スキャン、汚染解析 |
decisions | DecisionManager | ADR 記録・管理 |
assistant-axis | DomainClassifier, DriftAnalyzer | ドメイン分類・ドリフト分析 |
pattern-mcp | — | AST パターン抽出 — パターンカタログ管理 |
sdd-ontology | — | SDD ドメイン概念 + Turtle 定義 — ワークフロー意味モデル |
workflow-engine | PhaseController, StateTracker, TaskBreakdownManager | Phase 遷移制御・タスク分解 |
agent-orchestrator | SubagentDispatcher, ReviewOrchestrator | サブエージェント振り分け・交互レビュー |
policy | PolicyEngine, QualityGateRunner | 憲法検証・品質ゲート実行 |
mcp-server | MCPServer, MCPToolRegistry, StdioTransport, SSETransport | MCP プロトコルでのツール提供 |
skill-manager | SkillRegistry, SkillManager, SkillExecutor | スキル登録・実行 |
Phase 別ニューロシンボリック活用マップ
Phase 1 (Requirements)
├── RequirementsInterviewer: 情報不足時の1問1答ヒアリング
├── RequirementsDocGenerator: 収集情報から EARS 要件定義書生成
├── neural-search: 類似要件検索
├── formal-verify: EARS 形式検証 (SMT)
├── knowledge: 要件間関係グラフ
└── deep-research: 技術調査・ベストプラクティス
Phase 2 (Design)
├── codegraph: 既存コード構造分析 (MultiLanguageParser)
├── git-knowledge: Git 履歴からの共変更・エキスパート分析
├── ontology-mcp: ドメインモデル推論
├── neural-search: 類似設計パターン検索
└── decisions: ADR 記録
Phase 3 (Task Breakdown)
├── dfg: データフロー依存分析
├── library-learner: 再利用可能パターン発見
└── synthesis: タスク変換ルール生成
Phase 4 (Implementation)
├── codegraph: AST 解析 + 影響範囲分析 (MultiLanguageParser)
├── git-knowledge: 共変更ファイル検出、著者エキスパート特定
├── wake-sleep: コードパターン学習
├── synthesis: コード変換自動化
├── security: 脆弱性スキャン
└── lean: 安全性証明（オプション）
Phase 5 (Complete)
├── formal-verify: 最終一貫性検証
├── lean: ハイブリッド検証
├── knowledge: プロジェクト知識更新
├── git-knowledge: 最終 Git 知識グラフ構築
└── wake-sleep: 学習パターン統合
レビューオーケストレーション
SDD 成果物の品質保証には review-orchestrator スキルを使用する。
詳細は skills/review-orchestrator/SKILL.md を参照。
プロセス
- 各フェーズの成果物が完成したら
review-orchestrator を起動
- opus-4.6 と gpt-5.4 が交互にレビュー（エラー 0 まで）
- 両モデルの最終合意チェック（両方 PASS 必須）
- 全アーティファクト承認後に実装フェーズへ遷移可能
ルーティング
| トリガー | スキル |
|---|
| レビュー / review / 品質検証 | review-orchestrator |
| 合意チェック / consensus | review-orchestrator |
| 実装許可 / proceed to implementation | review-orchestrator |
MCP サーバー統合
クライアント（Claude Code / Copilot / Cursor）は stdio（StdioTransport）または
HTTP/SSE（SSETransport）経由で MCPServer に接続する。
レジストリは 3 種: MCPToolRegistry（61 tools）、PromptRegistry（4 prompts）、ResourceRegistry（3 resources）。
ツールカテゴリ（13カテゴリ / 61ツール）
| カテゴリ | ツール数 | 代表的なツール |
|---|
| sdd-core | 12 | sdd.requirements.create, sdd.requirements.interview.*, sdd.codegen.generate |
| knowledge | 7 | knowledge.entity.get, knowledge.search, knowledge.traverse |
| policy | 3 | policy.validate, policy.gate.run |
| ontology | 5 | ontology.triple.add, ontology.sparql.query |
| code-analysis | 4 | code.parse, code.graph.build, code.dfg.analyze |
| security | 4 | security.scan, security.secrets.detect, security.taint.analyze |
| research | 3 | research.query, research.iterative, research.evidence |
| neural | 5 | neural.search, neural.embed, neural.patterns.extract |
| synthesis | 3 | synthesis.dsl.build, synthesis.synthesize |
| formal-verify | 5 | verify.z3.solve, verify.lean.run, verify.hybrid |
| workflow | 4 | workflow.phase.current, workflow.gate.check |
| decisions | 3 | decisions.create, decisions.list, decisions.search |
| skills | 3 | skills.list, skills.register, skills.execute |
プロンプトテンプレート
| 名前 | 用途 |
|---|
sdd-requirements-template | EARS 形式要件テンプレート |
sdd-design-template | 設計文書テンプレート |
sdd-review-checklist | レビューチェックリスト |
sdd-task-breakdown-template | タスク分解テンプレート |
リソース
| URI | 内容 |
|---|
musubix://constitution | 憲法条項一覧 |
musubix://ears-patterns | EARS パターンリファレンス |
musubix://workflow-phases | SDD ワークフローフェーズ定義 |
CLI コマンドマッピング
| CLI コマンド | パッケージ | 説明 |
|---|
musubix init | musubi | プロジェクト初期化 |
musubix tasks | workflow-engine | タスク管理 (validate/list/stats) |
musubix req | core | 要件管理 (analyze/validate) |
musubix req:wizard | core | 要件作成ウィザード |
musubix req:interview | core | 1問1答ヒアリング → 要件定義書生成 |
musubix design | core | 設計生成 |
musubix design:c4 | core | C4 ダイアグラム生成 |
musubix design:verify | core | 設計検証 |
musubix codegen | core | コード生成 |
musubix test:gen | core | テスト生成 |
musubix trace | core | トレーサビリティ検証 |
musubix trace:verify | core | トレーサビリティ詳細検証 |
musubix policy | policy | ポリシー検証 |
musubix ontology | ontology-mcp | オントロジー管理 |
musubix cg | codegraph | コードグラフ解析 |
musubix security | security | セキュリティスキャン |
musubix workflow | workflow-engine | ワークフロー管理 |
musubix status | workflow-engine | ステータス表示 |
musubix skills | skill-manager | スキル管理 (list/validate/create) |
musubix knowledge | knowledge | 知識グラフ操作 (get/put/search/traverse/stats) |
musubix decision | decisions | ADR 管理 (create/list/accept/deprecate/search) |
musubix deep-research | deep-research | リサーチ (query/iterative/evidence) |
musubix repl | core | 対話型 REPL |
musubix scaffold | core | プロジェクトスキャフォールド |
musubix explain | core | コード説明 |
musubix learn | library-learner | ライブラリパターン学習 |
musubix synthesis | synthesis | プログラム合成 (dsl/fromExamples) |
musubix watch | core | ファイル監視・自動再検証 |
禁止事項
- Phase をスキップしてはならない
- 承認なしで次 Phase に遷移してはならない
- テストなしでコードをコミットしてはならない
- EARS 形式に従わない要件を承認してはならない
- steering/ の参照をスキップしてはならない
- 形式検証をスキップして Phase 4→5 に遷移してはならない
緊急度トリアージ
| 緊急度 | 対応 |
|---|
| 🔴 Critical | constitution-enforcer 違反 → 即時修正、Phase 進行ブロック |
| 🔴 Critical | formal-verify 矛盾検出 → 要件修正まで Phase 進行ブロック |
| 🟡 Major | テストカバレッジ不足 → test-engineer で補完後に進行 |
| 🟡 Major | セキュリティ脆弱性検出 → security で修正後に進行 |
| 🟢 Minor | ドキュメント不備 → 次回レビューで対応可 |
スクリプト
| スクリプト | 説明 | 使い方 |
|---|
scripts/status.sh | プロジェクトステータス表示 | ./scripts/status.sh |
scripts/workflow.sh | ワークフロー管理 | ./scripts/workflow.sh [args] |
scripts/knowledge.sh | ナレッジグラフ操作 | ./scripts/knowledge.sh [args] |
scripts/research.sh | ディープリサーチ | ./scripts/research.sh [args] |
scripts/security.sh | セキュリティスキャン | ./scripts/security.sh [args] |
scripts/skills.sh | スキル管理 | ./scripts/skills.sh [args] |
scripts/learn.sh | ライブラリ学習 | ./scripts/learn.sh [args] |
scripts/watch.sh | ファイルウォッチャー | ./scripts/watch.sh [args] |
scripts/repl.sh | インタラクティブ REPL | ./scripts/repl.sh |
