@trebired/code-discipline 3.4.1 → 3.4.2

package/CHANGELOG.md

@@ -2,6 +2,12 @@
 
 All notable changes to `@trebired/code-discipline` will be documented here.
 
+## 3.4.2
+
+- Added normalized behavioral fingerprints for simple pure `dry` functions, so equivalent implementations can be grouped despite different names, parameters, locals, formatting, or expression-vs-block structure.
+- Normalized common equivalent helper forms including nullish fallbacks, const-then-return wrappers, branch returns, finite number guards, and object guard checks while preserving behavior-changing distinctions.
+- Added the `normalized-behavior` DRY signal and fixtures covering representative text, number, clamp, and object helpers without hardcoding project-specific names or paths.
+
 ## 3.4.1
 
 - Added `dry.minDuplicateCharacters`, defaulting to `0`, so DRY duplicate detection no longer has a hidden minimum function size.

package/README.md

@@ -440,10 +440,12 @@ code-discipline fix remove-comments
 Reports duplicate function groups across the configured source tree.
 
 - exact normalized structure is reported with 100% confidence
+- equivalent normalized behavior in simple pure functions is reported with 100% confidence
 - matching function names are reported with 100% confidence
 - highly similar normalized function structure is reported as a likely duplicate
 - `minDuplicateCharacters` defaults to `0`; raise it if you only want larger duplicate functions
-- whitespace, comments, function names, and local identifier names do not matter
+- whitespace, comments, function names, parameter names, and local identifier names do not matter
+- expression bodies, single-return blocks, simple const-then-return blocks, nullish fallback forms, finite number guards, and object guard branches are normalized when their behavior matches
 - reports are neutral groups, not "file A duplicates file B"
 - `dry` is check-only
 
@@ -456,7 +458,7 @@ dry: {
 Example output:
 
 ```txt
-dry duplicate function group: 2 functions, confidence 1, signals: exact-normalized, similar-structure
+dry duplicate function group: 2 functions, confidence 1, signals: exact-normalized, normalized-behavior, similar-structure
   - src/one.ts:1 buildUserLabel
   - src/two.ts:1 formatUserLabel
 ```

package/dist/checks/rules/dry/behavior/conditions.d.ts

@@ -0,0 +1,6 @@
+import ts from "typescript";
+import type { BehaviorContext, BehaviorExpression } from "./model.js";
+declare function normalizeCondition(node: ts.Node, context: BehaviorContext, sourceFile: ts.SourceFile): BehaviorExpression | undefined;
+declare function normalizeConditional(condition: BehaviorExpression, whenTrue: BehaviorExpression, whenFalse: BehaviorExpression): BehaviorExpression;
+export { normalizeCondition, normalizeConditional };
+//# sourceMappingURL=conditions.d.ts.map

package/dist/checks/rules/dry/behavior/conditions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"conditions.d.ts","sourceRoot":"","sources":["../../../../../src/checks/rules/dry/behavior/conditions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,KAAK,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAkBtE,iBAAS,kBAAkB,CACzB,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,OAAO,EAAE,eAAe,EACxB,UAAU,EAAE,EAAE,CAAC,UAAU,GACxB,kBAAkB,GAAG,SAAS,CAkBhC;AA+DD,iBAAS,oBAAoB,CAC3B,SAAS,EAAE,kBAAkB,EAC7B,QAAQ,EAAE,kBAAkB,EAC5B,SAAS,EAAE,kBAAkB,GAC5B,kBAAkB,CASpB;AAyID,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,CAAC"}

package/dist/checks/rules/dry/behavior/conditions.js

@@ -0,0 +1,171 @@
+import ts from "typescript";
+import { expressionsEqual, flattenBinary, inferSingleReplacement, invertCondition, isBooleanExpression, isComparisonOperator, isEqualityOperator, isTagged, normalizeAnd, normalizeComparison, positiveEqualityOperator, reduceExpression, replaceExpression, } from "./model.js";
+import { normalizeExpression } from "./expressions.js";
+function normalizeCondition(node, context, sourceFile) {
+    const unwrapped = unwrapCondition(node);
+    if (unwrapped !== node)
+        return normalizeCondition(unwrapped, context, sourceFile);
+    if (ts.isPrefixUnaryExpression(node) && node.operator === ts.SyntaxKind.ExclamationToken) {
+        const operand = normalizeCondition(node.operand, context, sourceFile);
+        return operand === undefined ? undefined : invertCondition(operand);
+    }
+    const nullishGroup = normalizeNullishGroup(node, context, sourceFile);
+    if (nullishGroup !== undefined)
+        return nullishGroup;
+    if (ts.isBinaryExpression(node)) {
+        return normalizeBinaryCondition(node, context, sourceFile);
+    }
+    const expression = normalizeExpression(node, context, sourceFile);
+    return expression === undefined || isBooleanExpression(expression) ? expression : ["truthy", expression];
+}
+function unwrapCondition(node) {
+    if (ts.isParenthesizedExpression(node)
+        || ts.isAsExpression(node)
+        || ts.isTypeAssertionExpression(node)
+        || ts.isNonNullExpression(node)
+        || ts.isSatisfiesExpression(node)) {
+        return node.expression;
+    }
+    return node;
+}
+function normalizeBinaryCondition(node, context, sourceFile) {
+    if (node.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken) {
+        return normalizeLogicalAnd(node, context, sourceFile);
+    }
+    if (node.operatorToken.kind === ts.SyntaxKind.BarBarToken) {
+        return normalizeLogicalOr(node, context, sourceFile);
+    }
+    if (isEqualityOperator(node.operatorToken.kind)) {
+        return normalizeEqualityCondition(node, context, sourceFile);
+    }
+    if (isComparisonOperator(node.operatorToken.kind)) {
+        const left = normalizeExpression(node.left, context, sourceFile);
+        const right = normalizeExpression(node.right, context, sourceFile);
+        return left === undefined || right === undefined
+            ? undefined
+            : ["compare", ts.tokenToString(node.operatorToken.kind) ?? String(node.operatorToken.kind), left, right];
+    }
+    return undefined;
+}
+function normalizeLogicalAnd(node, context, sourceFile) {
+    const terms = flattenBinary(node, ts.SyntaxKind.AmpersandAmpersandToken)
+        .map((term) => normalizeCondition(term, context, sourceFile));
+    return terms.some((term) => term === undefined) ? undefined : normalizeAnd(terms);
+}
+function normalizeLogicalOr(node, context, sourceFile) {
+    const terms = flattenBinary(node, ts.SyntaxKind.BarBarToken)
+        .map((term) => normalizeCondition(term, context, sourceFile));
+    if (terms.some((term) => term === undefined))
+        return undefined;
+    return invertCondition(normalizeAnd(terms.map(invertCondition)));
+}
+function normalizeConditional(condition, whenTrue, whenFalse) {
+    if (isTagged(condition, "not")) {
+        return normalizeConditional(condition[1], whenFalse, whenTrue);
+    }
+    const coalesce = normalizeCoalesceConditional(condition, whenTrue, whenFalse);
+    if (coalesce)
+        return coalesce;
+    return reduceExpression(["conditional", condition, whenTrue, whenFalse]);
+}
+function normalizeCoalesceConditional(condition, whenTrue, whenFalse) {
+    if (!isTagged(condition, "nullish"))
+        return undefined;
+    const checked = condition[1];
+    const fallback = inferCoalesceFallback(checked, whenTrue, whenFalse);
+    if (fallback !== undefined)
+        return reduceExpression(replaceExpression(whenFalse, checked, ["coalesce", checked, fallback]));
+    return undefined;
+}
+function inferCoalesceFallback(checked, whenNullish, whenPresent) {
+    if (expressionsEqual(checked, whenPresent))
+        return whenNullish;
+    const structural = inferSingleReplacement(whenPresent, whenNullish, checked);
+    if (structural !== undefined)
+        return structural;
+    const foldedNullishResult = reduceExpression(replaceExpression(whenPresent, checked, whenNullish));
+    return expressionsEqual(foldedNullishResult, whenNullish) ? whenNullish : undefined;
+}
+function normalizeEqualityCondition(node, context, sourceFile) {
+    const nullish = normalizeNullishGroup(node, context, sourceFile);
+    if (nullish !== undefined)
+        return nullish;
+    const left = normalizeExpression(node.left, context, sourceFile);
+    const right = normalizeExpression(node.right, context, sourceFile);
+    if (left === undefined || right === undefined)
+        return undefined;
+    const equality = normalizeComparison(positiveEqualityOperator(node.operatorToken.kind), left, right);
+    return node.operatorToken.kind === ts.SyntaxKind.ExclamationEqualsEqualsToken
+        || node.operatorToken.kind === ts.SyntaxKind.ExclamationEqualsToken
+        ? invertCondition(equality)
+        : equality;
+}
+function normalizeNullishGroup(node, context, sourceFile) {
+    if (!ts.isBinaryExpression(node))
+        return undefined;
+    if (node.operatorToken.kind === ts.SyntaxKind.EqualsEqualsToken || node.operatorToken.kind === ts.SyntaxKind.ExclamationEqualsToken) {
+        const equality = normalizeNullishEquality(node, context, sourceFile);
+        if (!equality)
+            return undefined;
+        return node.operatorToken.kind === ts.SyntaxKind.ExclamationEqualsToken ? invertCondition(equality) : equality;
+    }
+    if (node.operatorToken.kind !== ts.SyntaxKind.BarBarToken && node.operatorToken.kind !== ts.SyntaxKind.AmpersandAmpersandToken) {
+        return undefined;
+    }
+    return normalizeStrictNullishGroup(node, context, sourceFile);
+}
+function normalizeStrictNullishGroup(node, context, sourceFile) {
+    const parts = flattenBinary(node, node.operatorToken.kind)
+        .map((part) => normalizeStrictNullishEquality(part, context, sourceFile));
+    if (parts.some((part) => part === undefined))
+        return undefined;
+    const first = parts[0];
+    const sameExpression = parts.every((part) => expressionsEqual(part.expression, first.expression));
+    const hasNull = parts.some((part) => part.kind === "null");
+    const hasUndefined = parts.some((part) => part.kind === "undefined");
+    if (!sameExpression || !hasNull || !hasUndefined)
+        return undefined;
+    const isNullish = node.operatorToken.kind === ts.SyntaxKind.BarBarToken && parts.every((part) => !part.negated);
+    const isNotNullish = node.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken && parts.every((part) => part.negated);
+    if (!isNullish && !isNotNullish)
+        return undefined;
+    const nullish = ["nullish", first.expression];
+    return isNotNullish ? invertCondition(nullish) : nullish;
+}
+function normalizeNullishEquality(node, context, sourceFile) {
+    const leftNull = isNullLiteral(node.left);
+    const rightNull = isNullLiteral(node.right);
+    if (!leftNull && !rightNull)
+        return undefined;
+    const expression = normalizeExpression(leftNull ? node.right : node.left, context, sourceFile);
+    return expression === undefined ? undefined : ["nullish", expression];
+}
+function normalizeStrictNullishEquality(node, context, sourceFile) {
+    if (!ts.isBinaryExpression(node) || !isEqualityOperator(node.operatorToken.kind))
+        return undefined;
+    const leftKind = nullishLiteralKind(node.left);
+    const rightKind = nullishLiteralKind(node.right);
+    if (!leftKind && !rightKind)
+        return undefined;
+    const expression = normalizeExpression(leftKind ? node.right : node.left, context, sourceFile);
+    if (expression === undefined)
+        return undefined;
+    return {
+        expression,
+        kind: leftKind ?? rightKind,
+        negated: node.operatorToken.kind === ts.SyntaxKind.ExclamationEqualsEqualsToken
+            || node.operatorToken.kind === ts.SyntaxKind.ExclamationEqualsToken,
+    };
+}
+function isNullLiteral(node) {
+    return node.kind === ts.SyntaxKind.NullKeyword;
+}
+function nullishLiteralKind(node) {
+    if (node.kind === ts.SyntaxKind.NullKeyword)
+        return "null";
+    if (ts.isIdentifier(node) && node.text === "undefined")
+        return "undefined";
+    return undefined;
+}
+export { normalizeCondition, normalizeConditional };
+//# sourceMappingURL=conditions.js.map

package/dist/checks/rules/dry/behavior/conditions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conditions.js","sourceRoot":"","sources":["../../../../../src/checks/rules/dry/behavior/conditions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,OAAO,EACL,gBAAgB,EAChB,aAAa,EACb,sBAAsB,EACtB,eAAe,EACf,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,EAClB,QAAQ,EACR,YAAY,EACZ,mBAAmB,EACnB,wBAAwB,EACxB,gBAAgB,EAChB,iBAAiB,GAClB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAEvD,SAAS,kBAAkB,CACzB,IAAa,EACb,OAAwB,EACxB,UAAyB;IAEzB,MAAM,SAAS,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,kBAAkB,CAAC,SAAS,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAElF,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC;QACzF,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QACtE,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;IACtE,CAAC;IAED,MAAM,YAAY,GAAG,qBAAqB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACtE,IAAI,YAAY,KAAK,SAAS;QAAE,OAAO,YAAY,CAAC;IAEpD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,OAAO,wBAAwB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC7D,CAAC;IAED,MAAM,UAAU,GAAG,mBAAmB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAClE,OAAO,UAAU,KAAK,SAAS,IAAI,mBAAmB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;AAC3G,CAAC;AAED,SAAS,eAAe,CAAC,IAAa;IACpC,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;WACjC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;WACvB,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;WAClC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;WAC5B,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,OAAO,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,wBAAwB,CAC/B,IAAyB,EACzB,OAAwB,EACxB,UAAyB;IAEzB,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,EAAE,CAAC;QACtE,OAAO,mBAAmB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACxD,CAAC;IAED,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QAC1D,OAAO,kBAAkB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACvD,CAAC;IAED,IAAI,kBAAkB,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,OAAO,0BAA0B,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC/D,CAAC;IAED,IAAI,oBAAoB,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QACjE,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QACnE,OAAO,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;YAC9C,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAC7G,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,mBAAmB,CAC1B,IAAyB,EACzB,OAAwB,EACxB,UAAyB;IAEzB,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,uBAAuB,CAAC;SACrE,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;IAChE,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,KAA6B,CAAC,CAAC;AAC5G,CAAC;AAED,SAAS,kBAAkB,CACzB,IAAyB,EACzB,OAAwB,EACxB,UAAyB;IAEzB,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC;SACzD,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;IAChE,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/D,OAAO,eAAe,CAAC,YAAY,CAAE,KAA8B,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;AAC7F,CAAC;AAED,SAAS,oBAAoB,CAC3B,SAA6B,EAC7B,QAA4B,EAC5B,SAA6B;IAE7B,IAAI,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,CAAC;QAC/B,OAAO,oBAAoB,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IACjE,CAAC;IAED,MAAM,QAAQ,GAAG,4BAA4B,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;IAC9E,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAE9B,OAAO,gBAAgB,CAAC,CAAC,aAAa,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,4BAA4B,CACnC,SAA6B,EAC7B,QAA4B,EAC5B,SAA6B;IAE7B,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAEtD,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IAC7B,MAAM,QAAQ,GAAG,qBAAqB,CAAC,OAAO,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;IACrE,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,gBAAgB,CAAC,iBAAiB,CAAC,SAAS,EAAE,OAAO,EAAE,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IAE5H,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,qBAAqB,CAC5B,OAA2B,EAC3B,WAA+B,EAC/B,WAA+B;IAE/B,IAAI,gBAAgB,CAAC,OAAO,EAAE,WAAW,CAAC;QAAE,OAAO,WAAW,CAAC;IAE/D,MAAM,UAAU,GAAG,sBAAsB,CAAC,WAAW,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IAC7E,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,UAAU,CAAC;IAEhD,MAAM,mBAAmB,GAAG,gBAAgB,CAAC,iBAAiB,CAAC,WAAW,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC;IACnG,OAAO,gBAAgB,CAAC,mBAAmB,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;AACtF,CAAC;AAED,SAAS,0BAA0B,CACjC,IAAyB,EACzB,OAAwB,EACxB,UAAyB;IAEzB,MAAM,OAAO,GAAG,qBAAqB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACjE,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC;IAE1C,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACjE,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACnE,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAEhE,MAAM,QAAQ,GAAG,mBAAmB,CAAC,wBAAwB,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IACrG,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,4BAA4B;WACxE,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB;QACnE,CAAC,CAAC,eAAe,CAAC,QAAQ,CAAC;QAC3B,CAAC,CAAC,QAAQ,CAAC;AACf,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAAa,EACb,OAAwB,EACxB,UAAyB;IAEzB,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAEnD,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB,EAAE,CAAC;QACpI,MAAM,QAAQ,GAAG,wBAAwB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QACrE,IAAI,CAAC,QAAQ;YAAE,OAAO,SAAS,CAAC;QAChC,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB,CAAC,CAAC,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;IACjH,CAAC;IAED,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,EAAE,CAAC;QAC/H,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,2BAA2B,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,2BAA2B,CAClC,IAAyB,EACzB,OAAwB,EACxB,UAAyB;IAEzB,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;SACvD,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,8BAA8B,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;IAC5E,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAE/D,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;IACxB,MAAM,cAAc,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAK,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;IACnG,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IAC5D,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAK,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;IACtE,IAAI,CAAC,cAAc,IAAI,CAAC,OAAO,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IAEnE,MAAM,SAAS,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAK,CAAC,OAAO,CAAC,CAAC;IACjH,MAAM,YAAY,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAK,CAAC,OAAO,CAAC,CAAC;IAC/H,IAAI,CAAC,SAAS,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IAElD,MAAM,OAAO,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IAC9C,OAAO,YAAY,CAAC,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;AAC3D,CAAC;AAED,SAAS,wBAAwB,CAC/B,IAAyB,EACzB,OAAwB,EACxB,UAAyB;IAEzB,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS;QAAE,OAAO,SAAS,CAAC;IAE9C,MAAM,UAAU,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC/F,OAAO,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,8BAA8B,CACrC,IAAa,EACb,OAAwB,EACxB,UAAyB;IAEzB,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAEnG,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,MAAM,SAAS,GAAG,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS;QAAE,OAAO,SAAS,CAAC;IAE9C,MAAM,UAAU,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC/F,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAE/C,OAAO;QACL,UAAU;QACV,IAAI,EAAE,QAAQ,IAAI,SAAU;QAC5B,OAAO,EAAE,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,4BAA4B;eAC1E,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB;KACtE,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,IAAa;IAClC,OAAO,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC;AACjD,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAa;IACvC,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,MAAM,CAAC;IAC3D,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,WAAW,CAAC;IAC3E,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,CAAC"}

package/dist/checks/rules/dry/behavior/expressions.d.ts

@@ -0,0 +1,5 @@
+import ts from "typescript";
+import type { BehaviorContext, BehaviorExpression } from "./model.js";
+declare function normalizeExpression(node: ts.Node | undefined, context: BehaviorContext, sourceFile: ts.SourceFile): BehaviorExpression | undefined;
+export { normalizeExpression };
+//# sourceMappingURL=expressions.d.ts.map

package/dist/checks/rules/dry/behavior/expressions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expressions.d.ts","sourceRoot":"","sources":["../../../../../src/checks/rules/dry/behavior/expressions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,OAAO,KAAK,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAQtE,iBAAS,mBAAmB,CAC1B,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,SAAS,EACzB,OAAO,EAAE,eAAe,EACxB,UAAU,EAAE,EAAE,CAAC,UAAU,GACxB,kBAAkB,GAAG,SAAS,CAgBhC;AA6ND,OAAO,EAAE,mBAAmB,EAAE,CAAC"}

package/dist/checks/rules/dry/behavior/expressions.js

@@ -0,0 +1,179 @@
+import ts from "typescript";
+import { SAFE_GLOBAL_IDENTIFIERS } from "../serialize/context.js";
+import { isComparisonOperator, isLogicalOperator, isNamedGlobal, } from "./model.js";
+import { normalizeCondition, normalizeConditional } from "./conditions.js";
+function normalizeExpression(node, context, sourceFile) {
+    if (!node)
+        return undefined;
+    const wrapped = normalizeWrappedExpression(node, context, sourceFile);
+    if (wrapped !== undefined)
+        return wrapped;
+    const primitive = normalizePrimitiveExpression(node, context);
+    if (primitive !== undefined)
+        return primitive;
+    const container = normalizeContainerExpression(node, context, sourceFile);
+    if (container !== undefined)
+        return container;
+    const access = normalizeAccessExpression(node, context, sourceFile);
+    if (access !== undefined)
+        return access;
+    return normalizeOperatorExpression(node, context, sourceFile);
+}
+function normalizeWrappedExpression(node, context, sourceFile) {
+    if (ts.isParenthesizedExpression(node)
+        || ts.isAsExpression(node)
+        || ts.isTypeAssertionExpression(node)
+        || ts.isNonNullExpression(node)
+        || ts.isSatisfiesExpression(node)) {
+        return normalizeExpression(node.expression, context, sourceFile);
+    }
+    return undefined;
+}
+function normalizePrimitiveExpression(node, context) {
+    if (ts.isIdentifier(node))
+        return normalizeIdentifier(node, context);
+    if (node.kind === ts.SyntaxKind.TrueKeyword)
+        return ["literal", "boolean", true];
+    if (node.kind === ts.SyntaxKind.FalseKeyword)
+        return ["literal", "boolean", false];
+    if (node.kind === ts.SyntaxKind.NullKeyword)
+        return ["literal", "null"];
+    if (ts.isStringLiteral(node) || ts.isNoSubstitutionTemplateLiteral(node))
+        return ["literal", "string", node.text];
+    if (ts.isNumericLiteral(node))
+        return ["literal", "number", node.text];
+    if (ts.isBigIntLiteral(node))
+        return ["literal", "bigint", node.text];
+    return undefined;
+}
+function normalizeIdentifier(node, context) {
+    const parameter = context.parameters.get(node.text);
+    if (parameter)
+        return ["param", parameter];
+    const local = context.locals.get(node.text);
+    if (local !== undefined)
+        return local;
+    if (node.text === "undefined")
+        return ["literal", "undefined"];
+    if (SAFE_GLOBAL_IDENTIFIERS.has(node.text))
+        return ["global", node.text];
+    return ["outer", node.text];
+}
+function normalizeContainerExpression(node, context, sourceFile) {
+    if (ts.isArrayLiteralExpression(node))
+        return normalizeArrayLiteral(node, context, sourceFile);
+    if (ts.isObjectLiteralExpression(node))
+        return normalizeObjectLiteral(node, context, sourceFile);
+    if (ts.isTemplateExpression(node))
+        return normalizeTemplateExpression(node, context, sourceFile);
+    return undefined;
+}
+function normalizeArrayLiteral(node, context, sourceFile) {
+    const elements = node.elements.map((element) => (ts.isSpreadElement(element)
+        ? ["spread", normalizeExpression(element.expression, context, sourceFile)]
+        : normalizeExpression(element, context, sourceFile)));
+    return elements.some((element) => element === undefined || (Array.isArray(element) && element[1] === undefined))
+        ? undefined
+        : ["array", elements];
+}
+function normalizeObjectLiteral(node, context, sourceFile) {
+    const properties = [];
+    for (const property of node.properties) {
+        const normalized = normalizeObjectProperty(property, context, sourceFile);
+        if (normalized === undefined)
+            return undefined;
+        properties.push(normalized);
+    }
+    return ["object", properties];
+}
+function normalizeObjectProperty(property, context, sourceFile) {
+    if (ts.isPropertyAssignment(property)) {
+        const value = normalizeExpression(property.initializer, context, sourceFile);
+        return value === undefined ? undefined : ["property", property.name.getText(sourceFile), value];
+    }
+    if (ts.isShorthandPropertyAssignment(property)) {
+        return ["property", property.name.text, normalizeIdentifier(property.name, context)];
+    }
+    if (ts.isSpreadAssignment(property)) {
+        const value = normalizeExpression(property.expression, context, sourceFile);
+        return value === undefined ? undefined : ["spread", value];
+    }
+    return undefined;
+}
+function normalizeTemplateExpression(node, context, sourceFile) {
+    const spans = node.templateSpans.map((span) => [
+        normalizeExpression(span.expression, context, sourceFile),
+        span.literal.text,
+    ]);
+    return spans.some(([expression]) => expression === undefined) ? undefined : ["template", node.head.text, spans];
+}
+function normalizeAccessExpression(node, context, sourceFile) {
+    if (ts.isPropertyAccessExpression(node)) {
+        const target = normalizeExpression(node.expression, context, sourceFile);
+        return target === undefined ? undefined : ["member", target, node.name.text];
+    }
+    if (ts.isElementAccessExpression(node)) {
+        const target = normalizeExpression(node.expression, context, sourceFile);
+        const argument = normalizeExpression(node.argumentExpression, context, sourceFile);
+        return target === undefined || argument === undefined ? undefined : ["element", target, argument];
+    }
+    return undefined;
+}
+function normalizeOperatorExpression(node, context, sourceFile) {
+    if (ts.isCallExpression(node))
+        return normalizeCallExpression(node, context, sourceFile);
+    if (ts.isConditionalExpression(node))
+        return normalizeConditionalExpression(node, context, sourceFile);
+    if (ts.isPrefixUnaryExpression(node))
+        return normalizePrefixUnaryExpression(node, context, sourceFile);
+    if (ts.isBinaryExpression(node))
+        return normalizeBinaryExpression(node, context, sourceFile);
+    if (ts.isTypeOfExpression(node))
+        return normalizeTypeOfExpression(node, context, sourceFile);
+    return undefined;
+}
+function normalizeCallExpression(node, context, sourceFile) {
+    const callee = normalizeExpression(node.expression, context, sourceFile);
+    const args = node.arguments.map((argument) => normalizeExpression(argument, context, sourceFile));
+    if (callee === undefined || args.some((arg) => arg === undefined))
+        return undefined;
+    if (isNamedGlobal(callee, "Boolean") && args.length === 1) {
+        return ["truthy", args[0]];
+    }
+    return ["call", callee, args];
+}
+function normalizeConditionalExpression(node, context, sourceFile) {
+    const condition = normalizeCondition(node.condition, context, sourceFile);
+    const whenTrue = normalizeExpression(node.whenTrue, context, sourceFile);
+    const whenFalse = normalizeExpression(node.whenFalse, context, sourceFile);
+    return condition === undefined || whenTrue === undefined || whenFalse === undefined
+        ? undefined
+        : normalizeConditional(condition, whenTrue, whenFalse);
+}
+function normalizePrefixUnaryExpression(node, context, sourceFile) {
+    if (node.operator === ts.SyntaxKind.ExclamationToken)
+        return normalizeCondition(node, context, sourceFile);
+    const operand = normalizeExpression(node.operand, context, sourceFile);
+    return operand === undefined ? undefined : ["prefix", ts.tokenToString(node.operator) ?? String(node.operator), operand];
+}
+function normalizeBinaryExpression(node, context, sourceFile) {
+    if (isComparisonOperator(node.operatorToken.kind)) {
+        return normalizeCondition(node, context, sourceFile);
+    }
+    const left = normalizeExpression(node.left, context, sourceFile);
+    const right = normalizeExpression(node.right, context, sourceFile);
+    if (left === undefined || right === undefined)
+        return undefined;
+    if (isLogicalOperator(node.operatorToken.kind)) {
+        return ["logical", ts.tokenToString(node.operatorToken.kind) ?? String(node.operatorToken.kind), left, right];
+    }
+    return node.operatorToken.kind === ts.SyntaxKind.QuestionQuestionToken
+        ? ["coalesce", left, right]
+        : ["binary", ts.tokenToString(node.operatorToken.kind) ?? String(node.operatorToken.kind), left, right];
+}
+function normalizeTypeOfExpression(node, context, sourceFile) {
+    const expression = normalizeExpression(node.expression, context, sourceFile);
+    return expression === undefined ? undefined : ["typeof", expression];
+}
+export { normalizeExpression };
+//# sourceMappingURL=expressions.js.map

package/dist/checks/rules/dry/behavior/expressions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expressions.js","sourceRoot":"","sources":["../../../../../src/checks/rules/dry/behavior/expressions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAElE,OAAO,EACL,oBAAoB,EACpB,iBAAiB,EACjB,aAAa,GACd,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AAE3E,SAAS,mBAAmB,CAC1B,IAAyB,EACzB,OAAwB,EACxB,UAAyB;IAEzB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAE5B,MAAM,OAAO,GAAG,0BAA0B,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACtE,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC;IAE1C,MAAM,SAAS,GAAG,4BAA4B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9D,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAE9C,MAAM,SAAS,GAAG,4BAA4B,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC1E,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAE9C,MAAM,MAAM,GAAG,yBAAyB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACpE,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IAExC,OAAO,2BAA2B,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,0BAA0B,CACjC,IAAa,EACb,OAAwB,EACxB,UAAyB;IAEzB,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;WACjC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;WACvB,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;WAClC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;WAC5B,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,OAAO,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACnE,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,4BAA4B,CAAC,IAAa,EAAE,OAAwB;IAC3E,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACrE,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,CAAC,SAAS,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IACjF,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAAE,OAAO,CAAC,SAAS,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;IACnF,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IACxE,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAClH,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACvE,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAmB,EAAE,OAAwB;IACxE,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,IAAI,SAAS;QAAE,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAE3C,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAEtC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IAC/D,IAAI,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAEzE,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,4BAA4B,CACnC,IAAa,EACb,OAAwB,EACxB,UAAyB;IAEzB,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC;QAAE,OAAO,qBAAqB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC/F,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAAE,OAAO,sBAAsB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACjG,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;QAAE,OAAO,2BAA2B,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACjG,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAA+B,EAC/B,OAAwB,EACxB,UAAyB;IAEzB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAC9C,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;QACzB,CAAC,CAAC,CAAC,QAAQ,EAAE,mBAAmB,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QAC1E,CAAC,CAAC,mBAAmB,CAAC,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,CACtD,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;QAC9G,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,sBAAsB,CAC7B,IAAgC,EAChC,OAAwB,EACxB,UAAyB;IAEzB,MAAM,UAAU,GAAyB,EAAE,CAAC;IAE5C,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACvC,MAAM,UAAU,GAAG,uBAAuB,CAAC,QAAQ,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QAC1E,IAAI,UAAU,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC/C,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC9B,CAAC;IAED,OAAO,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,uBAAuB,CAC9B,QAAqC,EACrC,OAAwB,EACxB,UAAyB;IAEzB,IAAI,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,mBAAmB,CAAC,QAAQ,CAAC,WAAW,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QAC7E,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC,CAAC;IAClG,CAAC;IAED,IAAI,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/C,OAAO,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,mBAAmB,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACvF,CAAC;IAED,IAAI,EAAE,CAAC,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,mBAAmB,CAAC,QAAQ,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QAC5E,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC7D,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,2BAA2B,CAClC,IAA2B,EAC3B,OAAwB,EACxB,UAAyB;IAEzB,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC7C,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,CAAC;QACzD,IAAI,CAAC,OAAO,CAAC,IAAI;KAClB,CAAC,CAAC;IACH,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAClH,CAAC;AAED,SAAS,yBAAyB,CAChC,IAAa,EACb,OAAwB,EACxB,UAAyB;IAEzB,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QACzE,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/E,CAAC;IAED,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QACzE,MAAM,QAAQ,GAAG,mBAAmB,CAAC,IAAI,CAAC,kBAAkB,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QACnF,OAAO,MAAM,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IACpG,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,2BAA2B,CAClC,IAAa,EACb,OAAwB,EACxB,UAAyB;IAEzB,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,uBAAuB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACzF,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC;QAAE,OAAO,8BAA8B,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACvG,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC;QAAE,OAAO,8BAA8B,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACvG,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;QAAE,OAAO,yBAAyB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC7F,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;QAAE,OAAO,yBAAyB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC7F,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAAuB,EACvB,OAAwB,EACxB,UAAyB;IAEzB,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACzE,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,mBAAmB,CAAC,QAAQ,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;IAClG,IAAI,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAEpF,IAAI,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1D,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;IAC9B,CAAC;IAED,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,8BAA8B,CACrC,IAA8B,EAC9B,OAAwB,EACxB,UAAyB;IAEzB,MAAM,SAAS,GAAG,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC1E,MAAM,QAAQ,GAAG,mBAAmB,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACzE,MAAM,SAAS,GAAG,mBAAmB,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC3E,OAAO,SAAS,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS;QACjF,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,oBAAoB,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,8BAA8B,CACrC,IAA8B,EAC9B,OAAwB,EACxB,UAAyB;IAEzB,IAAI,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;QAAE,OAAO,kBAAkB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAE3G,MAAM,OAAO,GAAG,mBAAmB,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACvE,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC;AAC3H,CAAC;AAED,SAAS,yBAAyB,CAChC,IAAyB,EACzB,OAAwB,EACxB,UAAyB;IAEzB,IAAI,oBAAoB,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QAClD,OAAO,kBAAkB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACvD,CAAC;IAED,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACjE,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACnE,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAEhE,IAAI,iBAAiB,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/C,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAChH,CAAC;IAED,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,qBAAqB;QACpE,CAAC,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC;QAC3B,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AAC5G,CAAC;AAED,SAAS,yBAAyB,CAChC,IAAyB,EACzB,OAAwB,EACxB,UAAyB;IAEzB,MAAM,UAAU,GAAG,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC7E,OAAO,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;AACvE,CAAC;AAED,OAAO,EAAE,mBAAmB,EAAE,CAAC"}

package/dist/checks/rules/dry/behavior/index.d.ts

@@ -0,0 +1,6 @@
+import ts from "typescript";
+import type { BehaviorFingerprint } from "./model.js";
+declare function createBehaviorFingerprint(node: ts.FunctionLikeDeclaration, sourceFile: ts.SourceFile): BehaviorFingerprint | null;
+export { createBehaviorFingerprint };
+export type { BehaviorFingerprint };
+//# sourceMappingURL=index.d.ts.map

package/dist/checks/rules/dry/behavior/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/checks/rules/dry/behavior/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,OAAO,KAAK,EAAmB,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAIvE,iBAAS,yBAAyB,CAAC,IAAI,EAAE,EAAE,CAAC,uBAAuB,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,mBAAmB,GAAG,IAAI,CA2B1H;AAED,OAAO,EAAE,yBAAyB,EAAE,CAAC;AACrC,YAAY,EAAE,mBAAmB,EAAE,CAAC"}

package/dist/checks/rules/dry/behavior/index.js

@@ -0,0 +1,32 @@
+import ts from "typescript";
+import { stableSerialize } from "../../../../shared/utils.js";
+import { normalizeExpression } from "./expressions.js";
+import { normalizeFunctionReturn } from "./statements.js";
+function createBehaviorFingerprint(node, sourceFile) {
+    const parameterNames = node.parameters.map((parameter) => ts.isIdentifier(parameter.name) ? parameter.name.text : null);
+    if (parameterNames.some((name) => name === null))
+        return null;
+    if (node.parameters.some((parameter) => parameter.dotDotDotToken))
+        return null;
+    const context = {
+        locals: new Map(),
+        parameters: new Map(parameterNames.map((name, index) => [name, `p${index}`])),
+    };
+    const parameterDefaults = node.parameters.map((parameter) => (parameter.initializer ? normalizeExpression(parameter.initializer, context, sourceFile) : null));
+    if (parameterDefaults.some((value) => value === undefined))
+        return null;
+    const returned = normalizeFunctionReturn(node, context, sourceFile);
+    if (returned === undefined)
+        return null;
+    const normalized = [
+        "behavior-function",
+        parameterDefaults,
+        returned,
+    ];
+    return {
+        fingerprint: stableSerialize(normalized),
+        normalized,
+    };
+}
+export { createBehaviorFingerprint };
+//# sourceMappingURL=index.js.map

package/dist/checks/rules/dry/behavior/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../../src/checks/rules/dry/behavior/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAE9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAC;AAE1D,SAAS,yBAAyB,CAAC,IAAgC,EAAE,UAAyB;IAC5F,MAAM,cAAc,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACxH,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9D,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,cAAc,CAAC;QAAE,OAAO,IAAI,CAAC;IAE/E,MAAM,OAAO,GAAoB;QAC/B,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,UAAU,EAAE,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,IAAK,EAAE,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC;KAC/E,CAAC;IACF,MAAM,iBAAiB,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAC3D,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,mBAAmB,CAAC,SAAS,CAAC,WAAW,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAC/F,CAAC,CAAC;IACH,IAAI,iBAAiB,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IAExE,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACpE,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAExC,MAAM,UAAU,GAAG;QACjB,mBAAmB;QACnB,iBAAiB;QACjB,QAAQ;KACT,CAAC;IAEF,OAAO;QACL,WAAW,EAAE,eAAe,CAAC,UAAU,CAAC;QACxC,UAAU;KACX,CAAC;AACJ,CAAC;AAED,OAAO,EAAE,yBAAyB,EAAE,CAAC"}

package/dist/checks/rules/dry/behavior/model.d.ts

@@ -0,0 +1,29 @@
+import ts from "typescript";
+type BehaviorExpression = unknown;
+type BehaviorContext = {
+    locals: Map<string, BehaviorExpression>;
+    parameters: Map<string, string>;
+};
+type BehaviorFingerprint = {
+    fingerprint: string;
+    normalized: BehaviorExpression;
+};
+declare function cloneContext(context: BehaviorContext): BehaviorContext;
+declare function isTagged(value: BehaviorExpression, tag: string): value is [string, ...BehaviorExpression[]];
+declare function isNamedGlobal(value: BehaviorExpression, name: string): boolean;
+declare function isBooleanExpression(value: BehaviorExpression): boolean;
+declare function expressionsEqual(left: BehaviorExpression, right: BehaviorExpression): boolean;
+declare function replaceExpression(expression: BehaviorExpression, target: BehaviorExpression, replacement: BehaviorExpression): BehaviorExpression;
+declare function inferSingleReplacement(template: BehaviorExpression, concrete: BehaviorExpression, placeholder: BehaviorExpression): BehaviorExpression | undefined;
+declare function normalizeAnd(terms: BehaviorExpression[]): BehaviorExpression;
+declare function invertCondition(expression: BehaviorExpression): BehaviorExpression;
+declare function flattenBinary(node: ts.BinaryExpression, operator: ts.SyntaxKind): ts.Node[];
+declare function isComparisonOperator(kind: ts.SyntaxKind): boolean;
+declare function isEqualityOperator(kind: ts.SyntaxKind): boolean;
+declare function isLogicalOperator(kind: ts.SyntaxKind): boolean;
+declare function positiveEqualityOperator(kind: ts.SyntaxKind): "==" | "===";
+declare function normalizeComparison(operator: string, left: BehaviorExpression, right: BehaviorExpression): BehaviorExpression;
+declare function reduceExpression(expression: BehaviorExpression): BehaviorExpression;
+export { cloneContext, expressionsEqual, flattenBinary, inferSingleReplacement, invertCondition, isBooleanExpression, isComparisonOperator, isEqualityOperator, isLogicalOperator, isNamedGlobal, isTagged, normalizeAnd, normalizeComparison, positiveEqualityOperator, reduceExpression, replaceExpression, };
+export type { BehaviorContext, BehaviorExpression, BehaviorFingerprint };
+//# sourceMappingURL=model.d.ts.map

package/dist/checks/rules/dry/behavior/model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../../../../src/checks/rules/dry/behavior/model.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAI5B,KAAK,kBAAkB,GAAG,OAAO,CAAC;AAElC,KAAK,eAAe,GAAG;IACrB,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IACxC,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACjC,CAAC;AAEF,KAAK,mBAAmB,GAAG;IACzB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,kBAAkB,CAAC;CAChC,CAAC;AAIF,iBAAS,YAAY,CAAC,OAAO,EAAE,eAAe,GAAG,eAAe,CAK/D;AAED,iBAAS,QAAQ,CAAC,KAAK,EAAE,kBAAkB,EAAE,GAAG,EAAE,MAAM,GAAG,KAAK,IAAI,CAAC,MAAM,EAAE,GAAG,kBAAkB,EAAE,CAAC,CAEpG;AAED,iBAAS,aAAa,CAAC,KAAK,EAAE,kBAAkB,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAEvE;AAED,iBAAS,mBAAmB,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAG/D;AAED,iBAAS,gBAAgB,CAAC,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAEtF;AAED,iBAAS,iBAAiB,CACxB,UAAU,EAAE,kBAAkB,EAC9B,MAAM,EAAE,kBAAkB,EAC1B,WAAW,EAAE,kBAAkB,GAC9B,kBAAkB,CAQpB;AA+BD,iBAAS,sBAAsB,CAC7B,QAAQ,EAAE,kBAAkB,EAC5B,QAAQ,EAAE,kBAAkB,EAC5B,WAAW,EAAE,kBAAkB,GAC9B,kBAAkB,GAAG,SAAS,CAGhC;AAED,iBAAS,YAAY,CAAC,KAAK,EAAE,kBAAkB,EAAE,GAAG,kBAAkB,CASrE;AAED,iBAAS,eAAe,CAAC,UAAU,EAAE,kBAAkB,GAAG,kBAAkB,CAG3E;AAED,iBAAS,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAgB,EAAE,QAAQ,EAAE,EAAE,CAAC,UAAU,GAAG,EAAE,CAAC,IAAI,EAAE,CAQpF;AAED,iBAAS,oBAAoB,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,GAAG,OAAO,CAQ1D;AAED,iBAAS,kBAAkB,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,GAAG,OAAO,CAKxD;AAED,iBAAS,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,GAAG,OAAO,CAGvD;AAED,iBAAS,wBAAwB,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,GAAG,IAAI,GAAG,KAAK,CAInE;AAED,iBAAS,mBAAmB,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,kBAAkB,GAAG,kBAAkB,CAKtH;AAED,iBAAS,gBAAgB,CAAC,UAAU,EAAE,kBAAkB,GAAG,kBAAkB,CAuB5E;AAsDD,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,aAAa,EACb,sBAAsB,EACtB,eAAe,EACf,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,EAClB,iBAAiB,EACjB,aAAa,EACb,QAAQ,EACR,YAAY,EACZ,mBAAmB,EACnB,wBAAwB,EACxB,gBAAgB,EAChB,iBAAiB,GAClB,CAAC;AACF,YAAY,EAAE,eAAe,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,CAAC"}

package/dist/checks/rules/dry/behavior/model.js

@@ -0,0 +1,185 @@
+import ts from "typescript";
+import { stableSerialize } from "../../../../shared/utils.js";
+const COMMUTATIVE_COMPARISON_OPERATORS = new Set(["==", "==="]);
+function cloneContext(context) {
+    return {
+        locals: new Map(context.locals),
+        parameters: context.parameters,
+    };
+}
+function isTagged(value, tag) {
+    return Array.isArray(value) && value[0] === tag;
+}
+function isNamedGlobal(value, name) {
+    return Array.isArray(value) && value[0] === "global" && value[1] === name;
+}
+function isBooleanExpression(value) {
+    return Array.isArray(value)
+        && ["and", "call", "compare", "not", "nullish", "truthy"].includes(String(value[0]));
+}
+function expressionsEqual(left, right) {
+    return stableSerialize(left) === stableSerialize(right);
+}
+function replaceExpression(expression, target, replacement) {
+    if (expressionsEqual(expression, target))
+        return replacement;
+    if (!Array.isArray(expression))
+        return expression;
+    return expression.map((part) => (Array.isArray(part)
+        ? replaceExpression(part, target, replacement)
+        : part));
+}
+function inferReplacement(template, concrete, placeholder) {
+    if (expressionsEqual(template, placeholder)) {
+        return { found: true, replacement: concrete };
+    }
+    if (!Array.isArray(template) || !Array.isArray(concrete) || template.length !== concrete.length) {
+        return expressionsEqual(template, concrete) ? { found: false } : null;
+    }
+    let found = false;
+    let replacement;
+    for (let index = 0; index < template.length; index += 1) {
+        const next = inferReplacement(template[index], concrete[index], placeholder);
+        if (!next)
+            return null;
+        if (!next.found)
+            continue;
+        if (replacement !== undefined && !expressionsEqual(replacement, next.replacement))
+            return null;
+        found = true;
+        replacement = next.replacement;
+    }
+    return { found, replacement };
+}
+function inferSingleReplacement(template, concrete, placeholder) {
+    const result = inferReplacement(template, concrete, placeholder);
+    return result?.found ? result.replacement : undefined;
+}
+function normalizeAnd(terms) {
+    const flattened = terms.flatMap((term) => isTagged(term, "and") ? term.slice(1) : [term]);
+    const unique = new Map();
+    for (const term of flattened)
+        unique.set(stableSerialize(term), term);
+    const sorted = [...unique.entries()]
+        .sort((left, right) => left[0].localeCompare(right[0]))
+        .map(([, term]) => term);
+    return sorted.length === 1 ? sorted[0] : ["and", ...sorted];
+}
+function invertCondition(expression) {
+    if (isTagged(expression, "not"))
+        return expression[1];
+    return ["not", expression];
+}
+function flattenBinary(node, operator) {
+    const left = ts.isBinaryExpression(node.left) && node.left.operatorToken.kind === operator
+        ? flattenBinary(node.left, operator)
+        : [node.left];
+    const right = ts.isBinaryExpression(node.right) && node.right.operatorToken.kind === operator
+        ? flattenBinary(node.right, operator)
+        : [node.right];
+    return [...left, ...right];
+}
+function isComparisonOperator(kind) {
+    return isEqualityOperator(kind)
+        || kind === ts.SyntaxKind.LessThanToken
+        || kind === ts.SyntaxKind.LessThanEqualsToken
+        || kind === ts.SyntaxKind.GreaterThanToken
+        || kind === ts.SyntaxKind.GreaterThanEqualsToken
+        || kind === ts.SyntaxKind.InstanceOfKeyword
+        || kind === ts.SyntaxKind.InKeyword;
+}
+function isEqualityOperator(kind) {
+    return kind === ts.SyntaxKind.EqualsEqualsToken
+        || kind === ts.SyntaxKind.EqualsEqualsEqualsToken
+        || kind === ts.SyntaxKind.ExclamationEqualsToken
+        || kind === ts.SyntaxKind.ExclamationEqualsEqualsToken;
+}
+function isLogicalOperator(kind) {
+    return kind === ts.SyntaxKind.AmpersandAmpersandToken
+        || kind === ts.SyntaxKind.BarBarToken;
+}
+function positiveEqualityOperator(kind) {
+    return kind === ts.SyntaxKind.EqualsEqualsEqualsToken || kind === ts.SyntaxKind.ExclamationEqualsEqualsToken
+        ? "==="
+        : "==";
+}
+function normalizeComparison(operator, left, right) {
+    if (!COMMUTATIVE_COMPARISON_OPERATORS.has(operator))
+        return ["compare", operator, left, right];
+    const sorted = [left, right].sort((leftValue, rightValue) => stableSerialize(leftValue).localeCompare(stableSerialize(rightValue)));
+    return ["compare", operator, sorted[0], sorted[1]];
+}
+function reduceExpression(expression) {
+    if (!Array.isArray(expression))
+        return expression;
+    const [tag] = expression;
+    if (tag === "call")
+        return reduceCallExpression(expression);
+    if (tag === "member")
+        return ["member", reduceExpression(expression[1]), expression[2]];
+    if (tag === "coalesce")
+        return reduceCoalesceExpression(expression);
+    if (tag === "conditional") {
+        return [
+            "conditional",
+            reduceExpression(expression[1]),
+            reduceExpression(expression[2]),
+            reduceExpression(expression[3]),
+        ];
+    }
+    if (tag === "and")
+        return normalizeAnd(expression.slice(1).map(reduceExpression));
+    if (tag === "not")
+        return invertCondition(reduceExpression(expression[1]));
+    return expression.map((part) => (Array.isArray(part)
+        ? reduceExpression(part)
+        : part));
+}
+function reduceCallExpression(expression) {
+    const callee = reduceExpression(expression[1]);
+    const args = Array.isArray(expression[2])
+        ? expression[2].map(reduceExpression)
+        : [];
+    if (isNamedGlobal(callee, "String") && args.length === 1 && isStringLiteral(args[0])) {
+        return args[0];
+    }
+    if (Array.isArray(callee) && callee[0] === "member" && args.length === 0) {
+        const target = reduceExpression(callee[1]);
+        const method = callee[2];
+        if (isStringLiteral(target)) {
+            const text = String(target[2]);
+            if (method === "trim")
+                return ["literal", "string", text.trim()];
+            if (method === "toLowerCase")
+                return ["literal", "string", text.toLowerCase()];
+            if (method === "toUpperCase")
+                return ["literal", "string", text.toUpperCase()];
+        }
+        return ["call", ["member", target, method], args];
+    }
+    return ["call", callee, args];
+}
+function reduceCoalesceExpression(expression) {
+    const left = reduceExpression(expression[1]);
+    const right = reduceExpression(expression[2]);
+    if (isNullishLiteral(left))
+        return right;
+    if (isDefiniteLiteral(left))
+        return left;
+    return ["coalesce", left, right];
+}
+function isStringLiteral(expression) {
+    return Array.isArray(expression) && expression[0] === "literal" && expression[1] === "string";
+}
+function isNullishLiteral(expression) {
+    return Array.isArray(expression)
+        && expression[0] === "literal"
+        && (expression[1] === "null" || expression[1] === "undefined");
+}
+function isDefiniteLiteral(expression) {
+    return Array.isArray(expression)
+        && expression[0] === "literal"
+        && !["null", "undefined"].includes(String(expression[1]));
+}
+export { cloneContext, expressionsEqual, flattenBinary, inferSingleReplacement, invertCondition, isBooleanExpression, isComparisonOperator, isEqualityOperator, isLogicalOperator, isNamedGlobal, isTagged, normalizeAnd, normalizeComparison, positiveEqualityOperator, reduceExpression, replaceExpression, };
+//# sourceMappingURL=model.js.map

package/dist/checks/rules/dry/behavior/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../../../../src/checks/rules/dry/behavior/model.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAc9D,MAAM,gCAAgC,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AAEhE,SAAS,YAAY,CAAC,OAAwB;IAC5C,OAAO;QACL,MAAM,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC;QAC/B,UAAU,EAAE,OAAO,CAAC,UAAU;KAC/B,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,KAAyB,EAAE,GAAW;IACtD,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC;AAClD,CAAC;AAED,SAAS,aAAa,CAAC,KAAyB,EAAE,IAAY;IAC5D,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;AAC5E,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAyB;IACpD,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;WACtB,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAwB,EAAE,KAAyB;IAC3E,OAAO,eAAe,CAAC,IAAI,CAAC,KAAK,eAAe,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,iBAAiB,CACxB,UAA8B,EAC9B,MAA0B,EAC1B,WAA+B;IAE/B,IAAI,gBAAgB,CAAC,UAAU,EAAE,MAAM,CAAC;QAAE,OAAO,WAAW,CAAC;IAC7D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC;IAClD,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAC9B,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QACjB,CAAC,CAAC,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC;QAC9C,CAAC,CAAC,IAAI,CACT,CAAC,CAAC;AACL,CAAC;AAED,SAAS,gBAAgB,CACvB,QAA4B,EAC5B,QAA4B,EAC5B,WAA+B;IAE/B,IAAI,gBAAgB,CAAC,QAAQ,EAAE,WAAW,CAAC,EAAE,CAAC;QAC5C,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC;IAChD,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,EAAE,CAAC;QAChG,OAAO,gBAAgB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IACxE,CAAC;IAED,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,IAAI,WAA2C,CAAC;IAEhD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACxD,MAAM,IAAI,GAAG,gBAAgB,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC,CAAC;QAC7E,IAAI,CAAC,IAAI;YAAE,OAAO,IAAI,CAAC;QACvB,IAAI,CAAC,IAAI,CAAC,KAAK;YAAE,SAAS;QAE1B,IAAI,WAAW,KAAK,SAAS,IAAI,CAAC,gBAAgB,CAAC,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC;YAAE,OAAO,IAAI,CAAC;QAC/F,KAAK,GAAG,IAAI,CAAC;QACb,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;IACjC,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;AAChC,CAAC;AAED,SAAS,sBAAsB,CAC7B,QAA4B,EAC5B,QAA4B,EAC5B,WAA+B;IAE/B,MAAM,MAAM,GAAG,gBAAgB,CAAC,QAAQ,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;IACjE,OAAO,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;AACxD,CAAC;AAED,SAAS,YAAY,CAAC,KAA2B;IAC/C,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1F,MAAM,MAAM,GAAG,IAAI,GAAG,EAA8B,CAAC;IACrD,KAAK,MAAM,IAAI,IAAI,SAAS;QAAE,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IAEtE,MAAM,MAAM,GAAG,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;SACjC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;SACtD,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;IAC3B,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,MAAM,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,eAAe,CAAC,UAA8B;IACrD,IAAI,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;IACtD,OAAO,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,aAAa,CAAC,IAAyB,EAAE,QAAuB;IACvE,MAAM,IAAI,GAAG,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,QAAQ;QACxF,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC;QACpC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChB,MAAM,KAAK,GAAG,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,KAAK,QAAQ;QAC3F,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC;QACrC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjB,OAAO,CAAC,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAmB;IAC/C,OAAO,kBAAkB,CAAC,IAAI,CAAC;WAC1B,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;WACpC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,mBAAmB;WAC1C,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;WACvC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB;WAC7C,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB;WACxC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC;AACxC,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAmB;IAC7C,OAAO,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB;WAC1C,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;WAC9C,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB;WAC7C,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,4BAA4B,CAAC;AAC3D,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAmB;IAC5C,OAAO,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;WAChD,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC;AAC1C,CAAC;AAED,SAAS,wBAAwB,CAAC,IAAmB;IACnD,OAAO,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,IAAI,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,4BAA4B;QAC1G,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,mBAAmB,CAAC,QAAgB,EAAE,IAAwB,EAAE,KAAyB;IAChG,IAAI,CAAC,gCAAgC,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAE/F,MAAM,MAAM,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,UAAU,EAAE,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,aAAa,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACpI,OAAO,CAAC,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAE,EAAE,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,gBAAgB,CAAC,UAA8B;IACtD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC;IAElD,MAAM,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC;IACzB,IAAI,GAAG,KAAK,MAAM;QAAE,OAAO,oBAAoB,CAAC,UAAU,CAAC,CAAC;IAC5D,IAAI,GAAG,KAAK,QAAQ;QAAE,OAAO,CAAC,QAAQ,EAAE,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IACxF,IAAI,GAAG,KAAK,UAAU;QAAE,OAAO,wBAAwB,CAAC,UAAU,CAAC,CAAC;IACpE,IAAI,GAAG,KAAK,aAAa,EAAE,CAAC;QAC1B,OAAO;YACL,aAAa;YACb,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YAC/B,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YAC/B,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;SAChC,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,KAAK,KAAK;QAAE,OAAO,YAAY,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC;IAClF,IAAI,GAAG,KAAK,KAAK;QAAE,OAAO,eAAe,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAE3E,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAC9B,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QACjB,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACxB,CAAC,CAAC,IAAI,CACT,CAAC,CAAC;AACL,CAAC;AAED,SAAS,oBAAoB,CAAC,UAAgC;IAC5D,MAAM,MAAM,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACvC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,gBAAgB,CAAC;QACrC,CAAC,CAAC,EAAE,CAAC;IAEP,IAAI,aAAa,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACrF,OAAO,IAAI,CAAC,CAAC,CAAE,CAAC;IAClB,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzE,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QAEzB,IAAI,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/B,IAAI,MAAM,KAAK,MAAM;gBAAE,OAAO,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YACjE,IAAI,MAAM,KAAK,aAAa;gBAAE,OAAO,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;YAC/E,IAAI,MAAM,KAAK,aAAa;gBAAE,OAAO,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QACjF,CAAC;QAED,OAAO,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;IACpD,CAAC;IAED,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,wBAAwB,CAAC,UAAgC;IAChE,MAAM,IAAI,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IAE9C,IAAI,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACzC,IAAI,iBAAiB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACzC,OAAO,CAAC,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,eAAe,CAAC,UAA8B;IACrD,OAAO,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,UAAU,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC;AAChG,CAAC;AAED,SAAS,gBAAgB,CAAC,UAA8B;IACtD,OAAO,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;WAC3B,UAAU,CAAC,CAAC,CAAC,KAAK,SAAS;WAC3B,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,MAAM,IAAI,UAAU,CAAC,CAAC,CAAC,KAAK,WAAW,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,iBAAiB,CAAC,UAA8B;IACvD,OAAO,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;WAC3B,UAAU,CAAC,CAAC,CAAC,KAAK,SAAS;WAC3B,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC9D,CAAC;AAED,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,aAAa,EACb,sBAAsB,EACtB,eAAe,EACf,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,EAClB,iBAAiB,EACjB,aAAa,EACb,QAAQ,EACR,YAAY,EACZ,mBAAmB,EACnB,wBAAwB,EACxB,gBAAgB,EAChB,iBAAiB,GAClB,CAAC"}

package/dist/checks/rules/dry/behavior/statements.d.ts

@@ -0,0 +1,6 @@
+import ts from "typescript";
+import type { BehaviorContext, BehaviorExpression } from "./model.js";
+declare function normalizeFunctionReturn(node: ts.FunctionLikeDeclaration, context: BehaviorContext, sourceFile: ts.SourceFile): BehaviorExpression | undefined;
+declare function normalizeStatementSequence(statements: ts.Statement[], context: BehaviorContext, sourceFile: ts.SourceFile): BehaviorExpression | undefined;
+export { normalizeFunctionReturn, normalizeStatementSequence };
+//# sourceMappingURL=statements.d.ts.map

package/dist/checks/rules/dry/behavior/statements.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"statements.d.ts","sourceRoot":"","sources":["../../../../../src/checks/rules/dry/behavior/statements.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,KAAK,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAKtE,iBAAS,uBAAuB,CAC9B,IAAI,EAAE,EAAE,CAAC,uBAAuB,EAChC,OAAO,EAAE,eAAe,EACxB,UAAU,EAAE,EAAE,CAAC,UAAU,GACxB,kBAAkB,GAAG,SAAS,CAQhC;AAED,iBAAS,0BAA0B,CACjC,UAAU,EAAE,EAAE,CAAC,SAAS,EAAE,EAC1B,OAAO,EAAE,eAAe,EACxB,UAAU,EAAE,EAAE,CAAC,UAAU,GACxB,kBAAkB,GAAG,SAAS,CAgBhC;AAmED,OAAO,EAAE,uBAAuB,EAAE,0BAA0B,EAAE,CAAC"}

package/dist/checks/rules/dry/behavior/statements.js

@@ -0,0 +1,74 @@
+import ts from "typescript";
+import { cloneContext } from "./model.js";
+import { normalizeCondition, normalizeConditional } from "./conditions.js";
+import { normalizeExpression } from "./expressions.js";
+function normalizeFunctionReturn(node, context, sourceFile) {
+    if (!node.body)
+        return undefined;
+    if (ts.isBlock(node.body)) {
+        return normalizeStatementSequence([...node.body.statements], cloneContext(context), sourceFile);
+    }
+    return normalizeExpression(node.body, context, sourceFile);
+}
+function normalizeStatementSequence(statements, context, sourceFile) {
+    const next = recordLeadingConstStatements(statements, context, sourceFile);
+    if (next === undefined)
+        return undefined;
+    const remaining = statements.slice(next);
+    if (remaining.length === 1) {
+        return normalizeTerminalReturn(remaining[0], context, sourceFile);
+    }
+    if (remaining.length === 2 && ts.isIfStatement(remaining[0])) {
+        const fallback = normalizeTerminalReturn(remaining[1], cloneContext(context), sourceFile);
+        if (fallback === undefined)
+            return undefined;
+        return normalizeIfReturn(remaining[0], fallback, context, sourceFile);
+    }
+    return undefined;
+}
+function recordLeadingConstStatements(statements, context, sourceFile) {
+    let index = 0;
+    while (index < statements.length && ts.isVariableStatement(statements[index])) {
+        if (!recordConstStatement(statements[index], context, sourceFile))
+            return undefined;
+        index += 1;
+    }
+    return index;
+}
+function recordConstStatement(statement, context, sourceFile) {
+    if (!(statement.declarationList.flags & ts.NodeFlags.Const))
+        return false;
+    for (const declaration of statement.declarationList.declarations) {
+        if (!ts.isIdentifier(declaration.name) || !declaration.initializer)
+            return false;
+        const value = normalizeExpression(declaration.initializer, context, sourceFile);
+        if (value === undefined)
+            return false;
+        context.locals.set(declaration.name.text, value);
+    }
+    return true;
+}
+function normalizeTerminalReturn(statement, context, sourceFile) {
+    if (ts.isReturnStatement(statement) && statement.expression) {
+        return normalizeExpression(statement.expression, context, sourceFile);
+    }
+    if (ts.isBlock(statement)) {
+        return normalizeStatementSequence([...statement.statements], cloneContext(context), sourceFile);
+    }
+    if (ts.isIfStatement(statement) && statement.elseStatement) {
+        return normalizeIfReturn(statement, undefined, context, sourceFile);
+    }
+    return undefined;
+}
+function normalizeIfReturn(statement, fallthrough, context, sourceFile) {
+    const condition = normalizeCondition(statement.expression, context, sourceFile);
+    const whenTrue = normalizeTerminalReturn(statement.thenStatement, cloneContext(context), sourceFile);
+    const whenFalse = statement.elseStatement
+        ? normalizeTerminalReturn(statement.elseStatement, cloneContext(context), sourceFile)
+        : fallthrough;
+    if (condition === undefined || whenTrue === undefined || whenFalse === undefined)
+        return undefined;
+    return normalizeConditional(condition, whenTrue, whenFalse);
+}
+export { normalizeFunctionReturn, normalizeStatementSequence };
+//# sourceMappingURL=statements.js.map

package/dist/checks/rules/dry/behavior/statements.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"statements.js","sourceRoot":"","sources":["../../../../../src/checks/rules/dry/behavior/statements.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AAC3E,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAEvD,SAAS,uBAAuB,CAC9B,IAAgC,EAChC,OAAwB,EACxB,UAAyB;IAEzB,IAAI,CAAC,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAEjC,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,OAAO,0BAA0B,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE,UAAU,CAAC,CAAC;IAClG,CAAC;IAED,OAAO,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,0BAA0B,CACjC,UAA0B,EAC1B,OAAwB,EACxB,UAAyB;IAEzB,MAAM,IAAI,GAAG,4BAA4B,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC3E,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAEzC,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,uBAAuB,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACrE,CAAC;IAED,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC;QAC9D,MAAM,QAAQ,GAAG,uBAAuB,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE,UAAU,CAAC,CAAC;QAC3F,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC7C,OAAO,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAmB,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC1F,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,4BAA4B,CACnC,UAA0B,EAC1B,OAAwB,EACxB,UAAyB;IAEzB,IAAI,KAAK,GAAG,CAAC,CAAC;IAEd,OAAO,KAAK,GAAG,UAAU,CAAC,MAAM,IAAI,EAAE,CAAC,mBAAmB,CAAC,UAAU,CAAC,KAAK,CAAE,CAAC,EAAE,CAAC;QAC/E,IAAI,CAAC,oBAAoB,CAAC,UAAU,CAAC,KAAK,CAAyB,EAAE,OAAO,EAAE,UAAU,CAAC;YAAE,OAAO,SAAS,CAAC;QAC5G,KAAK,IAAI,CAAC,CAAC;IACb,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,oBAAoB,CAAC,SAA+B,EAAE,OAAwB,EAAE,UAAyB;IAChH,IAAI,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAE1E,KAAK,MAAM,WAAW,IAAI,SAAS,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;QACjE,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW;YAAE,OAAO,KAAK,CAAC;QAEjF,MAAM,KAAK,GAAG,mBAAmB,CAAC,WAAW,CAAC,WAAW,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;QAChF,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACnD,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,uBAAuB,CAC9B,SAAuB,EACvB,OAAwB,EACxB,UAAyB;IAEzB,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;QAC5D,OAAO,mBAAmB,CAAC,SAAS,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACxE,CAAC;IAED,IAAI,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1B,OAAO,0BAA0B,CAAC,CAAC,GAAG,SAAS,CAAC,UAAU,CAAC,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE,UAAU,CAAC,CAAC;IAClG,CAAC;IAED,IAAI,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,aAAa,EAAE,CAAC;QAC3D,OAAO,iBAAiB,CAAC,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IACtE,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,iBAAiB,CACxB,SAAyB,EACzB,WAA2C,EAC3C,OAAwB,EACxB,UAAyB;IAEzB,MAAM,SAAS,GAAG,kBAAkB,CAAC,SAAS,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAChF,MAAM,QAAQ,GAAG,uBAAuB,CAAC,SAAS,CAAC,aAAa,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE,UAAU,CAAC,CAAC;IACrG,MAAM,SAAS,GAAG,SAAS,CAAC,aAAa;QACvC,CAAC,CAAC,uBAAuB,CAAC,SAAS,CAAC,aAAa,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE,UAAU,CAAC;QACrF,CAAC,CAAC,WAAW,CAAC;IAEhB,IAAI,SAAS,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACnG,OAAO,oBAAoB,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;AAC9D,CAAC;AAED,OAAO,EAAE,uBAAuB,EAAE,0BAA0B,EAAE,CAAC"}

package/dist/checks/rules/dry/candidates.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"candidates.d.ts","sourceRoot":"","sources":["../../../../src/checks/rules/dry/candidates.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AAC3F,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAC;AACnF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAkJxD,iBAAe,mCAAmC,CAChD,WAAW,EAAE,iBAAiB,EAAE,EAChC,IAAI,EAAE,iBAAiB,EACvB,QAAQ,CAAC,EAAE,sBAAsB,GAChC,OAAO,CAAC,uBAAuB,EAAE,CAAC,CAGpC;AAED,OAAO,EAAE,mCAAmC,EAAE,CAAC"}
+{"version":3,"file":"candidates.d.ts","sourceRoot":"","sources":["../../../../src/checks/rules/dry/candidates.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AAC3F,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAC;AACnF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAmJxD,iBAAe,mCAAmC,CAChD,WAAW,EAAE,iBAAiB,EAAE,EAChC,IAAI,EAAE,iBAAiB,EACvB,QAAQ,CAAC,EAAE,sBAAsB,GAChC,OAAO,CAAC,uBAAuB,EAAE,CAAC,CAGpC;AAED,OAAO,EAAE,mCAAmC,EAAE,CAAC"}

package/dist/checks/rules/dry/candidates.js

@@ -40,6 +40,7 @@ function buildDryFunctionDescriptor(node, sourceFile, file) {
     const localName = resolveFunctionDisplayName(node, sourceFile);
     return {
         absolutePath: file.absolutePath,
+        behaviorFingerprint: fingerprintState.behaviorFingerprint,
         characterCount: sourceText.length,
         classification,
         fingerprint: fingerprintState.fingerprint,

package/dist/checks/rules/dry/candidates.js.map

@@ -1 +1 @@
-{"version":3,"file":"candidates.js","sourceRoot":"","sources":["../../../../src/checks/rules/dry/candidates.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAClC,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAE9C,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,WAAW,EAAE,MAAM,uCAAuC,CAAC;AAIpE,OAAO,EAAE,yBAAyB,EAAE,qBAAqB,EAAE,0BAA0B,EAAE,MAAM,kBAAkB,CAAC;AAChH,OAAO,EAAE,sBAAsB,EAAE,MAAM,eAAe,CAAC;AAIvD,MAAM,oBAAoB,GAAG,GAAG,CAAC;AAEjC,SAAS,yBAAyB,CAAC,IAAa;IAC9C,OAAO,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;WACxD,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;WACrD,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;WAChD,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;WACpD,CAAC,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;WACzD,CAAC,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;WACzD,CAAC,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAwB;IACrD,MAAM,UAAU,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAC9C,OAAO,UAAU,IAAI,SAAS,CAAC;AACjC,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAgC;IAC1D,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACtC,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IAE/D,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC;IACtC,MAAM,SAAS,GAAG,eAAe,CAAC,MAAM,CAAC;IACzC,OAAO,EAAE,CAAC,yBAAyB,CAAC,eAAe,CAAC;WAC/C,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;WACjC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,0BAA0B,CACjC,IAAgC,EAChC,UAAyB,EACzB,IAAuB;IAEvB,MAAM,cAAc,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IACnD,IAAI,cAAc,KAAK,aAAa;QAAE,OAAO,IAAI,CAAC;IAElD,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAChE,MAAM,gBAAgB,GAAG,yBAAyB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACrE,MAAM,SAAS,GAAG,0BAA0B,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAE/D,OAAO;QACL,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,cAAc,EAAE,UAAU,CAAC,MAAM;QACjC,cAAc;QACd,WAAW,EAAE,gBAAgB,CAAC,WAAW;QACzC,QAAQ,EAAE,IAAI,CAAC,uBAAuB;QACtC,SAAS;QACT,cAAc,EAAE,qBAAqB,CAAC,SAAS,CAAC;QAChD,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;QACpC,cAAc,EAAE,gBAAgB,CAAC,WAAW;QAC5C,UAAU;QACV,QAAQ,EAAE,kBAAkB,CAAC,IAAI,CAAC;QAClC,cAAc,EAAE,gBAAgB,CAAC,cAAc;QAC/C,qBAAqB,EAAE,gBAAgB,CAAC,qBAAqB;KAC9D,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,mBAAmB,CAAC,WAAgC,EAAE,QAAiC;IACpG,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;IACpC,MAAM,SAAS,GAA4B,EAAE,CAAC;IAE9C,KAAK,IAAI,SAAS,GAAG,CAAC,EAAE,SAAS,GAAG,WAAW,CAAC,MAAM,EAAE,SAAS,IAAI,CAAC,EAAE,CAAC;QACvE,MAAM,IAAI,GAAG,WAAW,CAAC,SAAS,CAAE,CAAC;QACrC,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;QAC1D,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;QAExD,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;YACpC,IAAI,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpC,MAAM,UAAU,GAAG,0BAA0B,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;gBACtE,IAAI,UAAU;oBAAE,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC7C,CAAC;YAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC;QAEF,KAAK,CAAC,UAAU,CAAC,CAAC;QAElB,MAAM,cAAc,GAAG,SAAS,GAAG,CAAC,CAAC;QACrC,IAAI,cAAc,GAAG,oBAAoB,KAAK,CAAC,IAAI,cAAc,KAAK,WAAW,CAAC,MAAM,EAAE,CAAC;YACzF,QAAQ,EAAE,CAAC;gBACT,KAAK,EAAE,YAAY;gBACnB,IAAI,EAAE,KAAK;gBACX,KAAK,EAAE,OAAO;gBACd,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,cAAc,GAAG,oBAAoB,CAAC;gBAC5D,cAAc;gBACd,UAAU,EAAE,WAAW,CAAC,MAAM;gBAC9B,mBAAmB,EAAE,SAAS,CAAC,MAAM;gBACrC,SAAS,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,SAAS;aACzC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,eAAe,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC;IACzI,QAAQ,EAAE,CAAC;QACT,KAAK,EAAE,gBAAgB;QACvB,IAAI,EAAE,KAAK;QACX,KAAK,EAAE,OAAO;QACd,UAAU,EAAE,WAAW,CAAC,MAAM;QAC9B,mBAAmB,EAAE,eAAe,CAAC,MAAM;QAC3C,SAAS,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,SAAS;KACzC,CAAC,CAAC;IACH,OAAO,eAAe,CAAC;AACzB,CAAC;AAED,SAAS,sBAAsB,CAAC,UAAiC;IAC/D,OAAO,UAAU,CAAC,SAAS;QACzB,CAAC,CAAC,GAAG,UAAU,CAAC,QAAQ,IAAI,UAAU,CAAC,SAAS,EAAE;QAClD,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC;AAC1B,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAqB;IACpD,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAErF,OAAO;QACL,IAAI,EAAE,KAAK;QACX,GAAG,EAAE,KAAK;QACV,QAAQ,EAAE,gBAAgB;QAC1B,OAAO,EAAE,0BAA0B;QACnC,OAAO,EAAE;YACP,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAC/C,KAAK;YACL,OAAO,EAAE,KAAK;YACd,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;gBAC9C,cAAc,EAAE,UAAU,CAAC,cAAc;gBACzC,QAAQ,EAAE,UAAU,CAAC,QAAQ;gBAC7B,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,6BAA6B,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,IAAI,GAAG,CAAC;gBACxF,IAAI,EAAE,UAAU,CAAC,SAAS;gBAC1B,QAAQ,EAAE,UAAU,CAAC,QAAQ;aAC9B,CAAC,CAAC;YACH,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,sBAAsB,CAAC;YACtD,MAAM,EAAE,0DAA0D;YAClE,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB;KACF,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,mCAAmC,CAChD,WAAgC,EAChC,IAAuB,EACvB,QAAiC;IAEjC,MAAM,SAAS,GAAG,MAAM,mBAAmB,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;IACnE,OAAO,sBAAsB,CAAC,SAAS,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;AACxF,CAAC;AAED,OAAO,EAAE,mCAAmC,EAAE,CAAC"}
+{"version":3,"file":"candidates.js","sourceRoot":"","sources":["../../../../src/checks/rules/dry/candidates.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAClC,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAE9C,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,WAAW,EAAE,MAAM,uCAAuC,CAAC;AAIpE,OAAO,EAAE,yBAAyB,EAAE,qBAAqB,EAAE,0BAA0B,EAAE,MAAM,kBAAkB,CAAC;AAChH,OAAO,EAAE,sBAAsB,EAAE,MAAM,eAAe,CAAC;AAIvD,MAAM,oBAAoB,GAAG,GAAG,CAAC;AAEjC,SAAS,yBAAyB,CAAC,IAAa;IAC9C,OAAO,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;WACxD,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;WACrD,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;WAChD,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;WACpD,CAAC,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;WACzD,CAAC,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;WACzD,CAAC,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAwB;IACrD,MAAM,UAAU,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAC9C,OAAO,UAAU,IAAI,SAAS,CAAC;AACjC,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAgC;IAC1D,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACtC,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IAE/D,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC;IACtC,MAAM,SAAS,GAAG,eAAe,CAAC,MAAM,CAAC;IACzC,OAAO,EAAE,CAAC,yBAAyB,CAAC,eAAe,CAAC;WAC/C,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;WACjC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,0BAA0B,CACjC,IAAgC,EAChC,UAAyB,EACzB,IAAuB;IAEvB,MAAM,cAAc,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IACnD,IAAI,cAAc,KAAK,aAAa;QAAE,OAAO,IAAI,CAAC;IAElD,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAChE,MAAM,gBAAgB,GAAG,yBAAyB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACrE,MAAM,SAAS,GAAG,0BAA0B,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAE/D,OAAO;QACL,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,mBAAmB,EAAE,gBAAgB,CAAC,mBAAmB;QACzD,cAAc,EAAE,UAAU,CAAC,MAAM;QACjC,cAAc;QACd,WAAW,EAAE,gBAAgB,CAAC,WAAW;QACzC,QAAQ,EAAE,IAAI,CAAC,uBAAuB;QACtC,SAAS;QACT,cAAc,EAAE,qBAAqB,CAAC,SAAS,CAAC;QAChD,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;QACpC,cAAc,EAAE,gBAAgB,CAAC,WAAW;QAC5C,UAAU;QACV,QAAQ,EAAE,kBAAkB,CAAC,IAAI,CAAC;QAClC,cAAc,EAAE,gBAAgB,CAAC,cAAc;QAC/C,qBAAqB,EAAE,gBAAgB,CAAC,qBAAqB;KAC9D,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,mBAAmB,CAAC,WAAgC,EAAE,QAAiC;IACpG,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;IACpC,MAAM,SAAS,GAA4B,EAAE,CAAC;IAE9C,KAAK,IAAI,SAAS,GAAG,CAAC,EAAE,SAAS,GAAG,WAAW,CAAC,MAAM,EAAE,SAAS,IAAI,CAAC,EAAE,CAAC;QACvE,MAAM,IAAI,GAAG,WAAW,CAAC,SAAS,CAAE,CAAC;QACrC,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;QAC1D,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;QAExD,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;YACpC,IAAI,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpC,MAAM,UAAU,GAAG,0BAA0B,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;gBACtE,IAAI,UAAU;oBAAE,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC7C,CAAC;YAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC;QAEF,KAAK,CAAC,UAAU,CAAC,CAAC;QAElB,MAAM,cAAc,GAAG,SAAS,GAAG,CAAC,CAAC;QACrC,IAAI,cAAc,GAAG,oBAAoB,KAAK,CAAC,IAAI,cAAc,KAAK,WAAW,CAAC,MAAM,EAAE,CAAC;YACzF,QAAQ,EAAE,CAAC;gBACT,KAAK,EAAE,YAAY;gBACnB,IAAI,EAAE,KAAK;gBACX,KAAK,EAAE,OAAO;gBACd,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,cAAc,GAAG,oBAAoB,CAAC;gBAC5D,cAAc;gBACd,UAAU,EAAE,WAAW,CAAC,MAAM;gBAC9B,mBAAmB,EAAE,SAAS,CAAC,MAAM;gBACrC,SAAS,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,SAAS;aACzC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,eAAe,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC;IACzI,QAAQ,EAAE,CAAC;QACT,KAAK,EAAE,gBAAgB;QACvB,IAAI,EAAE,KAAK;QACX,KAAK,EAAE,OAAO;QACd,UAAU,EAAE,WAAW,CAAC,MAAM;QAC9B,mBAAmB,EAAE,eAAe,CAAC,MAAM;QAC3C,SAAS,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,SAAS;KACzC,CAAC,CAAC;IACH,OAAO,eAAe,CAAC;AACzB,CAAC;AAED,SAAS,sBAAsB,CAAC,UAAiC;IAC/D,OAAO,UAAU,CAAC,SAAS;QACzB,CAAC,CAAC,GAAG,UAAU,CAAC,QAAQ,IAAI,UAAU,CAAC,SAAS,EAAE;QAClD,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC;AAC1B,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAqB;IACpD,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAErF,OAAO;QACL,IAAI,EAAE,KAAK;QACX,GAAG,EAAE,KAAK;QACV,QAAQ,EAAE,gBAAgB;QAC1B,OAAO,EAAE,0BAA0B;QACnC,OAAO,EAAE;YACP,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAC/C,KAAK;YACL,OAAO,EAAE,KAAK;YACd,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;gBAC9C,cAAc,EAAE,UAAU,CAAC,cAAc;gBACzC,QAAQ,EAAE,UAAU,CAAC,QAAQ;gBAC7B,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,6BAA6B,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,IAAI,GAAG,CAAC;gBACxF,IAAI,EAAE,UAAU,CAAC,SAAS;gBAC1B,QAAQ,EAAE,UAAU,CAAC,QAAQ;aAC9B,CAAC,CAAC;YACH,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,sBAAsB,CAAC;YACtD,MAAM,EAAE,0DAA0D;YAClE,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB;KACF,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,mCAAmC,CAChD,WAAgC,EAChC,IAAuB,EACvB,QAAiC;IAEjC,MAAM,SAAS,GAAG,MAAM,mBAAmB,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;IACnE,OAAO,sBAAsB,CAAC,SAAS,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;AACxF,CAAC;AAED,OAAO,EAAE,mCAAmC,EAAE,CAAC"}

package/dist/checks/rules/dry/fingerprint.d.ts

@@ -1,7 +1,9 @@
 import ts from "typescript";
 declare function createFunctionFingerprint(node: ts.FunctionLikeDeclaration, sourceFile: ts.SourceFile): {
     fingerprint: string;
+    behaviorFingerprint?: string;
     normalized: unknown;
+    normalizedBehavior?: unknown;
     usesOuterScope: boolean;
     usesRestrictedRuntime: boolean;
 };

package/dist/checks/rules/dry/fingerprint.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"fingerprint.d.ts","sourceRoot":"","sources":["../../../../src/checks/rules/dry/fingerprint.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAO5B,iBAAS,yBAAyB,CAChC,IAAI,EAAE,EAAE,CAAC,uBAAuB,EAChC,UAAU,EAAE,EAAE,CAAC,UAAU,GACxB;IACD,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,OAAO,CAAC;IACpB,cAAc,EAAE,OAAO,CAAC;IACxB,qBAAqB,EAAE,OAAO,CAAC;CAChC,CAUA;AAED,iBAAS,qBAAqB,CAAC,IAAI,EAAE,EAAE,CAAC,uBAAuB,GAAG,MAAM,GAAG,SAAS,CAWnF;AAED,iBAAS,0BAA0B,CAAC,IAAI,EAAE,EAAE,CAAC,uBAAuB,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,MAAM,GAAG,SAAS,CAanH;AAED,iBAAS,qBAAqB,CAAC,IAAI,EAAE,EAAE,CAAC,uBAAuB,GAAG,QAAQ,GAAG,YAAY,GAAG,aAAa,CAexG;AAED,iBAAS,mBAAmB,CAAC,IAAI,EAAE,EAAE,CAAC,uBAAuB,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,OAAO,CAAA;CAAE,CAqCrI;AAQD,OAAO,EACL,yBAAyB,EACzB,qBAAqB,EACrB,0BAA0B,EAC1B,mBAAmB,EACnB,qBAAqB,GACtB,CAAC"}
+{"version":3,"file":"fingerprint.d.ts","sourceRoot":"","sources":["../../../../src/checks/rules/dry/fingerprint.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAQ5B,iBAAS,yBAAyB,CAChC,IAAI,EAAE,EAAE,CAAC,uBAAuB,EAChC,UAAU,EAAE,EAAE,CAAC,UAAU,GACxB;IACD,WAAW,EAAE,MAAM,CAAC;IACpB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,UAAU,EAAE,OAAO,CAAC;IACpB,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,cAAc,EAAE,OAAO,CAAC;IACxB,qBAAqB,EAAE,OAAO,CAAC;CAChC,CAaA;AAED,iBAAS,qBAAqB,CAAC,IAAI,EAAE,EAAE,CAAC,uBAAuB,GAAG,MAAM,GAAG,SAAS,CAWnF;AAED,iBAAS,0BAA0B,CAAC,IAAI,EAAE,EAAE,CAAC,uBAAuB,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,MAAM,GAAG,SAAS,CAanH;AAED,iBAAS,qBAAqB,CAAC,IAAI,EAAE,EAAE,CAAC,uBAAuB,GAAG,QAAQ,GAAG,YAAY,GAAG,aAAa,CAexG;AAED,iBAAS,mBAAmB,CAAC,IAAI,EAAE,EAAE,CAAC,uBAAuB,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,OAAO,CAAA;CAAE,CAqCrI;AAQD,OAAO,EACL,yBAAyB,EACzB,qBAAqB,EACrB,0BAA0B,EAC1B,mBAAmB,EACnB,qBAAqB,GACtB,CAAC"}

package/dist/checks/rules/dry/fingerprint.js

@@ -1,14 +1,18 @@
 import ts from "typescript";
 import { stableSerialize } from "../../../shared/utils.js";
+import { createBehaviorFingerprint } from "./behavior/index.js";
 import { serializeFunctionLike } from "./serialize/bindings.js";
 import { createSerializeContext } from "./serialize/context.js";
 import { serializeNode } from "./serialize/node.js";
 function createFunctionFingerprint(node, sourceFile) {
     const context = createSerializeContext();
     const normalized = serializeFunctionLike(node, context, sourceFile, serializeNode);
+    const behavior = createBehaviorFingerprint(node, sourceFile);
     return {
+        behaviorFingerprint: behavior?.fingerprint,
         fingerprint: stableSerialize(normalized),
         normalized,
+        normalizedBehavior: behavior?.normalized,
         usesOuterScope: context.usesOuterScope,
         usesRestrictedRuntime: context.usesRestrictedRuntime,
     };

package/dist/checks/rules/dry/fingerprint.js.map

@@ -1 +1 @@
-{"version":3,"file":"fingerprint.js","sourceRoot":"","sources":["../../../../src/checks/rules/dry/fingerprint.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAChE,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEpD,SAAS,yBAAyB,CAChC,IAAgC,EAChC,UAAyB;IAOzB,MAAM,OAAO,GAAG,sBAAsB,EAAE,CAAC;IACzC,MAAM,UAAU,GAAG,qBAAqB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC;IAEnF,OAAO;QACL,WAAW,EAAE,eAAe,CAAC,UAAU,CAAC;QACxC,UAAU;QACV,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,qBAAqB,EAAE,OAAO,CAAC,qBAAqB;KACrD,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAgC;IAC7D,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACnF,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IACxB,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IAAI,MAAM,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/E,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC1B,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,0BAA0B,CAAC,IAAgC,EAAE,UAAyB;IAC7F,MAAM,cAAc,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IACnD,IAAI,cAAc;QAAE,OAAO,cAAc,CAAC;IAE1C,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1H,OAAO,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACvC,CAAC;IAED,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAgC;IAC7D,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChJ,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IAAI,MAAM,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/E,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAChG,OAAO,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,aAAa,CAAC;IACpE,CAAC;IAED,OAAO,aAAa,CAAC;AACvB,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAgC,EAAE,UAAyB;IACtF,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAClD,OAAO;YACL,KAAK,EAAE,IAAI,CAAC,YAAY,EAAE;YAC1B,GAAG,EAAE,gBAAgB,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;YACrD,EAAE,EAAE,IAAI;SACT,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IAAI,MAAM,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/C,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC;QACtC,MAAM,SAAS,GAAG,eAAe,EAAE,MAAM,CAAC;QAC1C,MAAM,mBAAmB,GAAG,EAAE,CAAC,yBAAyB,CAAC,eAAe,CAAC;eACpE,eAAe,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC;eACzC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC;QAEvC,IAAI,CAAC,mBAAmB,EAAE,CAAC;YACzB,OAAO;gBACL,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;gBAClC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE;gBACpB,EAAE,EAAE,KAAK;aACV,CAAC;QACJ,CAAC;QAED,OAAO;YACL,KAAK,EAAE,SAAS,CAAC,YAAY,EAAE;YAC/B,GAAG,EAAE,gBAAgB,CAAC,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC;YAC1D,EAAE,EAAE,IAAI;SACT,CAAC;IACJ,CAAC;IAED,OAAO;QACL,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;QAChC,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE;QAClB,EAAE,EAAE,KAAK;KACV,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAY,EAAE,GAAW;IACjD,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,KAAK,MAAM;QAAE,OAAO,GAAG,GAAG,CAAC,CAAC;IACxD,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI;QAAE,OAAO,GAAG,GAAG,CAAC,CAAC;IACvC,OAAO,GAAG,CAAC;AACb,CAAC;AAED,OAAO,EACL,yBAAyB,EACzB,qBAAqB,EACrB,0BAA0B,EAC1B,mBAAmB,EACnB,qBAAqB,GACtB,CAAC"}
+{"version":3,"file":"fingerprint.js","sourceRoot":"","sources":["../../../../src/checks/rules/dry/fingerprint.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AAChE,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAChE,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEpD,SAAS,yBAAyB,CAChC,IAAgC,EAChC,UAAyB;IASzB,MAAM,OAAO,GAAG,sBAAsB,EAAE,CAAC;IACzC,MAAM,UAAU,GAAG,qBAAqB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC;IACnF,MAAM,QAAQ,GAAG,yBAAyB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAE7D,OAAO;QACL,mBAAmB,EAAE,QAAQ,EAAE,WAAW;QAC1C,WAAW,EAAE,eAAe,CAAC,UAAU,CAAC;QACxC,UAAU;QACV,kBAAkB,EAAE,QAAQ,EAAE,UAAU;QACxC,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,qBAAqB,EAAE,OAAO,CAAC,qBAAqB;KACrD,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAgC;IAC7D,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACnF,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IACxB,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IAAI,MAAM,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/E,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC1B,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,0BAA0B,CAAC,IAAgC,EAAE,UAAyB;IAC7F,MAAM,cAAc,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IACnD,IAAI,cAAc;QAAE,OAAO,cAAc,CAAC;IAE1C,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1H,OAAO,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACvC,CAAC;IAED,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAgC;IAC7D,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChJ,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IAAI,MAAM,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/E,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAChG,OAAO,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,aAAa,CAAC;IACpE,CAAC;IAED,OAAO,aAAa,CAAC;AACvB,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAgC,EAAE,UAAyB;IACtF,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAClD,OAAO;YACL,KAAK,EAAE,IAAI,CAAC,YAAY,EAAE;YAC1B,GAAG,EAAE,gBAAgB,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;YACrD,EAAE,EAAE,IAAI;SACT,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IAAI,MAAM,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/C,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC;QACtC,MAAM,SAAS,GAAG,eAAe,EAAE,MAAM,CAAC;QAC1C,MAAM,mBAAmB,GAAG,EAAE,CAAC,yBAAyB,CAAC,eAAe,CAAC;eACpE,eAAe,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC;eACzC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC;QAEvC,IAAI,CAAC,mBAAmB,EAAE,CAAC;YACzB,OAAO;gBACL,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;gBAClC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE;gBACpB,EAAE,EAAE,KAAK;aACV,CAAC;QACJ,CAAC;QAED,OAAO;YACL,KAAK,EAAE,SAAS,CAAC,YAAY,EAAE;YAC/B,GAAG,EAAE,gBAAgB,CAAC,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC;YAC1D,EAAE,EAAE,IAAI;SACT,CAAC;IACJ,CAAC;IAED,OAAO;QACL,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;QAChC,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE;QAClB,EAAE,EAAE,KAAK;KACV,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAY,EAAE,GAAW;IACjD,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,KAAK,MAAM;QAAE,OAAO,GAAG,GAAG,CAAC,CAAC;IACxD,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI;QAAE,OAAO,GAAG,GAAG,CAAC,CAAC;IACvC,OAAO,GAAG,CAAC;AACb,CAAC;AAED,OAAO,EACL,yBAAyB,EACzB,qBAAqB,EACrB,0BAA0B,EAC1B,mBAAmB,EACnB,qBAAqB,GACtB,CAAC"}

package/dist/checks/rules/dry/matching.d.ts

@@ -1,7 +1,7 @@
 import type { SourceProgressObserver } from "../../../imports/types.js";
 import type { NormalizedDryRule } from "../../types.js";
 import type { DryFunctionDescriptor } from "./model.js";
-type DuplicateSignal = "exact-normalized" | "matching-name" | "similar-structure";
+type DuplicateSignal = "exact-normalized" | "matching-name" | "normalized-behavior" | "similar-structure";
 type DuplicateGroup = {
     confidence: number;
     functions: DryFunctionDescriptor[];

package/dist/checks/rules/dry/matching.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"matching.d.ts","sourceRoot":"","sources":["../../../../src/checks/rules/dry/matching.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACxE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACxD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAcxD,KAAK,eAAe,GAAG,kBAAkB,GAAG,eAAe,GAAG,mBAAmB,CAAC;AAElF,KAAK,cAAc,GAAG;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,qBAAqB,EAAE,CAAC;IACnC,OAAO,EAAE,eAAe,EAAE,CAAC;CAC5B,CAAC;AAmOF,iBAAS,sBAAsB,CAC7B,SAAS,EAAE,qBAAqB,EAAE,EAClC,OAAO,EAAE,iBAAiB,EAC1B,QAAQ,CAAC,EAAE,sBAAsB,GAChC,cAAc,EAAE,CAkBlB;AAED,OAAO,EAAE,sBAAsB,EAAE,CAAC;AAClC,YAAY,EAAE,cAAc,EAAE,eAAe,EAAE,CAAC"}
+{"version":3,"file":"matching.d.ts","sourceRoot":"","sources":["../../../../src/checks/rules/dry/matching.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACxE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACxD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAcxD,KAAK,eAAe,GAAG,kBAAkB,GAAG,eAAe,GAAG,qBAAqB,GAAG,mBAAmB,CAAC;AAE1G,KAAK,cAAc,GAAG;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,qBAAqB,EAAE,CAAC;IACnC,OAAO,EAAE,eAAe,EAAE,CAAC;CAC5B,CAAC;AA+OF,iBAAS,sBAAsB,CAC7B,SAAS,EAAE,qBAAqB,EAAE,EAClC,OAAO,EAAE,iBAAiB,EAC1B,QAAQ,CAAC,EAAE,sBAAsB,GAChC,cAAc,EAAE,CAkBlB;AAED,OAAO,EAAE,sBAAsB,EAAE,CAAC;AAClC,YAAY,EAAE,cAAc,EAAE,eAAe,EAAE,CAAC"}

package/dist/checks/rules/dry/matching.js

@@ -45,11 +45,17 @@ function unionIndexGroup(state, indexes, signal) {
     }
 }
 function indexExactAndNamedFunctions(functions, options) {
+    const indexesByBehaviorFingerprint = new Map();
     const indexesByFingerprint = new Map();
     const indexesByName = new Map();
     for (let index = 0; index < functions.length; index += 1) {
         const descriptor = functions[index];
         if (isWithinDuplicateSizeThreshold(descriptor, options)) {
+            if (descriptor.behaviorFingerprint) {
+                const indexes = indexesByBehaviorFingerprint.get(descriptor.behaviorFingerprint) ?? [];
+                indexes.push(index);
+                indexesByBehaviorFingerprint.set(descriptor.behaviorFingerprint, indexes);
+            }
             const indexes = indexesByFingerprint.get(descriptor.fingerprint) ?? [];
             indexes.push(index);
             indexesByFingerprint.set(descriptor.fingerprint, indexes);
@@ -60,7 +66,7 @@ function indexExactAndNamedFunctions(functions, options) {
             indexesByName.set(descriptor.normalizedName, indexes);
         }
     }
-    return { indexesByFingerprint, indexesByName };
+    return { indexesByBehaviorFingerprint, indexesByFingerprint, indexesByName };
 }
 function isWithinDuplicateSizeThreshold(descriptor, options) {
     return descriptor.characterCount >= options.minDuplicateCharacters;
@@ -72,7 +78,10 @@ function shouldIndexNameDuplicate(descriptor, options) {
         && Boolean(descriptor.normalizedName);
 }
 function unionExactAndNamedGroups(state, functions, options) {
-    const { indexesByFingerprint, indexesByName } = indexExactAndNamedFunctions(functions, options);
+    const { indexesByBehaviorFingerprint, indexesByFingerprint, indexesByName } = indexExactAndNamedFunctions(functions, options);
+    for (const indexes of indexesByBehaviorFingerprint.values()) {
+        unionIndexGroup(state, indexes, "normalized-behavior");
+    }
     for (const indexes of indexesByFingerprint.values()) {
         unionIndexGroup(state, indexes, "exact-normalized");
     }

package/dist/checks/rules/dry/matching.js.map

@@ -1 +1 @@
-{"version":3,"file":"matching.js","sourceRoot":"","sources":["../../../../src/checks/rules/dry/matching.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAK9C,OAAO,EACL,uBAAuB,EACvB,qBAAqB,EACrB,sBAAsB,EACtB,qBAAqB,EACrB,iBAAiB,EACjB,uBAAuB,GACxB,MAAM,iBAAiB,CAAC;AAGzB,MAAM,oBAAoB,GAAG,IAAI,CAAC;AAClC,MAAM,oBAAoB,GAAG,GAAG,CAAC;AAgBjC,MAAM,WAAW;IAGf,YAAY,IAAY;QACtB,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;IACnE,CAAC;IAED,IAAI,CAAC,KAAa;QAChB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAE,CAAC;QACpC,IAAI,MAAM,KAAK,KAAK;YAAE,OAAO,KAAK,CAAC;QAEnC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC/B,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;QAC3B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,KAAK,CAAC,IAAY,EAAE,KAAa;QAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO;QACnC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,QAAQ,CAAC;IACrC,CAAC;CACF;AAED,SAAS,oBAAoB,CAAC,IAAY;IACxC,OAAO;QACL,iBAAiB,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QACxD,WAAW,EAAE,IAAI,WAAW,CAAC,IAAI,CAAC;QAClC,cAAc,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,IAAI,GAAG,EAAmB,CAAC;KAC/E,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,KAAqB,EACrB,SAAiB,EACjB,UAAkB,EAClB,MAAuB,EACvB,UAAkB;IAElB,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IAC/C,KAAK,CAAC,iBAAiB,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,SAAS,CAAE,EAAE,UAAU,CAAC,CAAC;IAC/F,KAAK,CAAC,iBAAiB,CAAC,UAAU,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,UAAU,CAAE,EAAE,UAAU,CAAC,CAAC;IACjG,KAAK,CAAC,cAAc,CAAC,SAAS,CAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7C,KAAK,CAAC,cAAc,CAAC,UAAU,CAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AAChD,CAAC;AAED,SAAS,eAAe,CAAC,KAAqB,EAAE,OAAiB,EAAE,MAAuB;IACxF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO;IAE/B,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACrC,eAAe,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IACvD,CAAC;AACH,CAAC;AAED,SAAS,2BAA2B,CAAC,SAAkC,EAAE,OAA0B;IAIjG,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAoB,CAAC;IACzD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAoB,CAAC;IAElD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,SAAS,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACzD,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,CAAE,CAAC;QACrC,IAAI,8BAA8B,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC;YACxD,MAAM,OAAO,GAAG,oBAAoB,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;YACvE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpB,oBAAoB,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QAC5D,CAAC;QAED,IAAI,wBAAwB,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC;YAClD,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,cAAe,CAAC,IAAI,EAAE,CAAC;YACpE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpB,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,cAAe,EAAE,OAAO,CAAC,CAAC;QACzD,CAAC;IACH,CAAC;IAED,OAAO,EAAE,oBAAoB,EAAE,aAAa,EAAE,CAAC;AACjD,CAAC;AAED,SAAS,8BAA8B,CAAC,UAAiC,EAAE,OAA0B;IACnG,OAAO,UAAU,CAAC,cAAc,IAAI,OAAO,CAAC,sBAAsB,CAAC;AACrE,CAAC;AAED,SAAS,wBAAwB,CAAC,UAAiC,EAAE,OAA0B;IAC7F,OAAO,UAAU,CAAC,cAAc,KAAK,YAAY;WAC5C,UAAU,CAAC,QAAQ;WACnB,8BAA8B,CAAC,UAAU,EAAE,OAAO,CAAC;WACnD,OAAO,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,wBAAwB,CAAC,KAAqB,EAAE,SAAkC,EAAE,OAA0B;IACrH,MAAM,EAAE,oBAAoB,EAAE,aAAa,EAAE,GAAG,2BAA2B,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAEhG,KAAK,MAAM,OAAO,IAAI,oBAAoB,CAAC,MAAM,EAAE,EAAE,CAAC;QACpD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,kBAAkB,CAAC,CAAC;IACtD,CAAC;IAED,KAAK,MAAM,OAAO,IAAI,aAAa,CAAC,MAAM,EAAE,EAAE,CAAC;QAC7C,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC;IACnD,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,IAMvB;IACC,IAAI,IAAI,CAAC,cAAc,GAAG,oBAAoB,KAAK,CAAC,IAAI,IAAI,CAAC,cAAc,KAAK,IAAI,CAAC,UAAU;QAAE,OAAO;IAExG,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,KAAK;QACX,KAAK,EAAE,OAAO;QACd,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,GAAG,oBAAoB,CAAC;QACjE,cAAc,EAAE,IAAI,CAAC,cAAc;QACnC,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;QAC3C,SAAS,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,SAAS;KAC9C,CAAC,CAAC;AACL,CAAC;AAED,SAAS,2BAA2B,CAClC,MAAwB,EACxB,KAAsB,EACtB,KAAqB,EACrB,sBAA8B;IAE9B,IAAI,kBAAkB,GAAG,CAAC,CAAC;IAE3B,KAAK,MAAM,cAAc,IAAI,uBAAuB,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC;QACpE,MAAM,SAAS,GAAG,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAC3D,MAAM,OAAO,GAAG,GAAG,cAAc,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACpD,IAAI,CAAC,SAAS,IAAI,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAS;QAEzD,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC7B,IAAI,CAAC,uBAAuB,CAAC,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,sBAAsB,CAAC;YAAE,SAAS;QAExG,kBAAkB,IAAI,CAAC,CAAC;QACxB,MAAM,UAAU,GAAG,iBAAiB,CAAC,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC1E,IAAI,UAAU,IAAI,oBAAoB,EAAE,CAAC;YACvC,eAAe,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,mBAAmB,EAAE,UAAU,CAAC,CAAC;QACzF,CAAC;IACH,CAAC;IAED,OAAO,kBAAkB,CAAC;AAC5B,CAAC;AAED,SAAS,sBAAsB,CAC7B,SAAkC,EAClC,KAAqB,EACrB,OAA0B,EAC1B,QAA4C,EAC5C,SAAiB;IAEjB,MAAM,KAAK,GAAG,qBAAqB,EAAE,CAAC;IACtC,IAAI,kBAAkB,GAAG,CAAC,CAAC;IAE3B,KAAK,IAAI,aAAa,GAAG,CAAC,EAAE,aAAa,GAAG,SAAS,CAAC,MAAM,EAAE,aAAa,IAAI,CAAC,EAAE,CAAC;QACjF,MAAM,MAAM,GAAG,sBAAsB,CAAC,SAAS,CAAC,aAAa,CAAE,EAAE,aAAa,EAAE,OAAO,CAAC,sBAAsB,CAAC,CAAC;QAChH,IAAI,MAAM,EAAE,CAAC;YACX,kBAAkB,IAAI,2BAA2B,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,sBAAsB,CAAC,CAAC;YACxG,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACvC,CAAC;QAED,cAAc,CAAC;YACb,kBAAkB;YAClB,cAAc,EAAE,aAAa,GAAG,CAAC;YACjC,QAAQ;YACR,SAAS;YACT,UAAU,EAAE,SAAS,CAAC,MAAM;SAC7B,CAAC,CAAC;IACL,CAAC;IAED,OAAO,kBAAkB,CAAC;AAC5B,CAAC;AAED,SAAS,kBAAkB,CAAC,SAAkC,EAAE,KAAqB;IACnF,MAAM,aAAa,GAAG,IAAI,GAAG,EAAoB,CAAC;IAElD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,SAAS,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3C,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC9C,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnC,CAAC;IAED,OAAO,aAAa,CAAC;AACvB,CAAC;AAED,SAAS,WAAW,CAAC,SAAkC,EAAE,KAAqB,EAAE,OAAiB;IAC/F,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAmB,CAAC;IAE3C,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAAE,CAAC,CAAC;QACnE,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,KAAK,CAAE;YAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACzE,CAAC;IAED,OAAO;QACL,UAAU;QACV,SAAS,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAE,CAAC;QACpD,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE;KAC7B,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,SAAkC,EAAE,KAAqB;IACrF,MAAM,MAAM,GAAqB,EAAE,CAAC;IAEpC,KAAK,MAAM,OAAO,IAAI,kBAAkB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QACpE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QACjC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;IACtD,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,sBAAsB,CAC7B,SAAkC,EAClC,OAA0B,EAC1B,QAAiC;IAEjC,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;IACpC,MAAM,KAAK,GAAG,oBAAoB,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAErD,wBAAwB,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IACpD,MAAM,kBAAkB,GAAG,sBAAsB,CAAC,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;IAClG,MAAM,MAAM,GAAG,oBAAoB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IAEtD,QAAQ,EAAE,CAAC;QACT,KAAK,EAAE,gBAAgB;QACvB,IAAI,EAAE,KAAK;QACX,KAAK,EAAE,OAAO;QACd,UAAU,EAAE,SAAS,CAAC,MAAM;QAC5B,eAAe,EAAE,MAAM,CAAC,MAAM;QAC9B,kBAAkB;QAClB,SAAS,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,SAAS;KACzC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,OAAO,EAAE,sBAAsB,EAAE,CAAC"}
+{"version":3,"file":"matching.js","sourceRoot":"","sources":["../../../../src/checks/rules/dry/matching.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAK9C,OAAO,EACL,uBAAuB,EACvB,qBAAqB,EACrB,sBAAsB,EACtB,qBAAqB,EACrB,iBAAiB,EACjB,uBAAuB,GACxB,MAAM,iBAAiB,CAAC;AAGzB,MAAM,oBAAoB,GAAG,IAAI,CAAC;AAClC,MAAM,oBAAoB,GAAG,GAAG,CAAC;AAgBjC,MAAM,WAAW;IAGf,YAAY,IAAY;QACtB,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;IACnE,CAAC;IAED,IAAI,CAAC,KAAa;QAChB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAE,CAAC;QACpC,IAAI,MAAM,KAAK,KAAK;YAAE,OAAO,KAAK,CAAC;QAEnC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC/B,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;QAC3B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,KAAK,CAAC,IAAY,EAAE,KAAa;QAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO;QACnC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,QAAQ,CAAC;IACrC,CAAC;CACF;AAED,SAAS,oBAAoB,CAAC,IAAY;IACxC,OAAO;QACL,iBAAiB,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QACxD,WAAW,EAAE,IAAI,WAAW,CAAC,IAAI,CAAC;QAClC,cAAc,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,IAAI,GAAG,EAAmB,CAAC;KAC/E,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,KAAqB,EACrB,SAAiB,EACjB,UAAkB,EAClB,MAAuB,EACvB,UAAkB;IAElB,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IAC/C,KAAK,CAAC,iBAAiB,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,SAAS,CAAE,EAAE,UAAU,CAAC,CAAC;IAC/F,KAAK,CAAC,iBAAiB,CAAC,UAAU,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,UAAU,CAAE,EAAE,UAAU,CAAC,CAAC;IACjG,KAAK,CAAC,cAAc,CAAC,SAAS,CAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7C,KAAK,CAAC,cAAc,CAAC,UAAU,CAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AAChD,CAAC;AAED,SAAS,eAAe,CAAC,KAAqB,EAAE,OAAiB,EAAE,MAAuB;IACxF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO;IAE/B,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACrC,eAAe,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IACvD,CAAC;AACH,CAAC;AAED,SAAS,2BAA2B,CAAC,SAAkC,EAAE,OAA0B;IAKjG,MAAM,4BAA4B,GAAG,IAAI,GAAG,EAAoB,CAAC;IACjE,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAoB,CAAC;IACzD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAoB,CAAC;IAElD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,SAAS,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACzD,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,CAAE,CAAC;QACrC,IAAI,8BAA8B,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC;YACxD,IAAI,UAAU,CAAC,mBAAmB,EAAE,CAAC;gBACnC,MAAM,OAAO,GAAG,4BAA4B,CAAC,GAAG,CAAC,UAAU,CAAC,mBAAmB,CAAC,IAAI,EAAE,CAAC;gBACvF,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACpB,4BAA4B,CAAC,GAAG,CAAC,UAAU,CAAC,mBAAmB,EAAE,OAAO,CAAC,CAAC;YAC5E,CAAC;YAED,MAAM,OAAO,GAAG,oBAAoB,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;YACvE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpB,oBAAoB,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QAC5D,CAAC;QAED,IAAI,wBAAwB,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC;YAClD,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,cAAe,CAAC,IAAI,EAAE,CAAC;YACpE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpB,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,cAAe,EAAE,OAAO,CAAC,CAAC;QACzD,CAAC;IACH,CAAC;IAED,OAAO,EAAE,4BAA4B,EAAE,oBAAoB,EAAE,aAAa,EAAE,CAAC;AAC/E,CAAC;AAED,SAAS,8BAA8B,CAAC,UAAiC,EAAE,OAA0B;IACnG,OAAO,UAAU,CAAC,cAAc,IAAI,OAAO,CAAC,sBAAsB,CAAC;AACrE,CAAC;AAED,SAAS,wBAAwB,CAAC,UAAiC,EAAE,OAA0B;IAC7F,OAAO,UAAU,CAAC,cAAc,KAAK,YAAY;WAC5C,UAAU,CAAC,QAAQ;WACnB,8BAA8B,CAAC,UAAU,EAAE,OAAO,CAAC;WACnD,OAAO,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,wBAAwB,CAAC,KAAqB,EAAE,SAAkC,EAAE,OAA0B;IACrH,MAAM,EAAE,4BAA4B,EAAE,oBAAoB,EAAE,aAAa,EAAE,GAAG,2BAA2B,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAE9H,KAAK,MAAM,OAAO,IAAI,4BAA4B,CAAC,MAAM,EAAE,EAAE,CAAC;QAC5D,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,qBAAqB,CAAC,CAAC;IACzD,CAAC;IAED,KAAK,MAAM,OAAO,IAAI,oBAAoB,CAAC,MAAM,EAAE,EAAE,CAAC;QACpD,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,kBAAkB,CAAC,CAAC;IACtD,CAAC;IAED,KAAK,MAAM,OAAO,IAAI,aAAa,CAAC,MAAM,EAAE,EAAE,CAAC;QAC7C,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC;IACnD,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,IAMvB;IACC,IAAI,IAAI,CAAC,cAAc,GAAG,oBAAoB,KAAK,CAAC,IAAI,IAAI,CAAC,cAAc,KAAK,IAAI,CAAC,UAAU;QAAE,OAAO;IAExG,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,KAAK;QACX,KAAK,EAAE,OAAO;QACd,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,GAAG,oBAAoB,CAAC;QACjE,cAAc,EAAE,IAAI,CAAC,cAAc;QACnC,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;QAC3C,SAAS,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,SAAS;KAC9C,CAAC,CAAC;AACL,CAAC;AAED,SAAS,2BAA2B,CAClC,MAAwB,EACxB,KAAsB,EACtB,KAAqB,EACrB,sBAA8B;IAE9B,IAAI,kBAAkB,GAAG,CAAC,CAAC;IAE3B,KAAK,MAAM,cAAc,IAAI,uBAAuB,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC;QACpE,MAAM,SAAS,GAAG,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAC3D,MAAM,OAAO,GAAG,GAAG,cAAc,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACpD,IAAI,CAAC,SAAS,IAAI,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAS;QAEzD,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC7B,IAAI,CAAC,uBAAuB,CAAC,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,sBAAsB,CAAC;YAAE,SAAS;QAExG,kBAAkB,IAAI,CAAC,CAAC;QACxB,MAAM,UAAU,GAAG,iBAAiB,CAAC,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC1E,IAAI,UAAU,IAAI,oBAAoB,EAAE,CAAC;YACvC,eAAe,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,mBAAmB,EAAE,UAAU,CAAC,CAAC;QACzF,CAAC;IACH,CAAC;IAED,OAAO,kBAAkB,CAAC;AAC5B,CAAC;AAED,SAAS,sBAAsB,CAC7B,SAAkC,EAClC,KAAqB,EACrB,OAA0B,EAC1B,QAA4C,EAC5C,SAAiB;IAEjB,MAAM,KAAK,GAAG,qBAAqB,EAAE,CAAC;IACtC,IAAI,kBAAkB,GAAG,CAAC,CAAC;IAE3B,KAAK,IAAI,aAAa,GAAG,CAAC,EAAE,aAAa,GAAG,SAAS,CAAC,MAAM,EAAE,aAAa,IAAI,CAAC,EAAE,CAAC;QACjF,MAAM,MAAM,GAAG,sBAAsB,CAAC,SAAS,CAAC,aAAa,CAAE,EAAE,aAAa,EAAE,OAAO,CAAC,sBAAsB,CAAC,CAAC;QAChH,IAAI,MAAM,EAAE,CAAC;YACX,kBAAkB,IAAI,2BAA2B,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,sBAAsB,CAAC,CAAC;YACxG,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACvC,CAAC;QAED,cAAc,CAAC;YACb,kBAAkB;YAClB,cAAc,EAAE,aAAa,GAAG,CAAC;YACjC,QAAQ;YACR,SAAS;YACT,UAAU,EAAE,SAAS,CAAC,MAAM;SAC7B,CAAC,CAAC;IACL,CAAC;IAED,OAAO,kBAAkB,CAAC;AAC5B,CAAC;AAED,SAAS,kBAAkB,CAAC,SAAkC,EAAE,KAAqB;IACnF,MAAM,aAAa,GAAG,IAAI,GAAG,EAAoB,CAAC;IAElD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,SAAS,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3C,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC9C,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnC,CAAC;IAED,OAAO,aAAa,CAAC;AACvB,CAAC;AAED,SAAS,WAAW,CAAC,SAAkC,EAAE,KAAqB,EAAE,OAAiB;IAC/F,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAmB,CAAC;IAE3C,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAAE,CAAC,CAAC;QACnE,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,KAAK,CAAE;YAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACzE,CAAC;IAED,OAAO;QACL,UAAU;QACV,SAAS,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAE,CAAC;QACpD,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE;KAC7B,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,SAAkC,EAAE,KAAqB;IACrF,MAAM,MAAM,GAAqB,EAAE,CAAC;IAEpC,KAAK,MAAM,OAAO,IAAI,kBAAkB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QACpE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QACjC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;IACtD,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,sBAAsB,CAC7B,SAAkC,EAClC,OAA0B,EAC1B,QAAiC;IAEjC,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;IACpC,MAAM,KAAK,GAAG,oBAAoB,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAErD,wBAAwB,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IACpD,MAAM,kBAAkB,GAAG,sBAAsB,CAAC,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;IAClG,MAAM,MAAM,GAAG,oBAAoB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IAEtD,QAAQ,EAAE,CAAC;QACT,KAAK,EAAE,gBAAgB;QACvB,IAAI,EAAE,KAAK;QACX,KAAK,EAAE,OAAO;QACd,UAAU,EAAE,SAAS,CAAC,MAAM;QAC5B,eAAe,EAAE,MAAM,CAAC,MAAM;QAC9B,kBAAkB;QAClB,SAAS,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,SAAS;KACzC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,OAAO,EAAE,sBAAsB,EAAE,CAAC"}

package/dist/checks/rules/dry/model.d.ts

@@ -2,6 +2,7 @@ import ts from "typescript";
 import type { ScannedSourceFile } from "../../../imports/types.js";
 type DryFunctionDescriptor = {
     absolutePath: string;
+    behaviorFingerprint?: string;
     characterCount: number;
     classification: "method" | "standalone";
     fingerprint: string;

package/dist/checks/rules/dry/model.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../../../src/checks/rules/dry/model.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAGnE,KAAK,qBAAqB,GAAG;IAC3B,YAAY,EAAE,MAAM,CAAC;IACrB,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,QAAQ,GAAG,YAAY,CAAC;IACxC,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;IACvB,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;IAC1B,QAAQ,EAAE,OAAO,CAAC;IAClB,cAAc,EAAE,OAAO,CAAC;IACxB,qBAAqB,EAAE,OAAO,CAAC;CAChC,CAAC;AAEF,iBAAS,oBAAoB,CAAC,WAAW,EAAE,iBAAiB,EAAE,GAAG,iBAAiB,EAAE,CAEnF;AAED,OAAO,EAAE,oBAAoB,EAAE,CAAC;AAChC,YAAY,EAAE,qBAAqB,EAAE,CAAC"}
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../../../src/checks/rules/dry/model.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAGnE,KAAK,qBAAqB,GAAG;IAC3B,YAAY,EAAE,MAAM,CAAC;IACrB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,QAAQ,GAAG,YAAY,CAAC;IACxC,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;IACvB,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;IAC1B,QAAQ,EAAE,OAAO,CAAC;IAClB,cAAc,EAAE,OAAO,CAAC;IACxB,qBAAqB,EAAE,OAAO,CAAC;CAChC,CAAC;AAEF,iBAAS,oBAAoB,CAAC,WAAW,EAAE,iBAAiB,EAAE,GAAG,iBAAiB,EAAE,CAEnF;AAED,OAAO,EAAE,oBAAoB,EAAE,CAAC;AAChC,YAAY,EAAE,qBAAqB,EAAE,CAAC"}

package/dist/checks/rules/dry/model.js.map

@@ -1 +1 @@
-{"version":3,"file":"model.js","sourceRoot":"","sources":["../../../../src/checks/rules/dry/model.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAkB3E,SAAS,oBAAoB,CAAC,WAAgC;IAC5D,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,2BAA2B,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;AACnF,CAAC;AAED,OAAO,EAAE,oBAAoB,EAAE,CAAC"}
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../../../src/checks/rules/dry/model.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAmB3E,SAAS,oBAAoB,CAAC,WAAgC;IAC5D,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,2BAA2B,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;AACnF,CAAC;AAED,OAAO,EAAE,oBAAoB,EAAE,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@trebired/code-discipline",
-  "version": "3.4.1",
+  "version": "3.4.2",
   "description": "Configurable codebase discipline checks and rule-driven fixes for Bun and Node.js projects.",
   "license": "AGPL-3.0-only",
   "keywords": [