musubix 1.7.0 → 1.8.0

package/docs/overview/MUSUBIX-Overview.md

@@ -0,0 +1,264 @@
+# MUSUBIX - Neuro-Symbolic AI Integration System
+
+**バージョン**: 1.7.5 (Formal Verification Edition)  
+**最終更新**: 2026-01-06
+
+---
+
+## 1. 概要
+
+**MUSUBIX**（ムスビックス）は、**Neural（LLM/大規模言語モデル）** と **Symbolic（Knowledge Graph/知識グラフ）** 推論を統合した次世代AIコーディング支援システムです。
+
+MUSUBI SDD（Specification-Driven Development）方法論とYATA知識グラフ推論エンジンを組み合わせ、高品質なソフトウェア開発を実現します。
+
+### 1.1 主要な特徴
+
+| 特徴 | 説明 |
+|------|------|
+| **Neuro-Symbolic統合** | LLMの創造性とシンボリック推論の精密性を融合 |
+| **EARS形式要件** | 5パターンの形式的要件記述（Easy Approach to Requirements Syntax） |
+| **9条憲法** | 開発プロセスを統治する9つの不変ルール |
+| **完全トレーサビリティ** | 要件→設計→コード→テストの100%追跡 |
+| **形式検証** | Z3 SMTソルバによる数学的正確性の検証 |
+| **自己学習** | フィードバックに基づくパターン学習と適応 |
+| **知識グラフ** | SQLiteベースのローカル知識グラフとグローバル共有 |
+
+### 1.2 システム要件
+
+| 項目 | 要件 |
+|------|------|
+| **ランタイム** | Node.js >= 20.0.0 |
+| **パッケージマネージャ** | npm >= 10.0.0 |
+| **言語** | TypeScript 5.x |
+| **ビルドシステム** | npm workspaces（モノレポ） |
+| **テストフレームワーク** | Vitest |
+
+---
+
+## 2. アーキテクチャ
+
+### 2.1 パッケージ構成
+
+```
+packages/
+├── core/           # @nahisaho/musubix-core
+├── mcp-server/     # @nahisaho/musubix-mcp-server  
+├── formal-verify/  # @nahisaho/musubix-formal-verify
+├── yata-client/    # @nahisaho/musubix-yata-client
+├── yata-local/     # @nahisaho/yata-local
+├── yata-global/    # @nahisaho/yata-global
+├── yata-ui/        # @nahisaho/yata-ui
+├── pattern-mcp/    # @nahisaho/musubix-pattern-mcp
+├── ontology-mcp/   # @nahisaho/musubix-ontology-mcp
+├── wake-sleep/     # @nahisaho/musubix-wake-sleep
+└── sdd-ontology/   # @nahisaho/musubix-sdd-ontology
+```
+
+### 2.2 パッケージ一覧
+
+| パッケージ | npm | 役割 |
+|-----------|-----|------|
+| **core** | `@nahisaho/musubix-core` | コアライブラリ - CLI、EARS検証、コード生成、設計パターン |
+| **mcp-server** | `@nahisaho/musubix-mcp-server` | MCPサーバー - AIエージェント連携 |
+| **formal-verify** | `@nahisaho/musubix-formal-verify` | 形式検証 - Z3統合、Hoare検証 |
+| **yata-client** | `@nahisaho/musubix-yata-client` | YATAクライアント - 知識グラフAPI |
+| **yata-local** | `@nahisaho/yata-local` | ローカル知識グラフ - SQLiteベース |
+| **yata-global** | `@nahisaho/yata-global` | グローバル知識グラフ - 分散共有 |
+| **yata-ui** | `@nahisaho/yata-ui` | Web UI - 可視化・管理 |
+| **pattern-mcp** | `@nahisaho/musubix-pattern-mcp` | パターン学習 - 抽出・圧縮 |
+| **ontology-mcp** | `@nahisaho/musubix-ontology-mcp` | オントロジー - N3Store・推論 |
+| **wake-sleep** | `@nahisaho/musubix-wake-sleep` | Wake-Sleep学習サイクル |
+| **sdd-ontology** | `@nahisaho/musubix-sdd-ontology` | SDD方法論オントロジー |
+
+### 2.3 依存関係図
+
+```
+┌─────────────────────────────────────────────────────────────┐
+│                    MCP Server                               │
+│  ┌─────────────────────────────────────────────────────┐    │
+│  │ Claude Code / GitHub Copilot / Cursor / Gemini CLI  │    │
+│  └─────────────────────────────────────────────────────┘    │
+└──────────────────────┬──────────────────────────────────────┘
+                       │
+┌──────────────────────▼──────────────────────────────────────┐
+│                    MUSUBIX Core                             │
+│  ┌─────────┐ ┌─────────┐ ┌─────────┐ ┌─────────────────┐    │
+│  │Symbolic │ │ CodeGen │ │ Design  │ │   Traceability  │    │
+│  └────┬────┘ └────┬────┘ └────┬────┘ └────────┬────────┘    │
+│       │           │           │               │             │
+│  ┌────▼───────────▼───────────▼───────────────▼──────────┐  │
+│  │              Learning System                          │  │
+│  └───────────────────────────┬───────────────────────────┘  │
+└──────────────────────────────┼──────────────────────────────┘
+                               │
+┌──────────────────────────────▼──────────────────────────────┐
+│                    YATA Knowledge Graph                     │
+│  ┌─────────────┐    ┌──────────────┐    ┌─────────────┐     │
+│  │ YATA Local  │◄──►│ YATA Global  │◄──►│   YATA UI   │     │
+│  │  (SQLite)   │    │ (Distributed)│    │   (Web)     │     │
+│  └─────────────┘    └──────────────┘    └─────────────┘     │
+└─────────────────────────────────────────────────────────────┘
+```
+
+---
+
+## 3. 9条憲法（Constitutional Articles）
+
+MUSUBIXのすべての開発活動を統治する不変のルールです。
+
+| 条項 | 名称 | 概要 |
+|------|------|------|
+| **I** | Library-First | 機能は独立ライブラリとして開始 |
+| **II** | CLI Interface | すべてのライブラリはCLI公開必須 |
+| **III** | Test-First | Red-Green-Blueサイクルでテスト先行 |
+| **IV** | EARS Format | 要件はEARS形式で記述 |
+| **V** | Traceability | 要件↔設計↔コード↔テストの100%追跡 |
+| **VI** | Project Memory | steering/を参照してから決定 |
+| **VII** | Design Patterns | 設計パターン適用の文書化 |
+| **VIII** | Decision Records | すべての決定をADRで記録 |
+| **IX** | Quality Gates | フェーズ移行前の品質検証 |
+
+---
+
+## 4. EARS要件形式
+
+5つのEARSパターンで要件を形式化します。
+
+| パターン | 構文 | 用途 |
+|---------|------|------|
+| **Ubiquitous** | `THE [system] SHALL [requirement]` | システムが常に満たすべき要件 |
+| **Event-driven** | `WHEN [event], THE [system] SHALL [response]` | 特定イベント発生時の要件 |
+| **State-driven** | `WHILE [state], THE [system] SHALL [response]` | 特定状態における要件 |
+| **Unwanted** | `THE [system] SHALL NOT [behavior]` | 回避すべき動作の要件 |
+| **Optional** | `IF [condition], THEN THE [system] SHALL [response]` | 条件付き要件 |
+
+### 例
+
+```
+# Ubiquitous（常時）
+THE system SHALL encrypt all user data at rest.
+
+# Event-driven（イベント駆動）
+WHEN a user submits a login form, THE system SHALL validate credentials within 2 seconds.
+
+# State-driven（状態駆動）
+WHILE the system is in maintenance mode, THE system SHALL reject all API requests.
+
+# Unwanted（禁止）
+THE system SHALL NOT store passwords in plain text.
+
+# Optional（条件付き）
+IF the user has admin privileges, THEN THE system SHALL display the admin dashboard.
+```
+
+---
+
+## 5. Neuro-Symbolic統合
+
+### 5.1 統合アーキテクチャ
+
+MUSUBIXは、LLM（Neural）の創造性とシンボリック推論の精密性を組み合わせます。
+
+```
+┌─────────────────────────────────────────────────────────────┐
+│                    User Request                             │
+└──────────────────────┬──────────────────────────────────────┘
+                       │
+┌──────────────────────▼──────────────────────────────────────┐
+│                  Neural (LLM)                               │
+│  • コード生成                                                │
+│  • 自然言語理解                                              │
+│  • 創造的問題解決                                            │
+└──────────────────────┬──────────────────────────────────────┘
+                       │
+┌──────────────────────▼──────────────────────────────────────┐
+│              Symbolic Verification                          │
+│  • 知識グラフ検証                                            │
+│  • 憲法準拠チェック                                          │
+│  • ハルシネーション検出                                      │
+│  • 形式検証（Z3）                                            │
+└──────────────────────┬──────────────────────────────────────┘
+                       │
+┌──────────────────────▼──────────────────────────────────────┐
+│               Confidence Router                             │
+│  ┌─────────────────────────────────────────────────────┐    │
+│  │ Symbolic結果    Neural信頼度    最終決定              │    │
+│  │ ─────────────  ─────────────  ─────────────         │    │
+│  │ invalid        -              Neural結果を棄却       │    │
+│  │ valid          ≥0.8           Neural結果を採用       │    │
+│  │ valid          <0.8           Symbolic結果を優先     │    │
+│  └─────────────────────────────────────────────────────┘    │
+└─────────────────────────────────────────────────────────────┘
+```
+
+### 5.2 信頼度評価
+
+| シンボリック結果 | ニューラル信頼度 | 最終決定 |
+|-----------------|-----------------|---------|
+| `invalid` | - | ニューラル結果を**棄却** |
+| `valid` | ≥0.8 | ニューラル結果を**採用** |
+| `valid` | <0.8 | シンボリック結果を**優先** |
+
+---
+
+## 6. クイックスタート
+
+### 6.1 インストール
+
+```bash
+# グローバルインストール
+npm install -g @nahisaho/musubix-core
+
+# プロジェクトにインストール
+npm install @nahisaho/musubix-core
+```
+
+### 6.2 プロジェクト初期化
+
+```bash
+npx musubix init my-project
+cd my-project
+```
+
+### 6.3 基本的なワークフロー
+
+```bash
+# 1. 要件をEARS形式で定義
+npx musubix requirements analyze requirements.md
+
+# 2. 設計を生成
+npx musubix design generate requirements.md
+
+# 3. コードを生成
+npx musubix codegen generate design.md
+
+# 4. テストを生成
+npx musubix test generate src/
+
+# 5. トレーサビリティを検証
+npx musubix trace validate
+```
+
+---
+
+## 7. 関連ドキュメント
+
+| ドキュメント | 説明 |
+|-------------|------|
+| [MUSUBIX-Core.md](MUSUBIX-Core.md) | Coreパッケージ詳細 |
+| [MUSUBIX-FormalVerify.md](MUSUBIX-FormalVerify.md) | 形式検証パッケージ |
+| [MUSUBIX-MCP-Server.md](MUSUBIX-MCP-Server.md) | MCPサーバー |
+| [MUSUBIX-YATA.md](MUSUBIX-YATA.md) | YATA知識グラフ |
+| [MUSUBIX-Learning.md](MUSUBIX-Learning.md) | 学習システム |
+| [USER-GUIDE.md](USER-GUIDE.md) | ユーザーガイド |
+| [API-REFERENCE.md](API-REFERENCE.md) | APIリファレンス |
+
+---
+
+## 8. ライセンス
+
+MIT License
+
+---
+
+**© 2026 MUSUBIX Project**

package/docs/overview/MUSUBIX-Roadmap-v2.md

@@ -0,0 +1,399 @@
+# MUSUBIX 次世代ロードマップ v2.x
+
+**作成日**: 2026-01-06  
+**現行バージョン**: 1.7.5 (Formal Verification Edition)  
+**基準文書**: Neuro-SymbolicAI.md vs MUSUBIX実装比較
+
+---
+
+## 1. 現状分析：MUSUBIXと先行事例の比較
+
+### 1.1 統合パターン分析
+
+Neuro-SymbolicAI.mdで識別された6つの統合パターンとMUSUBIXの対応状況：
+
+| 統合パターン | 先行事例 | MUSUBIX対応 | 成熟度 |
+|-------------|---------|------------|-------|
+| **Neural as Search Guidance** | DeepCoder, DreamCoder | ❌ 未実装 | - |
+| **Neural Generator + Symbolic Filter** | AlphaCode, Snyk DeepCode | ✅ 実装済み（Confidence Router） | 70% |
+| **Symbolic Context Augmentation** | JetBrains AI, GraphCodeBERT | ⚠️ 部分実装（YATA KG） | 50% |
+| **Interleaved Wake-Sleep** | DreamCoder, GPT-f | ✅ 実装済み（wake-sleep pkg） | 60% |
+| **Formal Proof in the Loop** | AutoVerus, LeanDojo | ✅ 実装済み（formal-verify） | 80% |
+| **Differentiable Symbolic** | IBM LNN, ∂ILP | ❌ 未実装 | - |
+
+### 1.2 機能別ギャップ分析
+
+| 機能領域 | 先行事例のベスト | MUSUBIX現状 | ギャップ |
+|---------|----------------|------------|---------|
+| **形式検証** | AlphaProof (IMO銀メダル) | Z3 SMT統合 | 定理証明システム未連携 |
+| **知識グラフ** | GraphGen4Code (20億トリプル) | YATA Local/Global | スケール、DFG統合なし |
+| **プログラム合成** | PROSE (Excel搭載) | コード生成のみ | DSL合成・ライブラリ学習なし |
+| **コード理解** | GraphCodeBERT (DFG統合) | AST解析のみ | データフローグラフ未対応 |
+| **パターン学習** | DreamCoder (10^72探索削減) | Wake-Sleep基本実装 | 階層的ライブラリ学習なし |
+| **静的解析** | JetBrains PSI (20年蓄積) | 基本的な検証 | 深い型・依存関係分析なし |
+
+### 1.3 商用化レベル比較
+
+| 製品 | 記号統合度 | MUSUBIX比較 |
+|-----|----------|------------|
+| JetBrains AI Assistant | ★★★★★ | PSI統合に相当する機能なし |
+| Microsoft PROSE | ★★★★★ | 演繹的合成なし |
+| Sourcegraph Cody | ★★★★☆ | コードグラフ規模で劣る |
+| GitHub Copilot | ★★☆☆☆ | 同等〜やや上（憲法検証） |
+| Snyk DeepCode AI | ★★★★☆ | セキュリティ特化機能なし |
+
+---
+
+## 2. ロードマップ概要
+
+### 2.1 フェーズ構成
+
+```
+┌─────────────────────────────────────────────────────────────┐
+│  Phase 1: Deep Symbolic Integration (v2.0)                  │
+│  2026 Q1-Q2                                                 │
+│  • データフローグラフ統合                                    │
+│  • 定理証明システム連携 (Lean 4)                             │
+│  • 知識グラフスケールアップ                                  │
+└─────────────────────────────────────────────────────────────┘
+                              ↓
+┌─────────────────────────────────────────────────────────────┐
+│  Phase 2: Advanced Learning (v2.5)                          │
+│  2026 Q3-Q4                                                 │
+│  • DreamCoder式ライブラリ学習                                │
+│  • Neural Search Guidance                                    │
+│  • プログラム合成DSL                                         │
+└─────────────────────────────────────────────────────────────┘
+                              ↓
+┌─────────────────────────────────────────────────────────────┐
+│  Phase 3: Enterprise Ready (v3.0)                           │
+│  2027 Q1-Q2                                                 │
+│  • JetBrains/VS Code深い統合                                 │
+│  • セキュリティ特化機能                                      │
+│  • 大規模知識グラフ (1億+トリプル)                           │
+└─────────────────────────────────────────────────────────────┘
+```
+
+---
+
+## 3. Phase 1: Deep Symbolic Integration (v2.0)
+
+**目標**: 記号的分析の深化と形式検証の拡張
+
+### 3.1 データフローグラフ統合
+
+**参考**: GraphCodeBERT、JetBrains PSI
+
+| 機能 | 説明 | 優先度 |
+|------|------|--------|
+| **DFG抽出** | コードからデータフローグラフを抽出 | P0 |
+| **CFG抽出** | 制御フローグラフの抽出 | P0 |
+| **依存関係分析** | 変数・関数間の依存関係マップ | P0 |
+| **YATA DFG連携** | DFGを知識グラフに統合 | P1 |
+| **Transformer注意機構** | DFGをLLMコンテキストとして供給 | P2 |
+
+```typescript
+// 目標API
+import { DataFlowAnalyzer } from '@nahisaho/musubix-core';
+
+const analyzer = new DataFlowAnalyzer();
+const dfg = await analyzer.extractDFG('src/user-service.ts');
+
+// YATAに統合
+await yata.importDFG(dfg, { namespace: 'code:dfg' });
+
+// LLMコンテキストとして供給
+const context = await dfg.toPromptContext();
+```
+
+### 3.2 定理証明システム連携 (Lean 4)
+
+**参考**: LeanDojo/ReProver、AlphaProof
+
+| 機能 | 説明 | 優先度 |
+|------|------|--------|
+| **Lean 4統合** | Lean証明支援系との連携 | P1 |
+| **ReProver統合** | ベストファースト証明探索 | P1 |
+| **EARS→Lean変換** | 要件を形式仕様に変換 | P0 |
+| **証明検索** | 証明候補の自動探索 | P2 |
+| **証明フィードバック** | 検証失敗時の修正提案 | P2 |
+
+```typescript
+// 目標API
+import { LeanIntegration } from '@nahisaho/musubix-formal-verify';
+
+const lean = new LeanIntegration();
+
+// EARS要件をLean定理に変換
+const theorem = await lean.earsToTheorem(requirement);
+
+// 証明探索
+const proof = await lean.proveWithReProver(theorem, {
+  maxDepth: 10,
+  timeout: 30000,
+});
+```
+
+### 3.3 知識グラフスケールアップ
+
+**参考**: GraphGen4Code (20億トリプル)
+
+| 機能 | 説明 | 優先度 |
+|------|------|--------|
+| **分散ストレージ** | PostgreSQL/ScyllaDBバックエンド | P1 |
+| **シャーディング** | 大規模データのパーティショニング | P1 |
+| **キャッシュ層** | Redis/Memcachedによる高速化 | P1 |
+| **ストリーミングインジェスト** | 大量データの効率的取り込み | P2 |
+| **グラフ圧縮** | 重複排除と圧縮アルゴリズム | P2 |
+
+**目標メトリクス**:
+- トリプル数: 1000万+ (現状: 数万)
+- クエリ応答時間: <100ms (p99)
+- 同時接続: 1000+
+
+---
+
+## 4. Phase 2: Advanced Learning (v2.5)
+
+**目標**: 学習システムの高度化とプログラム合成
+
+### 4.1 DreamCoder式ライブラリ学習
+
+**参考**: DreamCoder (10^72探索削減)
+
+| 機能 | 説明 | 優先度 |
+|------|------|--------|
+| **階層的抽象化** | パターンから高次抽象概念を学習 | P0 |
+| **ライブラリ成長** | 学習済みパターンのライブラリ自動拡張 | P0 |
+| **型指向探索** | 型システムによる探索空間削減 | P1 |
+| **E-graph最適化** | 等価性グラフによる表現最適化 | P2 |
+
+```typescript
+// 目標API
+import { LibraryLearner } from '@nahisaho/musubix-wake-sleep';
+
+const learner = new LibraryLearner({
+  abstractionLevels: 3,
+  minOccurrences: 5,
+});
+
+// Wake-Sleep + ライブラリ学習
+await learner.learnFromCorpus(codeCorpus);
+
+// 学習済みライブラリで探索
+const solution = await learner.synthesize(specification, {
+  useLearnedPrimitives: true,
+});
+```
+
+### 4.2 Neural Search Guidance
+
+**参考**: DeepCoder、NGDS
+
+| 機能 | 説明 | 優先度 |
+|------|------|--------|
+| **分岐スコアリング** | ニューラルモデルで探索分岐を評価 | P0 |
+| **探索優先順位付け** | 有望な探索パスを優先 | P0 |
+| **学習ベースプルーニング** | 不毛な探索を早期打ち切り | P1 |
+| **探索履歴学習** | 過去の探索から学習 | P2 |
+
+```typescript
+// 目標API
+import { GuidedSearch } from '@nahisaho/musubix-core';
+
+const search = new GuidedSearch({
+  neuralScorer: embeddingModel,
+  symbolicVerifier: z3Adapter,
+});
+
+// ニューラル誘導探索
+const result = await search.synthesize(spec, {
+  beamWidth: 10,
+  maxDepth: 20,
+});
+```
+
+### 4.3 プログラム合成DSL
+
+**参考**: Microsoft PROSE/FlashMeta
+
+| 機能 | 説明 | 優先度 |
+|------|------|--------|
+| **DSL定義フレームワーク** | ドメイン固有言語の定義 | P0 |
+| **Witness関数** | 演繹的合成のためのWitness関数 | P1 |
+| **例示合成** | 入出力例からの合成 (PBE) | P1 |
+| **合成ルール学習** | 合成ルールの自動学習 | P2 |
+
+```typescript
+// 目標API
+import { DSLFramework, ProgramSynthesizer } from '@nahisaho/musubix-synthesis';
+
+// DSL定義
+const transformDSL = new DSLFramework()
+  .addOperator('map', ['list', 'func'], 'list')
+  .addOperator('filter', ['list', 'pred'], 'list')
+  .addOperator('reduce', ['list', 'func', 'init'], 'any');
+
+// 例示合成
+const synthesizer = new ProgramSynthesizer(transformDSL);
+const program = await synthesizer.synthesizeFromExamples([
+  { input: [1, 2, 3], output: [2, 4, 6] },
+  { input: [5, 10], output: [10, 20] },
+]);
+// => map(x => x * 2)
+```
+
+---
+
+## 5. Phase 3: Enterprise Ready (v3.0)
+
+**目標**: 商用レベルの統合と大規模対応
+
+### 5.1 IDE深い統合
+
+**参考**: JetBrains PSI (20年蓄積)
+
+| 機能 | 説明 | 優先度 |
+|------|------|--------|
+| **VS Code Extension** | Language Server Protocol完全実装 | P0 |
+| **JetBrains Plugin** | IntelliJ IDEA/WebStorm対応 | P1 |
+| **リアルタイム検証** | 編集中の継続的検証 | P0 |
+| **インライン提案** | コンテキスト認識型の提案 | P1 |
+| **リファクタリング支援** | 記号分析に基づくリファクタ | P2 |
+
+### 5.2 セキュリティ特化機能
+
+**参考**: Snyk DeepCode AI、Amazon CodeGuru
+
+| 機能 | 説明 | 優先度 |
+|------|------|--------|
+| **テイント分析** | 汚染データの追跡 | P0 |
+| **脆弱性検出** | CVEデータベース連携 | P0 |
+| **自動修正提案** | LLM生成→記号検証→適用 | P1 |
+| **コンプライアンス検証** | OWASP、CWE準拠チェック | P1 |
+| **セキュアコード生成** | セキュリティ考慮したコード生成 | P2 |
+
+```typescript
+// 目標API
+import { SecurityAnalyzer } from '@nahisaho/musubix-security';
+
+const analyzer = new SecurityAnalyzer({
+  rules: ['owasp-top-10', 'cwe-top-25'],
+  cveDatabase: 'nvd',
+});
+
+const vulnerabilities = await analyzer.scan('src/');
+
+// 自動修正（LLM生成→記号検証）
+for (const vuln of vulnerabilities) {
+  const fix = await analyzer.generateFix(vuln);
+  if (await analyzer.verifyFix(fix)) {
+    await analyzer.applyFix(fix);
+  }
+}
+```
+
+### 5.3 大規模知識グラフ
+
+**目標**: 1億トリプル以上のスケール
+
+| 機能 | 説明 | 優先度 |
+|------|------|--------|
+| **分散推論** | 複数ノードでの推論分散 | P1 |
+| **増分更新** | 差分のみの効率的更新 | P0 |
+| **クエリ最適化** | コストベースオプティマイザ | P1 |
+| **マルチテナント** | 組織別の分離 | P1 |
+
+---
+
+## 6. 新パッケージ計画
+
+### 6.1 Phase 1 新パッケージ
+
+| パッケージ | 役割 |
+|-----------|------|
+| `@nahisaho/musubix-dfg` | データフロー・制御フローグラフ |
+| `@nahisaho/musubix-lean` | Lean 4 / ReProver統合 |
+| `@nahisaho/yata-scale` | 大規模知識グラフバックエンド |
+
+### 6.2 Phase 2 新パッケージ
+
+| パッケージ | 役割 |
+|-----------|------|
+| `@nahisaho/musubix-synthesis` | プログラム合成・DSLフレームワーク |
+| `@nahisaho/musubix-neural-guide` | Neural Search Guidance |
+| `@nahisaho/musubix-library-learner` | 階層的ライブラリ学習 |
+
+### 6.3 Phase 3 新パッケージ
+
+| パッケージ | 役割 |
+|-----------|------|
+| `@nahisaho/musubix-vscode` | VS Code Extension |
+| `@nahisaho/musubix-jetbrains` | JetBrains Plugin |
+| `@nahisaho/musubix-security` | セキュリティ分析・修正 |
+
+---
+
+## 7. 成功指標（KPI）
+
+### 7.1 技術指標
+
+| フェーズ | 指標 | 目標値 |
+|---------|------|--------|
+| **v2.0** | DFG抽出精度 | >95% |
+| **v2.0** | Lean証明成功率 | >60% |
+| **v2.0** | KGトリプル数 | 1000万+ |
+| **v2.5** | ライブラリ学習削減率 | 10^6以上 |
+| **v2.5** | PBE合成成功率 | >80% |
+| **v3.0** | セキュリティ検出率 | >90% |
+| **v3.0** | 偽陽性率 | <5% |
+
+### 7.2 ユーザー指標
+
+| フェーズ | 指標 | 目標値 |
+|---------|------|--------|
+| **v2.0** | npm週間DL数 | 5,000+ |
+| **v2.5** | npm週間DL数 | 20,000+ |
+| **v3.0** | npm週間DL数 | 100,000+ |
+| **v3.0** | GitHub Stars | 5,000+ |
+
+---
+
+## 8. リスクと対策
+
+| リスク | 影響 | 対策 |
+|--------|------|------|
+| Lean 4統合の複雑性 | 遅延 | 段階的統合、コミュニティ協力 |
+| 大規模KGパフォーマンス | 性能低下 | ベンチマーク先行、適切な技術選定 |
+| ライブラリ学習の収束 | 品質問題 | DreamCoder論文の忠実な実装 |
+| セキュリティ偽陽性 | ユーザー離反 | 記号検証による二重チェック |
+| IDE統合の維持コスト | リソース不足 | LSP標準化、プラグイン共通化 |
+
+---
+
+## 9. タイムライン
+
+```
+2026 Q1  │ v2.0-alpha │ DFG抽出、Lean 4基本統合
+2026 Q2  │ v2.0       │ Deep Symbolic Integration リリース
+2026 Q3  │ v2.5-alpha │ ライブラリ学習、Neural Search
+2026 Q4  │ v2.5       │ Advanced Learning リリース
+2027 Q1  │ v3.0-alpha │ IDE統合、セキュリティ機能
+2027 Q2  │ v3.0       │ Enterprise Ready リリース
+```
+
+---
+
+## 10. 関連ドキュメント
+
+| ドキュメント | 説明 |
+|-------------|------|
+| [Neuro-SymbolicAI.md](Neuro-SymbolicAI.md) | 先行事例調査 |
+| [MUSUBIX-Overview.md](MUSUBIX-Overview.md) | 現行システム概要 |
+| [MUSUBIX-FormalVerify.md](MUSUBIX-FormalVerify.md) | 形式検証（拡張対象） |
+| [MUSUBIX-Learning.md](MUSUBIX-Learning.md) | 学習システム（拡張対象） |
+| [MUSUBIX-YATA.md](MUSUBIX-YATA.md) | 知識グラフ（拡張対象） |
+
+---
+
+**© 2026 MUSUBIX Project**