legend-doctor 0.1.0

package/dist/src/rules/keyed-selection/rendered-list-membership.js

@@ -0,0 +1,195 @@
+import { findAncestorUntil, nearestNestedFunction, nodeWithin, visit, visitSkippingNestedFunctions, visitSkippingNestedRuntimeFunctions, } from "../../core/ast.js";
+import { isDeclarationName, isNonValueIdentifier, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { expressionContainsJsx } from "../deferred-reveal/jsx-subtrees.js";
+import { expressionDependsOnBinding } from "../state-proofs/binding-lookup.js";
+import { nearestRepeatedRenderCall } from "../state-proofs/jsx-subtrees.js";
+import ts from "typescript";
+export function isStableRenderedMembership(membership, owner) {
+    const callback = renderedListCallback(membership, owner);
+    if (!callback ||
+        !membershipUsesCallbackKey(membership, callback) ||
+        membershipControlsRepeatedMount(membership, owner)) {
+        return false;
+    }
+    const callbackName = memoizedCallbackName(callback.parent);
+    const opening = callbackName ? soleRenderItemOpening(owner, callbackName) : null;
+    const extractor = opening ? keyExtractorFunction(opening) : null;
+    return extractor !== null && returnsItemPropertyPath(extractor);
+}
+function soleRenderItemOpening(owner, callbackName) {
+    const openings = new Set();
+    let callbackConfined = true;
+    visit(owner.body, (node) => {
+        if (!callbackConfined ||
+            !ts.isIdentifier(node) ||
+            node.text !== callbackName ||
+            isDeclarationName(node) ||
+            isNonValueIdentifier(node)) {
+            return;
+        }
+        const opening = renderItemAttributeOwner(node);
+        if (opening) {
+            openings.add(opening);
+        }
+        else {
+            callbackConfined = false;
+        }
+    });
+    return callbackConfined && openings.size === 1 ? [...openings][0] : null;
+}
+function renderItemAttributeOwner(node) {
+    const expression = node.parent;
+    if (!ts.isJsxExpression(expression) || expression.expression !== node) {
+        return null;
+    }
+    const attribute = expression.parent;
+    return ts.isJsxAttribute(attribute) &&
+        attribute.name.getText() === "renderItem" &&
+        ts.isJsxAttributes(attribute.parent)
+        ? attribute.parent.parent
+        : null;
+}
+function keyExtractorFunction(opening) {
+    const keyExtractor = opening.attributes.properties.find((property) => ts.isJsxAttribute(property) && property.name.getText() === "keyExtractor");
+    if (!keyExtractor || !ts.isJsxAttribute(keyExtractor)) {
+        return null;
+    }
+    const { initializer } = keyExtractor;
+    const expression = initializer && ts.isJsxExpression(initializer) ? initializer.expression : null;
+    if (!expression) {
+        return null;
+    }
+    const extractor = unwrapTransparentExpression(expression);
+    return ts.isArrowFunction(extractor) || ts.isFunctionExpression(extractor) ? extractor : null;
+}
+function returnsItemPropertyPath(extractor) {
+    const parameter = extractor.parameters[0]?.name;
+    if (!parameter || !ts.isIdentifier(parameter) || ts.isBlock(extractor.body)) {
+        return false;
+    }
+    let root = unwrapTransparentExpression(extractor.body);
+    let propertyDepth = 0;
+    while (ts.isPropertyAccessExpression(root)) {
+        propertyDepth += 1;
+        root = unwrapTransparentExpression(root.expression);
+    }
+    return propertyDepth > 0 && ts.isIdentifier(root) && root.text === parameter.text;
+}
+export function membershipUsesCallbackKey(call, callback) {
+    const [argument] = call.arguments;
+    const parameter = callback.parameters[0]?.name;
+    if (!argument || !parameter) {
+        return false;
+    }
+    return expressionDependsOnBinding(argument, parameter, callback);
+}
+export function renderedListCallback(node, owner) {
+    const callback = nearestNestedFunction(node, owner);
+    if (!callback) {
+        return null;
+    }
+    const initializer = callback.parent;
+    const declaration = ts.isCallExpression(initializer) &&
+        ts.isIdentifier(initializer.expression) &&
+        initializer.expression.text === "useCallback"
+        ? initializer.parent
+        : callback.parent;
+    if (!ts.isVariableDeclaration(declaration) || !ts.isIdentifier(declaration.name)) {
+        return null;
+    }
+    // SAFETY: Reaching this branch requires a variable declaration initialized
+    // It is initialized directly by this callback or by a useCallback call containing it.
+    return bindingIsRenderItemAttribute(owner, declaration.name.text)
+        ? callback
+        : null;
+}
+function bindingIsRenderItemAttribute(owner, bindingName) {
+    let rendered = false;
+    visit(owner.body, (current) => {
+        if (ts.isIdentifier(current) &&
+            current.text === bindingName &&
+            isListRenderAttributeReference(current)) {
+            rendered = true;
+        }
+    });
+    return rendered;
+}
+function isListRenderAttributeReference(node) {
+    const expression = node.parent;
+    if (!ts.isJsxExpression(expression) || expression.expression !== node) {
+        return false;
+    }
+    const attribute = expression.parent;
+    return ts.isJsxAttribute(attribute) && attribute.name.getText() === "renderItem";
+}
+export function membershipControlsRepeatedMount(call, owner) {
+    const repeated = nearestRepeatedRenderCall(call, owner);
+    const callback = repeated?.arguments[0] ?? renderedListCallback(call, owner);
+    if (!callback || (!ts.isArrowFunction(callback) && !ts.isFunctionExpression(callback))) {
+        return true;
+    }
+    const declaration = findAncestorUntil(call, ts.isVariableDeclaration, callback);
+    return declaration &&
+        ts.isIdentifier(declaration.name) &&
+        declaration.initializer &&
+        nodeWithin(call, declaration.initializer)
+        ? aliasedMembershipGatesMount(declaration.name, callback)
+        : isMembershipMountGate(call, callback);
+}
+function aliasedMembershipGatesMount(declarationName, callback) {
+    const aliasName = declarationName.text;
+    const references = [];
+    visitSkippingNestedFunctions(callback.body, callback, (node) => {
+        if (ts.isIdentifier(node) &&
+            node.text === aliasName &&
+            node !== declarationName &&
+            !isNonValueIdentifier(node)) {
+            references.push(node);
+        }
+    });
+    return (references.length > 0 &&
+        references.every((reference) => isMembershipMountGate(reference, callback)));
+}
+export function isMembershipMountGate(node, callback) {
+    for (let current = node.parent; current && current !== callback; current = current.parent) {
+        if ((ts.isIfStatement(current) &&
+            nodeWithin(node, current.expression) &&
+            statementContainsReturn(current.thenStatement)) ||
+            (ts.isConditionalExpression(current) &&
+                nodeWithin(node, current.condition) &&
+                !findAncestorUntil(current, ts.isJsxAttribute, callback) &&
+                (expressionIsNullish(current.whenTrue) || expressionIsNullish(current.whenFalse))) ||
+            (ts.isBinaryExpression(current) &&
+                (current.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken ||
+                    current.operatorToken.kind === ts.SyntaxKind.BarBarToken) &&
+                nodeWithin(node, current.left) &&
+                expressionContainsJsx(current.right))) {
+            return true;
+        }
+    }
+    return false;
+}
+function statementContainsReturn(statement) {
+    let found = false;
+    visitSkippingNestedRuntimeFunctions(statement, (node) => {
+        if (ts.isReturnStatement(node)) {
+            found = true;
+        }
+    });
+    return found;
+}
+function expressionIsNullish(expression) {
+    return (expression.kind === ts.SyntaxKind.NullKeyword ||
+        (ts.isIdentifier(expression) && expression.text === "undefined"));
+}
+function memoizedCallbackName(declaration) {
+    if (ts.isVariableDeclaration(declaration) && ts.isIdentifier(declaration.name)) {
+        return declaration.name.text;
+    }
+    return ts.isCallExpression(declaration) &&
+        ts.isVariableDeclaration(declaration.parent) &&
+        ts.isIdentifier(declaration.parent.name)
+        ? declaration.parent.name.text
+        : null;
+}
+//# sourceMappingURL=rendered-list-membership.js.map

package/dist/src/rules/keyed-selection/rendered-list-membership.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rendered-list-membership.js","sourceRoot":"","sources":["../../../../src/rules/keyed-selection/rendered-list-membership.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,iBAAiB,EACjB,qBAAqB,EACrB,UAAU,EACV,KAAK,EACL,4BAA4B,EAC5B,mCAAmC,GACpC,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,0BAA0B,EAAE,MAAM,mCAAmC,CAAC;AAC/E,OAAO,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AAC5E,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,0BAA0B,CACxC,UAA6B,EAC7B,KAA0B;IAE1B,MAAM,QAAQ,GAAG,oBAAoB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IACzD,IACE,CAAC,QAAQ;QACT,CAAC,yBAAyB,CAAC,UAAU,EAAE,QAAQ,CAAC;QAChD,+BAA+B,CAAC,UAAU,EAAE,KAAK,CAAC,EAClD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,YAAY,GAAG,oBAAoB,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC3D,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,qBAAqB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACjF,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACjE,OAAO,SAAS,KAAK,IAAI,IAAI,uBAAuB,CAAC,SAAS,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,qBAAqB,CAC5B,KAA0B,EAC1B,YAAoB;IAEpB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA4B,CAAC;IACrD,IAAI,gBAAgB,GAAG,IAAI,CAAC;IAC5B,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IACE,CAAC,gBAAgB;YACjB,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,KAAK,YAAY;YAC1B,iBAAiB,CAAC,IAAI,CAAC;YACvB,oBAAoB,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,OAAO,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC;QAC/C,IAAI,OAAO,EAAE,CAAC;YACZ,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACxB,CAAC;aAAM,CAAC;YACN,gBAAgB,GAAG,KAAK,CAAC;QAC3B,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,gBAAgB,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5E,CAAC;AAED,SAAS,wBAAwB,CAAC,IAAmB;IACnD,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QACtE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC;IACpC,OAAO,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC;QACjC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,YAAY;QACzC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,MAAM,CAAC;QACpC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM;QACzB,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,oBAAoB,CAC3B,OAAiC;IAEjC,MAAM,YAAY,GAAG,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CACrD,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,cAAc,CACxF,CAAC;IACF,IAAI,CAAC,YAAY,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,YAAY,CAAC,EAAE,CAAC;QACtD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,EAAE,WAAW,EAAE,GAAG,YAAY,CAAC;IACrC,MAAM,UAAU,GAAG,WAAW,IAAI,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;IAClG,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,SAAS,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IAC1D,OAAO,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;AAChG,CAAC;AAED,SAAS,uBAAuB,CAAC,SAAmD;IAClF,MAAM,SAAS,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;IAChD,IAAI,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5E,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,IAAI,GAAG,2BAA2B,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACvD,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,OAAO,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3C,aAAa,IAAI,CAAC,CAAC;QACnB,IAAI,GAAG,2BAA2B,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,aAAa,GAAG,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,CAAC;AACpF,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,IAAuB,EACvB,QAAkD;IAElD,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;IAClC,MAAM,SAAS,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;IAC/C,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,0BAA0B,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;AACnE,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,IAAa,EACb,KAA0B;IAE1B,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACpD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC;IACpC,MAAM,WAAW,GACf,EAAE,CAAC,gBAAgB,CAAC,WAAW,CAAC;QAChC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,UAAU,CAAC;QACvC,WAAW,CAAC,UAAU,CAAC,IAAI,KAAK,aAAa;QAC3C,CAAC,CAAC,WAAW,CAAC,MAAM;QACpB,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;IACtB,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QACjF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,2EAA2E;IAC3E,sFAAsF;IACtF,OAAO,4BAA4B,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;QAC/D,CAAC,CAAE,QAAqD;QACxD,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,4BAA4B,CAAC,KAA0B,EAAE,WAAmB;IACnF,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE;QAC5B,IACE,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC;YACxB,OAAO,CAAC,IAAI,KAAK,WAAW;YAC5B,8BAA8B,CAAC,OAAO,CAAC,EACvC,CAAC;YACD,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,8BAA8B,CAAC,IAAmB;IACzD,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QACtE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC;IACpC,OAAO,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,YAAY,CAAC;AACnF,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC7C,IAAuB,EACvB,KAA0B;IAE1B,MAAM,QAAQ,GAAG,yBAAyB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAG,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,oBAAoB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC7E,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QACvF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,qBAAqB,EAAE,QAAQ,CAAC,CAAC;IAChF,OAAO,WAAW;QAChB,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC;QACjC,WAAW,CAAC,WAAW;QACvB,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,WAAW,CAAC;QACzC,CAAC,CAAC,2BAA2B,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC;QACzD,CAAC,CAAC,qBAAqB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,2BAA2B,CAClC,eAA8B,EAC9B,QAAkD;IAElD,MAAM,SAAS,GAAG,eAAe,CAAC,IAAI,CAAC;IACvC,MAAM,UAAU,GAAoB,EAAE,CAAC;IACvC,4BAA4B,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE;QAC7D,IACE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACrB,IAAI,CAAC,IAAI,KAAK,SAAS;YACvB,IAAI,KAAK,eAAe;YACxB,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAC3B,CAAC;YACD,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,CACL,UAAU,CAAC,MAAM,GAAG,CAAC;QACrB,UAAU,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,qBAAqB,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAC5E,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,IAAa,EAAE,QAA6B;IAChF,KACE,IAAI,OAAO,GAAwB,IAAI,CAAC,MAAM,EAC9C,OAAO,IAAI,OAAO,KAAK,QAAQ,EAC/B,OAAO,GAAG,OAAO,CAAC,MAAM,EACxB,CAAC;QACD,IACE,CAAC,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC;YACxB,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC;YACpC,uBAAuB,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;YACjD,CAAC,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC;gBAClC,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC;gBACnC,CAAC,iBAAiB,CAAC,OAAO,EAAE,EAAE,CAAC,cAAc,EAAE,QAAQ,CAAC;gBACxD,CAAC,mBAAmB,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,mBAAmB,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;YACpF,CAAC,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC;gBAC7B,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;oBACnE,OAAO,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC;gBAC3D,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC;gBAC9B,qBAAqB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EACvC,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,uBAAuB,CAAC,SAAuB;IACtD,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,mCAAmC,CAAC,SAAS,EAAE,CAAC,IAAI,EAAE,EAAE;QACtD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,mBAAmB,CAAC,UAAyB;IACpD,OAAO,CACL,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC7C,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,IAAI,KAAK,WAAW,CAAC,CACjE,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,WAAoB;IAChD,IAAI,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/E,OAAO,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;IAC/B,CAAC;IACD,OAAO,EAAE,CAAC,gBAAgB,CAAC,WAAW,CAAC;QACrC,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,MAAM,CAAC;QAC5C,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC;QACxC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI;QAC9B,CAAC,CAAC,IAAI,CAAC;AACX,CAAC"}

package/dist/src/rules/keyed-selection/rendered-record-entries.d.ts

@@ -0,0 +1,7 @@
+import type { KeyedRecordEntry } from "./model.js";
+import type { StateCandidate } from "../../analysis/model.js";
+import ts from "typescript";
+export declare function renderedRecordEntry(state: StateCandidate, nodes: readonly ts.Node[]): KeyedRecordEntry | null;
+export declare function accessPathFromBinding(expression: ts.Expression, binding: string): readonly string[] | null;
+export declare function accessPathsEqual(left: readonly string[] | null, right: readonly string[] | null): boolean;
+//# sourceMappingURL=rendered-record-entries.d.ts.map

package/dist/src/rules/keyed-selection/rendered-record-entries.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rendered-record-entries.d.ts","sourceRoot":"","sources":["../../../../src/rules/keyed-selection/rendered-record-entries.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAEnD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAG9D,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,SAAS,EAAE,CAAC,IAAI,EAAE,GACxB,gBAAgB,GAAG,IAAI,CAazB;AAwFD,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,OAAO,EAAE,MAAM,GACd,SAAS,MAAM,EAAE,GAAG,IAAI,CAW1B;AAqBD,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,EAC9B,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,GAC9B,OAAO,CAOT"}

package/dist/src/rules/keyed-selection/rendered-record-entries.js

@@ -0,0 +1,109 @@
+import { isSafeJsxProjectionReference, nearestRepeatedRenderCall, } from "../state-proofs/jsx-subtrees.js";
+import { isMembershipMountGate } from "./rendered-list-membership.js";
+import { nearestNestedFunction } from "../../core/ast.js";
+import ts from "typescript";
+import { unwrapTransparentExpression } from "../../core/analysis-ast.js";
+export function renderedRecordEntry(state, nodes) {
+    let result = null;
+    for (const node of nodes) {
+        const entry = renderedRecordEntryForNode(node, state);
+        if (!entry ||
+            (result && (result.repeated !== entry.repeated || !accessPathsEqual(result.path, entry.path)))) {
+            return null;
+        }
+        result = entry;
+    }
+    return result;
+}
+function renderedRecordEntryForNode(node, state) {
+    if (!ts.isIdentifier(node)) {
+        return null;
+    }
+    const access = node.parent;
+    if (!ts.isElementAccessExpression(access) ||
+        access.expression !== node ||
+        !access.argumentExpression) {
+        return null;
+    }
+    const render = repeatedRecordRender(node, access, state.owner);
+    const path = render && accessPathFromBinding(access.argumentExpression, render.itemName);
+    if (!render ||
+        !path ||
+        path.length === 0 ||
+        !hasMatchingKeyedAncestor(access, render.callback, path) ||
+        isMembershipMountGate(access, render.callback) ||
+        !isSafeJsxProjectionReference(node, render.callback, new Set(["cn"]))) {
+        return null;
+    }
+    return { path, repeated: render.repeated };
+}
+function repeatedRecordRender(node, access, owner) {
+    const repeated = nearestRepeatedRenderCall(access, owner);
+    const callback = repeated?.arguments[0];
+    if (!repeated ||
+        !callback ||
+        (!ts.isArrowFunction(callback) && !ts.isFunctionExpression(callback)) ||
+        nearestNestedFunction(node, owner) !== callback ||
+        !callback.parameters[0] ||
+        !ts.isIdentifier(callback.parameters[0].name)) {
+        return null;
+    }
+    return { callback, itemName: callback.parameters[0].name.text, repeated };
+}
+function hasMatchingKeyedAncestor(node, callback, path) {
+    for (let current = node.parent; current && current !== callback; current = current.parent) {
+        const opening = jsxOpeningOf(current);
+        const expression = opening && jsxKeyExpression(opening);
+        const item = callback.parameters[0]?.name;
+        if (expression &&
+            item &&
+            ts.isIdentifier(item) &&
+            accessPathsEqual(accessPathFromBinding(expression, item.text), path)) {
+            return true;
+        }
+    }
+    return false;
+}
+function jsxKeyExpression(opening) {
+    const key = opening.attributes.properties.find((property) => ts.isJsxAttribute(property) && property.name.getText() === "key");
+    const initializer = key && ts.isJsxAttribute(key) ? key.initializer : null;
+    return initializer && ts.isJsxExpression(initializer) ? (initializer.expression ?? null) : null;
+}
+export function accessPathFromBinding(expression, binding) {
+    const value = unwrapTransparentExpression(expression);
+    if (ts.isIdentifier(value)) {
+        return value.text === binding ? [] : null;
+    }
+    const segment = accessPathSegment(value);
+    if (!segment) {
+        return null;
+    }
+    const parent = accessPathFromBinding(segment.target, binding);
+    return parent ? [...parent, segment.part] : null;
+}
+function accessPathSegment(value) {
+    if (ts.isPropertyAccessExpression(value)) {
+        return { part: `.${value.name.text}`, target: value.expression };
+    }
+    if (!ts.isElementAccessExpression(value) || !value.argumentExpression) {
+        return null;
+    }
+    const key = unwrapTransparentExpression(value.argumentExpression);
+    if (ts.isStringLiteralLike(key)) {
+        return { part: `[s:${key.text}]`, target: value.expression };
+    }
+    return ts.isNumericLiteral(key) ? { part: `[n:${key.text}]`, target: value.expression } : null;
+}
+export function accessPathsEqual(left, right) {
+    return (left !== null &&
+        right !== null &&
+        left.length === right.length &&
+        left.every((part, index) => part === right[index]));
+}
+function jsxOpeningOf(node) {
+    if (ts.isJsxElement(node)) {
+        return node.openingElement;
+    }
+    return ts.isJsxSelfClosingElement(node) ? node : null;
+}
+//# sourceMappingURL=rendered-record-entries.js.map

package/dist/src/rules/keyed-selection/rendered-record-entries.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rendered-record-entries.js","sourceRoot":"","sources":["../../../../src/rules/keyed-selection/rendered-record-entries.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,4BAA4B,EAC5B,yBAAyB,GAC1B,MAAM,iCAAiC,CAAC;AAIzC,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AAEzE,MAAM,UAAU,mBAAmB,CACjC,KAAqB,EACrB,KAAyB;IAEzB,IAAI,MAAM,GAA4B,IAAI,CAAC;IAC3C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,0BAA0B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACtD,IACE,CAAC,KAAK;YACN,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAC9F,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,GAAG,KAAK,CAAC;IACjB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,0BAA0B,CAAC,IAAa,EAAE,KAAqB;IACtE,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IACE,CAAC,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;QACrC,MAAM,CAAC,UAAU,KAAK,IAAI;QAC1B,CAAC,MAAM,CAAC,kBAAkB,EAC1B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC/D,MAAM,IAAI,GAAG,MAAM,IAAI,qBAAqB,CAAC,MAAM,CAAC,kBAAkB,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;IACzF,IACE,CAAC,MAAM;QACP,CAAC,IAAI;QACL,IAAI,CAAC,MAAM,KAAK,CAAC;QACjB,CAAC,wBAAwB,CAAC,MAAM,EAAE,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC;QACxD,qBAAqB,CAAC,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC;QAC9C,CAAC,4BAA4B,CAAC,IAAI,EAAE,MAAM,CAAC,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EACrE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC;AAC7C,CAAC;AAQD,SAAS,oBAAoB,CAC3B,IAAmB,EACnB,MAAkC,EAClC,KAA0B;IAE1B,MAAM,QAAQ,GAAG,yBAAyB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC1D,MAAM,QAAQ,GAAG,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IACxC,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,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,QAAQ;QAC/C,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QACvB,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,QAAQ,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC;AAC7E,CAAC;AAED,SAAS,wBAAwB,CAC/B,IAAa,EACb,QAAkD,EAClD,IAAuB;IAEvB,KACE,IAAI,OAAO,GAAwB,IAAI,CAAC,MAAM,EAC9C,OAAO,IAAI,OAAO,KAAK,QAAQ,EAC/B,OAAO,GAAG,OAAO,CAAC,MAAM,EACxB,CAAC;QACD,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACtC,MAAM,UAAU,GAAG,OAAO,IAAI,gBAAgB,CAAC,OAAO,CAAC,CAAC;QACxD,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;QAC1C,IACE,UAAU;YACV,IAAI;YACJ,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACrB,gBAAgB,CAAC,qBAAqB,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,EACpE,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,gBAAgB,CAAC,OAAiC;IACzD,MAAM,GAAG,GAAG,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAC5C,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,KAAK,CAC/E,CAAC;IACF,MAAM,WAAW,GAAG,GAAG,IAAI,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3E,OAAO,WAAW,IAAI,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,UAAU,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAClG,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,UAAyB,EACzB,OAAe;IAEf,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5C,CAAC;IACD,MAAM,OAAO,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,qBAAqB,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC9D,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACnD,CAAC;AAOD,SAAS,iBAAiB,CAAC,KAAoB;IAC7C,IAAI,EAAE,CAAC,0BAA0B,CAAC,KAAK,CAAC,EAAE,CAAC;QACzC,OAAO,EAAE,IAAI,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC;IACnE,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,kBAAkB,EAAE,CAAC;QACtE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,GAAG,GAAG,2BAA2B,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;IAClE,IAAI,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC;QAChC,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,CAAC,IAAI,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC;IAC/D,CAAC;IACD,OAAO,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,GAAG,CAAC,IAAI,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACjG,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,IAA8B,EAC9B,KAA+B;IAE/B,OAAO,CACL,IAAI,KAAK,IAAI;QACb,KAAK,KAAK,IAAI;QACd,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAC5B,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CACnD,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,IAAa;IACjC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC,cAAc,CAAC;IAC7B,CAAC;IACD,OAAO,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACxD,CAAC"}

package/dist/src/rules/keyed-selection/scalar-key-comparisons.d.ts

@@ -0,0 +1,5 @@
+import type { StateCandidate } from "../../analysis/model.js";
+import ts from "typescript";
+export declare function isSelectedItemLookup(initializer: ts.Expression, stateReference: ts.Identifier): boolean;
+export declare function isRepeatedScalarKeyProjection(node: ts.Node, state: StateCandidate): boolean;
+//# sourceMappingURL=scalar-key-comparisons.d.ts.map

package/dist/src/rules/keyed-selection/scalar-key-comparisons.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scalar-key-comparisons.d.ts","sourceRoot":"","sources":["../../../../src/rules/keyed-selection/scalar-key-comparisons.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAM9D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,wBAAgB,oBAAoB,CAClC,WAAW,EAAE,EAAE,CAAC,UAAU,EAC1B,cAAc,EAAE,EAAE,CAAC,UAAU,GAC5B,OAAO,CAMT;AA8DD,wBAAgB,6BAA6B,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,cAAc,GAAG,OAAO,CAsB3F"}

package/dist/src/rules/keyed-selection/scalar-key-comparisons.js

@@ -0,0 +1,126 @@
+import { bindingDeclarationCount, isNonValueIdentifier, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { findAncestorUntil, nearestNestedFunction, nodeWithin, visit } from "../../core/ast.js";
+import { isSafeJsxProjectionReference, nearestRepeatedRenderCall, } from "../state-proofs/jsx-subtrees.js";
+import { bindingReferencesIn } from "./array-set-aliases.js";
+import { expressionDependsOnBinding } from "../state-proofs/binding-lookup.js";
+import { isJsxNode } from "../state-proofs/callback-sites.js";
+import { isMembershipMountGate } from "./rendered-list-membership.js";
+import { repeatedRenderHasStableItemKey } from "../state-proofs/unique-repeated-selection.js";
+import ts from "typescript";
+export function isSelectedItemLookup(initializer, stateReference) {
+    const callback = nullCoalescedFindCallback(initializer);
+    if (!callback || !comparesStateToItem(callback, stateReference)) {
+        return false;
+    }
+    return identifierReadCount(initializer, stateReference.text) === 1;
+}
+function nullCoalescedFindCallback(initializer) {
+    let expression = unwrapTransparentExpression(initializer);
+    if (ts.isBinaryExpression(expression) &&
+        expression.operatorToken.kind === ts.SyntaxKind.QuestionQuestionToken &&
+        unwrapTransparentExpression(expression.right).kind === ts.SyntaxKind.NullKeyword) {
+        expression = unwrapTransparentExpression(expression.left);
+    }
+    if (!ts.isCallExpression(expression) ||
+        !ts.isPropertyAccessExpression(expression.expression) ||
+        expression.expression.name.text !== "find" ||
+        expression.arguments.length !== 1) {
+        return null;
+    }
+    const [callback] = expression.arguments;
+    return callback &&
+        (ts.isArrowFunction(callback) || ts.isFunctionExpression(callback)) &&
+        !ts.isBlock(callback.body) &&
+        callback.parameters.length === 1
+        ? callback
+        : null;
+}
+function comparesStateToItem(callback, stateReference) {
+    if (ts.isBlock(callback.body)) {
+        return false;
+    }
+    const comparison = unwrapTransparentExpression(callback.body);
+    if (!ts.isBinaryExpression(comparison) ||
+        comparison.operatorToken.kind !== ts.SyntaxKind.EqualsEqualsEqualsToken) {
+        return false;
+    }
+    const left = unwrapTransparentExpression(comparison.left);
+    const right = unwrapTransparentExpression(comparison.right);
+    const other = oppositeComparisonOperand(left, right, stateReference);
+    return (other !== null && expressionDependsOnBinding(other, callback.parameters[0].name, callback));
+}
+function identifierReadCount(node, name) {
+    let reads = 0;
+    visit(node, (child) => {
+        if (ts.isIdentifier(child) && child.text === name && !isNonValueIdentifier(child)) {
+            reads += 1;
+        }
+    });
+    return reads;
+}
+export function isRepeatedScalarKeyProjection(node, state) {
+    if (!ts.isIdentifier(node)) {
+        return false;
+    }
+    const repeated = nearestRepeatedRenderCall(node, state.owner);
+    const callback = repeated?.arguments[0];
+    if (!repeated ||
+        !callback ||
+        (!ts.isArrowFunction(callback) && !ts.isFunctionExpression(callback)) ||
+        nearestNestedFunction(node, state.owner) !== callback ||
+        !repeatedRenderHasStableItemKey(callback) ||
+        !scalarComparisonUsesRepeatedKey(node, callback)) {
+        return false;
+    }
+    const declaration = findAncestorUntil(node, ts.isVariableDeclaration, callback);
+    return declaration?.initializer &&
+        ts.isIdentifier(declaration.name) &&
+        nodeWithin(node, declaration.initializer)
+        ? aliasedKeyProjectionIsSafe({ callback, declaration, owner: state.owner, repeated })
+        : isSafeKeyProjectionReference(node, callback);
+}
+function isSafeKeyProjectionReference(reference, callback) {
+    return (!isMembershipMountGate(reference, callback) &&
+        findAncestorUntil(reference, isJsxNode, callback) !== null &&
+        isSafeJsxProjectionReference(reference, callback, new Set(["cn"])));
+}
+function aliasedKeyProjectionIsSafe(projection) {
+    const { callback, declaration, owner, repeated } = projection;
+    if (!ts.isIdentifier(declaration.name) ||
+        !ts.isVariableDeclarationList(declaration.parent) ||
+        (declaration.parent.flags & ts.NodeFlags.Const) === 0 ||
+        bindingDeclarationCount(callback, declaration.name.text) !== 1) {
+        return false;
+    }
+    const references = bindingReferencesIn(callback, declaration.name, declaration.name.getText());
+    return (references.length > 0 &&
+        references.every((reference) => nearestRepeatedRenderCall(reference, owner) === repeated &&
+            isSafeKeyProjectionReference(reference, callback)));
+}
+function scalarComparisonUsesRepeatedKey(node, callback) {
+    for (let current = node.parent; current && current !== callback; current = current.parent) {
+        if (!ts.isBinaryExpression(current) ||
+            ![ts.SyntaxKind.EqualsEqualsEqualsToken, ts.SyntaxKind.ExclamationEqualsEqualsToken].includes(current.operatorToken.kind)) {
+            continue;
+        }
+        const other = oppositeContainingOperand(current, node);
+        if (other &&
+            callback.parameters.some((parameter) => expressionDependsOnBinding(other, parameter.name, callback))) {
+            return true;
+        }
+    }
+    return false;
+}
+function oppositeComparisonOperand(left, right, reference) {
+    if (left === reference) {
+        return right;
+    }
+    return right === reference ? left : null;
+}
+function oppositeContainingOperand(comparison, node) {
+    if (nodeWithin(node, comparison.left)) {
+        return comparison.right;
+    }
+    return nodeWithin(node, comparison.right) ? comparison.left : null;
+}
+//# sourceMappingURL=scalar-key-comparisons.js.map

package/dist/src/rules/keyed-selection/scalar-key-comparisons.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scalar-key-comparisons.js","sourceRoot":"","sources":["../../../../src/rules/keyed-selection/scalar-key-comparisons.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EACvB,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAChG,OAAO,EACL,4BAA4B,EAC5B,yBAAyB,GAC1B,MAAM,iCAAiC,CAAC;AAGzC,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,0BAA0B,EAAE,MAAM,mCAAmC,CAAC;AAC/E,OAAO,EAAE,SAAS,EAAE,MAAM,mCAAmC,CAAC;AAC9D,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,OAAO,EAAE,8BAA8B,EAAE,MAAM,8CAA8C,CAAC;AAC9F,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,oBAAoB,CAClC,WAA0B,EAC1B,cAA6B;IAE7B,MAAM,QAAQ,GAAG,yBAAyB,CAAC,WAAW,CAAC,CAAC;IACxD,IAAI,CAAC,QAAQ,IAAI,CAAC,mBAAmB,CAAC,QAAQ,EAAE,cAAc,CAAC,EAAE,CAAC;QAChE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,mBAAmB,CAAC,WAAW,EAAE,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,yBAAyB,CAChC,WAA0B;IAE1B,IAAI,UAAU,GAAG,2BAA2B,CAAC,WAAW,CAAC,CAAC;IAC1D,IACE,EAAE,CAAC,kBAAkB,CAAC,UAAU,CAAC;QACjC,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,qBAAqB;QACrE,2BAA2B,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAChF,CAAC;QACD,UAAU,GAAG,2BAA2B,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC;IACD,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC;QAChC,CAAC,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC,UAAU,CAAC;QACrD,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QAC1C,UAAU,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EACjC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,CAAC,QAAQ,CAAC,GAAG,UAAU,CAAC,SAAS,CAAC;IACxC,OAAO,QAAQ;QACb,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QACnE,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;QAC1B,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAChC,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,mBAAmB,CAC1B,QAAkD,EAClD,cAA6B;IAE7B,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,kBAAkB,CAAC,UAAU,CAAC;QAClC,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,EACvE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,2BAA2B,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAG,yBAAyB,CAAC,IAAI,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC;IACrE,OAAO,CACL,KAAK,KAAK,IAAI,IAAI,0BAA0B,CAAC,KAAK,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,CAC5F,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAa,EAAE,IAAY;IACtD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;QACpB,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,EAAE,CAAC;YAClF,KAAK,IAAI,CAAC,CAAC;QACb,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,IAAa,EAAE,KAAqB;IAChF,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,QAAQ,GAAG,yBAAyB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAG,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IACxC,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,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,QAAQ;QACrD,CAAC,8BAA8B,CAAC,QAAQ,CAAC;QACzC,CAAC,+BAA+B,CAAC,IAAI,EAAE,QAAQ,CAAC,EAChD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,WAAW,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,qBAAqB,EAAE,QAAQ,CAAC,CAAC;IAChF,OAAO,WAAW,EAAE,WAAW;QAC7B,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC;QACjC,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,WAAW,CAAC;QACzC,CAAC,CAAC,0BAA0B,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC;QACrF,CAAC,CAAC,4BAA4B,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;AACnD,CAAC;AAED,SAAS,4BAA4B,CACnC,SAAwB,EACxB,QAAkD;IAElD,OAAO,CACL,CAAC,qBAAqB,CAAC,SAAS,EAAE,QAAQ,CAAC;QAC3C,iBAAiB,CAAC,SAAS,EAAE,SAAS,EAAE,QAAQ,CAAC,KAAK,IAAI;QAC1D,4BAA4B,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CACnE,CAAC;AACJ,CAAC;AASD,SAAS,0BAA0B,CAAC,UAAgC;IAClE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,UAAU,CAAC;IAC9D,IACE,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,KAAK,CAAC;IACf,CAAC;IACD,MAAM,UAAU,GAAG,mBAAmB,CAAC,QAAQ,EAAE,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IAC/F,OAAO,CACL,UAAU,CAAC,MAAM,GAAG,CAAC;QACrB,UAAU,CAAC,KAAK,CACd,CAAC,SAAS,EAAE,EAAE,CACZ,yBAAyB,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,QAAQ;YACxD,4BAA4B,CAAC,SAAS,EAAE,QAAQ,CAAC,CACpD,CACF,CAAC;AACJ,CAAC;AAED,SAAS,+BAA+B,CACtC,IAAmB,EACnB,QAAkD;IAElD,KACE,IAAI,OAAO,GAAwB,IAAI,CAAC,MAAM,EAC9C,OAAO,IAAI,OAAO,KAAK,QAAQ,EAC/B,OAAO,GAAG,OAAO,CAAC,MAAM,EACxB,CAAC;QACD,IACE,CAAC,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC;YAC/B,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,uBAAuB,EAAE,EAAE,CAAC,UAAU,CAAC,4BAA4B,CAAC,CAAC,QAAQ,CAC3F,OAAO,CAAC,aAAa,CAAC,IAAI,CAC3B,EACD,CAAC;YACD,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,yBAAyB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACvD,IACE,KAAK;YACL,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CACrC,0BAA0B,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAC5D,EACD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,yBAAyB,CAChC,IAAmB,EACnB,KAAoB,EACpB,SAAkB;IAElB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3C,CAAC;AAED,SAAS,yBAAyB,CAChC,UAA+B,EAC/B,IAAa;IAEb,IAAI,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,OAAO,UAAU,CAAC,KAAK,CAAC;IAC1B,CAAC;IACD,OAAO,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACrE,CAAC"}

package/dist/src/rules/keyed-selection/state-value-shapes.d.ts

@@ -0,0 +1,8 @@
+import type { StateCandidate } from "../../analysis/model.js";
+import ts from "typescript";
+export declare function isSetOrMapState(call: ts.CallExpression): boolean;
+export declare function isArrayState(call: ts.CallExpression): boolean;
+export declare function isNullableSetState(call: ts.CallExpression): boolean;
+export declare function hasSupportedKeyedSelectionInitializer(state: StateCandidate): boolean;
+export declare function primitiveScalarType(type: ts.TypeNode): boolean;
+//# sourceMappingURL=state-value-shapes.d.ts.map

package/dist/src/rules/keyed-selection/state-value-shapes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state-value-shapes.d.ts","sourceRoot":"","sources":["../../../../src/rules/keyed-selection/state-value-shapes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAE9D,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,wBAAgB,eAAe,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,GAAG,OAAO,CAgBhE;AAwBD,wBAAgB,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,GAAG,OAAO,CAY7D;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,GAAG,OAAO,CAiBnE;AAED,wBAAgB,qCAAqC,CAAC,KAAK,EAAE,cAAc,GAAG,OAAO,CASpF;AAED,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,GAAG,OAAO,CAkB9D"}

package/dist/src/rules/keyed-selection/state-value-shapes.js

@@ -0,0 +1,86 @@
+import { hasDirectPrimitiveInitializer } from "../state-proofs/state-proofs.js";
+import ts from "typescript";
+import { unwrapTransparentExpression } from "../../core/analysis-ast.js";
+export function isSetOrMapState(call) {
+    const type = call.typeArguments?.[0];
+    if (type && /^(?:Readonly)?(?:Set|Map)</u.test(type.getText())) {
+        return true;
+    }
+    const [initial] = call.arguments;
+    if (!initial) {
+        return false;
+    }
+    if (isSetOrMapConstruction(initial)) {
+        return true;
+    }
+    return ((ts.isArrowFunction(initial) || ts.isFunctionExpression(initial)) &&
+        lazyInitializerReturnsSetOrMap(initial));
+}
+function lazyInitializerReturnsSetOrMap(initial) {
+    if (!ts.isBlock(initial.body)) {
+        return isSetOrMapConstruction(initial.body);
+    }
+    return initial.body.statements.some((statement) => ts.isReturnStatement(statement) &&
+        statement.expression !== undefined &&
+        isSetOrMapConstruction(statement.expression));
+}
+function isSetOrMapConstruction(node) {
+    return (ts.isNewExpression(node) &&
+        ts.isIdentifier(node.expression) &&
+        (node.expression.text === "Set" || node.expression.text === "Map"));
+}
+export function isArrayState(call) {
+    const type = call.typeArguments?.[0];
+    if (type &&
+        (ts.isArrayTypeNode(type) ||
+            (ts.isTypeReferenceNode(type) &&
+                ["Array", "ReadonlyArray"].includes(type.typeName.getText())))) {
+        return true;
+    }
+    const [initial] = call.arguments;
+    return initial !== undefined && ts.isArrayLiteralExpression(unwrapTransparentExpression(initial));
+}
+export function isNullableSetState(call) {
+    const [initial] = call.arguments;
+    const type = call.typeArguments?.[0];
+    if (!initial ||
+        initial.kind !== ts.SyntaxKind.NullKeyword ||
+        !type ||
+        !ts.isUnionTypeNode(type)) {
+        return false;
+    }
+    const values = type.types.filter((member) => member.kind !== ts.SyntaxKind.NullKeyword);
+    return (values.length === 1 &&
+        ts.isTypeReferenceNode(values[0]) &&
+        values[0].typeName.getText() === "Set");
+}
+export function hasSupportedKeyedSelectionInitializer(state) {
+    if (hasDirectPrimitiveInitializer(state)) {
+        return true;
+    }
+    if (state.call.arguments.length > 0) {
+        return false;
+    }
+    const type = state.call.typeArguments?.[0];
+    return type !== undefined && primitiveScalarType(type);
+}
+export function primitiveScalarType(type) {
+    if (ts.isParenthesizedTypeNode(type) || ts.isTypeOperatorNode(type)) {
+        return primitiveScalarType(type.type);
+    }
+    if (ts.isUnionTypeNode(type)) {
+        return type.types.every(primitiveScalarType);
+    }
+    if (ts.isLiteralTypeNode(type)) {
+        return true;
+    }
+    return [
+        ts.SyntaxKind.StringKeyword,
+        ts.SyntaxKind.NumberKeyword,
+        ts.SyntaxKind.BooleanKeyword,
+        ts.SyntaxKind.BigIntKeyword,
+        ts.SyntaxKind.NullKeyword,
+        ts.SyntaxKind.UndefinedKeyword,
+    ].includes(type.kind);
+}
+//# sourceMappingURL=state-value-shapes.js.map

package/dist/src/rules/keyed-selection/state-value-shapes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state-value-shapes.js","sourceRoot":"","sources":["../../../../src/rules/keyed-selection/state-value-shapes.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,6BAA6B,EAAE,MAAM,iCAAiC,CAAC;AAChF,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AAEzE,MAAM,UAAU,eAAe,CAAC,IAAuB;IACrD,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;IACrC,IAAI,IAAI,IAAI,6BAA6B,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;QAC/D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;IACjC,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,sBAAsB,CAAC,OAAO,CAAC,EAAE,CAAC;QACpC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CACL,CAAC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC;QACjE,8BAA8B,CAAC,OAAO,CAAC,CACxC,CAAC;AACJ,CAAC;AAED,SAAS,8BAA8B,CACrC,OAAiD;IAEjD,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,sBAAsB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CACjC,CAAC,SAAS,EAAE,EAAE,CACZ,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC;QAC/B,SAAS,CAAC,UAAU,KAAK,SAAS;QAClC,sBAAsB,CAAC,SAAS,CAAC,UAAU,CAAC,CAC/C,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAmB;IACjD,OAAO,CACL,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QACxB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAChC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK,CAAC,CACnE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAuB;IAClD,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;IACrC,IACE,IAAI;QACJ,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;YACvB,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;gBAC3B,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAClE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;IACjC,OAAO,OAAO,KAAK,SAAS,IAAI,EAAE,CAAC,wBAAwB,CAAC,2BAA2B,CAAC,OAAO,CAAC,CAAC,CAAC;AACpG,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAuB;IACxD,MAAM,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;IACjC,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;IACrC,IACE,CAAC,OAAO;QACR,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC1C,CAAC,IAAI;QACL,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EACzB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;IACxF,OAAO,CACL,MAAM,CAAC,MAAM,KAAK,CAAC;QACnB,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;QAClC,MAAM,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,OAAO,EAAE,KAAK,KAAK,CACxC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qCAAqC,CAAC,KAAqB;IACzE,IAAI,6BAA6B,CAAC,KAAK,CAAC,EAAE,CAAC;QACzC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3C,OAAO,IAAI,KAAK,SAAS,IAAI,mBAAmB,CAAC,IAAI,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAiB;IACnD,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpE,OAAO,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC;IACD,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,EAAE,CAAC,UAAU,CAAC,aAAa;QAC3B,EAAE,CAAC,UAAU,CAAC,aAAa;QAC3B,EAAE,CAAC,UAAU,CAAC,cAAc;QAC5B,EAAE,CAAC,UAAU,CAAC,aAAa;QAC3B,EAAE,CAAC,UAAU,CAAC,WAAW;QACzB,EAAE,CAAC,UAAU,CAAC,gBAAgB;KAC/B,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACxB,CAAC"}

package/dist/src/rules/keyed-selection/written-record-entries.d.ts

@@ -0,0 +1,13 @@
+import type { ChildContractResolver } from "../child-contract/model.js";
+import type { KeyedRecordEntry } from "./model.js";
+import type { StateCandidate } from "../../analysis/model.js";
+import ts from "typescript";
+interface WrittenRecordEntryCheck {
+    call: ts.CallExpression;
+    childContracts: ChildContractResolver | null;
+    key: ts.Expression;
+    state: StateCandidate;
+}
+export declare function writtenRecordEntry(check: WrittenRecordEntryCheck): KeyedRecordEntry | null;
+export {};
+//# sourceMappingURL=written-record-entries.d.ts.map

package/dist/src/rules/keyed-selection/written-record-entries.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"written-record-entries.d.ts","sourceRoot":"","sources":["../../../../src/rules/keyed-selection/written-record-entries.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAEnD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAE9D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,UAAU,uBAAuB;IAC/B,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC;IACxB,cAAc,EAAE,qBAAqB,GAAG,IAAI,CAAC;IAC7C,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC;IACnB,KAAK,EAAE,cAAc,CAAC;CACvB;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,uBAAuB,GAAG,gBAAgB,GAAG,IAAI,CAkB1F"}