@orygn/opa-mcp 0.1.11 → 0.1.13

package/dist/lib/rego-smt-encoder.js

@@ -0,0 +1,499 @@
+/**
+ * Create Z3 constants for all input paths based on inferred sorts.
+ * Each constant name is prefixed with callId to ensure uniqueness across
+ * verification calls in the same Z3 singleton context.
+ */
+export function createInputVars(Z3, inputPaths, sorts, callId) {
+    const vars = new Map();
+    for (const path of inputPaths.keys()) {
+        const sort = sorts.get(path) ?? 'string';
+        const varName = `${callId}_${pathToVarName(path)}`;
+        switch (sort) {
+            case 'string':
+                vars.set(path, Z3.String.const(varName));
+                break;
+            case 'int':
+                vars.set(path, Z3.Int.const(varName));
+                break;
+            case 'bool':
+                vars.set(path, Z3.Bool.const(varName));
+                break;
+            case 'uninterpreted': {
+                // Declare a fresh uninterpreted sort per path; equality-only semantics.
+                const s = Z3.Sort.declare(varName + '_sort');
+                vars.set(path, Z3.Const(varName, s));
+                break;
+            }
+        }
+    }
+    return vars;
+}
+/**
+ * Encode a complete rule as a Z3 Bool formula.
+ * rule_formula = clause_0 OR clause_1 OR ... OR clause_n
+ */
+export function encodeRule(clauses, ctx) {
+    const { Z3 } = ctx;
+    const warnings = [];
+    const clauseFormulas = [];
+    for (const clause of clauses) {
+        const localVars = new Map();
+        const localSorts = new Map();
+        const clauseResult = encodeClause(clause, ctx, localVars, localSorts);
+        if (clauseResult.formula !== null) {
+            clauseFormulas.push(clauseResult.formula);
+        }
+        warnings.push(...clauseResult.warnings);
+    }
+    if (clauseFormulas.length === 0) {
+        return { formula: Z3.Bool.val(false), warnings };
+    }
+    if (clauseFormulas.length === 1) {
+        return { formula: clauseFormulas[0], warnings };
+    }
+    return { formula: Z3.Or(...clauseFormulas), warnings };
+}
+function encodeClause(clause, ctx, localVars, localSorts) {
+    const { Z3 } = ctx;
+    const warnings = [];
+    const conjuncts = [];
+    for (const expr of clause.expressions) {
+        if (expr.kind === 'unsupported')
+            continue; // engine skips these clauses already
+        const encoded = encodeExpr(expr, ctx, localVars, localSorts, warnings);
+        if (encoded !== null) {
+            conjuncts.push(encoded);
+        }
+    }
+    if (conjuncts.length === 0) {
+        // Empty body (no constraints) = always true.
+        return { formula: Z3.Bool.val(true), warnings };
+    }
+    if (conjuncts.length === 1) {
+        return { formula: conjuncts[0], warnings };
+    }
+    return { formula: Z3.And(...conjuncts), warnings };
+}
+function encodeExpr(expr, ctx, localVars, localSorts, warnings) {
+    const { Z3 } = ctx;
+    switch (expr.kind) {
+        case 'eq': {
+            const l = resolveValue(expr.left, ctx, localVars, localSorts, warnings);
+            const r = resolveValue(expr.right, ctx, localVars, localSorts, warnings);
+            if (l === null || r === null)
+                return null;
+            return Z3.Eq(l, r);
+        }
+        case 'neq': {
+            const l = resolveValue(expr.left, ctx, localVars, localSorts, warnings);
+            const r = resolveValue(expr.right, ctx, localVars, localSorts, warnings);
+            if (l === null || r === null)
+                return null;
+            return Z3.Not(Z3.Eq(l, r));
+        }
+        case 'gt': {
+            const l = resolveValue(expr.left, ctx, localVars, localSorts, warnings);
+            const r = resolveValue(expr.right, ctx, localVars, localSorts, warnings);
+            if (l === null || r === null)
+                return null;
+            return Z3.GT(l, r);
+        }
+        case 'gte': {
+            const l = resolveValue(expr.left, ctx, localVars, localSorts, warnings);
+            const r = resolveValue(expr.right, ctx, localVars, localSorts, warnings);
+            if (l === null || r === null)
+                return null;
+            return Z3.GE(l, r);
+        }
+        case 'lt': {
+            const l = resolveValue(expr.left, ctx, localVars, localSorts, warnings);
+            const r = resolveValue(expr.right, ctx, localVars, localSorts, warnings);
+            if (l === null || r === null)
+                return null;
+            return Z3.LT(l, r);
+        }
+        case 'lte': {
+            const l = resolveValue(expr.left, ctx, localVars, localSorts, warnings);
+            const r = resolveValue(expr.right, ctx, localVars, localSorts, warnings);
+            if (l === null || r === null)
+                return null;
+            return Z3.LE(l, r);
+        }
+        case 'startswith': {
+            const str = resolveValue(expr.str, ctx, localVars, localSorts, warnings);
+            const prefix = resolveValue(expr.prefix, ctx, localVars, localSorts, warnings);
+            if (str === null || prefix === null)
+                return null;
+            return prefix.prefixOf(str);
+        }
+        case 'endswith': {
+            const str = resolveValue(expr.str, ctx, localVars, localSorts, warnings);
+            const suffix = resolveValue(expr.suffix, ctx, localVars, localSorts, warnings);
+            if (str === null || suffix === null)
+                return null;
+            return suffix.suffixOf(str);
+        }
+        case 'contains': {
+            const str = resolveValue(expr.str, ctx, localVars, localSorts, warnings);
+            const sub = resolveValue(expr.sub, ctx, localVars, localSorts, warnings);
+            if (str === null || sub === null)
+                return null;
+            return str.contains(sub);
+        }
+        case 'regex_match': {
+            const str = resolveValue(expr.str, ctx, localVars, localSorts, warnings);
+            if (str === null)
+                return null;
+            if (expr.pattern.kind === 'literal_string') {
+                // Try cheap string predicates first: ^prefix.*, .*suffix$, .*sub.*, ^exact$
+                // These avoid Z3's InRe string theory which is extremely memory-intensive.
+                const simplified = tryRegexAsStringConstraint(Z3, str, expr.pattern.value);
+                if (simplified !== null)
+                    return simplified;
+                const re = compilePcreToZ3Re(Z3, expr.pattern.value);
+                return Z3.InRe(str, re);
+            }
+            // Variable pattern: fall back to literal match (approximate).
+            const pat = resolveValue(expr.pattern, ctx, localVars, localSorts, warnings);
+            if (pat === null)
+                return null;
+            warnings.push('regex_match with variable pattern uses literal string match approximation.');
+            const re = Z3.Re.toRe(pat);
+            return Z3.InRe(str, re);
+        }
+        case 'bool_check': {
+            const ref = resolveValue(expr.ref, ctx, localVars, localSorts, warnings);
+            if (ref === null)
+                return null;
+            // Treat as: ref == true
+            return Z3.Eq(ref, Z3.Bool.val(true));
+        }
+        case 'assign': {
+            // x := value → determine the sort from the RHS, create a correctly-typed
+            // local constant, then constrain it to equal the value.
+            const rhsSort = sortOfVerifyValue(expr.value, ctx, localSorts);
+            const val = resolveValue(expr.value, ctx, localVars, localSorts, warnings);
+            if (val === null)
+                return null;
+            const localConst = createLocalVar(Z3, expr.local, rhsSort, localVars, localSorts, ctx.callId);
+            return Z3.Eq(localConst, val);
+        }
+        case 'unsupported':
+            return null;
+    }
+}
+/**
+ * Return the Z3Sort for a VerifyValue without creating any Z3 expressions.
+ * Used to determine the sort of a local variable at assignment time.
+ */
+function sortOfVerifyValue(value, ctx, localSorts) {
+    switch (value.kind) {
+        case 'literal_string':
+            return 'string';
+        case 'literal_number':
+            return 'int';
+        case 'literal_bool':
+            return 'bool';
+        case 'literal_null':
+            return 'string'; // best-effort; null is untyped in Rego
+        case 'input_ref':
+            return ctx.sorts.get(value.path) ?? 'string';
+        case 'local_var':
+            return localSorts.get(value.name) ?? 'string';
+    }
+}
+/**
+ * Resolve a VerifyValue to a Z3 expression.
+ */
+function resolveValue(value, ctx, localVars, localSorts, warnings) {
+    const { Z3, inputVars } = ctx;
+    switch (value.kind) {
+        case 'input_ref': {
+            const v = inputVars.get(value.path);
+            if (v === undefined) {
+                warnings.push(`No Z3 variable for input path '${value.path}'.`);
+                return null;
+            }
+            return v;
+        }
+        case 'local_var': {
+            const v = localVars.get(value.name);
+            if (v !== undefined)
+                return v;
+            // Local referenced before its assign expression -- create with the sort
+            // recorded by a prior encodeExpr call, or default to string.
+            const sort = localSorts.get(value.name) ?? 'string';
+            return createLocalVar(Z3, value.name, sort, localVars, localSorts, ctx.callId);
+        }
+        case 'literal_string':
+            return Z3.String.val(value.value);
+        case 'literal_number':
+            return Z3.Int.val(value.value);
+        case 'literal_bool':
+            return Z3.Bool.val(value.value);
+        case 'literal_null':
+            warnings.push('null literal encoded as uninterpreted constant.');
+            return null;
+    }
+}
+/**
+ * Create a Z3 constant for a local variable with an explicitly-known sort.
+ * Caches it so subsequent references to the same local reuse the same constant.
+ * The callId prefix ensures names are unique across calls in the same Z3 context.
+ */
+function createLocalVar(Z3, name, sort, localVars, localSorts, callId) {
+    if (localVars.has(name))
+        return localVars.get(name);
+    const z3Name = `${callId}_${name}`;
+    let c;
+    switch (sort) {
+        case 'string':
+            c = Z3.String.const(z3Name);
+            break;
+        case 'int':
+            c = Z3.Int.const(z3Name);
+            break;
+        case 'bool':
+            c = Z3.Bool.const(z3Name);
+            break;
+        case 'uninterpreted': {
+            const s = Z3.Sort.declare(z3Name + '_sort');
+            c = Z3.Const(z3Name, s);
+            break;
+        }
+    }
+    localVars.set(name, c);
+    localSorts.set(name, sort);
+    return c;
+}
+/** Convert an input path like "input.user.role" to a valid Z3 var name. */
+export function pathToVarName(path) {
+    return path.replace(/\./g, '__');
+}
+/** Reconstruct a nested JSON object from flat Z3 var name → value pairs. */
+export function varNameToPath(varName) {
+    return varName.replace(/__/g, '.');
+}
+// ─── Regex simplifier ────────────────────────────────────────────────────────
+// Detects structurally simple patterns and maps them to cheap Z3 string
+// predicates (prefixOf / suffixOf / contains / Eq) before resorting to InRe.
+// InRe with Z3's string theory is correct but extremely memory-intensive in
+// WASM; the four common OPA regex idioms below can be handled without it.
+/** True if every char in s is a non-metacharacter (safe as a literal). */
+function isRegexLiteral(s) {
+    return s.length > 0 && !/[.+*?^${}()|[\]\\]/.test(s);
+}
+/**
+ * Try to encode a regex pattern as a cheap Z3 string predicate.
+ * Returns null if the pattern is too complex and InRe should be used.
+ *
+ * Handled idioms:
+ *   .*  / ^.*$ / ^.* / .*$   → Bool.val(true)  (matches any string)
+ *   ^lit$                     → Eq(str, lit)
+ *   ^lit.*                    → prefixOf(lit, str)
+ *   .*lit$                    → suffixOf(lit, str)
+ *   .*lit.*                   → contains(str, lit)
+ */
+function tryRegexAsStringConstraint(Z3, str, pattern) {
+    const hasStart = pattern.startsWith('^');
+    const hasEnd = pattern.endsWith('$') && !pattern.endsWith('\\$');
+    const core = pattern.slice(hasStart ? 1 : 0, hasEnd ? pattern.length - 1 : undefined);
+    // Pure wildcard: .* (with or without anchors) matches any string -- always true.
+    if (core === '.*') {
+        return Z3.Bool.val(true);
+    }
+    // ^lit$ → exact equality
+    if (hasStart && hasEnd && isRegexLiteral(core)) {
+        return Z3.Eq(str, Z3.String.val(core));
+    }
+    // ^lit.* → startswith
+    if (hasStart && core.endsWith('.*')) {
+        const prefix = core.slice(0, -2);
+        if (isRegexLiteral(prefix)) {
+            return Z3.String.val(prefix).prefixOf(str);
+        }
+    }
+    // .*lit$ → endswith
+    if (hasEnd && core.startsWith('.*')) {
+        const suffix = core.slice(2);
+        if (isRegexLiteral(suffix)) {
+            return Z3.String.val(suffix).suffixOf(str);
+        }
+    }
+    // .*lit.* → contains
+    if (core.startsWith('.*') && core.endsWith('.*')) {
+        const sub = core.slice(2, -2);
+        if (isRegexLiteral(sub)) {
+            return str.contains(Z3.String.val(sub));
+        }
+    }
+    return null;
+}
+/**
+ * Compile a PCRE/RE2 pattern string to a Z3 regex expression.
+ * Falls back to exact literal match for unrecognized constructs.
+ */
+export function compilePcreToZ3Re(Z3, pattern) {
+    const reSort = Z3.Re.sort(Z3.String.sort());
+    let p = pattern;
+    if (p.startsWith('^'))
+        p = p.slice(1);
+    if (p.endsWith('$') && !p.endsWith('\\$'))
+        p = p.slice(0, -1);
+    return parseAlternation(Z3, reSort, p, 0, p.length).re;
+}
+function parseAlternation(Z3, reSort, s, start, end) {
+    const branches = [];
+    let i = start;
+    let segStart = i;
+    while (i <= end) {
+        if (i === end || (s[i] === '|' && i < end)) {
+            branches.push(parseConcatenation(Z3, reSort, s, segStart, i).re);
+            if (i < end)
+                i++; // skip |
+            segStart = i;
+        }
+        else {
+            i++;
+        }
+    }
+    if (branches.length === 1)
+        return { re: branches[0], end };
+    return { re: branches.reduce((a, b) => Z3.Union(a, b)), end };
+}
+function parseConcatenation(Z3, reSort, s, start, end) {
+    const atoms = [];
+    let i = start;
+    while (i < end) {
+        const { re, end: atomEnd } = parseAtomWithQuantifier(Z3, reSort, s, i, end);
+        atoms.push(re);
+        i = atomEnd;
+    }
+    if (atoms.length === 0)
+        return { re: Z3.Re.toRe(Z3.String.val('')), end };
+    if (atoms.length === 1)
+        return { re: atoms[0], end };
+    return { re: Z3.ReConcat(...atoms), end };
+}
+function parseAtomWithQuantifier(Z3, reSort, s, i, limit) {
+    const { re: base, end: atomEnd, isAllChar } = parseAtom(Z3, reSort, s, i, limit);
+    let re = base;
+    let j = atomEnd;
+    if (j < limit) {
+        if (s[j] === '*') {
+            // /.*/  →  Full(reSort): any string. Much more efficient than Star(AllChar).
+            re = isAllChar ? Z3.Full(reSort) : Z3.Star(re);
+            j++;
+        }
+        else if (s[j] === '+') {
+            // /.+/  →  concat(AllChar, Full): at least one char.
+            re = isAllChar ? Z3.ReConcat(Z3.AllChar(reSort), Z3.Full(reSort)) : Z3.Plus(re);
+            j++;
+        }
+        else if (s[j] === '?') {
+            re = Z3.Option(re);
+            j++;
+        }
+        else if (s[j] === '{') {
+            const close = s.indexOf('}', j);
+            if (close !== -1)
+                j = close + 1; // skip {n,m}
+        }
+    }
+    return { re, end: j };
+}
+function parseAtom(Z3, reSort, s, i, limit) {
+    const c = s[i];
+    if (c === '\\' && i + 1 < limit) {
+        const esc = s[i + 1];
+        switch (esc) {
+            case 'd':
+                return { re: Z3.Range(Z3.String.val('0'), Z3.String.val('9')), end: i + 2 };
+            case 'D':
+                return { re: Z3.Complement(Z3.Range(Z3.String.val('0'), Z3.String.val('9'))), end: i + 2 };
+            case 'w': {
+                const az = Z3.Range(Z3.String.val('a'), Z3.String.val('z'));
+                const AZ = Z3.Range(Z3.String.val('A'), Z3.String.val('Z'));
+                const d = Z3.Range(Z3.String.val('0'), Z3.String.val('9'));
+                const us = Z3.Re.toRe(Z3.String.val('_'));
+                return { re: Z3.Union(az, AZ, d, us), end: i + 2 };
+            }
+            case 'W': {
+                const az = Z3.Range(Z3.String.val('a'), Z3.String.val('z'));
+                const AZ = Z3.Range(Z3.String.val('A'), Z3.String.val('Z'));
+                const d = Z3.Range(Z3.String.val('0'), Z3.String.val('9'));
+                const us = Z3.Re.toRe(Z3.String.val('_'));
+                return { re: Z3.Complement(Z3.Union(az, AZ, d, us)), end: i + 2 };
+            }
+            case 's': {
+                const ws = Z3.Union(Z3.Re.toRe(Z3.String.val(' ')), Z3.Re.toRe(Z3.String.val('\t')), Z3.Re.toRe(Z3.String.val('\n')), Z3.Re.toRe(Z3.String.val('\r')));
+                return { re: ws, end: i + 2 };
+            }
+            default:
+                return { re: Z3.Re.toRe(Z3.String.val(esc)), end: i + 2 };
+        }
+    }
+    if (c === '.') {
+        return { re: Z3.AllChar(reSort), end: i + 1, isAllChar: true };
+    }
+    if (c === '(') {
+        let depth = 1;
+        let j = i + 1;
+        while (j < limit && depth > 0) {
+            if (s[j] === '\\') {
+                j += 2;
+                continue;
+            }
+            if (s[j] === '(')
+                depth++;
+            if (s[j] === ')')
+                depth--;
+            j++;
+        }
+        const inner = parseAlternation(Z3, reSort, s, i + 1, j - 1);
+        return { re: inner.re, end: j };
+    }
+    if (c === '[') {
+        const close = findCharClassClose(s, i + 1, limit);
+        const cls = s.slice(i + 1, close);
+        return { re: parseCharClass(Z3, cls), end: close + 1 };
+    }
+    // Literal character
+    return { re: Z3.Re.toRe(Z3.String.val(c)), end: i + 1 };
+}
+function findCharClassClose(s, start, limit) {
+    let i = start;
+    if (i < limit && s[i] === ']')
+        i++; // ] at start is literal
+    while (i < limit && s[i] !== ']') {
+        if (s[i] === '\\')
+            i++; // skip escaped char
+        i++;
+    }
+    return i;
+}
+function parseCharClass(Z3, cls) {
+    const negated = cls.startsWith('^');
+    const src = negated ? cls.slice(1) : cls;
+    const parts = [];
+    let i = 0;
+    while (i < src.length) {
+        if (src[i] === '\\' && i + 1 < src.length) {
+            parts.push(Z3.Re.toRe(Z3.String.val(src[i + 1])));
+            i += 2;
+        }
+        else if (i + 2 < src.length && src[i + 1] === '-') {
+            parts.push(Z3.Range(Z3.String.val(src[i]), Z3.String.val(src[i + 2])));
+            i += 3;
+        }
+        else {
+            parts.push(Z3.Re.toRe(Z3.String.val(src[i])));
+            i++;
+        }
+    }
+    if (parts.length === 0)
+        return Z3.Re.toRe(Z3.String.val(''));
+    const base = parts.length === 1 ? parts[0] : Z3.Union(...parts);
+    return negated ? Z3.Complement(base) : base;
+}
+//# sourceMappingURL=rego-smt-encoder.js.map

package/dist/lib/rego-smt-encoder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rego-smt-encoder.js","sourceRoot":"","sources":["../../src/lib/rego-smt-encoder.ts"],"names":[],"mappings":"AA0CA;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAC7B,EAAa,EACb,UAAiC,EACjC,KAA0B,EAC1B,MAAc;IAEd,MAAM,IAAI,GAAG,IAAI,GAAG,EAAqB,CAAC;IAE1C,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC;QACzC,MAAM,OAAO,GAAG,GAAG,MAAM,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QAEnD,QAAQ,IAAI,EAAE,CAAC;YACb,KAAK,QAAQ;gBACX,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;gBACzC,MAAM;YACR,KAAK,KAAK;gBACR,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;gBACtC,MAAM;YACR,KAAK,MAAM;gBACT,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;gBACvC,MAAM;YACR,KAAK,eAAe,CAAC,CAAC,CAAC;gBACrB,wEAAwE;gBACxE,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,CAAC;gBAC7C,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAyB,CAAC,CAAC;gBAC7D,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,OAA2B,EAAE,GAAmB;IACzE,MAAM,EAAE,EAAE,EAAE,GAAG,GAAG,CAAC;IACnB,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,MAAM,cAAc,GAAa,EAAE,CAAC;IACpC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,SAAS,GAAG,IAAI,GAAG,EAAqB,CAAC;QAC/C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC7C,MAAM,YAAY,GAAG,YAAY,CAAC,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;QACtE,IAAI,YAAY,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;YAClC,cAAc,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;QAC5C,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IAC1C,CAAC;IAED,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IACD,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC,CAAE,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,EAAE,QAAQ,EAAE,CAAC;AACzD,CAAC;AAOD,SAAS,YAAY,CACnB,MAAwB,EACxB,GAAmB,EACnB,SAAiC,EACjC,UAA+B;IAE/B,MAAM,EAAE,EAAE,EAAE,GAAG,GAAG,CAAC;IACnB,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,SAAS,GAAa,EAAE,CAAC;IAE/B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;QACtC,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa;YAAE,SAAS,CAAC,qCAAqC;QAEhF,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;QACvE,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,6CAA6C;QAC7C,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC;IAClD,CAAC;IACD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAE,EAAE,QAAQ,EAAE,CAAC;IAC9C,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,EAAE,QAAQ,EAAE,CAAC;AACrD,CAAC;AAED,SAAS,UAAU,CACjB,IAAgB,EAChB,GAAmB,EACnB,SAAiC,EACjC,UAA+B,EAC/B,QAAkB;IAElB,MAAM,EAAE,EAAE,EAAE,GAAG,GAAG,CAAC;IAEnB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;YACxE,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;YACzE,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAC1C,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrB,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;YACxE,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;YACzE,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAC1C,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7B,CAAC;QACD,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;YACxE,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;YACzE,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAC1C,OAAO,EAAE,CAAC,EAAE,CACV,CAA0C,EAC1C,CAA0C,CAC3C,CAAC;QACJ,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;YACxE,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;YACzE,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAC1C,OAAO,EAAE,CAAC,EAAE,CACV,CAA0C,EAC1C,CAA0C,CAC3C,CAAC;QACJ,CAAC;QACD,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;YACxE,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;YACzE,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAC1C,OAAO,EAAE,CAAC,EAAE,CACV,CAA0C,EAC1C,CAA0C,CAC3C,CAAC;QACJ,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;YACxE,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;YACzE,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAC1C,OAAO,EAAE,CAAC,EAAE,CACV,CAA0C,EAC1C,CAA0C,CAC3C,CAAC;QACJ,CAAC;QACD,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;YACzE,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;YAC/E,IAAI,GAAG,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAGjD,OAAQ,MAAqB,CAAC,QAAQ,CAAC,GAAiB,CAAC,CAAC;QAC5D,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;YACzE,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;YAC/E,IAAI,GAAG,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAEjD,OAAQ,MAAqB,CAAC,QAAQ,CAAC,GAAiB,CAAC,CAAC;QAC5D,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;YACzE,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;YACzE,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAE9C,OAAQ,GAAkB,CAAC,QAAQ,CAAC,GAAiB,CAAC,CAAC;QACzD,CAAC;QACD,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;YACzE,IAAI,GAAG,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAG9B,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBAC3C,4EAA4E;gBAC5E,2EAA2E;gBAC3E,MAAM,UAAU,GAAG,0BAA0B,CAAC,EAAE,EAAE,GAAiB,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBACzF,IAAI,UAAU,KAAK,IAAI;oBAAE,OAAO,UAAU,CAAC;gBAE3C,MAAM,EAAE,GAAG,iBAAiB,CAAC,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBACrD,OAAO,EAAE,CAAC,IAAI,CAAC,GAAiB,EAAE,EAAE,CAAC,CAAC;YACxC,CAAC;YAED,8DAA8D;YAC9D,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;YAC7E,IAAI,GAAG,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAC9B,QAAQ,CAAC,IAAI,CAAC,4EAA4E,CAAC,CAAC;YAC5F,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,GAAiB,CAAC,CAAC;YACzC,OAAO,EAAE,CAAC,IAAI,CAAC,GAAiB,EAAE,EAAE,CAAC,CAAC;QACxC,CAAC;QACD,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;YACzE,IAAI,GAAG,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAC9B,wBAAwB;YACxB,OAAO,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QACvC,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,yEAAyE;YACzE,wDAAwD;YACxD,MAAM,OAAO,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC;YAC/D,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;YAC3E,IAAI,GAAG,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAC9B,MAAM,UAAU,GAAG,cAAc,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;YAC9F,OAAO,EAAE,CAAC,EAAE,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAChC,CAAC;QACD,KAAK,aAAa;YAChB,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,iBAAiB,CACxB,KAAkB,EAClB,GAAmB,EACnB,UAA+B;IAE/B,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,gBAAgB;YACnB,OAAO,QAAQ,CAAC;QAClB,KAAK,gBAAgB;YACnB,OAAO,KAAK,CAAC;QACf,KAAK,cAAc;YACjB,OAAO,MAAM,CAAC;QAChB,KAAK,cAAc;YACjB,OAAO,QAAQ,CAAC,CAAC,uCAAuC;QAC1D,KAAK,WAAW;YACd,OAAO,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC;QAC/C,KAAK,WAAW;YACd,OAAO,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC;IAClD,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,YAAY,CACnB,KAAkB,EAClB,GAAmB,EACnB,SAAiC,EACjC,UAA+B,EAC/B,QAAkB;IAElB,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,GAAG,GAAG,CAAC;IAE9B,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;gBACpB,QAAQ,CAAC,IAAI,CAAC,kCAAkC,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC;gBAChE,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,CAAC,CAAC;QACX,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,CAAC,KAAK,SAAS;gBAAE,OAAO,CAAC,CAAC;YAC9B,wEAAwE;YACxE,6DAA6D;YAC7D,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC;YACpD,OAAO,cAAc,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QACjF,CAAC;QACD,KAAK,gBAAgB;YACnB,OAAO,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACpC,KAAK,gBAAgB;YACnB,OAAO,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACjC,KAAK,cAAc;YACjB,OAAO,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAClC,KAAK,cAAc;YACjB,QAAQ,CAAC,IAAI,CAAC,iDAAiD,CAAC,CAAC;YACjE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,cAAc,CACrB,EAAa,EACb,IAAY,EACZ,IAAY,EACZ,SAAiC,EACjC,UAA+B,EAC/B,MAAc;IAEd,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;IAErD,MAAM,MAAM,GAAG,GAAG,MAAM,IAAI,IAAI,EAAE,CAAC;IACnC,IAAI,CAAY,CAAC;IACjB,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,QAAQ;YACX,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAC5B,MAAM;QACR,KAAK,KAAK;YACR,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACzB,MAAM;QACR,KAAK,MAAM;YACT,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAC1B,MAAM;QACR,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,OAAO,CAAC,CAAC;YAC5C,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAyB,CAAC;YAChD,MAAM;QACR,CAAC;IACH,CAAC;IAED,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACvB,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3B,OAAO,CAAC,CAAC;AACX,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;AACnC,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,aAAa,CAAC,OAAe;IAC3C,OAAO,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AACrC,CAAC;AAED,gFAAgF;AAChF,wEAAwE;AACxE,6EAA6E;AAC7E,4EAA4E;AAC5E,0EAA0E;AAE1E,0EAA0E;AAC1E,SAAS,cAAc,CAAC,CAAS;IAC/B,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACvD,CAAC;AAID;;;;;;;;;;GAUG;AACH,SAAS,0BAA0B,CACjC,EAAa,EACb,GAAe,EACf,OAAe;IAEf,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACjE,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAEtF,iFAAiF;IACjF,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,OAAO,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC;IAED,yBAAyB;IACzB,IAAI,QAAQ,IAAI,MAAM,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/C,OAAO,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACzC,CAAC;IAED,sBAAsB;IACtB,IAAI,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,OAAO,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IAED,oBAAoB;IACpB,IAAI,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,OAAO,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IAED,qBAAqB;IACrB,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,OAAO,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AASD;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,EAAa,EAAE,OAAe;IAC9D,MAAM,MAAM,GAAG,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5C,IAAI,CAAC,GAAG,OAAO,CAAC;IAChB,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACtC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9D,OAAO,gBAAgB,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;AACzD,CAAC;AAQD,SAAS,gBAAgB,CACvB,EAAa,EACb,MAAgB,EAChB,CAAS,EACT,KAAa,EACb,GAAW;IAEX,MAAM,QAAQ,GAAW,EAAE,CAAC;IAC5B,IAAI,CAAC,GAAG,KAAK,CAAC;IACd,IAAI,QAAQ,GAAG,CAAC,CAAC;IAEjB,OAAO,CAAC,IAAI,GAAG,EAAE,CAAC;QAChB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;YAC3C,QAAQ,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACjE,IAAI,CAAC,GAAG,GAAG;gBAAE,CAAC,EAAE,CAAC,CAAC,SAAS;YAC3B,QAAQ,GAAG,CAAC,CAAC;QACf,CAAC;aAAM,CAAC;YACN,CAAC,EAAE,CAAC;QACN,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,GAAG,EAAE,CAAC;IAC5D,OAAO,EAAE,EAAE,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC;AAChE,CAAC;AAED,SAAS,kBAAkB,CACzB,EAAa,EACb,MAAgB,EAChB,CAAS,EACT,KAAa,EACb,GAAW;IAEX,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,IAAI,CAAC,GAAG,KAAK,CAAC;IAEd,OAAO,CAAC,GAAG,GAAG,EAAE,CAAC;QACf,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,uBAAuB,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QAC5E,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,CAAC,GAAG,OAAO,CAAC;IACd,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC;IAC1E,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC,CAAE,EAAE,GAAG,EAAE,CAAC;IACtD,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC,EAAE,GAAG,EAAE,CAAC;AAC5C,CAAC;AAED,SAAS,uBAAuB,CAC9B,EAAa,EACb,MAAgB,EAChB,CAAS,EACT,CAAS,EACT,KAAa;IAEb,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,SAAS,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IACjF,IAAI,EAAE,GAAG,IAAI,CAAC;IACd,IAAI,CAAC,GAAG,OAAO,CAAC;IAEhB,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC;QACd,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACjB,6EAA6E;YAC7E,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC/C,CAAC,EAAE,CAAC;QACN,CAAC;aAAM,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACxB,qDAAqD;YACrD,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAChF,CAAC,EAAE,CAAC;QACN,CAAC;aAAM,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACxB,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACnB,CAAC,EAAE,CAAC;QACN,CAAC;aAAM,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACxB,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAChC,IAAI,KAAK,KAAK,CAAC,CAAC;gBAAE,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,aAAa;QAChD,CAAC;IACH,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACxB,CAAC;AAED,SAAS,SAAS,CAChB,EAAa,EACb,MAAgB,EAChB,CAAS,EACT,CAAS,EACT,KAAa;IAEb,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAEf,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACrB,QAAQ,GAAG,EAAE,CAAC;YACZ,KAAK,GAAG;gBACN,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9E,KAAK,GAAG;gBACN,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7F,KAAK,GAAG,CAAC,CAAC,CAAC;gBACT,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC5D,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC5D,MAAM,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC3D,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC1C,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;YACrD,CAAC;YACD,KAAK,GAAG,CAAC,CAAC,CAAC;gBACT,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC5D,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC5D,MAAM,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC3D,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC1C,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;YACpE,CAAC;YACD,KAAK,GAAG,CAAC,CAAC,CAAC;gBACT,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK,CACjB,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAC9B,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAC/B,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAC/B,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAChC,CAAC;gBACF,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;YAChC,CAAC;YACD;gBACE,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAI,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/D,CAAC;IACH,CAAC;IAED,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;QACd,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IACjE,CAAC;IAED,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;QACd,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,OAAO,CAAC,GAAG,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YAC9B,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;gBAClB,CAAC,IAAI,CAAC,CAAC;gBACP,SAAS;YACX,CAAC;YACD,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG;gBAAE,KAAK,EAAE,CAAC;YAC1B,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG;gBAAE,KAAK,EAAE,CAAC;YAC1B,CAAC,EAAE,CAAC;QACN,CAAC;QACD,MAAM,KAAK,GAAG,gBAAgB,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5D,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IAClC,CAAC;IAED,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;QACd,MAAM,KAAK,GAAG,kBAAkB,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;QAClD,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;QAClC,OAAO,EAAE,EAAE,EAAE,cAAc,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC;IACzD,CAAC;IAED,oBAAoB;IACpB,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;AAC3D,CAAC;AAED,SAAS,kBAAkB,CAAC,CAAS,EAAE,KAAa,EAAE,KAAa;IACjE,IAAI,CAAC,GAAG,KAAK,CAAC;IACd,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG;QAAE,CAAC,EAAE,CAAC,CAAC,wBAAwB;IAC5D,OAAO,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QACjC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI;YAAE,CAAC,EAAE,CAAC,CAAC,oBAAoB;QAC5C,CAAC,EAAE,CAAC;IACN,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,cAAc,CAAC,EAAa,EAAE,GAAW;IAChD,MAAM,OAAO,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACzC,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,IAAI,CAAC,GAAG,CAAC,CAAC;IAEV,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;QACtB,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;YAC1C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC;YACnD,CAAC,IAAI,CAAC,CAAC;QACT,CAAC;aAAM,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACpD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC;YACzE,CAAC,IAAI,CAAC,CAAC;QACT,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC;YAC/C,CAAC,EAAE,CAAC;QACN,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7D,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,CAAC;IACjE,OAAO,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9C,CAAC"}

package/dist/lib/rego-type-inferencer.d.ts

@@ -0,0 +1,26 @@
+/**
+ * Infer Z3 sorts for all input paths by examining how they are used in
+ * the IR expressions across all rule clauses.
+ *
+ * Rules applied in priority order per path:
+ *   1. Used in startswith/endswith/contains/regex_match → string
+ *   2. Compared to a string literal → string
+ *   3. Compared to a boolean literal → bool
+ *   4. Compared to a number literal, or in gt/gte/lt/lte → int
+ *   5. Conflicting evidence → uninterpreted (equality-only in encoder)
+ *   6. No evidence → string (safe default: Z3 string theory is flexible)
+ *
+ * Local variable aliases (x := input.path) are resolved so that sort
+ * evidence from comparisons on x propagates back to input.path.
+ */
+import type { VerifyRuleClause } from './rego-ir.js';
+export type Z3Sort = 'bool' | 'int' | 'string' | 'uninterpreted';
+export interface TypeInferenceResult {
+    sorts: Map<string, Z3Sort>;
+    conflicts: Array<{
+        path: string;
+        reason: string;
+    }>;
+}
+export declare function inferTypes(clauses: VerifyRuleClause[][], inputPaths: Map<string, string[]>): TypeInferenceResult;
+//# sourceMappingURL=rego-type-inferencer.d.ts.map

package/dist/lib/rego-type-inferencer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rego-type-inferencer.d.ts","sourceRoot":"","sources":["../../src/lib/rego-type-inferencer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAc,gBAAgB,EAAe,MAAM,cAAc,CAAC;AAE9E,MAAM,MAAM,MAAM,GAAG,MAAM,GAAG,KAAK,GAAG,QAAQ,GAAG,eAAe,CAAC;AAEjE,MAAM,WAAW,mBAAmB;IAClC,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3B,SAAS,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACpD;AAID,wBAAgB,UAAU,CACxB,OAAO,EAAE,gBAAgB,EAAE,EAAE,EAC7B,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,GAChC,mBAAmB,CAkDrB"}