musubix 2.1.1 → 2.2.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.
- package/README.md +44 -310
- package/bin/musubix.js +4 -12
- package/dist/index.d.ts +25 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +73 -0
- package/dist/index.js.map +1 -0
- package/package.json +49 -70
- package/.github/AGENTS.md +0 -242
- package/.github/prompts/sdd-change-apply.prompt.md +0 -283
- package/.github/prompts/sdd-change-archive.prompt.md +0 -241
- package/.github/prompts/sdd-change-init.prompt.md +0 -269
- package/.github/prompts/sdd-design.prompt.md +0 -250
- package/.github/prompts/sdd-implement.prompt.md +0 -387
- package/.github/prompts/sdd-requirements.prompt.md +0 -193
- package/.github/prompts/sdd-review.prompt.md +0 -155
- package/.github/prompts/sdd-security.prompt.md +0 -228
- package/.github/prompts/sdd-steering.prompt.md +0 -269
- package/.github/prompts/sdd-tasks.prompt.md +0 -255
- package/.github/prompts/sdd-test.prompt.md +0 -230
- package/.github/prompts/sdd-validate.prompt.md +0 -304
- package/.github/skills/musubix-adr-generation/SKILL.md +0 -209
- package/.github/skills/musubix-best-practices/SKILL.md +0 -315
- package/.github/skills/musubix-c4-design/SKILL.md +0 -162
- package/.github/skills/musubix-code-generation/SKILL.md +0 -229
- package/.github/skills/musubix-domain-inference/SKILL.md +0 -196
- package/.github/skills/musubix-ears-validation/SKILL.md +0 -161
- package/.github/skills/musubix-sdd-workflow/SKILL.md +0 -210
- package/.github/skills/musubix-test-generation/SKILL.md +0 -212
- package/.github/skills/musubix-traceability/SKILL.md +0 -141
- package/AGENTS.md +0 -622
- package/LICENSE +0 -21
- package/README.ja.md +0 -302
- package/bin/musubix-mcp.js +0 -19
- package/docs/API-REFERENCE.md +0 -1425
- package/docs/GITHUB-ACTIONS-NPM-SETUP.md +0 -132
- package/docs/INSTALL-GUIDE.ja.md +0 -459
- package/docs/INSTALL-GUIDE.md +0 -459
- package/docs/MUSUBI-enhancement_roadmap_20260105.md +0 -651
- package/docs/MUSUBIv1.6.1-enhancement_roadmap_20260105.md +0 -291
- package/docs/ROADMAP-v1.5.md +0 -116
- package/docs/SwarmCoding.md +0 -1284
- package/docs/Test-prompt.md +0 -105
- package/docs/USER-GUIDE-v1.8.0.md +0 -2371
- package/docs/USER-GUIDE.ja.md +0 -2147
- package/docs/USER-GUIDE.md +0 -2652
- package/docs/adr/0001-real-time-pattern-learning-architecture-for-v1-5-0.md +0 -75
- package/docs/adr/0002-pattern-sharing-protocol-for-cross-team-collaborat.md +0 -79
- package/docs/adr/0003-owl-2-rl-implementation-strategy-for-advanced-infe.md +0 -90
- package/docs/evolution-from-musubi-to-musubix.md +0 -2168
- package/docs/getting-started-with-sdd.md +0 -1602
- package/docs/overview/MUSUBIX-Core.md +0 -671
- package/docs/overview/MUSUBIX-FormalVerify.md +0 -566
- package/docs/overview/MUSUBIX-Learning.md +0 -837
- package/docs/overview/MUSUBIX-MCP-Server.md +0 -535
- package/docs/overview/MUSUBIX-Overview.md +0 -264
- package/docs/overview/MUSUBIX-Phase1-Complete.md +0 -271
- package/docs/overview/MUSUBIX-Phase2-Complete.md +0 -310
- package/docs/overview/MUSUBIX-Roadmap-v2.md +0 -399
- package/docs/overview/MUSUBIX-Security-Plan.md +0 -939
- package/docs/overview/MUSUBIX-Security.md +0 -891
- package/docs/overview/MUSUBIX-YATA.md +0 -666
- package/docs/overview/Neuro-SymbolicAI.md +0 -159
- package/scripts/generate-quality-gate-report.ts +0 -106
- package/scripts/postinstall.js +0 -94
- package/steering/.musubi-version +0 -1
- package/steering/product.ja.md +0 -572
- package/steering/project.yml +0 -66
- package/steering/rules/constitution.md +0 -412
- package/steering/structure.ja.md +0 -503
- package/steering/tech.ja.md +0 -208
package/README.md
CHANGED
|
@@ -1,331 +1,65 @@
|
|
|
1
|
-
#
|
|
1
|
+
# musubix
|
|
2
2
|
|
|
3
|
-
|
|
4
|
-
[](https://www.npmjs.com/package/musubix)
|
|
5
|
-
[](https://www.npmjs.com/package/@nahisaho/musubix-core)
|
|
6
|
-
[](https://www.npmjs.com/package/@nahisaho/musubix-mcp-server)
|
|
7
|
-
[](https://nodejs.org/)
|
|
8
|
-
[](LICENSE)
|
|
9
|
-
[](https://www.typescriptlang.org/)
|
|
10
|
-
[](https://github.com/nahisaho/MUSUBIX)
|
|
11
|
-
[](https://www.npmjs.com/package/@nahisaho/musubix-security)
|
|
12
|
-
[](https://www.npmjs.com/package/@nahisaho/musubix-dfg)
|
|
13
|
-
[](https://www.npmjs.com/package/@nahisaho/musubix-lean)
|
|
14
|
-
[](https://www.npmjs.com/package/@nahisaho/yata-scale)
|
|
15
|
-
[](https://www.npmjs.com/package/@nahisaho/musubix-synthesis)
|
|
16
|
-
[](https://www.npmjs.com/package/@nahisaho/musubix-library-learner)
|
|
17
|
-
[](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
|
-
|
|
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
|
-
|
|
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
|
-
|
|
174
|
-
|
|
175
|
-
|
|
176
|
-
|
|
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
|
-
|
|
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
|
-
|
|
198
|
-
|
|
199
|
-
|
|
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
|
-
|
|
48
|
+
// Core features
|
|
49
|
+
const validator = new EarsValidator();
|
|
50
|
+
const result = validator.validate(requirement);
|
|
203
51
|
|
|
204
|
-
|
|
205
|
-
|
|
206
|
-
|
|
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
|
-
|
|
221
|
-
|
|
222
|
-
|
|
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
|
|
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
|
|
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
|
-
|
|
15
|
-
|
|
5
|
+
import('@nahisaho/musubix-core/dist/cli/index.js').catch(() => {
|
|
6
|
+
require('@nahisaho/musubix-core/dist/cli/index.js');
|
|
7
|
+
});
|
package/dist/index.d.ts
ADDED
|
@@ -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 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
|
+
//# 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"}
|
package/dist/index.js
ADDED
|
@@ -0,0 +1,73 @@
|
|
|
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.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
|
+
//# 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"}
|
package/package.json
CHANGED
|
@@ -1,85 +1,64 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "musubix",
|
|
3
|
-
"version": "2.
|
|
4
|
-
"description": "Neuro-Symbolic AI
|
|
5
|
-
"
|
|
6
|
-
|
|
7
|
-
"
|
|
3
|
+
"version": "2.2.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"
|
|
8
15
|
],
|
|
16
|
+
"author": "nahisaho",
|
|
17
|
+
"license": "MIT",
|
|
18
|
+
"repository": {
|
|
19
|
+
"type": "git",
|
|
20
|
+
"url": "https://github.com/nahisaho/MUSUBIX.git"
|
|
21
|
+
},
|
|
22
|
+
"homepage": "https://github.com/nahisaho/MUSUBIX#readme",
|
|
23
|
+
"bugs": {
|
|
24
|
+
"url": "https://github.com/nahisaho/MUSUBIX/issues"
|
|
25
|
+
},
|
|
26
|
+
"main": "dist/index.js",
|
|
27
|
+
"types": "dist/index.d.ts",
|
|
9
28
|
"bin": {
|
|
10
|
-
"musubix": "bin/musubix.js"
|
|
11
|
-
"musubix-mcp": "bin/musubix-mcp.js"
|
|
29
|
+
"musubix": "./bin/musubix.js"
|
|
12
30
|
},
|
|
13
31
|
"files": [
|
|
14
|
-
"
|
|
15
|
-
"
|
|
16
|
-
"README.md",
|
|
17
|
-
"README.ja.md",
|
|
18
|
-
"LICENSE",
|
|
19
|
-
"docs/",
|
|
20
|
-
"steering/",
|
|
21
|
-
"templates/",
|
|
22
|
-
".github/",
|
|
23
|
-
"scripts/"
|
|
32
|
+
"dist",
|
|
33
|
+
"bin"
|
|
24
34
|
],
|
|
25
35
|
"scripts": {
|
|
26
|
-
"
|
|
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
|
+
"build": "tsc",
|
|
36
37
|
"prepublishOnly": "npm run build"
|
|
37
38
|
},
|
|
38
|
-
"
|
|
39
|
-
"
|
|
40
|
-
"
|
|
41
|
-
|
|
42
|
-
|
|
43
|
-
"
|
|
44
|
-
"
|
|
45
|
-
"
|
|
46
|
-
"
|
|
47
|
-
"
|
|
48
|
-
"
|
|
49
|
-
|
|
50
|
-
|
|
51
|
-
|
|
52
|
-
|
|
53
|
-
"
|
|
39
|
+
"dependencies": {
|
|
40
|
+
"@nahisaho/musubix-core": "^2.2.0",
|
|
41
|
+
"@nahisaho/musubix-mcp-server": "^2.2.0",
|
|
42
|
+
"@nahisaho/musubix-security": "^2.2.0",
|
|
43
|
+
"@nahisaho/musubix-formal-verify": "^2.2.0",
|
|
44
|
+
"@nahisaho/musubix-yata-client": "^2.2.0",
|
|
45
|
+
"@nahisaho/yata-local": "^2.2.0",
|
|
46
|
+
"@nahisaho/yata-global": "^2.2.0",
|
|
47
|
+
"@nahisaho/yata-scale": "^2.2.0",
|
|
48
|
+
"@nahisaho/musubix-pattern-mcp": "^2.2.0",
|
|
49
|
+
"@nahisaho/musubix-ontology-mcp": "^2.2.0",
|
|
50
|
+
"@nahisaho/musubix-wake-sleep": "^2.2.0",
|
|
51
|
+
"@nahisaho/musubix-sdd-ontology": "^2.2.0",
|
|
52
|
+
"@nahisaho/musubix-dfg": "^2.2.0",
|
|
53
|
+
"@nahisaho/musubix-lean": "^2.2.0",
|
|
54
|
+
"@nahisaho/musubix-library-learner": "^2.2.0",
|
|
55
|
+
"@nahisaho/musubix-neural-search": "^2.2.0",
|
|
56
|
+
"@nahisaho/musubix-synthesis": "^2.2.0"
|
|
54
57
|
},
|
|
55
58
|
"devDependencies": {
|
|
56
|
-
"
|
|
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"
|
|
59
|
+
"typescript": "^5.3.3"
|
|
63
60
|
},
|
|
64
|
-
"
|
|
65
|
-
"
|
|
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"
|
|
61
|
+
"engines": {
|
|
62
|
+
"node": ">=20.0.0"
|
|
84
63
|
}
|
|
85
64
|
}
|