musubix 2.1.1 → 2.2.1

package/AGENTS.md

@@ -8,13 +8,13 @@
 
 | 項目 | 詳細 |
 |------|------|
-| **バージョン** | 2.0.0 (Deep Symbolic + Advanced Learning) |
+| **バージョン** | 2.2.0 (Advanced Learning Enhancement) |
 | **言語** | TypeScript |
 | **ランタイム** | Node.js >= 20.0.0 |
 | **パッケージマネージャ** | npm >= 10.0.0 |
 | **ビルドシステム** | モノレポ（npm workspaces） |
 | **テストフレームワーク** | Vitest |
-| **テスト数** | 1660+ (全合格) |
+| **テスト数** | 2100+ (全合格) |
 | **パッケージ数** | 19 |
 | **Agent Skills** | 12 (Claude Code対応) |
 
@@ -63,9 +63,9 @@ packages/
 | `packages/sdd-ontology/` | `@nahisaho/musubix-sdd-ontology` | SDD方法論オントロジー |
 | `packages/dfg/` | `@nahisaho/musubix-dfg` | **DFG/CFG抽出** - データフロー・制御フロー解析 (v2.0.0 NEW!) |
 | `packages/lean/` | `@nahisaho/musubix-lean` | **Lean 4統合** - 定理証明・EARS変換 (v2.0.0 NEW!) |
-| `packages/library-learner/` | `@nahisaho/musubix-library-learner` | **ライブラリ学習** - APIパターン抽出 (v2.0.0 NEW!) |
-| `packages/neural-search/` | `@nahisaho/musubix-neural-search` | **ニューラル検索** - 意味的コード検索 (v2.0.0 NEW!) |
-| `packages/synthesis/` | `@nahisaho/musubix-synthesis` | **プログラム合成** - ニューラル誘導合成 (v2.0.0 NEW!) |
+| `packages/library-learner/` | `@nahisaho/musubix-library-learner` | **ライブラリ学習** - APIパターン抽出、メトリクスエクスポート (v2.2.0 Enhanced!) |
+| `packages/neural-search/` | `@nahisaho/musubix-neural-search` | **ニューラル検索** - 意味的コード検索、軌跡ロギング (v2.2.0 Enhanced!) |
+| `packages/synthesis/` | `@nahisaho/musubix-synthesis` | **プログラム合成** - ニューラル誘導合成、説明生成 (v2.2.0 Enhanced!) |
 
 ### Core パッケージモジュール
 
@@ -166,6 +166,17 @@ npx musubix scaffold domain-model <name> -e "Entity1,Entity2"  # エンティテ
 npx musubix scaffold domain-model <name> -d DOMAIN  # ドメイン接頭辞指定
 npx musubix scaffold minimal <name>        # 最小構成プロジェクト
 
+# プログラム合成 (v2.2.0 NEW!)
+npx musubix synthesize <examples.json>     # 例からプログラム合成
+npx musubix synthesize pbe <examples.json> # PBE特化合成
+npx musubix syn <examples.json>            # エイリアス
+
+# パターンライブラリ管理 (v2.2.0 NEW!)
+npx musubix library learn <file>           # コードからパターン学習
+npx musubix library query <query>          # パターン検索
+npx musubix library stats                  # 統計表示
+npx musubix lib stats                      # エイリアス
+
 # ヘルプ
 npx musubix --help
 npx musubix help <command>
@@ -182,7 +193,7 @@ npx @nahisaho/musubix-mcp-server
 npx musubix-mcp --transport stdio
 ```
 
-### ツール一覧（24ツール）
+### ツール一覧（29ツール）
 
 #### SDD基本ツール（9ツール）
 
@@ -228,13 +239,25 @@ npx musubix-mcp --transport stdio
 | `kgpr_submit` | KGPR送信（レビュー用） |
 | `kgpr_review` | KGPRレビュー（approve/changes_requested/commented） |
 
-### プロンプト一覧（3プロンプト）
+#### Synthesisツール（5ツール）- v2.2.0 NEW!
+
+| ツール名 | 説明 |
+|---------|------|
+| `synthesis_from_examples` | 例からプログラム合成 |
+| `synthesis_analyze_examples` | 例題品質分析 |
+| `synthesis_learn_patterns` | パターン学習 |
+| `synthesis_query_patterns` | パターン検索 |
+| `synthesis_get_stats` | 統計取得 |
+
+### プロンプト一覧（5プロンプト）
 
 | プロンプト名 | 説明 |
 |-------------|------|
 | `sdd_requirements_analysis` | 機能説明からEARS形式要件を生成 |
 | `sdd_requirements_review` | 要件の完全性・憲法準拠レビュー |
 | `sdd_design_generation` | 要件からC4モデル設計を生成 |
+| `synthesis_guidance` | 合成ガイダンス (v2.2.0 NEW!) |
+| `synthesis_explain_pattern` | パターン説明 (v2.2.0 NEW!) |
 
 ---
 
@@ -388,6 +411,51 @@ Sleep Phase: consolidate() → compress() → optimize()
 - `PatternOntologyBridge`: パターン↔オントロジー相互変換
 - `N3Store`: RDF/OWLベースの知識グラフストレージ
 
+### 7. Advanced Learning Enhancement（v2.2.0 NEW!）
+
+3パッケージに高度な学習機能を追加：
+
+#### Neural Search強化
+```typescript
+import {
+  ContextAwareEmbedder,   // コンテキスト認識埋め込み
+  HybridRanker,           // BM25 + ベクトル類似度
+  EmbeddingCache,         // LRU + TTL キャッシュ
+  createTrajectoryLogger, // 検索軌跡ロギング
+} from '@nahisaho/musubix-neural-search';
+
+const logger = createTrajectoryLogger();
+logger.logBranch({ depth: 1, score: 0.85, action: 'expand' });
+const parquet = logger.export('parquet');
+```
+
+#### Library Learner強化
+```typescript
+import {
+  SemanticChunker,        // AST境界認識チャンキング
+  PatternVersionManager,  // Git風バージョン管理
+  createMetricsExporter,  // メトリクスエクスポート
+} from '@nahisaho/musubix-library-learner';
+
+const exporter = createMetricsExporter(library);
+const markdown = exporter.export('markdown');
+const summary = exporter.getSummary(); // { healthStatus: 'good' }
+```
+
+#### Synthesis強化
+```typescript
+import {
+  createMetaLearningEngine,    // メタ学習エンジン
+  createExampleAnalyzer,       // 例題品質分析
+  createExplanationGenerator,  // 説明生成
+} from '@nahisaho/musubix-synthesis';
+
+const explainer = createExplanationGenerator();
+const explanation = explainer.generate(program);
+const summary = explainer.summarize(program);
+// "Converts to uppercase"
+```
+
 ---
 
 ## 📚 学習済みベストプラクティス（v1.1.10 Updated!）
@@ -524,68 +592,103 @@ npx musubix learn best-practices --format markdown
 
 ### 推奨ワークフロー
 
-> **⚠️ 重要ルール**: Phase 1〜3（要件定義・設計・タスク分解）は、**承認可能な状態になるまでレビューと修正を繰り返すこと**。ユーザーから明示的な承認を得るまで次フェーズに進んではならない。
+> **⚠️ 重要ルール**: Phase 1〜3（要件定義・設計・タスク分解）は、**レビュー結果をユーザーに表示し、修正か次ステップかを確認すること**。ユーザーから明示的な承認を得るまで次フェーズに進んではならない。
+>
+> **🚫 絶対禁止**: **設計（Phase 2）から直接実装（Phase 4）に進むことは禁止**。必ずタスク分解（Phase 3）を経ること。タスク分解なしでの実装開始は憲法違反とみなす。
 
 ```
-【Phase 1: 要件定義】 ※承認まで繰り返し
+【Phase 1: 要件定義】
 ┌─────────────────────────────────────────────────────────────┐
 │ 1. steering/ を読む                                         │
 │ 2. 要件定義書を作成（EARS形式）                              │
-│ 3. ユーザーに提示 → フィードバック待ち                       │
+│ 3. ユーザーに提示                                           │
+│                                                              │
+│ 4. セルフレビュー実施                                        │
+│    - 既存実装との整合性チェック                              │
+│    - EARS形式の検証                                          │
+│    - 要件の網羅性・完全性確認                                │
 │                                                              │
-│ ┌─────────────────────────────────────────────────────────┐ │
-│ │ 4. レビュー実施                                          │ │
-│ │    - 既存実装との整合性チェック                          │ │
-│ │    - EARS形式の検証                                      │ │
-│ │    - 要件の網羅性・完全性確認                            │ │
-│ │                                                          │ │
-│ │ 5. 問題あり? ─Yes→ 修正して4へ戻る                      │ │
-│ │              └No─→ 6へ進む                              │ │
-│ └─────────────────────────────────────────────────────────┘ │
+│ 5. レビュー結果を表示                                        │
+│    ┌───────────────────────────────────────────────────────┐│
+│    │ 📋 レビュー結果:                                       ││
+│    │ ✅ EARS形式: 準拠                                      ││
+│    │ ✅ 優先度設定: 完了                                    ││
+│    │ ⚠️ 整合性: 既存REQ-XXXと重複の可能性あり              ││
+│    │                                                        ││
+│    │ 👉 修正しますか？それとも次に進みますか？              ││
+│    │    - 「修正」→ 指摘箇所を修正して再提示               ││
+│    │    - 「承認」→ Phase 2（設計）へ進む                  ││
+│    └───────────────────────────────────────────────────────┘│
 │                                                              │
-│ 6. 「承認」確認 → Phase 2へ                                 │
+│ 6. ユーザー応答待ち                                          │
+│    - 修正指示 → 修正して3へ戻る                             │
+│    - 承認 → Phase 2へ                                       │
 └─────────────────────────────────────────────────────────────┘
 
-【Phase 2: 設計】 ※承認まで繰り返し
+【Phase 2: 設計】
 ┌─────────────────────────────────────────────────────────────┐
 │ 1. 設計書を作成（C4モデル）                                  │
-│ 2. ユーザーに提示 → フィードバック待ち                       │
+│ 2. ユーザーに提示                                           │
 │                                                              │
-│ ┌─────────────────────────────────────────────────────────┐ │
-│ │ 3. レビュー実施                                          │ │
-│ │    - 既存実装との型・インターフェース整合性               │ │
-│ │    - 要件トレーサビリティ（REQ-* → DES-*）               │ │
-│ │    - 設計パターン・SOLID原則の適用確認                   │ │
-│ │    - 後方互換性・移行パスの確認                          │ │
-│ │                                                          │ │
-│ │ 4. 問題あり? ─Yes→ 修正して3へ戻る                      │ │
-│ │              └No─→ 5へ進む                              │ │
-│ └─────────────────────────────────────────────────────────┘ │
+│ 3. セルフレビュー実施                                        │
+│    - 既存実装との型・インターフェース整合性                   │
+│    - 要件トレーサビリティ（REQ-* → DES-*）                   │
+│    - 設計パターン・SOLID原則の適用確認                       │
+│    - 後方互換性・移行パスの確認                              │
 │                                                              │
-│ 5. 「承認」確認 → Phase 3へ                                 │
+│ 4. レビュー結果を表示                                        │
+│    ┌───────────────────────────────────────────────────────┐│
+│    │ 📋 レビュー結果:                                       ││
+│    │ ✅ トレーサビリティ: REQ-001→DES-001 完了              ││
+│    │ ✅ 型整合性: 既存インターフェースと互換                 ││
+│    │ ✅ 設計パターン: Repository, Service適用               ││
+│    │                                                        ││
+│    │ 👉 修正しますか？それとも次に進みますか？              ││
+│    │    - 「修正」→ 指摘箇所を修正して再提示               ││
+│    │    - 「承認」→ Phase 3（タスク分解）へ進む            ││
+│    │    ⚠️ 実装への直接遷移は禁止！必ずタスク分解を経る    ││
+│    └───────────────────────────────────────────────────────┘│
+│                                                              │
+│ 5. ユーザー応答待ち                                          │
+│    - 修正指示 → 修正して2へ戻る                             │
+│    - 承認 → Phase 3へ（※Phase 4への直接遷移は禁止）        │
 └─────────────────────────────────────────────────────────────┘
 
-【Phase 3: タスク分解】 ※承認まで繰り返し
+【Phase 3: タスク分解】⚠️ 必須フェーズ - スキップ禁止
 ┌─────────────────────────────────────────────────────────────┐
 │ 1. タスク分解書を作成（設計→実装タスク）                     │
-│ 2. ユーザーに提示 → フィードバック待ち                       │
+│ 2. ユーザーに提示                                           │
+│                                                              │
+│ 3. セルフレビュー実施                                        │
+│    - 設計との対応確認（DES-* → TSK-*）                       │
+│    - タスクサイズの適切性                                    │
+│    - 依存関係・実行順序の妥当性                              │
+│    - 工数見積もりの現実性                                    │
 │                                                              │
-│ ┌─────────────────────────────────────────────────────────┐ │
-│ │ 3. レビュー実施                                          │ │
-│ │    - 設計との対応確認（DES-* → TSK-*）                   │ │
-│ │    - タスクサイズの適切性                                │ │
-│ │    - 依存関係・実行順序の妥当性                          │ │
-│ │    - 工数見積もりの現実性                                │ │
-│ │                                                          │ │
-│ │ 4. 問題あり? ─Yes→ 修正して3へ戻る                      │ │
-│ │              └No─→ 5へ進む                              │ │
-│ └─────────────────────────────────────────────────────────┘ │
+│ 4. レビュー結果を表示                                        │
+│    ┌───────────────────────────────────────────────────────┐│
+│    │ 📋 レビュー結果:                                       ││
+│    │ ✅ トレーサビリティ: DES-001→TSK-001〜003 完了         ││
+│    │ ✅ タスクサイズ: 各2-4時間で適切                       ││
+│    │ ✅ 依存関係: TSK-001→TSK-002→TSK-003 明確             ││
+│    │                                                        ││
+│    │ 👉 修正しますか？それとも実装に進みますか？            ││
+│    │    - 「修正」→ 指摘箇所を修正して再提示               ││
+│    │    - 「承認」→ Phase 4（実装）へ進む                  ││
+│    └───────────────────────────────────────────────────────┘│
 │                                                              │
-│ 5. 「承認」確認 → Phase 4へ                                 │
+│ 5. ユーザー応答待ち                                          │
+│    - 修正指示 → 修正して2へ戻る                             │
+│    - 承認 → Phase 4へ                                       │
 └─────────────────────────────────────────────────────────────┘
 
-【Phase 4: 実装】
+【Phase 4: 実装】⚠️ 前提条件: Phase 3（タスク分解）の承認が必須
 ┌─────────────────────────────────────────────────────────────┐
+│ ⛔ 開始前チェック:                                           │
+│    □ Phase 3（タスク分解）が完了し、ユーザー承認済みか？     │
+│    □ TSK-* が定義されているか？                              │
+│    → 未完了の場合、Phase 3に戻ること                        │
+│                                                              │
 │ タスクごとに:                                                │
 │ 1. テスト作成（Red）                                        │
 │ 2. 実装（Green）                                            │
@@ -602,21 +705,33 @@ npx musubix learn best-practices --format markdown
 └─────────────────────────────────────────────────────────────┘
 ```
 
-### レビュー観点チェックリスト
+### レビュー結果の表示フォーマット
 
-| フェーズ | チェック項目 |
-|---------|-------------|
-| **要件定義** | ☐ EARS形式準拠 ☐ 優先度設定 ☐ 受け入れ基準明確 ☐ 既存機能との整合性 |
-| **設計** | ☐ C4モデル完備 ☐ 型定義整合性 ☐ REQ→DESトレース ☐ 移行パス明記 |
-| **タスク分解** | ☐ DES→TSKトレース ☐ 依存関係明確 ☐ サイズ適切 ☐ 工数現実的 |
+各フェーズ終了時に以下の形式でレビュー結果を表示:
+
+```
+📋 **レビュー結果**
+
+| 観点 | 状態 | 詳細 |
+|------|------|------|
+| チェック項目1 | ✅ OK | 説明 |
+| チェック項目2 | ⚠️ 警告 | 要確認事項 |
+| チェック項目3 | ❌ NG | 修正が必要 |
+
+👉 **次のアクションを選択してください:**
+- 「修正」/ 具体的な修正指示 → 修正して再提示
+- 「承認」/「OK」/「進める」 → 次フェーズへ
+```
 
 ### 承認キーワード
 
 ユーザーが以下のキーワードを使用した場合、次フェーズへ進む:
 - `承認` / `approve` / `LGTM` / `進める` / `OK` / `実装`
 
+> **⚠️ 注意**: 「実装」キーワードが使われても、**現在のフェーズがPhase 2（設計）の場合は、必ずPhase 3（タスク分解）を先に実行すること**。タスク分解をスキップして実装に進むことは禁止されている。
+
 ---
 
 **Agent**: GitHub Copilot / Claude
-**Last Updated**: 2026-01-08
-**Version**: 2.0.0
+**Last Updated**: 2026-01-09
+**Version**: 2.2.1

package/docs/MUSUBIXv2.2.0-Manual-outline.md

@@ -0,0 +1,136 @@
+# MUSUBIX v2.2.0 マニュアル構成案
+
+## タイトル
+**MUSUBIX: Neuro-Symbolic AI Coding システムによるエンタープライズアプリケーション開発**
+
+## 実験プロジェクト
+**経費精算システム（Expense Management System）**
+
+---
+
+## Part 1: イントロダクション
+
+### 1. 従来のAIコーディングの限界
+- Vibe Coding（雰囲気コーディング）の問題点
+- GitHub Copilot単体の限界
+- Claude Code / Cursor の課題
+- なぜエンタープライズ開発には不十分なのか
+
+### 2. SDD（Specification Driven Development）の課題
+
+### 3. MUSUBIXとは - Neuro-Symbolic統合の価値
+
+### 4. エンタープライズ開発に必要な要素
+
+---
+
+## Part 2: 経費精算システム開発
+
+### 5. プロジェクト初期化（init, scaffold）
+
+### 6. 要件定義（requirements analyze/validate/map）
+
+### 7. 設計（design generate/patterns/c4/adr）
+
+### 8. コード生成（codegen generate/analyze）
+
+### 9. セキュリティ分析（codegen security）
+
+### 10. 形式検証（Z3 - 承認ルール証明）
+
+### 11. テスト生成（test generate/coverage）
+
+### 12. トレーサビリティ（trace matrix/impact/validate）
+
+---
+
+## Part 3: 高度な機能
+
+### 13. 説明生成（explain why/graph）
+
+### 14. 自己学習（learn系全機能）
+
+### 15. オントロジー（ontology validate/stats）
+
+### 16. プログラム合成（synthesize）
+
+### 17. ライブラリ学習（library learn/query）
+
+---
+
+## Part 4: チーム開発・運用
+
+### 18. KGPR（知識グラフPull Request）
+
+### 19. REPL対話モード
+
+### 20. 学習データの共有（export/import）
+
+---
+
+## Part 5: まとめ
+
+### 21. MUSUBIXで実現するエンタープライズ品質
+
+### 22. 次のステップ
+
+---
+
+## 付録
+
+### A. MUSUBIX 9条憲法（Constitution）
+- 各条項の詳細説明
+- 違反例と遵守例
+- チェックリスト
+
+### B. CLIコマンド完全リファレンス
+- 全コマンド一覧（オプション含む）
+- 使用例
+- 終了コード
+
+### C. EARSパターン早見表
+- 5パターンの構文と例文
+- パターン選択フローチャート
+- よくある間違いと修正例
+
+### D. プロジェクト構成（ディレクトリ・ファイル）
+- 標準ディレクトリ構造
+- 各ファイルの役割
+- 命名規則
+
+### E. 設計パターンカタログ
+- MUSUBIXが検出するパターン一覧
+- 適用場面と実装例
+
+### F. トレーサビリティID体系
+- REQ-*, DES-*, TSK-* の命名規則
+- リンク記法
+- マトリクスの読み方
+
+### G. SMT-LIB2 / Z3 クイックリファレンス
+- 基本構文
+- 経費精算で使用した検証例
+- よく使うアサーション
+
+### H. 用語集（Glossary）
+- MUSUBIX固有用語
+- エンタープライズ開発用語
+- 略語一覧
+
+### I. トラブルシューティング
+- よくあるエラーと解決策
+- 環境設定の問題
+- FAQ
+
+---
+
+## 進捗管理
+
+| セクション | 状態 | 完了日 |
+|-----------|------|-------|
+| Part 1 (1-4) | 未着手 | - |
+| Part 2 (5-12) | 未着手 | - |
+| Part 3 (13-17) | 未着手 | - |
+| Part 4 (18-20) | 未着手 | - |
+| Part 5 (21-22) | 未着手 | - |
+| 付録 A-I | 未着手 | - |