@specverse/engines 4.1.0

package/dist/inference/quint-transpiler.js

@@ -0,0 +1,433 @@
+/**
+ * Quint → TypeScript Transpiler
+ *
+ * Transpiles Quint `pure def` functions and `val` invariants into
+ * TypeScript guard functions for runtime validation.
+ *
+ * Handles a subset of Quint syntax:
+ * - pure def name(params): type = { body }
+ * - val name: bool = expression
+ * - if/else expressions
+ * - and/or/not/implies operators
+ * - comparison operators (==, !=, >=, <=, >, <)
+ * - arithmetic (+, -, *, /, %)
+ * - forall/exists quantifiers (transpiled to .every/.some)
+ * - set operations (.contains, .size, .filter, .map, .union)
+ */
+import { readFileSync, existsSync, readdirSync } from 'fs';
+import { join } from 'path';
+/**
+ * Transpile all Quint files from entity modules into TypeScript guards.
+ */
+export function transpileEntityGuards(entitiesDir) {
+    const guards = [];
+    for (const category of ['core', 'extensions']) {
+        const categoryDir = join(entitiesDir, category);
+        if (!existsSync(categoryDir))
+            continue;
+        for (const entity of readdirSync(categoryDir)) {
+            const behaviourDir = join(categoryDir, entity, 'behaviour');
+            if (!existsSync(behaviourDir))
+                continue;
+            for (const file of readdirSync(behaviourDir).filter(f => f.endsWith('.qnt'))) {
+                const filePath = join(behaviourDir, file);
+                const content = readFileSync(filePath, 'utf8');
+                const fileGuards = transpileQuintFile(content, entity, file);
+                guards.push(...fileGuards);
+            }
+        }
+    }
+    return guards;
+}
+/**
+ * Transpile a single Quint file into TypeScript guards.
+ */
+export function transpileQuintFile(content, entity, filename) {
+    const guards = [];
+    const lines = content.split('\n');
+    const moduleName = extractModuleName(content) || entity;
+    let i = 0;
+    while (i < lines.length) {
+        const line = lines[i].trim();
+        // Match: pure def name(params): returnType = {
+        const pureDef = line.match(/^pure\s+def\s+(\w+)\(([^)]*)\)\s*:\s*(\w+)\s*=\s*\{/);
+        if (pureDef) {
+            const [, name, params, returnType] = pureDef;
+            const body = extractBlock(lines, i);
+            const tsParams = transpileParams(params);
+            const tsReturn = mapType(returnType);
+            const tsBody = transpileBody(body);
+            guards.push({
+                name,
+                kind: 'function',
+                quint: `pure def ${name}(${params}): ${returnType} = { ${body} }`,
+                typescript: `export function ${name}(${tsParams}): ${tsReturn} {\n  ${tsBody}\n}`,
+                module: moduleName,
+                entity,
+            });
+            i = skipBlock(lines, i);
+            continue;
+        }
+        // Match: val name: bool = expression (single line or multiline)
+        const valDef = line.match(/^val\s+(\w+)\s*:\s*bool\s*=\s*$/);
+        if (valDef) {
+            // Multiline val — collect until we find a line that's not indented
+            const [, name] = valDef;
+            let body = '';
+            i++;
+            while (i < lines.length && (lines[i].startsWith('    ') || lines[i].trim() === '')) {
+                body += lines[i].trim() + ' ';
+                i++;
+            }
+            const tsBody = transpileExpression(body.trim());
+            guards.push({
+                name,
+                kind: 'invariant',
+                quint: `val ${name}: bool = ${body.trim()}`,
+                typescript: `export function check_${name}(data: any): boolean {\n  return ${tsBody};\n}`,
+                module: moduleName,
+                entity,
+            });
+            continue;
+        }
+        // Match: val name: bool = single-line-expression
+        const valDefSingle = line.match(/^val\s+(\w+)\s*:\s*bool\s*=\s*(.+)$/);
+        if (valDefSingle) {
+            const [, name, expr] = valDefSingle;
+            const tsExpr = transpileExpression(expr.trim());
+            guards.push({
+                name,
+                kind: 'invariant',
+                quint: `val ${name}: bool = ${expr}`,
+                typescript: `export function check_${name}(data: any): boolean {\n  return ${tsExpr};\n}`,
+                module: moduleName,
+                entity,
+            });
+        }
+        i++;
+    }
+    return guards;
+}
+/**
+ * Generate a TypeScript guards module from transpiled guards.
+ */
+export function generateGuardsModule(guards) {
+    if (guards.length === 0)
+        return '// No guards generated\nexport {};\n';
+    const functions = guards.filter(g => g.kind === 'function');
+    const invariants = guards.filter(g => g.kind === 'invariant');
+    const lines = [
+        '/**',
+        ' * Runtime Guards — Transpiled from Quint Specifications',
+        ' *',
+        ' * These functions are automatically generated from the formal Quint invariants',
+        ' * and pure functions defined in the entity modules. They provide runtime',
+        ' * validation that mirrors the formal specification.',
+        ' *',
+        ` * Source: ${guards.length} guards from ${new Set(guards.map(g => g.entity)).size} entity modules`,
+        ' * Generated by: @specverse/engine-inference quint-transpiler',
+        ' */',
+        '',
+    ];
+    // Group by entity
+    const byEntity = new Map();
+    for (const g of guards) {
+        if (!byEntity.has(g.entity))
+            byEntity.set(g.entity, []);
+        byEntity.get(g.entity).push(g);
+    }
+    for (const [entity, entityGuards] of byEntity) {
+        lines.push(`// ═══════════════════════════════════════════════════`);
+        lines.push(`// ${entity} guards`);
+        lines.push(`// ═══════════════════════════════════════════════════`);
+        lines.push('');
+        for (const guard of entityGuards) {
+            lines.push(`/** ${guard.kind === 'function' ? 'Pure function' : 'Invariant'}: ${guard.name} (from ${guard.module}) */`);
+            lines.push(guard.typescript);
+            lines.push('');
+        }
+    }
+    return lines.join('\n');
+}
+/**
+ * Transpile Quint action definitions into async TypeScript methods.
+ *
+ * Quint actions follow the pattern:
+ *   action name(params): bool = all {
+ *     guard1,                          // → precondition check
+ *     guard2,                          // → precondition check
+ *     model' = { ...model, field: x }, // → prisma update
+ *     emit(EventName, payload),        // → event emission
+ *   }
+ */
+export function transpileActions(content, entity, filename) {
+    const actions = [];
+    const lines = content.split('\n');
+    const moduleName = extractModuleName(content) || entity;
+    let i = 0;
+    while (i < lines.length) {
+        const line = lines[i].trim();
+        // Match: action name(params): returnType = all {
+        const actionDef = line.match(/^action\s+(\w+)\(([^)]*)\)\s*:\s*\w+\s*=\s*all\s*\{/);
+        if (actionDef) {
+            const [, name, params] = actionDef;
+            // Skip inference actions (generate*, expand*, init, step)
+            if (/^(generate|expand|init$|step$)/.test(name)) {
+                i = skipBlock(lines, i);
+                continue;
+            }
+            const body = extractBlock(lines, i);
+            const action = transpileAction(name, params, body, moduleName, entity);
+            if (action)
+                actions.push(action);
+            i = skipBlock(lines, i);
+            continue;
+        }
+        i++;
+    }
+    return actions;
+}
+function transpileAction(name, params, body, moduleName, entity) {
+    const statements = splitActionStatements(body);
+    const guards = [];
+    const effects = [];
+    const events = [];
+    for (const stmt of statements) {
+        const trimmed = stmt.trim();
+        if (!trimmed)
+            continue;
+        // State update: model' = { ...model, field: value }
+        const updateMatch = trimmed.match(/^(\w+)'\s*=\s*\{\s*\.\.\.(\w+),\s*(.+)\}/);
+        if (updateMatch) {
+            const [, , , fieldsStr] = updateMatch;
+            const fields = parseFieldUpdates(fieldsStr);
+            effects.push(generatePrismaUpdate(entity, fields));
+            continue;
+        }
+        // State update: model' = model (no-op, skip)
+        if (trimmed.match(/^\w+'\s*=\s*\w+$/))
+            continue;
+        // Primed variable set union: collection' = collection.union(...)
+        if (trimmed.match(/^\w+'\s*=\s*\w+\.union/))
+            continue;
+        // Event emission: emit(EventName, { payload })
+        const emitMatch = trimmed.match(/^emit\((\w+),\s*\{([^}]*)\}\)/);
+        if (emitMatch) {
+            const [, eventName, payload] = emitMatch;
+            events.push(`    this.emit('${eventName}', { ${transpileExpression(payload)} });`);
+            continue;
+        }
+        // Boolean primed: fullyExpanded' = false (skip inference state)
+        if (trimmed.match(/^\w+'\s*=\s*(true|false)$/))
+            continue;
+        // Everything else is a guard condition
+        guards.push(trimmed);
+    }
+    // Generate TypeScript
+    const tsParams = transpileParams(params);
+    const tsGuards = guards.map(g => {
+        const tsExpr = transpileExpression(g);
+        return `    if (!(${tsExpr})) {\n      throw new Error('Guard failed: ${g.replace(/'/g, "\\'")}');\n    }`;
+    });
+    const tsEffects = effects;
+    const tsEvents = events;
+    const tsBody = [
+        ...(tsGuards.length > 0 ? ['    // === GUARDS ===', ...tsGuards, ''] : []),
+        ...(tsEffects.length > 0 ? ['    // === EFFECTS ===', ...tsEffects, ''] : []),
+        ...(tsEvents.length > 0 ? ['    // === EVENTS ===', ...tsEvents] : []),
+    ].join('\n');
+    const typescript = `  async ${name}(${tsParams}): Promise<void> {\n${tsBody}\n  }`;
+    return {
+        name,
+        params,
+        guards,
+        effects,
+        events,
+        quint: `action ${name}(${params}) = all { ... }`,
+        typescript,
+        module: moduleName,
+        entity,
+    };
+}
+function splitActionStatements(body) {
+    // Split on commas at the top level (not inside braces or parens)
+    const statements = [];
+    let current = '';
+    let depth = 0;
+    for (const char of body) {
+        if (char === '{' || char === '(')
+            depth++;
+        if (char === '}' || char === ')')
+            depth--;
+        if (char === ',' && depth === 0) {
+            statements.push(current.trim());
+            current = '';
+        }
+        else {
+            current += char;
+        }
+    }
+    if (current.trim())
+        statements.push(current.trim());
+    return statements;
+}
+function parseFieldUpdates(fieldsStr) {
+    const fields = [];
+    const parts = fieldsStr.split(',');
+    for (const part of parts) {
+        const match = part.trim().match(/(\w+)\s*:\s*(.+)/);
+        if (match) {
+            fields.push({ field: match[1], value: match[2].trim() });
+        }
+    }
+    return fields;
+}
+function generatePrismaUpdate(entity, fields) {
+    const dataEntries = fields.map(f => {
+        let val = f.value;
+        // Map Quint expressions to TypeScript
+        if (val === 'now()')
+            val = 'new Date()';
+        else if (val === 'true' || val === 'false')
+            val = val;
+        else if (/^\d+$/.test(val))
+            val = val;
+        else if (val.startsWith('"') || val.startsWith("'"))
+            val = val;
+        else
+            val = `'${val}'`; // Assume string literal for state names
+        return `${f.field}: ${val}`;
+    });
+    const modelVar = entity.charAt(0).toLowerCase() + entity.slice(1);
+    return `    await this.prisma.${modelVar}.update({\n      where: { id: params.id },\n      data: { ${dataEntries.join(', ')} },\n    });`;
+}
+/**
+ * Generate a TypeScript module from transpiled actions.
+ */
+export function generateActionsModule(actions) {
+    if (actions.length === 0)
+        return '';
+    const lines = [
+        '// ═══════════════════════════════════════════════════',
+        '// Business Logic Actions — Transpiled from Quint',
+        '// ═══════════════════════════════════════════════════',
+        '',
+    ];
+    for (const action of actions) {
+        lines.push(`  /** Action: ${action.name} (from ${action.module}) */`);
+        lines.push(action.typescript);
+        lines.push('');
+    }
+    return lines.join('\n');
+}
+// ─── Internal Helpers ────────────────────────────────────────────────
+function extractModuleName(content) {
+    const match = content.match(/module\s+(\w+)/);
+    return match ? match[1] : null;
+}
+function extractBlock(lines, startLine) {
+    let depth = 0;
+    let body = '';
+    let capturing = false;
+    for (let i = startLine; i < lines.length; i++) {
+        for (let j = 0; j < lines[i].length; j++) {
+            const char = lines[i][j];
+            if (char === '{') {
+                depth++;
+                if (depth === 1) {
+                    capturing = true;
+                    continue;
+                } // skip opening brace
+            }
+            if (char === '}') {
+                depth--;
+                if (depth === 0)
+                    return body.trim();
+            }
+            if (capturing && depth >= 1) {
+                body += char;
+            }
+        }
+        if (capturing && depth >= 1)
+            body += '\n';
+    }
+    return body.trim();
+}
+function skipBlock(lines, startLine) {
+    let depth = 0;
+    for (let i = startLine; i < lines.length; i++) {
+        for (const char of lines[i]) {
+            if (char === '{')
+                depth++;
+            if (char === '}')
+                depth--;
+            if (depth === 0 && i > startLine)
+                return i + 1;
+        }
+    }
+    return lines.length;
+}
+function transpileParams(params) {
+    if (!params.trim())
+        return '';
+    return params.split(',').map(p => {
+        const [name, type] = p.trim().split(':').map(s => s.trim());
+        return `${name}: ${mapType(type)}`;
+    }).join(', ');
+}
+function mapType(quintType) {
+    switch (quintType?.trim()) {
+        case 'int': return 'number';
+        case 'str': return 'string';
+        case 'bool': return 'boolean';
+        case 'Set': return 'Set<any>';
+        default: return quintType || 'any';
+    }
+}
+function transpileBody(body) {
+    let ts = body;
+    // Strip the function signature line if present (pure def ... = {)
+    ts = ts.replace(/^pure\s+def\s+\w+\([^)]*\)\s*:\s*\w+\s*=\s*\{\s*/m, '');
+    // Remove trailing }
+    ts = ts.replace(/\}\s*$/, '');
+    // Normalize — join multiline into single line, collapse whitespace
+    ts = ts.replace(/\n/g, ' ').replace(/\s+/g, ' ').trim();
+    // Replace Quint operators with TypeScript
+    ts = ts.replace(/\band\b/g, '&&');
+    ts = ts.replace(/\bor\b/g, '||');
+    ts = ts.replace(/\bnot\b/g, '!');
+    // Clean up comments
+    ts = ts.replace(/\/\/.*?(?=\bif\b|\belse\b|$)/g, '');
+    // Replace if/else chains → ternary (from innermost out)
+    let prev = '';
+    let safety = 10;
+    while (ts !== prev && safety-- > 0) {
+        prev = ts;
+        // Match: if (cond) thenExpr else elseExpr
+        // thenExpr/elseExpr can be multi-word but stop at 'else' or end
+        ts = ts.replace(/if\s*\(([^)]+)\)\s+(.+?)\s+else\s+(.+?)(?=\s*;|\s*$)/g, '(($1) ? ($2) : ($3))');
+    }
+    return `return ${ts.trim()};`;
+}
+function transpileExpression(expr) {
+    let ts = expr;
+    // Quint operators → TypeScript
+    ts = ts.replace(/\band\b/g, '&&');
+    ts = ts.replace(/\bor\b/g, '||');
+    ts = ts.replace(/\bnot\b/g, '!');
+    // forall → .every
+    ts = ts.replace(/(\w+)\.forall\((\w+)\s*=>\s*/g, '$1.every(($2: any) => ');
+    // exists → .some
+    ts = ts.replace(/(\w+)\.exists\((\w+)\s*=>\s*/g, '$1.some(($2: any) => ');
+    // .size() → .length or .size
+    ts = ts.replace(/\.size\(\)/g, '.length');
+    // .contains → .includes (for arrays) or .has (for Sets)
+    ts = ts.replace(/\.contains\(/g, '.includes(');
+    // Set("a", "b") → ["a", "b"]
+    ts = ts.replace(/Set\(([^)]+)\)/g, '[$1]');
+    // != → !==, == → ===
+    ts = ts.replace(/([^!<>])==/g, '$1===');
+    ts = ts.replace(/!=/g, '!==');
+    return ts;
+}
+//# sourceMappingURL=quint-transpiler.js.map

package/dist/inference/quint-transpiler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"quint-transpiler.js","sourceRoot":"","sources":["../../src/inference/quint-transpiler.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,IAAI,CAAC;AAC3D,OAAO,EAAE,IAAI,EAAE,MAAM,MAAM,CAAC;AAW5B;;GAEG;AACH,MAAM,UAAU,qBAAqB,CAAC,WAAmB;IACvD,MAAM,MAAM,GAAsB,EAAE,CAAC;IAErC,KAAK,MAAM,QAAQ,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,CAAC;QAC9C,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;QAChD,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC;YAAE,SAAS;QAEvC,KAAK,MAAM,MAAM,IAAI,WAAW,CAAC,WAAW,CAAC,EAAE,CAAC;YAC9C,MAAM,YAAY,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;YAC5D,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC;gBAAE,SAAS;YAExC,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;gBAC7E,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;gBAC1C,MAAM,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;gBAC/C,MAAM,UAAU,GAAG,kBAAkB,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;gBAC7D,MAAM,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,OAAe,EAAE,MAAc,EAAE,QAAgB;IAClF,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,UAAU,GAAG,iBAAiB,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC;IAExD,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAE7B,+CAA+C;QAC/C,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,qDAAqD,CAAC,CAAC;QAClF,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,GAAG,OAAO,CAAC;YAC7C,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YACpC,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACzC,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;YACrC,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;YACnC,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,UAAU;gBAChB,KAAK,EAAE,YAAY,IAAI,IAAI,MAAM,MAAM,UAAU,QAAQ,IAAI,IAAI;gBACjE,UAAU,EAAE,mBAAmB,IAAI,IAAI,QAAQ,MAAM,QAAQ,SAAS,MAAM,KAAK;gBACjF,MAAM,EAAE,UAAU;gBAClB,MAAM;aACP,CAAC,CAAC;YACH,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YACxB,SAAS;QACX,CAAC;QAED,gEAAgE;QAChE,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,iCAAiC,CAAC,CAAC;QAC7D,IAAI,MAAM,EAAE,CAAC;YACX,mEAAmE;YACnE,MAAM,CAAC,EAAE,IAAI,CAAC,GAAG,MAAM,CAAC;YACxB,IAAI,IAAI,GAAG,EAAE,CAAC;YACd,CAAC,EAAE,CAAC;YACJ,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;gBACnF,IAAI,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC;gBAC9B,CAAC,EAAE,CAAC;YACN,CAAC;YACD,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YAChD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,OAAO,IAAI,YAAY,IAAI,CAAC,IAAI,EAAE,EAAE;gBAC3C,UAAU,EAAE,yBAAyB,IAAI,oCAAoC,MAAM,MAAM;gBACzF,MAAM,EAAE,UAAU;gBAClB,MAAM;aACP,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,iDAAiD;QACjD,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,qCAAqC,CAAC,CAAC;QACvE,IAAI,YAAY,EAAE,CAAC;YACjB,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,YAAY,CAAC;YACpC,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YAChD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,OAAO,IAAI,YAAY,IAAI,EAAE;gBACpC,UAAU,EAAE,yBAAyB,IAAI,oCAAoC,MAAM,MAAM;gBACzF,MAAM,EAAE,UAAU;gBAClB,MAAM;aACP,CAAC,CAAC;QACL,CAAC;QAED,CAAC,EAAE,CAAC;IACN,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAAC,MAAyB;IAC5D,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,sCAAsC,CAAC;IAEvE,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;IAC5D,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;IAE9D,MAAM,KAAK,GAAa;QACtB,KAAK;QACL,0DAA0D;QAC1D,IAAI;QACJ,iFAAiF;QACjF,2EAA2E;QAC3E,sDAAsD;QACtD,IAAI;QACJ,cAAc,MAAM,CAAC,MAAM,gBAAgB,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,iBAAiB;QACnG,+DAA+D;QAC/D,KAAK;QACL,EAAE;KACH,CAAC;IAEF,kBAAkB;IAClB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA6B,CAAC;IACtD,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QACxD,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC;IAED,KAAK,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,IAAI,QAAQ,EAAE,CAAC;QAC9C,KAAK,CAAC,IAAI,CAAC,wDAAwD,CAAC,CAAC;QACrE,KAAK,CAAC,IAAI,CAAC,MAAM,MAAM,SAAS,CAAC,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,wDAAwD,CAAC,CAAC;QACrE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;YACjC,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,WAAW,KAAK,KAAK,CAAC,IAAI,UAAU,KAAK,CAAC,MAAM,MAAM,CAAC,CAAC;YACxH,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;YAC7B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAgBD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAAe,EAAE,MAAc,EAAE,QAAgB;IAChF,MAAM,OAAO,GAAuB,EAAE,CAAC;IACvC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,UAAU,GAAG,iBAAiB,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC;IAExD,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAE7B,iDAAiD;QACjD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,qDAAqD,CAAC,CAAC;QACpF,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,SAAS,CAAC;YACnC,0DAA0D;YAC1D,IAAI,gCAAgC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChD,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;gBACxB,SAAS;YACX,CAAC;YAED,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YACpC,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;YACvE,IAAI,MAAM;gBAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACjC,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YACxB,SAAS;QACX,CAAC;QAED,CAAC,EAAE,CAAC;IACN,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,eAAe,CACtB,IAAY,EACZ,MAAc,EACd,IAAY,EACZ,UAAkB,EAClB,MAAc;IAEd,MAAM,UAAU,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAC/C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,CAAC,OAAO;YAAE,SAAS;QAEvB,oDAAoD;QACpD,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,0CAA0C,CAAC,CAAC;QAC9E,IAAI,WAAW,EAAE,CAAC;YAChB,MAAM,CAAC,EAAE,AAAD,EAAG,AAAD,EAAG,SAAS,CAAC,GAAG,WAAW,CAAC;YACtC,MAAM,MAAM,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC;YAC5C,OAAO,CAAC,IAAI,CAAC,oBAAoB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;YACnD,SAAS;QACX,CAAC;QAED,6CAA6C;QAC7C,IAAI,OAAO,CAAC,KAAK,CAAC,kBAAkB,CAAC;YAAE,SAAS;QAEhD,iEAAiE;QACjE,IAAI,OAAO,CAAC,KAAK,CAAC,wBAAwB,CAAC;YAAE,SAAS;QAEtD,+CAA+C;QAC/C,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC;QACjE,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,GAAG,SAAS,CAAC;YACzC,MAAM,CAAC,IAAI,CAAC,kBAAkB,SAAS,QAAQ,mBAAmB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACnF,SAAS;QACX,CAAC;QAED,gEAAgE;QAChE,IAAI,OAAO,CAAC,KAAK,CAAC,2BAA2B,CAAC;YAAE,SAAS;QAEzD,uCAAuC;QACvC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACvB,CAAC;IAED,sBAAsB;IACtB,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;QAC9B,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAC;QACtC,OAAO,aAAa,MAAM,8CAA8C,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,YAAY,CAAC;IAC7G,CAAC,CAAC,CAAC;IAEH,MAAM,SAAS,GAAG,OAAO,CAAC;IAC1B,MAAM,QAAQ,GAAG,MAAM,CAAC;IAExB,MAAM,MAAM,GAAG;QACb,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,uBAAuB,EAAE,GAAG,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,GAAG,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,wBAAwB,EAAE,GAAG,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7E,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,uBAAuB,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KACvE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,MAAM,UAAU,GAAG,WAAW,IAAI,IAAI,QAAQ,uBAAuB,MAAM,OAAO,CAAC;IAEnF,OAAO;QACL,IAAI;QACJ,MAAM;QACN,MAAM;QACN,OAAO;QACP,MAAM;QACN,KAAK,EAAE,UAAU,IAAI,IAAI,MAAM,iBAAiB;QAChD,UAAU;QACV,MAAM,EAAE,UAAU;QAClB,MAAM;KACP,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAY;IACzC,iEAAiE;IACjE,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,IAAI,KAAK,GAAG,CAAC,CAAC;IAEd,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;QAC1C,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;QAC1C,IAAI,IAAI,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAChC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;YAChC,OAAO,GAAG,EAAE,CAAC;QACf,CAAC;aAAM,CAAC;YACN,OAAO,IAAI,IAAI,CAAC;QAClB,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,EAAE;QAAE,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IACpD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,iBAAiB,CAAC,SAAiB;IAC1C,MAAM,MAAM,GAA4C,EAAE,CAAC;IAC3D,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;QACpD,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAc,EAAE,MAA+C;IAC3F,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;QACjC,IAAI,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC;QAClB,sCAAsC;QACtC,IAAI,GAAG,KAAK,OAAO;YAAE,GAAG,GAAG,YAAY,CAAC;aACnC,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,OAAO;YAAE,GAAG,GAAG,GAAG,CAAC;aACjD,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,GAAG,GAAG,GAAG,CAAC;aACjC,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,GAAG,GAAG,GAAG,CAAC;;YAC1D,GAAG,GAAG,IAAI,GAAG,GAAG,CAAC,CAAC,wCAAwC;QAC/D,OAAO,GAAG,CAAC,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAClE,OAAO,yBAAyB,QAAQ,6DAA6D,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC;AAC5I,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CAAC,OAA2B;IAC/D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEpC,MAAM,KAAK,GAAa;QACtB,wDAAwD;QACxD,mDAAmD;QACnD,wDAAwD;QACxD,EAAE;KACH,CAAC;IAEF,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,iBAAiB,MAAM,CAAC,IAAI,UAAU,MAAM,CAAC,MAAM,MAAM,CAAC,CAAC;QACtE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,wEAAwE;AAExE,SAAS,iBAAiB,CAAC,OAAe;IACxC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;IAC9C,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACjC,CAAC;AAED,SAAS,YAAY,CAAC,KAAe,EAAE,SAAiB;IACtD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,SAAS,GAAG,KAAK,CAAC;IAEtB,KAAK,IAAI,CAAC,GAAG,SAAS,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACzC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACzB,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;gBACjB,KAAK,EAAE,CAAC;gBACR,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;oBAAC,SAAS,GAAG,IAAI,CAAC;oBAAC,SAAS;gBAAC,CAAC,CAAC,qBAAqB;YACxE,CAAC;YACD,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;gBACjB,KAAK,EAAE,CAAC;gBACR,IAAI,KAAK,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC;YACtC,CAAC;YACD,IAAI,SAAS,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;gBAC5B,IAAI,IAAI,IAAI,CAAC;YACf,CAAC;QACH,CAAC;QACD,IAAI,SAAS,IAAI,KAAK,IAAI,CAAC;YAAE,IAAI,IAAI,IAAI,CAAC;IAC5C,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC;AACrB,CAAC;AAED,SAAS,SAAS,CAAC,KAAe,EAAE,SAAiB;IACnD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,SAAS,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9C,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5B,IAAI,IAAI,KAAK,GAAG;gBAAE,KAAK,EAAE,CAAC;YAC1B,IAAI,IAAI,KAAK,GAAG;gBAAE,KAAK,EAAE,CAAC;YAC1B,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS;gBAAE,OAAO,CAAC,GAAG,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,CAAC;AACtB,CAAC;AAED,SAAS,eAAe,CAAC,MAAc;IACrC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE;QAAE,OAAO,EAAE,CAAC;IAC9B,OAAO,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;QAC/B,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5D,OAAO,GAAG,IAAI,KAAK,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;IACrC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,SAAS,OAAO,CAAC,SAAiB;IAChC,QAAQ,SAAS,EAAE,IAAI,EAAE,EAAE,CAAC;QAC1B,KAAK,KAAK,CAAC,CAAC,OAAO,QAAQ,CAAC;QAC5B,KAAK,KAAK,CAAC,CAAC,OAAO,QAAQ,CAAC;QAC5B,KAAK,MAAM,CAAC,CAAC,OAAO,SAAS,CAAC;QAC9B,KAAK,KAAK,CAAC,CAAC,OAAO,UAAU,CAAC;QAC9B,OAAO,CAAC,CAAC,OAAO,SAAS,IAAI,KAAK,CAAC;IACrC,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,IAAY;IACjC,IAAI,EAAE,GAAG,IAAI,CAAC;IAEd,kEAAkE;IAClE,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,mDAAmD,EAAE,EAAE,CAAC,CAAC;IAEzE,oBAAoB;IACpB,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IAE9B,mEAAmE;IACnE,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAExD,0CAA0C;IAC1C,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAClC,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IACjC,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IAEjC,oBAAoB;IACpB,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,+BAA+B,EAAE,EAAE,CAAC,CAAC;IAErD,wDAAwD;IACxD,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,OAAO,EAAE,KAAK,IAAI,IAAI,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;QACnC,IAAI,GAAG,EAAE,CAAC;QACV,0CAA0C;QAC1C,gEAAgE;QAChE,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,uDAAuD,EAAE,sBAAsB,CAAC,CAAC;IACnG,CAAC;IAED,OAAO,UAAU,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC;AAChC,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAY;IACvC,IAAI,EAAE,GAAG,IAAI,CAAC;IAEd,+BAA+B;IAC/B,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAClC,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IACjC,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IAEjC,kBAAkB;IAClB,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,+BAA+B,EAAE,wBAAwB,CAAC,CAAC;IAE3E,iBAAiB;IACjB,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,+BAA+B,EAAE,uBAAuB,CAAC,CAAC;IAE1E,6BAA6B;IAC7B,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC;IAE1C,wDAAwD;IACxD,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,eAAe,EAAE,YAAY,CAAC,CAAC;IAE/C,6BAA6B;IAC7B,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAAC;IAE3C,qBAAqB;IACrB,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;IACxC,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAE9B,OAAO,EAAE,CAAC;AACZ,CAAC"}

package/dist/inference/test-harness.d.ts

@@ -0,0 +1,41 @@
+#!/usr/bin/env node
+/**
+ * Inference Engine Test Harness
+ *
+ * Validates all inference engine rules and exercises rule application
+ * to ensure templates compile correctly and rules apply without errors.
+ */
+declare class InferenceEngineTestHarness {
+    private rulesDir;
+    private errors;
+    private warnings;
+    private successes;
+    private quiet;
+    constructor();
+    /**
+     * Run comprehensive test suite
+     */
+    runTests(): Promise<void>;
+    /**
+     * Validate all rule files are properly formatted JSON
+     */
+    private validateRuleFiles;
+    /**
+     * Validate rule template syntax
+     */
+    private validateRuleTemplates;
+    /**
+     * Test rule condition evaluation
+     */
+    private testRuleConditions;
+    /**
+     * Test template compilation with sample data
+     */
+    private testTemplateCompilation;
+    /**
+     * Print test results
+     */
+    private printResults;
+}
+export { InferenceEngineTestHarness };
+//# sourceMappingURL=test-harness.d.ts.map

package/dist/inference/test-harness.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-harness.d.ts","sourceRoot":"","sources":["../../src/inference/test-harness.ts"],"names":[],"mappings":";AAEA;;;;;GAKG;AAiEH,cAAM,0BAA0B;IAC9B,OAAO,CAAC,QAAQ,CAAS;IACzB,OAAO,CAAC,MAAM,CAAgB;IAC9B,OAAO,CAAC,QAAQ,CAAgB;IAChC,OAAO,CAAC,SAAS,CAAgB;IACjC,OAAO,CAAC,KAAK,CAAkB;;IAQ/B;;OAEG;IACG,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC;IAkB/B;;OAEG;YACW,iBAAiB;IAiE/B;;OAEG;YACW,qBAAqB;IAmEnC;;OAEG;YACW,kBAAkB;IA6DhC;;OAEG;YACW,uBAAuB;IA6DrC;;OAEG;IACH,OAAO,CAAC,YAAY;CAyCrB;AAQD,OAAO,EAAE,0BAA0B,EAAE,CAAC"}