code-auditor-mcp 4.1.0 → 5.0.1

package/dist/phase/rules/solid.js

@@ -0,0 +1,562 @@
+/**
+ * Spec 68 §3.2 vertical slice — the SOLID rules, migrated to `analyze(ctx)`.
+ *
+ * These were the per-file AST checks inside `UniversalSOLIDAnalyzer`; now they
+ * read the `file-symbols` fact (a flat array of function / class / interface
+ * symbols with metrics pre-computed at process time) and do pure threshold
+ * comparison. No AST, no adapter, no source code reaches a rule — the tree died
+ * with the file.
+ *
+ * Eight TypeScript rules migrate here. The Go size rules are re-declared against
+ * the Go facts in §9: `struct-size` and `interface-size`'s Go arm read the
+ * `type-declarations` fact (§9); `switch-size`, `function-size` and the Go
+ * `liskov-substitution` read the §9 Go facts added in their own slices. The
+ * thresholds are the Go binary's hardcoded values (struct 15, interface 10),
+ * not the TS config keys (`maxInterfaceMembers` is the TS arm only).
+ *
+ * `message` / `docs` / `thresholds` / `samples` are the same text the rule
+ * registry already carries (ruleRegistry.ts) — pulled by reference so the two
+ * cannot drift before §15 folds the registry into these definitions. `severity`
+ * and `analyze` are new here; the registry never carried `severity`.
+ */
+import { RULE_REGISTRY } from '../../analyzers/ruleRegistry.js';
+/** The shared declaration for every TS SOLID rule in this slice. */
+function qualifiedMethod(clsName, methodName) {
+    return `${clsName}.${methodName}`;
+}
+/** Read a numeric threshold with a documented fallback (the same value as
+ *  `DEFAULT_SOLID_CONFIG`; config resolution proper lands in §10). */
+function num(t, key, fallback) {
+    const v = t[key];
+    return typeof v === 'number' ? v : fallback;
+}
+/** The SOLID analyzer's test-file detector — mirrors `UniversalSOLIDAnalyzer`
+ *  `isTestFile` exactly. This is deliberately NOT `reachability.isTestFile`:
+ *  the SOLID analyzer matched `/test\//` and `/tests\//` as *substrings*, so
+ *  `integration-tests/` is a test file here (it contains `tests/`) even though
+ *  `reachability.isTestFile` (leading-slash `includes('/tests/')`) does not. */
+function isTestFile(filePath) {
+    const testPatterns = [
+        /\.test\.[jt]sx?$/,
+        /\.spec\.[jt]sx?$/,
+        /__tests__\//,
+        /test\//,
+        /tests\//,
+    ];
+    return testPatterns.some((pattern) => pattern.test(filePath));
+}
+/** Honor the legacy `skipTestFiles` gate (default true): the whole file is
+ *  skipped, so drop every symbol in a test/spec file before any TS SOLID rule
+ *  iterates. Mirrors `UniversalSOLIDAnalyzer.analyzeAST`'s top-of-file return. */
+function visibleSymbols(symbols, thresholds) {
+    if (!thresholds['skipTestFiles'])
+        return symbols;
+    return symbols.filter((s) => !isTestFile(s.file));
+}
+/** The baseline symbol identity the old analyzer used for a function/method. */
+function symbolOf(name, line, column) {
+    if (name && name !== '<anonymous>')
+        return name;
+    return `anonymous@${line}:${column ?? 0}`;
+}
+function collectFunctionLikes(symbols) {
+    const out = [];
+    for (const s of symbols) {
+        if (s.kind === 'function') {
+            out.push(s);
+        }
+        else if (s.kind === 'class') {
+            for (const m of s.methods) {
+                out.push({ name: m.name, file: s.file, line: m.line, column: m.column, parameterCount: m.parameterCount, parameterNames: m.parameterNames, lineCount: m.lineCount, complexity: m.complexity, concernGroups: m.concernGroups });
+            }
+        }
+    }
+    return out;
+}
+/** The function-likes exceeding a numeric threshold, with the resolved max.
+ *  `function-length` and `parameter-count` both iterate the same symbol set and
+ *  compare one metric (`lineCount` / `parameterCount`) against a threshold key;
+ *  only the metric, key, and message/resolution prose differ. */
+function collectOversizedFunctionLikes(ctx, thresholdKey, fallback, measure) {
+    const max = num(ctx.thresholds, thresholdKey, fallback);
+    const out = [];
+    for (const fn of collectFunctionLikes(visibleSymbols(ctx.facts['file-symbols'], ctx.thresholds))) {
+        if (measure(fn) <= max)
+            continue;
+        out.push({ fn, max });
+    }
+    return out;
+}
+/** A finding with the fields every SOLID rule shares. */
+function finding(opts) {
+    const { ruleId, severity, message, file, line, column, symbol, resolution } = opts;
+    return { ruleId, severity, message, file, line, column, symbol, resolution };
+}
+/** Build the two size rules (`function-length`, `parameter-count`), which differ
+ *  only in the metric, threshold key, message, and resolution. The shared
+ *  `RuleDefinition` scaffolding and the `analyze` body (collect oversized
+ *  function-likes → `finding`) are identical, so they live here once; each rule
+ *  is a `makeSizeRule({ ... })` call carrying only the varying prose. */
+function makeSizeRule(spec) {
+    const exemptions = spec.exemptions ?? {};
+    return {
+        id: spec.id,
+        analyzer: 'solid',
+        needs: { formats: ['typescript', 'tsx', 'javascript'], facts: ['file-symbols'] },
+        severity: 'high',
+        message: META[spec.id].message,
+        docs: META[spec.id].docs,
+        thresholds: META[spec.id].thresholds,
+        thresholdRationale: META[spec.id].thresholdRationale,
+        samples: META[spec.id].samples,
+        analyze(ctx) {
+            return collectOversizedFunctionLikes(ctx, spec.thresholdKey, spec.fallback, spec.measure)
+                .filter(({ fn }) => !(fn.name in exemptions))
+                .map(({ fn, max }) => finding({
+                ruleId: spec.id, severity: 'high', message: spec.messageFor(fn, max),
+                file: fn.file, line: fn.line, column: fn.column, symbol: symbolOf(fn.name, fn.line, fn.column),
+                resolution: spec.resolutionFor(fn),
+            }));
+        },
+    };
+}
+const META = RULE_REGISTRY;
+// ── solid/class-size ────────────────────────────────────────────────────────
+const classSize = {
+    id: 'solid/class-size',
+    analyzer: 'solid',
+    needs: { formats: ['typescript', 'tsx', 'javascript'], facts: ['file-symbols'] },
+    severity: 'high',
+    message: META['solid/class-size'].message,
+    docs: META['solid/class-size'].docs,
+    thresholds: META['solid/class-size'].thresholds,
+    thresholdRationale: META['solid/class-size'].thresholdRationale,
+    samples: META['solid/class-size'].samples,
+    analyze(ctx) {
+        const out = [];
+        const methodsThreshold = num(ctx.thresholds, 'classMethodsThreshold', num(ctx.thresholds, 'maxMethodsPerClass', 20));
+        const maxAggregate = num(ctx.thresholds, 'classAggregateComplexity', 150);
+        for (const s of visibleSymbols(ctx.facts['file-symbols'], ctx.thresholds)) {
+            if (s.kind !== 'class')
+                continue;
+            const cls = s;
+            const line = cls.line;
+            const column = cls.column;
+            if (cls.methodCount > methodsThreshold) {
+                out.push(finding({
+                    ruleId: 'solid/class-size', severity: 'high',
+                    message: `Class "${cls.name}" has ${cls.methodCount} methods, exceeding the maximum of ${methodsThreshold}. Consider splitting into smaller classes.`,
+                    file: cls.file, line, column, symbol: cls.name,
+                    resolution: {
+                        action: 'split-class',
+                        summary: `Split class "${cls.name}" (${cls.methodCount} methods) into smaller classes by extracting a cohesive subset of its methods.`,
+                        symbols: cls.methods.map((m) => qualifiedMethod(cls.name, m.name)),
+                        files: [cls.file],
+                        lines: cls.methods.map((m) => m.line),
+                    },
+                }));
+            }
+            if (cls.aggregateComplexity > maxAggregate) {
+                out.push(finding({
+                    ruleId: 'solid/class-size', severity: 'high',
+                    message: `Class "${cls.name}" has aggregate cyclomatic complexity ${cls.aggregateComplexity}, exceeding the maximum of ${maxAggregate}. Consider splitting the class.`,
+                    file: cls.file, line, column, symbol: cls.name,
+                    resolution: {
+                        action: 'split-class',
+                        summary: `Split class "${cls.name}" (aggregate complexity ${cls.aggregateComplexity}) to move its most-complex methods into a separate class.`,
+                        symbols: cls.methods.map((m) => qualifiedMethod(cls.name, m.name)),
+                        files: [cls.file],
+                        lines: cls.methods.map((m) => m.line),
+                    },
+                }));
+            }
+        }
+        return out;
+    },
+};
+// ── solid/method-complexity ─────────────────────────────────────────────────
+const methodComplexity = {
+    id: 'solid/method-complexity',
+    analyzer: 'solid',
+    needs: { formats: ['typescript', 'tsx', 'javascript'], facts: ['file-symbols'] },
+    severity: 'high',
+    message: META['solid/method-complexity'].message,
+    docs: META['solid/method-complexity'].docs,
+    thresholds: META['solid/method-complexity'].thresholds,
+    thresholdRationale: META['solid/method-complexity'].thresholdRationale,
+    samples: META['solid/method-complexity'].samples,
+    analyze(ctx) {
+        const out = [];
+        const max = num(ctx.thresholds, 'maxMethodComplexity', 50);
+        for (const s of visibleSymbols(ctx.facts['file-symbols'], ctx.thresholds)) {
+            if (s.kind === 'function') {
+                const f = s;
+                if (f.complexity > max) {
+                    out.push(finding({
+                        ruleId: 'solid/method-complexity', severity: 'high',
+                        message: `Function "${f.name}" has cyclomatic complexity ${f.complexity}, exceeding the maximum of ${max}. Consider breaking it into smaller functions.`,
+                        file: f.file, line: f.line, column: f.column, symbol: symbolOf(f.name, f.line, f.column),
+                    }));
+                }
+            }
+            else if (s.kind === 'class') {
+                const cls = s;
+                for (const m of cls.methods) {
+                    if (m.complexity > max) {
+                        out.push(finding({
+                            ruleId: 'solid/method-complexity', severity: 'high',
+                            message: `Method "${cls.name}.${m.name}" has cyclomatic complexity ${m.complexity}, exceeding the maximum of ${max}. Consider breaking it into smaller methods.`,
+                            file: cls.file, line: m.line, column: m.column, symbol: qualifiedMethod(cls.name, m.name),
+                        }));
+                    }
+                }
+            }
+        }
+        return out;
+    },
+};
+// ── solid/open-closed ───────────────────────────────────────────────────────
+/** The built-in error types an `extends` chain can terminate at. A class whose
+ *  `extends` resolves (transitively, against repo declarations) to one of these
+ *  is an error type, and an `instanceof` against it is a catch-dispatch guard,
+ *  not an extensibility (OCP) violation. */
+const BUILTIN_ERRORS = new Set([
+    'Error', 'TypeError', 'RangeError', 'SyntaxError', 'ReferenceError',
+    'EvalError', 'URIError', 'AggregateError',
+]);
+/** True when `name` is an Error subclass, resolved transitively against the
+ *  corpus-wide class declarations in the resolution fact. Resolution is
+ *  unique-global (case-insensitive): a name that matches zero or many classes
+ *  does not resolve, so a missing or ambiguous declaration is "not an error" and
+ *  the `instanceof` still fires — the conservative direction (a missing edge is
+ *  safer than a fabricated one). This is NOT a `/Error$/` name test: it walks
+ *  the `extends` chain, so a domain class whose name merely ends in "Error" does
+ *  not pass, and an error whose name does not (e.g. a custom `extends Error`)
+ *  does. */
+function isErrorSubclass(name, classes) {
+    const seen = new Set();
+    let current = name;
+    while (current) {
+        if (BUILTIN_ERRORS.has(current))
+            return true;
+        const key = current.toLowerCase();
+        if (seen.has(key))
+            return false;
+        seen.add(key);
+        const matches = classes.filter((c) => c.name.toLowerCase() === key);
+        if (matches.length !== 1)
+            return false;
+        current = matches[0].extends ?? '';
+    }
+    return false;
+}
+const openClosed = {
+    id: 'solid/open-closed',
+    analyzer: 'solid',
+    needs: { formats: ['typescript', 'tsx', 'javascript'], facts: ['file-symbols', 'resolution'] },
+    severity: 'high',
+    message: META['solid/open-closed'].message,
+    docs: META['solid/open-closed'].docs,
+    thresholds: META['solid/open-closed'].thresholds,
+    samples: META['solid/open-closed'].samples,
+    analyze(ctx) {
+        const out = [];
+        const symbols = visibleSymbols(ctx.facts['file-symbols'], ctx.thresholds);
+        const classes = symbols.filter((s) => s.kind === 'class');
+        const resolutionClasses = ctx.facts['resolution'].classes;
+        for (const cls of classes) {
+            if (cls.instanceofTargets.length === 0)
+                continue;
+            // An `instanceof` against an Error subclass is a catch-dispatch guard
+            // (resolve the target up its extends chain), not an OCP violation. Only a
+            // remaining domain type fires.
+            const domainTargets = cls.instanceofTargets.filter((t) => !isErrorSubclass(t, resolutionClasses));
+            if (domainTargets.length === 0)
+                continue;
+            out.push(finding({
+                ruleId: 'solid/open-closed', severity: 'high',
+                message: `Class "${cls.name}" uses instanceof against a user-defined type. Consider composition or inheritance for extension.`,
+                file: cls.file, line: cls.line, column: cls.column, symbol: cls.name,
+            }));
+        }
+        return out;
+    },
+};
+// ── solid/single-responsibility ─────────────────────────────────────────────
+const singleResponsibility = {
+    id: 'solid/single-responsibility',
+    analyzer: 'solid',
+    needs: { formats: ['typescript', 'tsx', 'javascript'], facts: ['file-symbols'] },
+    severity: 'high',
+    message: META['solid/single-responsibility'].message,
+    docs: META['solid/single-responsibility'].docs,
+    thresholds: META['solid/single-responsibility'].thresholds,
+    samples: META['solid/single-responsibility'].samples,
+    analyze(ctx) {
+        const out = [];
+        for (const fn of collectFunctionLikes(visibleSymbols(ctx.facts['file-symbols'], ctx.thresholds))) {
+            const groups = fn.concernGroups;
+            if (groups.length < 2)
+                continue;
+            const labels = groups.join(', ');
+            out.push(finding({
+                ruleId: 'solid/single-responsibility', severity: 'high',
+                message: `Function "${fn.name}" mixes ${groups.length} unrelated concerns (${labels}). Split it into one function per concern.`,
+                file: fn.file, line: fn.line, column: fn.column, symbol: symbolOf(fn.name, fn.line, fn.column),
+                resolution: {
+                    action: 'split-function',
+                    summary: `Split "${fn.name}" into one function per concern (${labels}) and compose them at the call site.`,
+                    symbols: [fn.name],
+                    files: [fn.file],
+                    lines: [fn.line],
+                },
+            }));
+        }
+        return out;
+    },
+};
+// ── function-length ─────────────────────────────────────────────────────────
+const functionLength = makeSizeRule({
+    id: 'function-length',
+    thresholdKey: 'maxLinesPerMethod',
+    fallback: 200,
+    measure: (fn) => fn.lineCount,
+    messageFor: (fn, max) => `Function "${fn.name}" has ${fn.lineCount} lines, exceeding the maximum of ${max}. Consider breaking it down.`,
+    resolutionFor: (fn) => ({
+        action: 'break-down-function',
+        summary: `Break "${fn.name}" (${fn.lineCount} lines) into smaller functions, extracting named helper blocks.`,
+        symbols: [fn.name],
+        files: [fn.file],
+        lines: [fn.line],
+    }),
+});
+// ── parameter-count ─────────────────────────────────────────────────────────
+const parameterCount = makeSizeRule({
+    id: 'parameter-count',
+    thresholdKey: 'maxParametersPerMethod',
+    fallback: 6,
+    measure: (fn) => fn.parameterCount,
+    messageFor: (fn, max) => `Function "${fn.name}" has ${fn.parameterCount} parameters, exceeding the maximum of ${max}. Consider using an options object.`,
+    resolutionFor: (fn) => ({
+        action: 'bundle-params',
+        summary: `Bundle the ${fn.parameterCount} parameters of "${fn.name}" into an options object.`,
+        symbols: fn.parameterNames,
+        files: [fn.file],
+        lines: [fn.line],
+    }),
+});
+// ── interface-size ──────────────────────────────────────────────────────────
+const interfaceSize = {
+    id: 'interface-size',
+    analyzer: 'solid',
+    needs: { formats: ['typescript', 'tsx', 'javascript', 'go'], facts: ['file-symbols', 'type-declarations'] },
+    severity: 'high',
+    message: META['interface-size'].message,
+    docs: META['interface-size'].docs,
+    thresholds: META['interface-size'].thresholds,
+    thresholdRationale: META['interface-size'].thresholdRationale,
+    samples: META['interface-size'].samples,
+    analyze(ctx) {
+        const out = [];
+        // TypeScript arm: `maxInterfaceMembers` (25) over `file-symbols`.
+        const max = num(ctx.thresholds, 'maxInterfaceMembers', 25);
+        for (const s of visibleSymbols(ctx.facts['file-symbols'], ctx.thresholds)) {
+            if (s.kind !== 'interface')
+                continue;
+            const iface = s;
+            if (!iface.hasMethodMembers || iface.memberCount <= max)
+                continue;
+            out.push(finding({
+                ruleId: 'interface-size', severity: 'high',
+                message: `Interface "${iface.name}" has ${iface.memberCount} members, exceeding the maximum of ${max}. Consider splitting this large interface into smaller interfaces.`,
+                file: iface.file, line: iface.line, column: iface.column, symbol: iface.name,
+            }));
+        }
+        // Go arm: the Go binary's hardcoded threshold (10 methods), read from
+        // `type-declarations`. Column is 0 — the Go binary never sets it.
+        for (const decl of ctx.facts['type-declarations']) {
+            if (decl.kind !== 'interface')
+                continue;
+            if (decl.methodCount <= 10)
+                continue;
+            out.push(finding({
+                ruleId: 'interface-size', severity: 'high',
+                message: `Interface "${decl.name}" has ${decl.methodCount} methods, exceeding the maximum of 10. Consider splitting this large interface into smaller, more focused interfaces.`,
+                file: decl.file, line: decl.line, column: 0, symbol: decl.name,
+            }));
+        }
+        return out;
+    },
+};
+// ── struct-size ─────────────────────────────────────────────────────────────
+const structSize = {
+    id: 'struct-size',
+    analyzer: 'solid',
+    needs: { formats: ['go'], facts: ['type-declarations'] },
+    severity: 'high',
+    message: META['struct-size'].message,
+    docs: META['struct-size'].docs,
+    thresholds: META['struct-size'].thresholds,
+    thresholdRationale: META['struct-size'].thresholdRationale,
+    samples: META['struct-size'].samples,
+    analyze(ctx) {
+        const out = [];
+        for (const decl of ctx.facts['type-declarations']) {
+            if (decl.kind !== 'struct')
+                continue;
+            // The Go binary's hardcoded threshold (15 fields). Column 0 matches the
+            // Go binary, which never sets it.
+            if (decl.fieldCount <= 15)
+                continue;
+            out.push(finding({
+                ruleId: 'struct-size', severity: 'high',
+                message: `Struct "${decl.name}" has ${decl.fieldCount} fields, exceeding the maximum of 15. Consider splitting this struct into smaller, more focused structs.`,
+                file: decl.file, line: decl.line, column: 0, symbol: decl.name,
+            }));
+        }
+        return out;
+    },
+};
+// ── function-size (Go) ──────────────────────────────────────────────────────
+const functionSize = {
+    id: 'function-size',
+    analyzer: 'solid',
+    needs: { formats: ['go'], facts: ['go-functions'] },
+    severity: 'high',
+    message: META['function-size'].message,
+    docs: META['function-size'].docs,
+    thresholds: META['function-size'].thresholds,
+    thresholdRationale: META['function-size'].thresholdRationale,
+    samples: META['function-size'].samples,
+    analyze(ctx) {
+        const out = [];
+        for (const fn of ctx.facts['go-functions']) {
+            // The Go binary's AND-combined size signal (solid.go `analyzeFunctionSize`):
+            // complexity > 20 && returns > 2 && params > 6. Column 0 matches the Go
+            // binary, which never sets it.
+            if (!(fn.complexity > 20 && fn.returnCount > 2 && fn.parameterCount > 6))
+                continue;
+            out.push(finding({
+                ruleId: 'function-size', severity: 'high',
+                message: `Function "${fn.name}" has many parameters, multiple returns, and high complexity. Consider breaking it into smaller, more focused functions.`,
+                file: fn.file, line: fn.line, column: 0, symbol: fn.name,
+            }));
+        }
+        return out;
+    },
+};
+// ── switch-size (Go) ────────────────────────────────────────────────────────
+const switchSize = {
+    id: 'switch-size',
+    analyzer: 'solid',
+    needs: { formats: ['go'], facts: ['go-switches'] },
+    severity: 'high',
+    message: META['switch-size'].message,
+    docs: META['switch-size'].docs,
+    thresholds: META['switch-size'].thresholds,
+    thresholdRationale: META['switch-size'].thresholdRationale,
+    samples: META['switch-size'].samples,
+    analyze(ctx) {
+        const out = [];
+        for (const sw of ctx.facts['go-switches']) {
+            // The Go binary's hardcoded threshold (8 cases, `default` included).
+            if (sw.caseCount <= 8)
+                continue;
+            out.push(finding({
+                ruleId: 'switch-size', severity: 'high',
+                message: sw.kind === 'type-switch'
+                    ? 'Type switch has many case clauses. Consider consolidating related cases; a type switch over a sealed set is maintainable, but an open set grows unwieldy.'
+                    : 'Switch statement has many case clauses. Consider consolidating related cases or a table-driven lookup.',
+                file: sw.file, line: sw.line, column: 0, symbol: undefined,
+            }));
+        }
+        return out;
+    },
+};
+// ── liskov-substitution (Go) ────────────────────────────────────────────────
+const goLiskovSubstitution = {
+    id: 'liskov-substitution',
+    analyzer: 'solid',
+    needs: { formats: ['go'], facts: ['go-functions'] },
+    severity: 'severe',
+    message: META['liskov-substitution'].message,
+    docs: META['liskov-substitution'].docs,
+    thresholds: META['liskov-substitution'].thresholds,
+    thresholdRationale: META['liskov-substitution'].thresholdRationale,
+    samples: META['liskov-substitution'].samples,
+    analyze(ctx) {
+        const out = [];
+        for (const fn of ctx.facts['go-functions']) {
+            // LSP governs methods only — a free function has no supertype to violate.
+            // Test functions are already excluded by the producer.
+            if (!fn.isMethod || !fn.callsPanic)
+                continue;
+            out.push(finding({
+                ruleId: 'liskov-substitution', severity: 'severe',
+                message: `Method "${fn.name}" calls panic(). Consider returning an error instead so the method stays substitutable.`,
+                file: fn.file, line: fn.line, column: 0, symbol: fn.name,
+            }));
+        }
+        return out;
+    },
+};
+// ── solid/liskov-substitution ───────────────────────────────────────────────
+const liskovSubstitution = {
+    id: 'solid/liskov-substitution',
+    analyzer: 'solid',
+    needs: { formats: ['typescript', 'tsx', 'javascript'], facts: ['file-symbols'] },
+    severity: 'severe',
+    message: META['solid/liskov-substitution'].message,
+    docs: META['solid/liskov-substitution'].docs,
+    thresholds: META['solid/liskov-substitution'].thresholds,
+    samples: META['solid/liskov-substitution'].samples,
+    analyze(ctx) {
+        const out = [];
+        const symbols = visibleSymbols(ctx.facts['file-symbols'], ctx.thresholds);
+        const classes = symbols.filter((s) => s.kind === 'class');
+        for (const cls of classes) {
+            if (!cls.extends)
+                continue;
+            // Parent resolution is within-file, matching the old analyzer
+            // (`adapter.extractClasses(ast)` over one file's AST).
+            const parent = classes.find((c) => c.file === cls.file && c.name === cls.extends);
+            if (!parent)
+                continue;
+            const parentMethods = new Map(parent.methods.map((m) => [m.name, m]));
+            for (const m of cls.methods) {
+                if (m.name === 'constructor')
+                    continue;
+                const parentMethod = parentMethods.get(m.name);
+                if (!parentMethod)
+                    continue;
+                if (m.throws && !parentMethod.throws) {
+                    out.push(finding({
+                        ruleId: 'solid/liskov-substitution', severity: 'severe',
+                        message: `Method "${cls.name}.${m.name}" overrides "${parent.name}.${m.name}" and throws where the parent does not. Callers of the parent contract cannot handle it.`,
+                        file: cls.file, line: m.line, column: m.column, symbol: qualifiedMethod(cls.name, m.name),
+                    }));
+                }
+            }
+        }
+        return out;
+    },
+};
+/** The eight TypeScript SOLID rules plus the §9 Go re-declarations, in registry
+ *  order. The element type is the *union* of each rule's `RuleDefinition<N>`
+ *  (not `any`) so the consumed-set check can recover the Go facts each declares;
+ *  a slice runner that feeds one broad context casts at the call site. */
+export const solidRules = [
+    classSize,
+    methodComplexity,
+    openClosed,
+    singleResponsibility,
+    functionLength,
+    parameterCount,
+    interfaceSize,
+    liskovSubstitution,
+    structSize,
+    functionSize,
+    switchSize,
+    goLiskovSubstitution,
+];
+//# sourceMappingURL=solid.js.map

package/dist/phase/rules/solid.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"solid.js","sourceRoot":"","sources":["../../../src/phase/rules/solid.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAiBH,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAEhE,oEAAoE;AACpE,SAAS,eAAe,CAAC,OAAe,EAAE,UAAkB;IAC1D,OAAO,GAAG,OAAO,IAAI,UAAU,EAAE,CAAC;AACpC,CAAC;AAwCD;sEACsE;AACtE,SAAS,GAAG,CAAC,CAAkB,EAAE,GAAW,EAAE,QAAgB;IAC5D,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IACjB,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC9C,CAAC;AAED;;;;gFAIgF;AAChF,SAAS,UAAU,CAAC,QAAgB;IAClC,MAAM,YAAY,GAAG;QACnB,kBAAkB;QAClB,kBAAkB;QAClB,aAAa;QACb,QAAQ;QACR,SAAS;KACV,CAAC;IACF,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;AAChE,CAAC;AAED;;kFAEkF;AAClF,SAAS,cAAc,CAAC,OAA+B,EAAE,UAA2B;IAClF,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC;QAAE,OAAO,OAAwB,CAAC;IAClE,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AACpD,CAAC;AAED,gFAAgF;AAChF,SAAS,QAAQ,CAAC,IAAY,EAAE,IAAY,EAAE,MAAe;IAC3D,IAAI,IAAI,IAAI,IAAI,KAAK,aAAa;QAAE,OAAO,IAAI,CAAC;IAChD,OAAO,aAAa,IAAI,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;AAC5C,CAAC;AAiBD,SAAS,oBAAoB,CAAC,OAAsB;IAClD,MAAM,GAAG,GAAmB,EAAE,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC1B,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACd,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC9B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;gBAC1B,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC,cAAc,EAAE,cAAc,EAAE,CAAC,CAAC,cAAc,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,aAAa,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC;YACjO,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;iEAGiE;AACjE,SAAS,6BAA6B,CACpC,GAAgC,EAChC,YAAoB,EACpB,QAAgB,EAChB,OAAqC;IAErC,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;IACxD,MAAM,GAAG,GAA6C,EAAE,CAAC;IACzD,KAAK,MAAM,EAAE,IAAI,oBAAoB,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;QACjG,IAAI,OAAO,CAAC,EAAE,CAAC,IAAI,GAAG;YAAE,SAAS;QACjC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,yDAAyD;AACzD,SAAS,OAAO,CAAC,IAShB;IACC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC;IACnF,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;AAC/E,CAAC;AAED;;;;yEAIyE;AACzE,SAAS,YAAY,CAAC,IAYrB;IACC,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC;IACzC,OAAO;QACL,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,YAAY,EAAE,KAAK,EAAE,YAAY,CAAC,EAAE,KAAK,EAAE,CAAC,cAAc,CAAC,EAAE;QAChF,QAAQ,EAAE,MAAM;QAChB,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,OAAO;QAC9B,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI;QACxB,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,UAAU;QACpC,kBAAkB,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,kBAAkB;QACpD,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,OAAO;QAC9B,OAAO,CAAC,GAAG;YACT,OAAO,6BAA6B,CAAC,GAAG,EAAE,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC;iBACtF,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,UAAU,CAAC,CAAC;iBAC5C,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC;gBAC5B,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,GAAG,CAAC;gBACpE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC;gBAC9F,UAAU,EAAE,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;aACnC,CAAC,CAAC,CAAC;QACR,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,IAAI,GAAG,aAAa,CAAC;AAE3B,+EAA+E;AAE/E,MAAM,SAAS,GAA+B;IAC5C,EAAE,EAAE,kBAAkB;IACtB,QAAQ,EAAE,OAAO;IACjB,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,YAAY,EAAE,KAAK,EAAE,YAAY,CAAC,EAAE,KAAK,EAAE,CAAC,cAAc,CAAC,EAAE;IAChF,QAAQ,EAAE,MAAM;IAChB,OAAO,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC,OAAO;IACzC,IAAI,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC,IAAI;IACnC,UAAU,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC,UAAU;IAC/C,kBAAkB,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC,kBAAkB;IAC/D,OAAO,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC,OAAO;IACzC,OAAO,CAAC,GAAG;QACT,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,MAAM,gBAAgB,GAAG,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,uBAAuB,EAAE,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,oBAAoB,EAAE,EAAE,CAAC,CAAC,CAAC;QACrH,MAAM,YAAY,GAAG,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,0BAA0B,EAAE,GAAG,CAAC,CAAC;QAE1E,KAAK,MAAM,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YAC1E,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;gBAAE,SAAS;YACjC,MAAM,GAAG,GAAG,CAAoB,CAAC;YACjC,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC;YACtB,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;YAE1B,IAAI,GAAG,CAAC,WAAW,GAAG,gBAAgB,EAAE,CAAC;gBACvC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;oBACf,MAAM,EAAE,kBAAkB,EAAE,QAAQ,EAAE,MAAM;oBAC5C,OAAO,EAAE,UAAU,GAAG,CAAC,IAAI,SAAS,GAAG,CAAC,WAAW,sCAAsC,gBAAgB,4CAA4C;oBACrJ,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI;oBAC9C,UAAU,EAAE;wBACV,MAAM,EAAE,aAAa;wBACrB,OAAO,EAAE,gBAAgB,GAAG,CAAC,IAAI,MAAM,GAAG,CAAC,WAAW,gFAAgF;wBACtI,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;wBAClE,KAAK,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC;wBACjB,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;qBACtC;iBACF,CAAC,CAAC,CAAC;YACN,CAAC;YAED,IAAI,GAAG,CAAC,mBAAmB,GAAG,YAAY,EAAE,CAAC;gBAC3C,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;oBACf,MAAM,EAAE,kBAAkB,EAAE,QAAQ,EAAE,MAAM;oBAC5C,OAAO,EAAE,UAAU,GAAG,CAAC,IAAI,yCAAyC,GAAG,CAAC,mBAAmB,8BAA8B,YAAY,iCAAiC;oBACtK,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI;oBAC9C,UAAU,EAAE;wBACV,MAAM,EAAE,aAAa;wBACrB,OAAO,EAAE,gBAAgB,GAAG,CAAC,IAAI,2BAA2B,GAAG,CAAC,mBAAmB,2DAA2D;wBAC9I,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;wBAClE,KAAK,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC;wBACjB,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;qBACtC;iBACF,CAAC,CAAC,CAAC;YACN,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,+EAA+E;AAE/E,MAAM,gBAAgB,GAA+B;IACnD,EAAE,EAAE,yBAAyB;IAC7B,QAAQ,EAAE,OAAO;IACjB,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,YAAY,EAAE,KAAK,EAAE,YAAY,CAAC,EAAE,KAAK,EAAE,CAAC,cAAc,CAAC,EAAE;IAChF,QAAQ,EAAE,MAAM;IAChB,OAAO,EAAE,IAAI,CAAC,yBAAyB,CAAC,CAAC,OAAO;IAChD,IAAI,EAAE,IAAI,CAAC,yBAAyB,CAAC,CAAC,IAAI;IAC1C,UAAU,EAAE,IAAI,CAAC,yBAAyB,CAAC,CAAC,UAAU;IACtD,kBAAkB,EAAE,IAAI,CAAC,yBAAyB,CAAC,CAAC,kBAAkB;IACtE,OAAO,EAAE,IAAI,CAAC,yBAAyB,CAAC,CAAC,OAAO;IAChD,OAAO,CAAC,GAAG;QACT,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,qBAAqB,EAAE,EAAE,CAAC,CAAC;QAE3D,KAAK,MAAM,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YAC1E,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC1B,MAAM,CAAC,GAAG,CAAuB,CAAC;gBAClC,IAAI,CAAC,CAAC,UAAU,GAAG,GAAG,EAAE,CAAC;oBACvB,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;wBACf,MAAM,EAAE,yBAAyB,EAAE,QAAQ,EAAE,MAAM;wBACnD,OAAO,EAAE,aAAa,CAAC,CAAC,IAAI,+BAA+B,CAAC,CAAC,UAAU,8BAA8B,GAAG,gDAAgD;wBACxJ,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;qBACzF,CAAC,CAAC,CAAC;gBACN,CAAC;YACH,CAAC;iBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC9B,MAAM,GAAG,GAAG,CAAoB,CAAC;gBACjC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;oBAC5B,IAAI,CAAC,CAAC,UAAU,GAAG,GAAG,EAAE,CAAC;wBACvB,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;4BACf,MAAM,EAAE,yBAAyB,EAAE,QAAQ,EAAE,MAAM;4BACnD,OAAO,EAAE,WAAW,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,+BAA+B,CAAC,CAAC,UAAU,8BAA8B,GAAG,8CAA8C;4BAChK,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;yBAC1F,CAAC,CAAC,CAAC;oBACN,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,+EAA+E;AAE/E;;;4CAG4C;AAC5C,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;IAC7B,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,aAAa,EAAE,gBAAgB;IACnE,WAAW,EAAE,UAAU,EAAE,gBAAgB;CAC1C,CAAC,CAAC;AAEH;;;;;;;;YAQY;AACZ,SAAS,eAAe,CAAC,IAAY,EAAE,OAAuC;IAC5E,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OAAO,OAAO,EAAE,CAAC;QACf,IAAI,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,OAAO,IAAI,CAAC;QAC7C,MAAM,GAAG,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC;QAClC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QAChC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,GAAG,CAAC,CAAC;QACpE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACvC,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC;IACrC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,GAAoC;IAClD,EAAE,EAAE,mBAAmB;IACvB,QAAQ,EAAE,OAAO;IACjB,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,YAAY,EAAE,KAAK,EAAE,YAAY,CAAC,EAAE,KAAK,EAAE,CAAC,cAAc,EAAE,YAAY,CAAC,EAAE;IAC9F,QAAQ,EAAE,MAAM;IAChB,OAAO,EAAE,IAAI,CAAC,mBAAmB,CAAC,CAAC,OAAO;IAC1C,IAAI,EAAE,IAAI,CAAC,mBAAmB,CAAC,CAAC,IAAI;IACpC,UAAU,EAAE,IAAI,CAAC,mBAAmB,CAAC,CAAC,UAAU;IAChD,OAAO,EAAE,IAAI,CAAC,mBAAmB,CAAC,CAAC,OAAO;IAC1C,OAAO,CAAC,GAAG;QACT,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,MAAM,OAAO,GAAG,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;QAC1E,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAwB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;QAChF,MAAM,iBAAiB,GAAG,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC;QAE1D,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,IAAI,GAAG,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YACjD,sEAAsE;YACtE,0EAA0E;YAC1E,+BAA+B;YAC/B,MAAM,aAAa,GAAG,GAAG,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC,CAAC;YAClG,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YACzC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;gBACf,MAAM,EAAE,mBAAmB,EAAE,QAAQ,EAAE,MAAM;gBAC7C,OAAO,EAAE,UAAU,GAAG,CAAC,IAAI,mGAAmG;gBAC9H,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI;aACrE,CAAC,CAAC,CAAC;QACN,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,+EAA+E;AAE/E,MAAM,oBAAoB,GAA+B;IACvD,EAAE,EAAE,6BAA6B;IACjC,QAAQ,EAAE,OAAO;IACjB,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,YAAY,EAAE,KAAK,EAAE,YAAY,CAAC,EAAE,KAAK,EAAE,CAAC,cAAc,CAAC,EAAE;IAChF,QAAQ,EAAE,MAAM;IAChB,OAAO,EAAE,IAAI,CAAC,6BAA6B,CAAC,CAAC,OAAO;IACpD,IAAI,EAAE,IAAI,CAAC,6BAA6B,CAAC,CAAC,IAAI;IAC9C,UAAU,EAAE,IAAI,CAAC,6BAA6B,CAAC,CAAC,UAAU;IAC1D,OAAO,EAAE,IAAI,CAAC,6BAA6B,CAAC,CAAC,OAAO;IACpD,OAAO,CAAC,GAAG;QACT,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,EAAE,IAAI,oBAAoB,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;YACjG,MAAM,MAAM,GAAG,EAAE,CAAC,aAAa,CAAC;YAChC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,SAAS;YAChC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;gBACf,MAAM,EAAE,6BAA6B,EAAE,QAAQ,EAAE,MAAM;gBACvD,OAAO,EAAE,aAAa,EAAE,CAAC,IAAI,WAAW,MAAM,CAAC,MAAM,wBAAwB,MAAM,4CAA4C;gBAC/H,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC;gBAC9F,UAAU,EAAE;oBACV,MAAM,EAAE,gBAAgB;oBACxB,OAAO,EAAE,UAAU,EAAE,CAAC,IAAI,oCAAoC,MAAM,sCAAsC;oBAC1G,OAAO,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;oBAClB,KAAK,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;oBAChB,KAAK,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;iBACjB;aACF,CAAC,CAAC,CAAC;QACN,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,+EAA+E;AAE/E,MAAM,cAAc,GAAG,YAAY,CAAC;IAClC,EAAE,EAAE,iBAAiB;IACrB,YAAY,EAAE,mBAAmB;IACjC,QAAQ,EAAE,GAAG;IACb,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,SAAS;IAC7B,UAAU,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,aAAa,EAAE,CAAC,IAAI,SAAS,EAAE,CAAC,SAAS,oCAAoC,GAAG,8BAA8B;IACvI,aAAa,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACtB,MAAM,EAAE,qBAAqB;QAC7B,OAAO,EAAE,UAAU,EAAE,CAAC,IAAI,MAAM,EAAE,CAAC,SAAS,iEAAiE;QAC7G,OAAO,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAClB,KAAK,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAChB,KAAK,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;KACjB,CAAC;CACH,CAAC,CAAC;AAEH,+EAA+E;AAE/E,MAAM,cAAc,GAAG,YAAY,CAAC;IAClC,EAAE,EAAE,iBAAiB;IACrB,YAAY,EAAE,wBAAwB;IACtC,QAAQ,EAAE,CAAC;IACX,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,cAAc;IAClC,UAAU,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,aAAa,EAAE,CAAC,IAAI,SAAS,EAAE,CAAC,cAAc,yCAAyC,GAAG,qCAAqC;IACxJ,aAAa,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACtB,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,cAAc,EAAE,CAAC,cAAc,mBAAmB,EAAE,CAAC,IAAI,2BAA2B;QAC7F,OAAO,EAAE,EAAE,CAAC,cAAc;QAC1B,KAAK,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAChB,KAAK,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;KACjB,CAAC;CACH,CAAC,CAAC;AAEH,+EAA+E;AAE/E,MAAM,aAAa,GAAuC;IACxD,EAAE,EAAE,gBAAgB;IACpB,QAAQ,EAAE,OAAO;IACjB,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,YAAY,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,cAAc,EAAE,mBAAmB,CAAC,EAAE;IAC3G,QAAQ,EAAE,MAAM;IAChB,OAAO,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC,OAAO;IACvC,IAAI,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC,IAAI;IACjC,UAAU,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC,UAAU;IAC7C,kBAAkB,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC,kBAAkB;IAC7D,OAAO,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC,OAAO;IACvC,OAAO,CAAC,GAAG;QACT,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,kEAAkE;QAClE,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,qBAAqB,EAAE,EAAE,CAAC,CAAC;QAC3D,KAAK,MAAM,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YAC1E,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW;gBAAE,SAAS;YACrC,MAAM,KAAK,GAAG,CAAwB,CAAC;YACvC,IAAI,CAAC,KAAK,CAAC,gBAAgB,IAAI,KAAK,CAAC,WAAW,IAAI,GAAG;gBAAE,SAAS;YAClE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;gBACf,MAAM,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM;gBAC1C,OAAO,EAAE,cAAc,KAAK,CAAC,IAAI,SAAS,KAAK,CAAC,WAAW,sCAAsC,GAAG,oEAAoE;gBACxK,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI;aAC7E,CAAC,CAAC,CAAC;QACN,CAAC;QACD,sEAAsE;QACtE,kEAAkE;QAClE,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,mBAAmB,CAAC,EAAE,CAAC;YAClD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;gBAAE,SAAS;YACxC,IAAI,IAAI,CAAC,WAAW,IAAI,EAAE;gBAAE,SAAS;YACrC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;gBACf,MAAM,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM;gBAC1C,OAAO,EAAE,cAAc,IAAI,CAAC,IAAI,SAAS,IAAI,CAAC,WAAW,uHAAuH;gBAChL,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI;aAC/D,CAAC,CAAC,CAAC;QACN,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,+EAA+E;AAE/E,MAAM,UAAU,GAA4B;IAC1C,EAAE,EAAE,aAAa;IACjB,QAAQ,EAAE,OAAO;IACjB,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,mBAAmB,CAAC,EAAE;IACxD,QAAQ,EAAE,MAAM;IAChB,OAAO,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,OAAO;IACpC,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,IAAI;IAC9B,UAAU,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,UAAU;IAC1C,kBAAkB,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,kBAAkB;IAC1D,OAAO,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,OAAO;IACpC,OAAO,CAAC,GAAG;QACT,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,mBAAmB,CAAC,EAAE,CAAC;YAClD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAAE,SAAS;YACrC,wEAAwE;YACxE,kCAAkC;YAClC,IAAI,IAAI,CAAC,UAAU,IAAI,EAAE;gBAAE,SAAS;YACpC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;gBACf,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM;gBACvC,OAAO,EAAE,WAAW,IAAI,CAAC,IAAI,SAAS,IAAI,CAAC,UAAU,0GAA0G;gBAC/J,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI;aAC/D,CAAC,CAAC,CAAC;QACN,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,+EAA+E;AAE/E,MAAM,YAAY,GAAoC;IACpD,EAAE,EAAE,eAAe;IACnB,QAAQ,EAAE,OAAO;IACjB,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,cAAc,CAAC,EAAE;IACnD,QAAQ,EAAE,MAAM;IAChB,OAAO,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC,OAAO;IACtC,IAAI,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC,IAAI;IAChC,UAAU,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC,UAAU;IAC5C,kBAAkB,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC,kBAAkB;IAC5D,OAAO,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC,OAAO;IACtC,OAAO,CAAC,GAAG;QACT,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC;YAC3C,6EAA6E;YAC7E,wEAAwE;YACxE,+BAA+B;YAC/B,IAAI,CAAC,CAAC,EAAE,CAAC,UAAU,GAAG,EAAE,IAAI,EAAE,CAAC,WAAW,GAAG,CAAC,IAAI,EAAE,CAAC,cAAc,GAAG,CAAC,CAAC;gBAAE,SAAS;YACnF,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;gBACf,MAAM,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM;gBACzC,OAAO,EAAE,aAAa,EAAE,CAAC,IAAI,0HAA0H;gBACvJ,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,IAAI;aACzD,CAAC,CAAC,CAAC;QACN,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,+EAA+E;AAE/E,MAAM,UAAU,GAAkC;IAChD,EAAE,EAAE,aAAa;IACjB,QAAQ,EAAE,OAAO;IACjB,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,aAAa,CAAC,EAAE;IAClD,QAAQ,EAAE,MAAM;IAChB,OAAO,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,OAAO;IACpC,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,IAAI;IAC9B,UAAU,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,UAAU;IAC1C,kBAAkB,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,kBAAkB;IAC1D,OAAO,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,OAAO;IACpC,OAAO,CAAC,GAAG;QACT,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC;YAC1C,qEAAqE;YACrE,IAAI,EAAE,CAAC,SAAS,IAAI,CAAC;gBAAE,SAAS;YAChC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;gBACf,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM;gBACvC,OAAO,EAAE,EAAE,CAAC,IAAI,KAAK,aAAa;oBAChC,CAAC,CAAC,2JAA2J;oBAC7J,CAAC,CAAC,wGAAwG;gBAC5G,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,SAAS;aAC3D,CAAC,CAAC,CAAC;QACN,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,+EAA+E;AAE/E,MAAM,oBAAoB,GAAoC;IAC5D,EAAE,EAAE,qBAAqB;IACzB,QAAQ,EAAE,OAAO;IACjB,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,cAAc,CAAC,EAAE;IACnD,QAAQ,EAAE,QAAQ;IAClB,OAAO,EAAE,IAAI,CAAC,qBAAqB,CAAC,CAAC,OAAO;IAC5C,IAAI,EAAE,IAAI,CAAC,qBAAqB,CAAC,CAAC,IAAI;IACtC,UAAU,EAAE,IAAI,CAAC,qBAAqB,CAAC,CAAC,UAAU;IAClD,kBAAkB,EAAE,IAAI,CAAC,qBAAqB,CAAC,CAAC,kBAAkB;IAClE,OAAO,EAAE,IAAI,CAAC,qBAAqB,CAAC,CAAC,OAAO;IAC5C,OAAO,CAAC,GAAG;QACT,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC;YAC3C,0EAA0E;YAC1E,uDAAuD;YACvD,IAAI,CAAC,EAAE,CAAC,QAAQ,IAAI,CAAC,EAAE,CAAC,UAAU;gBAAE,SAAS;YAC7C,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;gBACf,MAAM,EAAE,qBAAqB,EAAE,QAAQ,EAAE,QAAQ;gBACjD,OAAO,EAAE,WAAW,EAAE,CAAC,IAAI,yFAAyF;gBACpH,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,IAAI;aACzD,CAAC,CAAC,CAAC;QACN,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,+EAA+E;AAE/E,MAAM,kBAAkB,GAA+B;IACrD,EAAE,EAAE,2BAA2B;IAC/B,QAAQ,EAAE,OAAO;IACjB,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,YAAY,EAAE,KAAK,EAAE,YAAY,CAAC,EAAE,KAAK,EAAE,CAAC,cAAc,CAAC,EAAE;IAChF,QAAQ,EAAE,QAAQ;IAClB,OAAO,EAAE,IAAI,CAAC,2BAA2B,CAAC,CAAC,OAAO;IAClD,IAAI,EAAE,IAAI,CAAC,2BAA2B,CAAC,CAAC,IAAI;IAC5C,UAAU,EAAE,IAAI,CAAC,2BAA2B,CAAC,CAAC,UAAU;IACxD,OAAO,EAAE,IAAI,CAAC,2BAA2B,CAAC,CAAC,OAAO;IAClD,OAAO,CAAC,GAAG;QACT,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,MAAM,OAAO,GAAG,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;QAC1E,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAwB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;QAEhF,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,IAAI,CAAC,GAAG,CAAC,OAAO;gBAAE,SAAS;YAC3B,8DAA8D;YAC9D,uDAAuD;YACvD,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,OAAO,CAAC,CAAC;YAClF,IAAI,CAAC,MAAM;gBAAE,SAAS;YACtB,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAEtE,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;gBAC5B,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa;oBAAE,SAAS;gBACvC,MAAM,YAAY,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC/C,IAAI,CAAC,YAAY;oBAAE,SAAS;gBAC5B,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC;oBACrC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;wBACf,MAAM,EAAE,2BAA2B,EAAE,QAAQ,EAAE,QAAQ;wBACvD,OAAO,EAAE,WAAW,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,gBAAgB,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,0FAA0F;wBACrK,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;qBAC1F,CAAC,CAAC,CAAC;gBACN,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF;;;0EAG0E;AAC1E,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,SAAS;IACT,gBAAgB;IAChB,UAAU;IACV,oBAAoB;IACpB,cAAc;IACd,cAAc;IACd,aAAa;IACb,kBAAkB;IAClB,UAAU;IACV,YAAY;IACZ,UAAU;IACV,oBAAoB;CACrB,CAAC"}