musubix2 0.3.8 → 0.4.1

package/.claude/skills/orchestrator/SKILL.md

@@ -0,0 +1,565 @@
+---
+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) 承認後、実装に入る前にタスク分解を実施する。
+
+### タスク分解フォーマット
+
+各タスクは以下の形式で記述する：
+
+```markdown
+### 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` | 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` を参照。
+
+### プロセス
+
+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 ──→ 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` |

package/.claude/skills/orchestrator/scripts/knowledge.sh

@@ -0,0 +1,4 @@
+#!/bin/bash
+# Knowledge graph operations
+set -e
+npx musubix knowledge "$@"

package/.claude/skills/orchestrator/scripts/learn.sh

@@ -0,0 +1,4 @@
+#!/bin/bash
+# Library learning
+set -e
+npx musubix learn "$@"

package/.claude/skills/orchestrator/scripts/repl.sh

@@ -0,0 +1,4 @@
+#!/bin/bash
+# Interactive REPL
+set -e
+npx musubix repl

package/.claude/skills/orchestrator/scripts/research.sh

@@ -0,0 +1,4 @@
+#!/bin/bash
+# Deep research
+set -e
+npx musubix deep-research "$@"

package/.claude/skills/orchestrator/scripts/security.sh

@@ -0,0 +1,4 @@
+#!/bin/bash
+# Security scan
+set -e
+npx musubix security "$@"

package/.claude/skills/orchestrator/scripts/skills.sh

@@ -0,0 +1,4 @@
+#!/bin/bash
+# Skill management
+set -e
+npx musubix skills "$@"

package/.claude/skills/orchestrator/scripts/status.sh

@@ -0,0 +1,4 @@
+#!/bin/bash
+# Show project status
+set -e
+npx musubix status

package/.claude/skills/orchestrator/scripts/watch.sh

@@ -0,0 +1,4 @@
+#!/bin/bash
+# File watcher
+set -e
+npx musubix watch "$@"

package/.claude/skills/orchestrator/scripts/workflow.sh

@@ -0,0 +1,4 @@
+#!/bin/bash
+# Manage workflow
+set -e
+npx musubix workflow "$@"