| 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.0 |
| 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 |
| MCP プロンプト・リソースを取得する | → @musubix2/mcp-server |
| 多言語 AST 解析する(Python/Java/Go/Rust 等) | → @musubix2/codegraph (MultiLanguageParser) |
| SDD ワークフロー全体を実行する | → orchestrator(Phase 遷移ルール参照) |
タスク分類ツリー
ユーザー入力
├── 仕様関連?
│ ├── 要件? → requirements-analyst
│ ├── 要件ヒアリング(情報不足)? → requirements-analyst (1問1答 Interview)
│ └── 設計? → design-generator
├── 実装関連?
│ ├── コード生成? → code-generator
│ ├── テスト? → test-engineer
│ └── プログラム合成? → @musubix2/synthesis
├── 品質関連?
│ ├── トレーサビリティ? → traceability-auditor
│ ├── ポリシー? → constitution-enforcer
│ ├── レビュー / 合意チェック? → review-orchestrator
│ ├── 形式検証 (SMT/Z3)? → @musubix2/formal-verify
│ └── 定理証明 (Lean 4)? → @musubix2/lean
├── 分析関連?
│ ├── AST / コードグラフ? → @musubix2/codegraph
│ ├── データフロー / CFG? → @musubix2/dfg
│ ├── セキュリティ? → @musubix2/security
│ └── ドメイン分類? → @musubix2/assistant-axis
├── 知識関連?
│ ├── 知識グラフ? → @musubix2/knowledge
│ ├── Git 履歴知識抽出? → @musubix2/git-knowledge
│ ├── オントロジー / 推論? → @musubix2/ontology-mcp
│ ├── リサーチ / 調査? → @musubix2/deep-research
│ └── ADR / 決定記録? → @musubix2/decisions
├── 学習関連?
│ ├── ニューラル検索? → @musubix2/neural-search
│ ├── パターン学習? → @musubix2/library-learner
│ └── Wake-Sleep サイクル? → @musubix2/wake-sleep
├── MCP 関連?
│ ├── ツール呼出・一覧? → @musubix2/mcp-server (MCPToolRegistry)
│ ├── プロンプトテンプレート? → @musubix2/mcp-server (PromptRegistry)
│ └── リソース取得? → @musubix2/mcp-server (ResourceRegistry)
└── ワークフロー? → 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 | TF-IDF 埋込み + コサイン類似度検索 | 類似要件検索、既存設計の参照、コード重複検出 |
wake-sleep | N-gram + PMI 統計パターン抽出、Jaccard クラスタリング | コードパターンの自動学習、設計パターン発見 |
library-learner | E-graph 等価クラス + 構造類似性マージ | ライブラリ抽象化の発見、リファクタリング候補 |
deep-research | 反復リサーチ + 証拠チェーン + 戦略ベース探索 | 技術調査、ベストプラクティス収集 |
シンボリック側(論理・検証・推論)
| パッケージ | 機能 | SDD での利用場面 |
|---|
formal-verify | EARS → SMT-LIB2 変換、Z3 サブプロセス検証 | 要件の形式的一貫性検証、矛盾検出 |
lean | Lean 4 定理変換 + 証明実行 | 安全性要件の定理証明、ハイブリッド検証 |
codegraph | TS Compiler API + MultiLanguageParser (6言語) + GraphRAG | 多言語コード構造分析、影響範囲分析 |
dfg | DFG/CFG 構築 + 到達定義 + 使用連鎖 | データフロー分析、セキュリティ汚染解析 |
ontology-mcp | N3 トリプルストア + ルールエンジン + 一貫性検証 | ドメインモデル推論、制約検証 |
knowledge | エンティティ関係グラフ + サブグラフ抽出 | プロジェクト知識管理、関係探索 |
git-knowledge | Git log/blame パーサー + 共変更分析 + 著者エキスパート | Git 履歴からの知識自動抽出 |
統合側(合成・変換)
| パッケージ | 機能 | SDD での利用場面 |
|---|
synthesis | DSL ビルダー(16変換)+ 合成戦略 + バージョンスペース | コード変換自動化、例示プログラミング |
pattern-mcp | AST パターン抽出 + MCP ツール | パターンカタログ管理 |
sdd-ontology | SDD ドメイン概念 + Turtle 定義 | SDD ワークフロー意味モデル |
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 ──→ MCPServer
└── HTTP ──→ SSETransport ──→ MCPServer
│
┌──────────────────┤
│ │ │
MCPToolRegistry PromptRegistry ResourceRegistry
(61 tools) (4 prompts) (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 ワークフローフェーズ定義 |
JSON-RPC メソッド
| メソッド | 説明 |
|---|
initialize | サーバー情報・ケイパビリティ返却 |
tools/list | 全ツール一覧 |
tools/call | ツール実行 |
prompts/list | プロンプト一覧 |
prompts/get | プロンプト取得・実行 |
resources/list | リソース一覧 |
resources/read | リソース読取 |
ping | ヘルスチェック |
CLI コマンドマッピング
| CLI コマンド | パッケージ | 説明 |
|---|
musubix init | musubi | プロジェクト初期化 |
musubix tasks | workflow-engine | タスク管理 (validate/list/stats) |
musubix req | core | 要件管理 (create/list/validate/trace) |
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 | ファイル監視・自動再検証 |
スキルパッケージング
npm publish 時に .github/skills/ と .github/copilot-instructions.md を自動同梱する。
prepublishOnly: scripts/copy-github-assets.mjs が src/.github/ からパッケージ内にコピー
postpublish: scripts/clean-github-assets.mjs がコピーを削除
.gitignore でコピー先を除外(コミット防止)
同梱されるスキル(12種)
| スキル | 説明 |
|---|
code-generator | コード生成 |
constitution-enforcer | 憲法準拠検証 |
description-optimizer | 記述最適化 |
design-generator | 設計生成 |
gotchas-curator | 注意点キュレーション |
harness-auditor | ハーネス監査 |
orchestrator | オーケストレーション (本ファイル) |
orchestrator-designer | オーケストレーター設計 |
purpose-discovery | 目的発見 |
requirements-analyst | 要件分析 |
skill-scaffolder | スキルスキャフォールド |
test-engineer | テスト設計 |
禁止事項
- Phase をスキップしてはならない
- 承認なしで次 Phase に遷移してはならない
- テストなしでコードをコミットしてはならない
- EARS 形式に従わない要件を承認してはならない
- steering/ の参照をスキップしてはならない
- 形式検証をスキップして Phase 4→5 に遷移してはならない
緊急度トリアージ
| 緊急度 | 対応 |
|---|
| 🔴 Critical | constitution-enforcer 違反 → 即時修正、Phase 進行ブロック |
| 🔴 Critical | formal-verify 矛盾検出 → 要件修正まで Phase 進行ブロック |
| 🟡 Major | テストカバレッジ不足 → test-engineer で補完後に進行 |
| 🟡 Major | セキュリティ脆弱性検出 → security で修正後に進行 |
| 🟢 Minor | ドキュメント不備 → 次回レビューで対応可 |
使用パッケージ
コア制御
@musubix2/workflow-engine — PhaseController, StateTracker, TaskBreakdownManager
@musubix2/agent-orchestrator — SubagentDispatcher, ReviewOrchestrator
@musubix2/policy — PolicyEngine, QualityGateRunner
@musubix2/mcp-server — MCPServer, MCPToolRegistry, StdioTransport, SSETransport
ニューラル
@musubix2/neural-search — TfIdfEmbeddingModel, NeuralSearchEngine
@musubix2/wake-sleep — WakePhase, SleepPhase, CycleManager
@musubix2/library-learner — EGraphEngine, LibraryLearner
@musubix2/deep-research — ResearchEngine, DepthFirstStrategy, BreadthFirstStrategy
シンボリック
@musubix2/formal-verify — EarsToSmtConverter, Z3Adapter, PreconditionVerifier
@musubix2/lean — LeanProofRunner, EarsToLeanConverter, HybridVerifier
@musubix2/codegraph — ASTParser, MultiLanguageParser, GraphEngine, GraphRAGSearch
@musubix2/dfg — DataFlowAnalyzer
@musubix2/ontology-mcp — N3Store, RuleEngine, ConsistencyValidator
@musubix2/knowledge — FileKnowledgeStore
@musubix2/git-knowledge — GitLogParser, GitKnowledgeBuilder
統合
@musubix2/synthesis — DSLBuilder, SynthesisEngine, VersionSpaceManager
@musubix2/security — SecurityScanner, TaintAnalyzer
@musubix2/decisions — DecisionManager
@musubix2/assistant-axis — DomainClassifier, DriftAnalyzer
@musubix2/skill-manager — SkillRegistry, SkillManager, SkillExecutor
スクリプト
| スクリプト | 説明 | 使い方 |
|---|
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 |