code-auditor-mcp 2.6.1 → 3.0.0

package/dist/invariants/ruleEngine.js

@@ -0,0 +1,536 @@
+/**
+ * Invariant Rules Engine — checks files and call graph against user-defined rules.
+ *
+ * Four rule kinds:
+ *   import-ban       — no file may import a banned module (except exempt files)
+ *   call-constraint   — restrict which files may call a given function
+ *   module-boundary   — files in `from` may not import from `to`
+ *   naming            — exported symbols must match a regex
+ */
+import picomatch from 'picomatch';
+import { readFileSync } from 'fs';
+import sg from '@ast-grep/napi';
+export { hasRules } from './ruleValidator.js';
+// ── Globbing helpers ──────────────────────────────────────────────────────
+/** Cache compiled matchers keyed by pattern */
+const matcherCache = new Map();
+function matchesPattern(pattern, path) {
+    let m = matcherCache.get(pattern);
+    if (!m) {
+        m = picomatch(pattern, { dot: true });
+        matcherCache.set(pattern, m);
+    }
+    return m(path);
+}
+function matchesAny(patterns, path) {
+    return patterns.some(p => matchesPattern(p, path));
+}
+function matchesNone(patterns, path) {
+    return !matchesAny(patterns, path);
+}
+/**
+ * Compute 1-based line number from a character offset in source text.
+ */
+function lineNumberAt(source, offset) {
+    let line = 1;
+    for (let i = 0; i < offset; i++) {
+        if (source[i] === '\n')
+            line++;
+    }
+    return line;
+}
+/**
+ * Extract all imports from a single source file using regex.
+ * Catches: import ... from '...', import('...'), and require('...')
+ *
+ * Uses regex on raw source text — no parser dependency, works without WASM init.
+ */
+function extractImports(filePath) {
+    let source;
+    try {
+        source = readFileSync(filePath, 'utf-8');
+    }
+    catch {
+        return [];
+    }
+    const imports = [];
+    // ── Static imports ──────────────────────────────────────────────────────
+    // Matches: import 'mod', import x from 'mod', import { a } from 'mod',
+    //          import * as ns from 'mod', import type { T } from 'mod',
+    //          import x, { a } from 'mod'
+    // Uses non-greedy match between "import" and the quoted specifier.
+    const staticRe = /^import\b[\s\S]*?['"]([^'"]+)['"]/gm;
+    let m;
+    while ((m = staticRe.exec(source)) !== null) {
+        imports.push({
+            moduleSpecifier: m[1],
+            isStatic: true,
+            isDynamic: false,
+            isRequire: false,
+            line: lineNumberAt(source, m.index),
+        });
+    }
+    // ── Dynamic import() expressions ────────────────────────────────────────
+    const dynamicRe = /\bimport\s*\(\s*['"]([^'"]+)['"]\s*\)/g;
+    while ((m = dynamicRe.exec(source)) !== null) {
+        imports.push({
+            moduleSpecifier: m[1],
+            isStatic: false,
+            isDynamic: true,
+            isRequire: false,
+            line: lineNumberAt(source, m.index),
+        });
+    }
+    // ── require() calls ─────────────────────────────────────────────────────
+    const requireRe = /\brequire\s*\(\s*['"]([^'"]+)['"]\s*\)/g;
+    while ((m = requireRe.exec(source)) !== null) {
+        imports.push({
+            moduleSpecifier: m[1],
+            isStatic: false,
+            isDynamic: false,
+            isRequire: true,
+            line: lineNumberAt(source, m.index),
+        });
+    }
+    return imports;
+}
+// ── import-ban checker ────────────────────────────────────────────────────
+function checkImportBan(rule, filePath, imports) {
+    const violations = [];
+    // If the file is in the except list, skip
+    if (rule.except && matchesAny(rule.except, filePath)) {
+        return violations;
+    }
+    for (const imp of imports) {
+        if (matchesPattern(rule.module, imp.moduleSpecifier)) {
+            violations.push({
+                ruleId: rule.id,
+                kind: 'import-ban',
+                severity: rule.severity,
+                message: rule.message || `Import of banned module "${imp.moduleSpecifier}"`,
+                file: filePath,
+                line: imp.line,
+                importSpecifier: imp.moduleSpecifier,
+            });
+        }
+    }
+    return violations;
+}
+// ── module-boundary checker ───────────────────────────────────────────────
+function checkModuleBoundary(rule, filePath, imports, resolveImportPath) {
+    const violations = [];
+    // Only check files matching `from`
+    if (!matchesPattern(rule.from, filePath)) {
+        return violations;
+    }
+    for (const imp of imports) {
+        // Only check relative imports (inter-module) and internal absolute imports
+        const resolved = resolveImportPath(filePath, imp.moduleSpecifier);
+        if (resolved && matchesPattern(rule.to, resolved)) {
+            violations.push({
+                ruleId: rule.id,
+                kind: 'module-boundary',
+                severity: rule.severity,
+                message: rule.message ||
+                    `File "${filePath}" imports "${imp.moduleSpecifier}" which matches forbidden boundary "${rule.to}"`,
+                file: filePath,
+                line: imp.line,
+                importSpecifier: imp.moduleSpecifier,
+            });
+        }
+    }
+    return violations;
+}
+// ── Resolve import paths ──────────────────────────────────────────────────
+/**
+ * Resolve a relative import specifier to an absolute repo-relative path.
+ * Returns null if the specifier is an external package (node_modules).
+ */
+function resolveRelativeImport(fromFile, specifier) {
+    // External package — not a boundary concern
+    if (!specifier.startsWith('.') && !specifier.startsWith('/')) {
+        return null;
+    }
+    // Normalize: resolve relative to the importing file's directory
+    const fromDir = fromFile.substring(0, fromFile.lastIndexOf('/'));
+    const parts = (fromDir ? fromDir + '/' : '') + specifier;
+    const segments = parts.split('/');
+    const resolved = [];
+    for (const seg of segments) {
+        if (seg === '.' || seg === '')
+            continue;
+        if (seg === '..') {
+            resolved.pop();
+            continue;
+        }
+        resolved.push(seg);
+    }
+    // Add common extensions if none present
+    const result = resolved.join('/');
+    if (!result.match(/\.(ts|tsx|js|jsx|mjs|cjs)$/)) {
+        return null; // caller should try with extensions
+    }
+    return result;
+}
+/**
+ * Try to resolve an import specifier to a file path, trying common extensions.
+ */
+function resolveImportPath(fromFile, specifier, projectDir) {
+    const base = resolveRelativeImport(fromFile, specifier);
+    if (base) {
+        // Check with full path
+        const full = projectDir ? `${projectDir}/${base}` : base;
+        try {
+            readFileSync(full);
+            return base;
+        }
+        catch {
+            return null;
+        }
+    }
+    // Try adding extensions
+    const fromDir = fromFile.substring(0, fromFile.lastIndexOf('/'));
+    const parts = (fromDir ? fromDir + '/' : '') + specifier;
+    const segments = parts.split('/');
+    const resolved = [];
+    for (const seg of segments) {
+        if (seg === '.' || seg === '')
+            continue;
+        if (seg === '..') {
+            resolved.pop();
+            continue;
+        }
+        resolved.push(seg);
+    }
+    const basePath = resolved.join('/');
+    const prefix = projectDir ? `${projectDir}/` : '';
+    // Check extensions
+    for (const ext of ['.ts', '.tsx', '.js', '.jsx']) {
+        const candidate = basePath + ext;
+        try {
+            readFileSync(prefix + candidate);
+            return candidate;
+        }
+        catch {
+            // file doesn't exist, try next extension
+        }
+    }
+    // Try index files
+    for (const ext of ['.ts', '.tsx', '.js', '.jsx']) {
+        const candidate = basePath + '/index' + ext;
+        try {
+            readFileSync(prefix + candidate);
+            return candidate;
+        }
+        catch {
+            // index doesn't exist either
+        }
+    }
+    return null;
+}
+// ── call-constraint checker ──────────────────────────────────────────────
+function checkCallConstraint(rule, scopedCallers) {
+    const violations = [];
+    // Parse callee: 'path/glob#name' or just 'name'
+    const calleeParts = parseCallee(rule.callee);
+    const calleeGlob = calleeParts.pathGlob;
+    const calleeName = calleeParts.functionName;
+    // Filter callers that target this callee
+    const matchingCallers = scopedCallers.filter(c => {
+        if (calleeName && c.calleeName !== calleeName)
+            return false;
+        if (calleeGlob && !matchesPattern(calleeGlob, c.filePath))
+            return false;
+        return true;
+    });
+    if (matchingCallers.length === 0)
+        return violations;
+    if (rule.allowFrom) {
+        // Only allowFrom files may call — all others are violations
+        for (const call of matchingCallers) {
+            if (matchesNone(rule.allowFrom, call.filePath)) {
+                violations.push({
+                    ruleId: rule.id,
+                    kind: 'call-constraint',
+                    severity: rule.severity,
+                    message: rule.message ||
+                        `Caller "${call.callerName}" in "${call.filePath}" is not in the allow-list for callee "${call.calleeName}"`,
+                    file: call.filePath,
+                    symbol: call.callerName,
+                    callee: call.calleeName,
+                    caller: call.callerName,
+                });
+            }
+        }
+    }
+    else if (rule.denyFrom) {
+        // denyFrom files may NOT call — any match is a violation
+        for (const call of matchingCallers) {
+            if (matchesAny(rule.denyFrom, call.filePath)) {
+                violations.push({
+                    ruleId: rule.id,
+                    kind: 'call-constraint',
+                    severity: rule.severity,
+                    message: rule.message ||
+                        `Caller "${call.callerName}" in "${call.filePath}" is denied from calling "${call.calleeName}"`,
+                    file: call.filePath,
+                    symbol: call.callerName,
+                    callee: call.calleeName,
+                    caller: call.callerName,
+                });
+            }
+        }
+    }
+    return violations;
+}
+function parseCallee(callee) {
+    const hashIdx = callee.lastIndexOf('#');
+    if (hashIdx >= 0) {
+        return {
+            pathGlob: callee.substring(0, hashIdx) || null,
+            functionName: callee.substring(hashIdx + 1),
+        };
+    }
+    return { pathGlob: null, functionName: callee };
+}
+// ── naming checker ────────────────────────────────────────────────────────
+function checkNaming(rule, filePath, exportedSymbols) {
+    const violations = [];
+    if (!matchesPattern(rule.path, filePath)) {
+        return violations;
+    }
+    let regex;
+    try {
+        regex = new RegExp(rule.exports);
+    }
+    catch {
+        return violations; // invalid regex should have been caught by validation
+    }
+    for (const sym of exportedSymbols) {
+        if (!regex.test(sym.name)) {
+            violations.push({
+                ruleId: rule.id,
+                kind: 'naming',
+                severity: rule.severity,
+                message: rule.message ||
+                    `Exported symbol "${sym.name}" does not match naming convention "${rule.exports}"`,
+                file: filePath,
+                line: sym.line,
+                symbol: sym.name,
+            });
+        }
+    }
+    return violations;
+}
+// ── ast-pattern checker ────────────────────────────────────────────────────
+/**
+ * Map rule language to ast-grep language key.
+ * 'typescript' → 'tsx' (handles both .ts and .tsx)
+ * 'javascript' → 'javascript'
+ * 'go' → unsupported in @ast-grep/napi, but kept in the type for the schema
+ */
+function astGrepLanguage(lang) {
+    switch (lang) {
+        case 'typescript': return 'tsx';
+        case 'javascript': return 'javascript';
+        case 'go': return 'go';
+        default: return 'tsx';
+    }
+}
+function checkAstPattern(rule, filePath, source) {
+    const violations = [];
+    // Check path glob filter
+    if (rule.path && !matchesPattern(rule.path, filePath)) {
+        return violations;
+    }
+    const lang = astGrepLanguage(rule.language || 'typescript');
+    let root;
+    try {
+        root = sg.parse(lang, source);
+    }
+    catch {
+        // Unsupported language or parse error — skip this file
+        return violations;
+    }
+    const rootNode = root.root();
+    const matches = rootNode.findAll(rule.pattern);
+    for (const match of matches) {
+        const range = match.range();
+        violations.push({
+            ruleId: rule.id,
+            kind: 'ast-pattern',
+            severity: rule.severity,
+            message: rule.message || `AST pattern matched: "${match.text()}"`,
+            file: filePath,
+            line: range.start.line + 1, // ast-grep lines are 0-based
+            column: range.start.column + 1, // ast-grep columns are 0-based
+            symbol: String(match.kind()),
+        });
+    }
+    return violations;
+}
+// ── Exported symbol extraction ────────────────────────────────────────────
+/**
+ * Extract all exported symbol names from a source file using regex.
+ * Handles: export function/class/const/let/var name, export { name1, name2 },
+ *          export default function/class name, export default name
+ *
+ * Uses regex on raw source text — no parser dependency, works without WASM init.
+ */
+function extractExportedSymbols(filePath) {
+    let source;
+    try {
+        source = readFileSync(filePath, 'utf-8');
+    }
+    catch {
+        return [];
+    }
+    const symbols = [];
+    // ── export function|class|const|let|var|type|interface|enum name ────────
+    // Covers: export function foo(), export class Bar {}, export const baz = ...
+    const declRe = /^export\s+(?:(?:default\s+)?(?:function|class)\s+(\w+)|(?:const|let|var)\s+(\w+))/gm;
+    let m;
+    while ((m = declRe.exec(source)) !== null) {
+        const name = m[1] || m[2]; // m[1] = function/class name, m[2] = const/let/var name
+        if (name) {
+            symbols.push({ name, line: lineNumberAt(source, m.index) });
+        }
+    }
+    // ── export { name1, name2 as alias } ────────────────────────────────────
+    // Capture the local (non-aliased) names inside export { ... }
+    const clauseRe = /^export\s*\{([^}]+)\}/gm;
+    while ((m = clauseRe.exec(source)) !== null) {
+        const body = m[1];
+        // Split on comma, then extract the first identifier (skip "as alias" forms)
+        for (const part of body.split(',')) {
+            const nameMatch = part.match(/^\s*(\w+)/);
+            if (nameMatch) {
+                symbols.push({ name: nameMatch[1], line: lineNumberAt(source, m.index) });
+            }
+        }
+    }
+    // ── export default <identifier> ─────────────────────────────────────────
+    // e.g. export default MyComponent
+    const defaultIdRe = /^export\s+default\s+(\w+)\s*[;,\n]/gm;
+    while ((m = defaultIdRe.exec(source)) !== null) {
+        symbols.push({ name: m[1], line: lineNumberAt(source, m.index) });
+    }
+    return symbols;
+}
+/**
+ * Check all rules against all specified files.
+ * import-ban, module-boundary, and naming are per-file.
+ * call-constraint queries the full index for callers.
+ */
+export function checkRules(options) {
+    const { rules, files, db, projectDir } = options;
+    const violations = [];
+    const errors = [];
+    if (rules.length === 0) {
+        return { rules, violations, errors };
+    }
+    // Group rules by kind for efficient checking
+    const importBans = rules.filter(r => r.kind === 'import-ban');
+    const callConstraints = rules.filter(r => r.kind === 'call-constraint');
+    const moduleBoundaries = rules.filter(r => r.kind === 'module-boundary');
+    const namingRules = rules.filter(r => r.kind === 'naming');
+    const astPatterns = rules.filter(r => r.kind === 'ast-pattern');
+    const fileDataMap = new Map();
+    // Adjust file paths to be relative to project dir for reading
+    for (const file of files) {
+        // Strip any leading './' for consistency
+        const normalized = file.replace(/^\.\//, '');
+        const fullPath = file.startsWith('/') ? file : `${projectDir}/${normalized}`;
+        try {
+            fileDataMap.set(normalized, {
+                imports: extractImports(fullPath),
+                exports: extractExportedSymbols(fullPath),
+            });
+        }
+        catch (err) {
+            errors.push(`Error reading ${file}: ${err.message}`);
+        }
+    }
+    // 1. import-ban checks
+    for (const rule of importBans) {
+        for (const [filePath, data] of fileDataMap) {
+            violations.push(...checkImportBan(rule, filePath, data.imports));
+        }
+    }
+    // 2. module-boundary checks
+    for (const rule of moduleBoundaries) {
+        for (const [filePath, data] of fileDataMap) {
+            violations.push(...checkModuleBoundary(rule, filePath, data.imports, (from, spec) => resolveImportPath(from, spec, projectDir)));
+        }
+    }
+    // 3. naming checks
+    for (const rule of namingRules) {
+        for (const [filePath, data] of fileDataMap) {
+            violations.push(...checkNaming(rule, filePath, data.exports));
+        }
+    }
+    // 4. call-constraint checks — requires DB
+    if (callConstraints.length > 0 && db) {
+        try {
+            const scopedCallers = getScopedCallers(db, files);
+            for (const rule of callConstraints) {
+                violations.push(...checkCallConstraint(rule, scopedCallers));
+            }
+        }
+        catch (err) {
+            errors.push(`Error checking call-constraints: ${err.message}`);
+        }
+    }
+    // 5. ast-pattern checks — uses @ast-grep/napi
+    if (astPatterns.length > 0) {
+        for (const rule of astPatterns) {
+            for (const file of files) {
+                const normalized = file.replace(/^\.\//, '');
+                const fullPath = file.startsWith('/') ? file : `${projectDir}/${normalized}`;
+                try {
+                    const source = readFileSync(fullPath, 'utf-8');
+                    violations.push(...checkAstPattern(rule, normalized, source));
+                }
+                catch (err) {
+                    errors.push(`Error running ast-pattern "${rule.id}" on ${file}: ${err.message}`);
+                }
+            }
+        }
+    }
+    return { rules, violations, errors };
+}
+/**
+ * Get all callers from the DB that are within the scoped files.
+ * Returns [caller, callee] pairs for checking against constraints.
+ */
+function getScopedCallers(db, scopedFiles) {
+    const dbAny = db;
+    if (!dbAny.db)
+        return [];
+    const rows = dbAny.db.prepare(`
+    SELECT DISTINCT f.name as caller_name, f.file_path, fc.callee_name
+    FROM function_calls fc
+    JOIN functions f ON f.id = fc.caller_id
+  `).all();
+    // If scoped files provided, filter to those files
+    if (scopedFiles.length > 0) {
+        const fileSet = new Set(scopedFiles.map(f => f.replace(/^\.\//, '')));
+        return rows
+            .filter(r => fileSet.has(r.file_path))
+            .map(r => ({
+            filePath: r.file_path,
+            callerName: r.caller_name,
+            calleeName: r.callee_name,
+        }));
+    }
+    return rows.map(r => ({
+        filePath: r.file_path,
+        callerName: r.caller_name,
+        calleeName: r.callee_name,
+    }));
+}
+/** Clear the matcher cache (useful for tests) */
+export function clearMatcherCache() {
+    matcherCache.clear();
+}
+//# sourceMappingURL=ruleEngine.js.map

package/dist/invariants/ruleEngine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ruleEngine.js","sourceRoot":"","sources":["../../src/invariants/ruleEngine.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,SAAS,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAClC,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAehC,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAE9C,6EAA6E;AAE7E,+CAA+C;AAC/C,MAAM,YAAY,GAAG,IAAI,GAAG,EAAwC,CAAC;AAErE,SAAS,cAAc,CAAC,OAAe,EAAE,IAAY;IACnD,IAAI,CAAC,GAAG,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAClC,IAAI,CAAC,CAAC,EAAE,CAAC;QACP,CAAC,GAAG,SAAS,CAAC,OAAO,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;QACtC,YAAY,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC;AACjB,CAAC;AAED,SAAS,UAAU,CAAC,QAAkB,EAAE,IAAY;IAClD,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,WAAW,CAAC,QAAkB,EAAE,IAAY;IACnD,OAAO,CAAC,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;AACrC,CAAC;AAiBD;;GAEG;AACH,SAAS,YAAY,CAAC,MAAc,EAAE,MAAc;IAClD,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAChC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI;YAAE,IAAI,EAAE,CAAC;IACjC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAS,cAAc,CAAC,QAAgB;IACtC,IAAI,MAAc,CAAC;IACnB,IAAI,CAAC;QACH,MAAM,GAAG,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC3C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,OAAO,GAAiB,EAAE,CAAC;IAEjC,2EAA2E;IAC3E,uEAAuE;IACvE,oEAAoE;IACpE,sCAAsC;IACtC,mEAAmE;IACnE,MAAM,QAAQ,GAAG,qCAAqC,CAAC;IACvD,IAAI,CAAyB,CAAC;IAC9B,OAAO,CAAC,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAC5C,OAAO,CAAC,IAAI,CAAC;YACX,eAAe,EAAE,CAAC,CAAC,CAAC,CAAC;YACrB,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,KAAK;YAChB,SAAS,EAAE,KAAK;YAChB,IAAI,EAAE,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC;SACpC,CAAC,CAAC;IACL,CAAC;IAED,2EAA2E;IAC3E,MAAM,SAAS,GAAG,wCAAwC,CAAC;IAC3D,OAAO,CAAC,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAC7C,OAAO,CAAC,IAAI,CAAC;YACX,eAAe,EAAE,CAAC,CAAC,CAAC,CAAC;YACrB,QAAQ,EAAE,KAAK;YACf,SAAS,EAAE,IAAI;YACf,SAAS,EAAE,KAAK;YAChB,IAAI,EAAE,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC;SACpC,CAAC,CAAC;IACL,CAAC;IAED,2EAA2E;IAC3E,MAAM,SAAS,GAAG,yCAAyC,CAAC;IAC5D,OAAO,CAAC,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAC7C,OAAO,CAAC,IAAI,CAAC;YACX,eAAe,EAAE,CAAC,CAAC,CAAC,CAAC;YACrB,QAAQ,EAAE,KAAK;YACf,SAAS,EAAE,KAAK;YAChB,SAAS,EAAE,IAAI;YACf,IAAI,EAAE,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC;SACpC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,6EAA6E;AAE7E,SAAS,cAAc,CACrB,IAAmB,EACnB,QAAgB,EAChB,OAAqB;IAErB,MAAM,UAAU,GAAoB,EAAE,CAAC;IAEvC,0CAA0C;IAC1C,IAAI,IAAI,CAAC,MAAM,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC;QACrD,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,eAAe,CAAC,EAAE,CAAC;YACrD,UAAU,CAAC,IAAI,CAAC;gBACd,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,IAAI,EAAE,YAAY;gBAClB,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,4BAA4B,GAAG,CAAC,eAAe,GAAG;gBAC3E,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,6EAA6E;AAE7E,SAAS,mBAAmB,CAC1B,IAAwB,EACxB,QAAgB,EAChB,OAAqB,EACrB,iBAAyE;IAEzE,MAAM,UAAU,GAAoB,EAAE,CAAC;IAEvC,mCAAmC;IACnC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;QACzC,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,2EAA2E;QAC3E,MAAM,QAAQ,GAAG,iBAAiB,CAAC,QAAQ,EAAE,GAAG,CAAC,eAAe,CAAC,CAAC;QAClE,IAAI,QAAQ,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,CAAC;YAClD,UAAU,CAAC,IAAI,CAAC;gBACd,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,IAAI,EAAE,iBAAiB;gBACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,OAAO,EAAE,IAAI,CAAC,OAAO;oBACnB,SAAS,QAAQ,cAAc,GAAG,CAAC,eAAe,uCAAuC,IAAI,CAAC,EAAE,GAAG;gBACrG,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,6EAA6E;AAE7E;;;GAGG;AACH,SAAS,qBAAqB,CAAC,QAAgB,EAAE,SAAiB;IAChE,4CAA4C;IAC5C,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,gEAAgE;IAChE,MAAM,OAAO,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;IACjE,MAAM,KAAK,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC;IACzD,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAClC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,EAAE;YAAE,SAAS;QACxC,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,QAAQ,CAAC,GAAG,EAAE,CAAC;YACf,SAAS;QACX,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrB,CAAC;IAED,wCAAwC;IACxC,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,4BAA4B,CAAC,EAAE,CAAC;QAChD,OAAO,IAAI,CAAC,CAAC,oCAAoC;IACnD,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CAAC,QAAgB,EAAE,SAAiB,EAAE,UAAmB;IACjF,MAAM,IAAI,GAAG,qBAAqB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACxD,IAAI,IAAI,EAAE,CAAC;QACT,uBAAuB;QACvB,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,UAAU,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACzD,IAAI,CAAC;YAAC,YAAY,CAAC,IAAI,CAAC,CAAC;YAAC,OAAO,IAAI,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,OAAO,IAAI,CAAC;QAAC,CAAC;IACjE,CAAC;IAED,wBAAwB;IACxB,MAAM,OAAO,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;IACjE,MAAM,KAAK,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC;IACzD,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAClC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,EAAE;YAAE,SAAS;QACxC,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,QAAQ,CAAC,GAAG,EAAE,CAAC;YACf,SAAS;QACX,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrB,CAAC;IAED,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,UAAU,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IAElD,mBAAmB;IACnB,KAAK,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC;QACjD,MAAM,SAAS,GAAG,QAAQ,GAAG,GAAG,CAAC;QACjC,IAAI,CAAC;YACH,YAAY,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;YACjC,OAAO,SAAS,CAAC;QACnB,CAAC;QAAC,MAAM,CAAC;YACP,yCAAyC;QAC3C,CAAC;IACH,CAAC;IAED,kBAAkB;IAClB,KAAK,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC;QACjD,MAAM,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,GAAG,CAAC;QAC5C,IAAI,CAAC;YACH,YAAY,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;YACjC,OAAO,SAAS,CAAC;QACnB,CAAC;QAAC,MAAM,CAAC;YACP,6BAA6B;QAC/B,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,4EAA4E;AAE5E,SAAS,mBAAmB,CAC1B,IAAwB,EACxB,aAAkF;IAElF,MAAM,UAAU,GAAoB,EAAE,CAAC;IAEvC,gDAAgD;IAChD,MAAM,WAAW,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,UAAU,GAAG,WAAW,CAAC,QAAQ,CAAC;IACxC,MAAM,UAAU,GAAG,WAAW,CAAC,YAAY,CAAC;IAE5C,yCAAyC;IACzC,MAAM,eAAe,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;QAC/C,IAAI,UAAU,IAAI,CAAC,CAAC,UAAU,KAAK,UAAU;YAAE,OAAO,KAAK,CAAC;QAC5D,IAAI,UAAU,IAAI,CAAC,cAAc,CAAC,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC;YAAE,OAAO,KAAK,CAAC;QACxE,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;IAEH,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC;IAEpD,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACnB,4DAA4D;QAC5D,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;YACnC,IAAI,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC/C,UAAU,CAAC,IAAI,CAAC;oBACd,MAAM,EAAE,IAAI,CAAC,EAAE;oBACf,IAAI,EAAE,iBAAiB;oBACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,OAAO,EAAE,IAAI,CAAC,OAAO;wBACnB,WAAW,IAAI,CAAC,UAAU,SAAS,IAAI,CAAC,QAAQ,0CAA0C,IAAI,CAAC,UAAU,GAAG;oBAC9G,IAAI,EAAE,IAAI,CAAC,QAAQ;oBACnB,MAAM,EAAE,IAAI,CAAC,UAAU;oBACvB,MAAM,EAAE,IAAI,CAAC,UAAU;oBACvB,MAAM,EAAE,IAAI,CAAC,UAAU;iBACxB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;SAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QACzB,yDAAyD;QACzD,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;YACnC,IAAI,UAAU,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC7C,UAAU,CAAC,IAAI,CAAC;oBACd,MAAM,EAAE,IAAI,CAAC,EAAE;oBACf,IAAI,EAAE,iBAAiB;oBACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,OAAO,EAAE,IAAI,CAAC,OAAO;wBACnB,WAAW,IAAI,CAAC,UAAU,SAAS,IAAI,CAAC,QAAQ,6BAA6B,IAAI,CAAC,UAAU,GAAG;oBACjG,IAAI,EAAE,IAAI,CAAC,QAAQ;oBACnB,MAAM,EAAE,IAAI,CAAC,UAAU;oBACvB,MAAM,EAAE,IAAI,CAAC,UAAU;oBACvB,MAAM,EAAE,IAAI,CAAC,UAAU;iBACxB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AAOD,SAAS,WAAW,CAAC,MAAc;IACjC,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACxC,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QACjB,OAAO;YACL,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,IAAI;YAC9C,YAAY,EAAE,MAAM,CAAC,SAAS,CAAC,OAAO,GAAG,CAAC,CAAC;SAC5C,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC;AAClD,CAAC;AAED,6EAA6E;AAE7E,SAAS,WAAW,CAClB,IAAgB,EAChB,QAAgB,EAChB,eAAsD;IAEtD,MAAM,UAAU,GAAoB,EAAE,CAAC;IAEvC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;QACzC,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,IAAI,KAAa,CAAC;IAClB,IAAI,CAAC;QACH,KAAK,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACnC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,UAAU,CAAC,CAAC,sDAAsD;IAC3E,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,eAAe,EAAE,CAAC;QAClC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,UAAU,CAAC,IAAI,CAAC;gBACd,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,OAAO,EAAE,IAAI,CAAC,OAAO;oBACnB,oBAAoB,GAAG,CAAC,IAAI,uCAAuC,IAAI,CAAC,OAAO,GAAG;gBACpF,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,MAAM,EAAE,GAAG,CAAC,IAAI;aACjB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,8EAA8E;AAE9E;;;;;GAKG;AACH,SAAS,eAAe,CAAC,IAAY;IACnC,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,YAAY,EAAE,OAAO,KAAK,CAAC;QAChC,KAAK,YAAY,EAAE,OAAO,YAAY,CAAC;QACvC,KAAK,IAAI,EAAE,OAAO,IAAI,CAAC;QACvB,SAAS,OAAO,KAAK,CAAC;IACxB,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CACtB,IAAoB,EACpB,QAAgB,EAChB,MAAc;IAEd,MAAM,UAAU,GAAoB,EAAE,CAAC;IAEvC,yBAAyB;IACzB,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;QACtD,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,QAAQ,IAAI,YAAY,CAAC,CAAC;IAC5D,IAAI,IAAiC,CAAC;IACtC,IAAI,CAAC;QACH,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAChC,CAAC;IAAC,MAAM,CAAC;QACP,uDAAuD;QACvD,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAC7B,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAE/C,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;QAC5B,UAAU,CAAC,IAAI,CAAC;YACd,MAAM,EAAE,IAAI,CAAC,EAAE;YACf,IAAI,EAAE,aAAa;YACnB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,yBAAyB,KAAK,CAAC,IAAI,EAAE,GAAG;YACjE,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAI,6BAA6B;YAC3D,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,+BAA+B;YAC/D,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;SAC7B,CAAC,CAAC;IACL,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,6EAA6E;AAE7E;;;;;;GAMG;AACH,SAAS,sBAAsB,CAAC,QAAgB;IAC9C,IAAI,MAAc,CAAC;IACnB,IAAI,CAAC;QACH,MAAM,GAAG,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC3C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,OAAO,GAA0C,EAAE,CAAC;IAE1D,2EAA2E;IAC3E,6EAA6E;IAC7E,MAAM,MAAM,GAAG,qFAAqF,CAAC;IACrG,IAAI,CAAyB,CAAC;IAC9B,OAAO,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,wDAAwD;QACnF,IAAI,IAAI,EAAE,CAAC;YACT,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,8DAA8D;IAC9D,MAAM,QAAQ,GAAG,yBAAyB,CAAC;IAC3C,OAAO,CAAC,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAClB,4EAA4E;QAC5E,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YACnC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YAC1C,IAAI,SAAS,EAAE,CAAC;gBACd,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC5E,CAAC;QACH,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,kCAAkC;IAClC,MAAM,WAAW,GAAG,sCAAsC,CAAC;IAC3D,OAAO,CAAC,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAC/C,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACpE,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAeD;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,OAA0B;IACnD,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;IACjD,MAAM,UAAU,GAAoB,EAAE,CAAC;IACvC,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;IACvC,CAAC;IAED,6CAA6C;IAC7C,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAoB,CAAC;IACjF,MAAM,eAAe,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAyB,CAAC;IAChG,MAAM,gBAAgB,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAyB,CAAC;IACjG,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAiB,CAAC;IAC3E,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAqB,CAAC;IAQpF,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;IAEhD,8DAA8D;IAC9D,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,yCAAyC;QACzC,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAC7C,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,UAAU,IAAI,UAAU,EAAE,CAAC;QAC7E,IAAI,CAAC;YACH,WAAW,CAAC,GAAG,CAAC,UAAU,EAAE;gBAC1B,OAAO,EAAE,cAAc,CAAC,QAAQ,CAAC;gBACjC,OAAO,EAAE,sBAAsB,CAAC,QAAQ,CAAC;aAC1C,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,GAAQ,EAAE,CAAC;YAClB,MAAM,CAAC,IAAI,CAAC,iBAAiB,IAAI,KAAK,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IAED,uBAAuB;IACvB,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,WAAW,EAAE,CAAC;YAC3C,UAAU,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IAED,4BAA4B;IAC5B,KAAK,MAAM,IAAI,IAAI,gBAAgB,EAAE,CAAC;QACpC,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,WAAW,EAAE,CAAC;YAC3C,UAAU,CAAC,IAAI,CACb,GAAG,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAChH,CAAC;QACJ,CAAC;IACH,CAAC;IAED,mBAAmB;IACnB,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC/B,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,WAAW,EAAE,CAAC;YAC3C,UAAU,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IAED,0CAA0C;IAC1C,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC;QACrC,IAAI,CAAC;YACH,MAAM,aAAa,GAAG,gBAAgB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YAClD,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;gBACnC,UAAU,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC;YAC/D,CAAC;QACH,CAAC;QAAC,OAAO,GAAQ,EAAE,CAAC;YAClB,MAAM,CAAC,IAAI,CAAC,oCAAoC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IAED,8CAA8C;IAC9C,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;gBAC7C,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,UAAU,IAAI,UAAU,EAAE,CAAC;gBAC7E,IAAI,CAAC;oBACH,MAAM,MAAM,GAAG,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;oBAC/C,UAAU,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;gBAChE,CAAC;gBAAC,OAAO,GAAQ,EAAE,CAAC;oBAClB,MAAM,CAAC,IAAI,CAAC,8BAA8B,IAAI,CAAC,EAAE,QAAQ,IAAI,KAAK,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;gBACnF,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;AACvC,CAAC;AAED;;;GAGG;AACH,SAAS,gBAAgB,CACvB,EAAe,EACf,WAAqB;IAErB,MAAM,KAAK,GAAG,EAAS,CAAC;IACxB,IAAI,CAAC,KAAK,CAAC,EAAE;QAAE,OAAO,EAAE,CAAC;IAEzB,MAAM,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC;;;;GAI7B,CAAC,CAAC,GAAG,EAA4E,CAAC;IAEnF,kDAAkD;IAClD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QACtE,OAAO,IAAI;aACR,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;aACrC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACT,QAAQ,EAAE,CAAC,CAAC,SAAS;YACrB,UAAU,EAAE,CAAC,CAAC,WAAW;YACzB,UAAU,EAAE,CAAC,CAAC,WAAW;SAC1B,CAAC,CAAC,CAAC;IACR,CAAC;IAED,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACpB,QAAQ,EAAE,CAAC,CAAC,SAAS;QACrB,UAAU,EAAE,CAAC,CAAC,WAAW;QACzB,UAAU,EAAE,CAAC,CAAC,WAAW;KAC1B,CAAC,CAAC,CAAC;AACN,CAAC;AAED,iDAAiD;AACjD,MAAM,UAAU,iBAAiB;IAC/B,YAAY,CAAC,KAAK,EAAE,CAAC;AACvB,CAAC"}

package/dist/invariants/ruleValidator.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Validates invariant rules using AJV JSON Schema + custom business logic.
+ */
+export interface RuleValidationError {
+    ruleId?: string;
+    message: string;
+}
+/**
+ * Validate rules config against the JSON Schema and custom business rules.
+ * Returns a list of validation errors (empty = valid).
+ */
+export declare function validateRulesConfig(config: unknown): RuleValidationError[];
+/**
+ * Check whether a config has any rules defined.
+ */
+export declare function hasRules(config: unknown): boolean;
+//# sourceMappingURL=ruleValidator.d.ts.map

package/dist/invariants/ruleValidator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ruleValidator.d.ts","sourceRoot":"","sources":["../../src/invariants/ruleValidator.ts"],"names":[],"mappings":"AAAA;;GAEG;AAOH,MAAM,WAAW,mBAAmB;IAClC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;CACjB;AAmBD;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,OAAO,GAAG,mBAAmB,EAAE,CA6C1E;AAkND;;GAEG;AACH,wBAAgB,QAAQ,CAAC,MAAM,EAAE,OAAO,GAAG,OAAO,CAEjD"}