musubix 3.4.0 → 3.4.2

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 (95) hide show
  1. package/README.md +50 -315
  2. package/bin/musubix.js +1 -9
  3. package/dist/index.d.ts +25 -0
  4. package/dist/index.d.ts.map +1 -0
  5. package/dist/index.js +74 -0
  6. package/dist/index.js.map +1 -0
  7. package/package.json +51 -57
  8. package/.github/AGENTS.md +0 -949
  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 -237
  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 -217
  28. package/.github/skills/musubix-technical-writing/SKILL.md +0 -444
  29. package/.github/skills/musubix-test-generation/SKILL.md +0 -212
  30. package/.github/skills/musubix-traceability/SKILL.md +0 -141
  31. package/AGENTS.md +0 -1134
  32. package/LICENSE +0 -21
  33. package/README.ja.md +0 -313
  34. package/bin/musubix-mcp.js +0 -15
  35. package/docs/API-REFERENCE.md +0 -1425
  36. package/docs/GITHUB-ACTIONS-NPM-SETUP.md +0 -132
  37. package/docs/INSTALL-GUIDE.ja.md +0 -459
  38. package/docs/INSTALL-GUIDE.md +0 -459
  39. package/docs/MIGRATION-v3.0.md +0 -324
  40. package/docs/MUSUBI-enhancement_roadmap_20260105.md +0 -651
  41. package/docs/MUSUBIX-v3.0-User-Guide.md +0 -1357
  42. package/docs/MUSUBIXv2.2.0-Manual-outline.md +0 -136
  43. package/docs/MUSUBIXv2.2.0-Manual.md +0 -3123
  44. package/docs/MUSUBIXv2.3.5-Refactering.md +0 -1310
  45. package/docs/MUSUBIv1.6.1-enhancement_roadmap_20260105.md +0 -291
  46. package/docs/MUSUBIv2.2.0-USERGUIDE.md +0 -2079
  47. package/docs/ROADMAP-v1.5.md +0 -116
  48. package/docs/SwarmCoding.md +0 -1284
  49. package/docs/Test-prompt.md +0 -105
  50. package/docs/USER-GUIDE-v1.8.0.md +0 -2371
  51. package/docs/USER-GUIDE.ja.md +0 -2147
  52. package/docs/USER-GUIDE.md +0 -3022
  53. package/docs/YATA-GLOBAL-GUIDE.ja.md +0 -750
  54. package/docs/YATA-GLOBAL-GUIDE.md +0 -595
  55. package/docs/YATA-LOCAL-GUIDE.ja.md +0 -989
  56. package/docs/YATA-LOCAL-GUIDE.md +0 -730
  57. package/docs/adr/0001-real-time-pattern-learning-architecture-for-v1-5-0.md +0 -75
  58. package/docs/adr/0002-pattern-sharing-protocol-for-cross-team-collaborat.md +0 -79
  59. package/docs/adr/0003-owl-2-rl-implementation-strategy-for-advanced-infe.md +0 -90
  60. package/docs/adr/ADR-v3.4.0-001-deep-research-architecture.md +0 -217
  61. package/docs/adr/ADR-v3.4.0-002-search-provider-selection.md +0 -308
  62. package/docs/adr/ADR-v3.4.0-003-lm-api-integration.md +0 -475
  63. package/docs/enterprise-knowledge-management.md +0 -1737
  64. package/docs/evolution-from-musubi-to-musubix.md +0 -2170
  65. package/docs/getting-started-with-sdd.md +0 -1602
  66. package/docs/moodle-refactering-codegraph-musubix.md +0 -391
  67. package/docs/moodle-refactering-codegraph.md +0 -278
  68. package/docs/overview/MUSUBIX-CodeGraph.md +0 -322
  69. package/docs/overview/MUSUBIX-Core.md +0 -671
  70. package/docs/overview/MUSUBIX-Decisions.md +0 -494
  71. package/docs/overview/MUSUBIX-FormalVerify.md +0 -566
  72. package/docs/overview/MUSUBIX-Knowledge.md +0 -1231
  73. package/docs/overview/MUSUBIX-Learning.md +0 -837
  74. package/docs/overview/MUSUBIX-MCP-Server.md +0 -535
  75. package/docs/overview/MUSUBIX-Overview.md +0 -264
  76. package/docs/overview/MUSUBIX-Phase1-Complete.md +0 -271
  77. package/docs/overview/MUSUBIX-Phase2-Complete.md +0 -310
  78. package/docs/overview/MUSUBIX-Policy.md +0 -477
  79. package/docs/overview/MUSUBIX-Roadmap-v2.md +0 -399
  80. package/docs/overview/MUSUBIX-Security-Plan.md +0 -939
  81. package/docs/overview/MUSUBIX-Security-v2.1.md +0 -668
  82. package/docs/overview/MUSUBIX-Security.md +0 -891
  83. package/docs/overview/MUSUBIX-YATA.md +0 -666
  84. package/docs/overview/MUSUBIX-v2.2.0-Advanced-Learning.md +0 -513
  85. package/docs/overview/Neuro-SymbolicAI.md +0 -159
  86. package/docs/packages/knowledge.md +0 -594
  87. package/docs/qiita-linux-kernel-knowledge-graph.md +0 -596
  88. package/scripts/generate-quality-gate-report.ts +0 -106
  89. package/scripts/postinstall.js +0 -94
  90. package/steering/.musubi-version +0 -1
  91. package/steering/product.ja.md +0 -572
  92. package/steering/project.yml +0 -66
  93. package/steering/rules/constitution.md +0 -491
  94. package/steering/structure.ja.md +0 -503
  95. package/steering/tech.ja.md +0 -208
package/README.md CHANGED
@@ -1,336 +1,71 @@
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 synthesis](https://img.shields.io/npm/v/@nahisaho/musubix-synthesis.svg?label=@nahisaho/musubix-synthesis)](https://www.npmjs.com/package/@nahisaho/musubix-synthesis)
15
- [![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)
16
- [![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)
17
-
18
- > Next-generation AI Coding System powered by Git-Native Knowledge Integration
19
- >
20
- > **v3.4.0** - Deep Research Integration
21
-
22
- **[日本語版 README](README.ja.md)**
23
-
24
- ## Overview
25
-
26
- MUSUBIX is an innovative AI coding system that integrates **Neural (LLM)** and **Symbolic (Knowledge Graph)** reasoning. It combines MUSUBI SDD methodology with Git-native knowledge management to support high-quality software development.
27
-
28
- ### 🎉 v3.4.0 Highlights - Deep Research Integration
29
-
30
- - **🔍 Deep Research Package** - AI-driven iterative research system (433 tests)
31
- - **6 Integration Modules** - Expert Delegation, Neural Search, Agent Orchestrator, Knowledge Store, Workflow Engine, VS Code Extension
32
- - **Expert Delegation** - VS Code LM API integration with 7 AI expert types
33
- - **81% Development Efficiency** - 7h actual vs 36h estimated through established patterns
34
- - **100% Test Coverage** - 433/433 tests passing, 1,734 lines implementation + 2,488 lines tests
35
-
36
- ### Previous Highlights
37
-
38
- #### v3.0.0 - Git-Native Knowledge System
39
-
40
- - **Git-Native Knowledge** - File-based knowledge graph in `.knowledge/`
41
- - **Policy Engine** - Executable TypeScript policies in `.policies/`
42
- - **Decision Records** - ADR management in `docs/decisions/`
43
- - **2100+ tests** passing across 17 packages
44
-
45
- ### Features
46
-
47
- - 🧠 **Neuro-Symbolic Integration** - Fusion of LLM creativity and knowledge graph precision
48
- - 📂 **Git-Native Knowledge** - File-based knowledge graph management *(v3.0.0)*
49
- - 📊 **DFG/CFG Analysis** - Data flow and control flow graph extraction for TypeScript/JavaScript
50
- - 🧮 **Lean 4 Integration** - Formal theorem proving with EARS-to-Lean conversion
51
- - 📚 **Library Learning** - DreamCoder-style hierarchical abstraction and pattern compression
52
- - 🔍 **Neural Search** - Neural-guided program synthesis with beam search
53
- - ⚗️ **Program Synthesis** - DSL-based PBE synthesis with witness functions
54
- - 🔒 **Symbolic Reasoning** - Formal verification, hallucination detection, constitution enforcement
55
- - 📝 **EARS Requirements Analysis** - Conversion and validation from natural language to formal requirements
56
- - 🎨 **Design Pattern Recommendations** - Context-based C4 model and ADR generation
57
- - ✅ **Test-Driven Development** - Quality assurance through Test-First principles
58
- - 🔗 **Complete Traceability** - Tracking from requirements to code
59
- - 🛡️ **Security Analysis** - Vulnerability scanning, secret detection, taint analysis *(v1.8.0)*
60
- - 🔬 **Formal Verification** - Z3 SMT solver integration, Hoare triple verification *(v1.7.5)*
61
- - 🖥️ **Interactive REPL** - Command completion, history, session variables *(v1.6.0)*
62
- - 🔮 **Advanced Inference** - OWL 2 RL reasoning and Datalog evaluation *(v1.4.5)*
63
-
64
- ## Architecture
65
-
66
- ```mermaid
67
- flowchart TB
68
- subgraph MUSUBIX["MUSUBIX System v3.0"]
69
- subgraph Packages["Packages"]
70
- Core["@nahisaho/musubix-core"]
71
- MCP["@nahisaho/musubix-mcp-server"]
72
- Security["@nahisaho/musubix-security"]
73
- end
74
-
75
- Core <--> MCP
76
- MCP <--> Security
77
-
78
- subgraph Integration["Neuro-Symbolic Integration"]
79
- NSI["LLM Creativity + Git-Native Knowledge"]
80
- end
81
-
82
- Core --> Integration
83
- MCP --> Integration
84
- end
85
- ```
86
-
87
- ## Project Structure
88
-
89
- | Path | Description |
90
- |------|-------------|
91
- | `packages/core/` | Core library (249 modules) |
92
- | `packages/core/auth/` | Authentication & Authorization |
93
- | `packages/core/cli/` | CLI Interface |
94
- | `packages/core/codegen/` | Code Generation & Analysis |
95
- | `packages/core/design/` | Design Patterns & C4 Models |
96
- | `packages/core/error/` | Error Handling |
97
- | `packages/core/explanation/` | Explanation Generation & Visualization |
98
- | `packages/core/learning/` | Self-Learning & Pattern Extraction |
99
- | `packages/core/requirements/` | Requirements Analysis & Decomposition |
100
- | `packages/core/symbolic/` | Symbolic Reasoning |
101
- | `packages/core/traceability/` | Traceability |
102
- | `packages/core/types/` | Type Definitions |
103
- | `packages/core/utils/` | Utilities |
104
- | `packages/core/validators/` | EARS Validation |
105
- | `packages/mcp-server/` | MCP Server (35 tools, 5 prompts) |
106
- | `packages/pattern-mcp/` | Pattern Learning |
107
- | `packages/ontology-mcp/` | Ontology Engine |
108
- | `packages/wake-sleep/` | Wake-Sleep Learning |
109
- | `packages/sdd-ontology/` | SDD Ontology |
110
- | `packages/security/` | Security Analysis |
111
- | `packages/formal-verify/` | Formal Verification |
112
- | `packages/dfg/` | DFG/CFG Extraction - Data Flow Analysis |
113
- | `packages/lean/` | Lean 4 Integration - Theorem Proving |
114
- | `packages/library-learner/` | Library Learning - DreamCoder-style |
115
- | `packages/neural-search/` | Neural Search - Guided Synthesis |
116
- | `packages/synthesis/` | Program Synthesis - DSL/PBE |
117
- | `steering/` | Project Memory |
118
- | `storage/` | Specifications & Artifacts |
119
- | `templates/` | Templates |
120
- | `docs/` | Documentation |
121
-
122
- ## Requirements
123
-
124
- - Node.js >= 20.0.0
125
- - npm >= 10.0.0
126
- - TypeScript >= 5.3
3
+ MUSUBIX - Neuro-Symbolic AI Integration System for Software Development
127
4
 
128
5
  ## Installation
129
6
 
130
- ### npm/npx (Recommended)
131
-
132
7
  ```bash
133
- # Global installation
134
- npm install -g musubix
135
-
136
- # Run directly with npx
137
- npx musubix init
138
- npx musubix --help
139
-
140
- # Start MCP Server
141
- npx @nahisaho/musubix-mcp-server
142
- npx musubix-mcp --transport stdio
8
+ npm install musubix
143
9
  ```
144
10
 
145
- ### Scoped Packages
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
146
34
 
147
35
  ```bash
148
- # Install individual packages
149
- npm install @nahisaho/musubix-core
150
- npm install @nahisaho/musubix-mcp-server
151
- npm install @nahisaho/musubix-yata-client
152
- npm install @nahisaho/musubix-security
153
- npm install @nahisaho/musubix-formal-verify
154
-
155
- # Phase 1: Deep Symbolic Integration
156
- npm install @nahisaho/musubix-dfg
157
- npm install @nahisaho/musubix-lean
158
- npm install @nahisaho/yata-scale
159
-
160
- # Phase 2: Advanced Learning
161
- npm install @nahisaho/musubix-library-learner
162
- npm install @nahisaho/musubix-neural-search
163
- npm install @nahisaho/musubix-synthesis
164
- ```
165
-
166
- ### Build from Source
167
-
168
- ```bash
169
- git clone https://github.com/nahisaho/MUSUBIX.git
170
- cd MUSUBIX
171
- npm install
172
- npm run build
173
- ```
174
-
175
- ## Development
176
-
177
- ```bash
178
- # Build
179
- npm run build
180
-
181
- # Run tests
182
- npm test
183
-
184
- # Lint
185
- npm run lint
186
-
187
- # Type check
188
- npm run type-check
36
+ npx musubix --help
37
+ npx musubix init
38
+ npx musubix requirements analyze <file>
39
+ npx musubix design generate <file>
40
+ npx musubix design traceability # REQ↔DES traceability validation (v3.1.0)
41
+ npx musubix codegen generate <file>
42
+ npx musubix codegen status <spec> # Status transition code generation (v3.1.0)
43
+ npx musubix scaffold domain-model <name> # DDD project scaffolding
44
+ npx musubix scaffold domain-model <name> -v "Price,Email" # With Value Objects (v3.1.0)
45
+ npx musubix scaffold domain-model <name> -s "Order,Task" # With status machines (v3.1.0)
189
46
  ```
190
47
 
191
- ## Key Features
192
-
193
- ### Requirements Definition (Article II Compliant)
194
-
195
- - **EARS Validation**: Easy Approach to Requirements Syntax pattern validation
196
- - **Interactive Q&A Hearing**: Dialogue-based requirements gathering
197
- - **Requirements Decomposition**: Breaking down large requirements into implementation units
198
- - **Related Requirements Search**: Automatic detection of similar and dependent requirements
199
-
200
- ### Design Generation (Article III Compliant)
201
-
202
- - **C4 Model Generation**: Context/Container/Component/Code diagrams
203
- - **ADR Generation**: Architecture Decision Records
204
- - **Pattern Detection**: Automatic detection and recommendation of design patterns
205
- - **SOLID Validation**: SOLID principle compliance checking
206
-
207
- ### Code Generation & Verification
208
-
209
- - **Static Analysis**: Quality metrics and complexity calculation
210
- - **Security Scanning**: Vulnerability detection
211
- - **Test Generation**: Unit and integration test generation
212
- - **Coverage Reporting**: Test coverage measurement
48
+ ### Library
213
49
 
214
- ### MCP Server
50
+ ```typescript
51
+ import { EarsValidator, CodeGenerator } from 'musubix';
52
+ import { security, synthesis, neuralSearch } from 'musubix';
215
53
 
216
- Provides 24 tools (9 SDD + 7 Pattern + 3 Ontology + 5 KGPR) and 3 prompts:
54
+ // Core features
55
+ const validator = new EarsValidator();
56
+ const result = validator.validate(requirement);
217
57
 
218
- ```bash
219
- # Start MCP Server
220
- npx @nahisaho/musubix-mcp-server
58
+ // Advanced features
59
+ const synthesizer = synthesis.createEnhancedPBESynthesizer();
60
+ const searcher = neuralSearch.createHybridRanker();
221
61
  ```
222
62
 
223
63
  ## Documentation
224
64
 
225
- | Document | Description |
226
- |----------|-------------|
227
- | [Requirements Specification](storage/specs/REQ-MUSUBIX-001.md) | EARS format functional/non-functional requirements |
228
- | [Design Document](storage/specs/DES-MUSUBIX-001.md) | C4 model and ADR-based design |
229
- | [Task Definition](storage/specs/TSK-MUSUBIX-001.md) | 56 tasks sprint plan |
230
- | [API Reference](docs/API-REFERENCE.md) | Public API specification |
231
- | [Symbolic Integration](storage/specs/REQ-SYMB-001.md) | Neuro-Symbolic requirements (27 requirements) |
232
-
233
- ## Symbolic Reasoning Module (v1.2.0)
234
-
235
- The new symbolic reasoning module provides:
236
-
237
- ### Phase 1: Foundation
238
- - **SemanticCodeFilterPipeline** - LLM output semantic validation
239
- - **HallucinationDetector** - Undefined symbol/invalid import detection
240
- - **ConstitutionRuleRegistry** - 9 Constitution articles enforcement
241
- - **ConfidenceEstimator** - AST complexity, requirement coverage scoring
242
- - **ConfidenceBasedRouter** - Confidence-based routing decisions
243
- - **ErrorHandler** - Graceful degradation
244
-
245
- ### Phase 2: Formal Verification
246
- - **EarsToFormalSpecConverter** - EARS → SMT-LIB conversion
247
- - **VerificationConditionGenerator** - Verification condition (VC) generation
248
- - **Z3Adapter** - Z3 SMT solver integration
249
- - **SecurityScanner** - OWASP patterns, secret detection
250
-
251
- ### Phase 3: Advanced Features
252
- - **CandidateRanker** - Multi-criteria candidate scoring
253
- - **ResultBlender** - Neural/Symbolic result integration (3 strategies)
254
- - **ExtensibleRuleConfig** - YAML/JSON rule configuration
255
- - **AuditLogger** - SHA-256 hash-chain tamper detection
256
- - **PerformanceBudget** - Step-level budgets, SLO metrics
257
- - **QualityGateValidator** - Automated quality gate validation
258
-
259
- ## Wake-Sleep Learning Cycle (v1.3.0)
260
-
261
- Continuous learning system based on the Wake-Sleep algorithm:
262
-
263
- | Phase | Processing |
264
- |-------|------------|
265
- | **Wake** | Code observation → Pattern extraction → Knowledge graph update |
266
- | **Sleep** | Pattern consolidation → Similar pattern compression → Memory optimization |
267
-
268
- ### Key Components
269
- - **WakeSleepCycle** - Learning cycle orchestration
270
- - **PatternLibrary** - Persistent pattern storage management
271
- - **PatternOntologyBridge** - Pattern ↔ Ontology bidirectional conversion
272
- - **N3Store** - RDF/OWL-based knowledge graph storage
273
-
274
- ### New MCP Tools (7 tools)
275
- - `pattern_extract` - Extract patterns from code
276
- - `pattern_compress` - Abstraction and compression of patterns
277
- - `pattern_store` - Save to pattern library
278
- - `pattern_query` - Search and retrieve patterns
279
- - `pattern_consolidate` - Consolidate similar patterns
280
- - `ontology_query` - Query ontology graph
281
- - `ontology_infer` - Execute ontology-based inference
282
-
283
- ## Advanced Inference (v1.4.5)
284
-
285
- OWL 2 RL profile reasoning and Datalog evaluation engine:
286
-
287
- ### Inference Components
288
- - **OWL2RLReasoner** - OWL 2 RL profile compliant inference (20+ built-in rules)
289
- - **DatalogEngine** - Stratified Datalog evaluation with negation support
290
- - **InferenceExplainer** - Human-readable inference explanation generator
291
- - **ProgressReporter** - Real-time progress feedback (500ms interval)
292
-
293
- ### OWL 2 RL Built-in Rules
294
- | Category | Rules | Description |
295
- |----------|-------|-------------|
296
- | Class Axioms | cax-sco, cax-eqc | Subclass, Equivalent class inference |
297
- | Property | prp-dom, prp-rng | Domain, Range inference |
298
- | Property Characteristics | prp-symp, prp-trp, prp-inv | Symmetric, Transitive, Inverse |
299
- | Equality | eq-ref, eq-sym, eq-trans | sameAs inference |
300
-
301
- ### Explanation Formats
302
- - `text` - Plain text explanation
303
- - `markdown` - Markdown format
304
- - `html` - HTML format with escaping
305
-
306
- ## Constitutional Articles (9 Articles)
307
-
308
- MUSUBIX adheres to the following 9 constitutional articles:
309
-
310
- 1. **Specification First** - Requirements before implementation
311
- 2. **Design Before Code** - Design before coding
312
- 3. **Single Source of Truth** - Project memory is authoritative
313
- 4. **Traceability** - Tracking from requirements to code
314
- 5. **Incremental Progress** - Small, frequent deliveries
315
- 6. **Decision Documentation** - Decisions recorded as ADRs
316
- 7. **Quality Gates** - Phase validation required
317
- 8. **User-Centric** - Document user value
318
- 9. **Continuous Learning** - Retrospectives and improvements
65
+ - [User Guide](https://github.com/nahisaho/MUSUBIX/blob/main/docs/USER-GUIDE.md)
66
+ - [API Reference](https://github.com/nahisaho/MUSUBIX/blob/main/docs/API-REFERENCE.md)
67
+ - [AGENTS.md](https://github.com/nahisaho/MUSUBIX/blob/main/AGENTS.md) - For AI coding agents
319
68
 
320
69
  ## License
321
70
 
322
- MIT License - See [LICENSE](LICENSE) for details
323
-
324
- ## Author
325
-
326
- nahisaho
327
-
328
- ## Changelog
329
-
330
- See [CHANGELOG.md](CHANGELOG.md)
331
-
332
- ---
333
-
334
- **Document ID**: README
335
- **Version**: 1.8.0
336
- **Last Updated**: 2026-01-06
71
+ 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.
3
+ * MUSUBIX CLI - Delegates to @nahisaho/musubix-core
6
4
  *
7
5
  * @see REQ-ARC-002 - CLI Interface
8
- *
9
- * Usage:
10
- * npx musubix
11
- * musubix <command> [options]
12
6
  */
13
-
14
- // Forward to the core package's CLI
15
7
  import '@nahisaho/musubix-core/bin/musubix.js';
@@ -0,0 +1,25 @@
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 knowledge from '@musubix/knowledge';
13
+ export * as policy from '@musubix/policy';
14
+ export * as decisions from '@musubix/decisions';
15
+ export * as patternMcp from '@nahisaho/musubix-pattern-mcp';
16
+ export * as ontologyMcp from '@nahisaho/musubix-ontology-mcp';
17
+ export * as wakeSleep from '@nahisaho/musubix-wake-sleep';
18
+ export * as sddOntology from '@nahisaho/musubix-sdd-ontology';
19
+ export * as dfg from '@nahisaho/musubix-dfg';
20
+ export * as lean from '@nahisaho/musubix-lean';
21
+ export * as libraryLearner from '@nahisaho/musubix-library-learner';
22
+ export * as neuralSearch from '@nahisaho/musubix-neural-search';
23
+ export * as synthesis from '@nahisaho/musubix-synthesis';
24
+ export * as codeGraph from '@nahisaho/musubix-codegraph';
25
+ //# 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,SAAS,MAAM,oBAAoB,CAAC;AAChD,OAAO,KAAK,MAAM,MAAM,iBAAiB,CAAC;AAC1C,OAAO,KAAK,SAAS,MAAM,oBAAoB,CAAC;AAGhD,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,74 @@
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.decisions = exports.policy = exports.knowledge = 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
+ // v3.0.0 Git-Native Knowledge System
55
+ exports.knowledge = __importStar(require("@musubix/knowledge"));
56
+ exports.policy = __importStar(require("@musubix/policy"));
57
+ exports.decisions = __importStar(require("@musubix/decisions"));
58
+ // Pattern and Ontology MCP
59
+ exports.patternMcp = __importStar(require("@nahisaho/musubix-pattern-mcp"));
60
+ exports.ontologyMcp = __importStar(require("@nahisaho/musubix-ontology-mcp"));
61
+ // Wake-Sleep learning
62
+ exports.wakeSleep = __importStar(require("@nahisaho/musubix-wake-sleep"));
63
+ // SDD Ontology
64
+ exports.sddOntology = __importStar(require("@nahisaho/musubix-sdd-ontology"));
65
+ // v2.0.0 packages
66
+ exports.dfg = __importStar(require("@nahisaho/musubix-dfg"));
67
+ exports.lean = __importStar(require("@nahisaho/musubix-lean"));
68
+ // v2.2.0 Advanced Learning packages
69
+ exports.libraryLearner = __importStar(require("@nahisaho/musubix-library-learner"));
70
+ exports.neuralSearch = __importStar(require("@nahisaho/musubix-neural-search"));
71
+ exports.synthesis = __importStar(require("@nahisaho/musubix-synthesis"));
72
+ // v2.3.0 Code Knowledge Graph
73
+ exports.codeGraph = __importStar(require("@nahisaho/musubix-codegraph"));
74
+ //# 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,qCAAqC;AACrC,gEAAgD;AAChD,0DAA0C;AAC1C,gEAAgD;AAEhD,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,72 +1,66 @@
1
1
  {
2
2
  "name": "musubix",
3
- "version": "3.4.0",
4
- "description": "Neuro-Symbolic AI Coding System - Git-Native Knowledge Integration",
5
- "type": "module",
6
- "workspaces": [
7
- "packages/*"
8
- ],
9
- "bin": {
10
- "musubix": "bin/musubix.js",
11
- "musubix-mcp": "bin/musubix-mcp.js"
12
- },
13
- "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/"
24
- ],
25
- "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",
36
- "prepublishOnly": "npm run build"
37
- },
38
- "repository": {
39
- "type": "git",
40
- "url": "git+https://github.com/nahisaho/MUSUBIX.git"
41
- },
3
+ "version": "3.4.2",
4
+ "description": "MUSUBIX - Neuro-Symbolic AI Integration System for Software Development",
42
5
  "keywords": [
43
6
  "ai",
44
7
  "neuro-symbolic",
45
- "coding-assistant",
46
- "mcp",
47
- "musubi",
8
+ "knowledge-graph",
48
9
  "sdd",
10
+ "software-development",
11
+ "code-generation",
12
+ "ears",
13
+ "requirements",
14
+ "design-patterns",
15
+ "codegraph",
49
16
  "git-native"
50
17
  ],
51
18
  "author": "nahisaho",
52
19
  "license": "MIT",
53
- "engines": {
54
- "node": ">=20.0.0"
20
+ "repository": {
21
+ "type": "git",
22
+ "url": "https://github.com/nahisaho/MUSUBIX.git"
55
23
  },
56
- "devDependencies": {
57
- "@playwright/test": "^1.57.0",
58
- "@types/node": "^20.10.0",
59
- "@typescript-eslint/eslint-plugin": "^6.13.0",
60
- "@typescript-eslint/parser": "^6.13.0",
61
- "@vitest/coverage-v8": "^4.0.16",
62
- "eslint": "^8.55.0",
63
- "typescript": "^5.3.0",
64
- "vitest": "^4.0.16"
24
+ "homepage": "https://github.com/nahisaho/MUSUBIX#readme",
25
+ "bugs": {
26
+ "url": "https://github.com/nahisaho/MUSUBIX/issues"
27
+ },
28
+ "main": "dist/index.js",
29
+ "types": "dist/index.d.ts",
30
+ "bin": {
31
+ "musubix": "./bin/musubix.js"
32
+ },
33
+ "files": [
34
+ "dist",
35
+ "bin"
36
+ ],
37
+ "scripts": {
38
+ "build": "tsc",
39
+ "prepublishOnly": "npm run build"
65
40
  },
66
41
  "dependencies": {
67
- "@modelcontextprotocol/sdk": "^1.25.2",
68
- "@nahisaho/musubix-core": "^3.3.0",
69
- "@nahisaho/musubix-mcp-server": "^3.3.0",
70
- "@nahisaho/musubix-security": "^3.3.8"
42
+ "@musubix/decisions": "^3.4.0",
43
+ "@musubix/knowledge": "^3.4.0",
44
+ "@musubix/policy": "^3.4.0",
45
+ "@nahisaho/musubix-codegraph": "^3.4.1",
46
+ "@nahisaho/musubix-core": "^3.4.1",
47
+ "@nahisaho/musubix-dfg": "^3.4.0",
48
+ "@nahisaho/musubix-formal-verify": "^3.4.0",
49
+ "@nahisaho/musubix-lean": "^3.4.0",
50
+ "@nahisaho/musubix-library-learner": "^3.4.0",
51
+ "@nahisaho/musubix-mcp-server": "^3.4.0",
52
+ "@nahisaho/musubix-neural-search": "^3.4.0",
53
+ "@nahisaho/musubix-ontology-mcp": "^3.4.0",
54
+ "@nahisaho/musubix-pattern-mcp": "^3.4.0",
55
+ "@nahisaho/musubix-sdd-ontology": "^3.4.0",
56
+ "@nahisaho/musubix-security": "^3.4.0",
57
+ "@nahisaho/musubix-synthesis": "^3.4.0",
58
+ "@nahisaho/musubix-wake-sleep": "^3.4.0"
59
+ },
60
+ "devDependencies": {
61
+ "typescript": "^5.3.3"
62
+ },
63
+ "engines": {
64
+ "node": ">=20.0.0"
71
65
  }
72
66
  }