musubix 1.4.4 → 1.7.0

package/docs/evolution-from-musubi-to-musubix.md

@@ -7,7 +7,7 @@ tags:
   - LLM
   - ニューロシンボリック
 private: false
-updated_at: '2026-01-05'
+updated_at: '2026-01-06'
 id: null
 organization_url_name: null
 slide: false
@@ -21,7 +21,7 @@ AIコーディング支援ツールは急速に進化しています。本記事
 
 # TL;DR
 
-> **最新バージョン**: v1.4.1 | **62ドメイン対応** | **243コンポーネント** | **775テスト** | **17ベストプラクティス**
+> **最新バージョン**: v1.7.0 | **62ドメイン対応** | **249コンポーネント** | **1429テスト** | **17ベストプラクティス**
 
 | 項目 | MUSUBI | MUSUBIX |
 |------|--------|---------|
@@ -34,6 +34,11 @@ AIコーディング支援ツールは急速に進化しています。本記事
 | **自己学習** | なし | フィードバックベースの適応学習 |
 | **知識共有** | なし | **プロジェクト間ポータビリティ**（v1.4.0） |
 | **正誤性検証** | なし | **OWL制約チェック**（v1.4.1） |
+| **対話的CLI** | なし | **Interactive REPL**（v1.6.0） |
+| **ローカル知識グラフ** | なし | **YATA Local**（v1.6.3） |
+| **分散型知識プラットフォーム** | なし | **YATA Global**（v1.6.3） |
+| **知識グラフ共有** | なし | **KGPR**（v1.6.4） |
+| **プラットフォーム拡張** | なし | **YATA Platform Enhancements**（v1.7.0） |
 
 # 1. MUSUBIとは？
 
@@ -1253,6 +1258,99 @@ if (!consistency.consistent) {
   └──────────────┘
 ```
 
+## 4.10 高度推論（v1.4.5）
+
+v1.4.5では、**OWL 2 RLプロファイル推論エンジン**と**Datalog評価エンジン**を追加しました。これにより、知識グラフ上での自動推論と、人間可読な説明生成が可能になりました。
+
+### なぜ高度推論が必要か？
+
+従来の課題:
+- 明示的に登録された事実しか利用できない
+- 暗黙的な関係性を導出できない
+- 推論結果の根拠が不明確
+
+v1.4.5での解決:
+- **OWL2RLReasoner**: 20以上のビルトインルールによる自動推論
+- **DatalogEngine**: ストラティファイド評価による柔軟なルール適用
+- **InferenceExplainer**: 推論チェーンの自然言語説明
+
+### OWL 2 RL推論
+
+OWL 2 RLプロファイルは、OWL 2のサブセットであり、ルールベースの推論に適しています。
+
+| カテゴリ | ルール | 説明 |
+|----------|-------|------|
+| Class Axioms | `cax-sco`, `cax-eqc` | サブクラス、同値クラス推論 |
+| Property | `prp-dom`, `prp-rng` | ドメイン、レンジ推論 |
+| Property Characteristics | `prp-symp`, `prp-trp`, `prp-inv` | 対称、推移、逆プロパティ |
+| Equality | `eq-ref`, `eq-sym`, `eq-trans` | sameAs推論 |
+
+### 使用例
+
+```typescript
+import { OWL2RLReasoner, DatalogEngine, InferenceExplainer } from '@nahisaho/musubix-ontology-mcp';
+
+// OWL 2 RL推論
+const reasoner = new OWL2RLReasoner({
+  maxIterations: 100,
+  enablePropertyChains: true
+});
+
+const result = await reasoner.reason(store, {
+  onProgress: (p) => console.log(`反復 ${p.iteration}: ${p.newTriples} 新規`)
+});
+
+console.log(`${result.inferredCount} 個の事実を推論`);
+
+// Datalog評価
+const engine = new DatalogEngine();
+const rules = [
+  {
+    head: { predicate: 'ancestor', args: ['?x', '?y'] },
+    body: [{ predicate: 'parent', args: ['?x', '?y'] }]
+  },
+  {
+    head: { predicate: 'ancestor', args: ['?x', '?z'] },
+    body: [
+      { predicate: 'parent', args: ['?x', '?y'] },
+      { predicate: 'ancestor', args: ['?y', '?z'] }
+    ]
+  }
+];
+const derived = await engine.evaluate(rules, facts);
+
+// 推論説明
+const explainer = new InferenceExplainer(reasoner.getProvenanceLog());
+const explanation = explainer.explain(subject, predicate, object, 'text');
+console.log(explanation);
+// → "Animal は owl:Class として宣言されているため Class です（ルール cax-sco）"
+```
+
+### 推論フロー
+
+```
+知識グラフ
+    │
+    ▼
+┌─────────────────┐
+│ OWL2RLReasoner  │  ← 20+ ビルトインルール
+└────────┬────────┘
+         │
+         ▼
+┌─────────────────┐
+│ 固定点到達まで   │  ← 反復推論
+│ 新規推論を生成   │
+└────────┬────────┘
+         │
+         ▼
+┌─────────────────┐
+│ InferenceExplainer │ ← 説明生成
+└────────┬────────┘
+         │
+         ▼
+人間可読な推論根拠
+```
+
 # 5. 9つの憲法条項
 
 MUSUBIXは、MUSUBIから継承した **9つの憲法条項（Constitutional Articles）** を遵守します。これらは開発プロセス全体を統治する不変の原則であり、AIコーディングエージェントが従うべきガバナンスフレームワークです。
@@ -1575,7 +1673,7 @@ claude mcp list
 }
 ```
 
-### 利用可能なMCPツール（16ツール）
+### 利用可能なMCPツール（19ツール）
 
 #### SDD基本ツール（9ツール）
 
@@ -1603,6 +1701,196 @@ claude mcp list
 | `ontology_query` | オントロジーグラフへのクエリ |
 | `ontology_infer` | オントロジーによる推論実行 |
 
+#### オントロジー検証ツール（3ツール）- v1.4.1 NEW!
+
+| ツール名 | 説明 |
+|---------|------|
+| `consistency_validate` | 知識グラフの整合性検証 |
+| `validate_triple` | 単一トリプルの事前検証 |
+| `check_circular` | 循環依存の検出 |
+
+# 9. YATA Local & YATA Global（v1.6.3）
+
+v1.6.3では、知識グラフの永続化と分散管理のための新パッケージを追加しました。
+
+## 9.1 YATA Local
+
+SQLiteベースのローカル知識グラフストレージです。
+
+```mermaid
+flowchart TB
+    subgraph YataLocal["YATA Local"]
+        DB["SQLite Database<br/>WAL mode, FTS5"]
+        QE["Query Engine<br/>BFS/DFS pathfinding"]
+        RE["Reasoning Engine<br/>4 built-in rules"]
+        IO["I/O Module<br/>JSON/RDF export"]
+    end
+    
+    DB --> QE
+    QE --> RE
+    RE --> IO
+```
+
+### 主な機能
+
+| コンポーネント | 機能 |
+|--------------|------|
+| **Database Layer** | Entity/Relationship CRUD, FTS5全文検索, 変更追跡 |
+| **Query Engine** | グラフクエリ, BFS/DFSパス探索, サブグラフ抽出, パターンマッチ |
+| **Reasoning Engine** | 推論ルール実行, 制約検証, 信頼度計算, 関係性推奨 |
+| **I/O Module** | JSON/RDF(N-Triples)エクスポート, Delta同期 |
+
+### 組み込み推論ルール
+
+```typescript
+// 推移的継承: A extends B, B extends C → A extends C
+'transitive-extends'
+
+// 型実装: A implements B → A is-a B
+'implements-type'
+
+// 推移的依存: A depends-on B, B depends-on C → A depends-on C
+'transitive-dependency'
+
+// メソッドオーバーライド: A extends B, B has method M → A overrides M
+'method-override'
+```
+
+### 使用例
+
+```typescript
+import { createYataLocal } from '@nahisaho/yata-local';
+
+const yata = createYataLocal('./knowledge.sqlite');
+
+// エンティティ追加
+yata.addEntity({
+  id: 'class-user',
+  type: 'class',
+  name: 'User',
+  file: 'src/models/user.ts',
+  properties: { abstract: false }
+});
+
+// 関係性追加
+yata.addRelationship({
+  source: 'class-admin',
+  target: 'class-user',
+  type: 'extends'
+});
+
+// パス探索
+const path = yata.findPath('class-admin', 'interface-entity');
+
+// 推論実行
+const inferred = yata.infer();
+
+// 制約検証
+const validation = yata.validate();
+
+yata.close();
+```
+
+## 9.2 YATA Global
+
+分散型知識グラフプラットフォームです。
+
+```mermaid
+flowchart TB
+    subgraph YataGlobal["YATA Global Platform"]
+        API["API Client<br/>REST, Auth, Rate limiting"]
+        Cache["Cache Manager<br/>SQLite offline cache"]
+        Sync["Sync Engine<br/>Push/Pull, Auto-sync"]
+        Client["Main Client<br/>Search, Share, Analytics"]
+    end
+    
+    subgraph Features["Features"]
+        FW["Framework Knowledge<br/>19 categories, 20 languages"]
+        PAT["Shared Patterns<br/>15 categories"]
+        COMM["Community<br/>Ratings, Downloads"]
+    end
+    
+    Client --> API
+    Client --> Cache
+    Client --> Sync
+    Client --> Features
+```
+
+### 主な機能
+
+| コンポーネント | 機能 |
+|--------------|------|
+| **API Client** | REST通信, Bearer認証, レート制限追跡 |
+| **Cache Manager** | SQLiteオフラインキャッシュ, TTL管理, 自動サイズ制限 |
+| **Sync Engine** | Push/Pull同期, 自動同期, オフラインキュー |
+| **Main Client** | 検索, パターン共有, 評価, アナリティクス |
+
+### 使用例
+
+```typescript
+import { createYataGlobal } from '@nahisaho/yata-global';
+
+const yata = createYataGlobal({
+  endpoint: 'https://api.yata.global/v1',
+  offlineMode: false,
+});
+
+// フレームワーク検索
+const frameworks = await yata.searchFrameworks({
+  query: 'react',
+  category: 'web-frontend',
+  sortBy: 'popularity',
+});
+
+// パターン検索
+const patterns = await yata.searchPatterns({
+  query: 'hooks',
+  language: 'typescript',
+});
+
+// パターン共有（認証必要）
+await yata.login({ username: 'user', password: 'pass' });
+const patternId = await yata.sharePattern({
+  name: 'Custom Hook Pattern',
+  description: 'Reusable stateful logic',
+  category: 'design-pattern',
+  frameworks: ['react'],
+  language: 'typescript',
+  template: 'function use${Name}() { ... }',
+  tags: ['hooks', 'state'],
+  visibility: 'public',
+  official: false,
+});
+
+// 同期
+const result = await yata.sync();
+console.log(`Pulled: ${result.frameworksPulled} frameworks`);
+
+// オフラインモード
+yata.enableOfflineMode();
+
+yata.close();
+```
+
+### オフラインサポート
+
+YATA Globalは完全なオフラインサポートを提供：
+
+| 機能 | オンライン | オフライン |
+|------|----------|-----------|
+| 検索 | API + キャッシュ | キャッシュのみ |
+| パターン共有 | 即時アップロード | キューに追加 |
+| 評価 | 即時送信 | キューに追加 |
+| 同期 | 利用可能 | 無効 |
+
+### メリット
+
+- ✅ **高速アクセス**: SQLiteキャッシュによる高速検索
+- ✅ **オフライン対応**: ネットワーク非接続時も動作
+- ✅ **自動同期**: バックグラウンドでの定期同期
+- ✅ **コミュニティ**: パターン共有と評価
+- ✅ **マルチ言語**: 20プログラミング言語対応
+
 ### メリット
 
 - ✅ **高度な機能**: 知識グラフ連携、矛盾検出
@@ -1610,7 +1898,7 @@ claude mcp list
 - ✅ **リアルタイム検証**: 作成中のドキュメントを即座に検証
 - ✅ **トレーサビリティ**: 要件から実装までの完全追跡
 
-## 8.6 どちらを選ぶべきか？
+## 9.3 どちらを選ぶべきか？
 
 ```mermaid
 flowchart TD
@@ -1637,6 +1925,234 @@ flowchart TD
 
 詳細は [インストールガイド](https://github.com/nahisaho/MUSUBIX/blob/main/docs/INSTALL-GUIDE.ja.md) を参照してください。
 
+# 10. KGPR - Knowledge Graph Pull Request（v1.6.4）
+
+v1.6.4では、**KGPR（Knowledge Graph Pull Request）**機能が追加されました。これはGitHub PRと同様のワークフローで、YATA LocalからYATA Globalへ安全に知識グラフを共有する機能です。
+
+## 10.1 KGPRワークフロー
+
+```mermaid
+flowchart LR
+    subgraph Local["YATA Local"]
+        L1[プロジェクト知識<br>自動収集]
+        L2[パターン抽出]
+    end
+    
+    subgraph KGPR["KGPR処理"]
+        K1[差分抽出]
+        K2[プライバシー<br>フィルタリング]
+        K3[レビュー<br>リクエスト]
+    end
+    
+    subgraph Global["YATA Global"]
+        G1[レビュー]
+        G2[マージ]
+        G3[コミュニティ<br>知識]
+    end
+    
+    L1 --> L2
+    L2 --> K1
+    K1 --> K2
+    K2 --> K3
+    K3 --> G1
+    G1 --> G2
+    G2 --> G3
+```
+
+## 10.2 プライバシーフィルター
+
+機密情報の漏洩を防ぐため、3段階のプライバシーレベルを提供：
+
+| レベル | フィルタ対象 | 推奨シナリオ |
+|-------|------------|------------|
+| `strict` | ファイルパス、URL、認証情報、全メタデータ | オープンソース公開 |
+| `moderate` | ファイルパス、URL、認証情報 | 組織内共有 |
+| `none` | フィルタなし | 完全な内部利用 |
+
+## 10.3 KGPRステータス遷移
+
+```
+draft → open → reviewing → approved/changes_requested → merged/closed
+```
+
+| ステータス | 説明 |
+|-----------|------|
+| `draft` | 作成中、まだ送信されていない |
+| `open` | レビュー待ち |
+| `reviewing` | レビュー中 |
+| `approved` | 承認済み、マージ可能 |
+| `changes_requested` | 変更要求あり |
+| `merged` | マージ完了 |
+| `closed` | マージせずにクローズ |
+
+## 10.4 CLIコマンド
+
+```bash
+# KGPRの作成
+musubix kgpr create -t "Reactパターンの共有"
+
+# 差分プレビュー
+musubix kgpr diff --namespace myproject --privacy moderate
+
+# KGPR一覧
+musubix kgpr list
+
+# KGPRの送信
+musubix kgpr submit KGPR-001
+
+# KGPRの詳細表示
+musubix kgpr show KGPR-001
+
+# KGPRのクローズ
+musubix kgpr close KGPR-001
+```
+
+## 10.5 MCPツール
+
+| ツール | 説明 |
+|-------|------|
+| `kgpr_create` | ローカル知識グラフからKGPRを作成 |
+| `kgpr_diff` | KGPR作成前に差分をプレビュー |
+| `kgpr_list` | 全KGPRを一覧表示 |
+| `kgpr_submit` | KGPRをレビューに送信 |
+| `kgpr_review` | KGPRをレビュー（approve/changes_requested/commented） |
+
+# 11. YATA Platform Enhancements（v1.7.0）
+
+v1.7.0では、YATAプラットフォーム全体に大規模な機能拡張が行われました。5つの主要フェーズで構成されています。
+
+## 11.1 Phase 1: インデックス最適化
+
+YATA Localのクエリパフォーマンスを大幅に向上させる複合インデックス最適化機能。
+
+```mermaid
+flowchart LR
+    subgraph IndexOptimizer["IndexOptimizer"]
+        A[クエリパターン分析] --> B[最適インデックス生成]
+        B --> C[インデックス健全性監視]
+    end
+    
+    C --> D[自動最適化推奨]
+```
+
+| 機能 | 説明 |
+|------|------|
+| `analyzeQueryPatterns()` | クエリパターンを分析 |
+| `createOptimalIndexes()` | 複合インデックスを作成 |
+| `checkIndexHealth()` | 断片化を検出 |
+| `rebuildIndex()` | インデックス再構築 |
+
+## 11.2 Phase 2: 拡張エクスポートパイプライン
+
+増分エクスポートと複数フォーマット対応の強力なエクスポート機能。
+
+```mermaid
+flowchart LR
+    subgraph ExportPipeline["ExportPipeline"]
+        E1[フルエクスポート]
+        E2[増分エクスポート]
+        E3[フォーマット変換]
+    end
+    
+    E1 --> F1[JSON]
+    E2 --> F2[RDF/Turtle]
+    E3 --> F3[N-Triples]
+```
+
+| フォーマット | 説明 |
+|------------|------|
+| JSON | デフォルト形式 |
+| RDF/Turtle | セマンティックWeb標準 |
+| N-Triples | トリプル形式 |
+
+## 11.3 Phase 3: Global同期統合
+
+YATA LocalとYATA Global間のシームレスな同期機能。
+
+```mermaid
+flowchart TB
+    subgraph GlobalSync["GlobalSyncClient"]
+        GS1[オフラインファースト] --> GS2[自動同期]
+        GS2 --> GS3[競合解決]
+    end
+    
+    subgraph SyncEngine["SyncEngine"]
+        SE1[Push同期]
+        SE2[Pull同期]
+        SE3[双方向マージ]
+    end
+    
+    GlobalSync --> SyncEngine
+```
+
+| 競合解決戦略 | 説明 |
+|-------------|------|
+| `server-wins` | サーバー側を優先 |
+| `client-wins` | クライアント側を優先 |
+| `merge` | 自動マージ試行 |
+| `manual` | 手動解決 |
+
+## 11.4 Phase 4: コードジェネレーター強化
+
+設計ドキュメントからの高度なコード生成機能。
+
+```mermaid
+flowchart LR
+    subgraph CodeGenerator["CodeGenerator"]
+        CG1[C4設計読込] --> CG2[パターン検出]
+        CG2 --> CG3[コード生成]
+    end
+    
+    CG3 --> P1[Repository]
+    CG3 --> P2[Service]
+    CG3 --> P3[Factory]
+    CG3 --> P4[Value Object]
+```
+
+| 対応パターン | 説明 |
+|-------------|------|
+| Repository | データアクセス層 |
+| Service Layer | ビジネスロジック層 |
+| Factory | オブジェクト生成 |
+| Domain Events | イベント駆動設計 |
+| Value Objects | 不変オブジェクト |
+
+## 11.5 Phase 5: YATA UI（Web可視化）
+
+知識グラフのWebベース可視化・管理インターフェース。
+
+```mermaid
+flowchart TB
+    subgraph YataUI["YATA UI Server"]
+        UI1[Express Server] --> UI2[REST API]
+        UI1 --> UI3[WebSocket]
+    end
+    
+    subgraph Features["UI機能"]
+        F1[グラフ可視化]
+        F2[リアルタイム更新]
+        F3[名前空間フィルタ]
+        F4[エンティティ編集]
+    end
+    
+    YataUI --> Features
+```
+
+| 機能 | 説明 |
+|------|------|
+| `start()` | サーバー起動 |
+| `stop()` | サーバー停止 |
+| `setDataProvider()` | データソース設定 |
+| `broadcastUpdate()` | リアルタイム配信 |
+
+## 11.6 v1.7.0 パッケージサマリー
+
+| パッケージ | 新機能 |
+|-----------|--------|
+| `@nahisaho/yata-local` | IndexOptimizer, ExportPipeline, CodeGenerator |
+| `@nahisaho/yata-global` | GlobalSyncClient, SyncEngine, CacheManager |
+| `@nahisaho/yata-ui` | YataUIServer, GraphData変換, WebSocket |
+
 # 参考リンク
 
 - [MUSUBIX GitHub](https://github.com/nahisaho/MUSUBIX)
@@ -1648,5 +2164,5 @@ flowchart TD
 
 **著者**: nahisaho  
 **公開日**: 2026-01-02  
-**更新日**: 2026-01-05  
-**バージョン**: v1.3.0
+**更新日**: 2026-01-06  
+**バージョン**: v1.7.0

package/docs/getting-started-with-sdd.md

@@ -7,7 +7,7 @@ tags:
   - AIコーディング
   - MUSUBIX
 private: false
-updated_at: '2026-01-05'
+updated_at: '2026-01-06'
 id: null
 organization_url_name: null
 slide: false

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "musubix",
-  "version": "1.4.4",
+  "version": "1.7.0",
   "description": "Neuro-Symbolic AI Coding System - MUSUBI × YATA Integration",
   "type": "module",
   "workspaces": [
@@ -70,6 +70,7 @@
     "@nahisaho/musubix-pattern-mcp": "^1.0.0",
     "@nahisaho/musubix-sdd-ontology": "^1.0.0",
     "@nahisaho/musubix-wake-sleep": "^1.0.0",
-    "@nahisaho/musubix-yata-client": "^1.3.0"
+    "@nahisaho/musubix-yata-client": "^1.3.0",
+    "musubix": "^1.6.0"
   }
 }