musubix 3.4.7 → 3.5.0

package/docs/overview/MUSUBIX-Overview.md

@@ -1,264 +0,0 @@
-# MUSUBIX - Neuro-Symbolic AI Integration System
-
-**バージョン**: 1.7.5 (Formal Verification Edition)  
-**最終更新**: 2026-01-06
-
----
-
-## 1. 概要
-
-**MUSUBIX**（ムスビックス）は、**Neural（LLM/大規模言語モデル）** と **Symbolic（Knowledge Graph/知識グラフ）** 推論を統合した次世代AIコーディング支援システムです。
-
-MUSUBI SDD（Specification-Driven Development）方法論とYATA知識グラフ推論エンジンを組み合わせ、高品質なソフトウェア開発を実現します。
-
-### 1.1 主要な特徴
-
-| 特徴 | 説明 |
-|------|------|
-| **Neuro-Symbolic統合** | LLMの創造性とシンボリック推論の精密性を融合 |
-| **EARS形式要件** | 5パターンの形式的要件記述（Easy Approach to Requirements Syntax） |
-| **9条憲法** | 開発プロセスを統治する9つの不変ルール |
-| **完全トレーサビリティ** | 要件→設計→コード→テストの100%追跡 |
-| **形式検証** | Z3 SMTソルバによる数学的正確性の検証 |
-| **自己学習** | フィードバックに基づくパターン学習と適応 |
-| **知識グラフ** | SQLiteベースのローカル知識グラフとグローバル共有 |
-
-### 1.2 システム要件
-
-| 項目 | 要件 |
-|------|------|
-| **ランタイム** | Node.js >= 20.0.0 |
-| **パッケージマネージャ** | npm >= 10.0.0 |
-| **言語** | TypeScript 5.x |
-| **ビルドシステム** | npm workspaces（モノレポ） |
-| **テストフレームワーク** | Vitest |
-
----
-
-## 2. アーキテクチャ
-
-### 2.1 パッケージ構成
-
-```
-packages/
-├── core/           # @nahisaho/musubix-core
-├── mcp-server/     # @nahisaho/musubix-mcp-server  
-├── formal-verify/  # @nahisaho/musubix-formal-verify
-├── yata-client/    # @nahisaho/musubix-yata-client
-├── yata-local/     # @nahisaho/yata-local
-├── yata-global/    # @nahisaho/yata-global
-├── yata-ui/        # @nahisaho/yata-ui
-├── pattern-mcp/    # @nahisaho/musubix-pattern-mcp
-├── ontology-mcp/   # @nahisaho/musubix-ontology-mcp
-├── wake-sleep/     # @nahisaho/musubix-wake-sleep
-└── sdd-ontology/   # @nahisaho/musubix-sdd-ontology
-```
-
-### 2.2 パッケージ一覧
-
-| パッケージ | npm | 役割 |
-|-----------|-----|------|
-| **core** | `@nahisaho/musubix-core` | コアライブラリ - CLI、EARS検証、コード生成、設計パターン |
-| **mcp-server** | `@nahisaho/musubix-mcp-server` | MCPサーバー - AIエージェント連携 |
-| **formal-verify** | `@nahisaho/musubix-formal-verify` | 形式検証 - Z3統合、Hoare検証 |
-| **yata-client** | `@nahisaho/musubix-yata-client` | YATAクライアント - 知識グラフAPI |
-| **yata-local** | `@nahisaho/yata-local` | ローカル知識グラフ - SQLiteベース |
-| **yata-global** | `@nahisaho/yata-global` | グローバル知識グラフ - 分散共有 |
-| **yata-ui** | `@nahisaho/yata-ui` | Web UI - 可視化・管理 |
-| **pattern-mcp** | `@nahisaho/musubix-pattern-mcp` | パターン学習 - 抽出・圧縮 |
-| **ontology-mcp** | `@nahisaho/musubix-ontology-mcp` | オントロジー - N3Store・推論 |
-| **wake-sleep** | `@nahisaho/musubix-wake-sleep` | Wake-Sleep学習サイクル |
-| **sdd-ontology** | `@nahisaho/musubix-sdd-ontology` | SDD方法論オントロジー |
-
-### 2.3 依存関係図
-
-```
-┌─────────────────────────────────────────────────────────────┐
-│                    MCP Server                               │
-│  ┌─────────────────────────────────────────────────────┐    │
-│  │ Claude Code / GitHub Copilot / Cursor / Gemini CLI  │    │
-│  └─────────────────────────────────────────────────────┘    │
-└──────────────────────┬──────────────────────────────────────┘
-                       │
-┌──────────────────────▼──────────────────────────────────────┐
-│                    MUSUBIX Core                             │
-│  ┌─────────┐ ┌─────────┐ ┌─────────┐ ┌─────────────────┐    │
-│  │Symbolic │ │ CodeGen │ │ Design  │ │   Traceability  │    │
-│  └────┬────┘ └────┬────┘ └────┬────┘ └────────┬────────┘    │
-│       │           │           │               │             │
-│  ┌────▼───────────▼───────────▼───────────────▼──────────┐  │
-│  │              Learning System                          │  │
-│  └───────────────────────────┬───────────────────────────┘  │
-└──────────────────────────────┼──────────────────────────────┘
-                               │
-┌──────────────────────────────▼──────────────────────────────┐
-│                    YATA Knowledge Graph                     │
-│  ┌─────────────┐    ┌──────────────┐    ┌─────────────┐     │
-│  │ YATA Local  │◄──►│ YATA Global  │◄──►│   YATA UI   │     │
-│  │  (SQLite)   │    │ (Distributed)│    │   (Web)     │     │
-│  └─────────────┘    └──────────────┘    └─────────────┘     │
-└─────────────────────────────────────────────────────────────┘
-```
-
----
-
-## 3. 9条憲法（Constitutional Articles）
-
-MUSUBIXのすべての開発活動を統治する不変のルールです。
-
-| 条項 | 名称 | 概要 |
-|------|------|------|
-| **I** | Library-First | 機能は独立ライブラリとして開始 |
-| **II** | CLI Interface | すべてのライブラリはCLI公開必須 |
-| **III** | Test-First | Red-Green-Blueサイクルでテスト先行 |
-| **IV** | EARS Format | 要件はEARS形式で記述 |
-| **V** | Traceability | 要件↔設計↔コード↔テストの100%追跡 |
-| **VI** | Project Memory | steering/を参照してから決定 |
-| **VII** | Design Patterns | 設計パターン適用の文書化 |
-| **VIII** | Decision Records | すべての決定をADRで記録 |
-| **IX** | Quality Gates | フェーズ移行前の品質検証 |
-
----
-
-## 4. EARS要件形式
-
-5つのEARSパターンで要件を形式化します。
-
-| パターン | 構文 | 用途 |
-|---------|------|------|
-| **Ubiquitous** | `THE [system] SHALL [requirement]` | システムが常に満たすべき要件 |
-| **Event-driven** | `WHEN [event], THE [system] SHALL [response]` | 特定イベント発生時の要件 |
-| **State-driven** | `WHILE [state], THE [system] SHALL [response]` | 特定状態における要件 |
-| **Unwanted** | `THE [system] SHALL NOT [behavior]` | 回避すべき動作の要件 |
-| **Optional** | `IF [condition], THEN THE [system] SHALL [response]` | 条件付き要件 |
-
-### 例
-
-```
-# Ubiquitous（常時）
-THE system SHALL encrypt all user data at rest.
-
-# Event-driven（イベント駆動）
-WHEN a user submits a login form, THE system SHALL validate credentials within 2 seconds.
-
-# State-driven（状態駆動）
-WHILE the system is in maintenance mode, THE system SHALL reject all API requests.
-
-# Unwanted（禁止）
-THE system SHALL NOT store passwords in plain text.
-
-# Optional（条件付き）
-IF the user has admin privileges, THEN THE system SHALL display the admin dashboard.
-```
-
----
-
-## 5. Neuro-Symbolic統合
-
-### 5.1 統合アーキテクチャ
-
-MUSUBIXは、LLM（Neural）の創造性とシンボリック推論の精密性を組み合わせます。
-
-```
-┌─────────────────────────────────────────────────────────────┐
-│                    User Request                             │
-└──────────────────────┬──────────────────────────────────────┘
-                       │
-┌──────────────────────▼──────────────────────────────────────┐
-│                  Neural (LLM)                               │
-│  • コード生成                                                │
-│  • 自然言語理解                                              │
-│  • 創造的問題解決                                            │
-└──────────────────────┬──────────────────────────────────────┘
-                       │
-┌──────────────────────▼──────────────────────────────────────┐
-│              Symbolic Verification                          │
-│  • 知識グラフ検証                                            │
-│  • 憲法準拠チェック                                          │
-│  • ハルシネーション検出                                      │
-│  • 形式検証（Z3）                                            │
-└──────────────────────┬──────────────────────────────────────┘
-                       │
-┌──────────────────────▼──────────────────────────────────────┐
-│               Confidence Router                             │
-│  ┌─────────────────────────────────────────────────────┐    │
-│  │ Symbolic結果    Neural信頼度    最終決定              │    │
-│  │ ─────────────  ─────────────  ─────────────         │    │
-│  │ invalid        -              Neural結果を棄却       │    │
-│  │ valid          ≥0.8           Neural結果を採用       │    │
-│  │ valid          <0.8           Symbolic結果を優先     │    │
-│  └─────────────────────────────────────────────────────┘    │
-└─────────────────────────────────────────────────────────────┘
-```
-
-### 5.2 信頼度評価
-
-| シンボリック結果 | ニューラル信頼度 | 最終決定 |
-|-----------------|-----------------|---------|
-| `invalid` | - | ニューラル結果を**棄却** |
-| `valid` | ≥0.8 | ニューラル結果を**採用** |
-| `valid` | <0.8 | シンボリック結果を**優先** |
-
----
-
-## 6. クイックスタート
-
-### 6.1 インストール
-
-```bash
-# グローバルインストール
-npm install -g @nahisaho/musubix-core
-
-# プロジェクトにインストール
-npm install @nahisaho/musubix-core
-```
-
-### 6.2 プロジェクト初期化
-
-```bash
-npx musubix init my-project
-cd my-project
-```
-
-### 6.3 基本的なワークフロー
-
-```bash
-# 1. 要件をEARS形式で定義
-npx musubix requirements analyze requirements.md
-
-# 2. 設計を生成
-npx musubix design generate requirements.md
-
-# 3. コードを生成
-npx musubix codegen generate design.md
-
-# 4. テストを生成
-npx musubix test generate src/
-
-# 5. トレーサビリティを検証
-npx musubix trace validate
-```
-
----
-
-## 7. 関連ドキュメント
-
-| ドキュメント | 説明 |
-|-------------|------|
-| [MUSUBIX-Core.md](MUSUBIX-Core.md) | Coreパッケージ詳細 |
-| [MUSUBIX-FormalVerify.md](MUSUBIX-FormalVerify.md) | 形式検証パッケージ |
-| [MUSUBIX-MCP-Server.md](MUSUBIX-MCP-Server.md) | MCPサーバー |
-| [MUSUBIX-YATA.md](MUSUBIX-YATA.md) | YATA知識グラフ |
-| [MUSUBIX-Learning.md](MUSUBIX-Learning.md) | 学習システム |
-| [USER-GUIDE.md](USER-GUIDE.md) | ユーザーガイド |
-| [API-REFERENCE.md](API-REFERENCE.md) | APIリファレンス |
-
----
-
-## 8. ライセンス
-
-MIT License
-
----
-
-**© 2026 MUSUBIX Project**

package/docs/overview/MUSUBIX-Phase1-Complete.md

@@ -1,271 +0,0 @@
-# MUSUBIX Phase 1: Deep Symbolic Integration - 完了レポート
-
-**完了日**: 2026-01-08  
-**バージョン**: 2.0.0-alpha.1  
-**ステータス**: ✅ Phase 1 完了
-
----
-
-## 1. 概要
-
-Phase 1「Deep Symbolic Integration」の全3パッケージの開発が完了しました。合計238テストが全て合格し、MUSUBIX v2.0.0-alpha.1としてリリース準備が整いました。
-
-### 1.1 完了サマリー
-
-| パッケージ | バージョン | テスト数 | 結果 |
-|-----------|------------|----------|------|
-| **@nahisaho/musubix-dfg** | 2.0.0-alpha.1 | 30 | ✅ 全合格 |
-| **@nahisaho/musubix-lean** | 2.0.0-alpha.1 | 151 | ✅ 全合格 |
-| **@nahisaho/yata-scale** | 2.0.0-alpha.1 | 57 | ✅ 全合格 |
-| **合計** | - | **238** | ✅ |
-
----
-
-## 2. @nahisaho/musubix-dfg
-
-### 2.1 パッケージ概要
-
-データフローグラフ (DFG) と制御フローグラフ (CFG) の抽出・分析を提供するパッケージです。GraphCodeBERT、JetBrains PSIを参考に設計しました。
-
-### 2.2 主要機能
-
-| 機能 | 説明 |
-|------|------|
-| **DFG抽出** | TypeScript/JavaScript ASTからデータフローグラフを抽出 |
-| **CFG抽出** | 制御フローグラフの抽出（分岐、ループ、例外） |
-| **依存関係分析** | 変数・関数間の依存関係マップ |
-| **Def-Use分析** | 定義-使用チェーンの構築 |
-| **変数追跡** | スコープを考慮した変数ライフサイクル追跡 |
-
-### 2.3 アーキテクチャ
-
-```
-packages/dfg/
-├── src/
-│   ├── index.ts           # Main exports
-│   ├── types.ts           # 型定義
-│   ├── errors.ts          # エラークラス
-│   ├── DFGExtractor.ts    # データフローグラフ抽出
-│   ├── CFGExtractor.ts    # 制御フローグラフ抽出
-│   ├── DependencyAnalyzer.ts  # 依存関係分析
-│   └── DataFlowAnalyzer.ts    # 統合分析
-└── tests/
-    └── dfg.test.ts
-```
-
-### 2.4 使用例
-
-```typescript
-import { DataFlowAnalyzer } from '@nahisaho/musubix-dfg';
-
-const analyzer = new DataFlowAnalyzer();
-const result = await analyzer.analyze('./src/service.ts');
-
-// DFG取得
-console.log(result.dfg.nodes);
-console.log(result.dfg.edges);
-
-// CFG取得
-console.log(result.cfg.nodes);
-console.log(result.cfg.edges);
-
-// 依存関係
-console.log(result.dependencies);
-```
-
----
-
-## 3. @nahisaho/musubix-lean
-
-### 3.1 パッケージ概要
-
-Lean 4定理証明支援系との統合を提供するパッケージです。LeanDojo/ReProverを参考に設計しました。
-
-### 3.2 主要機能
-
-| 機能 | 説明 |
-|------|------|
-| **Lean 4 AST** | Lean 4構文のパース・生成 |
-| **EARS→Lean変換** | EARS要件からLean定理への変換 |
-| **証明戦術生成** | simp, rfl, intro, apply等の戦術生成 |
-| **ReProver統合** | ベストファースト証明探索 |
-| **Mathlib互換** | 標準数学ライブラリとの互換性 |
-
-### 3.3 アーキテクチャ
-
-```
-packages/lean/
-├── src/
-│   ├── index.ts
-│   ├── types.ts
-│   ├── errors.ts
-│   ├── ast/              # AST定義・操作
-│   ├── parser/           # Lean構文パーサー
-│   ├── generator/        # Leanコード生成
-│   ├── ears-to-lean/     # EARS変換
-│   ├── tactics/          # 証明戦術
-│   ├── reprover/         # 証明探索
-│   └── utils/            # ユーティリティ
-└── tests/
-    └── *.test.ts (10ファイル)
-```
-
-### 3.4 使用例
-
-```typescript
-import { 
-  EARSToLeanConverter, 
-  ReProverSearch,
-  TacticGenerator 
-} from '@nahisaho/musubix-lean';
-
-// EARS → Lean変換
-const converter = new EARSToLeanConverter();
-const theorem = converter.convert({
-  pattern: 'event-driven',
-  trigger: 'user submits form',
-  response: 'system validates input'
-});
-
-// 証明探索
-const prover = new ReProverSearch();
-const result = await prover.prove(theorem, {
-  maxDepth: 10,
-  timeout: 30000
-});
-
-// 戦術生成
-const generator = new TacticGenerator();
-const tactics = generator.generateForGoal(goal);
-```
-
----
-
-## 4. @nahisaho/yata-scale
-
-### 4.1 パッケージ概要
-
-知識グラフのスケールアップを実現するパッケージです。GraphGen4Codeを参考に、分散ストレージ、シャーディング、キャッシュ層を提供します。
-
-### 4.2 主要機能
-
-| 機能 | 説明 |
-|------|------|
-| **シャード管理** | 一貫性ハッシュによる分散配置 |
-| **インデックス管理** | B+Tree、全文検索、グラフインデックス |
-| **多層キャッシュ** | L1/L2/L3階層キャッシュ |
-| **クエリ最適化** | 分散クエリ実行・結果マージ |
-| **同期制御** | ベクトルクロック、WAL、競合解決 |
-
-### 4.3 アーキテクチャ
-
-```
-packages/yata-scale/
-├── src/
-│   ├── index.ts              # Main exports
-│   ├── types.ts              # 型定義
-│   ├── errors.ts             # エラークラス
-│   ├── ShardManager.ts       # シャード管理
-│   ├── IndexManager.ts       # インデックス管理
-│   ├── CacheManager.ts       # キャッシュ管理
-│   ├── QueryCoordinator.ts   # クエリ調整
-│   ├── SyncController.ts     # 同期制御
-│   └── YataScaleManager.ts   # 統合マネージャー
-└── tests/
-    └── yata-scale.test.ts
-```
-
-### 4.4 使用例
-
-```typescript
-import { YataScaleManager } from '@nahisaho/yata-scale';
-
-const manager = new YataScaleManager();
-
-await manager.initialize({
-  shards: { count: 3, replicationFactor: 2, strategy: 'hash' },
-  cache: { l1MaxEntries: 10000, l2MaxSize: 100_000_000, l3MaxEntries: 1_000_000, ttlMs: 60000 },
-  query: { maxConcurrency: 8, defaultTimeout: 5000 }
-});
-
-// エンティティ操作
-await manager.createEntity({
-  id: 'entity-001',
-  type: 'Person',
-  name: 'Alice',
-  properties: { age: 30 },
-  metadata: { createdAt: new Date(), updatedAt: new Date(), version: 1 }
-});
-
-// クエリ実行
-const result = await manager.query({
-  type: 'traverse',
-  startEntityIds: ['entity-001'],
-  maxDepth: 3
-});
-
-// 統計取得
-const stats = manager.getStats();
-console.log(stats);
-
-await manager.shutdown();
-```
-
----
-
-## 5. 目標達成状況
-
-### 5.1 Phase 1 目標 vs 実績
-
-| 目標 | 計画 | 実績 | 達成率 |
-|------|------|------|--------|
-| **DFG/CFG抽出** | TypeScript対応 | ✅ 完全実装 | 100% |
-| **依存関係分析** | 変数・関数レベル | ✅ 完全実装 | 100% |
-| **Lean 4統合** | 基本統合 | ✅ AST/Parser/Generator | 100% |
-| **EARS→Lean変換** | 5パターン対応 | ✅ 5パターン全対応 | 100% |
-| **証明探索** | ReProver基本 | ✅ BFS/Tactic生成 | 100% |
-| **分散ストレージ** | シャーディング | ✅ 一貫性ハッシュ | 100% |
-| **キャッシュ層** | 3層キャッシュ | ✅ L1/L2/L3 | 100% |
-| **同期制御** | 競合解決 | ✅ ベクトルクロック/WAL | 100% |
-
-### 5.2 品質メトリクス
-
-| メトリクス | 目標 | 実績 |
-|-----------|------|------|
-| テストカバレッジ | 80%+ | 対応完了 |
-| テスト合格率 | 100% | 100% (238/238) |
-| TypeScriptエラー | 0 | 0 |
-| 型安全性 | neverthrow Result型 | 完全適用 |
-
----
-
-## 6. 次のステップ
-
-### 6.1 Phase 2への準備
-
-Phase 2「Advanced Learning (v2.5)」の準備:
-
-1. **DreamCoder式ライブラリ学習**: 階層的抽象化の設計
-2. **Neural Search Guidance**: 分岐スコアリングモデルの検討
-3. **プログラム合成DSL**: FlashMeta形式のWitness関数設計
-
-### 6.2 v2.0.0正式リリースに向けて
-
-- ドキュメント整備
-- npmパッケージ公開
-- 統合テスト追加
-- パフォーマンスベンチマーク
-
----
-
-## 7. 参考資料
-
-- [MUSUBIX Roadmap v2](./MUSUBIX-Roadmap-v2.md)
-- [Neuro-Symbolic AI Overview](./Neuro-SymbolicAI.md)
-- [REQ-DFG-001](../../storage/specs/REQ-DFG-001.md)
-- [REQ-LEAN-001](../../storage/specs/REQ-LEAN-001.md)
-- [REQ-YATA-SCALE-001](../../storage/specs/REQ-YATA-SCALE-001.md)
-
----
-
-*Generated: 2026-01-08*