@nahisaho/musubix-core 1.1.16 → 1.3.0

package/AGENTS.md

@@ -8,14 +8,14 @@
 
 | 項目 | 詳細 |
 |------|------|
-| **バージョン** | 1.1.15 |
+| **バージョン** | 1.3.0 |
 | **言語** | TypeScript |
 | **ランタイム** | Node.js >= 20.0.0 |
 | **パッケージマネージャ** | npm >= 10.0.0 |
 | **ビルドシステム** | モノレポ（npm workspaces） |
 | **テストフレームワーク** | Vitest |
-| **テスト数** | 459 (全合格) |
-| **コンポーネント数** | 224 (62ドメイン対応) |
+| **テスト数** | 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.15
+**Last Updated**: 2025-01-10
+**Version**: 1.3.0
 **Repository**: https://github.com/nahisaho/MUSUBIX

package/dist/index.d.ts

@@ -20,6 +20,10 @@ export * from './codegen/index.js';
 export * from './explanation/index.js';
 export * from './error/index.js';
 export * from './learning/index.js';
+import * as symbolic from './symbolic/index.js';
+export { symbolic };
+export { createSymbolicPipeline, processSymbolic, SemanticCodeFilterPipeline, HallucinationDetector, ProjectSymbolIndex, ConstitutionRuleRegistry, ConfidenceEstimator, ConfidenceBasedRouter, ErrorHandler, DEFAULT_CONSTITUTION_RULES, checkArticleI, checkArticleII, checkArticleIII, checkArticleIV, checkArticleV, checkArticleVI, checkArticleVII, checkArticleVIII, checkArticleIX, EarsToFormalSpecConverter, VerificationConditionGenerator, Z3Adapter, PreconditionVerifier, PostconditionVerifier, InvariantVerifier, } from './symbolic/index.js';
+export type { FilterInput, FilterOutput, CodeCandidate, ProjectContext, SymbolInfo, HallucinationItem, HallucinationResult, ConstitutionRule, ConstitutionCheckInput, ConstitutionCheckResult, ConstitutionReport, ConfidenceEstimation, ConfidenceBreakdown, RiskFactor, RoutingResult, RoutingDecision, VerificationRequirement, RecoveryResult, ErrorClassification, FallbackAction, AuditLogEntry, EarsRequirement, EarsPatternType, EarsAstNode, SmtLibOutput, FormalSpecification, VerificationCondition, VcGenerationResult, Z3Result, FormalVerificationResult, } from './symbolic/index.js';
 /**
  * Core Library Entry Point
  *

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAGvC,cAAc,kBAAkB,CAAC;AAGjC,cAAc,kBAAkB,CAAC;AAGjC,cAAc,gBAAgB,CAAC;AAG/B,cAAc,uBAAuB,CAAC;AAGtC,cAAc,yBAAyB,CAAC;AAGxC,cAAc,mBAAmB,CAAC;AAGlC,cAAc,oBAAoB,CAAC;AAGnC,cAAc,wBAAwB,CAAC;AAGvC,cAAc,kBAAkB,CAAC;AAGjC,cAAc,qBAAqB,CAAC;AAOpC;;;;;;;;;;GAUG"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAGvC,cAAc,kBAAkB,CAAC;AAGjC,cAAc,kBAAkB,CAAC;AAGjC,cAAc,gBAAgB,CAAC;AAG/B,cAAc,uBAAuB,CAAC;AAGtC,cAAc,yBAAyB,CAAC;AAGxC,cAAc,mBAAmB,CAAC;AAGlC,cAAc,oBAAoB,CAAC;AAGnC,cAAc,wBAAwB,CAAC;AAGvC,cAAc,kBAAkB,CAAC;AAGjC,cAAc,qBAAqB,CAAC;AAIpC,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,QAAQ,EAAE,CAAC;AAGpB,OAAO,EACL,sBAAsB,EACtB,eAAe,EACf,0BAA0B,EAC1B,qBAAqB,EACrB,kBAAkB,EAClB,wBAAwB,EACxB,mBAAmB,EACnB,qBAAqB,EACrB,YAAY,EACZ,0BAA0B,EAC1B,aAAa,EACb,cAAc,EACd,eAAe,EACf,cAAc,EACd,aAAa,EACb,cAAc,EACd,eAAe,EACf,gBAAgB,EAChB,cAAc,EAEd,yBAAyB,EACzB,8BAA8B,EAC9B,SAAS,EACT,oBAAoB,EACpB,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,qBAAqB,CAAC;AAG7B,YAAY,EACV,WAAW,EACX,YAAY,EACZ,aAAa,EACb,cAAc,EACd,UAAU,EACV,iBAAiB,EACjB,mBAAmB,EACnB,gBAAgB,EAChB,sBAAsB,EACtB,uBAAuB,EACvB,kBAAkB,EAClB,oBAAoB,EACpB,mBAAmB,EACnB,UAAU,EACV,aAAa,EACb,eAAe,EACf,uBAAuB,EACvB,cAAc,EACd,mBAAmB,EACnB,cAAc,EACd,aAAa,EAEb,eAAe,EACf,eAAe,EACf,WAAW,EACX,YAAY,EACZ,mBAAmB,EACnB,qBAAqB,EACrB,kBAAkB,EAClB,QAAQ,EACR,wBAAwB,GACzB,MAAM,qBAAqB,CAAC;AAO7B;;;;;;;;;;GAUG"}

package/dist/index.js

@@ -31,6 +31,14 @@ export * from './explanation/index.js';
 export * from './error/index.js';
 // Export learning system
 export * from './learning/index.js';
+// Export symbolic reasoning (Neuro-Symbolic Integration)
+// Use namespace import to avoid name collisions with existing types
+import * as symbolic from './symbolic/index.js';
+export { symbolic };
+// Re-export key symbolic functions at top level for convenience
+export { createSymbolicPipeline, processSymbolic, SemanticCodeFilterPipeline, HallucinationDetector, ProjectSymbolIndex, ConstitutionRuleRegistry, ConfidenceEstimator, ConfidenceBasedRouter, ErrorHandler, DEFAULT_CONSTITUTION_RULES, checkArticleI, checkArticleII, checkArticleIII, checkArticleIV, checkArticleV, checkArticleVI, checkArticleVII, checkArticleVIII, checkArticleIX, 
+// Phase 2: Formal Verification
+EarsToFormalSpecConverter, VerificationConditionGenerator, Z3Adapter, PreconditionVerifier, PostconditionVerifier, InvariantVerifier, } from './symbolic/index.js';
 // Re-export modules (will be implemented in subsequent tasks)
 // export * from './integrator/index.js';
 // export * from './requirements/index.js';

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,UAAU;AACV,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAEvC,eAAe;AACf,cAAc,kBAAkB,CAAC;AAEjC,mBAAmB;AACnB,cAAc,kBAAkB,CAAC;AAEjC,aAAa;AACb,cAAc,gBAAgB,CAAC;AAE/B,oBAAoB;AACpB,cAAc,uBAAuB,CAAC;AAEtC,sBAAsB;AACtB,cAAc,yBAAyB,CAAC;AAExC,gBAAgB;AAChB,cAAc,mBAAmB,CAAC;AAElC,yBAAyB;AACzB,cAAc,oBAAoB,CAAC;AAEnC,qBAAqB;AACrB,cAAc,wBAAwB,CAAC;AAEvC,wBAAwB;AACxB,cAAc,kBAAkB,CAAC;AAEjC,yBAAyB;AACzB,cAAc,qBAAqB,CAAC;AAEpC,8DAA8D;AAC9D,yCAAyC;AACzC,2CAA2C;AAC3C,sCAAsC;AAEtC;;;;;;;;;;GAUG"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,UAAU;AACV,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAEvC,eAAe;AACf,cAAc,kBAAkB,CAAC;AAEjC,mBAAmB;AACnB,cAAc,kBAAkB,CAAC;AAEjC,aAAa;AACb,cAAc,gBAAgB,CAAC;AAE/B,oBAAoB;AACpB,cAAc,uBAAuB,CAAC;AAEtC,sBAAsB;AACtB,cAAc,yBAAyB,CAAC;AAExC,gBAAgB;AAChB,cAAc,mBAAmB,CAAC;AAElC,yBAAyB;AACzB,cAAc,oBAAoB,CAAC;AAEnC,qBAAqB;AACrB,cAAc,wBAAwB,CAAC;AAEvC,wBAAwB;AACxB,cAAc,kBAAkB,CAAC;AAEjC,yBAAyB;AACzB,cAAc,qBAAqB,CAAC;AAEpC,yDAAyD;AACzD,oEAAoE;AACpE,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,QAAQ,EAAE,CAAC;AAEpB,gEAAgE;AAChE,OAAO,EACL,sBAAsB,EACtB,eAAe,EACf,0BAA0B,EAC1B,qBAAqB,EACrB,kBAAkB,EAClB,wBAAwB,EACxB,mBAAmB,EACnB,qBAAqB,EACrB,YAAY,EACZ,0BAA0B,EAC1B,aAAa,EACb,cAAc,EACd,eAAe,EACf,cAAc,EACd,aAAa,EACb,cAAc,EACd,eAAe,EACf,gBAAgB,EAChB,cAAc;AACd,+BAA+B;AAC/B,yBAAyB,EACzB,8BAA8B,EAC9B,SAAS,EACT,oBAAoB,EACpB,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,qBAAqB,CAAC;AAqC7B,8DAA8D;AAC9D,yCAAyC;AACzC,2CAA2C;AAC3C,sCAAsC;AAEtC;;;;;;;;;;GAUG"}

package/dist/symbolic/__tests__/ears-to-formal.test.d.ts

@@ -0,0 +1,9 @@
+/**
+ * EARS to Formal Spec Converter Tests
+ *
+ * Tests for EARS requirement parsing and SMT-LIB generation.
+ *
+ * @see TSK-SYMB-009
+ */
+export {};
+//# sourceMappingURL=ears-to-formal.test.d.ts.map

package/dist/symbolic/__tests__/ears-to-formal.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ears-to-formal.test.d.ts","sourceRoot":"","sources":["../../../src/symbolic/__tests__/ears-to-formal.test.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG"}

package/dist/symbolic/__tests__/ears-to-formal.test.js

@@ -0,0 +1,187 @@
+/**
+ * EARS to Formal Spec Converter Tests
+ *
+ * Tests for EARS requirement parsing and SMT-LIB generation.
+ *
+ * @see TSK-SYMB-009
+ */
+import { describe, it, expect, beforeEach } from 'vitest';
+import { EarsToFormalSpecConverter, parseEarsRequirement, generateSmtLib, } from '../ears-to-formal.js';
+describe('EarsToFormalSpecConverter', () => {
+    let converter;
+    beforeEach(() => {
+        converter = new EarsToFormalSpecConverter();
+    });
+    describe('parseEarsRequirement', () => {
+        it('should parse ubiquitous pattern (THE system SHALL requirement)', () => {
+            const result = parseEarsRequirement('REQ-001', 'THE system SHALL validate all user inputs');
+            expect(result.success).toBe(true);
+            if (result.success) {
+                expect(result.ast.pattern).toBe('ubiquitous');
+                expect(result.ast.system).toBe('system');
+                expect(result.ast.requirement).toBe('validate all user inputs');
+                expect(result.ast.requirementId).toBe('REQ-001');
+            }
+        });
+        it('should parse event-driven pattern (WHEN event, THE system SHALL response)', () => {
+            const result = parseEarsRequirement('REQ-002', 'WHEN user clicks submit, THE system SHALL save the form data');
+            expect(result.success).toBe(true);
+            if (result.success) {
+                expect(result.ast.pattern).toBe('event-driven');
+                expect(result.ast.event).toBe('user clicks submit');
+                expect(result.ast.system).toBe('system');
+                expect(result.ast.requirement).toBe('save the form data');
+            }
+        });
+        it('should parse state-driven pattern (WHILE state, THE system SHALL response)', () => {
+            const result = parseEarsRequirement('REQ-003', 'WHILE system is in maintenance mode, THE API SHALL return 503 status');
+            expect(result.success).toBe(true);
+            if (result.success) {
+                expect(result.ast.pattern).toBe('state-driven');
+                expect(result.ast.state).toBe('system is in maintenance mode');
+                expect(result.ast.system).toBe('API');
+                expect(result.ast.requirement).toBe('return 503 status');
+            }
+        });
+        it('should parse unwanted pattern (THE system SHALL NOT behavior)', () => {
+            const result = parseEarsRequirement('REQ-004', 'THE system SHALL NOT store passwords in plain text');
+            expect(result.success).toBe(true);
+            if (result.success) {
+                expect(result.ast.pattern).toBe('unwanted');
+                expect(result.ast.system).toBe('system');
+                expect(result.ast.unwantedBehavior).toBe('store passwords in plain text');
+            }
+        });
+        it('should parse optional pattern (IF condition, THEN THE system SHALL response)', () => {
+            const result = parseEarsRequirement('REQ-005', 'IF user is premium, THEN THE system SHALL provide advanced features');
+            expect(result.success).toBe(true);
+            if (result.success) {
+                expect(result.ast.pattern).toBe('optional');
+                expect(result.ast.condition).toBe('user is premium');
+                expect(result.ast.system).toBe('system');
+                expect(result.ast.requirement).toBe('provide advanced features');
+            }
+        });
+        it('should return error for non-EARS format', () => {
+            const result = parseEarsRequirement('REQ-006', 'The system should work properly');
+            expect(result.success).toBe(false);
+            if (!result.success) {
+                expect(result.error).toContain('EARS pattern');
+            }
+        });
+        it('should be case-insensitive for keywords', () => {
+            const result = parseEarsRequirement('REQ-007', 'the System shall Process all requests');
+            expect(result.success).toBe(true);
+            if (result.success) {
+                expect(result.ast.pattern).toBe('ubiquitous');
+            }
+        });
+    });
+    describe('generateSmtLib', () => {
+        it('should generate SMT-LIB for ubiquitous pattern', () => {
+            const ast = {
+                requirementId: 'REQ-001',
+                pattern: 'ubiquitous',
+                system: 'system',
+                requirement: 'validate inputs',
+                originalText: 'THE system SHALL validate inputs',
+                parsedAt: new Date().toISOString(),
+            };
+            const result = generateSmtLib(ast);
+            expect(result.smtLib).toContain('REQ-001');
+            expect(result.smtLib).toContain('declare-const');
+            expect(result.requirementId).toBe('REQ-001');
+            expect(result.variables.length).toBeGreaterThan(0);
+            expect(result.assertions.length).toBeGreaterThan(0);
+        });
+        it('should generate SMT-LIB for event-driven pattern with implication', () => {
+            const ast = {
+                requirementId: 'REQ-002',
+                pattern: 'event-driven',
+                system: 'system',
+                requirement: 'respond quickly',
+                event: 'user clicks',
+                originalText: 'WHEN user clicks, THE system SHALL respond quickly',
+                parsedAt: new Date().toISOString(),
+            };
+            const result = generateSmtLib(ast);
+            expect(result.smtLib).toContain('user_clicks');
+            // Event-driven pattern should have implication logic
+            expect(result.assertions.length).toBeGreaterThan(0);
+        });
+        it('should generate SMT-LIB for unwanted pattern with negation', () => {
+            const ast = {
+                requirementId: 'REQ-003',
+                pattern: 'unwanted',
+                system: 'system',
+                requirement: 'NOT store plaintext',
+                unwantedBehavior: 'store plaintext',
+                originalText: 'THE system SHALL NOT store plaintext',
+                parsedAt: new Date().toISOString(),
+            };
+            const result = generateSmtLib(ast);
+            expect(result.smtLib).toContain('not');
+        });
+        it('should include explanation with reasoning', () => {
+            const ast = {
+                requirementId: 'REQ-004',
+                pattern: 'ubiquitous',
+                system: 'API',
+                requirement: 'return JSON',
+                originalText: 'THE API SHALL return JSON',
+                parsedAt: new Date().toISOString(),
+            };
+            const result = generateSmtLib(ast);
+            expect(result.explanation.summary).toContain('SMT-LIB');
+            expect(result.explanation.reasoning.length).toBeGreaterThan(0);
+            expect(result.explanation.relatedRequirements).toContain('REQ-004');
+        });
+    });
+    describe('EarsToFormalSpecConverter class', () => {
+        it('should parse requirements using parse method', () => {
+            const result = converter.parse('REQ-001', 'THE system SHALL work');
+            expect(result.success).toBe(true);
+        });
+        it('should convert single requirement to SMT-LIB', () => {
+            const result = converter.convert({
+                id: 'REQ-001',
+                text: 'THE system SHALL validate inputs',
+                type: 'ubiquitous',
+            });
+            expect(result.smtLib).toBeTruthy();
+            expect(result.requirementId).toBe('REQ-001');
+        });
+        it('should handle parse errors gracefully in convert', () => {
+            const result = converter.convert({
+                id: 'REQ-INVALID',
+                text: 'This is not EARS format',
+                type: 'ubiquitous',
+            });
+            expect(result.smtLib).toContain('Error');
+            expect(result.explanation.summary).toContain('Failed');
+        });
+        it('should convert multiple requirements', () => {
+            const requirements = [
+                { id: 'REQ-001', text: 'THE system SHALL validate inputs', type: 'ubiquitous' },
+                { id: 'REQ-002', text: 'WHEN error occurs, THE system SHALL log it', type: 'event-driven' },
+            ];
+            const result = converter.convertAll(requirements);
+            expect(result.astNodes.length).toBe(2);
+            expect(result.smtOutputs.length).toBe(2);
+            expect(result.combinedSmtLib).toContain('REQ-001');
+            expect(result.combinedSmtLib).toContain('REQ-002');
+        });
+        it('should generate combined SMT-LIB with all requirements', () => {
+            const requirements = [
+                { id: 'REQ-001', text: 'THE API SHALL return JSON', type: 'ubiquitous' },
+                { id: 'REQ-002', text: 'THE API SHALL NOT leak secrets', type: 'unwanted' },
+            ];
+            const result = converter.convertAll(requirements);
+            expect(result.combinedSmtLib).toContain('Combined');
+            expect(result.combinedSmtLib).toContain('check-sat');
+            expect(result.explanation.relatedRequirements).toContain('REQ-001');
+            expect(result.explanation.relatedRequirements).toContain('REQ-002');
+        });
+    });
+});
+//# sourceMappingURL=ears-to-formal.test.js.map

package/dist/symbolic/__tests__/ears-to-formal.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ears-to-formal.test.js","sourceRoot":"","sources":["../../../src/symbolic/__tests__/ears-to-formal.test.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AAC1D,OAAO,EACL,yBAAyB,EACzB,oBAAoB,EACpB,cAAc,GAEf,MAAM,sBAAsB,CAAC;AAE9B,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAI,SAAoC,CAAC;IAEzC,UAAU,CAAC,GAAG,EAAE;QACd,SAAS,GAAG,IAAI,yBAAyB,EAAE,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;QACpC,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;YACxE,MAAM,MAAM,GAAG,oBAAoB,CACjC,SAAS,EACT,2CAA2C,CAC5C,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;gBACnB,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBAC9C,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACzC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;gBAChE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACnD,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;YACnF,MAAM,MAAM,GAAG,oBAAoB,CACjC,SAAS,EACT,8DAA8D,CAC/D,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;gBACnB,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;gBAChD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;gBACpD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACzC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;YAC5D,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;YACpF,MAAM,MAAM,GAAG,oBAAoB,CACjC,SAAS,EACT,sEAAsE,CACvE,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;gBACnB,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;gBAChD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;gBAC/D,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACtC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;YACvE,MAAM,MAAM,GAAG,oBAAoB,CACjC,SAAS,EACT,oDAAoD,CACrD,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;gBACnB,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC5C,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACzC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;YAC5E,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;YACtF,MAAM,MAAM,GAAG,oBAAoB,CACjC,SAAS,EACT,qEAAqE,CACtE,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;gBACnB,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC5C,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;gBACrD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACzC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;YACnE,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACjD,MAAM,MAAM,GAAG,oBAAoB,CAAC,SAAS,EAAE,iCAAiC,CAAC,CAAC;YAElF,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;gBACpB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;YACjD,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACjD,MAAM,MAAM,GAAG,oBAAoB,CACjC,SAAS,EACT,uCAAuC,CACxC,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;gBACnB,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YAChD,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC9B,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;YACxD,MAAM,GAAG,GAAgB;gBACvB,aAAa,EAAE,SAAS;gBACxB,OAAO,EAAE,YAAY;gBACrB,MAAM,EAAE,QAAQ;gBAChB,WAAW,EAAE,iBAAiB;gBAC9B,YAAY,EAAE,kCAAkC;gBAChD,QAAQ,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aACnC,CAAC;YAEF,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;YAEnC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;YAC3C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;YACjD,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YACnD,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACtD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;YAC3E,MAAM,GAAG,GAAgB;gBACvB,aAAa,EAAE,SAAS;gBACxB,OAAO,EAAE,cAAc;gBACvB,MAAM,EAAE,QAAQ;gBAChB,WAAW,EAAE,iBAAiB;gBAC9B,KAAK,EAAE,aAAa;gBACpB,YAAY,EAAE,oDAAoD;gBAClE,QAAQ,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aACnC,CAAC;YAEF,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;YAEnC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;YAC/C,qDAAqD;YACrD,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACtD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;YACpE,MAAM,GAAG,GAAgB;gBACvB,aAAa,EAAE,SAAS;gBACxB,OAAO,EAAE,UAAU;gBACnB,MAAM,EAAE,QAAQ;gBAChB,WAAW,EAAE,qBAAqB;gBAClC,gBAAgB,EAAE,iBAAiB;gBACnC,YAAY,EAAE,sCAAsC;gBACpD,QAAQ,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aACnC,CAAC;YAEF,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;YAEnC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACzC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,GAAG,GAAgB;gBACvB,aAAa,EAAE,SAAS;gBACxB,OAAO,EAAE,YAAY;gBACrB,MAAM,EAAE,KAAK;gBACb,WAAW,EAAE,aAAa;gBAC1B,YAAY,EAAE,2BAA2B;gBACzC,QAAQ,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aACnC,CAAC;YAEF,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;YAEnC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;YACxD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YAC/D,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,mBAAmB,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACtE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;QAC/C,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,SAAS,EAAE,uBAAuB,CAAC,CAAC;YAEnE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,CAAC;gBAC/B,EAAE,EAAE,SAAS;gBACb,IAAI,EAAE,kCAAkC;gBACxC,IAAI,EAAE,YAAY;aACnB,CAAC,CAAC;YAEH,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,CAAC;YACnC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;YAC1D,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,CAAC;gBAC/B,EAAE,EAAE,aAAa;gBACjB,IAAI,EAAE,yBAAyB;gBAC/B,IAAI,EAAE,YAAY;aACnB,CAAC,CAAC;YAEH,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;YACzC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACzD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;YAC9C,MAAM,YAAY,GAAG;gBACnB,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,kCAAkC,EAAE,IAAI,EAAE,YAAqB,EAAE;gBACxF,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,4CAA4C,EAAE,IAAI,EAAE,cAAuB,EAAE;aACrG,CAAC;YAEF,MAAM,MAAM,GAAG,SAAS,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;YAElD,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACzC,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;YACnD,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAChE,MAAM,YAAY,GAAG;gBACnB,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,2BAA2B,EAAE,IAAI,EAAE,YAAqB,EAAE;gBACjF,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,gCAAgC,EAAE,IAAI,EAAE,UAAmB,EAAE;aACrF,CAAC;YAEF,MAAM,MAAM,GAAG,SAAS,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;YAElD,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;YACpD,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;YACrD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,mBAAmB,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;YACpE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,mBAAmB,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACtE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/symbolic/__tests__/quality-gate.test.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Quality Gate Validator Tests
+ *
+ * Tests for TSK-SYMB-019: Quality Gate validation
+ *
+ * @module quality-gate.test
+ */
+export {};
+//# sourceMappingURL=quality-gate.test.d.ts.map

package/dist/symbolic/__tests__/quality-gate.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"quality-gate.test.d.ts","sourceRoot":"","sources":["../../../src/symbolic/__tests__/quality-gate.test.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG"}

package/dist/symbolic/__tests__/quality-gate.test.js

@@ -0,0 +1,230 @@
+/**
+ * Quality Gate Validator Tests
+ *
+ * Tests for TSK-SYMB-019: Quality Gate validation
+ *
+ * @module quality-gate.test
+ */
+import { describe, it, expect, beforeEach } from 'vitest';
+import { QualityGateValidator, createComponentValidation, } from '../quality-gate.js';
+describe('QualityGateValidator', () => {
+    let validator;
+    let fullTraceability;
+    let fullComponents;
+    beforeEach(() => {
+        validator = new QualityGateValidator();
+        // Create full traceability for 27 requirements
+        fullTraceability = [
+            // Semantic Filter requirements
+            { requirementId: 'REQ-SF-001', designIds: ['DES-001'], taskIds: ['TSK-001'], testIds: ['TEST-001'], coveragePercent: 100 },
+            { requirementId: 'REQ-SF-002', designIds: ['DES-001'], taskIds: ['TSK-001'], testIds: ['TEST-002'], coveragePercent: 100 },
+            { requirementId: 'REQ-SF-003', designIds: ['DES-001'], taskIds: ['TSK-002'], testIds: ['TEST-003'], coveragePercent: 100 },
+            // Formal Verification requirements
+            { requirementId: 'REQ-FV-001', designIds: ['DES-002'], taskIds: ['TSK-003'], testIds: ['TEST-004'], coveragePercent: 100 },
+            { requirementId: 'REQ-FV-002', designIds: ['DES-002'], taskIds: ['TSK-003'], testIds: ['TEST-005'], coveragePercent: 100 },
+            { requirementId: 'REQ-FV-003', designIds: ['DES-002'], taskIds: ['TSK-004'], testIds: ['TEST-006'], coveragePercent: 100 },
+            { requirementId: 'REQ-FV-004', designIds: ['DES-002'], taskIds: ['TSK-004'], testIds: ['TEST-007'], coveragePercent: 100 },
+            { requirementId: 'REQ-FV-005', designIds: ['DES-002'], taskIds: ['TSK-005'], testIds: ['TEST-008'], coveragePercent: 100 },
+            // Constitution requirements
+            { requirementId: 'REQ-CONST-001', designIds: ['DES-003'], taskIds: ['TSK-006'], testIds: ['TEST-009'], coveragePercent: 100 },
+            { requirementId: 'REQ-CONST-002', designIds: ['DES-003'], taskIds: ['TSK-006'], testIds: ['TEST-010'], coveragePercent: 100 },
+            { requirementId: 'REQ-CONST-003', designIds: ['DES-003'], taskIds: ['TSK-007'], testIds: ['TEST-011'], coveragePercent: 100 },
+            { requirementId: 'REQ-CONST-004', designIds: ['DES-003'], taskIds: ['TSK-007'], testIds: ['TEST-012'], coveragePercent: 100 },
+            { requirementId: 'REQ-CONST-005', designIds: ['DES-003'], taskIds: ['TSK-008'], testIds: ['TEST-013'], coveragePercent: 100 },
+            { requirementId: 'REQ-CONST-006', designIds: ['DES-003'], taskIds: ['TSK-008'], testIds: ['TEST-014'], coveragePercent: 100 },
+            { requirementId: 'REQ-CONST-007', designIds: ['DES-003'], taskIds: ['TSK-009'], testIds: ['TEST-015'], coveragePercent: 100 },
+            { requirementId: 'REQ-CONST-008', designIds: ['DES-003'], taskIds: ['TSK-009'], testIds: ['TEST-016'], coveragePercent: 100 },
+            { requirementId: 'REQ-CONST-009', designIds: ['DES-003'], taskIds: ['TSK-010'], testIds: ['TEST-017'], coveragePercent: 100 },
+            { requirementId: 'REQ-CONST-010', designIds: ['DES-003'], taskIds: ['TSK-010'], testIds: ['TEST-018'], coveragePercent: 100 },
+            // Routing requirements
+            { requirementId: 'REQ-ROUTE-001', designIds: ['DES-004'], taskIds: ['TSK-011'], testIds: ['TEST-019'], coveragePercent: 100 },
+            { requirementId: 'REQ-ROUTE-002', designIds: ['DES-004'], taskIds: ['TSK-011'], testIds: ['TEST-020'], coveragePercent: 100 },
+            { requirementId: 'REQ-ROUTE-003', designIds: ['DES-004'], taskIds: ['TSK-012'], testIds: ['TEST-021'], coveragePercent: 100 },
+            // Non-functional requirements
+            { requirementId: 'REQ-NFR-001', designIds: ['DES-005'], taskIds: ['TSK-013'], testIds: ['TEST-022'], coveragePercent: 100 },
+            { requirementId: 'REQ-NFR-002', designIds: ['DES-005'], taskIds: ['TSK-013'], testIds: ['TEST-023'], coveragePercent: 100 },
+            { requirementId: 'REQ-NFR-003', designIds: ['DES-005'], taskIds: ['TSK-014'], testIds: ['TEST-024'], coveragePercent: 100 },
+            { requirementId: 'REQ-NFR-004', designIds: ['DES-005'], taskIds: ['TSK-014'], testIds: ['TEST-025'], coveragePercent: 100 },
+            { requirementId: 'REQ-NFR-005', designIds: ['DES-005'], taskIds: ['TSK-015'], testIds: ['TEST-026'], coveragePercent: 100 },
+            { requirementId: 'REQ-NFR-006', designIds: ['DES-005'], taskIds: ['TSK-015'], testIds: ['TEST-027'], coveragePercent: 100 },
+        ];
+        // Create fully compliant component validation
+        fullComponents = createComponentValidation({
+            performanceBudgetDefined: true,
+            extensibleConfigDefined: true,
+            explanationGeneratorDefined: true,
+            securityMaskingDefined: true,
+            auditLoggingDefined: true,
+            libraryFirstCompliant: true,
+            cliInterfaceDefined: true,
+            testFirstCompliant: true,
+            earsFormatCompliant: true,
+            traceabilityCompliant: true,
+            projectMemoryCompliant: true,
+            designPatternsDocumented: true,
+            adrCompliant: true,
+            qualityGatesConfigured: true,
+        });
+    });
+    describe('validate', () => {
+        it('should pass when all criteria are met', () => {
+            const result = validator.validate(fullTraceability, fullComponents);
+            expect(result.passed).toBe(true);
+            expect(result.gateName).toBe('DES-SYMB-001 Implementation Gate');
+            expect(result.phase).toBe('design');
+            expect(result.summary.blockerCount).toBe(0);
+            expect(result.summary.criticalCount).toBe(0);
+        });
+        it('should fail when design coverage is incomplete', () => {
+            // Remove design IDs from some requirements
+            const incompleteTraceability = fullTraceability.map((t, i) => i < 3 ? { ...t, designIds: [] } : t);
+            const result = validator.validate(incompleteTraceability, fullComponents);
+            expect(result.passed).toBe(false);
+            expect(result.summary.blockerCount).toBeGreaterThan(0);
+            const designCheck = result.checks.find(c => c.checkId === 'QG-TRACE-001');
+            expect(designCheck?.passed).toBe(false);
+        });
+        it('should fail when performance budget is not defined', () => {
+            const incompleteComponents = createComponentValidation({
+                ...fullComponents,
+                performanceBudgetDefined: false,
+            });
+            const result = validator.validate(fullTraceability, incompleteComponents);
+            expect(result.passed).toBe(false);
+            const perfCheck = result.checks.find(c => c.checkId === 'QG-NFR-001');
+            expect(perfCheck?.passed).toBe(false);
+            expect(perfCheck?.severity).toBe('blocker');
+        });
+        it('should fail when audit logging is not defined', () => {
+            const incompleteComponents = createComponentValidation({
+                ...fullComponents,
+                auditLoggingDefined: false,
+            });
+            const result = validator.validate(fullTraceability, incompleteComponents);
+            expect(result.passed).toBe(false);
+            const auditCheck = result.checks.find(c => c.checkId === 'QG-SEC-002');
+            expect(auditCheck?.passed).toBe(false);
+            expect(auditCheck?.severity).toBe('blocker');
+        });
+        it('should check all 9 Constitution articles', () => {
+            const result = validator.validate(fullTraceability, fullComponents);
+            const constitutionChecks = result.checks.filter(c => c.category === 'constitution');
+            expect(constitutionChecks.length).toBe(9);
+            // All should pass
+            for (const check of constitutionChecks) {
+                expect(check.passed).toBe(true);
+            }
+        });
+        it('should fail for non-compliant Constitution articles', () => {
+            const incompleteComponents = createComponentValidation({
+                ...fullComponents,
+                traceabilityCompliant: false, // Article V
+            });
+            const result = validator.validate(fullTraceability, incompleteComponents);
+            expect(result.passed).toBe(false);
+            const articleVCheck = result.checks.find(c => c.checkId === 'QG-CONST-V');
+            expect(articleVCheck?.passed).toBe(false);
+            expect(articleVCheck?.severity).toBe('blocker'); // Article V is blocker
+        });
+        it('should include explanation with reasoning', () => {
+            const result = validator.validate(fullTraceability, fullComponents);
+            expect(result.explanation).toBeDefined();
+            expect(result.explanation.summary).toContain('PASSED');
+            expect(result.explanation.reasoning.length).toBeGreaterThan(0);
+            expect(result.explanation.evidence.length).toBeGreaterThan(0);
+        });
+    });
+    describe('custom configuration', () => {
+        it('should use custom min design coverage', () => {
+            const customConfig = {
+                minDesignCoverage: 90,
+            };
+            const customValidator = new QualityGateValidator(customConfig);
+            // Remove design from ~5% of requirements (2 out of 27)
+            const partialTraceability = fullTraceability.map((t, i) => i < 2 ? { ...t, designIds: [] } : t);
+            const result = customValidator.validate(partialTraceability, fullComponents);
+            // 25/27 = 92.6% > 90%, should pass
+            const designCheck = result.checks.find(c => c.checkId === 'QG-TRACE-001');
+            expect(designCheck?.passed).toBe(true);
+        });
+    });
+    describe('generateApprovalReport', () => {
+        it('should generate markdown report for passed gate', () => {
+            const result = validator.validate(fullTraceability, fullComponents);
+            const report = validator.generateApprovalReport(result);
+            expect(report).toContain('# Quality Gate Approval Report');
+            expect(report).toContain('✅ PASSED');
+            expect(report).toContain('## Summary');
+            expect(report).toContain('## Traceability Checks');
+            expect(report).toContain('## Non-Functional Checks');
+            expect(report).toContain('## Security & Audit Checks');
+            expect(report).toContain('## Constitution Checks');
+            expect(report).toContain('## Approval Record');
+        });
+        it('should generate markdown report for failed gate', () => {
+            const incompleteComponents = createComponentValidation({
+                ...fullComponents,
+                performanceBudgetDefined: false,
+                auditLoggingDefined: false,
+            });
+            const result = validator.validate(fullTraceability, incompleteComponents);
+            const report = validator.generateApprovalReport(result);
+            expect(report).toContain('❌ FAILED');
+            expect(report).toContain('🚫'); // Blocker icon
+        });
+    });
+    describe('createComponentValidation', () => {
+        it('should create validation with defaults', () => {
+            const validation = createComponentValidation({});
+            expect(validation.performanceBudgetDefined).toBe(false);
+            expect(validation.auditLoggingDefined).toBe(false);
+            expect(validation.libraryFirstCompliant).toBe(false);
+        });
+        it('should create validation with partial overrides', () => {
+            const validation = createComponentValidation({
+                performanceBudgetDefined: true,
+                auditLoggingDefined: true,
+            });
+            expect(validation.performanceBudgetDefined).toBe(true);
+            expect(validation.auditLoggingDefined).toBe(true);
+            expect(validation.extensibleConfigDefined).toBe(false);
+        });
+    });
+    describe('traceability checks', () => {
+        it('should detect coverage gaps', () => {
+            // Create traceability with gaps
+            const gappyTraceability = fullTraceability.map((t, i) => i % 3 === 0 ? { ...t, coveragePercent: 50 } : t);
+            const result = validator.validate(gappyTraceability, fullComponents);
+            const gapCheck = result.checks.find(c => c.checkId === 'QG-TRACE-003');
+            expect(gapCheck?.passed).toBe(false);
+            expect(gapCheck?.message).toContain('coverage gaps');
+        });
+        it('should report task coverage', () => {
+            const result = validator.validate(fullTraceability, fullComponents);
+            const taskCheck = result.checks.find(c => c.checkId === 'QG-TRACE-002');
+            expect(taskCheck?.passed).toBe(true);
+            expect(taskCheck?.message).toContain('100');
+        });
+    });
+    describe('edge cases', () => {
+        it('should handle empty traceability', () => {
+            const result = validator.validate([], fullComponents);
+            expect(result.checks.length).toBeGreaterThan(0);
+            // Design coverage should be 0% which fails
+            const designCheck = result.checks.find(c => c.checkId === 'QG-TRACE-001');
+            expect(designCheck?.passed).toBe(false);
+        });
+        it('should handle partial component validation', () => {
+            const partialComponents = createComponentValidation({
+                performanceBudgetDefined: true,
+                auditLoggingDefined: true,
+                // Everything else defaults to false
+            });
+            const result = validator.validate(fullTraceability, partialComponents);
+            // Should fail due to missing components
+            expect(result.passed).toBe(false);
+            expect(result.summary.criticalCount).toBeGreaterThan(0);
+        });
+    });
+});
+//# sourceMappingURL=quality-gate.test.js.map