@nahisaho/musubix-formal-verify 1.7.5

package/dist/converters/types.js

@@ -0,0 +1,7 @@
+/**
+ * Converter Types
+ *
+ * EARS→SMT変換の型定義
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/converters/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/converters/types.ts"],"names":[],"mappings":"AAAA;;;;GAIG"}

package/dist/index.d.ts

@@ -0,0 +1,22 @@
+/**
+ * @nahisaho/musubix-formal-verify
+ *
+ * MUSUBIX v1.7.5 Formal Verification Edition
+ * 形式検証ツールパッケージ
+ *
+ * @packageDocumentation
+ */
+export { Z3Adapter } from './z3/Z3Adapter.js';
+export { Z3WasmClient } from './z3/Z3WasmClient.js';
+export { Z3ProcessFallback } from './z3/Z3ProcessFallback.js';
+export type { Z3Client, Z3Result, Z3Options } from './z3/types.js';
+export { PreconditionVerifier } from './verifiers/PreconditionVerifier.js';
+export { PostconditionVerifier } from './verifiers/PostconditionVerifier.js';
+export type { VerificationResult, VerificationOptions, Condition, VariableDeclaration } from './verifiers/types.js';
+export { EarsToSmtConverter } from './converters/EarsToSmtConverter.js';
+export type { EarsPattern, SmtFormula, ConversionResult } from './converters/types.js';
+export { TraceabilityDB } from './traceability/TraceabilityDB.js';
+export { ImpactAnalyzer } from './traceability/ImpactAnalyzer.js';
+export type { TraceLink, TraceLinkType, ImpactResult, TraceNode } from './traceability/types.js';
+export { verifyPreconditionTool, verifyPostconditionTool, earsToSmtTool, traceAddLinkTool, traceQueryTool, traceImpactTool, formalVerifyTools, getFormalVerifyTools, handleFormalVerifyTool, } from './tools/index.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAGnE,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAC3E,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAC7E,YAAY,EACV,kBAAkB,EAClB,mBAAmB,EACnB,SAAS,EACT,mBAAmB,EACpB,MAAM,sBAAsB,CAAC;AAG9B,OAAO,EAAE,kBAAkB,EAAE,MAAM,oCAAoC,CAAC;AACxE,YAAY,EACV,WAAW,EACX,UAAU,EACV,gBAAgB,EACjB,MAAM,uBAAuB,CAAC;AAG/B,OAAO,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAC;AAClE,OAAO,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAC;AAClE,YAAY,EACV,SAAS,EACT,aAAa,EACb,YAAY,EACZ,SAAS,EACV,MAAM,yBAAyB,CAAC;AAGjC,OAAO,EACL,sBAAsB,EACtB,uBAAuB,EACvB,aAAa,EACb,gBAAgB,EAChB,cAAc,EACd,eAAe,EACf,iBAAiB,EACjB,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,kBAAkB,CAAC"}

package/dist/index.js

@@ -0,0 +1,23 @@
+/**
+ * @nahisaho/musubix-formal-verify
+ *
+ * MUSUBIX v1.7.5 Formal Verification Edition
+ * 形式検証ツールパッケージ
+ *
+ * @packageDocumentation
+ */
+// Z3 Integration
+export { Z3Adapter } from './z3/Z3Adapter.js';
+export { Z3WasmClient } from './z3/Z3WasmClient.js';
+export { Z3ProcessFallback } from './z3/Z3ProcessFallback.js';
+// Verifiers
+export { PreconditionVerifier } from './verifiers/PreconditionVerifier.js';
+export { PostconditionVerifier } from './verifiers/PostconditionVerifier.js';
+// Converters
+export { EarsToSmtConverter } from './converters/EarsToSmtConverter.js';
+// Traceability
+export { TraceabilityDB } from './traceability/TraceabilityDB.js';
+export { ImpactAnalyzer } from './traceability/ImpactAnalyzer.js';
+// MCP Tools
+export { verifyPreconditionTool, verifyPostconditionTool, earsToSmtTool, traceAddLinkTool, traceQueryTool, traceImpactTool, formalVerifyTools, getFormalVerifyTools, handleFormalVerifyTool, } from './tools/index.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,iBAAiB;AACjB,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAG9D,YAAY;AACZ,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAC3E,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAQ7E,aAAa;AACb,OAAO,EAAE,kBAAkB,EAAE,MAAM,oCAAoC,CAAC;AAOxE,eAAe;AACf,OAAO,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAC;AAClE,OAAO,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAC;AAQlE,YAAY;AACZ,OAAO,EACL,sBAAsB,EACtB,uBAAuB,EACvB,aAAa,EACb,gBAAgB,EAChB,cAAc,EACd,eAAe,EACf,iBAAiB,EACjB,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,kBAAkB,CAAC"}

package/dist/tools/formal-verify-tools.d.ts

@@ -0,0 +1,60 @@
+/**
+ * Formal Verify MCP Tools
+ *
+ * Tools for formal verification, EARS-to-SMT conversion, and traceability.
+ */
+import type { Tool } from '@modelcontextprotocol/sdk/types.js';
+/**
+ * Tool: verify_precondition
+ * Verifies preconditions using Z3 SMT solver
+ */
+export declare const verifyPreconditionTool: Tool;
+/**
+ * Tool: verify_postcondition
+ * Verifies Hoare triples {P} C {Q}
+ */
+export declare const verifyPostconditionTool: Tool;
+/**
+ * Tool: ears_to_smt
+ * Converts EARS requirements to SMT-LIB2 formulas
+ */
+export declare const earsToSmtTool: Tool;
+/**
+ * Tool: trace_add_link
+ * Adds a traceability link between artifacts
+ */
+export declare const traceAddLinkTool: Tool;
+/**
+ * Tool: trace_query
+ * Queries the traceability database
+ */
+export declare const traceQueryTool: Tool;
+/**
+ * Tool: trace_impact
+ * Analyzes change impact
+ */
+export declare const traceImpactTool: Tool;
+/**
+ * All formal verify tools
+ */
+export declare const formalVerifyTools: Tool[];
+/**
+ * Get all formal verify tools
+ */
+export declare function getFormalVerifyTools(): Tool[];
+/**
+ * Tool result type
+ */
+interface ToolResult {
+    content: Array<{
+        type: string;
+        text: string;
+    }>;
+    isError?: boolean;
+}
+/**
+ * Handle formal verify tool calls
+ */
+export declare function handleFormalVerifyTool(toolName: string, args: Record<string, unknown>): Promise<ToolResult>;
+export {};
+//# sourceMappingURL=formal-verify-tools.d.ts.map

package/dist/tools/formal-verify-tools.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"formal-verify-tools.d.ts","sourceRoot":"","sources":["../../src/tools/formal-verify-tools.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,oCAAoC,CAAC;AAE/D;;;GAGG;AACH,eAAO,MAAM,sBAAsB,EAAE,IA6BpC,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,uBAAuB,EAAE,IAqCrC,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,aAAa,EAAE,IAqB3B,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,gBAAgB,EAAE,IA0B9B,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,cAAc,EAAE,IA2B5B,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,eAAe,EAAE,IAsB7B,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,iBAAiB,EAAE,IAAI,EAOnC,CAAC;AAEF;;GAEG;AACH,wBAAgB,oBAAoB,IAAI,IAAI,EAAE,CAE7C;AAED;;GAEG;AACH,UAAU,UAAU;IAClB,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/C,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED;;GAEG;AACH,wBAAsB,sBAAsB,CAC1C,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC5B,OAAO,CAAC,UAAU,CAAC,CA4BrB"}

package/dist/tools/formal-verify-tools.js

@@ -0,0 +1,371 @@
+/**
+ * Formal Verify MCP Tools
+ *
+ * Tools for formal verification, EARS-to-SMT conversion, and traceability.
+ */
+/**
+ * Tool: verify_precondition
+ * Verifies preconditions using Z3 SMT solver
+ */
+export const verifyPreconditionTool = {
+    name: 'verify_precondition',
+    description: 'Verify a precondition expression using Z3 SMT solver. Checks if the precondition is satisfiable or unsatisfiable.',
+    inputSchema: {
+        type: 'object',
+        properties: {
+            expression: {
+                type: 'string',
+                description: 'The precondition expression to verify (e.g., "x > 0 && y >= 0")',
+            },
+            variables: {
+                type: 'array',
+                items: {
+                    type: 'object',
+                    properties: {
+                        name: { type: 'string', description: 'Variable name' },
+                        type: { type: 'string', enum: ['Int', 'Real', 'Bool'], description: 'Variable type' },
+                    },
+                    required: ['name', 'type'],
+                },
+                description: 'Variables used in the expression',
+            },
+            id: {
+                type: 'string',
+                description: 'Optional identifier for the precondition',
+            },
+        },
+        required: ['expression'],
+    },
+};
+/**
+ * Tool: verify_postcondition
+ * Verifies Hoare triples {P} C {Q}
+ */
+export const verifyPostconditionTool = {
+    name: 'verify_postcondition',
+    description: 'Verify a Hoare triple {P} C {Q} using Z3 SMT solver. Checks if the postcondition Q holds after executing C when precondition P is satisfied.',
+    inputSchema: {
+        type: 'object',
+        properties: {
+            precondition: {
+                type: 'string',
+                description: 'The precondition P (e.g., "x >= 0")',
+            },
+            transition: {
+                type: 'string',
+                description: 'The transition/command C as a logical formula (e.g., "x_next == x + 1")',
+            },
+            postcondition: {
+                type: 'string',
+                description: 'The postcondition Q to verify (e.g., "x_next > 0")',
+            },
+            variables: {
+                type: 'array',
+                items: {
+                    type: 'object',
+                    properties: {
+                        name: { type: 'string', description: 'Variable name' },
+                        type: { type: 'string', enum: ['Int', 'Real', 'Bool'], description: 'Variable type' },
+                    },
+                    required: ['name', 'type'],
+                },
+                description: 'Variables used in the expressions',
+            },
+            id: {
+                type: 'string',
+                description: 'Optional identifier for the verification',
+            },
+        },
+        required: ['precondition', 'transition', 'postcondition'],
+    },
+};
+/**
+ * Tool: ears_to_smt
+ * Converts EARS requirements to SMT-LIB2 formulas
+ */
+export const earsToSmtTool = {
+    name: 'ears_to_smt',
+    description: 'Convert an EARS (Easy Approach to Requirements Syntax) requirement to SMT-LIB2 formula for formal verification.',
+    inputSchema: {
+        type: 'object',
+        properties: {
+            requirement: {
+                type: 'string',
+                description: 'The EARS requirement text (e.g., "THE system SHALL validate all user inputs")',
+            },
+            options: {
+                type: 'object',
+                properties: {
+                    strict: { type: 'boolean', description: 'Enable strict parsing mode' },
+                    inferTypes: { type: 'boolean', description: 'Infer variable types automatically' },
+                },
+                description: 'Conversion options',
+            },
+        },
+        required: ['requirement'],
+    },
+};
+/**
+ * Tool: trace_add_link
+ * Adds a traceability link between artifacts
+ */
+export const traceAddLinkTool = {
+    name: 'trace_add_link',
+    description: 'Add a traceability link between two artifacts (requirements, designs, code, tests).',
+    inputSchema: {
+        type: 'object',
+        properties: {
+            source: {
+                type: 'string',
+                description: 'Source artifact ID (e.g., "DES-001")',
+            },
+            target: {
+                type: 'string',
+                description: 'Target artifact ID (e.g., "REQ-001")',
+            },
+            linkType: {
+                type: 'string',
+                enum: ['satisfies', 'implements', 'verifies', 'derives', 'refines', 'depends'],
+                description: 'Type of traceability link',
+            },
+            description: {
+                type: 'string',
+                description: 'Optional description of the link',
+            },
+        },
+        required: ['source', 'target', 'linkType'],
+    },
+};
+/**
+ * Tool: trace_query
+ * Queries the traceability database
+ */
+export const traceQueryTool = {
+    name: 'trace_query',
+    description: 'Query the traceability database to find artifacts and their relationships.',
+    inputSchema: {
+        type: 'object',
+        properties: {
+            nodeType: {
+                type: 'string',
+                enum: ['requirement', 'design', 'code', 'test', 'task'],
+                description: 'Filter by artifact type',
+            },
+            linkedTo: {
+                type: 'string',
+                description: 'Find artifacts linked to this ID',
+            },
+            titlePattern: {
+                type: 'string',
+                description: 'Filter by title pattern (SQL LIKE syntax)',
+            },
+            linkType: {
+                type: 'string',
+                enum: ['satisfies', 'implements', 'verifies', 'derives', 'refines', 'depends'],
+                description: 'Filter by link type',
+            },
+        },
+        required: [],
+    },
+};
+/**
+ * Tool: trace_impact
+ * Analyzes change impact
+ */
+export const traceImpactTool = {
+    name: 'trace_impact',
+    description: 'Analyze the impact of changing an artifact. Returns all affected artifacts with impact scores.',
+    inputSchema: {
+        type: 'object',
+        properties: {
+            nodeId: {
+                type: 'string',
+                description: 'ID of the artifact to analyze (e.g., "REQ-001")',
+            },
+            maxDepth: {
+                type: 'number',
+                description: 'Maximum depth to traverse (default: 5)',
+            },
+            direction: {
+                type: 'string',
+                enum: ['forward', 'reverse', 'both'],
+                description: 'Direction of impact analysis',
+            },
+        },
+        required: ['nodeId'],
+    },
+};
+/**
+ * All formal verify tools
+ */
+export const formalVerifyTools = [
+    verifyPreconditionTool,
+    verifyPostconditionTool,
+    earsToSmtTool,
+    traceAddLinkTool,
+    traceQueryTool,
+    traceImpactTool,
+];
+/**
+ * Get all formal verify tools
+ */
+export function getFormalVerifyTools() {
+    return formalVerifyTools;
+}
+/**
+ * Handle formal verify tool calls
+ */
+export async function handleFormalVerifyTool(toolName, args) {
+    try {
+        switch (toolName) {
+            case 'verify_precondition':
+                return await handleVerifyPrecondition(args);
+            case 'verify_postcondition':
+                return await handleVerifyPostcondition(args);
+            case 'ears_to_smt':
+                return await handleEarsToSmt(args);
+            case 'trace_add_link':
+                return await handleTraceAddLink(args);
+            case 'trace_query':
+                return await handleTraceQuery(args);
+            case 'trace_impact':
+                return await handleTraceImpact(args);
+            default:
+                return {
+                    content: [{ type: 'text', text: `Unknown tool: ${toolName}` }],
+                    isError: true,
+                };
+        }
+    }
+    catch (error) {
+        const message = error instanceof Error ? error.message : String(error);
+        return {
+            content: [{ type: 'text', text: `Error: ${message}` }],
+            isError: true,
+        };
+    }
+}
+// Handler implementations (placeholder - will be connected to actual implementations)
+async function handleVerifyPrecondition(args) {
+    const expression = args.expression;
+    const variables = args.variables;
+    const id = args.id;
+    // Placeholder implementation
+    const result = {
+        id: id || 'PRE-' + Date.now(),
+        expression,
+        variables: variables || [],
+        status: 'placeholder',
+        message: 'Z3 integration pending - will verify precondition when connected',
+    };
+    return {
+        content: [{ type: 'text', text: JSON.stringify(result, null, 2) }],
+    };
+}
+async function handleVerifyPostcondition(args) {
+    const precondition = args.precondition;
+    const transition = args.transition;
+    const postcondition = args.postcondition;
+    const variables = args.variables;
+    const id = args.id;
+    // Placeholder implementation
+    const result = {
+        id: id || 'POST-' + Date.now(),
+        hoareTriple: { P: precondition, C: transition, Q: postcondition },
+        variables: variables || [],
+        status: 'placeholder',
+        message: 'Z3 integration pending - will verify Hoare triple when connected',
+    };
+    return {
+        content: [{ type: 'text', text: JSON.stringify(result, null, 2) }],
+    };
+}
+async function handleEarsToSmt(args) {
+    const requirement = args.requirement;
+    const options = args.options;
+    // Placeholder implementation - detect EARS pattern
+    let pattern = 'unknown';
+    if (requirement.includes('SHALL NOT')) {
+        pattern = 'unwanted';
+    }
+    else if (requirement.startsWith('WHEN') || requirement.includes('WHEN ')) {
+        pattern = 'event-driven';
+    }
+    else if (requirement.startsWith('WHILE') || requirement.includes('WHILE ')) {
+        pattern = 'state-driven';
+    }
+    else if (requirement.startsWith('IF') || requirement.includes('IF ')) {
+        pattern = 'optional';
+    }
+    else if (requirement.includes('SHALL')) {
+        pattern = 'ubiquitous';
+    }
+    const result = {
+        requirement,
+        pattern,
+        options: options || {},
+        status: 'placeholder',
+        smtLib2: '; SMT-LIB2 conversion pending',
+        message: 'Full EARS-to-SMT conversion will be available when connected',
+    };
+    return {
+        content: [{ type: 'text', text: JSON.stringify(result, null, 2) }],
+    };
+}
+async function handleTraceAddLink(args) {
+    const source = args.source;
+    const target = args.target;
+    const linkType = args.linkType;
+    const description = args.description;
+    // Placeholder implementation
+    const result = {
+        link: {
+            id: `LINK-${Date.now()}`,
+            source,
+            target,
+            type: linkType,
+            description,
+            createdAt: new Date().toISOString(),
+        },
+        status: 'placeholder',
+        message: 'TraceabilityDB integration pending - link will be persisted when connected',
+    };
+    return {
+        content: [{ type: 'text', text: JSON.stringify(result, null, 2) }],
+    };
+}
+async function handleTraceQuery(args) {
+    const nodeType = args.nodeType;
+    const linkedTo = args.linkedTo;
+    const titlePattern = args.titlePattern;
+    // Placeholder implementation
+    const result = {
+        query: { nodeType, linkedTo, titlePattern },
+        results: [],
+        count: 0,
+        status: 'placeholder',
+        message: 'TraceabilityDB integration pending - query will return results when connected',
+    };
+    return {
+        content: [{ type: 'text', text: JSON.stringify(result, null, 2) }],
+    };
+}
+async function handleTraceImpact(args) {
+    const nodeId = args.nodeId;
+    const maxDepth = args.maxDepth;
+    const direction = args.direction;
+    // Placeholder implementation
+    const result = {
+        sourceNode: nodeId,
+        maxDepth: maxDepth || 5,
+        direction: direction || 'forward',
+        impactedNodes: [],
+        totalAffected: 0,
+        status: 'placeholder',
+        message: 'ImpactAnalyzer integration pending - impact analysis will be available when connected',
+    };
+    return {
+        content: [{ type: 'text', text: JSON.stringify(result, null, 2) }],
+    };
+}
+//# sourceMappingURL=formal-verify-tools.js.map

package/dist/tools/formal-verify-tools.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formal-verify-tools.js","sourceRoot":"","sources":["../../src/tools/formal-verify-tools.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAS;IAC1C,IAAI,EAAE,qBAAqB;IAC3B,WAAW,EAAE,mHAAmH;IAChI,WAAW,EAAE;QACX,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE;YACV,UAAU,EAAE;gBACV,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,iEAAiE;aAC/E;YACD,SAAS,EAAE;gBACT,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE;oBACL,IAAI,EAAE,QAAQ;oBACd,UAAU,EAAE;wBACV,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,eAAe,EAAE;wBACtD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,WAAW,EAAE,eAAe,EAAE;qBACtF;oBACD,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC;iBAC3B;gBACD,WAAW,EAAE,kCAAkC;aAChD;YACD,EAAE,EAAE;gBACF,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,0CAA0C;aACxD;SACF;QACD,QAAQ,EAAE,CAAC,YAAY,CAAC;KACzB;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAS;IAC3C,IAAI,EAAE,sBAAsB;IAC5B,WAAW,EAAE,8IAA8I;IAC3J,WAAW,EAAE;QACX,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE;YACV,YAAY,EAAE;gBACZ,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,qCAAqC;aACnD;YACD,UAAU,EAAE;gBACV,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,yEAAyE;aACvF;YACD,aAAa,EAAE;gBACb,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,oDAAoD;aAClE;YACD,SAAS,EAAE;gBACT,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE;oBACL,IAAI,EAAE,QAAQ;oBACd,UAAU,EAAE;wBACV,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,eAAe,EAAE;wBACtD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,WAAW,EAAE,eAAe,EAAE;qBACtF;oBACD,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC;iBAC3B;gBACD,WAAW,EAAE,mCAAmC;aACjD;YACD,EAAE,EAAE;gBACF,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,0CAA0C;aACxD;SACF;QACD,QAAQ,EAAE,CAAC,cAAc,EAAE,YAAY,EAAE,eAAe,CAAC;KAC1D;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAAS;IACjC,IAAI,EAAE,aAAa;IACnB,WAAW,EAAE,iHAAiH;IAC9H,WAAW,EAAE;QACX,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE;YACV,WAAW,EAAE;gBACX,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,+EAA+E;aAC7F;YACD,OAAO,EAAE;gBACP,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE;oBACV,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,4BAA4B,EAAE;oBACtE,UAAU,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,oCAAoC,EAAE;iBACnF;gBACD,WAAW,EAAE,oBAAoB;aAClC;SACF;QACD,QAAQ,EAAE,CAAC,aAAa,CAAC;KAC1B;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAS;IACpC,IAAI,EAAE,gBAAgB;IACtB,WAAW,EAAE,qFAAqF;IAClG,WAAW,EAAE;QACX,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE;YACV,MAAM,EAAE;gBACN,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,sCAAsC;aACpD;YACD,MAAM,EAAE;gBACN,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,sCAAsC;aACpD;YACD,QAAQ,EAAE;gBACR,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,CAAC,WAAW,EAAE,YAAY,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,CAAC;gBAC9E,WAAW,EAAE,2BAA2B;aACzC;YACD,WAAW,EAAE;gBACX,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,kCAAkC;aAChD;SACF;QACD,QAAQ,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,UAAU,CAAC;KAC3C;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAS;IAClC,IAAI,EAAE,aAAa;IACnB,WAAW,EAAE,4EAA4E;IACzF,WAAW,EAAE;QACX,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE;YACV,QAAQ,EAAE;gBACR,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,CAAC,aAAa,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC;gBACvD,WAAW,EAAE,yBAAyB;aACvC;YACD,QAAQ,EAAE;gBACR,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,kCAAkC;aAChD;YACD,YAAY,EAAE;gBACZ,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,2CAA2C;aACzD;YACD,QAAQ,EAAE;gBACR,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,CAAC,WAAW,EAAE,YAAY,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,CAAC;gBAC9E,WAAW,EAAE,qBAAqB;aACnC;SACF;QACD,QAAQ,EAAE,EAAE;KACb;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,eAAe,GAAS;IACnC,IAAI,EAAE,cAAc;IACpB,WAAW,EAAE,gGAAgG;IAC7G,WAAW,EAAE;QACX,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE;YACV,MAAM,EAAE;gBACN,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,iDAAiD;aAC/D;YACD,QAAQ,EAAE;gBACR,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,wCAAwC;aACtD;YACD,SAAS,EAAE;gBACT,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,MAAM,CAAC;gBACpC,WAAW,EAAE,8BAA8B;aAC5C;SACF;QACD,QAAQ,EAAE,CAAC,QAAQ,CAAC;KACrB;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAW;IACvC,sBAAsB;IACtB,uBAAuB;IACvB,aAAa;IACb,gBAAgB;IAChB,cAAc;IACd,eAAe;CAChB,CAAC;AAEF;;GAEG;AACH,MAAM,UAAU,oBAAoB;IAClC,OAAO,iBAAiB,CAAC;AAC3B,CAAC;AAUD;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,QAAgB,EAChB,IAA6B;IAE7B,IAAI,CAAC;QACH,QAAQ,QAAQ,EAAE,CAAC;YACjB,KAAK,qBAAqB;gBACxB,OAAO,MAAM,wBAAwB,CAAC,IAAI,CAAC,CAAC;YAC9C,KAAK,sBAAsB;gBACzB,OAAO,MAAM,yBAAyB,CAAC,IAAI,CAAC,CAAC;YAC/C,KAAK,aAAa;gBAChB,OAAO,MAAM,eAAe,CAAC,IAAI,CAAC,CAAC;YACrC,KAAK,gBAAgB;gBACnB,OAAO,MAAM,kBAAkB,CAAC,IAAI,CAAC,CAAC;YACxC,KAAK,aAAa;gBAChB,OAAO,MAAM,gBAAgB,CAAC,IAAI,CAAC,CAAC;YACtC,KAAK,cAAc;gBACjB,OAAO,MAAM,iBAAiB,CAAC,IAAI,CAAC,CAAC;YACvC;gBACE,OAAO;oBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,iBAAiB,QAAQ,EAAE,EAAE,CAAC;oBAC9D,OAAO,EAAE,IAAI;iBACd,CAAC;QACN,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACvE,OAAO;YACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,OAAO,EAAE,EAAE,CAAC;YACtD,OAAO,EAAE,IAAI;SACd,CAAC;IACJ,CAAC;AACH,CAAC;AAED,sFAAsF;AAEtF,KAAK,UAAU,wBAAwB,CAAC,IAA6B;IACnE,MAAM,UAAU,GAAG,IAAI,CAAC,UAAoB,CAAC;IAC7C,MAAM,SAAS,GAAG,IAAI,CAAC,SAA8D,CAAC;IACtF,MAAM,EAAE,GAAG,IAAI,CAAC,EAAwB,CAAC;IAEzC,6BAA6B;IAC7B,MAAM,MAAM,GAAG;QACb,EAAE,EAAE,EAAE,IAAI,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE;QAC7B,UAAU;QACV,SAAS,EAAE,SAAS,IAAI,EAAE;QAC1B,MAAM,EAAE,aAAa;QACrB,OAAO,EAAE,kEAAkE;KAC5E,CAAC;IAEF,OAAO;QACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;KACnE,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,yBAAyB,CAAC,IAA6B;IACpE,MAAM,YAAY,GAAG,IAAI,CAAC,YAAsB,CAAC;IACjD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAoB,CAAC;IAC7C,MAAM,aAAa,GAAG,IAAI,CAAC,aAAuB,CAAC;IACnD,MAAM,SAAS,GAAG,IAAI,CAAC,SAA8D,CAAC;IACtF,MAAM,EAAE,GAAG,IAAI,CAAC,EAAwB,CAAC;IAEzC,6BAA6B;IAC7B,MAAM,MAAM,GAAG;QACb,EAAE,EAAE,EAAE,IAAI,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE;QAC9B,WAAW,EAAE,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,aAAa,EAAE;QACjE,SAAS,EAAE,SAAS,IAAI,EAAE;QAC1B,MAAM,EAAE,aAAa;QACrB,OAAO,EAAE,kEAAkE;KAC5E,CAAC;IAEF,OAAO;QACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;KACnE,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,eAAe,CAAC,IAA6B;IAC1D,MAAM,WAAW,GAAG,IAAI,CAAC,WAAqB,CAAC;IAC/C,MAAM,OAAO,GAAG,IAAI,CAAC,OAAiE,CAAC;IAEvF,mDAAmD;IACnD,IAAI,OAAO,GAAG,SAAS,CAAC;IACxB,IAAI,WAAW,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QACtC,OAAO,GAAG,UAAU,CAAC;IACvB,CAAC;SAAM,IAAI,WAAW,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3E,OAAO,GAAG,cAAc,CAAC;IAC3B,CAAC;SAAM,IAAI,WAAW,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,WAAW,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7E,OAAO,GAAG,cAAc,CAAC;IAC3B,CAAC;SAAM,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACvE,OAAO,GAAG,UAAU,CAAC;IACvB,CAAC;SAAM,IAAI,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QACzC,OAAO,GAAG,YAAY,CAAC;IACzB,CAAC;IAED,MAAM,MAAM,GAAG;QACb,WAAW;QACX,OAAO;QACP,OAAO,EAAE,OAAO,IAAI,EAAE;QACtB,MAAM,EAAE,aAAa;QACrB,OAAO,EAAE,+BAA+B;QACxC,OAAO,EAAE,8DAA8D;KACxE,CAAC;IAEF,OAAO;QACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;KACnE,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,kBAAkB,CAAC,IAA6B;IAC7D,MAAM,MAAM,GAAG,IAAI,CAAC,MAAgB,CAAC;IACrC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAgB,CAAC;IACrC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAkB,CAAC;IACzC,MAAM,WAAW,GAAG,IAAI,CAAC,WAAiC,CAAC;IAE3D,6BAA6B;IAC7B,MAAM,MAAM,GAAG;QACb,IAAI,EAAE;YACJ,EAAE,EAAE,QAAQ,IAAI,CAAC,GAAG,EAAE,EAAE;YACxB,MAAM;YACN,MAAM;YACN,IAAI,EAAE,QAAQ;YACd,WAAW;YACX,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACpC;QACD,MAAM,EAAE,aAAa;QACrB,OAAO,EAAE,4EAA4E;KACtF,CAAC;IAEF,OAAO;QACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;KACnE,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,gBAAgB,CAAC,IAA6B;IAC3D,MAAM,QAAQ,GAAG,IAAI,CAAC,QAA8B,CAAC;IACrD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAA8B,CAAC;IACrD,MAAM,YAAY,GAAG,IAAI,CAAC,YAAkC,CAAC;IAE7D,6BAA6B;IAC7B,MAAM,MAAM,GAAG;QACb,KAAK,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE;QAC3C,OAAO,EAAE,EAAE;QACX,KAAK,EAAE,CAAC;QACR,MAAM,EAAE,aAAa;QACrB,OAAO,EAAE,+EAA+E;KACzF,CAAC;IAEF,OAAO;QACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;KACnE,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,iBAAiB,CAAC,IAA6B;IAC5D,MAAM,MAAM,GAAG,IAAI,CAAC,MAAgB,CAAC;IACrC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAA8B,CAAC;IACrD,MAAM,SAAS,GAAG,IAAI,CAAC,SAA+B,CAAC;IAEvD,6BAA6B;IAC7B,MAAM,MAAM,GAAG;QACb,UAAU,EAAE,MAAM;QAClB,QAAQ,EAAE,QAAQ,IAAI,CAAC;QACvB,SAAS,EAAE,SAAS,IAAI,SAAS;QACjC,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,CAAC;QAChB,MAAM,EAAE,aAAa;QACrB,OAAO,EAAE,uFAAuF;KACjG,CAAC;IAEF,OAAO;QACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;KACnE,CAAC;AACJ,CAAC"}

package/dist/tools/index.d.ts

@@ -0,0 +1,5 @@
+/**
+ * Formal Verify Tools - Module Exports
+ */
+export { verifyPreconditionTool, verifyPostconditionTool, earsToSmtTool, traceAddLinkTool, traceQueryTool, traceImpactTool, formalVerifyTools, getFormalVerifyTools, handleFormalVerifyTool, } from './formal-verify-tools.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/tools/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,sBAAsB,EACtB,uBAAuB,EACvB,aAAa,EACb,gBAAgB,EAChB,cAAc,EACd,eAAe,EACf,iBAAiB,EACjB,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,0BAA0B,CAAC"}

package/dist/tools/index.js

@@ -0,0 +1,5 @@
+/**
+ * Formal Verify Tools - Module Exports
+ */
+export { verifyPreconditionTool, verifyPostconditionTool, earsToSmtTool, traceAddLinkTool, traceQueryTool, traceImpactTool, formalVerifyTools, getFormalVerifyTools, handleFormalVerifyTool, } from './formal-verify-tools.js';
+//# sourceMappingURL=index.js.map

package/dist/tools/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/tools/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,sBAAsB,EACtB,uBAAuB,EACvB,aAAa,EACb,gBAAgB,EAChB,cAAc,EACd,eAAe,EACf,iBAAiB,EACjB,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,0BAA0B,CAAC"}

package/dist/traceability/ImpactAnalyzer.d.ts

@@ -0,0 +1,103 @@
+/**
+ * Impact Analyzer
+ *
+ * 変更の影響範囲を分析するクラス
+ */
+import type { TraceabilityDB } from './TraceabilityDB.js';
+import type { ImpactResult, TraceNodeType, TraceLinkType } from './types.js';
+/**
+ * 影響分析オプション
+ */
+export interface ImpactAnalysisOptions {
+    /** 最大分析深度 */
+    maxDepth?: number;
+    /** 追跡するリンクタイプ */
+    linkTypes?: TraceLinkType[];
+    /** 分析対象のノードタイプ */
+    nodeTypes?: TraceNodeType[];
+    /** 影響度の減衰率（深さごと） */
+    decayRate?: number;
+    /** 最小影響度のしきい値 */
+    minImpactScore?: number;
+}
+/**
+ * 影響分析器
+ *
+ * トレーサビリティDBを使用して、特定のノードが変更された場合の
+ * 影響範囲を分析します。
+ *
+ * @example
+ * ```typescript
+ * const db = new TraceabilityDB('./trace.db');
+ * const analyzer = new ImpactAnalyzer(db);
+ *
+ * // REQ-001が変更された場合の影響分析
+ * const impact = await analyzer.analyze('REQ-001');
+ *
+ * console.log(`影響を受けるノード: ${impact.totalImpacted}件`);
+ * for (const node of impact.impactedNodes) {
+ *   console.log(`- ${node.id}: 影響度 ${node.impactScore}`);
+ * }
+ * ```
+ */
+export declare class ImpactAnalyzer {
+    private readonly db;
+    constructor(db: TraceabilityDB);
+    /**
+     * 影響分析を実行
+     *
+     * @param sourceId - 変更の起点となるノードID
+     * @param options - 分析オプション
+     * @returns 影響分析結果
+     */
+    analyze(sourceId: string, options?: ImpactAnalysisOptions): Promise<ImpactResult>;
+    /**
+     * 逆方向の影響分析（依存元を探す）
+     *
+     * @param targetId - 調査対象のノードID
+     * @param options - 分析オプション
+     */
+    analyzeReverse(targetId: string, options?: ImpactAnalysisOptions): Promise<ImpactResult>;
+    /**
+     * カバレッジ分析
+     *
+     * 要件がどの程度テストでカバーされているかを分析
+     */
+    analyzeCoverage(requirementType?: TraceNodeType, testType?: TraceNodeType): Promise<CoverageResult>;
+    /**
+     * 循環依存を検出
+     */
+    detectCycles(): Promise<string[][]>;
+    /**
+     * DFSで循環を検出
+     */
+    private detectCyclesDFS;
+    /**
+     * 出力リンクを取得
+     */
+    private getOutgoingLinks;
+    /**
+     * 入力リンクを取得
+     */
+    private getIncomingLinks;
+}
+/**
+ * カバレッジ分析結果
+ */
+export interface CoverageResult {
+    /** 総要件数 */
+    totalRequirements: number;
+    /** カバーされた要件数 */
+    coveredRequirements: number;
+    /** カバーされていない要件数 */
+    uncoveredRequirements: number;
+    /** カバレッジ率 */
+    coveragePercentage: number;
+    /** カバーされた要件のID */
+    covered: string[];
+    /** カバーされていない要件のID */
+    uncovered: string[];
+    /** 総テスト数 */
+    totalTests: number;
+}
+//# sourceMappingURL=ImpactAnalyzer.d.ts.map

package/dist/traceability/ImpactAnalyzer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ImpactAnalyzer.d.ts","sourceRoot":"","sources":["../../src/traceability/ImpactAnalyzer.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,KAAK,EACV,YAAY,EAEZ,aAAa,EACb,aAAa,EACd,MAAM,YAAY,CAAC;AAEpB;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,aAAa;IACb,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,iBAAiB;IACjB,SAAS,CAAC,EAAE,aAAa,EAAE,CAAC;IAC5B,kBAAkB;IAClB,SAAS,CAAC,EAAE,aAAa,EAAE,CAAC;IAC5B,oBAAoB;IACpB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,iBAAiB;IACjB,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,qBAAa,cAAc;IACzB,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAiB;gBAExB,EAAE,EAAE,cAAc;IAI9B;;;;;;OAMG;IACG,OAAO,CACX,QAAQ,EAAE,MAAM,EAChB,OAAO,GAAE,qBAA0B,GAClC,OAAO,CAAC,YAAY,CAAC;IAuGxB;;;;;OAKG;IACG,cAAc,CAClB,QAAQ,EAAE,MAAM,EAChB,OAAO,GAAE,qBAA0B,GAClC,OAAO,CAAC,YAAY,CAAC;IAqFxB;;;;OAIG;IACG,eAAe,CACnB,eAAe,GAAE,aAA6B,EAC9C,QAAQ,GAAE,aAAsB,GAC/B,OAAO,CAAC,cAAc,CAAC;IAmC1B;;OAEG;IACG,YAAY,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;IAqBzC;;OAEG;YACW,eAAe;IA4B7B;;OAEG;YACW,gBAAgB;IAe9B;;OAEG;YACW,gBAAgB;CAc/B;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,WAAW;IACX,iBAAiB,EAAE,MAAM,CAAC;IAC1B,gBAAgB;IAChB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,mBAAmB;IACnB,qBAAqB,EAAE,MAAM,CAAC;IAC9B,aAAa;IACb,kBAAkB,EAAE,MAAM,CAAC;IAC3B,kBAAkB;IAClB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,qBAAqB;IACrB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,YAAY;IACZ,UAAU,EAAE,MAAM,CAAC;CACpB"}