musubix 3.4.7 → 3.5.1
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 +50 -315
- package/bin/musubix.js +1 -9
- package/dist/index.d.ts +25 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +74 -0
- package/dist/index.js.map +1 -0
- package/package.json +52 -58
- package/.github/AGENTS.md +0 -949
- 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 -237
- 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 -217
- package/.github/skills/musubix-technical-writing/SKILL.md +0 -444
- package/.github/skills/musubix-test-generation/SKILL.md +0 -212
- package/.github/skills/musubix-traceability/SKILL.md +0 -141
- package/AGENTS.md +0 -1134
- package/LICENSE +0 -21
- package/README.ja.md +0 -313
- package/bin/musubix-mcp.js +0 -15
- 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/MIGRATION-v3.0.md +0 -324
- package/docs/MUSUBI-enhancement_roadmap_20260105.md +0 -651
- package/docs/MUSUBIX-v3.0-User-Guide.md +0 -1357
- package/docs/MUSUBIXv2.2.0-Manual-outline.md +0 -136
- package/docs/MUSUBIXv2.2.0-Manual.md +0 -3123
- package/docs/MUSUBIXv2.3.5-Refactering.md +0 -1310
- package/docs/MUSUBIv1.6.1-enhancement_roadmap_20260105.md +0 -291
- package/docs/MUSUBIv2.2.0-USERGUIDE.md +0 -2079
- 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 -3022
- package/docs/YATA-GLOBAL-GUIDE.ja.md +0 -750
- package/docs/YATA-GLOBAL-GUIDE.md +0 -595
- package/docs/YATA-LOCAL-GUIDE.ja.md +0 -989
- package/docs/YATA-LOCAL-GUIDE.md +0 -730
- 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/adr/ADR-v3.4.0-001-deep-research-architecture.md +0 -217
- package/docs/adr/ADR-v3.4.0-002-search-provider-selection.md +0 -308
- package/docs/adr/ADR-v3.4.0-003-lm-api-integration.md +0 -475
- package/docs/enterprise-knowledge-management.md +0 -1737
- package/docs/evolution-from-musubi-to-musubix.md +0 -2170
- package/docs/getting-started-with-sdd.md +0 -1602
- package/docs/moodle-refactering-codegraph-musubix.md +0 -391
- package/docs/moodle-refactering-codegraph.md +0 -278
- package/docs/overview/MUSUBIX-CodeGraph.md +0 -322
- package/docs/overview/MUSUBIX-Core.md +0 -671
- package/docs/overview/MUSUBIX-Decisions.md +0 -494
- package/docs/overview/MUSUBIX-FormalVerify.md +0 -566
- package/docs/overview/MUSUBIX-Knowledge.md +0 -1231
- 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-Policy.md +0 -477
- package/docs/overview/MUSUBIX-Roadmap-v2.md +0 -399
- package/docs/overview/MUSUBIX-Security-Plan.md +0 -939
- package/docs/overview/MUSUBIX-Security-v2.1.md +0 -668
- package/docs/overview/MUSUBIX-Security.md +0 -891
- package/docs/overview/MUSUBIX-YATA.md +0 -666
- package/docs/overview/MUSUBIX-v2.2.0-Advanced-Learning.md +0 -513
- package/docs/overview/Neuro-SymbolicAI.md +0 -159
- package/docs/packages/knowledge.md +0 -594
- package/docs/qiita-linux-kernel-knowledge-graph.md +0 -596
- 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 -491
- package/steering/structure.ja.md +0 -503
- package/steering/tech.ja.md +0 -208
package/README.md
CHANGED
|
@@ -1,336 +1,71 @@
|
|
|
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/musubix-synthesis)
|
|
15
|
-
[](https://www.npmjs.com/package/@nahisaho/musubix-library-learner)
|
|
16
|
-
[](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
|
-
|
|
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
|
-
|
|
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
|
-
|
|
149
|
-
|
|
150
|
-
|
|
151
|
-
|
|
152
|
-
|
|
153
|
-
|
|
154
|
-
|
|
155
|
-
|
|
156
|
-
|
|
157
|
-
|
|
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
|
-
|
|
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
|
-
|
|
50
|
+
```typescript
|
|
51
|
+
import { EarsValidator, CodeGenerator } from 'musubix';
|
|
52
|
+
import { security, synthesis, neuralSearch } from 'musubix';
|
|
215
53
|
|
|
216
|
-
|
|
54
|
+
// Core features
|
|
55
|
+
const validator = new EarsValidator();
|
|
56
|
+
const result = validator.validate(requirement);
|
|
217
57
|
|
|
218
|
-
|
|
219
|
-
|
|
220
|
-
|
|
58
|
+
// Advanced features
|
|
59
|
+
const synthesizer = synthesis.createEnhancedPBESynthesizer();
|
|
60
|
+
const searcher = neuralSearch.createHybridRanker();
|
|
221
61
|
```
|
|
222
62
|
|
|
223
63
|
## Documentation
|
|
224
64
|
|
|
225
|
-
|
|
226
|
-
|
|
227
|
-
|
|
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
|
|
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
|
|
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';
|
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 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,73 +1,67 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "musubix",
|
|
3
|
-
"version": "3.
|
|
4
|
-
"description": "Neuro-Symbolic AI
|
|
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.5.1",
|
|
4
|
+
"description": "MUSUBIX - Neuro-Symbolic AI Integration System for Software Development",
|
|
42
5
|
"keywords": [
|
|
43
6
|
"ai",
|
|
44
7
|
"neuro-symbolic",
|
|
45
|
-
"
|
|
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
|
-
"
|
|
54
|
-
"
|
|
20
|
+
"repository": {
|
|
21
|
+
"type": "git",
|
|
22
|
+
"url": "https://github.com/nahisaho/MUSUBIX.git"
|
|
55
23
|
},
|
|
56
|
-
"
|
|
57
|
-
|
|
58
|
-
"
|
|
59
|
-
|
|
60
|
-
|
|
61
|
-
|
|
62
|
-
|
|
63
|
-
"
|
|
64
|
-
|
|
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
|
-
"@
|
|
68
|
-
"@
|
|
69
|
-
"@
|
|
70
|
-
"@nahisaho/musubix-
|
|
71
|
-
"musubix": "^3.4.
|
|
42
|
+
"@musubix/decisions": "^3.4.0",
|
|
43
|
+
"@musubix/knowledge": "^3.4.0",
|
|
44
|
+
"@musubix/policy": "^3.4.0",
|
|
45
|
+
"@nahisaho/musubix-assistant-axis": "^0.1.0",
|
|
46
|
+
"@nahisaho/musubix-codegraph": "^3.4.1",
|
|
47
|
+
"@nahisaho/musubix-core": "^3.4.1",
|
|
48
|
+
"@nahisaho/musubix-dfg": "^3.4.0",
|
|
49
|
+
"@nahisaho/musubix-formal-verify": "^3.4.0",
|
|
50
|
+
"@nahisaho/musubix-lean": "^3.4.0",
|
|
51
|
+
"@nahisaho/musubix-library-learner": "^3.4.0",
|
|
52
|
+
"@nahisaho/musubix-mcp-server": "^3.4.0",
|
|
53
|
+
"@nahisaho/musubix-neural-search": "^3.4.0",
|
|
54
|
+
"@nahisaho/musubix-ontology-mcp": "^3.4.0",
|
|
55
|
+
"@nahisaho/musubix-pattern-mcp": "^3.4.0",
|
|
56
|
+
"@nahisaho/musubix-sdd-ontology": "^3.4.0",
|
|
57
|
+
"@nahisaho/musubix-security": "^3.4.0",
|
|
58
|
+
"@nahisaho/musubix-synthesis": "^3.4.0",
|
|
59
|
+
"@nahisaho/musubix-wake-sleep": "^3.4.0"
|
|
60
|
+
},
|
|
61
|
+
"devDependencies": {
|
|
62
|
+
"typescript": "^5.3.3"
|
|
63
|
+
},
|
|
64
|
+
"engines": {
|
|
65
|
+
"node": ">=20.0.0"
|
|
72
66
|
}
|
|
73
67
|
}
|