musubix 1.8.0 → 2.0.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (10) hide show
  1. package/AGENTS.md +23 -11
  2. package/README.ja.md +10 -4
  3. package/README.md +49 -19
  4. package/docs/USER-GUIDE-v1.8.0.md +2371 -0
  5. package/docs/USER-GUIDE.ja.md +170 -5
  6. package/docs/USER-GUIDE.md +836 -6
  7. package/docs/overview/MUSUBIX-Phase1-Complete.md +271 -0
  8. package/docs/overview/MUSUBIX-Phase2-Complete.md +310 -0
  9. package/docs/overview/MUSUBIX-Security.md +891 -0
  10. package/package.json +4 -2
package/AGENTS.md CHANGED
@@ -8,14 +8,14 @@
8
8
 
9
9
  | 項目 | 詳細 |
10
10
  |------|------|
11
- | **バージョン** | 1.8.0 (Security Analysis Edition) |
11
+ | **バージョン** | 2.0.0 (Deep Symbolic + Advanced Learning) |
12
12
  | **言語** | TypeScript |
13
13
  | **ランタイム** | Node.js >= 20.0.0 |
14
14
  | **パッケージマネージャ** | npm >= 10.0.0 |
15
15
  | **ビルドシステム** | モノレポ（npm workspaces） |
16
16
  | **テストフレームワーク** | Vitest |
17
- | **テスト数** | 1586 (全合格) |
18
- | **コンポーネント数** | 249 (62ドメイン対応) |
17
+ | **テスト数** | 1660+ (全合格) |
18
+ | **パッケージ数** | 19 |
19
19
  | **Agent Skills** | 12 (Claude Code対応) |
20
20
 
21
21
  ---
@@ -28,32 +28,44 @@
28
28
  packages/
29
29
  ├── core/ # @nahisaho/musubix-core
30
30
  ├── mcp-server/ # @nahisaho/musubix-mcp-server
31
- ├── security/ # @nahisaho/musubix-security (NEW!)
31
+ ├── security/ # @nahisaho/musubix-security
32
32
  ├── formal-verify/ # @nahisaho/musubix-formal-verify
33
33
  ├── yata-client/ # @nahisaho/musubix-yata-client
34
34
  ├── yata-local/ # @nahisaho/yata-local
35
35
  ├── yata-global/ # @nahisaho/yata-global
36
36
  ├── yata-ui/ # @nahisaho/yata-ui
37
+ ├── yata-scale/ # @nahisaho/yata-scale (v2.0.0 NEW!)
37
38
  ├── pattern-mcp/ # @nahisaho/musubix-pattern-mcp
38
39
  ├── ontology-mcp/ # @nahisaho/musubix-ontology-mcp
39
40
  ├── wake-sleep/ # @nahisaho/musubix-wake-sleep
40
- └── sdd-ontology/ # @nahisaho/musubix-sdd-ontology
41
+ ├── sdd-ontology/ # @nahisaho/musubix-sdd-ontology
42
+ ├── dfg/ # @nahisaho/musubix-dfg (v2.0.0 NEW!)
43
+ ├── lean/ # @nahisaho/musubix-lean (v2.0.0 NEW!)
44
+ ├── library-learner/# @nahisaho/musubix-library-learner (v2.0.0 NEW!)
45
+ ├── neural-search/ # @nahisaho/musubix-neural-search (v2.0.0 NEW!)
46
+ └── synthesis/ # @nahisaho/musubix-synthesis (v2.0.0 NEW!)
41
47
  ```
42
48
 
43
49
  | パッケージ | npm | 役割 |
44
50
  |-----------|-----|------|
45
51
  | `packages/core/` | `@nahisaho/musubix-core` | コアライブラリ - CLI、EARS検証、コード生成、設計パターン |
46
52
  | `packages/mcp-server/` | `@nahisaho/musubix-mcp-server` | MCPサーバー - 19ツール、3プロンプト |
47
- | `packages/security/` | `@nahisaho/musubix-security` | **セキュリティ分析** - 脆弱性検出、シークレット検出、テイント解析 (NEW!) |
53
+ | `packages/security/` | `@nahisaho/musubix-security` | セキュリティ分析 - 脆弱性検出、シークレット検出、テイント解析 |
48
54
  | `packages/formal-verify/` | `@nahisaho/musubix-formal-verify` | 形式検証 - Z3統合、Hoare検証、EARS→SMT変換 |
49
55
  | `packages/yata-client/` | `@nahisaho/musubix-yata-client` | YATAクライアント - 知識グラフ連携 |
50
- | `packages/yata-local/` | `@nahisaho/yata-local` | **YATA Local** - SQLiteベースローカル知識グラフ |
51
- | `packages/yata-global/` | `@nahisaho/yata-global` | **YATA Global** - 分散型知識グラフプラットフォーム |
52
- | `packages/yata-ui/` | `@nahisaho/yata-ui` | **YATA UI** - Web可視化・管理インターフェース |
56
+ | `packages/yata-local/` | `@nahisaho/yata-local` | YATA Local - SQLiteベースローカル知識グラフ |
57
+ | `packages/yata-global/` | `@nahisaho/yata-global` | YATA Global - 分散型知識グラフプラットフォーム |
58
+ | `packages/yata-ui/` | `@nahisaho/yata-ui` | YATA UI - Web可視化・管理インターフェース |
59
+ | `packages/yata-scale/` | `@nahisaho/yata-scale` | **YATA Scale** - 分散シャーディング・キャッシュ (v2.0.0 NEW!) |
53
60
  | `packages/pattern-mcp/` | `@nahisaho/musubix-pattern-mcp` | パターン学習 - 抽出・圧縮・ライブラリ |
54
61
  | `packages/ontology-mcp/` | `@nahisaho/musubix-ontology-mcp` | オントロジー - N3Store・推論エンジン |
55
62
  | `packages/wake-sleep/` | `@nahisaho/musubix-wake-sleep` | Wake-Sleep学習サイクル |
56
63
  | `packages/sdd-ontology/` | `@nahisaho/musubix-sdd-ontology` | SDD方法論オントロジー |
64
+ | `packages/dfg/` | `@nahisaho/musubix-dfg` | **DFG/CFG抽出** - データフロー・制御フロー解析 (v2.0.0 NEW!) |
65
+ | `packages/lean/` | `@nahisaho/musubix-lean` | **Lean 4統合** - 定理証明・EARS変換 (v2.0.0 NEW!) |
66
+ | `packages/library-learner/` | `@nahisaho/musubix-library-learner` | **ライブラリ学習** - APIパターン抽出 (v2.0.0 NEW!) |
67
+ | `packages/neural-search/` | `@nahisaho/musubix-neural-search` | **ニューラル検索** - 意味的コード検索 (v2.0.0 NEW!) |
68
+ | `packages/synthesis/` | `@nahisaho/musubix-synthesis` | **プログラム合成** - ニューラル誘導合成 (v2.0.0 NEW!) |
57
69
 
58
70
  ### Core パッケージモジュール
59
71
 
@@ -525,5 +537,5 @@ npx musubix learn best-practices --format markdown
525
537
  ---
526
538
 
527
539
  **Agent**: GitHub Copilot / Claude
528
- **Last Updated**: 2026-01-06
529
- **Version**: 1.6.4
540
+ **Last Updated**: 2026-01-08
541
+ **Version**: 2.0.0
package/README.ja.md CHANGED
@@ -6,11 +6,12 @@
6
6
  [![Node.js Version](https://img.shields.io/badge/node-%3E%3D20.0.0-brightgreen)](https://nodejs.org/)
7
7
  [![License](https://img.shields.io/badge/license-MIT-blue)](LICENSE)
8
8
  [![TypeScript](https://img.shields.io/badge/TypeScript-5.3-blue)](https://www.typescriptlang.org/)
9
- [![Tests](https://img.shields.io/badge/tests-1569%20passing-brightgreen)](https://github.com/nahisaho/MUSUBIX)
9
+ [![Tests](https://img.shields.io/badge/tests-1586%20passing-brightgreen)](https://github.com/nahisaho/MUSUBIX)
10
+ [![npm security](https://img.shields.io/npm/v/@nahisaho/musubix-security.svg?label=@nahisaho/musubix-security)](https://www.npmjs.com/package/@nahisaho/musubix-security)
10
11
 
11
12
  > MUSUBI × YATA 統合による次世代AIコーディングシステム
12
13
  >
13
- > **v1.7.5** - 形式検証エディション
14
+ > **v1.8.0** - セキュリティ分析エディション
14
15
 
15
16
  ## 概要
16
17
 
@@ -37,6 +38,7 @@ MUSUBIXは、**ニューラル（LLM）** と **シンボリック（知識グ
37
38
  - 📤 **KGPR** - 安全な知識共有のためのKnowledge Graph Pull Request *(v1.6.4)*
38
39
  - 🚀 **YATAプラットフォーム拡張** - インデックス最適化、拡張エクスポート、グローバル同期、コード生成、Web UI *(v1.7.0)*
39
40
  - 🔬 **形式検証** - Z3 SMTソルバー統合、Hoareトリプル検証、EARS→SMT変換 *(v1.7.5)*
41
+ - 🛡️ **セキュリティ分析** - 脆弱性スキャン、シークレット検出、テイント解析、依存関係監査 *(v1.8.0)*
40
42
 
41
43
  ## アーキテクチャ
42
44
 
@@ -86,6 +88,8 @@ flowchart TB
86
88
  | `packages/ontology-mcp/` | **オントロジーエンジン（NEW!）** |
87
89
  | `packages/wake-sleep/` | **Wake-Sleep学習（NEW!）** |
88
90
  | `packages/sdd-ontology/` | **SDDオントロジー（NEW!）** |
91
+ | `packages/security/` | **セキュリティ分析（NEW!）** |
92
+ | `packages/formal-verify/` | **形式検証** |
89
93
  | `steering/` | プロジェクトメモリ |
90
94
  | `storage/` | 仕様書・成果物 |
91
95
  | `templates/` | テンプレート |
@@ -121,6 +125,8 @@ npx musubix-mcp --transport stdio
121
125
  npm install @nahisaho/musubix-core
122
126
  npm install @nahisaho/musubix-mcp-server
123
127
  npm install @nahisaho/musubix-yata-client
128
+ npm install @nahisaho/musubix-security
129
+ npm install @nahisaho/musubix-formal-verify
124
130
  ```
125
131
 
126
132
  ### ソースからビルド
@@ -292,5 +298,5 @@ nahisaho
292
298
  ---
293
299
 
294
300
  **文書ID**: README
295
- **バージョン**: 1.4.5
296
- **最終更新**: 2026-01-05
301
+ **バージョン**: 1.8.0
302
+ **最終更新**: 2026-01-06
package/README.md CHANGED
@@ -7,11 +7,18 @@
7
7
  [![Node.js Version](https://img.shields.io/badge/node-%3E%3D20.0.0-brightgreen)](https://nodejs.org/)
8
8
  [![License](https://img.shields.io/badge/license-MIT-blue)](LICENSE)
9
9
  [![TypeScript](https://img.shields.io/badge/TypeScript-5.3-blue)](https://www.typescriptlang.org/)
10
- [![Tests](https://img.shields.io/badge/tests-1569%20passing-brightgreen)](https://github.com/nahisaho/MUSUBIX)
10
+ [![Tests](https://img.shields.io/badge/tests-1600%2B%20passing-brightgreen)](https://github.com/nahisaho/MUSUBIX)
11
+ [![npm security](https://img.shields.io/npm/v/@nahisaho/musubix-security.svg?label=@nahisaho/musubix-security)](https://www.npmjs.com/package/@nahisaho/musubix-security)
12
+ [![npm dfg](https://img.shields.io/npm/v/@nahisaho/musubix-dfg.svg?label=@nahisaho/musubix-dfg)](https://www.npmjs.com/package/@nahisaho/musubix-dfg)
13
+ [![npm lean](https://img.shields.io/npm/v/@nahisaho/musubix-lean.svg?label=@nahisaho/musubix-lean)](https://www.npmjs.com/package/@nahisaho/musubix-lean)
14
+ [![npm yata-scale](https://img.shields.io/npm/v/@nahisaho/yata-scale.svg?label=@nahisaho/yata-scale)](https://www.npmjs.com/package/@nahisaho/yata-scale)
15
+ [![npm synthesis](https://img.shields.io/npm/v/@nahisaho/musubix-synthesis.svg?label=@nahisaho/musubix-synthesis)](https://www.npmjs.com/package/@nahisaho/musubix-synthesis)
16
+ [![npm library-learner](https://img.shields.io/npm/v/@nahisaho/musubix-library-learner.svg?label=@nahisaho/musubix-library-learner)](https://www.npmjs.com/package/@nahisaho/musubix-library-learner)
17
+ [![npm neural-search](https://img.shields.io/npm/v/@nahisaho/musubix-neural-search.svg?label=@nahisaho/musubix-neural-search)](https://www.npmjs.com/package/@nahisaho/musubix-neural-search)
11
18
 
12
19
  > Next-generation AI Coding System powered by MUSUBI × YATA Integration
13
20
  >
14
- > **v1.7.5** - Formal Verification Edition
21
+ > **v2.0.0** - Deep Symbolic Integration & Advanced Learning Edition
15
22
 
16
23
  **[日本語版 README](README.ja.md)**
17
24
 
@@ -19,27 +26,30 @@
19
26
 
20
27
  MUSUBIX is an innovative AI coding system that integrates **Neural (LLM)** and **Symbolic (Knowledge Graph)** reasoning. It combines MUSUBI SDD methodology with YATA knowledge graph reasoning to support high-quality software development.
21
28
 
29
+ ### 🎉 v2.0.0 Highlights
30
+
31
+ - **Phase 1: Deep Symbolic Integration** - DFG/CFG analysis, Lean 4 theorem proving, distributed KG
32
+ - **Phase 2: Advanced Learning** - DreamCoder-style library learning, neural search, program synthesis
33
+ - **1600+ tests** passing across 19 packages
34
+
22
35
  ### Features
23
36
 
24
37
  - 🧠 **Neuro-Symbolic Integration** - Fusion of LLM creativity and YATA knowledge graph precision
25
- - � **Symbolic Reasoning** - Formal verification, hallucination detection, constitution enforcement
38
+ - 📊 **DFG/CFG Analysis** - Data flow and control flow graph extraction for TypeScript/JavaScript *(v2.0.0)*
39
+ - 🧮 **Lean 4 Integration** - Formal theorem proving with EARS-to-Lean conversion *(v2.0.0)*
40
+ - 📈 **YATA Scale** - Distributed knowledge graph with sharding and multi-tier caching *(v2.0.0)*
41
+ - 📚 **Library Learning** - DreamCoder-style hierarchical abstraction and pattern compression *(v2.0.0)*
42
+ - 🔍 **Neural Search** - Neural-guided program synthesis with beam search *(v2.0.0)*
43
+ - ⚗️ **Program Synthesis** - DSL-based PBE synthesis with witness functions *(v2.0.0)*
44
+ - 🔒 **Symbolic Reasoning** - Formal verification, hallucination detection, constitution enforcement
26
45
  - 📝 **EARS Requirements Analysis** - Conversion and validation from natural language to formal requirements
27
46
  - 🎨 **Design Pattern Recommendations** - Context-based C4 model and ADR generation
28
47
  - ✅ **Test-Driven Development** - Quality assurance through Test-First principles
29
48
  - 🔗 **Complete Traceability** - Tracking from requirements to code
30
- - 💬 **Interactive Q&A Hearing** - Dialogue-based requirements gathering support
31
- - 🌐 **Internationalization (i18n)** - Japanese and English support
32
- - 🔒 **Security Scanning** - Vulnerability detection, secret scanning, OWASP patterns
33
- - 📚 **Self-Learning System** - Adaptive improvement through feedback collection and pattern extraction
34
- - 🏗️ **C4 Code Generation** - Generate TypeScript skeleton from C4 design documents
35
- - ⚙️ **Quality Gates** - Automated quality validation before phase transitions
36
- - 🔮 **Advanced Inference** - OWL 2 RL reasoning and Datalog evaluation *(v1.4.5)*
49
+ - 🛡️ **Security Analysis** - Vulnerability scanning, secret detection, taint analysis *(v1.8.0)*
50
+ - 🔬 **Formal Verification** - Z3 SMT solver integration, Hoare triple verification *(v1.7.5)*
37
51
  - 🖥️ **Interactive REPL** - Command completion, history, session variables *(v1.6.0)*
38
- - 🗄️ **YATA Local** - SQLite-based local knowledge graph (BFS/DFS, reasoning) *(v1.6.3)*
39
- - 🌐 **YATA Global** - Distributed knowledge platform with offline sync *(v1.6.3)*
40
- - 📤 **KGPR** - Knowledge Graph Pull Request for safe knowledge sharing *(v1.6.4)*
41
- - 🚀 **YATA Platform Enhancements** - Index optimization, enhanced export, global sync, code generation, web UI *(v1.7.0)*
42
- - 🔬 **Formal Verification** - Z3 SMT solver integration, Hoare triple verification, EARS-to-SMT conversion *(v1.7.5)*
52
+ - 🔮 **Advanced Inference** - OWL 2 RL reasoning and Datalog evaluation *(v1.4.5)*
43
53
 
44
54
  ## Architecture
45
55
 
@@ -89,8 +99,16 @@ flowchart TB
89
99
  | `packages/ontology-mcp/` | **Ontology Engine (NEW!)** |
90
100
  | `packages/wake-sleep/` | **Wake-Sleep Learning (NEW!)** |
91
101
  | `packages/sdd-ontology/` | **SDD Ontology (NEW!)** |
92
- | `packages/yata-local/` | **YATA Local - SQLite Knowledge Graph (NEW!)** |
93
- | `packages/yata-global/` | **YATA Global - Distributed Knowledge Platform (NEW!)** |
102
+ | `packages/yata-local/` | **YATA Local - SQLite Knowledge Graph** |
103
+ | `packages/yata-global/` | **YATA Global - Distributed Knowledge Platform** |
104
+ | `packages/security/` | **Security Analysis** |
105
+ | `packages/formal-verify/` | **Formal Verification** |
106
+ | `packages/dfg/` | **DFG/CFG Extraction - Data Flow Analysis (v2.0.0)** |
107
+ | `packages/lean/` | **Lean 4 Integration - Theorem Proving (v2.0.0)** |
108
+ | `packages/yata-scale/` | **YATA Scale - Distributed KG (v2.0.0)** |
109
+ | `packages/library-learner/` | **Library Learning - DreamCoder-style (v2.0.0)** |
110
+ | `packages/neural-search/` | **Neural Search - Guided Synthesis (v2.0.0)** |
111
+ | `packages/synthesis/` | **Program Synthesis - DSL/PBE (v2.0.0)** |
94
112
  | `steering/` | Project Memory |
95
113
  | `storage/` | Specifications & Artifacts |
96
114
  | `templates/` | Templates |
@@ -126,6 +144,18 @@ npx musubix-mcp --transport stdio
126
144
  npm install @nahisaho/musubix-core
127
145
  npm install @nahisaho/musubix-mcp-server
128
146
  npm install @nahisaho/musubix-yata-client
147
+ npm install @nahisaho/musubix-security
148
+ npm install @nahisaho/musubix-formal-verify
149
+
150
+ # Phase 1: Deep Symbolic Integration
151
+ npm install @nahisaho/musubix-dfg
152
+ npm install @nahisaho/musubix-lean
153
+ npm install @nahisaho/yata-scale
154
+
155
+ # Phase 2: Advanced Learning
156
+ npm install @nahisaho/musubix-library-learner
157
+ npm install @nahisaho/musubix-neural-search
158
+ npm install @nahisaho/musubix-synthesis
129
159
  ```
130
160
 
131
161
  ### Build from Source
@@ -297,5 +327,5 @@ See [CHANGELOG.md](CHANGELOG.md)
297
327
  ---
298
328
 
299
329
  **Document ID**: README
300
- **Version**: 1.4.5
301
- **Last Updated**: 2026-01-05
330
+ **Version**: 1.8.0
331
+ **Last Updated**: 2026-01-06