@nahisaho/musubix-core 2.1.0 → 2.2.0

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,64 +592,91 @@ npx musubix learn best-practices --format markdown
 
 ### 推奨ワークフロー
 
-> **⚠️ 重要ルール**: Phase 1〜3（要件定義・設計・タスク分解）は、**承認可能な状態になるまでレビューと修正を繰り返すこと**。ユーザーから明示的な承認を得るまで次フェーズに進んではならない。
+> **⚠️ 重要ルール**: Phase 1〜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原則の適用確認                       │
+│    - 後方互換性・移行パスの確認                              │
 │                                                              │
-│ ┌─────────────────────────────────────────────────────────┐ │
-│ │ 3. レビュー実施                                          │ │
-│ │    - 既存実装との型・インターフェース整合性               │ │
-│ │    - 要件トレーサビリティ（REQ-* → DES-*）               │ │
-│ │    - 設計パターン・SOLID原則の適用確認                   │ │
-│ │    - 後方互換性・移行パスの確認                          │ │
-│ │                                                          │ │
-│ │ 4. 問題あり? ─Yes→ 修正して3へ戻る                      │ │
-│ │              └No─→ 5へ進む                              │ │
-│ └─────────────────────────────────────────────────────────┘ │
+│ 4. レビュー結果を表示                                        │
+│    ┌───────────────────────────────────────────────────────┐│
+│    │ 📋 レビュー結果:                                       ││
+│    │ ✅ トレーサビリティ: REQ-001→DES-001 完了              ││
+│    │ ✅ 型整合性: 既存インターフェースと互換                 ││
+│    │ ✅ 設計パターン: Repository, Service適用               ││
+│    │                                                        ││
+│    │ 👉 修正しますか？それとも次に進みますか？              ││
+│    │    - 「修正」→ 指摘箇所を修正して再提示               ││
+│    │    - 「承認」→ Phase 3（タスク分解）へ進む            ││
+│    └───────────────────────────────────────────────────────┘│
 │                                                              │
-│ 5. 「承認」確認 → Phase 3へ                                 │
+│ 5. ユーザー応答待ち                                          │
+│    - 修正指示 → 修正して2へ戻る                             │
+│    - 承認 → Phase 3へ                                       │
 └─────────────────────────────────────────────────────────────┘
 
-【Phase 3: タスク分解】 ※承認まで繰り返し
+【Phase 3: タスク分解】
 ┌─────────────────────────────────────────────────────────────┐
 │ 1. タスク分解書を作成（設計→実装タスク）                     │
-│ 2. ユーザーに提示 → フィードバック待ち                       │
+│ 2. ユーザーに提示                                           │
 │                                                              │
-│ ┌─────────────────────────────────────────────────────────┐ │
-│ │ 3. レビュー実施                                          │ │
-│ │    - 設計との対応確認（DES-* → TSK-*）                   │ │
-│ │    - タスクサイズの適切性                                │ │
-│ │    - 依存関係・実行順序の妥当性                          │ │
-│ │    - 工数見積もりの現実性                                │ │
-│ │                                                          │ │
-│ │ 4. 問題あり? ─Yes→ 修正して3へ戻る                      │ │
-│ │              └No─→ 5へ進む                              │ │
-│ └─────────────────────────────────────────────────────────┘ │
+│ 3. セルフレビュー実施                                        │
+│    - 設計との対応確認（DES-* → TSK-*）                       │
+│    - タスクサイズの適切性                                    │
+│    - 依存関係・実行順序の妥当性                              │
+│    - 工数見積もりの現実性                                    │
 │                                                              │
-│ 5. 「承認」確認 → Phase 4へ                                 │
+│ 4. レビュー結果を表示                                        │
+│    ┌───────────────────────────────────────────────────────┐│
+│    │ 📋 レビュー結果:                                       ││
+│    │ ✅ トレーサビリティ: DES-001→TSK-001〜003 完了         ││
+│    │ ✅ タスクサイズ: 各2-4時間で適切                       ││
+│    │ ✅ 依存関係: TSK-001→TSK-002→TSK-003 明確             ││
+│    │                                                        ││
+│    │ 👉 修正しますか？それとも実装に進みますか？            ││
+│    │    - 「修正」→ 指摘箇所を修正して再提示               ││
+│    │    - 「承認」→ Phase 4（実装）へ進む                  ││
+│    └───────────────────────────────────────────────────────┘│
+│                                                              │
+│ 5. ユーザー応答待ち                                          │
+│    - 修正指示 → 修正して2へ戻る                             │
+│    - 承認 → Phase 4へ                                       │
 └─────────────────────────────────────────────────────────────┘
 
 【Phase 4: 実装】
@@ -602,13 +697,23 @@ npx musubix learn best-practices --format markdown
 └─────────────────────────────────────────────────────────────┘
 ```
 
-### レビュー観点チェックリスト
+### レビュー結果の表示フォーマット
+
+各フェーズ終了時に以下の形式でレビュー結果を表示:
+
+```
+📋 **レビュー結果**
+
+| 観点 | 状態 | 詳細 |
+|------|------|------|
+| チェック項目1 | ✅ OK | 説明 |
+| チェック項目2 | ⚠️ 警告 | 要確認事項 |
+| チェック項目3 | ❌ NG | 修正が必要 |
 
-| フェーズ | チェック項目 |
-|---------|-------------|
-| **要件定義** | ☐ EARS形式準拠 ☐ 優先度設定 ☐ 受け入れ基準明確 ☐ 既存機能との整合性 |
-| **設計** | ☐ C4モデル完備 ☐ 型定義整合性 ☐ REQ→DESトレース ☐ 移行パス明記 |
-| **タスク分解** | ☐ DES→TSKトレース ☐ 依存関係明確 ☐ サイズ適切 ☐ 工数現実的 |
+👉 **次のアクションを選択してください:**
+- 「修正」/ 具体的な修正指示 → 修正して再提示
+- 「承認」/「OK」/「進める」 → 次フェーズへ
+```
 
 ### 承認キーワード
 
@@ -619,4 +724,4 @@ npx musubix learn best-practices --format markdown
 
 **Agent**: GitHub Copilot / Claude
 **Last Updated**: 2026-01-08
-**Version**: 2.0.0
+**Version**: 2.2.0

package/dist/cli/commands/index.d.ts

@@ -31,4 +31,5 @@ export { registerPerfCommand } from './perf.js';
 export { registerKgprCommands } from './kgpr.js';
 export { registerTasksCommand } from './tasks.js';
 export { registerScaffoldCommand } from './scaffold.js';
+export { registerSynthesisCommands } from './synthesis.js';
 //# sourceMappingURL=index.d.ts.map

package/dist/cli/commands/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAkBzC;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAkCvD;AAGD,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAGpD,OAAO,EAAE,2BAA2B,EAAE,MAAM,mBAAmB,CAAC;AAChE,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AACtD,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAClD,OAAO,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAGtD,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAGlD,OAAO,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAC;AAGxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAGhD,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAGhD,OAAO,EAAE,oBAAoB,EAAE,MAAM,WAAW,CAAC;AAGjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAGlD,OAAO,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAmBzC;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAqCvD;AAGD,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAGpD,OAAO,EAAE,2BAA2B,EAAE,MAAM,mBAAmB,CAAC;AAChE,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AACtD,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAClD,OAAO,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAGtD,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAGlD,OAAO,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAC;AAGxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAGhD,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAGhD,OAAO,EAAE,oBAAoB,EAAE,MAAM,WAAW,CAAC;AAGjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAGlD,OAAO,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAC;AAGxD,OAAO,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/cli/commands/index.js

@@ -24,6 +24,7 @@ import { registerPerfCommand } from './perf.js';
 import { registerKgprCommands } from './kgpr.js';
 import { registerTasksCommand } from './tasks.js';
 import { registerScaffoldCommand } from './scaffold.js';
+import { registerSynthesisCommands } from './synthesis.js';
 /**
  * Register all CLI commands
  *
@@ -55,6 +56,8 @@ export function registerCommands(program) {
     registerTasksCommand(program);
     // Project scaffolding commands (IMP-SDD-001)
     registerScaffoldCommand(program);
+    // Synthesis commands (REQ-SY-v2.2.0)
+    registerSynthesisCommands(program);
 }
 // Core command exports
 export { registerInitCommand } from './init.js';
@@ -81,4 +84,6 @@ export { registerKgprCommands } from './kgpr.js';
 export { registerTasksCommand } from './tasks.js';
 // Scaffold command export (IMP-SDD-001)
 export { registerScaffoldCommand } from './scaffold.js';
+// Synthesis command export (REQ-SY-v2.2.0)
+export { registerSynthesisCommands } from './synthesis.js';
 //# sourceMappingURL=index.js.map

package/dist/cli/commands/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/cli/commands/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,EAAE,2BAA2B,EAAE,MAAM,mBAAmB,CAAC;AAChE,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AACtD,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAClD,OAAO,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AACtD,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAClD,OAAO,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,oBAAoB,EAAE,MAAM,WAAW,CAAC;AACjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAClD,OAAO,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAC;AAExD;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAAgB;IAC/C,gBAAgB;IAChB,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAC7B,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAC7B,qBAAqB,CAAC,OAAO,CAAC,CAAC;IAE/B,0CAA0C;IAC1C,2BAA2B,CAAC,OAAO,CAAC,CAAC;IACrC,qBAAqB,CAAC,OAAO,CAAC,CAAC;IAC/B,sBAAsB,CAAC,OAAO,CAAC,CAAC;IAChC,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAC7B,oBAAoB,CAAC,OAAO,CAAC,CAAC;IAC9B,sBAAsB,CAAC,OAAO,CAAC,CAAC;IAEhC,6CAA6C;IAC7C,oBAAoB,CAAC,OAAO,CAAC,CAAC;IAE9B,kCAAkC;IAClC,uBAAuB,CAAC,OAAO,CAAC,CAAC;IAEjC,oCAAoC;IACpC,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAE7B,2CAA2C;IAC3C,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAE7B,qCAAqC;IACrC,oBAAoB,CAAC,OAAO,CAAC,CAAC;IAE9B,2BAA2B;IAC3B,oBAAoB,CAAC,OAAO,CAAC,CAAC;IAE9B,6CAA6C;IAC7C,uBAAuB,CAAC,OAAO,CAAC,CAAC;AACnC,CAAC;AAED,uBAAuB;AACvB,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAEpD,+BAA+B;AAC/B,OAAO,EAAE,2BAA2B,EAAE,MAAM,mBAAmB,CAAC;AAChE,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AACtD,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAClD,OAAO,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAEtD,+BAA+B;AAC/B,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAElD,0BAA0B;AAC1B,OAAO,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAC;AAExD,kCAAkC;AAClC,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAEhD,wCAAwC;AACxC,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAEhD,sBAAsB;AACtB,OAAO,EAAE,oBAAoB,EAAE,MAAM,WAAW,CAAC;AAEjD,uBAAuB;AACvB,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAElD,wCAAwC;AACxC,OAAO,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/cli/commands/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,EAAE,2BAA2B,EAAE,MAAM,mBAAmB,CAAC;AAChE,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AACtD,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAClD,OAAO,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AACtD,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAClD,OAAO,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,oBAAoB,EAAE,MAAM,WAAW,CAAC;AACjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAClD,OAAO,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAC;AACxD,OAAO,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAC;AAE3D;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAAgB;IAC/C,gBAAgB;IAChB,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAC7B,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAC7B,qBAAqB,CAAC,OAAO,CAAC,CAAC;IAE/B,0CAA0C;IAC1C,2BAA2B,CAAC,OAAO,CAAC,CAAC;IACrC,qBAAqB,CAAC,OAAO,CAAC,CAAC;IAC/B,sBAAsB,CAAC,OAAO,CAAC,CAAC;IAChC,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAC7B,oBAAoB,CAAC,OAAO,CAAC,CAAC;IAC9B,sBAAsB,CAAC,OAAO,CAAC,CAAC;IAEhC,6CAA6C;IAC7C,oBAAoB,CAAC,OAAO,CAAC,CAAC;IAE9B,kCAAkC;IAClC,uBAAuB,CAAC,OAAO,CAAC,CAAC;IAEjC,oCAAoC;IACpC,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAE7B,2CAA2C;IAC3C,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAE7B,qCAAqC;IACrC,oBAAoB,CAAC,OAAO,CAAC,CAAC;IAE9B,2BAA2B;IAC3B,oBAAoB,CAAC,OAAO,CAAC,CAAC;IAE9B,6CAA6C;IAC7C,uBAAuB,CAAC,OAAO,CAAC,CAAC;IAEjC,qCAAqC;IACrC,yBAAyB,CAAC,OAAO,CAAC,CAAC;AACrC,CAAC;AAED,uBAAuB;AACvB,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAEpD,+BAA+B;AAC/B,OAAO,EAAE,2BAA2B,EAAE,MAAM,mBAAmB,CAAC;AAChE,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AACtD,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAClD,OAAO,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAEtD,+BAA+B;AAC/B,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAElD,0BAA0B;AAC1B,OAAO,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAC;AAExD,kCAAkC;AAClC,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAEhD,wCAAwC;AACxC,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAEhD,sBAAsB;AACtB,OAAO,EAAE,oBAAoB,EAAE,MAAM,WAAW,CAAC;AAEjD,uBAAuB;AACvB,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAElD,wCAAwC;AACxC,OAAO,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAC;AAExD,2CAA2C;AAC3C,OAAO,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/cli/commands/synthesis.d.ts

@@ -0,0 +1,62 @@
+/**
+ * Synthesis Command
+ *
+ * CLI commands for program synthesis
+ *
+ * @packageDocumentation
+ * @module cli/commands/synthesis
+ *
+ * @see TSK-INT-104 - SynthesisCLI
+ * @see REQ-INT-104 - CLI Integration
+ */
+import type { Command } from 'commander';
+/**
+ * Synthesis command options
+ */
+export interface SynthesizeOptions {
+    output?: string;
+    domain?: 'string' | 'array' | 'number' | 'object';
+    maxDepth?: number;
+    verbose?: boolean;
+}
+/**
+ * Library command options
+ */
+export interface LibraryOptions {
+    domain?: string;
+    minConfidence?: number;
+    format?: 'json' | 'text';
+    verbose?: boolean;
+}
+/**
+ * Synthesis result
+ */
+export interface SynthesisResult {
+    success: boolean;
+    program?: string;
+    confidence?: number;
+    searchStats?: {
+        explored: number;
+        pruned: number;
+        depth: number;
+    };
+    error?: string;
+}
+/**
+ * Pattern library statistics
+ */
+export interface LibraryStats {
+    totalPatterns: number;
+    domainDistribution: Record<string, number>;
+    averageConfidence: number;
+    topPatterns: Array<{
+        name: string;
+        usageCount: number;
+    }>;
+}
+/**
+ * Register synthesis commands
+ */
+export declare function registerSynthesisCommands(program: Command): void;
+export default registerSynthesisCommands;
+//# sourceMappingURL=synthesis.d.ts.map

package/dist/cli/commands/synthesis.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"synthesis.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/synthesis.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAKzC;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,QAAQ,GAAG,OAAO,GAAG,QAAQ,GAAG,QAAQ,CAAC;IAClD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IACzB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,WAAW,CAAC,EAAE;QACZ,QAAQ,EAAE,MAAM,CAAC;QACjB,MAAM,EAAE,MAAM,CAAC;QACf,KAAK,EAAE,MAAM,CAAC;KACf,CAAC;IACF,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,aAAa,EAAE,MAAM,CAAC;IACtB,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3C,iBAAiB,EAAE,MAAM,CAAC;IAC1B,WAAW,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAC1D;AA+JD;;GAEG;AACH,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAmLhE;AAED,eAAe,yBAAyB,CAAC"}