musubix 3.3.4 → 3.3.6

package/README.md

@@ -1,71 +1,326 @@
-# musubix
+# MUSUBIX - Neuro-Symbolic AI Integration System
 
-MUSUBIX - Neuro-Symbolic AI Integration System for Software Development
+[![CI](https://github.com/nahisaho/MUSUBIX/actions/workflows/ci.yml/badge.svg)](https://github.com/nahisaho/MUSUBIX/actions/workflows/ci.yml)
+[![npm version](https://img.shields.io/npm/v/musubix.svg)](https://www.npmjs.com/package/musubix)
+[![npm core](https://img.shields.io/npm/v/@nahisaho/musubix-core.svg?label=@nahisaho/musubix-core)](https://www.npmjs.com/package/@nahisaho/musubix-core)
+[![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)
+[![Node.js Version](https://img.shields.io/badge/node-%3E%3D20.0.0-brightgreen)](https://nodejs.org/)
+[![License](https://img.shields.io/badge/license-MIT-blue)](LICENSE)
+[![TypeScript](https://img.shields.io/badge/TypeScript-5.3-blue)](https://www.typescriptlang.org/)
+[![Tests](https://img.shields.io/badge/tests-1600%2B%20passing-brightgreen)](https://github.com/nahisaho/MUSUBIX)
+[![npm security](https://img.shields.io/npm/v/@nahisaho/musubix-security.svg?label=@nahisaho/musubix-security)](https://www.npmjs.com/package/@nahisaho/musubix-security)
+[![npm dfg](https://img.shields.io/npm/v/@nahisaho/musubix-dfg.svg?label=@nahisaho/musubix-dfg)](https://www.npmjs.com/package/@nahisaho/musubix-dfg)
+[![npm lean](https://img.shields.io/npm/v/@nahisaho/musubix-lean.svg?label=@nahisaho/musubix-lean)](https://www.npmjs.com/package/@nahisaho/musubix-lean)
+[![npm synthesis](https://img.shields.io/npm/v/@nahisaho/musubix-synthesis.svg?label=@nahisaho/musubix-synthesis)](https://www.npmjs.com/package/@nahisaho/musubix-synthesis)
+[![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)
+[![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)
+
+> Next-generation AI Coding System powered by Git-Native Knowledge Integration
+>
+> **v3.0.0** - Git-Native Knowledge System
+
+**[日本語版 README](README.ja.md)**
+
+## Overview
+
+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.
+
+### 🎉 v3.0.0 Highlights
+
+- **Git-Native Knowledge** - File-based knowledge graph in `.knowledge/`
+- **Policy Engine** - Executable TypeScript policies in `.policies/`
+- **Decision Records** - ADR management in `docs/decisions/`
+- **2100+ tests** passing across 17 packages
+
+### Features
+
+- 🧠 **Neuro-Symbolic Integration** - Fusion of LLM creativity and knowledge graph precision
+- 📂 **Git-Native Knowledge** - File-based knowledge graph management *(v3.0.0)*
+- 📊 **DFG/CFG Analysis** - Data flow and control flow graph extraction for TypeScript/JavaScript
+- 🧮 **Lean 4 Integration** - Formal theorem proving with EARS-to-Lean conversion
+- 📚 **Library Learning** - DreamCoder-style hierarchical abstraction and pattern compression
+- 🔍 **Neural Search** - Neural-guided program synthesis with beam search
+- ⚗️ **Program Synthesis** - DSL-based PBE synthesis with witness functions
+- 🔒 **Symbolic Reasoning** - Formal verification, hallucination detection, constitution enforcement
+- 📝 **EARS Requirements Analysis** - Conversion and validation from natural language to formal requirements
+- 🎨 **Design Pattern Recommendations** - Context-based C4 model and ADR generation
+- ✅ **Test-Driven Development** - Quality assurance through Test-First principles
+- 🔗 **Complete Traceability** - Tracking from requirements to code
+- 🛡️ **Security Analysis** - Vulnerability scanning, secret detection, taint analysis *(v1.8.0)*
+- 🔬 **Formal Verification** - Z3 SMT solver integration, Hoare triple verification *(v1.7.5)*
+- 🖥️ **Interactive REPL** - Command completion, history, session variables *(v1.6.0)*
+- 🔮 **Advanced Inference** - OWL 2 RL reasoning and Datalog evaluation *(v1.4.5)*
+
+## Architecture
+
+```mermaid
+flowchart TB
+    subgraph MUSUBIX["MUSUBIX System v3.0"]
+        subgraph Packages["Packages"]
+            Core["@nahisaho/musubix-core"]
+            MCP["@nahisaho/musubix-mcp-server"]
+            Security["@nahisaho/musubix-security"]
+        end
+        
+        Core <--> MCP
+        MCP <--> Security
+        
+        subgraph Integration["Neuro-Symbolic Integration"]
+            NSI["LLM Creativity + Git-Native Knowledge"]
+        end
+        
+        Core --> Integration
+        MCP --> Integration
+    end
+```
+
+## Project Structure
+
+| Path | Description |
+|------|-------------|
+| `packages/core/` | Core library (249 modules) |
+| `packages/core/auth/` | Authentication & Authorization |
+| `packages/core/cli/` | CLI Interface |
+| `packages/core/codegen/` | Code Generation & Analysis |
+| `packages/core/design/` | Design Patterns & C4 Models |
+| `packages/core/error/` | Error Handling |
+| `packages/core/explanation/` | Explanation Generation & Visualization |
+| `packages/core/learning/` | Self-Learning & Pattern Extraction |
+| `packages/core/requirements/` | Requirements Analysis & Decomposition |
+| `packages/core/symbolic/` | Symbolic Reasoning |
+| `packages/core/traceability/` | Traceability |
+| `packages/core/types/` | Type Definitions |
+| `packages/core/utils/` | Utilities |
+| `packages/core/validators/` | EARS Validation |
+| `packages/mcp-server/` | MCP Server (35 tools, 5 prompts) |
+| `packages/pattern-mcp/` | Pattern Learning |
+| `packages/ontology-mcp/` | Ontology Engine |
+| `packages/wake-sleep/` | Wake-Sleep Learning |
+| `packages/sdd-ontology/` | SDD Ontology |
+| `packages/security/` | Security Analysis |
+| `packages/formal-verify/` | Formal Verification |
+| `packages/dfg/` | DFG/CFG Extraction - Data Flow Analysis |
+| `packages/lean/` | Lean 4 Integration - Theorem Proving |
+| `packages/library-learner/` | Library Learning - DreamCoder-style |
+| `packages/neural-search/` | Neural Search - Guided Synthesis |
+| `packages/synthesis/` | Program Synthesis - DSL/PBE |
+| `steering/` | Project Memory |
+| `storage/` | Specifications & Artifacts |
+| `templates/` | Templates |
+| `docs/` | Documentation |
+
+## Requirements
+
+- Node.js >= 20.0.0
+- npm >= 10.0.0
+- TypeScript >= 5.3
 
 ## Installation
 
+### npm/npx (Recommended)
+
 ```bash
-npm install musubix
+# Global installation
+npm install -g musubix
+
+# Run directly with npx
+npx musubix init
+npx musubix --help
+
+# Start MCP Server
+npx @nahisaho/musubix-mcp-server
+npx musubix-mcp --transport stdio
 ```
 
-This will install all MUSUBIX packages:
-
-- `@nahisaho/musubix-core` - Core library (CLI, EARS validation, code generation)
-- `@nahisaho/musubix-mcp-server` - MCP Server (19 tools, 3 prompts)
-- `@nahisaho/musubix-security` - Security analysis
-- `@nahisaho/musubix-formal-verify` - Formal verification with Z3
-- `@nahisaho/musubix-yata-client` - YATA knowledge graph client
-- `@nahisaho/yata-local` - Local SQLite-based knowledge graph
-- `@nahisaho/yata-global` - Distributed knowledge graph platform
-- `@nahisaho/yata-scale` - Distributed sharding and caching
-- `@nahisaho/musubix-pattern-mcp` - Pattern learning MCP
-- `@nahisaho/musubix-ontology-mcp` - Ontology reasoning MCP
-- `@nahisaho/musubix-wake-sleep` - Wake-Sleep learning cycle
-- `@nahisaho/musubix-sdd-ontology` - SDD methodology ontology
-- `@nahisaho/musubix-dfg` - Data Flow Graph extraction
-- `@nahisaho/musubix-lean` - Lean 4 theorem prover integration
-- `@nahisaho/musubix-library-learner` - API pattern learning
-- `@nahisaho/musubix-neural-search` - Semantic code search
-- `@nahisaho/musubix-synthesis` - Program synthesis
-
-## Usage
-
-### CLI
+### Scoped Packages
 
 ```bash
-npx musubix --help
-npx musubix init
-npx musubix requirements analyze <file>
-npx musubix design generate <file>
-npx musubix design traceability            # REQ↔DES traceability validation (v3.1.0)
-npx musubix codegen generate <file>
-npx musubix codegen status <spec>          # Status transition code generation (v3.1.0)
-npx musubix scaffold domain-model <name>   # DDD project scaffolding
-npx musubix scaffold domain-model <name> -v "Price,Email"  # With Value Objects (v3.1.0)
-npx musubix scaffold domain-model <name> -s "Order,Task"   # With status machines (v3.1.0)
+# Install individual packages
+npm install @nahisaho/musubix-core
+npm install @nahisaho/musubix-mcp-server
+npm install @nahisaho/musubix-yata-client
+npm install @nahisaho/musubix-security
+npm install @nahisaho/musubix-formal-verify
+
+# Phase 1: Deep Symbolic Integration
+npm install @nahisaho/musubix-dfg
+npm install @nahisaho/musubix-lean
+npm install @nahisaho/yata-scale
+
+# Phase 2: Advanced Learning
+npm install @nahisaho/musubix-library-learner
+npm install @nahisaho/musubix-neural-search
+npm install @nahisaho/musubix-synthesis
+```
+
+### Build from Source
+
+```bash
+git clone https://github.com/nahisaho/MUSUBIX.git
+cd MUSUBIX
+npm install
+npm run build
+```
+
+## Development
+
+```bash
+# Build
+npm run build
+
+# Run tests
+npm test
+
+# Lint
+npm run lint
+
+# Type check
+npm run type-check
 ```
 
-### Library
+## Key Features
+
+### Requirements Definition (Article II Compliant)
+
+- **EARS Validation**: Easy Approach to Requirements Syntax pattern validation
+- **Interactive Q&A Hearing**: Dialogue-based requirements gathering
+- **Requirements Decomposition**: Breaking down large requirements into implementation units
+- **Related Requirements Search**: Automatic detection of similar and dependent requirements
+
+### Design Generation (Article III Compliant)
 
-```typescript
-import { EarsValidator, CodeGenerator } from 'musubix';
-import { security, synthesis, neuralSearch } from 'musubix';
+- **C4 Model Generation**: Context/Container/Component/Code diagrams
+- **ADR Generation**: Architecture Decision Records
+- **Pattern Detection**: Automatic detection and recommendation of design patterns
+- **SOLID Validation**: SOLID principle compliance checking
 
-// Core features
-const validator = new EarsValidator();
-const result = validator.validate(requirement);
+### Code Generation & Verification
 
-// Advanced features
-const synthesizer = synthesis.createEnhancedPBESynthesizer();
-const searcher = neuralSearch.createHybridRanker();
+- **Static Analysis**: Quality metrics and complexity calculation
+- **Security Scanning**: Vulnerability detection
+- **Test Generation**: Unit and integration test generation
+- **Coverage Reporting**: Test coverage measurement
+
+### MCP Server
+
+Provides 24 tools (9 SDD + 7 Pattern + 3 Ontology + 5 KGPR) and 3 prompts:
+
+```bash
+# Start MCP Server
+npx @nahisaho/musubix-mcp-server
 ```
 
 ## Documentation
 
-- [User Guide](https://github.com/nahisaho/MUSUBIX/blob/main/docs/USER-GUIDE.md)
-- [API Reference](https://github.com/nahisaho/MUSUBIX/blob/main/docs/API-REFERENCE.md)
-- [AGENTS.md](https://github.com/nahisaho/MUSUBIX/blob/main/AGENTS.md) - For AI coding agents
+| Document | Description |
+|----------|-------------|
+| [Requirements Specification](storage/specs/REQ-MUSUBIX-001.md) | EARS format functional/non-functional requirements |
+| [Design Document](storage/specs/DES-MUSUBIX-001.md) | C4 model and ADR-based design |
+| [Task Definition](storage/specs/TSK-MUSUBIX-001.md) | 56 tasks sprint plan |
+| [API Reference](docs/API-REFERENCE.md) | Public API specification |
+| [Symbolic Integration](storage/specs/REQ-SYMB-001.md) | Neuro-Symbolic requirements (27 requirements) |
+
+## Symbolic Reasoning Module (v1.2.0)
+
+The new symbolic reasoning module provides:
+
+### Phase 1: Foundation
+- **SemanticCodeFilterPipeline** - LLM output semantic validation
+- **HallucinationDetector** - Undefined symbol/invalid import detection
+- **ConstitutionRuleRegistry** - 9 Constitution articles enforcement
+- **ConfidenceEstimator** - AST complexity, requirement coverage scoring
+- **ConfidenceBasedRouter** - Confidence-based routing decisions
+- **ErrorHandler** - Graceful degradation
+
+### Phase 2: Formal Verification
+- **EarsToFormalSpecConverter** - EARS → SMT-LIB conversion
+- **VerificationConditionGenerator** - Verification condition (VC) generation
+- **Z3Adapter** - Z3 SMT solver integration
+- **SecurityScanner** - OWASP patterns, secret detection
+
+### Phase 3: Advanced Features
+- **CandidateRanker** - Multi-criteria candidate scoring
+- **ResultBlender** - Neural/Symbolic result integration (3 strategies)
+- **ExtensibleRuleConfig** - YAML/JSON rule configuration
+- **AuditLogger** - SHA-256 hash-chain tamper detection
+- **PerformanceBudget** - Step-level budgets, SLO metrics
+- **QualityGateValidator** - Automated quality gate validation
+
+## Wake-Sleep Learning Cycle (v1.3.0)
+
+Continuous learning system based on the Wake-Sleep algorithm:
+
+| Phase | Processing |
+|-------|------------|
+| **Wake** | Code observation → Pattern extraction → Knowledge graph update |
+| **Sleep** | Pattern consolidation → Similar pattern compression → Memory optimization |
+
+### Key Components
+- **WakeSleepCycle** - Learning cycle orchestration
+- **PatternLibrary** - Persistent pattern storage management
+- **PatternOntologyBridge** - Pattern ↔ Ontology bidirectional conversion
+- **N3Store** - RDF/OWL-based knowledge graph storage
+
+### New MCP Tools (7 tools)
+- `pattern_extract` - Extract patterns from code
+- `pattern_compress` - Abstraction and compression of patterns
+- `pattern_store` - Save to pattern library
+- `pattern_query` - Search and retrieve patterns
+- `pattern_consolidate` - Consolidate similar patterns
+- `ontology_query` - Query ontology graph
+- `ontology_infer` - Execute ontology-based inference
+
+## Advanced Inference (v1.4.5)
+
+OWL 2 RL profile reasoning and Datalog evaluation engine:
+
+### Inference Components
+- **OWL2RLReasoner** - OWL 2 RL profile compliant inference (20+ built-in rules)
+- **DatalogEngine** - Stratified Datalog evaluation with negation support
+- **InferenceExplainer** - Human-readable inference explanation generator
+- **ProgressReporter** - Real-time progress feedback (500ms interval)
+
+### OWL 2 RL Built-in Rules
+| Category | Rules | Description |
+|----------|-------|-------------|
+| Class Axioms | cax-sco, cax-eqc | Subclass, Equivalent class inference |
+| Property | prp-dom, prp-rng | Domain, Range inference |
+| Property Characteristics | prp-symp, prp-trp, prp-inv | Symmetric, Transitive, Inverse |
+| Equality | eq-ref, eq-sym, eq-trans | sameAs inference |
+
+### Explanation Formats
+- `text` - Plain text explanation
+- `markdown` - Markdown format
+- `html` - HTML format with escaping
+
+## Constitutional Articles (9 Articles)
+
+MUSUBIX adheres to the following 9 constitutional articles:
+
+1. **Specification First** - Requirements before implementation
+2. **Design Before Code** - Design before coding
+3. **Single Source of Truth** - Project memory is authoritative
+4. **Traceability** - Tracking from requirements to code
+5. **Incremental Progress** - Small, frequent deliveries
+6. **Decision Documentation** - Decisions recorded as ADRs
+7. **Quality Gates** - Phase validation required
+8. **User-Centric** - Document user value
+9. **Continuous Learning** - Retrospectives and improvements
 
 ## License
 
-MIT
+MIT License - See [LICENSE](LICENSE) for details
+
+## Author
+
+nahisaho
+
+## Changelog
+
+See [CHANGELOG.md](CHANGELOG.md)
+
+---
+
+**Document ID**: README  
+**Version**: 1.8.0  
+**Last Updated**: 2026-01-06

package/bin/musubix-mcp.js

@@ -0,0 +1,15 @@
+#!/usr/bin/env node
+/**
+ * MUSUBIX MCP Server Entry Point (Root Package)
+ * 
+ * This file delegates to the @nahisaho/musubix-mcp-server package.
+ * 
+ * @see REQ-ARC-003 - MCP Server
+ * 
+ * Usage:
+ *   npx musubix-mcp
+ *   musubix-mcp --transport stdio
+ */
+
+// Forward to the mcp-server package's CLI
+import '@nahisaho/musubix-mcp-server/bin/musubix-mcp.js';

package/bin/musubix.js

@@ -1,7 +1,15 @@
 #!/usr/bin/env node
 /**
- * MUSUBIX CLI - Delegates to @nahisaho/musubix-core
+ * MUSUBIX CLI Entry Point (Root Package)
+ * 
+ * This file re-exports the CLI from @nahisaho/musubix-core package.
  * 
  * @see REQ-ARC-002 - CLI Interface
+ * 
+ * Usage:
+ *   npx musubix
+ *   musubix <command> [options]
  */
+
+// Forward to the core package's CLI
 import '@nahisaho/musubix-core/bin/musubix.js';