@kernlang/review 2.0.0 → 3.1.0

package/dist/rules/dead-logic.js

@@ -0,0 +1,393 @@
+/**
+ * Dead logic rules — catches code that can't do what it claims.
+ *
+ * Covers: identical conditions, identical expressions, all-identical branches,
+ * constant conditions, one-iteration loops, unused collections, empty collections,
+ * redundant jumps.
+ *
+ * All AST-based. Always active. High signal, cheap to run.
+ */
+import { SyntaxKind } from 'ts-morph';
+import { createFingerprint } from '../types.js';
+function span(file, line, col = 1) {
+    return { file, startLine: line, startCol: col, endLine: line, endCol: col };
+}
+function finding(ruleId, severity, category, message, file, line, extra) {
+    return {
+        source: 'kern',
+        ruleId,
+        severity,
+        category,
+        message,
+        primarySpan: span(file, line),
+        fingerprint: createFingerprint(ruleId, line, 1),
+        ...extra,
+    };
+}
+// ── Helpers ──────────────────────────────────────────────────────────────
+/** Normalize whitespace for structural comparison */
+function normalize(text) {
+    return text.replace(/\s+/g, ' ').trim();
+}
+// ── Rule D1: identical-conditions ────────────────────────────────────────
+// if (a) ... else if (a) — same condition in if/else-if chain
+function identicalConditions(ctx) {
+    const findings = [];
+    for (const ifStmt of ctx.sourceFile.getDescendantsOfKind(SyntaxKind.IfStatement)) {
+        const conditions = [];
+        let current = ifStmt;
+        // Walk the if/else-if chain
+        while (current) {
+            const condText = normalize(current.getExpression().getText());
+            const condLine = current.getStartLineNumber();
+            // Check for duplicate
+            const duplicate = conditions.find(c => c.text === condText);
+            if (duplicate) {
+                findings.push(finding('identical-conditions', 'error', 'bug', `Duplicate condition '${condText.substring(0, 60)}' — already checked at line ${duplicate.line}`, ctx.filePath, condLine, { relatedSpans: [span(ctx.filePath, duplicate.line)] }));
+            }
+            conditions.push({ text: condText, line: condLine });
+            // Follow else-if chain
+            const elseStmt = current.getElseStatement();
+            current = elseStmt?.getKind() === SyntaxKind.IfStatement
+                ? elseStmt
+                : undefined;
+        }
+    }
+    return findings;
+}
+// ── Rule D2: identical-expressions ───────────────────────────────────────
+// a === a, x - x, x && x — both sides of binary operator are the same
+const IDENTITY_OPERATORS = new Set([
+    SyntaxKind.EqualsEqualsToken,
+    SyntaxKind.EqualsEqualsEqualsToken,
+    SyntaxKind.ExclamationEqualsToken,
+    SyntaxKind.ExclamationEqualsEqualsToken,
+    SyntaxKind.MinusToken,
+    SyntaxKind.SlashToken,
+    SyntaxKind.PercentToken,
+    SyntaxKind.AmpersandAmpersandToken,
+    SyntaxKind.BarBarToken,
+    SyntaxKind.LessThanToken,
+    SyntaxKind.LessThanEqualsToken,
+    SyntaxKind.GreaterThanToken,
+    SyntaxKind.GreaterThanEqualsToken,
+]);
+function identicalExpressions(ctx) {
+    const findings = [];
+    for (const binExpr of ctx.sourceFile.getDescendantsOfKind(SyntaxKind.BinaryExpression)) {
+        const op = binExpr.getOperatorToken().getKind();
+        if (!IDENTITY_OPERATORS.has(op))
+            continue;
+        const leftText = normalize(binExpr.getLeft().getText());
+        const rightText = normalize(binExpr.getRight().getText());
+        if (leftText === rightText && leftText.length > 0) {
+            // Skip intentional patterns: NaN check (x !== x)
+            if (op === SyntaxKind.ExclamationEqualsEqualsToken || op === SyntaxKind.ExclamationEqualsToken) {
+                if (/^\w+$/.test(leftText))
+                    continue; // x !== x is NaN check
+            }
+            // Skip simple literals like 0 - 0 in constant expressions
+            if (/^[0-9]+$/.test(leftText))
+                continue;
+            const opText = binExpr.getOperatorToken().getText();
+            findings.push(finding('identical-expressions', 'error', 'bug', `Identical expressions on both sides of '${opText}': ${leftText.substring(0, 40)}`, ctx.filePath, binExpr.getStartLineNumber()));
+        }
+    }
+    return findings;
+}
+// ── Rule D3: all-identical-branches ──────────────────────────────────────
+// if (x) { A } else { A } — all branches do the same thing
+function allIdenticalBranches(ctx) {
+    const findings = [];
+    for (const ifStmt of ctx.sourceFile.getDescendantsOfKind(SyntaxKind.IfStatement)) {
+        // Only check top-level if (not else-if in a chain we already processed)
+        const parent = ifStmt.getParent();
+        if (parent?.getKind() === SyntaxKind.IfStatement)
+            continue;
+        const branches = [];
+        let current = ifStmt;
+        let hasElse = false;
+        while (current) {
+            const thenBlock = current.getThenStatement();
+            branches.push(normalize(thenBlock.getText()));
+            const elseStmt = current.getElseStatement();
+            if (!elseStmt)
+                break;
+            if (elseStmt.getKind() === SyntaxKind.IfStatement) {
+                current = elseStmt;
+            }
+            else {
+                // Final else
+                branches.push(normalize(elseStmt.getText()));
+                hasElse = true;
+                current = undefined;
+            }
+        }
+        // Need at least if + else to flag, and all branches must be identical
+        if (!hasElse || branches.length < 2)
+            continue;
+        const allSame = branches.every(b => b === branches[0]);
+        if (allSame) {
+            findings.push(finding('all-identical-branches', 'error', 'bug', `All ${branches.length} branches have identical code — condition has no effect`, ctx.filePath, ifStmt.getStartLineNumber()));
+        }
+    }
+    // Ternary: x ? A : A
+    for (const ternary of ctx.sourceFile.getDescendantsOfKind(SyntaxKind.ConditionalExpression)) {
+        const whenTrue = normalize(ternary.getWhenTrue().getText());
+        const whenFalse = normalize(ternary.getWhenFalse().getText());
+        if (whenTrue === whenFalse) {
+            findings.push(finding('all-identical-branches', 'warning', 'bug', 'Ternary has identical true/false expressions — condition has no effect', ctx.filePath, ternary.getStartLineNumber()));
+        }
+    }
+    return findings;
+}
+// ── Rule D4: constant-condition ──────────────────────────────────────────
+// if (true), if (false), while (false), x ? ... where x is literal
+function constantCondition(ctx) {
+    const findings = [];
+    for (const ifStmt of ctx.sourceFile.getDescendantsOfKind(SyntaxKind.IfStatement)) {
+        const exprKind = ifStmt.getExpression().getKind();
+        if (exprKind === SyntaxKind.TrueKeyword) {
+            findings.push(finding('constant-condition', 'warning', 'bug', 'Condition is always true — else branch is dead code', ctx.filePath, ifStmt.getStartLineNumber()));
+        }
+        if (exprKind === SyntaxKind.FalseKeyword) {
+            findings.push(finding('constant-condition', 'error', 'bug', 'Condition is always false — then branch is dead code', ctx.filePath, ifStmt.getStartLineNumber()));
+        }
+    }
+    // while (false) — dead loop
+    for (const whileStmt of ctx.sourceFile.getDescendantsOfKind(SyntaxKind.WhileStatement)) {
+        if (whileStmt.getExpression().getKind() === SyntaxKind.FalseKeyword) {
+            findings.push(finding('constant-condition', 'error', 'bug', 'while(false) — loop body is dead code', ctx.filePath, whileStmt.getStartLineNumber()));
+        }
+    }
+    // Ternary with constant
+    for (const ternary of ctx.sourceFile.getDescendantsOfKind(SyntaxKind.ConditionalExpression)) {
+        const condKind = ternary.getCondition().getKind();
+        if (condKind === SyntaxKind.TrueKeyword || condKind === SyntaxKind.FalseKeyword) {
+            const branch = condKind === SyntaxKind.TrueKeyword ? 'false' : 'true';
+            findings.push(finding('constant-condition', 'warning', 'bug', `Ternary condition is always ${condKind === SyntaxKind.TrueKeyword ? 'true' : 'false'} — ${branch} branch is dead`, ctx.filePath, ternary.getStartLineNumber()));
+        }
+    }
+    return findings;
+}
+// ── Rule D5: one-iteration-loop ──────────────────────────────────────────
+// Loop that always breaks/returns on first iteration
+function oneIterationLoop(ctx) {
+    const findings = [];
+    const loopKinds = [
+        SyntaxKind.ForStatement,
+        SyntaxKind.ForOfStatement,
+        SyntaxKind.ForInStatement,
+        SyntaxKind.WhileStatement,
+        SyntaxKind.DoStatement,
+    ];
+    for (const kind of loopKinds) {
+        for (const loop of ctx.sourceFile.getDescendantsOfKind(kind)) {
+            // Get the loop body block
+            let bodyBlock;
+            const body = loop.getStatement?.();
+            if (body?.getKind() === SyntaxKind.Block) {
+                bodyBlock = body;
+            }
+            if (!bodyBlock)
+                continue;
+            const stmts = bodyBlock.getStatements();
+            if (stmts.length === 0)
+                continue;
+            // Check if every path through the first level of statements exits the loop
+            const lastStmt = stmts[stmts.length - 1];
+            const lastKind = lastStmt.getKind();
+            // Unconditional break/return/throw at end of body
+            if (lastKind === SyntaxKind.BreakStatement ||
+                lastKind === SyntaxKind.ReturnStatement ||
+                lastKind === SyntaxKind.ThrowStatement) {
+                // Make sure there's no continue before it (which would indicate real looping)
+                const hasContinue = bodyBlock.getDescendantsOfKind(SyntaxKind.ContinueStatement).length > 0;
+                if (!hasContinue) {
+                    findings.push(finding('one-iteration-loop', 'warning', 'bug', 'Loop runs at most one iteration — unconditional exit at end of body', ctx.filePath, loop.getStartLineNumber(), { suggestion: 'If intentional, use an if statement instead of a loop' }));
+                }
+            }
+        }
+    }
+    return findings;
+}
+// ── Rule D6: unused-collection ───────────────────────────────────────────
+// Array/Map/Set populated but never read
+function unusedCollection(ctx) {
+    const findings = [];
+    const writeOps = new Set(['push', 'add', 'set', 'unshift', 'splice', 'fill']);
+    const readOps = new Set(['get', 'has', 'includes', 'indexOf', 'find', 'filter', 'map',
+        'reduce', 'some', 'every', 'forEach', 'entries', 'values', 'keys', 'join',
+        'flat', 'flatMap', 'slice', 'at', 'length', 'size']);
+    // Find ALL variable declarations (not just top-level) for collection patterns
+    for (const decl of ctx.sourceFile.getDescendantsOfKind(SyntaxKind.VariableDeclaration)) {
+        const init = decl.getInitializer();
+        if (!init)
+            continue;
+        const initText = init.getText();
+        const isCollection = init.getKind() === SyntaxKind.ArrayLiteralExpression ||
+            initText.startsWith('new Map') || initText.startsWith('new Set') ||
+            initText.startsWith('new Array');
+        if (!isCollection)
+            continue;
+        const varName = decl.getName();
+        const declLine = decl.getStartLineNumber();
+        // Scope: only scan references within the same block/function scope
+        const scope = decl.getFirstAncestorByKind(SyntaxKind.Block) || ctx.sourceFile;
+        let hasWrite = false;
+        let hasRead = false;
+        for (const ident of scope.getDescendantsOfKind(SyntaxKind.Identifier)) {
+            if (ident.getText() !== varName)
+                continue;
+            if (ident.getStartLineNumber() === declLine && ident.getStart() <= decl.getEnd())
+                continue;
+            const parent = ident.getParent();
+            if (!parent)
+                continue;
+            if (parent.getKind() === SyntaxKind.PropertyAccessExpression) {
+                const pa = parent;
+                if (pa.getExpression() === ident) {
+                    const method = pa.getName();
+                    if (writeOps.has(method))
+                        hasWrite = true;
+                    if (readOps.has(method))
+                        hasRead = true;
+                }
+            }
+            else if (parent.getKind() !== SyntaxKind.VariableDeclaration) {
+                // Any other usage (arg, return, spread, etc.) is a read
+                hasRead = true;
+            }
+        }
+        if (hasWrite && !hasRead) {
+            findings.push(finding('unused-collection', 'warning', 'bug', `Collection '${varName}' is populated but never read`, ctx.filePath, declLine));
+        }
+    }
+    return findings;
+}
+// ── Rule D7: empty-collection-access ─────────────────────────────────────
+// Collection read but never populated
+function emptyCollectionAccess(ctx) {
+    const findings = [];
+    const writeOps = new Set(['push', 'add', 'set', 'unshift', 'splice', 'fill']);
+    for (const decl of ctx.sourceFile.getDescendantsOfKind(SyntaxKind.VariableDeclaration)) {
+        const init = decl.getInitializer();
+        if (!init)
+            continue;
+        // Only flag collections initialized as empty
+        const initText = init.getText().trim();
+        const isEmpty = initText === '[]' || initText === 'new Map()' ||
+            initText === 'new Set()' || initText === 'new Array()';
+        if (!isEmpty)
+            continue;
+        const varName = decl.getName();
+        const declLine = decl.getStartLineNumber();
+        // Scope: only scan within the same block
+        const scope = decl.getFirstAncestorByKind(SyntaxKind.Block) || ctx.sourceFile;
+        let hasWrite = false;
+        let hasRead = false;
+        for (const ident of scope.getDescendantsOfKind(SyntaxKind.Identifier)) {
+            if (ident.getText() !== varName)
+                continue;
+            if (ident.getStartLineNumber() === declLine && ident.getStart() <= decl.getEnd())
+                continue;
+            const parent = ident.getParent();
+            if (!parent)
+                continue;
+            if (parent.getKind() === SyntaxKind.PropertyAccessExpression) {
+                const pa = parent;
+                if (pa.getExpression() === ident) {
+                    if (writeOps.has(pa.getName()))
+                        hasWrite = true;
+                    else
+                        hasRead = true;
+                }
+            }
+            else if (parent.getKind() === SyntaxKind.BinaryExpression) {
+                const bin = parent;
+                if (bin.getOperatorToken().getKind() === SyntaxKind.EqualsToken && bin.getLeft() === ident) {
+                    hasWrite = true;
+                }
+                else {
+                    hasRead = true;
+                }
+            }
+            else if (parent.getKind() === SyntaxKind.CallExpression) {
+                const callExpr = parent;
+                if (callExpr.getExpression() !== ident)
+                    hasWrite = true;
+                else
+                    hasRead = true;
+            }
+            else if (parent.getKind() !== SyntaxKind.VariableDeclaration) {
+                hasRead = true;
+            }
+        }
+        if (hasRead && !hasWrite) {
+            findings.push(finding('empty-collection-access', 'warning', 'bug', `Collection '${varName}' is initialized empty and never populated — reads will always be empty`, ctx.filePath, declLine));
+        }
+    }
+    return findings;
+}
+// ── Rule D8: redundant-jump ──────────────────────────────────────────────
+// return/continue at end of block where it's the natural flow
+function redundantJump(ctx) {
+    const findings = [];
+    // Redundant continue at end of loop body
+    const loopKinds = [
+        SyntaxKind.ForStatement,
+        SyntaxKind.ForOfStatement,
+        SyntaxKind.ForInStatement,
+        SyntaxKind.WhileStatement,
+    ];
+    for (const kind of loopKinds) {
+        for (const loop of ctx.sourceFile.getDescendantsOfKind(kind)) {
+            const body = loop.getStatement?.();
+            if (body?.getKind() !== SyntaxKind.Block)
+                continue;
+            const block = body;
+            const stmts = block.getStatements();
+            if (stmts.length === 0)
+                continue;
+            const last = stmts[stmts.length - 1];
+            if (last.getKind() === SyntaxKind.ContinueStatement) {
+                const contStmt = last;
+                // Only flag unlabeled continue
+                if (!contStmt.getLabel()) {
+                    findings.push(finding('redundant-jump', 'info', 'style', 'Redundant continue at end of loop body', ctx.filePath, last.getStartLineNumber(), { suggestion: 'Remove — loop naturally continues at end of body' }));
+                }
+            }
+        }
+    }
+    // Redundant return at end of void function
+    for (const fn of ctx.sourceFile.getFunctions()) {
+        const body = fn.getBody();
+        if (!body || body.getKind() !== SyntaxKind.Block)
+            continue;
+        const block = body;
+        const stmts = block.getStatements();
+        if (stmts.length === 0)
+            continue;
+        const last = stmts[stmts.length - 1];
+        if (last.getKind() === SyntaxKind.ReturnStatement) {
+            const retStmt = last;
+            // Only flag bare return (no value)
+            if (!retStmt.getExpression()) {
+                findings.push(finding('redundant-jump', 'info', 'style', 'Redundant return at end of function', ctx.filePath, last.getStartLineNumber(), { suggestion: 'Remove — function returns void naturally' }));
+            }
+        }
+    }
+    return findings;
+}
+// ── Exported Dead Logic Rules ────────────────────────────────────────────
+export const deadLogicRules = [
+    identicalConditions,
+    identicalExpressions,
+    allIdenticalBranches,
+    constantCondition,
+    oneIterationLoop,
+    unusedCollection,
+    emptyCollectionAccess,
+    redundantJump,
+];
+//# sourceMappingURL=dead-logic.js.map

package/dist/rules/dead-logic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dead-logic.js","sourceRoot":"","sources":["../../src/rules/dead-logic.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAEtC,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAEhD,SAAS,IAAI,CAAC,IAAY,EAAE,IAAY,EAAE,GAAG,GAAG,CAAC;IAC/C,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AAC9E,CAAC;AAED,SAAS,OAAO,CACd,MAAc,EACd,QAAsC,EACtC,QAAmC,EACnC,OAAe,EACf,IAAY,EACZ,IAAY,EACZ,KAA8B;IAE9B,OAAO;QACL,MAAM,EAAE,MAAM;QACd,MAAM;QACN,QAAQ;QACR,QAAQ;QACR,OAAO;QACP,WAAW,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC;QAC7B,WAAW,EAAE,iBAAiB,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/C,GAAG,KAAK;KACT,CAAC;AACJ,CAAC;AAED,4EAA4E;AAE5E,qDAAqD;AACrD,SAAS,SAAS,CAAC,IAAY;IAC7B,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AAC1C,CAAC;AAED,4EAA4E;AAC5E,8DAA8D;AAE9D,SAAS,mBAAmB,CAAC,GAAgB;IAC3C,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QACjF,MAAM,UAAU,GAA0C,EAAE,CAAC;QAC7D,IAAI,OAAO,GAA+C,MAAM,CAAC;QAEjE,4BAA4B;QAC5B,OAAO,OAAO,EAAE,CAAC;YACf,MAAM,QAAQ,GAAG,SAAS,CAAC,OAAO,CAAC,aAAa,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;YAC9D,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,EAAE,CAAC;YAE9C,sBAAsB;YACtB,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;YAC5D,IAAI,SAAS,EAAE,CAAC;gBACd,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,sBAAsB,EAAE,OAAO,EAAE,KAAK,EAC1D,wBAAwB,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,+BAA+B,SAAS,CAAC,IAAI,EAAE,EAChG,GAAG,CAAC,QAAQ,EAAE,QAAQ,EACtB,EAAE,YAAY,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC7D,CAAC;YACD,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;YAEpD,uBAAuB;YACvB,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC;YAC5C,OAAO,GAAG,QAAQ,EAAE,OAAO,EAAE,KAAK,UAAU,CAAC,WAAW;gBACtD,CAAC,CAAC,QAA0C;gBAC5C,CAAC,CAAC,SAAS,CAAC;QAChB,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4EAA4E;AAC5E,sEAAsE;AAEtE,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC;IACjC,UAAU,CAAC,iBAAiB;IAC5B,UAAU,CAAC,uBAAuB;IAClC,UAAU,CAAC,sBAAsB;IACjC,UAAU,CAAC,4BAA4B;IACvC,UAAU,CAAC,UAAU;IACrB,UAAU,CAAC,UAAU;IACrB,UAAU,CAAC,YAAY;IACvB,UAAU,CAAC,uBAAuB;IAClC,UAAU,CAAC,WAAW;IACtB,UAAU,CAAC,aAAa;IACxB,UAAU,CAAC,mBAAmB;IAC9B,UAAU,CAAC,gBAAgB;IAC3B,UAAU,CAAC,sBAAsB;CAClC,CAAC,CAAC;AAEH,SAAS,oBAAoB,CAAC,GAAgB;IAC5C,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACvF,MAAM,EAAE,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC,OAAO,EAAE,CAAC;QAChD,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,SAAS;QAE1C,MAAM,QAAQ,GAAG,SAAS,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;QACxD,MAAM,SAAS,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;QAE1D,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClD,iDAAiD;YACjD,IAAI,EAAE,KAAK,UAAU,CAAC,4BAA4B,IAAI,EAAE,KAAK,UAAU,CAAC,sBAAsB,EAAE,CAAC;gBAC/F,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC;oBAAE,SAAS,CAAC,uBAAuB;YAC/D,CAAC;YAED,0DAA0D;YAC1D,IAAI,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC;gBAAE,SAAS;YAExC,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC,OAAO,EAAE,CAAC;YACpD,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,uBAAuB,EAAE,OAAO,EAAE,KAAK,EAC3D,2CAA2C,MAAM,MAAM,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAClF,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4EAA4E;AAC5E,2DAA2D;AAE3D,SAAS,oBAAoB,CAAC,GAAgB;IAC5C,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QACjF,wEAAwE;QACxE,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,EAAE,CAAC;QAClC,IAAI,MAAM,EAAE,OAAO,EAAE,KAAK,UAAU,CAAC,WAAW;YAAE,SAAS;QAE3D,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,IAAI,OAAO,GAA+C,MAAM,CAAC;QACjE,IAAI,OAAO,GAAG,KAAK,CAAC;QAEpB,OAAO,OAAO,EAAE,CAAC;YACf,MAAM,SAAS,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC;YAC7C,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YAE9C,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC;YAC5C,IAAI,CAAC,QAAQ;gBAAE,MAAM;YAErB,IAAI,QAAQ,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,WAAW,EAAE,CAAC;gBAClD,OAAO,GAAG,QAA0C,CAAC;YACvD,CAAC;iBAAM,CAAC;gBACN,aAAa;gBACb,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;gBAC7C,OAAO,GAAG,IAAI,CAAC;gBACf,OAAO,GAAG,SAAS,CAAC;YACtB,CAAC;QACH,CAAC;QAED,sEAAsE;QACtE,IAAI,CAAC,OAAO,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QAC9C,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,IAAI,OAAO,EAAE,CAAC;YACZ,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,wBAAwB,EAAE,OAAO,EAAE,KAAK,EAC5D,OAAO,QAAQ,CAAC,MAAM,yDAAyD,EAC/E,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;IAED,qBAAqB;IACrB,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,qBAAqB,CAAC,EAAE,CAAC;QAC5F,MAAM,QAAQ,GAAG,SAAS,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;QAC5D,MAAM,SAAS,GAAG,SAAS,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;QAC9D,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,wBAAwB,EAAE,SAAS,EAAE,KAAK,EAC9D,wEAAwE,EACxE,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4EAA4E;AAC5E,mEAAmE;AAEnE,SAAS,iBAAiB,CAAC,GAAgB;IACzC,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QACjF,MAAM,QAAQ,GAAG,MAAM,CAAC,aAAa,EAAE,CAAC,OAAO,EAAE,CAAC;QAClD,IAAI,QAAQ,KAAK,UAAU,CAAC,WAAW,EAAE,CAAC;YACxC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,oBAAoB,EAAE,SAAS,EAAE,KAAK,EAC1D,qDAAqD,EACrD,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC;QAChD,CAAC;QACD,IAAI,QAAQ,KAAK,UAAU,CAAC,YAAY,EAAE,CAAC;YACzC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,oBAAoB,EAAE,OAAO,EAAE,KAAK,EACxD,sDAAsD,EACtD,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;IAED,4BAA4B;IAC5B,KAAK,MAAM,SAAS,IAAI,GAAG,CAAC,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;QACvF,IAAI,SAAS,CAAC,aAAa,EAAE,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,YAAY,EAAE,CAAC;YACpE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,oBAAoB,EAAE,OAAO,EAAE,KAAK,EACxD,uCAAuC,EACvC,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IAED,wBAAwB;IACxB,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,qBAAqB,CAAC,EAAE,CAAC;QAC5F,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC,OAAO,EAAE,CAAC;QAClD,IAAI,QAAQ,KAAK,UAAU,CAAC,WAAW,IAAI,QAAQ,KAAK,UAAU,CAAC,YAAY,EAAE,CAAC;YAChF,MAAM,MAAM,GAAG,QAAQ,KAAK,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC;YACtE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,oBAAoB,EAAE,SAAS,EAAE,KAAK,EAC1D,+BAA+B,QAAQ,KAAK,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,MAAM,MAAM,iBAAiB,EAClH,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4EAA4E;AAC5E,qDAAqD;AAErD,SAAS,gBAAgB,CAAC,GAAgB;IACxC,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,MAAM,SAAS,GAAG;QAChB,UAAU,CAAC,YAAY;QACvB,UAAU,CAAC,cAAc;QACzB,UAAU,CAAC,cAAc;QACzB,UAAU,CAAC,cAAc;QACzB,UAAU,CAAC,WAAW;KACvB,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7D,0BAA0B;YAC1B,IAAI,SAA+C,CAAC;YACpD,MAAM,IAAI,GAAI,IAAyD,CAAC,YAAY,EAAE,EAAE,CAAC;YACzF,IAAI,IAAI,EAAE,OAAO,EAAE,KAAK,UAAU,CAAC,KAAK,EAAE,CAAC;gBACzC,SAAS,GAAG,IAAgC,CAAC;YAC/C,CAAC;YACD,IAAI,CAAC,SAAS;gBAAE,SAAS;YAEzB,MAAM,KAAK,GAAG,SAAS,CAAC,aAAa,EAAE,CAAC;YACxC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAEjC,2EAA2E;YAC3E,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YACzC,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC;YAEpC,kDAAkD;YAClD,IAAI,QAAQ,KAAK,UAAU,CAAC,cAAc;gBACtC,QAAQ,KAAK,UAAU,CAAC,eAAe;gBACvC,QAAQ,KAAK,UAAU,CAAC,cAAc,EAAE,CAAC;gBAC3C,8EAA8E;gBAC9E,MAAM,WAAW,GAAG,SAAS,CAAC,oBAAoB,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;gBAC5F,IAAI,CAAC,WAAW,EAAE,CAAC;oBACjB,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,oBAAoB,EAAE,SAAS,EAAE,KAAK,EAC1D,qEAAqE,EACrE,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,kBAAkB,EAAE,EACvC,EAAE,UAAU,EAAE,uDAAuD,EAAE,CAAC,CAAC,CAAC;gBAC9E,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4EAA4E;AAC5E,yCAAyC;AAEzC,SAAS,gBAAgB,CAAC,GAAgB;IACxC,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;IAC9E,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK;QACnF,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM;QACzE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;IAEvD,8EAA8E;IAC9E,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,mBAAmB,CAAC,EAAE,CAAC;QACvF,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;QACnC,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAChC,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,sBAAsB;YACvE,QAAQ,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,QAAQ,CAAC,UAAU,CAAC,SAAS,CAAC;YAChE,QAAQ,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;QACnC,IAAI,CAAC,YAAY;YAAE,SAAS;QAE5B,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAC;QAE3C,mEAAmE;QACnE,MAAM,KAAK,GAAG,IAAI,CAAC,sBAAsB,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC;QAE9E,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,IAAI,OAAO,GAAG,KAAK,CAAC;QAEpB,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,oBAAoB,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;YACtE,IAAI,KAAK,CAAC,OAAO,EAAE,KAAK,OAAO;gBAAE,SAAS;YAC1C,IAAI,KAAK,CAAC,kBAAkB,EAAE,KAAK,QAAQ,IAAI,KAAK,CAAC,QAAQ,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE;gBAAE,SAAS;YAE3F,MAAM,MAAM,GAAG,KAAK,CAAC,SAAS,EAAE,CAAC;YACjC,IAAI,CAAC,MAAM;gBAAE,SAAS;YAEtB,IAAI,MAAM,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,wBAAwB,EAAE,CAAC;gBAC7D,MAAM,EAAE,GAAG,MAAqD,CAAC;gBACjE,IAAI,EAAE,CAAC,aAAa,EAAE,KAAK,KAAK,EAAE,CAAC;oBACjC,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC;oBAC5B,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC;wBAAE,QAAQ,GAAG,IAAI,CAAC;oBAC1C,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;wBAAE,OAAO,GAAG,IAAI,CAAC;gBAC1C,CAAC;YACH,CAAC;iBAAM,IAAI,MAAM,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,mBAAmB,EAAE,CAAC;gBAC/D,wDAAwD;gBACxD,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC;QAED,IAAI,QAAQ,IAAI,CAAC,OAAO,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,SAAS,EAAE,KAAK,EACzD,eAAe,OAAO,+BAA+B,EACrD,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4EAA4E;AAC5E,sCAAsC;AAEtC,SAAS,qBAAqB,CAAC,GAAgB;IAC7C,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;IAE9E,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,mBAAmB,CAAC,EAAE,CAAC;QACvF,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;QACnC,IAAI,CAAC,IAAI;YAAE,SAAS;QAEpB,6CAA6C;QAC7C,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,CAAC;QACvC,MAAM,OAAO,GAAG,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,WAAW;YAC3D,QAAQ,KAAK,WAAW,IAAI,QAAQ,KAAK,aAAa,CAAC;QACzD,IAAI,CAAC,OAAO;YAAE,SAAS;QAEvB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAC;QAE3C,yCAAyC;QACzC,MAAM,KAAK,GAAG,IAAI,CAAC,sBAAsB,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC;QAE9E,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,IAAI,OAAO,GAAG,KAAK,CAAC;QAEpB,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,oBAAoB,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;YACtE,IAAI,KAAK,CAAC,OAAO,EAAE,KAAK,OAAO;gBAAE,SAAS;YAC1C,IAAI,KAAK,CAAC,kBAAkB,EAAE,KAAK,QAAQ,IAAI,KAAK,CAAC,QAAQ,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE;gBAAE,SAAS;YAE3F,MAAM,MAAM,GAAG,KAAK,CAAC,SAAS,EAAE,CAAC;YACjC,IAAI,CAAC,MAAM;gBAAE,SAAS;YAEtB,IAAI,MAAM,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,wBAAwB,EAAE,CAAC;gBAC7D,MAAM,EAAE,GAAG,MAAqD,CAAC;gBACjE,IAAI,EAAE,CAAC,aAAa,EAAE,KAAK,KAAK,EAAE,CAAC;oBACjC,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC;wBAAE,QAAQ,GAAG,IAAI,CAAC;;wBAC3C,OAAO,GAAG,IAAI,CAAC;gBACtB,CAAC;YACH,CAAC;iBAAM,IAAI,MAAM,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,gBAAgB,EAAE,CAAC;gBAC5D,MAAM,GAAG,GAAG,MAA6C,CAAC;gBAC1D,IAAI,GAAG,CAAC,gBAAgB,EAAE,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,WAAW,IAAI,GAAG,CAAC,OAAO,EAAE,KAAK,KAAK,EAAE,CAAC;oBAC3F,QAAQ,GAAG,IAAI,CAAC;gBAClB,CAAC;qBAAM,CAAC;oBACN,OAAO,GAAG,IAAI,CAAC;gBACjB,CAAC;YACH,CAAC;iBAAM,IAAI,MAAM,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,cAAc,EAAE,CAAC;gBAC1D,MAAM,QAAQ,GAAG,MAA2C,CAAC;gBAC7D,IAAI,QAAQ,CAAC,aAAa,EAAE,KAAK,KAAK;oBAAE,QAAQ,GAAG,IAAI,CAAC;;oBACnD,OAAO,GAAG,IAAI,CAAC;YACtB,CAAC;iBAAM,IAAI,MAAM,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,mBAAmB,EAAE,CAAC;gBAC/D,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC;QAED,IAAI,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,yBAAyB,EAAE,SAAS,EAAE,KAAK,EAC/D,eAAe,OAAO,yEAAyE,EAC/F,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4EAA4E;AAC5E,8DAA8D;AAE9D,SAAS,aAAa,CAAC,GAAgB;IACrC,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,yCAAyC;IACzC,MAAM,SAAS,GAAG;QAChB,UAAU,CAAC,YAAY;QACvB,UAAU,CAAC,cAAc;QACzB,UAAU,CAAC,cAAc;QACzB,UAAU,CAAC,cAAc;KAC1B,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7D,MAAM,IAAI,GAAI,IAAyD,CAAC,YAAY,EAAE,EAAE,CAAC;YACzF,IAAI,IAAI,EAAE,OAAO,EAAE,KAAK,UAAU,CAAC,KAAK;gBAAE,SAAS;YACnD,MAAM,KAAK,GAAG,IAAgC,CAAC;YAC/C,MAAM,KAAK,GAAG,KAAK,CAAC,aAAa,EAAE,CAAC;YACpC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAEjC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YACrC,IAAI,IAAI,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,iBAAiB,EAAE,CAAC;gBACpD,MAAM,QAAQ,GAAG,IAA4C,CAAC;gBAC9D,+BAA+B;gBAC/B,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,EAAE,CAAC;oBACzB,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,MAAM,EAAE,OAAO,EACrD,wCAAwC,EACxC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,kBAAkB,EAAE,EACvC,EAAE,UAAU,EAAE,kDAAkD,EAAE,CAAC,CAAC,CAAC;gBACzE,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,2CAA2C;IAC3C,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,UAAU,CAAC,YAAY,EAAE,EAAE,CAAC;QAC/C,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,KAAK;YAAE,SAAS;QAC3D,MAAM,KAAK,GAAG,IAAgC,CAAC;QAC/C,MAAM,KAAK,GAAG,KAAK,CAAC,aAAa,EAAE,CAAC;QACpC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAEjC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACrC,IAAI,IAAI,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,eAAe,EAAE,CAAC;YAClD,MAAM,OAAO,GAAG,IAA0C,CAAC;YAC3D,mCAAmC;YACnC,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC;gBAC7B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,MAAM,EAAE,OAAO,EACrD,qCAAqC,EACrC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,kBAAkB,EAAE,EACvC,EAAE,UAAU,EAAE,0CAA0C,EAAE,CAAC,CAAC,CAAC;YAC/D,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4EAA4E;AAE5E,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,mBAAmB;IACnB,oBAAoB;IACpB,oBAAoB;IACpB,iBAAiB;IACjB,gBAAgB;IAChB,gBAAgB;IAChB,qBAAqB;IACrB,aAAa;CACd,CAAC"}

package/dist/rules/express.js

@@ -3,6 +3,7 @@
  *
  * Catches common Express security and performance issues.
  */
+import { SyntaxKind, Node } from 'ts-morph';
 import { createFingerprint } from '../types.js';
 function span(file, line, col = 1) {
     return { file, startLine: line, startCol: col, endLine: line, endCol: col };
@@ -53,11 +54,11 @@ function missingErrorMiddleware(ctx) {
     const findings = [];
     const fullText = ctx.sourceFile.getFullText();
     // Check if this file creates an Express app
-    const hasApp = /(?:const|let)\s+\w+\s*=\s*express\s*\(\s*\)/g.test(fullText);
+    const hasApp = /(?:const|let) \w+ ?= ?express\s?\(\s?\)/.test(fullText);
     if (!hasApp)
         return findings;
     // Check for error middleware (4-parameter function: err, req, res, next)
-    const has4ParamMiddleware = /app\.use\s*\(\s*(?:function\s*)?\(\s*\w+\s*,\s*\w+\s*,\s*\w+\s*,\s*\w+\s*\)/g.test(fullText);
+    const has4ParamMiddleware = /app\.use\s?\(\s?(?:function\s+)?\(\s?\w+,\s?\w+,\s?\w+,\s?\w+\s?\)/.test(fullText);
     const hasErrorHandler = has4ParamMiddleware || fullText.includes('errorHandler') || fullText.includes('error-handler');
     if (!hasErrorHandler) {
         // Find the app declaration line
@@ -98,10 +99,76 @@ function syncInHandler(ctx) {
     }
     return findings;
 }
+// ── Rule: double-response ────────────────────────────────────────────────
+// Express handler sends response (res.json/res.send) more than once without early return
+const RESPONSE_METHODS = new Set(['json', 'send', 'end', 'redirect', 'render', 'sendFile', 'sendStatus']);
+function doubleResponse(ctx) {
+    const findings = [];
+    const fullText = ctx.sourceFile.getFullText();
+    // Find functions with (req, res) or (req, res, next) parameters
+    const allFns = [
+        ...ctx.sourceFile.getDescendantsOfKind(SyntaxKind.FunctionDeclaration),
+        ...ctx.sourceFile.getDescendantsOfKind(SyntaxKind.ArrowFunction),
+        ...ctx.sourceFile.getDescendantsOfKind(SyntaxKind.FunctionExpression),
+        ...ctx.sourceFile.getDescendantsOfKind(SyntaxKind.MethodDeclaration),
+    ];
+    for (const fn of allFns) {
+        const params = fn.getParameters();
+        const resParam = params.find(p => /^(res|response)$/i.test(p.getName()) || /\bResponse\b/.test(p.getType().getText(p)));
+        const reqLike = params.some(p => /^(req|request|ctx)$/i.test(p.getName()) || /\b(Request|NextFunction)\b/.test(p.getType().getText(p)));
+        if (!resParam || !reqLike)
+            continue;
+        const resName = resParam.getName();
+        const body = fn.getBody();
+        if (!body || !Node.isBlock(body))
+            continue;
+        // Find all response calls in the body (excluding nested functions)
+        const responseCalls = [];
+        for (const call of body.getDescendantsOfKind(SyntaxKind.CallExpression)) {
+            // Skip if inside a nested function
+            let isNested = false;
+            let cur = call.getParent();
+            while (cur && cur !== body) {
+                if (Node.isArrowFunction(cur) || Node.isFunctionExpression(cur) ||
+                    Node.isFunctionDeclaration(cur) || Node.isMethodDeclaration(cur)) {
+                    isNested = true;
+                    break;
+                }
+                cur = cur.getParent();
+            }
+            if (isNested)
+                continue;
+            const expr = call.getExpression();
+            if (!Node.isPropertyAccessExpression(expr))
+                continue;
+            const methodName = expr.getName();
+            if (!RESPONSE_METHODS.has(methodName))
+                continue;
+            // Check if the object is res or res.status(...)
+            const obj = expr.getExpression();
+            const isResCall = Node.isIdentifier(obj) && obj.getText() === resName;
+            const isChainedRes = Node.isCallExpression(obj) && obj.getExpression().getText().startsWith(resName);
+            if (!isResCall && !isChainedRes)
+                continue;
+            responseCalls.push({ line: call.getStartLineNumber(), method: methodName });
+        }
+        // Check for response calls that aren't in mutually exclusive if/else branches
+        // Simple heuristic: if there are 2+ response calls and any is NOT followed by return/throw, flag it
+        if (responseCalls.length < 2)
+            continue;
+        // Flag from the second call onwards
+        for (let i = 1; i < responseCalls.length; i++) {
+            const { line, method } = responseCalls[i];
+            findings.push(finding('double-response', 'error', 'bug', `Possible double response: ${resName}.${method}() may execute after an earlier response — add return after first send`, ctx.filePath, line, { suggestion: 'Return immediately after sending a response to prevent double-send errors' }));
+        }
+    }
+    return findings;
+}
 // ── Exported Express Rules ───────────────────────────────────────────────
 export const expressRules = [
     unvalidatedInput,
     missingErrorMiddleware,
     syncInHandler,
+    doubleResponse,
 ];
 //# sourceMappingURL=express.js.map

package/dist/rules/express.js.map

@@ -1 +1 @@
-{"version":3,"file":"express.js","sourceRoot":"","sources":["../../src/rules/express.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAEhD,SAAS,IAAI,CAAC,IAAY,EAAE,IAAY,EAAE,GAAG,GAAG,CAAC;IAC/C,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AAC9E,CAAC;AAED,SAAS,OAAO,CACd,MAAc,EACd,QAAsC,EACtC,QAAmC,EACnC,OAAe,EACf,IAAY,EACZ,IAAY,EACZ,KAA8B;IAE9B,OAAO;QACL,MAAM,EAAE,MAAM;QACd,MAAM;QACN,QAAQ;QACR,QAAQ;QACR,OAAO;QACP,WAAW,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC;QAC7B,WAAW,EAAE,iBAAiB,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/C,GAAG,KAAK;KACT,CAAC;AACJ,CAAC;AAED,4EAA4E;AAC5E,0CAA0C;AAE1C,SAAS,gBAAgB,CAAC,GAAgB;IACxC,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;IAC9C,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAEnC,mDAAmD;IACnD,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;IACpF,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;IACpF,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;IACpF,MAAM,aAAa,GAAG,MAAM,IAAI,MAAM,IAAI,MAAM,IAAI,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IAEnF,IAAI,aAAa;QAAE,OAAO,QAAQ,CAAC,CAAC,iCAAiC;IAErE,qCAAqC;IACrC,MAAM,YAAY,GAAG,yCAAyC,CAAC;IAC/D,IAAI,KAAK,CAAC;IAEV,OAAO,CAAC,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACtD,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;QACnE,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QAEvC,wDAAwD;QACxD,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC;YACxD,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC;YAC7D,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAAE,SAAS;QAE1C,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,OAAO,EAAE,KAAK,EACvD,OAAO,KAAK,CAAC,CAAC,CAAC,uDAAuD,EACtE,GAAG,CAAC,QAAQ,EAAE,IAAI,EAClB,EAAE,UAAU,EAAE,wEAAwE,EAAE,CAAC,CAAC,CAAC;IAC/F,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,6EAA6E;AAC7E,yDAAyD;AAEzD,SAAS,sBAAsB,CAAC,GAAgB;IAC9C,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;IAE9C,4CAA4C;IAC5C,MAAM,MAAM,GAAG,8CAA8C,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC7E,IAAI,CAAC,MAAM;QAAE,OAAO,QAAQ,CAAC;IAE7B,yEAAyE;IACzE,MAAM,mBAAmB,GAAG,8EAA8E,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC1H,MAAM,eAAe,GAAG,mBAAmB,IAAI,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;IAEvH,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,gCAAgC;QAChC,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,+CAA+C,CAAC,CAAC;QACjF,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;YAC7E,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,0BAA0B,EAAE,SAAS,EAAE,SAAS,EACpE,uFAAuF,EACvF,GAAG,CAAC,QAAQ,EAAE,IAAI,EAClB,EAAE,UAAU,EAAE,qFAAqF,EAAE,CAAC,CAAC,CAAC;QAC5G,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4EAA4E;AAC5E,uDAAuD;AAEvD,SAAS,aAAa,CAAC,GAAgB;IACrC,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;IAE9C,MAAM,OAAO,GAAG;QACd,EAAE,OAAO,EAAE,sBAAsB,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,UAAU,EAAE;QAC5E,EAAE,OAAO,EAAE,uBAAuB,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,WAAW,EAAE;QAC/E,EAAE,OAAO,EAAE,oBAAoB,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE;QACtE,EAAE,OAAO,EAAE,mBAAmB,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE;QACnE,EAAE,OAAO,EAAE,qBAAqB,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,SAAS,EAAE;QACzE,EAAE,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE;QAChE,EAAE,OAAO,EAAE,4BAA4B,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE;QAC9E,EAAE,OAAO,EAAE,4BAA4B,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE;QAC9E,EAAE,OAAO,EAAE,6BAA6B,EAAE,IAAI,EAAE,oBAAoB,EAAE,KAAK,EAAE,wBAAwB,EAAE;KACxG,CAAC;IAEF,4CAA4C;IAC5C,MAAM,WAAW,GAAG,sDAAsD,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC1F,IAAI,CAAC,WAAW;QAAE,OAAO,QAAQ,CAAC;IAElC,KAAK,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,OAAO,EAAE,CAAC;QAC1D,IAAI,KAAK,CAAC;QACV,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACjD,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;YACnE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,SAAS,EAAE,SAAS,EAC3D,GAAG,IAAI,mDAAmD,SAAS,UAAU,EAC7E,GAAG,CAAC,QAAQ,EAAE,IAAI,EAClB,EAAE,UAAU,EAAE,WAAW,IAAI,eAAe,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4EAA4E;AAE5E,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,gBAAgB;IAChB,sBAAsB;IACtB,aAAa;CACd,CAAC"}
+{"version":3,"file":"express.js","sourceRoot":"","sources":["../../src/rules/express.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAE5C,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAEhD,SAAS,IAAI,CAAC,IAAY,EAAE,IAAY,EAAE,GAAG,GAAG,CAAC;IAC/C,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AAC9E,CAAC;AAED,SAAS,OAAO,CACd,MAAc,EACd,QAAsC,EACtC,QAAmC,EACnC,OAAe,EACf,IAAY,EACZ,IAAY,EACZ,KAA8B;IAE9B,OAAO;QACL,MAAM,EAAE,MAAM;QACd,MAAM;QACN,QAAQ;QACR,QAAQ;QACR,OAAO;QACP,WAAW,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC;QAC7B,WAAW,EAAE,iBAAiB,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/C,GAAG,KAAK;KACT,CAAC;AACJ,CAAC;AAED,4EAA4E;AAC5E,0CAA0C;AAE1C,SAAS,gBAAgB,CAAC,GAAgB;IACxC,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;IAC9C,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAEnC,mDAAmD;IACnD,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;IACpF,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;IACpF,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;IACpF,MAAM,aAAa,GAAG,MAAM,IAAI,MAAM,IAAI,MAAM,IAAI,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IAEnF,IAAI,aAAa;QAAE,OAAO,QAAQ,CAAC,CAAC,iCAAiC;IAErE,qCAAqC;IACrC,MAAM,YAAY,GAAG,yCAAyC,CAAC;IAC/D,IAAI,KAAK,CAAC;IAEV,OAAO,CAAC,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACtD,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;QACnE,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QAEvC,wDAAwD;QACxD,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC;YACxD,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC;YAC7D,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAAE,SAAS;QAE1C,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,OAAO,EAAE,KAAK,EACvD,OAAO,KAAK,CAAC,CAAC,CAAC,uDAAuD,EACtE,GAAG,CAAC,QAAQ,EAAE,IAAI,EAClB,EAAE,UAAU,EAAE,wEAAwE,EAAE,CAAC,CAAC,CAAC;IAC/F,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,6EAA6E;AAC7E,yDAAyD;AAEzD,SAAS,sBAAsB,CAAC,GAAgB;IAC9C,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;IAE9C,4CAA4C;IAC5C,MAAM,MAAM,GAAG,yCAAyC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACxE,IAAI,CAAC,MAAM;QAAE,OAAO,QAAQ,CAAC;IAE7B,yEAAyE;IACzE,MAAM,mBAAmB,GAAG,oEAAoE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAChH,MAAM,eAAe,GAAG,mBAAmB,IAAI,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;IAEvH,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,gCAAgC;QAChC,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,+CAA+C,CAAC,CAAC;QACjF,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;YAC7E,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,0BAA0B,EAAE,SAAS,EAAE,SAAS,EACpE,uFAAuF,EACvF,GAAG,CAAC,QAAQ,EAAE,IAAI,EAClB,EAAE,UAAU,EAAE,qFAAqF,EAAE,CAAC,CAAC,CAAC;QAC5G,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4EAA4E;AAC5E,uDAAuD;AAEvD,SAAS,aAAa,CAAC,GAAgB;IACrC,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;IAE9C,MAAM,OAAO,GAAG;QACd,EAAE,OAAO,EAAE,sBAAsB,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,UAAU,EAAE;QAC5E,EAAE,OAAO,EAAE,uBAAuB,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,WAAW,EAAE;QAC/E,EAAE,OAAO,EAAE,oBAAoB,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE;QACtE,EAAE,OAAO,EAAE,mBAAmB,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE;QACnE,EAAE,OAAO,EAAE,qBAAqB,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,SAAS,EAAE;QACzE,EAAE,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE;QAChE,EAAE,OAAO,EAAE,4BAA4B,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE;QAC9E,EAAE,OAAO,EAAE,4BAA4B,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE;QAC9E,EAAE,OAAO,EAAE,6BAA6B,EAAE,IAAI,EAAE,oBAAoB,EAAE,KAAK,EAAE,wBAAwB,EAAE;KACxG,CAAC;IAEF,4CAA4C;IAC5C,MAAM,WAAW,GAAG,sDAAsD,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC1F,IAAI,CAAC,WAAW;QAAE,OAAO,QAAQ,CAAC;IAElC,KAAK,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,OAAO,EAAE,CAAC;QAC1D,IAAI,KAAK,CAAC;QACV,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACjD,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;YACnE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,SAAS,EAAE,SAAS,EAC3D,GAAG,IAAI,mDAAmD,SAAS,UAAU,EAC7E,GAAG,CAAC,QAAQ,EAAE,IAAI,EAClB,EAAE,UAAU,EAAE,WAAW,IAAI,eAAe,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4EAA4E;AAC5E,yFAAyF;AAEzF,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC,CAAC;AAE1G,SAAS,cAAc,CAAC,GAAgB;IACtC,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;IAE9C,gEAAgE;IAChE,MAAM,MAAM,GAAG;QACb,GAAG,GAAG,CAAC,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,mBAAmB,CAAC;QACtE,GAAG,GAAG,CAAC,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,aAAa,CAAC;QAChE,GAAG,GAAG,CAAC,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,kBAAkB,CAAC;QACrE,GAAG,GAAG,CAAC,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,iBAAiB,CAAC;KACrE,CAAC;IAEF,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QACxB,MAAM,MAAM,GAAG,EAAE,CAAC,aAAa,EAAE,CAAC;QAClC,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC/B,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxF,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC9B,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,4BAA4B,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzG,IAAI,CAAC,QAAQ,IAAI,CAAC,OAAO;YAAE,SAAS;QAEpC,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;YAAE,SAAS;QAE3C,mEAAmE;QACnE,MAAM,aAAa,GAA4C,EAAE,CAAC;QAClE,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,oBAAoB,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;YACxE,mCAAmC;YACnC,IAAI,QAAQ,GAAG,KAAK,CAAC;YACrB,IAAI,GAAG,GAAwC,IAAI,CAAC,SAAS,EAAE,CAAC;YAChE,OAAO,GAAG,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;gBAC3B,IAAI,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC;oBAC3D,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC;oBACrE,QAAQ,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,CAAC;gBACD,GAAG,GAAG,GAAG,CAAC,SAAS,EAAE,CAAC;YACxB,CAAC;YACD,IAAI,QAAQ;gBAAE,SAAS;YAEvB,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;YAClC,IAAI,CAAC,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC;gBAAE,SAAS;YACrD,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;YAClC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC;gBAAE,SAAS;YAEhD,gDAAgD;YAChD,MAAM,GAAG,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;YACjC,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,KAAK,OAAO,CAAC;YACtE,MAAM,YAAY,GAAG,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,aAAa,EAAE,CAAC,OAAO,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;YACrG,IAAI,CAAC,SAAS,IAAI,CAAC,YAAY;gBAAE,SAAS;YAE1C,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,kBAAkB,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;QAC9E,CAAC;QAED,8EAA8E;QAC9E,oGAAoG;QACpG,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QAEvC,oCAAoC;QACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9C,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;YAC1C,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,OAAO,EAAE,KAAK,EACrD,6BAA6B,OAAO,IAAI,MAAM,wEAAwE,EACtH,GAAG,CAAC,QAAQ,EAAE,IAAI,EAClB,EAAE,UAAU,EAAE,2EAA2E,EAAE,CAAC,CAAC,CAAC;QAClG,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4EAA4E;AAE5E,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,gBAAgB;IAChB,sBAAsB;IACtB,aAAa;IACb,cAAc;CACf,CAAC"}

package/dist/rules/ground-layer.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Ground-layer KERN-IR lint rules.
+ *
+ * These operate on IRNode[], not ts-morph SourceFile.
+ * 4 are codegen errors (compilation fails via KernCodegenError).
+ * 7 are lint warnings/info (reported but compilation succeeds).
+ */
+import type { KernLintRule } from '../kern-lint.js';
+/** guard without else action (lint warning) */
+export declare const guardWithoutElse: KernLintRule;
+/** action missing idempotent annotation (lint info) */
+export declare const actionMissingIdempotent: KernLintRule;
+/** branch missing known variants (lint warning) */
+export declare const branchNonExhaustive: KernLintRule;
+/** collect without limit (lint info) */
+export declare const collectUnbounded: KernLintRule;
+/** reason without basis field (lint info) */
+export declare const reasonWithoutBasis: KernLintRule;
+/** assume with basis but no evidence (lint info — low trust) */
+export declare const assumeLowTrust: KernLintRule;
+/** expect range inverted (lint warning — min > max) */
+export declare const expectRangeInverted: KernLintRule;
+export declare const GROUND_LAYER_RULES: KernLintRule[];