musubix 3.0.7 → 3.0.14

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 nahisaho
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.ja.md

@@ -0,0 +1,296 @@
+# MUSUBIX - ニューロシンボリックAI統合システム
+
+[![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-1586%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)
+
+> Git-Native知識統合による次世代AIコーディングシステム
+>
+> **v3.0.0** - Git-Native Knowledge System
+
+## 概要
+
+MUSUBIXは、**ニューラル（LLM）** と **シンボリック（知識グラフ）** 推論を統合した革新的なAIコーディングシステムです。MUSUBI SDDの方法論とGit-Native知識管理を組み合わせ、高品質なソフトウェア開発を支援します。
+
+### 特徴
+
+- 🧠 **ニューロシンボリック統合** - LLMの創造性と知識グラフの厳密性を融合
+- � **シンボリック推論** - 形式検証、幻覚検出、憲法強制
+- 📝 **EARS形式要件分析** - 自然言語から正式な要件への変換・検証
+- 🎨 **設計パターン推奨** - コンテキストに基づくC4モデル・ADR生成
+- ✅ **テスト駆動開発** - Test-First原則による品質保証
+- 🔗 **完全なトレーサビリティ** - 要件からコードまでの追跡可能性
+- 💬 **一問一答形式ヒアリング** - 対話的な要件定義サポート
+- 🌐 **多言語対応（i18n）** - 日本語・英語対応
+- 🔒 **セキュリティスキャン** - 脆弱性検出、シークレットスキャン、OWASPパターン
+- 📚 **自己学習システム** - フィードバック収集とパターン抽出による適応的改善
+- 🏗️ **C4コード生成** - C4設計ドキュメントからTypeScriptスケルトン生成
+- ⚙️ **品質ゲート** - フェーズ移行前の自動品質検証
+- 🔮 **高度推論** - OWL 2 RL推論とDatalog評価 *(v1.4.5)*
+- 🖥️ **対話的REPL** - コマンド補完、履歴管理、セッション変数 *(v1.6.0)*
+- � **Git-Native知識** - ファイルベースの知識グラフ管理 *(v3.0.0)*
+- 🔬 **形式検証** - Z3 SMTソルバー統合、Hoareトリプル検証、EARS→SMT変換 *(v1.7.5)*
+- 🛡️ **セキュリティ分析** - 脆弱性スキャン、シークレット検出、テイント解析、依存関係監査 *(v1.8.0)*
+
+## アーキテクチャ
+
+```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
+```
+
+## プロジェクト構造
+
+| パス | 説明 |
+|------|------|
+| `packages/core/` | コアライブラリ（249モジュール） |
+| `packages/core/auth/` | 認証・認可 |
+| `packages/core/cli/` | CLIインターフェース |
+| `packages/core/codegen/` | コード生成・解析 |
+| `packages/core/design/` | 設計パターン・C4モデル |
+| `packages/core/error/` | エラーハンドリング |
+| `packages/core/explanation/` | 説明生成・可視化 |
+| `packages/core/learning/` | 自己学習・パターン抽出 |
+| `packages/core/requirements/` | 要件分析・分解 |
+| `packages/core/symbolic/` | シンボリック推論 |
+| `packages/core/traceability/` | トレーサビリティ |
+| `packages/core/types/` | 型定義 |
+| `packages/core/utils/` | ユーティリティ |
+| `packages/core/validators/` | EARS検証 |
+| `packages/mcp-server/` | MCPサーバー（35 tools, 5 prompts） |
+| `packages/pattern-mcp/` | **パターン学習** |
+| `packages/ontology-mcp/` | **オントロジーエンジン** |
+| `packages/wake-sleep/` | **Wake-Sleep学習** |
+| `packages/sdd-ontology/` | **SDDオントロジー** |
+| `packages/security/` | **セキュリティ分析** |
+| `packages/formal-verify/` | **形式検証** |
+| `steering/` | プロジェクトメモリ |
+| `storage/` | 仕様書・成果物 |
+| `templates/` | テンプレート |
+| `docs/` | ドキュメント |
+
+## 要件
+
+- Node.js >= 20.0.0
+- npm >= 10.0.0
+- TypeScript >= 5.3
+
+## インストール
+
+### npm/npx（推奨）
+
+```bash
+# グローバルインストール
+npm install -g musubix
+
+# npx で直接実行
+npx musubix init
+npx musubix --help
+
+# MCPサーバー起動
+npx @nahisaho/musubix-mcp-server
+npx musubix-mcp --transport stdio
+```
+
+### スコープ付きパッケージ
+
+```bash
+# 個別パッケージのインストール
+npm install @nahisaho/musubix-core
+npm install @nahisaho/musubix-mcp-server
+npm install @nahisaho/musubix-security
+npm install @nahisaho/musubix-formal-verify
+```
+
+### ソースからビルド
+
+```bash
+git clone https://github.com/nahisaho/MUSUBIX.git
+cd MUSUBIX
+npm install
+npm run build
+```
+
+## 開発
+
+\`\`\`bash
+# ビルド
+npm run build
+
+# テスト実行
+npm test
+
+# リント
+npm run lint
+
+# 型チェック
+npm run type-check
+\`\`\`
+
+## 主要機能
+
+### 要件定義（Article II準拠）
+
+- **EARS検証**: Easy Approach to Requirements Syntax パターン検証
+- **一問一答ヒアリング**: 対話形式での要件収集
+- **要件分解**: 大きな要件を実装単位に分解
+- **関連要件検索**: 類似・依存要件の自動検出
+
+### 設計生成（Article III準拠）
+
+- **C4モデル生成**: Context/Container/Component/Code図
+- **ADR生成**: Architecture Decision Records
+- **パターン検出**: デザインパターンの自動検出・推奨
+- **SOLID検証**: SOLID原則準拠チェック
+
+### コード生成・検証
+
+- **静的解析**: 品質メトリクス・複雑度計算
+- **セキュリティスキャン**: 脆弱性検出
+- **テスト生成**: ユニット・統合テスト生成
+- **カバレッジレポート**: テストカバレッジ計測
+
+### MCPサーバー
+
+16個のツール（SDD 9個 + パターン 7個）と3つのプロンプトを提供:
+
+```bash
+# MCPサーバー起動
+npx @nahisaho/musubix-mcp-server
+```
+
+## ドキュメント
+
+| 文書 | 説明 |
+|------|------|
+| [要件定義書](storage/specs/REQ-MUSUBIX-001.md) | EARS形式の機能・非機能要件 |
+| [設計書](storage/specs/DES-MUSUBIX-001.md) | C4モデル・ADRベースの設計 |
+| [タスク定義書](storage/specs/TSK-MUSUBIX-001.md) | 56タスクのスプリント計画 |
+| [APIリファレンス](docs/API-REFERENCE.md) | 公開API仕様 |
+| [シンボリック統合](storage/specs/REQ-SYMB-001.md) | Neuro-Symbolic要件（27要件） |
+
+## シンボリック推論モジュール（v1.2.0）
+
+新しいシンボリック推論モジュール:
+
+### Phase 1: 基盤
+- **SemanticCodeFilterPipeline** - LLM出力のセマンティック検証
+- **HallucinationDetector** - 未定義シンボル・無効インポートの検出
+- **ConstitutionRuleRegistry** - 9憲法条項の強制
+- **ConfidenceEstimator** - AST複雑度、要件カバレッジのスコアリング
+- **ConfidenceBasedRouter** - 信頼度ベースのルーティング決定
+- **ErrorHandler** - グレースフルデグラデーション
+
+### Phase 2: 形式検証
+- **EarsToFormalSpecConverter** - EARS → SMT-LIB変換
+- **VerificationConditionGenerator** - 検証条件（VC）生成
+- **Z3Adapter** - Z3 SMTソルバー統合
+- **SecurityScanner** - OWASPパターン、シークレット検出
+
+### Phase 3: 高度機能
+- **CandidateRanker** - 複数基準による候補スコアリング
+- **ResultBlender** - Neural/Symbolic結果統合（3戦略）
+- **ExtensibleRuleConfig** - YAML/JSONルール設定
+- **AuditLogger** - SHA-256ハッシュチェーン改ざん検出
+- **PerformanceBudget** - 段階別予算、SLOメトリクス
+- **QualityGateValidator** - 自動品質ゲート検証
+
+## Wake-Sleep学習サイクル（v1.3.0）
+
+Wake-Sleepアルゴリズムに基づく継続的学習システム:
+
+| フェーズ | 処理内容 |
+|---------|----------|
+| **Wake** | コード観察 → パターン抽出 → 知識グラフ更新 |
+| **Sleep** | パターン統合 → 類似パターン圧縮 → メモリ最適化 |
+
+### 主要コンポーネント
+- **WakeSleepCycle** - 学習サイクルのオーケストレーション
+- **PatternLibrary** - 学習済みパターンの永続化管理
+- **PatternOntologyBridge** - パターン↔オントロジー相互変換
+- **N3Store** - RDF/OWLベースの知識グラフストレージ
+
+### 新MCPツール（7ツール）
+- `pattern_extract` - コードからパターンを抽出
+- `pattern_compress` - パターンの抽象化・圧縮
+- `pattern_store` - パターンライブラリへの保存
+- `pattern_query` - パターンの検索・取得
+- `pattern_consolidate` - 類似パターンの統合
+- `ontology_query` - オントロジーグラフへのクエリ
+- `ontology_infer` - オントロジーによる推論実行
+
+## 高度推論（v1.4.5）
+
+OWL 2 RLプロファイル推論とDatalog評価エンジン:
+
+### 推論コンポーネント
+- **OWL2RLReasoner** - OWL 2 RLプロファイル準拠推論（20+ビルトインルール）
+- **DatalogEngine** - ストラティファイドDatalog評価（否定サポート）
+- **InferenceExplainer** - 人間可読な推論説明生成
+- **ProgressReporter** - リアルタイム進捗フィードバック（500ms間隔）
+
+### OWL 2 RLビルトインルール
+| カテゴリ | ルール | 説明 |
+|----------|-------|------|
+| Class Axioms | cax-sco, cax-eqc | サブクラス、同値クラス推論 |
+| Property | prp-dom, prp-rng | ドメイン、レンジ推論 |
+| Property Characteristics | prp-symp, prp-trp, prp-inv | 対称、推移、逆プロパティ |
+| Equality | eq-ref, eq-sym, eq-trans | sameAs推論 |
+
+### 説明フォーマット
+- `text` - プレーンテキスト説明
+- `markdown` - Markdown形式
+- `html` - HTML形式（エスケープ対応）
+
+## 憲法（9条）
+
+MUSUBIXは以下の9条の憲法に準拠しています：
+
+1. **Specification First** - 要件が先、実装は後
+2. **Design Before Code** - 設計が先、コードは後  
+3. **Single Source of Truth** - プロジェクトメモリが正
+4. **Traceability** - 要件〜コードの追跡可能性
+5. **Incremental Progress** - 小さく頻繁にデリバリー
+6. **Decision Documentation** - 決定はADRで記録
+7. **Quality Gates** - フェーズ検証必須
+8. **User-Centric** - ユーザー価値を文書化
+9. **Continuous Learning** - 振り返りと改善
+
+## ライセンス
+
+MIT License - 詳細は [LICENSE](LICENSE) を参照
+
+## 作者
+
+nahisaho
+
+## 変更履歴
+
+[CHANGELOG.md](CHANGELOG.md) を参照
+
+---
+
+**文書ID**: README  
+**バージョン**: 1.8.0  
+**最終更新**: 2026-01-06

package/README.md

@@ -1,65 +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>
+# 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