legend-doctor 0.1.0

package/dist/src/rules/hook-keyed-cursor-contract/keyed-list-element.js

@@ -0,0 +1,93 @@
+import { isImportedUseCallback, jsxAttributeContaining, uniqueDirectJsxAttributeReference, } from "./binding-references.js";
+import { isPureExpression, unwrapTransparentExpression } from "../../core/analysis-ast.js";
+import ts from "typescript";
+import { uniqueVariableDeclaration } from "../state-proofs/binding-lookup.js";
+import { visit } from "../../core/ast.js";
+export function keyedListElementIsStable(owner, renderName, extraDataReference) {
+    const renderAttribute = uniqueDirectJsxAttributeReference(owner, renderName, "renderItem");
+    const extraAttribute = jsxAttributeContaining(extraDataReference, "extraData");
+    if (!renderAttribute || !extraAttribute || renderAttribute.parent !== extraAttribute.parent) {
+        return false;
+    }
+    const opening = renderAttribute.parent.parent;
+    if (!ts.isJsxOpeningElement(opening) && !ts.isJsxSelfClosingElement(opening)) {
+        return false;
+    }
+    const keyAttribute = opening.attributes.properties.find((attribute) => ts.isJsxAttribute(attribute) && attribute.name.getText() === "keyExtractor");
+    return (keyAttribute !== undefined &&
+        ts.isJsxAttribute(keyAttribute) &&
+        keyExtractorIsStable(keyAttribute, owner));
+}
+function keyExtractorIsStable(attribute, owner) {
+    const callback = keyExtractorCallback(attribute, owner);
+    const item = callback?.parameters[0]?.name;
+    if (!callback || !item || !ts.isIdentifier(item)) {
+        return false;
+    }
+    return returnsItemPropertyWithoutIndex(callback, item);
+}
+function keyExtractorCallback(attribute, owner) {
+    const expression = attribute.initializer && ts.isJsxExpression(attribute.initializer)
+        ? attribute.initializer.expression
+        : null;
+    return expression ? callbackFromExpression(expression, owner) : null;
+}
+function returnsItemPropertyWithoutIndex(callback, item) {
+    const index = callback.parameters[1]?.name;
+    const returned = callbackReturnExpression(callback);
+    if (!returned || !isPureExpression(returned)) {
+        return false;
+    }
+    let itemProperty = false;
+    let usesIndex = false;
+    visit(returned, (node) => {
+        if (ts.isPropertyAccessExpression(node) && propertyAccessRoot(node)?.text === item.text) {
+            itemProperty = true;
+        }
+        if (index && ts.isIdentifier(index) && ts.isIdentifier(node) && node.text === index.text) {
+            usesIndex = true;
+        }
+    });
+    return itemProperty && !usesIndex;
+}
+function inlineCallback(value) {
+    return ts.isArrowFunction(value) || ts.isFunctionExpression(value) ? value : null;
+}
+function callbackFromExpression(expression, owner) {
+    const value = unwrapTransparentExpression(expression);
+    const inline = inlineCallback(value);
+    if (inline || !ts.isIdentifier(value)) {
+        return inline;
+    }
+    const declaration = uniqueVariableDeclaration(owner, value.text);
+    return declaration?.initializer ? callbackFromInitializer(declaration.initializer) : null;
+}
+function callbackFromInitializer(source) {
+    const initializer = unwrapTransparentExpression(source);
+    const inline = inlineCallback(initializer);
+    if (inline) {
+        return inline;
+    }
+    if (!ts.isCallExpression(initializer) || !isImportedUseCallback(initializer)) {
+        return null;
+    }
+    const [callback] = initializer.arguments;
+    return callback ? inlineCallback(callback) : null;
+}
+function callbackReturnExpression(callback) {
+    if (!ts.isBlock(callback.body)) {
+        return callback.body;
+    }
+    const { statements } = callback.body;
+    return statements.length === 1 && ts.isReturnStatement(statements[0])
+        ? (statements[0].expression ?? null)
+        : null;
+}
+function propertyAccessRoot(expression) {
+    let current = expression.expression;
+    while (ts.isPropertyAccessExpression(current)) {
+        current = current.expression;
+    }
+    return ts.isIdentifier(current) ? current : null;
+}
+//# sourceMappingURL=keyed-list-element.js.map

package/dist/src/rules/hook-keyed-cursor-contract/keyed-list-element.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"keyed-list-element.js","sourceRoot":"","sources":["../../../../src/rules/hook-keyed-cursor-contract/keyed-list-element.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,qBAAqB,EACrB,sBAAsB,EACtB,iCAAiC,GAClC,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,gBAAgB,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AAE3F,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAC9E,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE1C,MAAM,UAAU,wBAAwB,CACtC,KAA0B,EAC1B,UAAyB,EACzB,kBAAiC;IAEjC,MAAM,eAAe,GAAG,iCAAiC,CAAC,KAAK,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;IAC3F,MAAM,cAAc,GAAG,sBAAsB,CAAC,kBAAkB,EAAE,WAAW,CAAC,CAAC;IAC/E,IAAI,CAAC,eAAe,IAAI,CAAC,cAAc,IAAI,eAAe,CAAC,MAAM,KAAK,cAAc,CAAC,MAAM,EAAE,CAAC;QAC5F,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC;IAC9C,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7E,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,YAAY,GAAG,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CACrD,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,cAAc,CAC3F,CAAC;IACF,OAAO,CACL,YAAY,KAAK,SAAS;QAC1B,EAAE,CAAC,cAAc,CAAC,YAAY,CAAC;QAC/B,oBAAoB,CAAC,YAAY,EAAE,KAAK,CAAC,CAC1C,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,SAA0B,EAAE,KAA0B;IAClF,MAAM,QAAQ,GAAG,oBAAoB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;IAC3C,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,+BAA+B,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,oBAAoB,CAC3B,SAA0B,EAC1B,KAA0B;IAE1B,MAAM,UAAU,GACd,SAAS,CAAC,WAAW,IAAI,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,WAAW,CAAC;QAChE,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,UAAU;QAClC,CAAC,CAAC,IAAI,CAAC;IACX,OAAO,UAAU,CAAC,CAAC,CAAC,sBAAsB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACvE,CAAC;AAED,SAAS,+BAA+B,CACtC,QAAkD,EAClD,IAAmB;IAEnB,MAAM,KAAK,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;IAC3C,MAAM,QAAQ,GAAG,wBAAwB,CAAC,QAAQ,CAAC,CAAC;IACpD,IAAI,CAAC,QAAQ,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,KAAK,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE;QACvB,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,kBAAkB,CAAC,IAAI,CAAC,EAAE,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;YACxF,YAAY,GAAG,IAAI,CAAC;QACtB,CAAC;QACD,IAAI,KAAK,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;YACzF,SAAS,GAAG,IAAI,CAAC;QACnB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,YAAY,IAAI,CAAC,SAAS,CAAC;AACpC,CAAC;AAED,SAAS,cAAc,CAAC,KAAoB;IAC1C,OAAO,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AACpF,CAAC;AAED,SAAS,sBAAsB,CAC7B,UAAyB,EACzB,KAA0B;IAE1B,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IACrC,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;QACtC,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,WAAW,GAAG,yBAAyB,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IACjE,OAAO,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC,uBAAuB,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5F,CAAC;AAED,SAAS,uBAAuB,CAC9B,MAAqB;IAErB,MAAM,WAAW,GAAG,2BAA2B,CAAC,MAAM,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,cAAc,CAAC,WAAW,CAAC,CAAC;IAC3C,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,WAAW,CAAC,IAAI,CAAC,qBAAqB,CAAC,WAAW,CAAC,EAAE,CAAC;QAC7E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,SAAS,CAAC;IACzC,OAAO,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACpD,CAAC;AAED,SAAS,wBAAwB,CAC/B,QAAkD;IAElD,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,QAAQ,CAAC,IAAI,CAAC;IACvB,CAAC;IACD,MAAM,EAAE,UAAU,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC;IACrC,OAAO,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC;QACpE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,UAAU,IAAI,IAAI,CAAC;QACrC,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,kBAAkB,CAAC,UAAuC;IACjE,IAAI,OAAO,GAAkB,UAAU,CAAC,UAAU,CAAC;IACnD,OAAO,EAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9C,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IAC/B,CAAC;IACD,OAAO,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AACnD,CAAC"}

package/dist/src/rules/hook-keyed-cursor-contract/memoized-row-renderer.d.ts

@@ -0,0 +1,8 @@
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+export interface MemoizedRowRenderer {
+    dependency: ts.ArrayLiteralExpression;
+    renderName: ts.Identifier;
+}
+export declare function memoizedRowRenderer(equalityReference: ts.Identifier, owner: RuntimeFunctionLike): MemoizedRowRenderer | null;
+//# sourceMappingURL=memoized-row-renderer.d.ts.map

package/dist/src/rules/hook-keyed-cursor-contract/memoized-row-renderer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"memoized-row-renderer.d.ts","sourceRoot":"","sources":["../../../../src/rules/hook-keyed-cursor-contract/memoized-row-renderer.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,WAAW,mBAAmB;IAClC,UAAU,EAAE,EAAE,CAAC,sBAAsB,CAAC;IACtC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;CAC3B;AAED,wBAAgB,mBAAmB,CACjC,iBAAiB,EAAE,EAAE,CAAC,UAAU,EAChC,KAAK,EAAE,mBAAmB,GACzB,mBAAmB,GAAG,IAAI,CAU5B"}

package/dist/src/rules/hook-keyed-cursor-contract/memoized-row-renderer.js

@@ -0,0 +1,71 @@
+import { bindingDeclarationCount, unwrapTransparentExpression } from "../../core/analysis-ast.js";
+import { bindingReferences, cursorEquality, isImportedUseCallback } from "./binding-references.js";
+import { findAncestor, findAncestorUntil, nearestNestedFunction } from "../../core/ast.js";
+import ts from "typescript";
+export function memoizedRowRenderer(equalityReference, owner) {
+    const memo = rowEqualityMemo(equalityReference, owner);
+    if (!memo) {
+        return null;
+    }
+    const renderName = memoRenderBindingName(memo);
+    const [, dependency] = memo.arguments;
+    return renderName && dependency && ts.isArrayLiteralExpression(dependency)
+        ? { dependency, renderName }
+        : null;
+}
+function rowEqualityMemo(equalityReference, owner) {
+    const equality = cursorEquality(equalityReference);
+    const callback = nearestNestedFunction(equalityReference, owner);
+    if (!equality ||
+        !callback ||
+        (!ts.isArrowFunction(callback) && !ts.isFunctionExpression(callback)) ||
+        !rowEqualityUsesIndex(equality, callback, equalityReference) ||
+        !equalityOnlyFeedsRowAttributes(equality, callback)) {
+        return null;
+    }
+    const memo = callback.parent;
+    return ts.isCallExpression(memo) && memo.arguments[0] === callback && isImportedUseCallback(memo)
+        ? memo
+        : null;
+}
+function memoRenderBindingName(memo) {
+    const declaration = findAncestor(memo, ts.isVariableDeclaration);
+    if (!declaration?.initializer || unwrapTransparentExpression(declaration.initializer) !== memo) {
+        return null;
+    }
+    return ts.isIdentifier(declaration.name) ? declaration.name : null;
+}
+function rowEqualityUsesIndex(equality, callback, cursor) {
+    const other = equality.left === cursor ? equality.right : equality.left;
+    if (!ts.isIdentifier(other)) {
+        return false;
+    }
+    const parameter = callback.parameters[0]?.name;
+    if (!parameter || !ts.isObjectBindingPattern(parameter)) {
+        return false;
+    }
+    return parameter.elements.some((element) => !element.dotDotDotToken &&
+        !element.initializer &&
+        ts.isIdentifier(element.name) &&
+        element.name.text === other.text &&
+        (!element.propertyName ||
+            (ts.isIdentifier(element.propertyName) && element.propertyName.text === "index")));
+}
+function equalityOnlyFeedsRowAttributes(equality, callback) {
+    const declaration = equality.parent;
+    if (!ts.isVariableDeclaration(declaration) ||
+        declaration.initializer !== equality ||
+        !ts.isIdentifier(declaration.name) ||
+        !ts.isVariableDeclarationList(declaration.parent) ||
+        (declaration.parent.flags & ts.NodeFlags.Const) === 0 ||
+        bindingDeclarationCount(callback, declaration.name.text) !== 1) {
+        return findAncestorUntil(equality, ts.isJsxAttribute, callback) !== null;
+    }
+    const references = bindingReferences(callback, declaration.name);
+    return (references.length > 0 &&
+        references.every((reference) => {
+            const attribute = findAncestorUntil(reference, ts.isJsxAttribute, callback);
+            return attribute !== null && attribute.name.getText() !== "key";
+        }));
+}
+//# sourceMappingURL=memoized-row-renderer.js.map

package/dist/src/rules/hook-keyed-cursor-contract/memoized-row-renderer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"memoized-row-renderer.js","sourceRoot":"","sources":["../../../../src/rules/hook-keyed-cursor-contract/memoized-row-renderer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AAClG,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AACnG,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAE3F,OAAO,EAAE,MAAM,YAAY,CAAC;AAO5B,MAAM,UAAU,mBAAmB,CACjC,iBAAgC,EAChC,KAA0B;IAE1B,MAAM,IAAI,GAAG,eAAe,CAAC,iBAAiB,EAAE,KAAK,CAAC,CAAC;IACvD,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,UAAU,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAC/C,MAAM,CAAC,EAAE,UAAU,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;IACtC,OAAO,UAAU,IAAI,UAAU,IAAI,EAAE,CAAC,wBAAwB,CAAC,UAAU,CAAC;QACxE,CAAC,CAAC,EAAE,UAAU,EAAE,UAAU,EAAE;QAC5B,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,eAAe,CACtB,iBAAgC,EAChC,KAA0B;IAE1B,MAAM,QAAQ,GAAG,cAAc,CAAC,iBAAiB,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAG,qBAAqB,CAAC,iBAAiB,EAAE,KAAK,CAAC,CAAC;IACjE,IACE,CAAC,QAAQ;QACT,CAAC,QAAQ;QACT,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QACrE,CAAC,oBAAoB,CAAC,QAAQ,EAAE,QAAQ,EAAE,iBAAiB,CAAC;QAC5D,CAAC,8BAA8B,CAAC,QAAQ,EAAE,QAAQ,CAAC,EACnD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC;IAC7B,OAAO,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,qBAAqB,CAAC,IAAI,CAAC;QAC/F,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAuB;IACpD,MAAM,WAAW,GAAG,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,qBAAqB,CAAC,CAAC;IACjE,IAAI,CAAC,WAAW,EAAE,WAAW,IAAI,2BAA2B,CAAC,WAAW,CAAC,WAAW,CAAC,KAAK,IAAI,EAAE,CAAC;QAC/F,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACrE,CAAC;AAED,SAAS,oBAAoB,CAC3B,QAA6B,EAC7B,QAAkD,EAClD,MAAqB;IAErB,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;IACxE,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,SAAS,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;IAC/C,IAAI,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,SAAS,CAAC,EAAE,CAAC;QACxD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,SAAS,CAAC,QAAQ,CAAC,IAAI,CAC5B,CAAC,OAAO,EAAE,EAAE,CACV,CAAC,OAAO,CAAC,cAAc;QACvB,CAAC,OAAO,CAAC,WAAW;QACpB,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC;QAC7B,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;QAChC,CAAC,CAAC,OAAO,CAAC,YAAY;YACpB,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,OAAO,CAAC,YAAY,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CACtF,CAAC;AACJ,CAAC;AAED,SAAS,8BAA8B,CACrC,QAA6B,EAC7B,QAAkD;IAElD,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC;IACpC,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;QACtC,WAAW,CAAC,WAAW,KAAK,QAAQ;QACpC,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC;QAClC,CAAC,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC,MAAM,CAAC;QACjD,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;QACrD,uBAAuB,CAAC,QAAQ,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAC9D,CAAC;QACD,OAAO,iBAAiB,CAAC,QAAQ,EAAE,EAAE,CAAC,cAAc,EAAE,QAAQ,CAAC,KAAK,IAAI,CAAC;IAC3E,CAAC;IACD,MAAM,UAAU,GAAG,iBAAiB,CAAC,QAAQ,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;IACjE,OAAO,CACL,UAAU,CAAC,MAAM,GAAG,CAAC;QACrB,UAAU,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,EAAE;YAC7B,MAAM,SAAS,GAAG,iBAAiB,CAAC,SAAS,EAAE,EAAE,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;YAC5E,OAAO,SAAS,KAAK,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,KAAK,CAAC;QAClE,CAAC,CAAC,CACH,CAAC;AACJ,CAAC"}

package/dist/src/rules/keyed-selection/array-set-aliases.d.ts

@@ -0,0 +1,7 @@
+import type { ArraySetAlias } from "./model.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import type { StateCandidate } from "../../analysis/model.js";
+import ts from "typescript";
+export declare function localSetAliasForArrayState(state: StateCandidate): ArraySetAlias | null;
+export declare function bindingReferencesIn(owner: RuntimeFunctionLike, binding: ts.Identifier, name: string): ts.Identifier[];
+//# sourceMappingURL=array-set-aliases.d.ts.map

package/dist/src/rules/keyed-selection/array-set-aliases.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"array-set-aliases.d.ts","sourceRoot":"","sources":["../../../../src/rules/keyed-selection/array-set-aliases.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAG9D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,cAAc,GAAG,aAAa,GAAG,IAAI,CAsBtF;AAkND,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,mBAAmB,EAC1B,OAAO,EAAE,EAAE,CAAC,UAAU,EACtB,IAAI,EAAE,MAAM,GACX,EAAE,CAAC,UAAU,EAAE,CAcjB"}

package/dist/src/rules/keyed-selection/array-set-aliases.js

@@ -0,0 +1,209 @@
+import { bindingDeclarationCount, isControlledInteractionProp, isDeclarationName, isDirectJsxAttributeExpression, isNonValueIdentifier, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { expressionDependsOnBinding, uniqueVariableDeclaration, } from "../state-proofs/binding-lookup.js";
+import { findAncestorUntil, nodeWithin, visit, visitSkippingNestedRuntimeFunctions, } from "../../core/ast.js";
+import { isArrayState } from "./state-value-shapes.js";
+import { nearestRepeatedRenderCall } from "../state-proofs/jsx-subtrees.js";
+import ts from "typescript";
+export function localSetAliasForArrayState(state) {
+    if (!isArrayState(state.call) ||
+        !state.owner.body ||
+        bindingDeclarationCount(state.owner, "Set") !== 0) {
+        return null;
+    }
+    const matches = [];
+    visitSkippingNestedRuntimeFunctions(state.owner.body, (node) => {
+        if (!ts.isVariableDeclaration(node)) {
+            return;
+        }
+        const alias = setAliasFromDeclaration(node, state);
+        if (alias) {
+            matches.push(alias);
+        }
+    });
+    const match = matches.length === 1 ? matches[0] : null;
+    return match && bindingDeclarationCount(state.owner, match.declaration.name.getText()) === 1
+        ? match
+        : null;
+}
+function setAliasFromDeclaration(declaration, state) {
+    const source = constSetConstructionSource(declaration);
+    if (!source) {
+        return null;
+    }
+    if (source.text === state.valueName) {
+        return { declaration, stateSource: source };
+    }
+    const filtered = filteredSelectionDeclaration(state, source.text);
+    return filtered && filteredSelectionHasOneControlledLeaf(state, filtered, declaration)
+        ? { declaration, stateSource: filtered.stateSource }
+        : null;
+}
+function constSetConstructionSource(declaration) {
+    if (!ts.isIdentifier(declaration.name) ||
+        !declaration.initializer ||
+        !ts.isVariableDeclarationList(declaration.parent) ||
+        (declaration.parent.flags & ts.NodeFlags.Const) === 0) {
+        return null;
+    }
+    const initializer = unwrapTransparentExpression(declaration.initializer);
+    if (!ts.isNewExpression(initializer) ||
+        !ts.isIdentifier(initializer.expression) ||
+        initializer.expression.text !== "Set" ||
+        initializer.arguments?.length !== 1) {
+        return null;
+    }
+    const source = unwrapTransparentExpression(initializer.arguments[0]);
+    return ts.isIdentifier(source) ? source : null;
+}
+function filteredSelectionDeclaration(state, name) {
+    const filter = constFilterOnState(state, name);
+    if (!filter) {
+        return null;
+    }
+    const { callback, declaration, stateSource } = filter;
+    return callbackTestsForeignMembership(callback, state) ? { declaration, stateSource } : null;
+}
+function uniqueConstBinding(state, name) {
+    if (!state.owner.body) {
+        return null;
+    }
+    const declaration = uniqueVariableDeclaration(state.owner.body, name);
+    if (!declaration?.initializer ||
+        !ts.isVariableDeclarationList(declaration.parent) ||
+        (declaration.parent.flags & ts.NodeFlags.Const) === 0 ||
+        bindingDeclarationCount(state.owner, name) !== 1) {
+        return null;
+    }
+    return { declaration, initializer: declaration.initializer };
+}
+function constFilterOnState(state, name) {
+    const binding = uniqueConstBinding(state, name);
+    const filter = binding ? unwrapTransparentExpression(binding.initializer) : null;
+    if (!binding ||
+        !filter ||
+        !ts.isCallExpression(filter) ||
+        filter.arguments.length !== 1 ||
+        !ts.isPropertyAccessExpression(filter.expression) ||
+        filter.expression.name.text !== "filter") {
+        return null;
+    }
+    const stateSource = unwrapTransparentExpression(filter.expression.expression);
+    const [callback] = filter.arguments;
+    if (!callback ||
+        !ts.isIdentifier(stateSource) ||
+        stateSource.text !== state.valueName ||
+        (!ts.isArrowFunction(callback) && !ts.isFunctionExpression(callback)) ||
+        callback.parameters.length !== 1 ||
+        !ts.isIdentifier(callback.parameters[0].name)) {
+        return null;
+    }
+    return { callback, declaration: binding.declaration, stateSource };
+}
+function callbackTestsForeignMembership(callback, state) {
+    if (ts.isBlock(callback.body)) {
+        return false;
+    }
+    const membership = unwrapTransparentExpression(callback.body);
+    if (!ts.isCallExpression(membership) ||
+        membership.arguments.length !== 1 ||
+        !ts.isPropertyAccessExpression(membership.expression) ||
+        membership.expression.name.text !== "has") {
+        return false;
+    }
+    const membershipSource = unwrapTransparentExpression(membership.expression.expression);
+    return (ts.isIdentifier(membershipSource) &&
+        membershipSource.text !== state.valueName &&
+        isReadOnlyMembershipSource(state.owner, membershipSource.text) &&
+        expressionDependsOnBinding(membership.arguments[0], callback.parameters[0].name, callback));
+}
+function isReadOnlyMembershipSource(owner, name) {
+    if (!owner.body || bindingDeclarationCount(owner, name) !== 1) {
+        return false;
+    }
+    const declaration = uniqueVariableDeclaration(owner.body, name);
+    const initializer = declaration?.initializer && unwrapTransparentExpression(declaration.initializer);
+    if (!declaration ||
+        !initializer ||
+        !ts.isVariableDeclarationList(declaration.parent) ||
+        (declaration.parent.flags & ts.NodeFlags.Const) === 0 ||
+        !ts.isNewExpression(initializer) ||
+        !ts.isIdentifier(initializer.expression) ||
+        initializer.expression.text !== "Set" ||
+        initializer.arguments?.length !== 1) {
+        return false;
+    }
+    let reads = 0;
+    let safe = true;
+    visit(owner.body, (node) => {
+        if (!safe ||
+            !ts.isIdentifier(node) ||
+            node.text !== name ||
+            isDeclarationName(node) ||
+            isNonValueIdentifier(node)) {
+            return;
+        }
+        const property = ts.isPropertyAccessExpression(node.parent) && node.parent.expression === node
+            ? node.parent
+            : null;
+        if (property?.name.text === "has" &&
+            ts.isCallExpression(property.parent) &&
+            property.parent.expression === property) {
+            reads += 1;
+            return;
+        }
+        safe = false;
+    });
+    return safe && reads > 0;
+}
+function filteredSelectionHasOneControlledLeaf(state, filtered, setDeclaration) {
+    if (!state.setterName || !ts.isIdentifier(filtered.declaration.name)) {
+        return false;
+    }
+    const references = bindingReferencesIn(state.owner, filtered.declaration.name, filtered.declaration.name.getText());
+    const setReference = references.find((reference) => setDeclaration.initializer !== undefined && nodeWithin(reference, setDeclaration.initializer));
+    const leafReferences = references.filter((reference) => reference !== setReference);
+    if (!setReference || leafReferences.length !== 1) {
+        return false;
+    }
+    return leafIsControlledByStateSetter(leafReferences[0], state);
+}
+export function bindingReferencesIn(owner, binding, name) {
+    const references = [];
+    visit(owner.body, (node) => {
+        if (ts.isIdentifier(node) &&
+            node.text === name &&
+            node !== binding &&
+            !isDeclarationName(node) &&
+            !isNonValueIdentifier(node)) {
+            references.push(node);
+        }
+    });
+    return references;
+}
+function leafIsControlledByStateSetter(leafReference, state) {
+    const attribute = findAncestorUntil(leafReference, ts.isJsxAttribute, state.owner);
+    if (!attribute ||
+        attribute.name.getText() === "key" ||
+        !isDirectJsxAttributeExpression(attribute, leafReference)) {
+        return false;
+    }
+    const opening = attribute.parent.parent;
+    if ((!ts.isJsxOpeningElement(opening) && !ts.isJsxSelfClosingElement(opening)) ||
+        !/^[A-Z]/u.test(opening.tagName.getText()) ||
+        nearestRepeatedRenderCall(opening, state.owner)) {
+        return false;
+    }
+    return opening.attributes.properties.some((property) => isSetterBoundInteractionProp(property, state.setterName));
+}
+function isSetterBoundInteractionProp(property, setterName) {
+    if (!ts.isJsxAttribute(property) ||
+        !isControlledInteractionProp(property.name.getText()) ||
+        !property.initializer ||
+        !ts.isJsxExpression(property.initializer) ||
+        !property.initializer.expression) {
+        return false;
+    }
+    const expression = unwrapTransparentExpression(property.initializer.expression);
+    return ts.isIdentifier(expression) && expression.text === setterName;
+}
+//# sourceMappingURL=array-set-aliases.js.map

package/dist/src/rules/keyed-selection/array-set-aliases.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"array-set-aliases.js","sourceRoot":"","sources":["../../../../src/rules/keyed-selection/array-set-aliases.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EACvB,2BAA2B,EAC3B,iBAAiB,EACjB,8BAA8B,EAC9B,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,0BAA0B,EAC1B,yBAAyB,GAC1B,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,iBAAiB,EACjB,UAAU,EACV,KAAK,EACL,mCAAmC,GACpC,MAAM,mBAAmB,CAAC;AAI3B,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AAC5E,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,0BAA0B,CAAC,KAAqB;IAC9D,IACE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC;QACzB,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI;QACjB,uBAAuB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,EACjD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,mCAAmC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC7D,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,OAAO;QACT,CAAC;QACD,MAAM,KAAK,GAAG,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACnD,IAAI,KAAK,EAAE,CAAC;YACV,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IACxD,OAAO,KAAK,IAAI,uBAAuB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC;QAC1F,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,uBAAuB,CAC9B,WAAmC,EACnC,KAAqB;IAErB,MAAM,MAAM,GAAG,0BAA0B,CAAC,WAAW,CAAC,CAAC;IACvD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,SAAS,EAAE,CAAC;QACpC,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC;IAC9C,CAAC;IACD,MAAM,QAAQ,GAAG,4BAA4B,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;IAClE,OAAO,QAAQ,IAAI,qCAAqC,CAAC,KAAK,EAAE,QAAQ,EAAE,WAAW,CAAC;QACpF,CAAC,CAAC,EAAE,WAAW,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE;QACpD,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,0BAA0B,CAAC,WAAmC;IACrE,IACE,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC;QAClC,CAAC,WAAW,CAAC,WAAW;QACxB,CAAC,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC,MAAM,CAAC;QACjD,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EACrD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,2BAA2B,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;IACzE,IACE,CAAC,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC;QAChC,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,UAAU,CAAC;QACxC,WAAW,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK;QACrC,WAAW,CAAC,SAAS,EAAE,MAAM,KAAK,CAAC,EACnC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,2BAA2B,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;IACtE,OAAO,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;AACjD,CAAC;AAOD,SAAS,4BAA4B,CACnC,KAAqB,EACrB,IAAY;IAEZ,MAAM,MAAM,GAAG,kBAAkB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC/C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC;IACtD,OAAO,8BAA8B,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/F,CAAC;AAOD,SAAS,kBAAkB,CAAC,KAAqB,EAAE,IAAY;IAC7D,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACtB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,yBAAyB,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACtE,IACE,CAAC,WAAW,EAAE,WAAW;QACzB,CAAC,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC,MAAM,CAAC;QACjD,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;QACrD,uBAAuB,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,EAChD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,WAAW,CAAC,WAAW,EAAE,CAAC;AAC/D,CAAC;AAQD,SAAS,kBAAkB,CAAC,KAAqB,EAAE,IAAY;IAC7D,MAAM,OAAO,GAAG,kBAAkB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,2BAA2B,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACjF,IACE,CAAC,OAAO;QACR,CAAC,MAAM;QACP,CAAC,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC;QAC5B,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAC7B,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,UAAU,CAAC;QACjD,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EACxC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,2BAA2B,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IAC9E,MAAM,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC;IACpC,IACE,CAAC,QAAQ;QACT,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC;QAC7B,WAAW,CAAC,IAAI,KAAK,KAAK,CAAC,SAAS;QACpC,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QACrE,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAChC,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,EAC9C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,WAAW,EAAE,CAAC;AACrE,CAAC;AAED,SAAS,8BAA8B,CACrC,QAAkD,EAClD,KAAqB;IAErB,IAAI,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,UAAU,GAAG,2BAA2B,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC9D,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC;QAChC,UAAU,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QACjC,CAAC,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC,UAAU,CAAC;QACrD,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EACzC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,gBAAgB,GAAG,2BAA2B,CAAC,UAAU,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IACvF,OAAO,CACL,EAAE,CAAC,YAAY,CAAC,gBAAgB,CAAC;QACjC,gBAAgB,CAAC,IAAI,KAAK,KAAK,CAAC,SAAS;QACzC,0BAA0B,CAAC,KAAK,CAAC,KAAK,EAAE,gBAAgB,CAAC,IAAI,CAAC;QAC9D,0BAA0B,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,CAC7F,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CAAC,KAA0B,EAAE,IAAY;IAC1E,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,uBAAuB,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9D,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,WAAW,GAAG,yBAAyB,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAChE,MAAM,WAAW,GACf,WAAW,EAAE,WAAW,IAAI,2BAA2B,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;IACnF,IACE,CAAC,WAAW;QACZ,CAAC,WAAW;QACZ,CAAC,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC,MAAM,CAAC;QACjD,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;QACrD,CAAC,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC;QAChC,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,UAAU,CAAC;QACxC,WAAW,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK;QACrC,WAAW,CAAC,SAAS,EAAE,MAAM,KAAK,CAAC,EACnC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IACE,CAAC,IAAI;YACL,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,KAAK,IAAI;YAClB,iBAAiB,CAAC,IAAI,CAAC;YACvB,oBAAoB,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,QAAQ,GACZ,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,IAAI;YAC3E,CAAC,CAAC,IAAI,CAAC,MAAM;YACb,CAAC,CAAC,IAAI,CAAC;QACX,IACE,QAAQ,EAAE,IAAI,CAAC,IAAI,KAAK,KAAK;YAC7B,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,MAAM,CAAC;YACpC,QAAQ,CAAC,MAAM,CAAC,UAAU,KAAK,QAAQ,EACvC,CAAC;YACD,KAAK,IAAI,CAAC,CAAC;YACX,OAAO;QACT,CAAC;QACD,IAAI,GAAG,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,IAAI,KAAK,GAAG,CAAC,CAAC;AAC3B,CAAC;AAED,SAAS,qCAAqC,CAC5C,KAAqB,EACrB,QAAsC,EACtC,cAAsC;IAEtC,IAAI,CAAC,KAAK,CAAC,UAAU,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QACrE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,UAAU,GAAG,mBAAmB,CACpC,KAAK,CAAC,KAAK,EACX,QAAQ,CAAC,WAAW,CAAC,IAAI,EACzB,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,EAAE,CACpC,CAAC;IACF,MAAM,YAAY,GAAG,UAAU,CAAC,IAAI,CAClC,CAAC,SAAS,EAAE,EAAE,CACZ,cAAc,CAAC,WAAW,KAAK,SAAS,IAAI,UAAU,CAAC,SAAS,EAAE,cAAc,CAAC,WAAW,CAAC,CAChG,CAAC;IACF,MAAM,cAAc,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,KAAK,YAAY,CAAC,CAAC;IACpF,IAAI,CAAC,YAAY,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,6BAA6B,CAAC,cAAc,CAAC,CAAC,CAAE,EAAE,KAAK,CAAC,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,KAA0B,EAC1B,OAAsB,EACtB,IAAY;IAEZ,MAAM,UAAU,GAAoB,EAAE,CAAC;IACvC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IACE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACrB,IAAI,CAAC,IAAI,KAAK,IAAI;YAClB,IAAI,KAAK,OAAO;YAChB,CAAC,iBAAiB,CAAC,IAAI,CAAC;YACxB,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAC3B,CAAC;YACD,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,6BAA6B,CACpC,aAA4B,EAC5B,KAAqB;IAErB,MAAM,SAAS,GAAG,iBAAiB,CAAC,aAAa,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACnF,IACE,CAAC,SAAS;QACV,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,KAAK;QAClC,CAAC,8BAA8B,CAAC,SAAS,EAAE,aAAa,CAAC,EACzD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,IACE,CAAC,CAAC,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC;QAC1E,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;QAC1C,yBAAyB,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,EAC/C,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CACrD,4BAA4B,CAAC,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC,CACzD,CAAC;AACJ,CAAC;AAED,SAAS,4BAA4B,CACnC,QAA6B,EAC7B,UAAyB;IAEzB,IACE,CAAC,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC;QAC5B,CAAC,2BAA2B,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACrD,CAAC,QAAQ,CAAC,WAAW;QACrB,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,WAAW,CAAC;QACzC,CAAC,QAAQ,CAAC,WAAW,CAAC,UAAU,EAChC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,UAAU,GAAG,2BAA2B,CAAC,QAAQ,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;IAChF,OAAO,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,CAAC;AACvE,CAAC"}

package/dist/src/rules/keyed-selection/collection-summaries.d.ts

@@ -0,0 +1,7 @@
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import type { StateCandidate } from "../../analysis/model.js";
+import ts from "typescript";
+export declare function isBoundedFilteredSelectionSummary(membership: ts.CallExpression, state: StateCandidate): boolean;
+export declare function collectionMembershipSummaryCall(membership: ts.CallExpression, owner: RuntimeFunctionLike): ts.CallExpression | null;
+export declare function collectionSummaryControlsRepeatedRendering(summary: ts.Expression, owner: RuntimeFunctionLike): boolean;
+//# sourceMappingURL=collection-summaries.d.ts.map

package/dist/src/rules/keyed-selection/collection-summaries.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"collection-summaries.d.ts","sourceRoot":"","sources":["../../../../src/rules/keyed-selection/collection-summaries.ts"],"names":[],"mappings":"AAsBA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAM9D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,wBAAgB,iCAAiC,CAC/C,UAAU,EAAE,EAAE,CAAC,cAAc,EAC7B,KAAK,EAAE,cAAc,GACpB,OAAO,CAYT;AAiFD,wBAAgB,+BAA+B,CAC7C,UAAU,EAAE,EAAE,CAAC,cAAc,EAC7B,KAAK,EAAE,mBAAmB,GACzB,EAAE,CAAC,cAAc,GAAG,IAAI,CAsB1B;AAED,wBAAgB,0CAA0C,CACxD,OAAO,EAAE,EAAE,CAAC,UAAU,EACtB,KAAK,EAAE,mBAAmB,GACzB,OAAO,CAkBT"}

package/dist/src/rules/keyed-selection/collection-summaries.js

@@ -0,0 +1,191 @@
+import { bindingDeclarationCount, isNonValueIdentifier, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { findAncestorUntil, nearestNestedFunction, nodeWithin, visit, visitSkippingNestedFunctions, visitSkippingNestedRuntimeFunctions, } from "../../core/ast.js";
+import { isMembershipMountGate, membershipUsesCallbackKey } from "./rendered-list-membership.js";
+import { isSafeJsxProjectionReference, jsxElementCount, jsxElementCountIn, nearestRepeatedRenderCall, } from "../state-proofs/jsx-subtrees.js";
+import { MAX_CONSUMER_JSX_SHARE } from "./model.js";
+import { bindingReferencesIn } from "./array-set-aliases.js";
+import { commonRenderGateSubtree } from "../deferred-reveal/render-gates.js";
+import { isJsxNode } from "../state-proofs/callback-sites.js";
+import { isSafeProjectionExpression } from "../deferred-reveal/safe-projections.js";
+import { repeatedRenderHasStableItemKey } from "../state-proofs/unique-repeated-selection.js";
+import ts from "typescript";
+export function isBoundedFilteredSelectionSummary(membership, state) {
+    const alias = filteredSelectionAlias(membership, state);
+    if (!alias) {
+        return false;
+    }
+    const references = bindingReferencesIn(state.owner, alias, alias.text);
+    const gate = boundedRenderGate(references, state.owner);
+    return (gate !== null &&
+        references.length > 0 &&
+        references.every((reference) => isBoundedSummaryUse(reference, gate, state.owner)));
+}
+function filteredSelectionAlias(membership, state) {
+    const callback = nearestNestedFunction(membership, state.owner);
+    if (!callback ||
+        (!ts.isArrowFunction(callback) && !ts.isFunctionExpression(callback)) ||
+        ts.isBlock(callback.body) ||
+        unwrapTransparentExpression(callback.body) !== membership ||
+        !membershipUsesCallbackKey(membership, callback)) {
+        return null;
+    }
+    const filter = callback.parent;
+    if (!ts.isCallExpression(filter) ||
+        !filter.arguments.includes(callback) ||
+        !ts.isPropertyAccessExpression(filter.expression) ||
+        filter.expression.name.text !== "filter" ||
+        !ts.isIdentifier(unwrapTransparentExpression(filter.expression.expression))) {
+        return null;
+    }
+    const declaration = filter.parent;
+    return ts.isVariableDeclaration(declaration) &&
+        declaration.initializer === filter &&
+        ts.isIdentifier(declaration.name) &&
+        ts.isVariableDeclarationList(declaration.parent) &&
+        (declaration.parent.flags & ts.NodeFlags.Const) !== 0 &&
+        bindingDeclarationCount(state.owner, declaration.name.text) === 1
+        ? declaration.name
+        : null;
+}
+function boundedRenderGate(references, owner) {
+    const gates = new Set(references.flatMap((reference) => {
+        const gate = commonRenderGateSubtree([reference], owner);
+        return gate ? [gate] : [];
+    }));
+    const gate = gates.size === 1 ? [...gates][0] : null;
+    return gate && jsxElementCountIn(gate) / jsxElementCount(owner) <= MAX_CONSUMER_JSX_SHARE
+        ? gate
+        : null;
+}
+function isBoundedSummaryUse(reference, gate, owner) {
+    const property = ts.isPropertyAccessExpression(reference.parent) && reference.parent.expression === reference
+        ? reference.parent
+        : null;
+    if (property?.name.text === "length") {
+        return commonRenderGateSubtree([reference], owner) === gate;
+    }
+    if (property?.name.text !== "map" ||
+        !ts.isCallExpression(property.parent) ||
+        property.parent.expression !== property ||
+        !nodeWithin(reference, gate)) {
+        return false;
+    }
+    const [row] = property.parent.arguments;
+    return (row !== undefined &&
+        (ts.isArrowFunction(row) || ts.isFunctionExpression(row)) &&
+        repeatedRenderHasStableItemKey(row));
+}
+export function collectionMembershipSummaryCall(membership, owner) {
+    const callback = nearestNestedFunction(membership, owner);
+    if (!callback ||
+        (!ts.isArrowFunction(callback) && !ts.isFunctionExpression(callback)) ||
+        ts.isBlock(callback.body) ||
+        unwrapTransparentExpression(callback.body) !== membership ||
+        !membershipUsesCallbackKey(membership, callback)) {
+        return null;
+    }
+    const summary = callback.parent;
+    if (!ts.isCallExpression(summary) ||
+        !summary.arguments.includes(callback) ||
+        !ts.isPropertyAccessExpression(summary.expression) ||
+        !["every", "some"].includes(summary.expression.name.text) ||
+        !ts.isIdentifier(unwrapTransparentExpression(summary.expression.expression))) {
+        return null;
+    }
+    return summary;
+}
+export function collectionSummaryControlsRepeatedRendering(summary, owner) {
+    if (!owner.body || nearestRepeatedRenderCall(summary, owner)) {
+        return true;
+    }
+    const declaration = findAncestorUntil(summary, ts.isVariableDeclaration, owner);
+    if (!declaration ||
+        !ts.isIdentifier(declaration.name) ||
+        !declaration.initializer ||
+        !nodeWithin(summary, declaration.initializer)) {
+        return referenceControlsRepeatedRendering(summary, owner);
+    }
+    if (bindingDeclarationCount(owner, declaration.name.text) !== 1) {
+        return true;
+    }
+    const references = summaryAliasReferences(owner, declaration.name);
+    return references.some((reference) => referenceControlsRepeatedRendering(reference, owner));
+}
+function summaryAliasReferences(owner, declarationName) {
+    const references = [];
+    const name = declarationName.getText();
+    visit(owner.body, (node) => {
+        if (ts.isIdentifier(node) &&
+            node.text === name &&
+            node !== declarationName &&
+            !isNonValueIdentifier(node)) {
+            references.push(node);
+        }
+    });
+    return references;
+}
+function referenceControlsRepeatedRendering(node, owner) {
+    const repeated = nearestRepeatedRenderCall(node, owner);
+    if (repeated) {
+        const [callback] = repeated.arguments;
+        if (callback &&
+            (ts.isArrowFunction(callback) || ts.isFunctionExpression(callback)) &&
+            summaryFeedsStableRowProjection(node, callback)) {
+            return false;
+        }
+        return true;
+    }
+    for (let current = node.parent; current && current !== owner; current = current.parent) {
+        if ((ts.isBinaryExpression(current) &&
+            nodeWithin(node, current.left) &&
+            containsRepeatedRender(current.right)) ||
+            (ts.isConditionalExpression(current) &&
+                nodeWithin(node, current.condition) &&
+                (containsRepeatedRender(current.whenTrue) || containsRepeatedRender(current.whenFalse))) ||
+            (ts.isIfStatement(current) &&
+                nodeWithin(node, current.expression) &&
+                (containsRepeatedRender(current.thenStatement) ||
+                    (current.elseStatement !== undefined && containsRepeatedRender(current.elseStatement))))) {
+            return true;
+        }
+    }
+    return false;
+}
+function summaryFeedsStableRowProjection(summaryReference, callback) {
+    const declaration = findAncestorUntil(summaryReference, ts.isVariableDeclaration, callback);
+    if (!declaration?.initializer ||
+        !ts.isIdentifier(declaration.name) ||
+        !nodeWithin(summaryReference, declaration.initializer) ||
+        !isSafeProjectionExpression({
+            expression: declaration.initializer,
+            reference: summaryReference,
+        })) {
+        return false;
+    }
+    const projectionName = declaration.name.text;
+    const references = [];
+    visitSkippingNestedFunctions(callback.body, callback, (node) => {
+        if (ts.isIdentifier(node) &&
+            node.text === projectionName &&
+            node !== declaration.name &&
+            !isNonValueIdentifier(node)) {
+            references.push(node);
+        }
+    });
+    return (references.length > 0 &&
+        references.every((reference) => !isMembershipMountGate(reference, callback) &&
+            findAncestorUntil(reference, isJsxNode, callback) !== null &&
+            isSafeJsxProjectionReference(reference, callback, new Set(["cn"]))));
+}
+function containsRepeatedRender(root) {
+    let found = false;
+    visitSkippingNestedRuntimeFunctions(root, (node) => {
+        if (ts.isCallExpression(node) &&
+            ts.isPropertyAccessExpression(node.expression) &&
+            ["map", "flatMap"].includes(node.expression.name.text)) {
+            found = true;
+        }
+    });
+    return found;
+}
+//# sourceMappingURL=collection-summaries.js.map