musubix 1.4.1 → 1.4.3

package/AGENTS.md

@@ -8,14 +8,14 @@
 
 | 項目 | 詳細 |
 |------|------|
-| **バージョン** | 1.4.1 |
+| **バージョン** | 1.4.3 |
 | **言語** | TypeScript |
 | **ランタイム** | Node.js >= 20.0.0 |
 | **パッケージマネージャ** | npm >= 10.0.0 |
 | **ビルドシステム** | モノレポ（npm workspaces） |
 | **テストフレームワーク** | Vitest |
-| **テスト数** | 775 (全合格) |
-| **コンポーネント数** | 243 (62ドメイン対応) |
+| **テスト数** | 853 (全合格) |
+| **コンポーネント数** | 249 (62ドメイン対応) |
 | **Agent Skills** | 12 (Claude Code対応) |
 
 ---
@@ -38,7 +38,7 @@ packages/
 | パッケージ | npm | 役割 |
 |-----------|-----|------|
 | `packages/core/` | `@nahisaho/musubix-core` | コアライブラリ - CLI、EARS検証、コード生成、設計パターン |
-| `packages/mcp-server/` | `@nahisaho/musubix-mcp-server` | MCPサーバー - 16ツール、3プロンプト |
+| `packages/mcp-server/` | `@nahisaho/musubix-mcp-server` | MCPサーバー - 19ツール、3プロンプト |
 | `packages/yata-client/` | `@nahisaho/musubix-yata-client` | YATAクライアント - 知識グラフ連携 |
 | `packages/pattern-mcp/` | `@nahisaho/musubix-pattern-mcp` | パターン学習 - 抽出・圧縮・ライブラリ |
 | `packages/ontology-mcp/` | `@nahisaho/musubix-ontology-mcp` | オントロジー - N3Store・推論エンジン |
@@ -116,6 +116,11 @@ npx musubix learn export                   # 学習データエクスポート
 npx musubix learn import <file>            # 学習データインポート
   # オプション: --merge-strategy <skip|overwrite|merge>, --dry-run, --patterns-only, --feedback-only
 
+# オントロジー操作 (v1.4.1 NEW!)
+npx musubix ontology validate -f <file>    # 知識グラフ整合性検証
+npx musubix ontology check-circular -f <file>  # 循環依存チェック
+npx musubix ontology stats -f <file>       # 統計表示
+
 # ヘルプ
 npx musubix --help
 npx musubix help <command>
@@ -132,7 +137,7 @@ npx @nahisaho/musubix-mcp-server
 npx musubix-mcp --transport stdio
 ```
 
-### ツール一覧（16ツール）
+### ツール一覧（19ツール）
 
 #### SDD基本ツール（9ツール）
 
@@ -160,6 +165,14 @@ npx musubix-mcp --transport stdio
 | `ontology_query` | オントロジーグラフへのクエリ |
 | `ontology_infer` | オントロジーによる推論実行 |
 
+#### オントロジー検証ツール（3ツール）- v1.4.1 NEW!
+
+| ツール名 | 説明 |
+|---------|------|
+| `consistency_validate` | 知識グラフの整合性検証 |
+| `validate_triple` | 単一トリプルの事前検証 |
+| `check_circular` | 循環依存の検出 |
+
 ### プロンプト一覧（3プロンプト）
 
 | プロンプト名 | 説明 |

package/docs/ROADMAP-v1.5.md

@@ -0,0 +1,112 @@
+# MUSUBIX v1.5.0 Roadmap
+
+## Release Target: 2026-Q1
+
+## 🎯 Major Features
+
+### 1. Real-time Pattern Learning (REQ-LEARN-010)
+**Priority: P0**
+
+現在のバッチ学習からリアルタイム学習への進化。
+
+| 機能 | 説明 |
+|------|------|
+| Stream Processing | コード変更のストリーム処理 |
+| Incremental Learning | 差分学習による効率化 |
+| Online Feedback | リアルタイムフィードバック反映 |
+
+### 2. Pattern Sharing (REQ-SHARE-001)
+**Priority: P1**
+
+チーム間でパターンを共有する機能。
+
+| 機能 | 説明 |
+|------|------|
+| Pattern Export/Import | 標準フォーマットでのエクスポート |
+| Pattern Repository | 共有リポジトリ連携 |
+| Conflict Resolution | パターン競合の解決 |
+
+### 3. Advanced Inference (REQ-ONTO-010)
+**Priority: P1**
+
+オントロジー推論の高度化。
+
+| 機能 | 説明 |
+|------|------|
+| OWL 2 RL Support | OWL 2 RLプロファイル対応 |
+| Datalog Integration | Datalogルールエンジン統合 |
+| Explanation Generation | 推論過程の説明生成 |
+
+### 4. Interactive CLI Mode (REQ-CLI-010)
+**Priority: P2**
+
+対話的なCLI操作モード。
+
+| 機能 | 説明 |
+|------|------|
+| REPL Mode | 対話的シェル |
+| Auto-completion | コマンド補完 |
+| History | コマンド履歴 |
+
+### 5. Performance Optimization (REQ-PERF-001)
+**Priority: P2**
+
+大規模プロジェクトでのパフォーマンス改善。
+
+| 機能 | 説明 |
+|------|------|
+| Lazy Loading | 遅延読み込み |
+| Cache Layer | キャッシュ層追加 |
+| Parallel Processing | 並列処理強化 |
+
+---
+
+## 📊 Current Status (v1.4.1)
+
+| メトリクス | 値 |
+|-----------|-----|
+| テスト数 | 815 |
+| パッケージ数 | 8 |
+| MCPツール | 19 |
+| カバレッジ (lines) | 25% |
+
+---
+
+## 📅 Implementation Schedule
+
+### Phase 1: Foundation (Week 1-2)
+- [ ] Real-time Learning基盤設計
+- [ ] Pattern Sharing API設計
+- [ ] テストカバレッジ向上 (25% → 40%)
+
+### Phase 2: Core Features (Week 3-4)
+- [ ] Real-time Pattern Learning実装
+- [ ] Pattern Export/Import拡張
+- [ ] OWL 2 RL基本サポート
+
+### Phase 3: Integration (Week 5-6)
+- [ ] Pattern Repository連携
+- [ ] Interactive CLI Mode
+- [ ] Performance Optimization
+
+### Phase 4: Stabilization (Week 7-8)
+- [ ] E2Eテスト追加
+- [ ] ドキュメント更新
+- [ ] リリース準備
+
+---
+
+## 🔗 Dependencies
+
+- Node.js >= 20.0.0
+- TypeScript 5.x
+- N3.js (RDF handling)
+- tree-sitter (AST parsing)
+
+---
+
+## 📝 Notes
+
+- v1.4.xはバグ修正のみ
+- 破壊的変更なし (後方互換性維持)
+- 新機能はオプトイン形式

package/docs/adr/0001-real-time-pattern-learning-architecture-for-v1-5-0.md

@@ -0,0 +1,75 @@
+# ADR-0001: Real-time Pattern Learning Architecture for v1.5.0
+
+- **Date**: 2026-01-05
+- **Status**: accepted
+- **Deciders**: Architecture Team
+- **Categories**: Learning, Performance
+
+## Context
+
+MUSUBIX v1.4.xではバッチ学習方式を採用しているが、ユーザーのコード変更をリアルタイムで学習する要求がある。
+
+### 要件
+- REQ-LEARN-011: ファイル変更時500ms以内に分析
+- REQ-LEARN-013: フィードバック収集レイテンシ100ms以内
+- REQ-LEARN-014: ストリーム処理1000 events/sec以上
+
+### 検討した選択肢
+1. **Polling方式**: 定期的にファイル変更をチェック
+2. **fs.watch + EventEmitter**: Node.js標準のファイル監視
+3. **chokidar + RxJS**: サードパーティライブラリによるリアクティブストリーム
+
+## Decision
+
+**選択肢 2: fs.watch + EventEmitter** を採用する。
+
+### 理由
+- 外部依存なしで実現可能
+- Node.js標準APIで十分な性能
+- メモリフットプリントが小さい
+
+### アーキテクチャ
+
+```
+FileWatcher (fs.watch)
+    │
+    ▼
+StreamProcessor (EventEmitter)
+    │
+    ├─▼ FeedbackQueue (Non-blocking)
+    │
+    └─▼ PatternExtractor (AST)
+           │
+           ▼
+    IncrementalUpdater (Delta)
+```
+
+### パフォーマンス目標
+| メトリクス | 目標 | 測定方法 |
+|------------|------|----------|
+| 分析レイテンシ | < 500ms | StreamProcessor.getLatency() |
+| フィードバック収集 | < 100ms | FeedbackQueue timing |
+| スループット | ≥ 1000/sec | EventStream.getThroughput() |
+
+## Consequences
+
+### Positive
+- リアルタイム学習によるユーザー体験向上
+- 外部依存なしで軽量
+- 段階的な実装が可能
+
+### Negative
+- fs.watchのクロスプラットフォーム差異への対応が必要
+- 大規模プロジェクトでのスケーラビリティ検証が必要
+
+### Risks
+- macOS/Linux/Windowsでのfs.watchの挙動差異
+- 軽減策: chokidarへのフォールバック機構を用意
+
+## Related Requirements
+
+- REQ-LEARN-010: Real-time pattern learning
+- REQ-LEARN-011: 500ms analysis latency
+- REQ-LEARN-012: Incremental update
+- REQ-LEARN-013: Non-blocking feedback
+- REQ-LEARN-014: Stream processing

package/docs/adr/0002-pattern-sharing-protocol-for-cross-team-collaborat.md

@@ -0,0 +1,79 @@
+# ADR-0002: Pattern Sharing Protocol for cross-team collaboration
+
+- **Date**: 2026-01-05
+- **Status**: accepted
+- **Deciders**: Architecture Team
+- **Categories**: Sharing, Security
+
+## Context
+
+チーム間で学習済みパターンを共有する要求がある。プライバシーとセキュリティを考慮したプロトコルが必要。
+
+### 要件
+- REQ-SHARE-001: JSON形式でエクスポート
+- REQ-SHARE-003: インポート時のオントロジー検証
+- REQ-SHARE-004: 機密データの除去
+- REQ-SHARE-005: 競合解決戦略
+
+### 検討した選択肢
+1. **Git-based sharing**: Gitリポジトリでパターンを共有
+2. **REST API**: 中央サーバー経由の共有
+3. **File-based export/import**: JSONファイルの直接交換
+
+## Decision
+
+**選択肢 3: File-based export/import** を採用する。
+
+### 理由
+- インフラ不要で即座に利用可能
+- オフライン環境でも利用可能
+- 将来的にGit連携への拡張が容易
+
+### ファイルフォーマット
+
+```json
+{
+  "version": "1.0",
+  "exportedAt": "2026-01-05T12:00:00Z",
+  "patterns": [
+    {
+      "id": "PAT-001",
+      "name": "Repository Pattern",
+      "category": "design",
+      "confidence": 0.95,
+      "template": "...",
+      "metadata": {
+        "author": "[REDACTED]",
+        "domain": "data-access"
+      }
+    }
+  ],
+  "checksum": "sha256:..."
+}
+```
+
+### セキュリティ対策
+| 対策 | 実装 |
+|------|------|
+| 機密データ除去 | DataSanitizerによる自動マスキング |
+| 改ざん検出 | SHA-256チェックサム |
+| スキーマ検証 | JSON Schemaによるバリデーション |
+
+## Consequences
+
+### Positive
+- シンプルで即座に利用可能
+- プライバシー保護が容易
+- バージョン管理が明確
+
+### Negative
+- 自動同期機能なし（将来拡張）
+- 大規模チームでの管理が煩雑になる可能性
+
+## Related Requirements
+
+- REQ-SHARE-001: JSON export format
+- REQ-SHARE-002: External import
+- REQ-SHARE-003: Ontology validation
+- REQ-SHARE-004: Privacy protection
+- REQ-SHARE-005: Conflict resolution

package/docs/adr/0003-owl-2-rl-implementation-strategy-for-advanced-infe.md

@@ -0,0 +1,90 @@
+# ADR-0003: OWL 2 RL Implementation Strategy for advanced inference
+
+- **Date**: 2026-01-05
+- **Status**: accepted
+- **Deciders**: Architecture Team
+- **Categories**: Ontology, Inference
+
+## Context
+
+MUSUBIX v1.4.xではN3.jsによる基本的なRDF処理を実装済み。OWL 2 RLプロファイルの推論機能を追加する必要がある。
+
+### 要件
+- REQ-ONTO-010: OWL 2 RLプロファイル対応
+- REQ-ONTO-011: 200ms以内の推論（10,000トリプルまで）
+- REQ-ONTO-014: Datalogルール統合（最大100ルール）
+
+### 検討した選択肢
+1. **完全なOWL 2推論器（HermiT等）**: Javaベース、高機能だが重い
+2. **N3.js + カスタムルール**: 既存実装を拡張
+3. **RDFox / Stardog**: 商用推論エンジン
+
+## Decision
+
+**選択肢 2: N3.js + カスタムOWL 2 RLルール** を採用する。
+
+### 理由
+- 既存のN3Store実装を活用可能
+- 軽量でNode.js環境に最適
+- 必要なルールセットのみ実装（段階的拡張）
+
+### 実装するOWL 2 RLルール（Phase 1）
+
+| ルールID | 説明 | 優先度 |
+|----------|------|--------|
+| prp-dom | rdfs:domain推論 | P0 |
+| prp-rng | rdfs:range推論 | P0 |
+| prp-spo1 | rdfs:subPropertyOf推論 | P0 |
+| cax-sco | rdfs:subClassOf推論 | P0 |
+| prp-trp | owl:TransitiveProperty | P1 |
+| prp-symp | owl:SymmetricProperty | P1 |
+| prp-inv1/2 | owl:inverseOf | P1 |
+
+### アーキテクチャ
+
+```
+QueryEngine
+    │
+    ▼
+RuleEngine (OWL 2 RL)
+    │
+    ├── BuiltInRules (prp-*, cax-*)
+    │
+    └── DatalogIntegrator (最大100ルール)
+           │
+           ▼
+    InferenceExecutor (200ms SLA)
+           │
+           ▼
+    ExplanationGenerator
+```
+
+### パフォーマンス目標
+| グラフサイズ | 目標レイテンシ |
+|-------------|---------------|
+| 1,000 triples | < 50ms |
+| 5,000 triples | < 100ms |
+| 10,000 triples | < 200ms |
+
+## Consequences
+
+### Positive
+- 既存実装との統合が容易
+- 軽量で高速
+- 段階的な機能追加が可能
+
+### Negative
+- OWL 2 RL全機能のサポートには時間がかかる
+- 複雑な推論には限界あり
+
+### Risks
+- 10,000トリプル超での性能劣化
+- 軽減策: インデックス最適化、マテリアライズドビュー
+
+## Related Requirements
+
+- REQ-ONTO-010: OWL 2 RL support
+- REQ-ONTO-011: 200ms inference latency
+- REQ-ONTO-012: Progress feedback
+- REQ-ONTO-013: Explanation generation
+- REQ-ONTO-014: Datalog integration

package/package.json

@@ -1,14 +1,14 @@
 {
   "name": "musubix",
-  "version": "1.4.1",
+  "version": "1.4.3",
   "description": "Neuro-Symbolic AI Coding System - MUSUBI × YATA Integration",
   "type": "module",
   "workspaces": [
     "packages/*"
   ],
   "bin": {
-    "musubix": "./bin/musubix.js",
-    "musubix-mcp": "./bin/musubix-mcp.js"
+    "musubix": "bin/musubix.js",
+    "musubix-mcp": "bin/musubix-mcp.js"
   },
   "files": [
     "bin/",
@@ -37,7 +37,7 @@
   },
   "repository": {
     "type": "git",
-    "url": "https://github.com/nahisaho/MUSUBIX.git"
+    "url": "git+https://github.com/nahisaho/MUSUBIX.git"
   },
   "keywords": [
     "ai",
@@ -56,6 +56,7 @@
     "@types/node": "^20.10.0",
     "@typescript-eslint/eslint-plugin": "^6.13.0",
     "@typescript-eslint/parser": "^6.13.0",
+    "@vitest/coverage-v8": "^4.0.16",
     "eslint": "^8.55.0",
     "typescript": "^5.3.0",
     "vitest": "^4.0.16"
@@ -65,10 +66,10 @@
     "@nahisaho/musubi": "^1.3.0",
     "@nahisaho/musubix-core": "^1.3.0",
     "@nahisaho/musubix-mcp-server": "^1.3.0",
-    "@nahisaho/musubix-yata-client": "^1.3.0",
-    "@nahisaho/musubix-pattern-mcp": "^1.0.0",
     "@nahisaho/musubix-ontology-mcp": "^1.0.0",
+    "@nahisaho/musubix-pattern-mcp": "^1.0.0",
+    "@nahisaho/musubix-sdd-ontology": "^1.0.0",
     "@nahisaho/musubix-wake-sleep": "^1.0.0",
-    "@nahisaho/musubix-sdd-ontology": "^1.0.0"
+    "@nahisaho/musubix-yata-client": "^1.3.0"
   }
 }