orchestrator

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機能単位: 1つのAPIエンドポイント、1つのUIコンポーネント、1つのミドルウェア等
2. 粒度基準: 1タスクは最大 2時間以内で完了できるサイズ
3. REQ/DES マッピング必須: すべてのタスクは最低1つの REQ と DES にトレース可能
4. テストファースト: 各タスクに Red→Green→Blue サイクルの受入基準を含める
5. 依存関係の明示: 他タスクへの依存がある場合は 依存 フィールドに記載

分解プロセス

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 形式に準拠

タスク分解レビュー

タスク分解文書もレビュー対象とする：

1. traceability-auditor で REQ↔DES↔TASK のカバレッジを検証
2. 依存関係グラフに循環がないことを確認
3. タスク粒度が適切であることを確認
4. ユーザー承認 を取得してから 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 を参照。

プロセス

1. 各フェーズの成果物が完成したら review-orchestrator を起動
2. opus-4.6 と gpt-5.4 が交互にレビュー（エラー 0 まで）
3. 両モデルの最終合意チェック（両方 PASS 必須）
4. 全アーティファクト承認後に実装フェーズへ遷移可能

ルーティング

トリガー	スキル
レビュー / 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