musubix 1.3.1 → 1.4.1

package/AGENTS.md

@@ -8,13 +8,13 @@
 
 | 項目 | 詳細 |
 |------|------|
-| **バージョン** | 1.3.0 |
+| **バージョン** | 1.4.1 |
 | **言語** | TypeScript |
 | **ランタイム** | Node.js >= 20.0.0 |
 | **パッケージマネージャ** | npm >= 10.0.0 |
 | **ビルドシステム** | モノレポ（npm workspaces） |
 | **テストフレームワーク** | Vitest |
-| **テスト数** | 752 (全合格) |
+| **テスト数** | 775 (全合格) |
 | **コンポーネント数** | 243 (62ドメイン対応) |
 | **Agent Skills** | 12 (Claude Code対応) |
 
@@ -112,7 +112,9 @@ npx musubix learn remove-pattern <id>      # パターン削除
 npx musubix learn recommend                # コンテキストベースの推奨
 npx musubix learn decay                    # 未使用パターンの減衰
 npx musubix learn export                   # 学習データエクスポート
+  # オプション: --output <file>, --privacy-filter, --patterns-only, --feedback-only, --min-confidence <n>
 npx musubix learn import <file>            # 学習データインポート
+  # オプション: --merge-strategy <skip|overwrite|merge>, --dry-run, --patterns-only, --feedback-only
 
 # ヘルプ
 npx musubix --help
@@ -467,6 +469,6 @@ npx musubix learn best-practices --format markdown
 ---
 
 **Agent**: GitHub Copilot / Claude
-**Last Updated**: 2025-01-10
-**Version**: 1.3.0
+**Last Updated**: 2025-01-05
+**Version**: 1.4.1
 **Repository**: https://github.com/nahisaho/MUSUBIX

package/README.ja.md

@@ -6,11 +6,11 @@
 [![Node.js Version](https://img.shields.io/badge/node-%3E%3D20.0.0-brightgreen)](https://nodejs.org/)
 [![License](https://img.shields.io/badge/license-MIT-blue)](LICENSE)
 [![TypeScript](https://img.shields.io/badge/TypeScript-5.3-blue)](https://www.typescriptlang.org/)
-[![Tests](https://img.shields.io/badge/tests-752%20passing-brightgreen)](https://github.com/nahisaho/MUSUBIX)
+[![Tests](https://img.shields.io/badge/tests-775%20passing-brightgreen)](https://github.com/nahisaho/MUSUBIX)
 
 > MUSUBI × YATA 統合による次世代AIコーディングシステム
 >
-> **v1.3.0** - Wake-Sleep学習サイクル統合完了（S1-S3スプリント）
+> **v1.4.1** - 正誤性検証＆OWL制約チェック
 
 ## 概要
 

package/README.md

@@ -7,11 +7,11 @@
 [![Node.js Version](https://img.shields.io/badge/node-%3E%3D20.0.0-brightgreen)](https://nodejs.org/)
 [![License](https://img.shields.io/badge/license-MIT-blue)](LICENSE)
 [![TypeScript](https://img.shields.io/badge/TypeScript-5.3-blue)](https://www.typescriptlang.org/)
-[![Tests](https://img.shields.io/badge/tests-752%20passing-brightgreen)](https://github.com/nahisaho/MUSUBIX)
+[![Tests](https://img.shields.io/badge/tests-775%20passing-brightgreen)](https://github.com/nahisaho/MUSUBIX)
 
 > Next-generation AI Coding System powered by MUSUBI × YATA Integration
 >
-> **v1.3.0** - Wake-Sleep Learning Cycle Integration Complete (S1-S3 Sprint)
+> **v1.4.1** - Consistency Validation & OWL Constraint Checking
 
 **[日本語版 README](README.ja.md)**
 

package/docs/INSTALL-GUIDE.ja.md

@@ -1,7 +1,7 @@
 # MUSUBIX インストールガイド
 
 **文書ID**: INSTALL-GUIDE  
-**バージョン**: 1.3.0  
+**バージョン**: 1.4.1  
 **最終更新**: 2026-01-05
 
 ---

package/docs/INSTALL-GUIDE.md

@@ -1,7 +1,7 @@
 # MUSUBIX Installation Guide
 
 **Document ID**: INSTALL-GUIDE  
-**Version**: 1.3.0  
+**Version**: 1.4.1  
 **Last Updated**: 2026-01-05
 
 ---

package/docs/USER-GUIDE.ja.md

@@ -16,8 +16,9 @@
 10. [自己学習システム](#自己学習システム)
 11. [C4コード生成](#c4コード生成)
 12. [シンボリック推論](#シンボリック推論) *(v1.2.0)*
-13. [MCPサーバー連携](#mcpサーバー連携)
-14. [YATA知識グラフ](#yata知識グラフ)
+13. [正誤性検証](#正誤性検証) *(v1.4.1)*
+14. [MCPサーバー連携](#mcpサーバー連携)
+15. [YATA知識グラフ](#yata知識グラフ)
 15. [ベストプラクティス](#ベストプラクティス)
 16. [トラブルシューティング](#トラブルシューティング)
 
@@ -538,11 +539,21 @@ musubix learn recommend --artifact-type code
 # 未使用パターンの減衰を適用
 musubix learn decay
 
-# 学習データをエクスポート
+# 学習データをエクスポート（v1.4.0 拡張）
 musubix learn export --output learning-data.json
+# オプション:
+#   --privacy-filter         機密情報を除去（APIキー、パスワード等）
+#   --patterns-only          パターンのみエクスポート
+#   --feedback-only          フィードバックのみエクスポート
+#   --min-confidence <n>     最小信頼度（0-1）
 
-# 学習データをインポート
+# 学習データをインポート（v1.4.0 マージ戦略対応）
 musubix learn import learning-data.json
+# オプション:
+#   --merge-strategy <skip|overwrite|merge>  重複の処理方法
+#   --dry-run                                変更をプレビュー
+#   --patterns-only                          パターンのみインポート
+#   --feedback-only                          フィードバックのみインポート
 ```
 
 ### プログラムからの使用
@@ -742,6 +753,93 @@ console.log('ゲート詳細:', gateResult.gates);
 
 ---
 
+## 正誤性検証
+
+*(v1.4.1 新機能)*
+
+### 概要
+
+正誤性検証は、知識グラフへのトリプル追加時にデータの整合性を確保します。OWL制約に基づいて違反を検出し、不正なデータの登録を防止します。
+
+### 検証タイプ
+
+| タイプ | 説明 | 重大度 |
+|--------|------|--------|
+| `disjoint-class-membership` | 排他的クラスの両方に所属 | error |
+| `functional-property-violation` | 関数型プロパティに複数値 | error |
+| `inverse-functional-violation` | 同じ値が複数の主語にマップ | error |
+| `asymmetric-violation` | 非対称プロパティに逆方向が存在 | error |
+| `irreflexive-violation` | 非反射プロパティで自己参照 | error |
+| `duplicate-triple` | 完全一致の重複トリプル | warning |
+| `circular-dependency` | subClassOfの循環チェーン | error |
+
+### 使用方法
+
+#### 検証付きトリプル追加
+
+```typescript
+import { N3Store } from '@nahisaho/musubix-ontology-mcp';
+
+// 追加時検証を有効化
+const store = new N3Store({}, true);
+
+// 検証付き追加
+const result = store.addTripleValidated({
+  subject: 'http://example.org/Person1',
+  predicate: 'http://example.org/hasMother',
+  object: 'http://example.org/Mother1'
+});
+
+if (!result.success) {
+  console.error('検証エラー:', result.validation.errors);
+}
+```
+
+#### ストア全体の整合性チェック
+
+```typescript
+// ストア全体をチェック
+const consistency = store.checkConsistency();
+
+if (!consistency.consistent) {
+  for (const violation of consistency.violations) {
+    console.log(`${violation.type}: ${violation.message}`);
+    console.log('関連トリプル:', violation.triples);
+  }
+  
+  // 修正提案を取得
+  for (const suggestion of consistency.suggestions) {
+    console.log(`提案: ${suggestion.suggestion}`);
+    console.log(`自動修正可能: ${suggestion.autoFixable}`);
+  }
+}
+```
+
+#### 直接バリデータを使用
+
+```typescript
+import { ConsistencyValidator } from '@nahisaho/musubix-ontology-mcp';
+
+const validator = new ConsistencyValidator({
+  checkDisjointClasses: true,
+  checkFunctionalProperties: true,
+  checkDuplicates: true,
+  checkCircularDependencies: true
+});
+
+// 追加前に検証
+const validation = validator.validateTriple(newTriple, existingTriples);
+if (!validation.valid) {
+  console.error(validation.errors);
+}
+
+// 重複を検出
+const duplicates = validator.findDuplicates(allTriples);
+const semanticDuplicates = validator.findSemanticDuplicates(allTriples);
+```
+
+---
+
 ## MCPサーバー連携
 
 ### MCPサーバーの起動

package/docs/USER-GUIDE.md

@@ -14,10 +14,11 @@
 6. [Self-Learning System](#self-learning-system)
 7. [C4 Code Generation](#c4-code-generation)
 8. [Symbolic Reasoning](#symbolic-reasoning) *(v1.2.0)*
-9. [MCP Server Integration](#mcp-server-integration)
-10. [YATA Integration](#yata-integration)
-11. [Best Practices](#best-practices)
-12. [Troubleshooting](#troubleshooting)
+9. [Consistency Validation](#consistency-validation) *(v1.4.1)*
+10. [MCP Server Integration](#mcp-server-integration)
+11. [YATA Integration](#yata-integration)
+12. [Best Practices](#best-practices)
+13. [Troubleshooting](#troubleshooting)
 
 ---
 
@@ -406,11 +407,21 @@ musubix learn recommend --artifact-type code
 # Apply decay to unused patterns
 musubix learn decay
 
-# Export learning data
+# Export learning data (v1.4.0 enhanced)
 musubix learn export --output learning-data.json
+# Options:
+#   --privacy-filter         Remove sensitive data (API keys, passwords)
+#   --patterns-only          Export patterns only (exclude feedback)
+#   --feedback-only          Export feedback only (exclude patterns)
+#   --min-confidence <n>     Minimum confidence threshold (0-1)
 
-# Import learning data
+# Import learning data with merge strategy (v1.4.0 enhanced)
 musubix learn import learning-data.json
+# Options:
+#   --merge-strategy <skip|overwrite|merge>  How to handle duplicates
+#   --dry-run                                Preview without applying
+#   --patterns-only                          Import patterns only
+#   --feedback-only                          Import feedback only
 ```
 
 ### Programmatic Usage
@@ -702,6 +713,93 @@ console.log('Gate details:', gateResult.gates);
 
 ---
 
+## Consistency Validation
+
+*(v1.4.1 New Feature)*
+
+### Overview
+
+Consistency validation ensures data integrity when adding triples to the knowledge graph. Based on OWL constraints, it detects violations before they corrupt the knowledge base.
+
+### Validation Types
+
+| Type | Description | Severity |
+|------|-------------|----------|
+| `disjoint-class-membership` | Instance belongs to disjoint classes | error |
+| `functional-property-violation` | Multiple values for functional property | error |
+| `inverse-functional-violation` | Same value maps to multiple subjects | error |
+| `asymmetric-violation` | Inverse relation exists for asymmetric property | error |
+| `irreflexive-violation` | Self-reference for irreflexive property | error |
+| `duplicate-triple` | Exact duplicate triple | warning |
+| `circular-dependency` | Circular subClassOf chain | error |
+
+### Usage
+
+#### Validated Triple Addition
+
+```typescript
+import { N3Store } from '@nahisaho/musubix-ontology-mcp';
+
+// Enable validation on add
+const store = new N3Store({}, true);
+
+// Add with validation
+const result = store.addTripleValidated({
+  subject: 'http://example.org/Person1',
+  predicate: 'http://example.org/hasMother',
+  object: 'http://example.org/Mother1'
+});
+
+if (!result.success) {
+  console.error('Validation errors:', result.validation.errors);
+}
+```
+
+#### Store-wide Consistency Check
+
+```typescript
+// Check entire store
+const consistency = store.checkConsistency();
+
+if (!consistency.consistent) {
+  for (const violation of consistency.violations) {
+    console.log(`${violation.type}: ${violation.message}`);
+    console.log('Affected triples:', violation.triples);
+  }
+  
+  // Get fix suggestions
+  for (const suggestion of consistency.suggestions) {
+    console.log(`Suggestion: ${suggestion.suggestion}`);
+    console.log(`Auto-fixable: ${suggestion.autoFixable}`);
+  }
+}
+```
+
+#### Direct Validator Usage
+
+```typescript
+import { ConsistencyValidator } from '@nahisaho/musubix-ontology-mcp';
+
+const validator = new ConsistencyValidator({
+  checkDisjointClasses: true,
+  checkFunctionalProperties: true,
+  checkDuplicates: true,
+  checkCircularDependencies: true
+});
+
+// Validate before adding
+const validation = validator.validateTriple(newTriple, existingTriples);
+if (!validation.valid) {
+  console.error(validation.errors);
+}
+
+// Find duplicates
+const duplicates = validator.findDuplicates(allTriples);
+const semanticDuplicates = validator.findSemanticDuplicates(allTriples);
+```
+
+---
+
 ## YATA Integration
 
 ### What is YATA?

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

@@ -21,7 +21,7 @@ AIコーディング支援ツールは急速に進化しています。本記事
 
 # TL;DR
 
-> **最新バージョン**: v1.3.0 | **62ドメイン対応** | **243コンポーネント** | **752テスト** | **17ベストプラクティス**
+> **最新バージョン**: v1.4.1 | **62ドメイン対応** | **243コンポーネント** | **775テスト** | **17ベストプラクティス**
 
 | 項目 | MUSUBI | MUSUBIX |
 |------|--------|---------|
@@ -32,6 +32,8 @@ AIコーディング支援ツールは急速に進化しています。本記事
 | **統合対象** | 7つのAIエージェント | MUSUBI + YATA + 7エージェント |
 | **ドメイン** | 汎用 | 62専門ドメイン対応 |
 | **自己学習** | なし | フィードバックベースの適応学習 |
+| **知識共有** | なし | **プロジェクト間ポータビリティ**（v1.4.0） |
+| **正誤性検証** | なし | **OWL制約チェック**（v1.4.1） |
 
 # 1. MUSUBIとは？
 
@@ -1097,6 +1099,160 @@ class UserRepository {
 //   推奨メソッド: findAll(), delete(), exists()」
 ```
 
+## 4.8 学習データのポータビリティ（v1.4.0）
+
+v1.4.0では、**プロジェクト間で学習データを共有・移行**するためのCLI機能を追加しました。これにより、あるプロジェクトで蓄積したパターンや知見を、新しいプロジェクトで即座に活用できます。
+
+### なぜポータビリティが必要か？
+
+従来の課題:
+- 各プロジェクトで一から学習をやり直す必要があった
+- チーム間で知見の共有が困難だった
+- 機密情報を含むデータの共有にセキュリティリスクがあった
+
+v1.4.0での解決:
+- **エクスポート/インポート**: CLI一発で学習データを移行
+- **プライバシーフィルター**: API Key、パスワード等を自動除去
+- **マージ戦略**: 既存データとの統合方法を選択可能
+
+### CLIコマンド
+
+```bash
+# エクスポート（機密情報除去、高信頼度パターンのみ）
+npx musubix learn export \
+  --output team-patterns.json \
+  --privacy-filter \
+  --patterns-only \
+  --min-confidence 0.8
+
+# インポート（マージ戦略指定、ドライラン）
+npx musubix learn import team-patterns.json \
+  --merge-strategy merge \
+  --dry-run
+```
+
+### マージ戦略
+
+| 戦略 | 動作 | ユースケース |
+|------|------|-------------|
+| **skip** | 既存を保持、重複をスキップ | 既存の学習を壊したくない場合 |
+| **overwrite** | インポートデータで上書き | 最新データで完全更新する場合 |
+| **merge** | 出現回数を合計、信頼度は最大値 | チームの知見を統合する場合 |
+
+### プライバシーフィルター
+
+以下のパターンを自動検出して`[REDACTED]`に置換:
+
+```typescript
+// 検出対象
+const PRIVACY_PATTERNS = [
+  /api[_-]?key/i,      // API_KEY, api-key
+  /secret/i,           // SECRET, secret
+  /password/i,         // PASSWORD, password
+  /token/i,            // TOKEN, token
+  /credential/i,       // CREDENTIAL
+  /private[_-]?key/i,  // PRIVATE_KEY
+  /bearer/i,           // Bearer token
+  /jwt/i,              // JWT
+];
+
+// 32文字以上の英数字文字列も除去
+// 例: "sk-proj-abc123..." → "[REDACTED]"
+```
+
+### 活用シナリオ
+
+```
+プロジェクトA（成熟）              プロジェクトB（新規）
+┌──────────────────┐            ┌──────────────────┐
+│ 学習済みパターン    │            │ 初期状態          │
+│ - Repository      │   export   │                  │
+│ - Service Layer   │ ────────→ │                  │
+│ - Value Object    │   import   │ 学習済みパターン   │
+│ 信頼度: 90%+      │            │ 即座に活用可能！   │
+└──────────────────┘            └──────────────────┘
+```
+
+## 4.9 正誤性検証（v1.4.1）
+
+v1.4.1では、**知識グラフへのデータ登録時の正誤性検証**機能を追加しました。OWL制約に基づく一貫性チェックにより、不正なデータの登録を防止します。
+
+### なぜ正誤性検証が必要か？
+
+従来の課題:
+- 不正なトリプルがそのまま登録されてしまう
+- 重複データの蓄積
+- OWL制約違反（関数型プロパティに複数値など）の検出ができない
+
+v1.4.1での解決:
+- **ConsistencyValidator**: OWL制約に基づく7種類の検証
+- **事前検証**: `addTripleValidated()`でエラーを未然に防止
+- **一括検証**: `checkConsistency()`でストア全体をチェック
+
+### 検証タイプ
+
+| タイプ | 説明 | 重大度 |
+|--------|------|--------|
+| `disjoint-class-membership` | owl:disjointWith違反 | error |
+| `functional-property-violation` | owl:FunctionalProperty違反（複数値） | error |
+| `inverse-functional-violation` | owl:InverseFunctionalProperty違反 | error |
+| `asymmetric-violation` | owl:AsymmetricProperty違反（逆方向存在） | error |
+| `irreflexive-violation` | owl:IrreflexiveProperty違反（自己参照） | error |
+| `duplicate-triple` | 完全一致の重複トリプル | warning |
+| `circular-dependency` | subClassOf等の循環依存 | error |
+
+### 使用例
+
+```typescript
+import { N3Store } from '@nahisaho/musubix-ontology-mcp';
+
+// 検証付きストア（validateOnAdd = true）
+const store = new N3Store({}, true);
+
+// 検証付き追加
+const result = store.addTripleValidated({
+  subject: 'http://example.org/Person1',
+  predicate: 'http://example.org/hasMother',
+  object: 'http://example.org/Mother1'
+});
+
+if (!result.success) {
+  console.error('Validation errors:', result.validation.errors);
+}
+
+// ストア全体の整合性チェック
+const consistency = store.checkConsistency();
+if (!consistency.consistent) {
+  for (const v of consistency.violations) {
+    console.log(`${v.type}: ${v.message}`);
+  }
+}
+```
+
+### 検証フロー
+
+```
+トリプル追加要求
+      │
+      ▼
+┌─────────────────┐
+│ validateTriple()│  ← 事前検証
+└────────┬────────┘
+         │
+    ┌────┴────┐
+    │ valid?  │
+    └────┬────┘
+    No   │   Yes
+    │    │
+    ▼    ▼
+  拒否  追加
+         │
+         ▼
+  ┌──────────────┐
+  │ 推論適用      │
+  └──────────────┘
+```
+
 # 5. 9つの憲法条項
 
 MUSUBIXは、MUSUBIから継承した **9つの憲法条項（Constitutional Articles）** を遵守します。これらは開発プロセス全体を統治する不変の原則であり、AIコーディングエージェントが従うべきガバナンスフレームワークです。
@@ -1287,6 +1443,10 @@ npx musubix-mcp
 | @nahisaho/musubix-core | `npm install @nahisaho/musubix-core` | コアライブラリ |
 | @nahisaho/musubix-mcp-server | `npm install @nahisaho/musubix-mcp-server` | MCPサーバー |
 | @nahisaho/musubix-yata-client | `npm install @nahisaho/musubix-yata-client` | YATAクライアント |
+| @nahisaho/musubix-pattern-mcp | `npm install @nahisaho/musubix-pattern-mcp` | パターン抽出・圧縮・ライブラリ |
+| @nahisaho/musubix-ontology-mcp | `npm install @nahisaho/musubix-ontology-mcp` | N3Store・RDF推論エンジン |
+| @nahisaho/musubix-wake-sleep | `npm install @nahisaho/musubix-wake-sleep` | Wake-Sleep学習サイクル |
+| @nahisaho/musubix-sdd-ontology | `npm install @nahisaho/musubix-sdd-ontology` | SDD方法論オントロジー |
 
 ## 8.3 利用方法の選択
 
@@ -1375,7 +1535,7 @@ MUSUBIXのEARS形式で要件を書いてください
 
 ## 8.5 方法2: MCP経由（MCPサーバー連携）
 
-MCP（Model Context Protocol）を使用すると、**9つの専用ツール**と**3つのプロンプト**を利用でき、より高度な機能（知識グラフクエリ、トレーサビリティ検証等）が使えます。
+MCP（Model Context Protocol）を使用すると、**16の専用ツール**（SDD基本9 + パターン統合7）と**3つのプロンプト**を利用でき、より高度な機能（知識グラフクエリ、トレーサビリティ検証、パターン学習等）が使えます。
 
 ### Claude Code（CLI）
 
@@ -1415,7 +1575,9 @@ claude mcp list
 }
 ```
 
-### 利用可能なMCPツール（9ツール）
+### 利用可能なMCPツール（16ツール）
+
+#### SDD基本ツール（9ツール）
 
 | ツール名 | 説明 |
 |---------|------|
@@ -1429,6 +1591,18 @@ claude mcp list
 | `sdd_validate_constitution` | 9憲法条項への準拠検証 |
 | `sdd_validate_traceability` | 要件↔設計↔タスクのトレーサビリティ検証 |
 
+#### パターン統合ツール（7ツール）- v1.3.0 NEW!
+
+| ツール名 | 説明 |
+|---------|------|
+| `pattern_extract` | コードからパターンを抽出 |
+| `pattern_compress` | パターンの抽象化・圧縮 |
+| `pattern_store` | パターンライブラリへの保存 |
+| `pattern_query` | パターンの検索・取得 |
+| `pattern_consolidate` | 類似パターンの統合 |
+| `ontology_query` | オントロジーグラフへのクエリ |
+| `ontology_infer` | オントロジーによる推論実行 |
+
 ### メリット
 
 - ✅ **高度な機能**: 知識グラフ連携、矛盾検出

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "musubix",
-  "version": "1.3.1",
+  "version": "1.4.1",
   "description": "Neuro-Symbolic AI Coding System - MUSUBI × YATA Integration",
   "type": "module",
   "workspaces": [