musubix 2.2.1 → 2.3.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 (75) hide show
  1. package/README.md +44 -310
  2. package/bin/musubix.js +4 -12
  3. package/dist/index.d.ts +26 -0
  4. package/dist/index.d.ts.map +1 -0
  5. package/dist/index.js +75 -0
  6. package/dist/index.js.map +1 -0
  7. package/package.json +51 -71
  8. package/.github/AGENTS.md +0 -242
  9. package/.github/prompts/sdd-change-apply.prompt.md +0 -283
  10. package/.github/prompts/sdd-change-archive.prompt.md +0 -241
  11. package/.github/prompts/sdd-change-init.prompt.md +0 -269
  12. package/.github/prompts/sdd-design.prompt.md +0 -250
  13. package/.github/prompts/sdd-implement.prompt.md +0 -387
  14. package/.github/prompts/sdd-requirements.prompt.md +0 -193
  15. package/.github/prompts/sdd-review.prompt.md +0 -155
  16. package/.github/prompts/sdd-security.prompt.md +0 -228
  17. package/.github/prompts/sdd-steering.prompt.md +0 -269
  18. package/.github/prompts/sdd-tasks.prompt.md +0 -255
  19. package/.github/prompts/sdd-test.prompt.md +0 -230
  20. package/.github/prompts/sdd-validate.prompt.md +0 -304
  21. package/.github/skills/musubix-adr-generation/SKILL.md +0 -209
  22. package/.github/skills/musubix-best-practices/SKILL.md +0 -315
  23. package/.github/skills/musubix-c4-design/SKILL.md +0 -162
  24. package/.github/skills/musubix-code-generation/SKILL.md +0 -229
  25. package/.github/skills/musubix-domain-inference/SKILL.md +0 -196
  26. package/.github/skills/musubix-ears-validation/SKILL.md +0 -161
  27. package/.github/skills/musubix-sdd-workflow/SKILL.md +0 -210
  28. package/.github/skills/musubix-test-generation/SKILL.md +0 -212
  29. package/.github/skills/musubix-traceability/SKILL.md +0 -141
  30. package/AGENTS.md +0 -737
  31. package/LICENSE +0 -21
  32. package/README.ja.md +0 -302
  33. package/bin/musubix-mcp.js +0 -19
  34. package/docs/API-REFERENCE.md +0 -1425
  35. package/docs/GITHUB-ACTIONS-NPM-SETUP.md +0 -132
  36. package/docs/INSTALL-GUIDE.ja.md +0 -459
  37. package/docs/INSTALL-GUIDE.md +0 -459
  38. package/docs/MUSUBI-enhancement_roadmap_20260105.md +0 -651
  39. package/docs/MUSUBIXv2.2.0-Manual-outline.md +0 -136
  40. package/docs/MUSUBIXv2.2.0-Manual.md +0 -3123
  41. package/docs/MUSUBIv1.6.1-enhancement_roadmap_20260105.md +0 -291
  42. package/docs/MUSUBIv2.2.0-USERGUIDE.md +0 -2079
  43. package/docs/ROADMAP-v1.5.md +0 -116
  44. package/docs/SwarmCoding.md +0 -1284
  45. package/docs/Test-prompt.md +0 -105
  46. package/docs/USER-GUIDE-v1.8.0.md +0 -2371
  47. package/docs/USER-GUIDE.ja.md +0 -2147
  48. package/docs/USER-GUIDE.md +0 -2847
  49. package/docs/adr/0001-real-time-pattern-learning-architecture-for-v1-5-0.md +0 -75
  50. package/docs/adr/0002-pattern-sharing-protocol-for-cross-team-collaborat.md +0 -79
  51. package/docs/adr/0003-owl-2-rl-implementation-strategy-for-advanced-infe.md +0 -90
  52. package/docs/evolution-from-musubi-to-musubix.md +0 -2168
  53. package/docs/getting-started-with-sdd.md +0 -1602
  54. package/docs/overview/MUSUBIX-Core.md +0 -671
  55. package/docs/overview/MUSUBIX-FormalVerify.md +0 -566
  56. package/docs/overview/MUSUBIX-Learning.md +0 -837
  57. package/docs/overview/MUSUBIX-MCP-Server.md +0 -535
  58. package/docs/overview/MUSUBIX-Overview.md +0 -264
  59. package/docs/overview/MUSUBIX-Phase1-Complete.md +0 -271
  60. package/docs/overview/MUSUBIX-Phase2-Complete.md +0 -310
  61. package/docs/overview/MUSUBIX-Roadmap-v2.md +0 -399
  62. package/docs/overview/MUSUBIX-Security-Plan.md +0 -939
  63. package/docs/overview/MUSUBIX-Security-v2.1.md +0 -668
  64. package/docs/overview/MUSUBIX-Security.md +0 -891
  65. package/docs/overview/MUSUBIX-YATA.md +0 -666
  66. package/docs/overview/MUSUBIX-v2.2.0-Advanced-Learning.md +0 -513
  67. package/docs/overview/Neuro-SymbolicAI.md +0 -159
  68. package/scripts/generate-quality-gate-report.ts +0 -106
  69. package/scripts/postinstall.js +0 -94
  70. package/steering/.musubi-version +0 -1
  71. package/steering/product.ja.md +0 -572
  72. package/steering/project.yml +0 -66
  73. package/steering/rules/constitution.md +0 -412
  74. package/steering/structure.ja.md +0 -503
  75. package/steering/tech.ja.md +0 -208
package/README.md CHANGED
@@ -1,331 +1,65 @@
1
- # MUSUBIX - Neuro-Symbolic AI Integration System
1
+ # musubix
2
2
 
3
- [![CI](https://github.com/nahisaho/MUSUBIX/actions/workflows/ci.yml/badge.svg)](https://github.com/nahisaho/MUSUBIX/actions/workflows/ci.yml)
4
- [![npm version](https://img.shields.io/npm/v/musubix.svg)](https://www.npmjs.com/package/musubix)
5
- [![npm core](https://img.shields.io/npm/v/@nahisaho/musubix-core.svg?label=@nahisaho/musubix-core)](https://www.npmjs.com/package/@nahisaho/musubix-core)
6
- [![npm mcp](https://img.shields.io/npm/v/@nahisaho/musubix-mcp-server.svg?label=@nahisaho/musubix-mcp-server)](https://www.npmjs.com/package/@nahisaho/musubix-mcp-server)
7
- [![Node.js Version](https://img.shields.io/badge/node-%3E%3D20.0.0-brightgreen)](https://nodejs.org/)
8
- [![License](https://img.shields.io/badge/license-MIT-blue)](LICENSE)
9
- [![TypeScript](https://img.shields.io/badge/TypeScript-5.3-blue)](https://www.typescriptlang.org/)
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)
18
-
19
- > Next-generation AI Coding System powered by MUSUBI × YATA Integration
20
- >
21
- > **v2.0.0** - Deep Symbolic Integration & Advanced Learning Edition
22
-
23
- **[日本語版 README](README.ja.md)**
24
-
25
- ## Overview
26
-
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.
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
-
35
- ### Features
36
-
37
- - 🧠 **Neuro-Symbolic Integration** - Fusion of LLM creativity and YATA knowledge graph precision
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
45
- - 📝 **EARS Requirements Analysis** - Conversion and validation from natural language to formal requirements
46
- - 🎨 **Design Pattern Recommendations** - Context-based C4 model and ADR generation
47
- - ✅ **Test-Driven Development** - Quality assurance through Test-First principles
48
- - 🔗 **Complete Traceability** - Tracking from requirements to code
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)*
51
- - 🖥️ **Interactive REPL** - Command completion, history, session variables *(v1.6.0)*
52
- - 🔮 **Advanced Inference** - OWL 2 RL reasoning and Datalog evaluation *(v1.4.5)*
53
-
54
- ## Architecture
55
-
56
- ```mermaid
57
- flowchart TB
58
- subgraph MUSUBIX["MUSUBIX System"]
59
- subgraph Packages["Packages"]
60
- Core["@nahisaho/musubix-core"]
61
- MCP["@nahisaho/musubix-mcp-server"]
62
- YATA["@nahisaho/musubix-yata-client"]
63
- end
64
-
65
- Core <--> MCP
66
- MCP <--> YATA
67
-
68
- subgraph Integration["Neuro-Symbolic Integration"]
69
- NSI["LLM Creativity + Knowledge Graph Precision"]
70
- end
71
-
72
- Core --> Integration
73
- MCP --> Integration
74
- YATA --> Integration
75
- end
76
- ```
77
-
78
- ## Project Structure
79
-
80
- | Path | Description |
81
- |------|-------------|
82
- | `packages/core/` | Core library (249 modules) |
83
- | `packages/core/auth/` | Authentication & Authorization |
84
- | `packages/core/cli/` | CLI Interface |
85
- | `packages/core/codegen/` | Code Generation & Analysis |
86
- | `packages/core/design/` | Design Patterns & C4 Models |
87
- | `packages/core/error/` | Error Handling |
88
- | `packages/core/explanation/` | Explanation Generation & Visualization |
89
- | `packages/core/learning/` | Self-Learning & Pattern Extraction |
90
- | `packages/core/requirements/` | Requirements Analysis & Decomposition |
91
- | `packages/core/symbolic/` | Symbolic Reasoning |
92
- | `packages/core/traceability/` | Traceability |
93
- | `packages/core/types/` | Type Definitions |
94
- | `packages/core/utils/` | Utilities |
95
- | `packages/core/validators/` | EARS Validation |
96
- | `packages/mcp-server/` | MCP Server (24 tools, 3 prompts) |
97
- | `packages/yata-client/` | YATA Client |
98
- | `packages/pattern-mcp/` | **Pattern Learning (NEW!)** |
99
- | `packages/ontology-mcp/` | **Ontology Engine (NEW!)** |
100
- | `packages/wake-sleep/` | **Wake-Sleep Learning (NEW!)** |
101
- | `packages/sdd-ontology/` | **SDD Ontology (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)** |
112
- | `steering/` | Project Memory |
113
- | `storage/` | Specifications & Artifacts |
114
- | `templates/` | Templates |
115
- | `docs/` | Documentation |
116
-
117
- ## Requirements
118
-
119
- - Node.js >= 20.0.0
120
- - npm >= 10.0.0
121
- - TypeScript >= 5.3
3
+ MUSUBIX - Neuro-Symbolic AI Integration System for Software Development
122
4
 
123
5
  ## Installation
124
6
 
125
- ### npm/npx (Recommended)
126
-
127
7
  ```bash
128
- # Global installation
129
- npm install -g musubix
130
-
131
- # Run directly with npx
132
- npx musubix init
133
- npx musubix --help
134
-
135
- # Start MCP Server
136
- npx @nahisaho/musubix-mcp-server
137
- npx musubix-mcp --transport stdio
138
- ```
139
-
140
- ### Scoped Packages
141
-
142
- ```bash
143
- # Install individual packages
144
- npm install @nahisaho/musubix-core
145
- npm install @nahisaho/musubix-mcp-server
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
159
- ```
160
-
161
- ### Build from Source
162
-
163
- ```bash
164
- git clone https://github.com/nahisaho/MUSUBIX.git
165
- cd MUSUBIX
166
- npm install
167
- npm run build
8
+ npm install musubix
168
9
  ```
169
10
 
170
- ## Development
11
+ This will install all MUSUBIX packages:
12
+
13
+ - `@nahisaho/musubix-core` - Core library (CLI, EARS validation, code generation)
14
+ - `@nahisaho/musubix-mcp-server` - MCP Server (19 tools, 3 prompts)
15
+ - `@nahisaho/musubix-security` - Security analysis
16
+ - `@nahisaho/musubix-formal-verify` - Formal verification with Z3
17
+ - `@nahisaho/musubix-yata-client` - YATA knowledge graph client
18
+ - `@nahisaho/yata-local` - Local SQLite-based knowledge graph
19
+ - `@nahisaho/yata-global` - Distributed knowledge graph platform
20
+ - `@nahisaho/yata-scale` - Distributed sharding and caching
21
+ - `@nahisaho/musubix-pattern-mcp` - Pattern learning MCP
22
+ - `@nahisaho/musubix-ontology-mcp` - Ontology reasoning MCP
23
+ - `@nahisaho/musubix-wake-sleep` - Wake-Sleep learning cycle
24
+ - `@nahisaho/musubix-sdd-ontology` - SDD methodology ontology
25
+ - `@nahisaho/musubix-dfg` - Data Flow Graph extraction
26
+ - `@nahisaho/musubix-lean` - Lean 4 theorem prover integration
27
+ - `@nahisaho/musubix-library-learner` - API pattern learning
28
+ - `@nahisaho/musubix-neural-search` - Semantic code search
29
+ - `@nahisaho/musubix-synthesis` - Program synthesis
30
+
31
+ ## Usage
32
+
33
+ ### CLI
171
34
 
172
35
  ```bash
173
- # Build
174
- npm run build
175
-
176
- # Run tests
177
- npm test
178
-
179
- # Lint
180
- npm run lint
181
-
182
- # Type check
183
- npm run type-check
36
+ npx musubix --help
37
+ npx musubix init
38
+ npx musubix requirements analyze <file>
39
+ npx musubix design generate <file>
184
40
  ```
185
41
 
186
- ## Key Features
187
-
188
- ### Requirements Definition (Article II Compliant)
189
-
190
- - **EARS Validation**: Easy Approach to Requirements Syntax pattern validation
191
- - **Interactive Q&A Hearing**: Dialogue-based requirements gathering
192
- - **Requirements Decomposition**: Breaking down large requirements into implementation units
193
- - **Related Requirements Search**: Automatic detection of similar and dependent requirements
194
-
195
- ### Design Generation (Article III Compliant)
42
+ ### Library
196
43
 
197
- - **C4 Model Generation**: Context/Container/Component/Code diagrams
198
- - **ADR Generation**: Architecture Decision Records
199
- - **Pattern Detection**: Automatic detection and recommendation of design patterns
200
- - **SOLID Validation**: SOLID principle compliance checking
44
+ ```typescript
45
+ import { EarsValidator, CodeGenerator } from 'musubix';
46
+ import { security, synthesis, neuralSearch } from 'musubix';
201
47
 
202
- ### Code Generation & Verification
48
+ // Core features
49
+ const validator = new EarsValidator();
50
+ const result = validator.validate(requirement);
203
51
 
204
- - **Static Analysis**: Quality metrics and complexity calculation
205
- - **Security Scanning**: Vulnerability detection
206
- - **Test Generation**: Unit and integration test generation
207
- - **Coverage Reporting**: Test coverage measurement
208
-
209
- ### MCP Server
210
-
211
- Provides 24 tools (9 SDD + 7 Pattern + 3 Ontology + 5 KGPR) and 3 prompts:
212
-
213
- ```bash
214
- # Start MCP Server
215
- npx @nahisaho/musubix-mcp-server
52
+ // Advanced features
53
+ const synthesizer = synthesis.createEnhancedPBESynthesizer();
54
+ const searcher = neuralSearch.createHybridRanker();
216
55
  ```
217
56
 
218
57
  ## Documentation
219
58
 
220
- | Document | Description |
221
- |----------|-------------|
222
- | [Requirements Specification](storage/specs/REQ-MUSUBIX-001.md) | EARS format functional/non-functional requirements |
223
- | [Design Document](storage/specs/DES-MUSUBIX-001.md) | C4 model and ADR-based design |
224
- | [Task Definition](storage/specs/TSK-MUSUBIX-001.md) | 56 tasks sprint plan |
225
- | [API Reference](docs/API-REFERENCE.md) | Public API specification |
226
- | [Symbolic Integration](storage/specs/REQ-SYMB-001.md) | Neuro-Symbolic requirements (27 requirements) |
227
-
228
- ## Symbolic Reasoning Module (v1.2.0)
229
-
230
- The new symbolic reasoning module provides:
231
-
232
- ### Phase 1: Foundation
233
- - **SemanticCodeFilterPipeline** - LLM output semantic validation
234
- - **HallucinationDetector** - Undefined symbol/invalid import detection
235
- - **ConstitutionRuleRegistry** - 9 Constitution articles enforcement
236
- - **ConfidenceEstimator** - AST complexity, requirement coverage scoring
237
- - **ConfidenceBasedRouter** - Confidence-based routing decisions
238
- - **ErrorHandler** - Graceful degradation
239
-
240
- ### Phase 2: Formal Verification
241
- - **EarsToFormalSpecConverter** - EARS → SMT-LIB conversion
242
- - **VerificationConditionGenerator** - Verification condition (VC) generation
243
- - **Z3Adapter** - Z3 SMT solver integration
244
- - **SecurityScanner** - OWASP patterns, secret detection
245
-
246
- ### Phase 3: Advanced Features
247
- - **CandidateRanker** - Multi-criteria candidate scoring
248
- - **ResultBlender** - Neural/Symbolic result integration (3 strategies)
249
- - **ExtensibleRuleConfig** - YAML/JSON rule configuration
250
- - **AuditLogger** - SHA-256 hash-chain tamper detection
251
- - **PerformanceBudget** - Step-level budgets, SLO metrics
252
- - **QualityGateValidator** - Automated quality gate validation
253
-
254
- ## Wake-Sleep Learning Cycle (v1.3.0)
255
-
256
- Continuous learning system based on the Wake-Sleep algorithm:
257
-
258
- | Phase | Processing |
259
- |-------|------------|
260
- | **Wake** | Code observation → Pattern extraction → Knowledge graph update |
261
- | **Sleep** | Pattern consolidation → Similar pattern compression → Memory optimization |
262
-
263
- ### Key Components
264
- - **WakeSleepCycle** - Learning cycle orchestration
265
- - **PatternLibrary** - Persistent pattern storage management
266
- - **PatternOntologyBridge** - Pattern ↔ Ontology bidirectional conversion
267
- - **N3Store** - RDF/OWL-based knowledge graph storage
268
-
269
- ### New MCP Tools (7 tools)
270
- - `pattern_extract` - Extract patterns from code
271
- - `pattern_compress` - Abstraction and compression of patterns
272
- - `pattern_store` - Save to pattern library
273
- - `pattern_query` - Search and retrieve patterns
274
- - `pattern_consolidate` - Consolidate similar patterns
275
- - `ontology_query` - Query ontology graph
276
- - `ontology_infer` - Execute ontology-based inference
277
-
278
- ## Advanced Inference (v1.4.5)
279
-
280
- OWL 2 RL profile reasoning and Datalog evaluation engine:
281
-
282
- ### Inference Components
283
- - **OWL2RLReasoner** - OWL 2 RL profile compliant inference (20+ built-in rules)
284
- - **DatalogEngine** - Stratified Datalog evaluation with negation support
285
- - **InferenceExplainer** - Human-readable inference explanation generator
286
- - **ProgressReporter** - Real-time progress feedback (500ms interval)
287
-
288
- ### OWL 2 RL Built-in Rules
289
- | Category | Rules | Description |
290
- |----------|-------|-------------|
291
- | Class Axioms | cax-sco, cax-eqc | Subclass, Equivalent class inference |
292
- | Property | prp-dom, prp-rng | Domain, Range inference |
293
- | Property Characteristics | prp-symp, prp-trp, prp-inv | Symmetric, Transitive, Inverse |
294
- | Equality | eq-ref, eq-sym, eq-trans | sameAs inference |
295
-
296
- ### Explanation Formats
297
- - `text` - Plain text explanation
298
- - `markdown` - Markdown format
299
- - `html` - HTML format with escaping
300
-
301
- ## Constitutional Articles (9 Articles)
302
-
303
- MUSUBIX adheres to the following 9 constitutional articles:
304
-
305
- 1. **Specification First** - Requirements before implementation
306
- 2. **Design Before Code** - Design before coding
307
- 3. **Single Source of Truth** - Project memory is authoritative
308
- 4. **Traceability** - Tracking from requirements to code
309
- 5. **Incremental Progress** - Small, frequent deliveries
310
- 6. **Decision Documentation** - Decisions recorded as ADRs
311
- 7. **Quality Gates** - Phase validation required
312
- 8. **User-Centric** - Document user value
313
- 9. **Continuous Learning** - Retrospectives and improvements
59
+ - [User Guide](https://github.com/nahisaho/MUSUBIX/blob/main/docs/USER-GUIDE.md)
60
+ - [API Reference](https://github.com/nahisaho/MUSUBIX/blob/main/docs/API-REFERENCE.md)
61
+ - [AGENTS.md](https://github.com/nahisaho/MUSUBIX/blob/main/AGENTS.md) - For AI coding agents
314
62
 
315
63
  ## License
316
64
 
317
- MIT License - See [LICENSE](LICENSE) for details
318
-
319
- ## Author
320
-
321
- nahisaho
322
-
323
- ## Changelog
324
-
325
- See [CHANGELOG.md](CHANGELOG.md)
326
-
327
- ---
328
-
329
- **Document ID**: README
330
- **Version**: 1.8.0
331
- **Last Updated**: 2026-01-06
65
+ MIT
package/bin/musubix.js CHANGED
@@ -1,15 +1,7 @@
1
1
  #!/usr/bin/env node
2
2
  /**
3
- * MUSUBIX CLI Entry Point (Root Package)
4
- *
5
- * This file re-exports the CLI from @nahisaho/musubix-core package.
6
- *
7
- * @see REQ-ARC-002 - CLI Interface
8
- *
9
- * Usage:
10
- * npx musubix
11
- * musubix <command> [options]
3
+ * MUSUBIX CLI - Delegates to @nahisaho/musubix-core
12
4
  */
13
-
14
- // Forward to the core package's CLI
15
- import '@nahisaho/musubix-core/bin/musubix.js';
5
+ import('@nahisaho/musubix-core/dist/cli/index.js').catch(() => {
6
+ require('@nahisaho/musubix-core/dist/cli/index.js');
7
+ });
@@ -0,0 +1,26 @@
1
+ /**
2
+ * MUSUBIX - Neuro-Symbolic AI Integration System
3
+ *
4
+ * This is the main entry point that re-exports all MUSUBIX packages.
5
+ * Install with: npm install musubix
6
+ *
7
+ * @packageDocumentation
8
+ */
9
+ export * from '@nahisaho/musubix-core';
10
+ export * as security from '@nahisaho/musubix-security';
11
+ export * as formalVerify from '@nahisaho/musubix-formal-verify';
12
+ export * as yataClient from '@nahisaho/musubix-yata-client';
13
+ export * as yataLocal from '@nahisaho/yata-local';
14
+ export * as yataGlobal from '@nahisaho/yata-global';
15
+ export * as yataScale from '@nahisaho/yata-scale';
16
+ export * as patternMcp from '@nahisaho/musubix-pattern-mcp';
17
+ export * as ontologyMcp from '@nahisaho/musubix-ontology-mcp';
18
+ export * as wakeSleep from '@nahisaho/musubix-wake-sleep';
19
+ export * as sddOntology from '@nahisaho/musubix-sdd-ontology';
20
+ export * as dfg from '@nahisaho/musubix-dfg';
21
+ export * as lean from '@nahisaho/musubix-lean';
22
+ export * as libraryLearner from '@nahisaho/musubix-library-learner';
23
+ export * as neuralSearch from '@nahisaho/musubix-neural-search';
24
+ export * as synthesis from '@nahisaho/musubix-synthesis';
25
+ export * as codeGraph from '@nahisaho/musubix-codegraph';
26
+ //# sourceMappingURL=index.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,cAAc,wBAAwB,CAAC;AAGvC,OAAO,KAAK,QAAQ,MAAM,4BAA4B,CAAC;AAGvD,OAAO,KAAK,YAAY,MAAM,iCAAiC,CAAC;AAGhE,OAAO,KAAK,UAAU,MAAM,+BAA+B,CAAC;AAC5D,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,UAAU,MAAM,uBAAuB,CAAC;AACpD,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAGlD,OAAO,KAAK,UAAU,MAAM,+BAA+B,CAAC;AAC5D,OAAO,KAAK,WAAW,MAAM,gCAAgC,CAAC;AAG9D,OAAO,KAAK,SAAS,MAAM,8BAA8B,CAAC;AAG1D,OAAO,KAAK,WAAW,MAAM,gCAAgC,CAAC;AAG9D,OAAO,KAAK,GAAG,MAAM,uBAAuB,CAAC;AAC7C,OAAO,KAAK,IAAI,MAAM,wBAAwB,CAAC;AAG/C,OAAO,KAAK,cAAc,MAAM,mCAAmC,CAAC;AACpE,OAAO,KAAK,YAAY,MAAM,iCAAiC,CAAC;AAChE,OAAO,KAAK,SAAS,MAAM,6BAA6B,CAAC;AAGzD,OAAO,KAAK,SAAS,MAAM,6BAA6B,CAAC"}
package/dist/index.js ADDED
@@ -0,0 +1,75 @@
1
+ "use strict";
2
+ /**
3
+ * MUSUBIX - Neuro-Symbolic AI Integration System
4
+ *
5
+ * This is the main entry point that re-exports all MUSUBIX packages.
6
+ * Install with: npm install musubix
7
+ *
8
+ * @packageDocumentation
9
+ */
10
+ var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
11
+ if (k2 === undefined) k2 = k;
12
+ var desc = Object.getOwnPropertyDescriptor(m, k);
13
+ if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
14
+ desc = { enumerable: true, get: function() { return m[k]; } };
15
+ }
16
+ Object.defineProperty(o, k2, desc);
17
+ }) : (function(o, m, k, k2) {
18
+ if (k2 === undefined) k2 = k;
19
+ o[k2] = m[k];
20
+ }));
21
+ var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
22
+ Object.defineProperty(o, "default", { enumerable: true, value: v });
23
+ }) : function(o, v) {
24
+ o["default"] = v;
25
+ });
26
+ var __exportStar = (this && this.__exportStar) || function(m, exports) {
27
+ for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
28
+ };
29
+ var __importStar = (this && this.__importStar) || (function () {
30
+ var ownKeys = function(o) {
31
+ ownKeys = Object.getOwnPropertyNames || function (o) {
32
+ var ar = [];
33
+ for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
34
+ return ar;
35
+ };
36
+ return ownKeys(o);
37
+ };
38
+ return function (mod) {
39
+ if (mod && mod.__esModule) return mod;
40
+ var result = {};
41
+ if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
42
+ __setModuleDefault(result, mod);
43
+ return result;
44
+ };
45
+ })();
46
+ Object.defineProperty(exports, "__esModule", { value: true });
47
+ exports.codeGraph = exports.synthesis = exports.neuralSearch = exports.libraryLearner = exports.lean = exports.dfg = exports.sddOntology = exports.wakeSleep = exports.ontologyMcp = exports.patternMcp = exports.yataScale = exports.yataGlobal = exports.yataLocal = exports.yataClient = exports.formalVerify = exports.security = void 0;
48
+ // Core functionality
49
+ __exportStar(require("@nahisaho/musubix-core"), exports);
50
+ // Security analysis
51
+ exports.security = __importStar(require("@nahisaho/musubix-security"));
52
+ // Formal verification
53
+ exports.formalVerify = __importStar(require("@nahisaho/musubix-formal-verify"));
54
+ // YATA Knowledge Graph
55
+ exports.yataClient = __importStar(require("@nahisaho/musubix-yata-client"));
56
+ exports.yataLocal = __importStar(require("@nahisaho/yata-local"));
57
+ exports.yataGlobal = __importStar(require("@nahisaho/yata-global"));
58
+ exports.yataScale = __importStar(require("@nahisaho/yata-scale"));
59
+ // Pattern and Ontology MCP
60
+ exports.patternMcp = __importStar(require("@nahisaho/musubix-pattern-mcp"));
61
+ exports.ontologyMcp = __importStar(require("@nahisaho/musubix-ontology-mcp"));
62
+ // Wake-Sleep learning
63
+ exports.wakeSleep = __importStar(require("@nahisaho/musubix-wake-sleep"));
64
+ // SDD Ontology
65
+ exports.sddOntology = __importStar(require("@nahisaho/musubix-sdd-ontology"));
66
+ // v2.0.0 packages
67
+ exports.dfg = __importStar(require("@nahisaho/musubix-dfg"));
68
+ exports.lean = __importStar(require("@nahisaho/musubix-lean"));
69
+ // v2.2.0 Advanced Learning packages
70
+ exports.libraryLearner = __importStar(require("@nahisaho/musubix-library-learner"));
71
+ exports.neuralSearch = __importStar(require("@nahisaho/musubix-neural-search"));
72
+ exports.synthesis = __importStar(require("@nahisaho/musubix-synthesis"));
73
+ // v2.3.0 Code Knowledge Graph
74
+ exports.codeGraph = __importStar(require("@nahisaho/musubix-codegraph"));
75
+ //# sourceMappingURL=index.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,qBAAqB;AACrB,yDAAuC;AAEvC,oBAAoB;AACpB,uEAAuD;AAEvD,sBAAsB;AACtB,gFAAgE;AAEhE,uBAAuB;AACvB,4EAA4D;AAC5D,kEAAkD;AAClD,oEAAoD;AACpD,kEAAkD;AAElD,2BAA2B;AAC3B,4EAA4D;AAC5D,8EAA8D;AAE9D,sBAAsB;AACtB,0EAA0D;AAE1D,eAAe;AACf,8EAA8D;AAE9D,kBAAkB;AAClB,6DAA6C;AAC7C,+DAA+C;AAE/C,oCAAoC;AACpC,oFAAoE;AACpE,gFAAgE;AAChE,yEAAyD;AAEzD,8BAA8B;AAC9B,yEAAyD"}
package/package.json CHANGED
@@ -1,86 +1,66 @@
1
1
  {
2
2
  "name": "musubix",
3
- "version": "2.2.1",
4
- "description": "Neuro-Symbolic AI Coding System - MUSUBI × YATA Integration",
5
- "type": "module",
6
- "workspaces": [
7
- "packages/*"
3
+ "version": "2.3.0",
4
+ "description": "MUSUBIX - Neuro-Symbolic AI Integration System for Software Development",
5
+ "keywords": [
6
+ "ai",
7
+ "neuro-symbolic",
8
+ "knowledge-graph",
9
+ "sdd",
10
+ "software-development",
11
+ "code-generation",
12
+ "ears",
13
+ "requirements",
14
+ "design-patterns",
15
+ "codegraph"
8
16
  ],
17
+ "author": "nahisaho",
18
+ "license": "MIT",
19
+ "repository": {
20
+ "type": "git",
21
+ "url": "https://github.com/nahisaho/MUSUBIX.git"
22
+ },
23
+ "homepage": "https://github.com/nahisaho/MUSUBIX#readme",
24
+ "bugs": {
25
+ "url": "https://github.com/nahisaho/MUSUBIX/issues"
26
+ },
27
+ "main": "dist/index.js",
28
+ "types": "dist/index.d.ts",
9
29
  "bin": {
10
- "musubix": "bin/musubix.js",
11
- "musubix-mcp": "bin/musubix-mcp.js"
30
+ "musubix": "./bin/musubix.js"
12
31
  },
13
32
  "files": [
14
- "bin/",
15
- "AGENTS.md",
16
- "README.md",
17
- "README.ja.md",
18
- "LICENSE",
19
- "docs/",
20
- "steering/",
21
- "templates/",
22
- ".github/",
23
- "scripts/"
33
+ "dist",
34
+ "bin"
24
35
  ],
25
36
  "scripts": {
26
- "postinstall": "node scripts/postinstall.js",
27
- "build": "npm run build --workspaces --if-present",
28
- "test": "vitest run",
29
- "test:unit": "vitest run --dir packages/*/src/__tests__",
30
- "test:integration": "vitest run --dir packages/*/__tests__",
31
- "test:coverage": "vitest run --coverage",
32
- "lint": "eslint packages/*/src --ext .ts",
33
- "lint:fix": "eslint packages/*/src --ext .ts --fix",
34
- "clean": "npm run clean --workspaces --if-present",
35
- "typecheck": "npm run typecheck --workspaces --if-present",
37
+ "build": "tsc",
36
38
  "prepublishOnly": "npm run build"
37
39
  },
38
- "repository": {
39
- "type": "git",
40
- "url": "git+https://github.com/nahisaho/MUSUBIX.git"
41
- },
42
- "keywords": [
43
- "ai",
44
- "neuro-symbolic",
45
- "coding-assistant",
46
- "mcp",
47
- "musubi",
48
- "yata"
49
- ],
50
- "author": "nahisaho",
51
- "license": "MIT",
52
- "engines": {
53
- "node": ">=20.0.0"
40
+ "dependencies": {
41
+ "@nahisaho/musubix-codegraph": "^2.3.0",
42
+ "@nahisaho/musubix-core": "^2.2.0",
43
+ "@nahisaho/musubix-mcp-server": "^2.2.0",
44
+ "@nahisaho/musubix-security": "^2.2.0",
45
+ "@nahisaho/musubix-formal-verify": "^2.2.0",
46
+ "@nahisaho/musubix-yata-client": "^2.2.0",
47
+ "@nahisaho/yata-local": "^2.2.0",
48
+ "@nahisaho/yata-global": "^2.2.0",
49
+ "@nahisaho/yata-scale": "^2.2.0",
50
+ "@nahisaho/musubix-pattern-mcp": "^2.2.0",
51
+ "@nahisaho/musubix-ontology-mcp": "^2.2.0",
52
+ "@nahisaho/musubix-wake-sleep": "^2.2.0",
53
+ "@nahisaho/musubix-sdd-ontology": "^2.2.0",
54
+ "@nahisaho/musubix-dfg": "^2.2.0",
55
+ "@nahisaho/musubix-lean": "^2.2.0",
56
+ "@nahisaho/musubix-library-learner": "^2.2.0",
57
+ "@nahisaho/musubix-neural-search": "^2.2.0",
58
+ "@nahisaho/musubix-synthesis": "^2.2.0"
54
59
  },
55
60
  "devDependencies": {
56
- "@types/node": "^20.10.0",
57
- "@typescript-eslint/eslint-plugin": "^6.13.0",
58
- "@typescript-eslint/parser": "^6.13.0",
59
- "@vitest/coverage-v8": "^4.0.16",
60
- "eslint": "^8.55.0",
61
- "typescript": "^5.3.0",
62
- "vitest": "^4.0.16"
61
+ "typescript": "^5.3.3"
63
62
  },
64
- "dependencies": {
65
- "@modelcontextprotocol/sdk": "1.25.1",
66
- "@nahisaho/musubix-core": "^2.1.0",
67
- "@nahisaho/musubix-dfg": "^2.1.0",
68
- "@nahisaho/musubix-formal-verify": "^2.1.0",
69
- "@nahisaho/musubix-lean": "^2.1.0",
70
- "@nahisaho/musubix-library-learner": "^2.1.0",
71
- "@nahisaho/musubix-mcp-server": "^2.1.0",
72
- "@nahisaho/musubix-neural-search": "^2.1.0",
73
- "@nahisaho/musubix-ontology-mcp": "^2.1.0",
74
- "@nahisaho/musubix-pattern-mcp": "^2.1.0",
75
- "@nahisaho/musubix-sdd-ontology": "^2.1.0",
76
- "@nahisaho/musubix-security": "^2.1.0",
77
- "@nahisaho/musubix-synthesis": "^2.1.0",
78
- "@nahisaho/musubix-wake-sleep": "^2.1.0",
79
- "@nahisaho/musubix-yata-client": "^2.1.0",
80
- "@nahisaho/yata-global": "^2.1.0",
81
- "@nahisaho/yata-local": "^2.1.0",
82
- "@nahisaho/yata-scale": "^2.1.0",
83
- "@nahisaho/yata-ui": "^2.1.0",
84
- "musubix": "^2.2.0"
63
+ "engines": {
64
+ "node": ">=20.0.0"
85
65
  }
86
66
  }