@nahisaho/musubix-formal-verify 1.7.5

package/README.md

@@ -0,0 +1,62 @@
+# @nahisaho/musubix-formal-verify
+
+MUSUBIX v1.7.5 Formal Verification Edition - 形式検証ツールパッケージ
+
+## 概要
+
+Z3ソルバー統合、事前条件/事後条件検証、EARS→SMT変換、トレーサビリティDBを提供します。
+
+## インストール
+
+```bash
+npm install @nahisaho/musubix-formal-verify
+```
+
+## 機能
+
+### Z3統合
+
+```typescript
+import { Z3Adapter } from '@nahisaho/musubix-formal-verify/z3';
+
+const z3 = await Z3Adapter.create();
+const result = await z3.checkSat('(declare-const x Int) (assert (> x 0))');
+console.log(result); // 'sat' | 'unsat' | 'unknown'
+```
+
+### 事前条件/事後条件検証
+
+```typescript
+import { PreconditionVerifier, PostconditionVerifier } from '@nahisaho/musubix-formal-verify/verifiers';
+
+const preVerifier = new PreconditionVerifier(z3);
+const result = await preVerifier.verify({
+  condition: 'amount > 0 && amount <= balance',
+  variables: { amount: 'Int', balance: 'Int' }
+});
+```
+
+### EARS→SMT変換
+
+```typescript
+import { EarsToSmtConverter } from '@nahisaho/musubix-formal-verify/converters';
+
+const converter = new EarsToSmtConverter();
+const smt = converter.convert('WHEN user clicks submit, THE system SHALL save the data');
+```
+
+### トレーサビリティDB
+
+```typescript
+import { TraceabilityDB, ImpactAnalyzer } from '@nahisaho/musubix-formal-verify/traceability';
+
+const db = new TraceabilityDB('./trace.db');
+await db.addLink({ source: 'REQ-001', target: 'DES-001', type: 'implements' });
+
+const analyzer = new ImpactAnalyzer(db);
+const impact = await analyzer.analyze('REQ-001');
+```
+
+## ライセンス
+
+MIT

package/dist/converters/EarsToSmtConverter.d.ts

@@ -0,0 +1,102 @@
+/**
+ * EARS to SMT Converter
+ *
+ * EARS形式の要件をSMT-LIB2形式に変換するコンバーター
+ */
+import type { EarsPattern, EarsPatternType, ConversionResult, ConversionOptions } from './types.js';
+/**
+ * EARS→SMTコンバーター
+ *
+ * EARS形式の自然言語要件をSMT-LIB2形式の論理式に変換します。
+ * 5つのEARSパターンをサポート:
+ * - Ubiquitous: THE [system] SHALL [requirement]
+ * - Event-driven: WHEN [event], THE [system] SHALL [response]
+ * - State-driven: WHILE [state], THE [system] SHALL [response]
+ * - Unwanted: THE [system] SHALL NOT [behavior]
+ * - Optional: IF [condition], THEN THE [system] SHALL [response]
+ *
+ * @example
+ * ```typescript
+ * const converter = new EarsToSmtConverter();
+ *
+ * const result = converter.convert(
+ *   'WHEN user clicks submit, THE system SHALL save the data within 100ms'
+ * );
+ *
+ * if (result.success) {
+ *   console.log(result.formula.smtLib2);
+ * }
+ * ```
+ */
+export declare class EarsToSmtConverter {
+    private readonly options;
+    constructor(options?: ConversionOptions);
+    /**
+     * EARS形式の要件をSMT-LIB2に変換
+     *
+     * @param earsRequirement - EARS形式の要件文
+     * @returns 変換結果
+     */
+    convert(earsRequirement: string): ConversionResult;
+    /**
+     * 複数のEARS要件をまとめて変換
+     */
+    convertMultiple(earsRequirements: string[]): ConversionResult[];
+    /**
+     * EARSパターンを解析
+     */
+    parseEarsPattern(requirement: string): EarsPattern | null;
+    /**
+     * パターンから変数を抽出
+     */
+    private extractVariables;
+    /**
+     * SMT宣言を生成
+     */
+    private generateDeclarations;
+    /**
+     * SMTアサーションを生成
+     */
+    private generateAssertions;
+    /**
+     * Ubiquitousパターンのアサーション生成
+     */
+    private generateUbiquitousAssertion;
+    /**
+     * Event-drivenパターンのアサーション生成
+     */
+    private generateEventDrivenAssertion;
+    /**
+     * State-drivenパターンのアサーション生成
+     */
+    private generateStateDrivenAssertion;
+    /**
+     * Unwantedパターンのアサーション生成
+     */
+    private generateUnwantedAssertion;
+    /**
+     * Optionalパターンのアサーション生成
+     */
+    private generateOptionalAssertion;
+    /**
+     * SMT-LIB2スクリプトを組み立て
+     */
+    private buildSmtLib2;
+    /**
+     * 文字列をSMT識別子に変換
+     */
+    private toSmtIdentifier;
+    /**
+     * 適用されたルールを取得
+     */
+    private getAppliedRules;
+    /**
+     * サポートされているパターンタイプを取得
+     */
+    getSupportedPatterns(): EarsPatternType[];
+    /**
+     * パターンのサンプルを取得
+     */
+    getPatternExamples(): Record<EarsPatternType, string>;
+}
+//# sourceMappingURL=EarsToSmtConverter.d.ts.map

package/dist/converters/EarsToSmtConverter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"EarsToSmtConverter.d.ts","sourceRoot":"","sources":["../../src/converters/EarsToSmtConverter.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EACV,WAAW,EACX,eAAe,EAGf,gBAAgB,EAChB,iBAAiB,EAClB,MAAM,YAAY,CAAC;AAEpB;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,qBAAa,kBAAkB;IAC7B,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAoB;gBAEhC,OAAO,GAAE,iBAAsB;IAS3C;;;;;OAKG;IACH,OAAO,CAAC,eAAe,EAAE,MAAM,GAAG,gBAAgB;IA4DlD;;OAEG;IACH,eAAe,CAAC,gBAAgB,EAAE,MAAM,EAAE,GAAG,gBAAgB,EAAE;IAI/D;;OAEG;IACH,gBAAgB,CAAC,WAAW,EAAE,MAAM,GAAG,WAAW,GAAG,IAAI;IA2EzD;;OAEG;IACH,OAAO,CAAC,gBAAgB;IA0CxB;;OAEG;IACH,OAAO,CAAC,oBAAoB;IAgB5B;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAoC1B;;OAEG;IACH,OAAO,CAAC,2BAA2B;IAQnC;;OAEG;IACH,OAAO,CAAC,4BAA4B;IAQpC;;OAEG;IACH,OAAO,CAAC,4BAA4B;IAQpC;;OAEG;IACH,OAAO,CAAC,yBAAyB;IAOjC;;OAEG;IACH,OAAO,CAAC,yBAAyB;IAQjC;;OAEG;IACH,OAAO,CAAC,YAAY;IAqCpB;;OAEG;IACH,OAAO,CAAC,eAAe;IASvB;;OAEG;IACH,OAAO,CAAC,eAAe;IAYvB;;OAEG;IACH,oBAAoB,IAAI,eAAe,EAAE;IAIzC;;OAEG;IACH,kBAAkB,IAAI,MAAM,CAAC,eAAe,EAAE,MAAM,CAAC;CAStD"}

package/dist/converters/EarsToSmtConverter.js

@@ -0,0 +1,368 @@
+/**
+ * EARS to SMT Converter
+ *
+ * EARS形式の要件をSMT-LIB2形式に変換するコンバーター
+ */
+/**
+ * EARS→SMTコンバーター
+ *
+ * EARS形式の自然言語要件をSMT-LIB2形式の論理式に変換します。
+ * 5つのEARSパターンをサポート:
+ * - Ubiquitous: THE [system] SHALL [requirement]
+ * - Event-driven: WHEN [event], THE [system] SHALL [response]
+ * - State-driven: WHILE [state], THE [system] SHALL [response]
+ * - Unwanted: THE [system] SHALL NOT [behavior]
+ * - Optional: IF [condition], THEN THE [system] SHALL [response]
+ *
+ * @example
+ * ```typescript
+ * const converter = new EarsToSmtConverter();
+ *
+ * const result = converter.convert(
+ *   'WHEN user clicks submit, THE system SHALL save the data within 100ms'
+ * );
+ *
+ * if (result.success) {
+ *   console.log(result.formula.smtLib2);
+ * }
+ * ```
+ */
+export class EarsToSmtConverter {
+    options;
+    constructor(options = {}) {
+        this.options = {
+            strict: options.strict ?? false,
+            inferTypes: options.inferTypes ?? true,
+            typeMapping: options.typeMapping ?? {},
+            debug: options.debug ?? false,
+        };
+    }
+    /**
+     * EARS形式の要件をSMT-LIB2に変換
+     *
+     * @param earsRequirement - EARS形式の要件文
+     * @returns 変換結果
+     */
+    convert(earsRequirement) {
+        const startTime = Date.now();
+        const warnings = [];
+        try {
+            // 1. EARSパターンを解析
+            const pattern = this.parseEarsPattern(earsRequirement);
+            if (!pattern) {
+                return {
+                    success: false,
+                    error: 'Failed to parse EARS pattern. Ensure the requirement follows EARS format.',
+                    warnings,
+                    duration: Date.now() - startTime,
+                };
+            }
+            if (this.options.debug) {
+                console.log('[EarsToSmtConverter] Parsed pattern:', pattern);
+            }
+            // 2. 変数を抽出
+            const variables = this.extractVariables(pattern);
+            // 3. SMT宣言を生成
+            const declarations = this.generateDeclarations(variables);
+            // 4. SMTアサーションを生成
+            const assertions = this.generateAssertions(pattern, warnings);
+            // 5. SMT-LIB2スクリプトを組み立て
+            const smtLib2 = this.buildSmtLib2(declarations, assertions);
+            const formula = {
+                smtLib2,
+                declarations,
+                assertions,
+                metadata: {
+                    earsPattern: pattern,
+                    transformationRules: this.getAppliedRules(pattern.type),
+                    warnings,
+                },
+            };
+            return {
+                success: true,
+                formula,
+                warnings,
+                duration: Date.now() - startTime,
+            };
+        }
+        catch (error) {
+            return {
+                success: false,
+                error: error instanceof Error ? error.message : String(error),
+                warnings,
+                duration: Date.now() - startTime,
+            };
+        }
+    }
+    /**
+     * 複数のEARS要件をまとめて変換
+     */
+    convertMultiple(earsRequirements) {
+        return earsRequirements.map(req => this.convert(req));
+    }
+    /**
+     * EARSパターンを解析
+     */
+    parseEarsPattern(requirement) {
+        const normalized = requirement.trim();
+        // Pattern 1: Event-driven - WHEN [event], THE [system] SHALL [response]
+        const eventDrivenMatch = normalized.match(/^WHEN\s+(.+?),?\s+THE\s+(.+?)\s+SHALL\s+(.+)$/i);
+        if (eventDrivenMatch) {
+            return {
+                type: 'event-driven',
+                original: normalized,
+                event: eventDrivenMatch[1].trim(),
+                system: eventDrivenMatch[2].trim(),
+                requirement: eventDrivenMatch[3].trim(),
+            };
+        }
+        // Pattern 2: State-driven - WHILE [state], THE [system] SHALL [response]
+        const stateDrivenMatch = normalized.match(/^WHILE\s+(.+?),?\s+THE\s+(.+?)\s+SHALL\s+(.+)$/i);
+        if (stateDrivenMatch) {
+            return {
+                type: 'state-driven',
+                original: normalized,
+                state: stateDrivenMatch[1].trim(),
+                system: stateDrivenMatch[2].trim(),
+                requirement: stateDrivenMatch[3].trim(),
+            };
+        }
+        // Pattern 3: Optional - IF [condition], THEN THE [system] SHALL [response]
+        const optionalMatch = normalized.match(/^IF\s+(.+?),?\s+THEN\s+THE\s+(.+?)\s+SHALL\s+(.+)$/i);
+        if (optionalMatch) {
+            return {
+                type: 'optional',
+                original: normalized,
+                condition: optionalMatch[1].trim(),
+                system: optionalMatch[2].trim(),
+                requirement: optionalMatch[3].trim(),
+            };
+        }
+        // Pattern 4: Unwanted - THE [system] SHALL NOT [behavior]
+        const unwantedMatch = normalized.match(/^THE\s+(.+?)\s+SHALL\s+NOT\s+(.+)$/i);
+        if (unwantedMatch) {
+            return {
+                type: 'unwanted',
+                original: normalized,
+                system: unwantedMatch[1].trim(),
+                requirement: unwantedMatch[2].trim(),
+                negated: true,
+            };
+        }
+        // Pattern 5: Ubiquitous - THE [system] SHALL [requirement]
+        const ubiquitousMatch = normalized.match(/^THE\s+(.+?)\s+SHALL\s+(.+)$/i);
+        if (ubiquitousMatch) {
+            return {
+                type: 'ubiquitous',
+                original: normalized,
+                system: ubiquitousMatch[1].trim(),
+                requirement: ubiquitousMatch[2].trim(),
+            };
+        }
+        return null;
+    }
+    /**
+     * パターンから変数を抽出
+     */
+    extractVariables(pattern) {
+        const variables = new Map();
+        const allText = [
+            pattern.requirement,
+            pattern.event,
+            pattern.state,
+            pattern.condition,
+        ].filter(Boolean).join(' ');
+        // 数値を含む変数パターンを検出
+        // 例: "within 100ms" → response_time
+        const timeMatch = allText.match(/within\s+(\d+)\s*(ms|s|seconds?|milliseconds?)/i);
+        if (timeMatch) {
+            variables.set('response_time', 'Int');
+            variables.set('time_limit', 'Int');
+        }
+        // 比較演算子を含む変数を検出
+        // 例: "amount > 0" → amount: Int
+        const comparisonMatches = allText.matchAll(/(\w+)\s*([<>=]+)\s*(\d+)/g);
+        for (const match of comparisonMatches) {
+            const varName = this.toSmtIdentifier(match[1]);
+            variables.set(varName, 'Int');
+        }
+        // システム状態変数
+        variables.set(this.toSmtIdentifier(pattern.system) + '_active', 'Bool');
+        // イベント/状態/条件に基づく変数
+        if (pattern.event) {
+            variables.set(this.toSmtIdentifier(pattern.event) + '_occurred', 'Bool');
+        }
+        if (pattern.state) {
+            variables.set(this.toSmtIdentifier(pattern.state) + '_active', 'Bool');
+        }
+        if (pattern.condition) {
+            variables.set(this.toSmtIdentifier(pattern.condition) + '_holds', 'Bool');
+        }
+        return variables;
+    }
+    /**
+     * SMT宣言を生成
+     */
+    generateDeclarations(variables) {
+        const declarations = [];
+        for (const [name, type] of variables) {
+            // カスタム型マッピングを適用
+            const smtType = this.options.typeMapping?.[name] ?? type;
+            declarations.push({
+                name,
+                type: smtType,
+                description: `Variable derived from EARS requirement`,
+            });
+        }
+        return declarations;
+    }
+    /**
+     * SMTアサーションを生成
+     */
+    generateAssertions(pattern, warnings) {
+        const assertions = [];
+        switch (pattern.type) {
+            case 'ubiquitous':
+                // 常に成り立つ: ∀ state. requirement
+                assertions.push(this.generateUbiquitousAssertion(pattern));
+                break;
+            case 'event-driven':
+                // イベント発生時に成り立つ: event → requirement
+                assertions.push(this.generateEventDrivenAssertion(pattern));
+                break;
+            case 'state-driven':
+                // 状態が有効な間成り立つ: state → requirement
+                assertions.push(this.generateStateDrivenAssertion(pattern));
+                break;
+            case 'unwanted':
+                // 禁止動作: ¬behavior
+                assertions.push(this.generateUnwantedAssertion(pattern));
+                break;
+            case 'optional':
+                // 条件付き: condition → requirement
+                assertions.push(this.generateOptionalAssertion(pattern));
+                break;
+            default:
+                warnings.push(`Unknown pattern type: ${pattern.type}`);
+        }
+        return assertions;
+    }
+    /**
+     * Ubiquitousパターンのアサーション生成
+     */
+    generateUbiquitousAssertion(pattern) {
+        const systemVar = this.toSmtIdentifier(pattern.system) + '_active';
+        const reqVar = this.toSmtIdentifier(pattern.requirement);
+        // システムがアクティブなら要件が成り立つ
+        return `(=> ${systemVar} ${reqVar})`;
+    }
+    /**
+     * Event-drivenパターンのアサーション生成
+     */
+    generateEventDrivenAssertion(pattern) {
+        const eventVar = this.toSmtIdentifier(pattern.event) + '_occurred';
+        const reqVar = this.toSmtIdentifier(pattern.requirement);
+        // イベントが発生したら要件が成り立つ
+        return `(=> ${eventVar} ${reqVar})`;
+    }
+    /**
+     * State-drivenパターンのアサーション生成
+     */
+    generateStateDrivenAssertion(pattern) {
+        const stateVar = this.toSmtIdentifier(pattern.state) + '_active';
+        const reqVar = this.toSmtIdentifier(pattern.requirement);
+        // 状態が有効なら要件が成り立つ
+        return `(=> ${stateVar} ${reqVar})`;
+    }
+    /**
+     * Unwantedパターンのアサーション生成
+     */
+    generateUnwantedAssertion(pattern) {
+        const behaviorVar = this.toSmtIdentifier(pattern.requirement);
+        // 禁止動作は発生しない
+        return `(not ${behaviorVar})`;
+    }
+    /**
+     * Optionalパターンのアサーション生成
+     */
+    generateOptionalAssertion(pattern) {
+        const conditionVar = this.toSmtIdentifier(pattern.condition) + '_holds';
+        const reqVar = this.toSmtIdentifier(pattern.requirement);
+        // 条件が成り立つなら要件が成り立つ
+        return `(=> ${conditionVar} ${reqVar})`;
+    }
+    /**
+     * SMT-LIB2スクリプトを組み立て
+     */
+    buildSmtLib2(declarations, assertions) {
+        const lines = [];
+        // ヘッダー
+        lines.push('; Generated by MUSUBIX EarsToSmtConverter');
+        lines.push('; EARS to SMT-LIB2 conversion');
+        lines.push('');
+        lines.push('(set-logic ALL)');
+        lines.push('');
+        // 宣言
+        lines.push('; Variable declarations');
+        for (const decl of declarations) {
+            if (decl.description) {
+                lines.push(`; ${decl.description}`);
+            }
+            lines.push(`(declare-const ${decl.name} ${decl.type})`);
+        }
+        lines.push('');
+        // アサーション
+        lines.push('; Assertions');
+        for (const assertion of assertions) {
+            lines.push(`(assert ${assertion})`);
+        }
+        lines.push('');
+        // チェック
+        lines.push('; Check satisfiability');
+        lines.push('(check-sat)');
+        return lines.join('\n');
+    }
+    /**
+     * 文字列をSMT識別子に変換
+     */
+    toSmtIdentifier(text) {
+        return text
+            .toLowerCase()
+            .replace(/[^a-z0-9_]/g, '_')
+            .replace(/_+/g, '_')
+            .replace(/^_|_$/g, '')
+            .substring(0, 50); // 長すぎる識別子を切り詰め
+    }
+    /**
+     * 適用されたルールを取得
+     */
+    getAppliedRules(patternType) {
+        const rules = {
+            'ubiquitous': ['system-active-implies-requirement'],
+            'event-driven': ['event-triggers-response'],
+            'state-driven': ['state-maintains-requirement'],
+            'unwanted': ['behavior-negation'],
+            'optional': ['condition-implies-requirement'],
+        };
+        return rules[patternType] ?? [];
+    }
+    /**
+     * サポートされているパターンタイプを取得
+     */
+    getSupportedPatterns() {
+        return ['ubiquitous', 'event-driven', 'state-driven', 'unwanted', 'optional'];
+    }
+    /**
+     * パターンのサンプルを取得
+     */
+    getPatternExamples() {
+        return {
+            'ubiquitous': 'THE system SHALL validate all user inputs',
+            'event-driven': 'WHEN user clicks submit, THE system SHALL save the data',
+            'state-driven': 'WHILE user is logged in, THE system SHALL display the dashboard',
+            'unwanted': 'THE system SHALL NOT expose sensitive data in logs',
+            'optional': 'IF payment amount exceeds 10000, THEN THE system SHALL require additional verification',
+        };
+    }
+}
+//# sourceMappingURL=EarsToSmtConverter.js.map

package/dist/converters/EarsToSmtConverter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"EarsToSmtConverter.js","sourceRoot":"","sources":["../../src/converters/EarsToSmtConverter.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAWH;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,OAAO,kBAAkB;IACZ,OAAO,CAAoB;IAE5C,YAAY,UAA6B,EAAE;QACzC,IAAI,CAAC,OAAO,GAAG;YACb,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,KAAK;YAC/B,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,IAAI;YACtC,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,EAAE;YACtC,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,KAAK;SAC9B,CAAC;IACJ,CAAC;IAED;;;;;OAKG;IACH,OAAO,CAAC,eAAuB;QAC7B,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAa,EAAE,CAAC;QAE9B,IAAI,CAAC;YACH,iBAAiB;YACjB,MAAM,OAAO,GAAG,IAAI,CAAC,gBAAgB,CAAC,eAAe,CAAC,CAAC;YAEvD,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO;oBACL,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,2EAA2E;oBAClF,QAAQ;oBACR,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;iBACjC,CAAC;YACJ,CAAC;YAED,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;gBACvB,OAAO,CAAC,GAAG,CAAC,sCAAsC,EAAE,OAAO,CAAC,CAAC;YAC/D,CAAC;YAED,WAAW;YACX,MAAM,SAAS,GAAG,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;YAEjD,cAAc;YACd,MAAM,YAAY,GAAG,IAAI,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAC;YAE1D,kBAAkB;YAClB,MAAM,UAAU,GAAG,IAAI,CAAC,kBAAkB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;YAE9D,wBAAwB;YACxB,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;YAE5D,MAAM,OAAO,GAAe;gBAC1B,OAAO;gBACP,YAAY;gBACZ,UAAU;gBACV,QAAQ,EAAE;oBACR,WAAW,EAAE,OAAO;oBACpB,mBAAmB,EAAE,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC;oBACvD,QAAQ;iBACT;aACF,CAAC;YAEF,OAAO;gBACL,OAAO,EAAE,IAAI;gBACb,OAAO;gBACP,QAAQ;gBACR,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;aACjC,CAAC;QACJ,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;gBAC7D,QAAQ;gBACR,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;aACjC,CAAC;QACJ,CAAC;IACH,CAAC;IAED;;OAEG;IACH,eAAe,CAAC,gBAA0B;QACxC,OAAO,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;IACxD,CAAC;IAED;;OAEG;IACH,gBAAgB,CAAC,WAAmB;QAClC,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC;QAEtC,wEAAwE;QACxE,MAAM,gBAAgB,GAAG,UAAU,CAAC,KAAK,CACvC,gDAAgD,CACjD,CAAC;QACF,IAAI,gBAAgB,EAAE,CAAC;YACrB,OAAO;gBACL,IAAI,EAAE,cAAc;gBACpB,QAAQ,EAAE,UAAU;gBACpB,KAAK,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;gBACjC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;gBAClC,WAAW,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;aACxC,CAAC;QACJ,CAAC;QAED,yEAAyE;QACzE,MAAM,gBAAgB,GAAG,UAAU,CAAC,KAAK,CACvC,iDAAiD,CAClD,CAAC;QACF,IAAI,gBAAgB,EAAE,CAAC;YACrB,OAAO;gBACL,IAAI,EAAE,cAAc;gBACpB,QAAQ,EAAE,UAAU;gBACpB,KAAK,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;gBACjC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;gBAClC,WAAW,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;aACxC,CAAC;QACJ,CAAC;QAED,2EAA2E;QAC3E,MAAM,aAAa,GAAG,UAAU,CAAC,KAAK,CACpC,qDAAqD,CACtD,CAAC;QACF,IAAI,aAAa,EAAE,CAAC;YAClB,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,UAAU;gBACpB,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;gBAClC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;gBAC/B,WAAW,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;aACrC,CAAC;QACJ,CAAC;QAED,0DAA0D;QAC1D,MAAM,aAAa,GAAG,UAAU,CAAC,KAAK,CACpC,qCAAqC,CACtC,CAAC;QACF,IAAI,aAAa,EAAE,CAAC;YAClB,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,UAAU;gBACpB,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;gBAC/B,WAAW,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;gBACpC,OAAO,EAAE,IAAI;aACd,CAAC;QACJ,CAAC;QAED,2DAA2D;QAC3D,MAAM,eAAe,GAAG,UAAU,CAAC,KAAK,CACtC,+BAA+B,CAChC,CAAC;QACF,IAAI,eAAe,EAAE,CAAC;YACpB,OAAO;gBACL,IAAI,EAAE,YAAY;gBAClB,QAAQ,EAAE,UAAU;gBACpB,MAAM,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;gBACjC,WAAW,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;aACvC,CAAC;QACJ,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACK,gBAAgB,CAAC,OAAoB;QAC3C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC5C,MAAM,OAAO,GAAG;YACd,OAAO,CAAC,WAAW;YACnB,OAAO,CAAC,KAAK;YACb,OAAO,CAAC,KAAK;YACb,OAAO,CAAC,SAAS;SAClB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAE5B,iBAAiB;QACjB,oCAAoC;QACpC,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,iDAAiD,CAAC,CAAC;QACnF,IAAI,SAAS,EAAE,CAAC;YACd,SAAS,CAAC,GAAG,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC;YACtC,SAAS,CAAC,GAAG,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;QACrC,CAAC;QAED,gBAAgB;QAChB,gCAAgC;QAChC,MAAM,iBAAiB,GAAG,OAAO,CAAC,QAAQ,CAAC,2BAA2B,CAAC,CAAC;QACxE,KAAK,MAAM,KAAK,IAAI,iBAAiB,EAAE,CAAC;YACtC,MAAM,OAAO,GAAG,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/C,SAAS,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAChC,CAAC;QAED,WAAW;QACX,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,SAAS,EAAE,MAAM,CAAC,CAAC;QAExE,mBAAmB;QACnB,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;YAClB,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,WAAW,EAAE,MAAM,CAAC,CAAC;QAC3E,CAAC;QACD,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;YAClB,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,SAAS,EAAE,MAAM,CAAC,CAAC;QACzE,CAAC;QACD,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;YACtB,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC5E,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;OAEG;IACK,oBAAoB,CAAC,SAA8B;QACzD,MAAM,YAAY,GAAqB,EAAE,CAAC;QAE1C,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,SAAS,EAAE,CAAC;YACrC,gBAAgB;YAChB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;YACzD,YAAY,CAAC,IAAI,CAAC;gBAChB,IAAI;gBACJ,IAAI,EAAE,OAAO;gBACb,WAAW,EAAE,wCAAwC;aACtD,CAAC,CAAC;QACL,CAAC;QAED,OAAO,YAAY,CAAC;IACtB,CAAC;IAED;;OAEG;IACK,kBAAkB,CAAC,OAAoB,EAAE,QAAkB;QACjE,MAAM,UAAU,GAAa,EAAE,CAAC;QAEhC,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;YACrB,KAAK,YAAY;gBACf,+BAA+B;gBAC/B,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,2BAA2B,CAAC,OAAO,CAAC,CAAC,CAAC;gBAC3D,MAAM;YAER,KAAK,cAAc;gBACjB,oCAAoC;gBACpC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,4BAA4B,CAAC,OAAO,CAAC,CAAC,CAAC;gBAC5D,MAAM;YAER,KAAK,cAAc;gBACjB,mCAAmC;gBACnC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,4BAA4B,CAAC,OAAO,CAAC,CAAC,CAAC;gBAC5D,MAAM;YAER,KAAK,UAAU;gBACb,kBAAkB;gBAClB,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,yBAAyB,CAAC,OAAO,CAAC,CAAC,CAAC;gBACzD,MAAM;YAER,KAAK,UAAU;gBACb,gCAAgC;gBAChC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,yBAAyB,CAAC,OAAO,CAAC,CAAC,CAAC;gBACzD,MAAM;YAER;gBACE,QAAQ,CAAC,IAAI,CAAC,yBAAyB,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;QAC3D,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC;IAED;;OAEG;IACK,2BAA2B,CAAC,OAAoB;QACtD,MAAM,SAAS,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC;QACnE,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAEzD,sBAAsB;QACtB,OAAO,OAAO,SAAS,IAAI,MAAM,GAAG,CAAC;IACvC,CAAC;IAED;;OAEG;IACK,4BAA4B,CAAC,OAAoB;QACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,KAAM,CAAC,GAAG,WAAW,CAAC;QACpE,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAEzD,oBAAoB;QACpB,OAAO,OAAO,QAAQ,IAAI,MAAM,GAAG,CAAC;IACtC,CAAC;IAED;;OAEG;IACK,4BAA4B,CAAC,OAAoB;QACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,KAAM,CAAC,GAAG,SAAS,CAAC;QAClE,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAEzD,iBAAiB;QACjB,OAAO,OAAO,QAAQ,IAAI,MAAM,GAAG,CAAC;IACtC,CAAC;IAED;;OAEG;IACK,yBAAyB,CAAC,OAAoB;QACpD,MAAM,WAAW,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAE9D,aAAa;QACb,OAAO,QAAQ,WAAW,GAAG,CAAC;IAChC,CAAC;IAED;;OAEG;IACK,yBAAyB,CAAC,OAAoB;QACpD,MAAM,YAAY,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,SAAU,CAAC,GAAG,QAAQ,CAAC;QACzE,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAEzD,mBAAmB;QACnB,OAAO,OAAO,YAAY,IAAI,MAAM,GAAG,CAAC;IAC1C,CAAC;IAED;;OAEG;IACK,YAAY,CAClB,YAA8B,EAC9B,UAAoB;QAEpB,MAAM,KAAK,GAAa,EAAE,CAAC;QAE3B,OAAO;QACP,KAAK,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;QACxD,KAAK,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;QAC5C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,KAAK;QACL,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;QACtC,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;YAChC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACrB,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;YACtC,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,kBAAkB,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;QAC1D,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,SAAS;QACT,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC3B,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC,WAAW,SAAS,GAAG,CAAC,CAAC;QACtC,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,OAAO;QACP,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;QACrC,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAE1B,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED;;OAEG;IACK,eAAe,CAAC,IAAY;QAClC,OAAO,IAAI;aACR,WAAW,EAAE;aACb,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC;aAC3B,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;aACnB,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC;aACrB,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,eAAe;IACtC,CAAC;IAED;;OAEG;IACK,eAAe,CAAC,WAA4B;QAClD,MAAM,KAAK,GAAsC;YAC/C,YAAY,EAAE,CAAC,mCAAmC,CAAC;YACnD,cAAc,EAAE,CAAC,yBAAyB,CAAC;YAC3C,cAAc,EAAE,CAAC,6BAA6B,CAAC;YAC/C,UAAU,EAAE,CAAC,mBAAmB,CAAC;YACjC,UAAU,EAAE,CAAC,+BAA+B,CAAC;SAC9C,CAAC;QAEF,OAAO,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;IAClC,CAAC;IAED;;OAEG;IACH,oBAAoB;QAClB,OAAO,CAAC,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IAChF,CAAC;IAED;;OAEG;IACH,kBAAkB;QAChB,OAAO;YACL,YAAY,EAAE,2CAA2C;YACzD,cAAc,EAAE,yDAAyD;YACzE,cAAc,EAAE,iEAAiE;YACjF,UAAU,EAAE,oDAAoD;YAChE,UAAU,EAAE,wFAAwF;SACrG,CAAC;IACJ,CAAC;CACF"}

package/dist/converters/index.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Converters Module Exports
+ */
+export { EarsToSmtConverter } from './EarsToSmtConverter.js';
+export type { EarsPatternType, EarsPattern, SmtFormula, SmtDeclaration, ConversionResult, ConversionOptions, TransformationRule, } from './types.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/converters/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/converters/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,YAAY,EACV,eAAe,EACf,WAAW,EACX,UAAU,EACV,cAAc,EACd,gBAAgB,EAChB,iBAAiB,EACjB,kBAAkB,GACnB,MAAM,YAAY,CAAC"}

package/dist/converters/index.js

@@ -0,0 +1,5 @@
+/**
+ * Converters Module Exports
+ */
+export { EarsToSmtConverter } from './EarsToSmtConverter.js';
+//# sourceMappingURL=index.js.map

package/dist/converters/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/converters/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC"}

package/dist/converters/types.d.ts

@@ -0,0 +1,103 @@
+/**
+ * Converter Types
+ *
+ * EARS→SMT変換の型定義
+ */
+/**
+ * EARSパターンタイプ
+ */
+export type EarsPatternType = 'ubiquitous' | 'event-driven' | 'state-driven' | 'unwanted' | 'optional';
+/**
+ * EARSパターン解析結果
+ */
+export interface EarsPattern {
+    /** パターンタイプ */
+    type: EarsPatternType;
+    /** 原文 */
+    original: string;
+    /** システム名 */
+    system: string;
+    /** 要件/応答 */
+    requirement: string;
+    /** イベント（event-drivenの場合） */
+    event?: string;
+    /** 状態（state-drivenの場合） */
+    state?: string;
+    /** 条件（optionalの場合） */
+    condition?: string;
+    /** 否定フラグ（unwantedの場合） */
+    negated?: boolean;
+}
+/**
+ * SMT論理式
+ */
+export interface SmtFormula {
+    /** SMT-LIB2形式の文字列 */
+    smtLib2: string;
+    /** 変数宣言 */
+    declarations: SmtDeclaration[];
+    /** アサーション */
+    assertions: string[];
+    /** メタデータ */
+    metadata: {
+        /** 元のEARSパターン */
+        earsPattern: EarsPattern;
+        /** 変換に使用したルール */
+        transformationRules: string[];
+        /** 警告 */
+        warnings: string[];
+    };
+}
+/**
+ * SMT変数宣言
+ */
+export interface SmtDeclaration {
+    /** 変数名 */
+    name: string;
+    /** SMT型 */
+    type: string;
+    /** 説明 */
+    description?: string;
+}
+/**
+ * 変換結果
+ */
+export interface ConversionResult {
+    /** 成功フラグ */
+    success: boolean;
+    /** SMT論理式（成功時） */
+    formula?: SmtFormula;
+    /** エラーメッセージ（失敗時） */
+    error?: string;
+    /** 警告メッセージ */
+    warnings: string[];
+    /** 変換時間（ミリ秒） */
+    duration: number;
+}
+/**
+ * 変換オプション
+ */
+export interface ConversionOptions {
+    /** 厳密モード（警告をエラーとして扱う） */
+    strict?: boolean;
+    /** 変数の型推論を有効にする */
+    inferTypes?: boolean;
+    /** カスタム変数型マッピング */
+    typeMapping?: Record<string, string>;
+    /** デバッグ出力 */
+    debug?: boolean;
+}
+/**
+ * 変換ルール
+ */
+export interface TransformationRule {
+    /** ルール名 */
+    name: string;
+    /** 適用対象のパターンタイプ */
+    patternTypes: EarsPatternType[];
+    /** 変換関数 */
+    transform: (pattern: EarsPattern) => string;
+    /** 優先度（高いほど先に適用） */
+    priority: number;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/converters/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/converters/types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH;;GAEG;AACH,MAAM,MAAM,eAAe,GACvB,YAAY,GACZ,cAAc,GACd,cAAc,GACd,UAAU,GACV,UAAU,CAAC;AAEf;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,cAAc;IACd,IAAI,EAAE,eAAe,CAAC;IACtB,SAAS;IACT,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY;IACZ,MAAM,EAAE,MAAM,CAAC;IACf,YAAY;IACZ,WAAW,EAAE,MAAM,CAAC;IACpB,4BAA4B;IAC5B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,0BAA0B;IAC1B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,sBAAsB;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,yBAAyB;IACzB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,qBAAqB;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW;IACX,YAAY,EAAE,cAAc,EAAE,CAAC;IAC/B,aAAa;IACb,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,YAAY;IACZ,QAAQ,EAAE;QACR,iBAAiB;QACjB,WAAW,EAAE,WAAW,CAAC;QACzB,iBAAiB;QACjB,mBAAmB,EAAE,MAAM,EAAE,CAAC;QAC9B,SAAS;QACT,QAAQ,EAAE,MAAM,EAAE,CAAC;KACpB,CAAC;CACH;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,UAAU;IACV,IAAI,EAAE,MAAM,CAAC;IACb,WAAW;IACX,IAAI,EAAE,MAAM,CAAC;IACb,SAAS;IACT,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,YAAY;IACZ,OAAO,EAAE,OAAO,CAAC;IACjB,kBAAkB;IAClB,OAAO,CAAC,EAAE,UAAU,CAAC;IACrB,oBAAoB;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,cAAc;IACd,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,gBAAgB;IAChB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,yBAAyB;IACzB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,mBAAmB;IACnB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,mBAAmB;IACnB,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACrC,aAAa;IACb,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,WAAW;IACX,IAAI,EAAE,MAAM,CAAC;IACb,mBAAmB;IACnB,YAAY,EAAE,eAAe,EAAE,CAAC;IAChC,WAAW;IACX,SAAS,EAAE,CAAC,OAAO,EAAE,WAAW,KAAK,MAAM,CAAC;IAC5C,oBAAoB;IACpB,QAAQ,EAAE,MAAM,CAAC;CAClB"}