musubix 1.1.15 → 1.3.1

package/AGENTS.md

@@ -8,15 +8,15 @@
 
 | 項目 | 詳細 |
 |------|------|
-| **バージョン** | 1.1.11 |
+| **バージョン** | 1.3.0 |
 | **言語** | TypeScript |
 | **ランタイム** | Node.js >= 20.0.0 |
 | **パッケージマネージャ** | npm >= 10.0.0 |
 | **ビルドシステム** | モノレポ（npm workspaces） |
 | **テストフレームワーク** | Vitest |
-| **テスト数** | 459 (全合格) |
-| **コンポーネント数** | 224 (62ドメイン対応) |
-| **Agent Skills** | 9 (Claude Code対応) |
+| **テスト数** | 752 (全合格) |
+| **コンポーネント数** | 243 (62ドメイン対応) |
+| **Agent Skills** | 12 (Claude Code対応) |
 
 ---
 
@@ -28,14 +28,22 @@
 packages/
 ├── core/           # @nahisaho/musubix-core
 ├── mcp-server/     # @nahisaho/musubix-mcp-server  
-└── yata-client/    # @nahisaho/musubix-yata-client
+├── yata-client/    # @nahisaho/musubix-yata-client
+├── pattern-mcp/    # @nahisaho/musubix-pattern-mcp (NEW!)
+├── ontology-mcp/   # @nahisaho/musubix-ontology-mcp (NEW!)
+├── wake-sleep/     # @nahisaho/musubix-wake-sleep (NEW!)
+└── sdd-ontology/   # @nahisaho/musubix-sdd-ontology (NEW!)
 ```
 
 | パッケージ | npm | 役割 |
 |-----------|-----|------|
 | `packages/core/` | `@nahisaho/musubix-core` | コアライブラリ - CLI、EARS検証、コード生成、設計パターン |
-| `packages/mcp-server/` | `@nahisaho/musubix-mcp-server` | MCPサーバー - 9ツール、3プロンプト |
+| `packages/mcp-server/` | `@nahisaho/musubix-mcp-server` | MCPサーバー - 16ツール、3プロンプト |
 | `packages/yata-client/` | `@nahisaho/musubix-yata-client` | YATAクライアント - 知識グラフ連携 |
+| `packages/pattern-mcp/` | `@nahisaho/musubix-pattern-mcp` | パターン学習 - 抽出・圧縮・ライブラリ |
+| `packages/ontology-mcp/` | `@nahisaho/musubix-ontology-mcp` | オントロジー - N3Store・推論エンジン |
+| `packages/wake-sleep/` | `@nahisaho/musubix-wake-sleep` | Wake-Sleep学習サイクル |
+| `packages/sdd-ontology/` | `@nahisaho/musubix-sdd-ontology` | SDD方法論オントロジー |
 
 ### Core パッケージモジュール
 
@@ -47,8 +55,9 @@ packages/core/src/
 ├── design/         # 設計パターン・C4モデル
 ├── error/          # エラーハンドリング
 ├── explanation/    # 説明生成・可視化
-├── learning/       # 自己学習システム（NEW!）
+├── learning/       # 自己学習システム
 ├── requirements/   # 要件分析・分解
+├── symbolic/       # シンボリック推論（v1.2.0 NEW!）
 ├── traceability/   # トレーサビリティ
 ├── types/          # 型定義
 ├── utils/          # ユーティリティ
@@ -121,7 +130,9 @@ npx @nahisaho/musubix-mcp-server
 npx musubix-mcp --transport stdio
 ```
 
-### ツール一覧（9ツール）
+### ツール一覧（16ツール）
+
+#### SDD基本ツール（9ツール）
 
 | ツール名 | 説明 |
 |---------|------|
@@ -135,6 +146,18 @@ npx musubix-mcp --transport stdio
 | `sdd_validate_constitution` | 9憲法条項への準拠検証 |
 | `sdd_validate_traceability` | 要件↔設計↔タスクのトレーサビリティ検証 |
 
+#### パターン統合ツール（7ツール）- v1.3.0 NEW!
+
+| ツール名 | 説明 |
+|---------|------|
+| `pattern_extract` | コードからパターンを抽出 |
+| `pattern_compress` | パターンの抽象化・圧縮 |
+| `pattern_store` | パターンライブラリへの保存 |
+| `pattern_query` | パターンの検索・取得 |
+| `pattern_consolidate` | 類似パターンの統合 |
+| `ontology_query` | オントロジーグラフへのクエリ |
+| `ontology_infer` | オントロジーによる推論実行 |
+
 ### プロンプト一覧（3プロンプト）
 
 | プロンプト名 | 説明 |
@@ -275,9 +298,29 @@ npx musubix codegen generate <design.md> --output src/
 フィードバック → パターン候補 → 閾値超過 → パターン登録 → 推論に適用
 ```
 
+### 6. Wake-Sleep学習サイクル（v1.3.0 NEW!）
+
+Wake-Sleepアルゴリズムに基づいた継続的学習システム：
+
+| フェーズ | 処理内容 |
+|---------|----------|
+| **Wake** | コード観察 → パターン抽出 → 知識グラフ更新 |
+| **Sleep** | パターン統合 → 類似パターン圧縮 → メモリ最適化 |
+
+```
+Wake Phase: observe() → extractPatterns() → updateKnowledge()
+Sleep Phase: consolidate() → compress() → optimize()
+```
+
+**主要コンポーネント**:
+- `WakeSleepCycle`: 学習サイクル全体の制御
+- `PatternLibrary`: 学習済みパターンの永続化管理
+- `PatternOntologyBridge`: パターン↔オントロジー相互変換
+- `N3Store`: RDF/OWLベースの知識グラフストレージ
+
 ---
 
-## � 学習済みベストプラクティス（v1.1.10 Updated!）
+## 📚 学習済みベストプラクティス（v1.1.10 Updated!）
 
 Project-07〜14の実装から学習したパターンです。
 
@@ -424,6 +467,6 @@ npx musubix learn best-practices --format markdown
 ---
 
 **Agent**: GitHub Copilot / Claude
-**Last Updated**: 2026-01-04
-**Version**: 1.1.10
+**Last Updated**: 2025-01-10
+**Version**: 1.3.0
 **Repository**: https://github.com/nahisaho/MUSUBIX

package/README.ja.md

@@ -6,11 +6,11 @@
 [![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-439%20passing-brightgreen)](https://github.com/nahisaho/MUSUBIX)
+[![Tests](https://img.shields.io/badge/tests-752%20passing-brightgreen)](https://github.com/nahisaho/MUSUBIX)
 
 > MUSUBI × YATA 統合による次世代AIコーディングシステム
 >
-> **v1.1.9** - EARSパーサーMarkdown対応、ベストプラクティスCLI強化
+> **v1.3.0** - Wake-Sleep学習サイクル統合完了（S1-S3スプリント）
 
 ## 概要
 
@@ -19,15 +19,17 @@ MUSUBIXは、**ニューラル（LLM）** と **シンボリック（知識グ
 ### 特徴
 
 - 🧠 **ニューロシンボリック統合** - LLMの創造性とYATA知識グラフの厳密性を融合
-- 📋 **EARS形式要件分析** - 自然言語から正式な要件への変換・検証
+- � **シンボリック推論** - 形式検証、幻覚検出、憲法強制
+- 📝 **EARS形式要件分析** - 自然言語から正式な要件への変換・検証
 - 🎨 **設計パターン推奨** - コンテキストに基づくC4モデル・ADR生成
 - ✅ **テスト駆動開発** - Test-First原則による品質保証
 - 🔗 **完全なトレーサビリティ** - 要件からコードまでの追跡可能性
 - 💬 **一問一答形式ヒアリング** - 対話的な要件定義サポート
 - 🌐 **多言語対応（i18n）** - 日本語・英語対応
-- 🔒 **セキュリティスキャン** - 脆弱性検出・認証管理
+- 🔒 **セキュリティスキャン** - 脆弱性検出、シークレットスキャン、OWASPパターン
 - 📚 **自己学習システム** - フィードバック収集とパターン抽出による適応的改善
 - 🏗️ **C4コード生成** - C4設計ドキュメントからTypeScriptスケルトン生成
+- ⚙️ **品質ゲート** - フェーズ移行前の自動品質検証
 
 ## アーキテクチャ
 
@@ -57,7 +59,7 @@ flowchart TB
 
 | パス | 説明 |
 |------|------|
-| `packages/core/` | コアライブラリ（56モジュール） |
+| `packages/core/` | コアライブラリ（224モジュール） |
 | `packages/core/auth/` | 認証・認可 |
 | `packages/core/cli/` | CLIインターフェース |
 | `packages/core/codegen/` | コード生成・解析 |
@@ -66,12 +68,17 @@ flowchart TB
 | `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サーバー（34 tools, 3 prompts） |
+| `packages/mcp-server/` | MCPサーバー（16 tools, 3 prompts） |
 | `packages/yata-client/` | YATA クライアント |
+| `packages/pattern-mcp/` | **パターン学習（NEW!）** |
+| `packages/ontology-mcp/` | **オントロジーエンジン（NEW!）** |
+| `packages/wake-sleep/` | **Wake-Sleep学習（NEW!）** |
+| `packages/sdd-ontology/` | **SDDオントロジー（NEW!）** |
 | `steering/` | プロジェクトメモリ |
 | `storage/` | 仕様書・成果物 |
 | `templates/` | テンプレート |
@@ -159,12 +166,12 @@ npm run type-check
 
 ### MCPサーバー
 
-34個のツールと3つのプロンプトを提供:
+16個のツール（SDD 9個 + パターン 7個）と3つのプロンプトを提供:
 
-\`\`\`bash
+```bash
 # MCPサーバー起動
 npx @nahisaho/musubix-mcp-server
-\`\`\`
+```
 
 ## ドキュメント
 
@@ -174,6 +181,57 @@ npx @nahisaho/musubix-mcp-server
 | [設計書](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` - オントロジーによる推論実行
 
 ## 憲法（9条）
 
@@ -204,5 +262,5 @@ nahisaho
 ---
 
 **文書ID**: README  
-**バージョン**: 1.0.20  
+**バージョン**: 1.3.0  
 **最終更新**: 2026-01-05

package/README.md

@@ -7,11 +7,11 @@
 [![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-459%20passing-brightgreen)](https://github.com/nahisaho/MUSUBIX)
+[![Tests](https://img.shields.io/badge/tests-752%20passing-brightgreen)](https://github.com/nahisaho/MUSUBIX)
 
 > Next-generation AI Coding System powered by MUSUBI × YATA Integration
 >
-> **v1.1.10** - New Best Practices from Project-13/14, Enhanced Code Generator
+> **v1.3.0** - Wake-Sleep Learning Cycle Integration Complete (S1-S3 Sprint)
 
 **[日本語版 README](README.ja.md)**
 
@@ -22,15 +22,17 @@ MUSUBIX is an innovative AI coding system that integrates **Neural (LLM)** and *
 ### Features
 
 - 🧠 **Neuro-Symbolic Integration** - Fusion of LLM creativity and YATA knowledge graph precision
-- 📋 **EARS Requirements Analysis** - Conversion and validation from natural language to formal requirements
+- � **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
 - 💬 **Interactive Q&A Hearing** - Dialogue-based requirements gathering support
 - 🌐 **Internationalization (i18n)** - Japanese and English support
-- 🔒 **Security Scanning** - Vulnerability detection and authentication management
+- 🔒 **Security Scanning** - Vulnerability detection, secret scanning, OWASP patterns
 - 📚 **Self-Learning System** - Adaptive improvement through feedback collection and pattern extraction
 - 🏗️ **C4 Code Generation** - Generate TypeScript skeleton from C4 design documents
+- ⚙️ **Quality Gates** - Automated quality validation before phase transitions
 
 ## Architecture
 
@@ -60,7 +62,7 @@ flowchart TB
 
 | Path | Description |
 |------|-------------|
-| `packages/core/` | Core library (56 modules) |
+| `packages/core/` | Core library (224 modules) |
 | `packages/core/auth/` | Authentication & Authorization |
 | `packages/core/cli/` | CLI Interface |
 | `packages/core/codegen/` | Code Generation & Analysis |
@@ -69,12 +71,17 @@ flowchart TB
 | `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 (34 tools, 3 prompts) |
+| `packages/mcp-server/` | MCP Server (16 tools, 3 prompts) |
 | `packages/yata-client/` | YATA Client |
+| `packages/pattern-mcp/` | **Pattern Learning (NEW!)** |
+| `packages/ontology-mcp/` | **Ontology Engine (NEW!)** |
+| `packages/wake-sleep/` | **Wake-Sleep Learning (NEW!)** |
+| `packages/sdd-ontology/` | **SDD Ontology (NEW!)** |
 | `steering/` | Project Memory |
 | `storage/` | Specifications & Artifacts |
 | `templates/` | Templates |
@@ -162,7 +169,7 @@ npm run type-check
 
 ### MCP Server
 
-Provides 34 tools and 3 prompts:
+Provides 16 tools (9 SDD + 7 Pattern) and 3 prompts:
 
 ```bash
 # Start MCP Server
@@ -177,6 +184,57 @@ npx @nahisaho/musubix-mcp-server
 | [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
 
 ## Constitutional Articles (9 Articles)
 
@@ -207,5 +265,5 @@ See [CHANGELOG.md](CHANGELOG.md)
 ---
 
 **Document ID**: README  
-**Version**: 1.0.21  
-**Last Updated**: 2026-01-04
+**Version**: 1.3.0  
+**Last Updated**: 2026-01-05

package/docs/API-REFERENCE.md

@@ -11,6 +11,7 @@
   - [Requirements](#requirements)
   - [Design](#design)
   - [Codegen](#codegen)
+  - [Symbolic](#symbolic)
   - [Validation](#validation)
   - [Utils](#utils)
 - [MCP Server](#mcp-server)
@@ -331,6 +332,131 @@ const result = validator.validate(artifact);
 
 ---
 
+### Symbolic (v1.2.0)
+
+The symbolic reasoning module provides formal verification and quality assurance capabilities.
+
+#### SemanticCodeFilterPipeline
+
+Filters and validates LLM-generated code semantically.
+
+```typescript
+import { createSemanticCodeFilterPipeline } from '@nahisaho/musubix-core';
+
+const filter = createSemanticCodeFilterPipeline({
+  hallucinationDetector: new HallucinationDetector(),
+  constitutionRegistry: new ConstitutionRuleRegistry(),
+});
+
+const result = await filter.filter({
+  candidates: [{ code: 'function example() {}', language: 'typescript' }],
+  projectContext: { projectRoot: '/path/to/project' },
+});
+```
+
+**Methods:**
+
+| Method | Parameters | Returns | Description |
+|--------|------------|---------|-------------|
+| `filter(input)` | `input: FilterInput` | `Promise<FilterOutput>` | Filters code candidates |
+
+---
+
+#### HallucinationDetector
+
+Detects hallucinations (undefined symbols, invalid imports) in generated code.
+
+```typescript
+import { createHallucinationDetector } from '@nahisaho/musubix-core';
+
+const detector = createHallucinationDetector();
+const result = detector.detect(code, projectContext);
+```
+
+**Methods:**
+
+| Method | Parameters | Returns | Description |
+|--------|------------|---------|-------------|
+| `detect(code, context)` | `code: string, context: ProjectContext` | `HallucinationResult` | Detects hallucinations |
+
+---
+
+#### EarsToFormalSpecConverter
+
+Converts EARS requirements to SMT-LIB format.
+
+```typescript
+import { createEarsToFormalSpecConverter, parseEarsRequirement } from '@nahisaho/musubix-core';
+
+const converter = createEarsToFormalSpecConverter();
+const ast = parseEarsRequirement('THE system SHALL validate input');
+const smtLib = converter.convert([ast]);
+```
+
+**Methods:**
+
+| Method | Parameters | Returns | Description |
+|--------|------------|---------|-------------|
+| `convert(requirements)` | `requirements: EarsAstNode[]` | `SmtLibOutput` | Converts EARS to SMT-LIB |
+
+---
+
+#### Z3Adapter
+
+Integrates with Z3 SMT solver for formal verification.
+
+```typescript
+import { createZ3Adapter } from '@nahisaho/musubix-core';
+
+const z3 = createZ3Adapter({ timeoutMs: 5000 });
+const result = await z3.verify(verificationConditions, smtLib);
+```
+
+**Methods:**
+
+| Method | Parameters | Returns | Description |
+|--------|------------|---------|-------------|
+| `verify(vcs, smtLib)` | `vcs: VerificationCondition[], smtLib: string` | `Promise<FormalVerificationResult>` | Verifies conditions |
+| `isAvailable()` | - | `Promise<boolean>` | Checks if Z3 is installed |
+
+---
+
+#### QualityGateValidator
+
+Validates quality gates before phase transitions.
+
+```typescript
+import { QualityGateValidator, createComponentValidation } from '@nahisaho/musubix-core';
+
+const validator = new QualityGateValidator();
+const components = createComponentValidation({
+  performanceBudgetDefined: true,
+  auditLoggingDefined: true,
+  traceabilityCompliant: true,
+});
+
+const result = validator.validate(traceabilityData, components);
+const report = validator.generateApprovalReport(result);
+```
+
+**Methods:**
+
+| Method | Parameters | Returns | Description |
+|--------|------------|---------|-------------|
+| `validate(traceability, components)` | `traceability: TraceabilityCoverage[], components: ComponentValidation` | `QualityGateResult` | Validates quality gate |
+| `generateApprovalReport(result)` | `result: QualityGateResult` | `string` | Generates Markdown report |
+
+**Quality Gate Checks:**
+
+| Category | Checks |
+|----------|--------|
+| Traceability | Design coverage, Task decomposition, Coverage gaps |
+| Non-Functional | Performance budget, Extensibility, Explainability |
+| Security | Sensitive data masking, Audit logging |
+| Constitution | All 9 articles compliance |
+
+---
+
 ### Utils
 
 #### I18nManager
@@ -628,6 +754,6 @@ MIT License - see [LICENSE](./LICENSE) for details.
 
 ---
 
-**Version:** 1.0.12  
-**Generated:** 2026-01-03  
+**Version:** 1.3.0  
+**Generated:** 2026-01-05  
 **MUSUBIX Core Package**

package/docs/INSTALL-GUIDE.ja.md

@@ -1,8 +1,8 @@
 # MUSUBIX インストールガイド
 
 **文書ID**: INSTALL-GUIDE  
-**バージョン**: 1.0.0  
-**最終更新**: 2026-01-02
+**バージョン**: 1.3.0  
+**最終更新**: 2026-01-05
 
 ---
 
@@ -48,7 +48,8 @@ flowchart LR
 | パターン | インストール対象 | 利用可能機能 |
 |---------|-----------------|-------------|
 | **基本** | MUSUBIXのみ | EARS要件分析、C4設計生成、コード生成 |
-| **フル** | MUSUBIX + YATA | 上記 + 知識グラフ連携、形式的検証、説明生成 |
+| **シンボリック** | MUSUBIXのみ | 上記 + シンボリック推論、形式検証、品質ゲート |
+| **フル** | MUSUBIX + YATA | 上記 + 知識グラフ連携、外部検証、説明生成 |
 
 ---
 
@@ -105,12 +106,28 @@ npx musubix-mcp --transport stdio
 # 統合パッケージ（推奨）
 npm install musubix
 
+# インストールバナーを表示（npm v11+）
+npm install musubix --foreground-scripts
+
 # または個別パッケージのインストール
 npm install @nahisaho/musubix-core
 npm install @nahisaho/musubix-mcp-server
 npm install @nahisaho/musubix-yata-client  # YATA連携用
 ```
 
+#### 自動生成されるファイル
+
+`npm install musubix` 実行時に以下のファイルが自動生成されます：
+
+| ファイル/ディレクトリ | 用途 | 対象エージェント |
+|----------------------|------|----------------|
+| `AGENTS.md` | AIエージェントガイドライン | GitHub Copilot |
+| `CLAUDE.md` | AIエージェントガイドライン(コピー) | Claude Code |
+| `.github/skills/` | 9つのAgent Skills | GitHub Copilot |
+| `.github/prompts/` | 9つのSDDプロンプト | GitHub Copilot |
+| `.claude/skills/` | 9つのAgent Skills(コピー) | Claude Code |
+| `.claude/prompts/` | 9つのSDDプロンプト(コピー) | Claude Code |
+
 #### パッケージ比較
 
 | パッケージ | 説明 | 用途 |

package/docs/INSTALL-GUIDE.md

@@ -1,8 +1,8 @@
 # MUSUBIX Installation Guide
 
 **Document ID**: INSTALL-GUIDE  
-**Version**: 1.0.0  
-**Last Updated**: 2026-01-02
+**Version**: 1.3.0  
+**Last Updated**: 2026-01-05
 
 ---
 
@@ -48,7 +48,8 @@ flowchart LR
 | Pattern | Installation | Available Features |
 |---------|--------------|-------------------|
 | **Basic** | MUSUBIX only | EARS requirements, C4 design, code generation |
-| **Full** | MUSUBIX + YATA | Above + knowledge graph, formal verification, explanations |
+| **Symbolic** | MUSUBIX only | Above + symbolic reasoning, formal verification, quality gates |
+| **Full** | MUSUBIX + YATA | Above + knowledge graph, external verification, explanations |
 
 ---
 
@@ -105,12 +106,28 @@ npx musubix-mcp --transport stdio
 # All-in-one package (recommended)
 npm install musubix
 
+# Show installation banner (npm v11+)
+npm install musubix --foreground-scripts
+
 # Or install individual packages
 npm install @nahisaho/musubix-core
 npm install @nahisaho/musubix-mcp-server
 npm install @nahisaho/musubix-yata-client  # For YATA integration
 ```
 
+#### Auto-Generated Files
+
+When you run `npm install musubix`, the following files are automatically created:
+
+| File/Directory | Purpose | Target Agent |
+|----------------|---------|-------------|
+| `AGENTS.md` | AI Agent guidelines | GitHub Copilot |
+| `CLAUDE.md` | AI Agent guidelines (copy) | Claude Code |
+| `.github/skills/` | 9 Agent Skills | GitHub Copilot |
+| `.github/prompts/` | 9 SDD prompts | GitHub Copilot |
+| `.claude/skills/` | 9 Agent Skills (copy) | Claude Code |
+| `.claude/prompts/` | 9 SDD prompts (copy) | Claude Code |
+
 #### Package Comparison
 
 | Package | Description | Use Case |