legend-doctor 0.1.0

package/dist/src/rules/keyed-selection/keyed-records.js

@@ -0,0 +1,120 @@
+import { accessPathsEqual, renderedRecordEntry } from "./rendered-record-entries.js";
+import { LIST_SIZED_OWNER_JSX_ELEMENTS } from "./model.js";
+import { exactRecordEntryUpdaterKey } from "./record-updater-keys.js";
+import { jsxElementCount } from "../state-proofs/jsx-subtrees.js";
+import { primitiveScalarType } from "./state-value-shapes.js";
+import { stateMayHoldCallable } from "../state-proofs/state-proofs.js";
+import ts from "typescript";
+import { unwrapTransparentExpression } from "../../core/analysis-ast.js";
+import { visit } from "../../core/ast.js";
+import { writtenRecordEntry } from "./written-record-entries.js";
+const RECORD_TYPE_ARGUMENT_COUNT = 2;
+export function isKeyedLeafRecordState(state, usage, childContracts) {
+    if (!usage ||
+        !state.setterName ||
+        !state.owner.body ||
+        !isEmptyPrimitiveRecordState(state) ||
+        jsxElementCount(state.owner) < LIST_SIZED_OWNER_JSX_ELEMENTS ||
+        usage.directRenderNodes.length === 0 ||
+        usage.localRenderReads !== usage.directRenderNodes.length ||
+        usage.effectReads > 0 ||
+        usage.effectWrites > 0 ||
+        usage.deferredReads > 0 ||
+        usage.transportedOccurrences > 0 ||
+        usage.setterCalls === 0 ||
+        usage.setterReferences !== usage.setterCalls ||
+        usage.shadowed ||
+        usage.escaped) {
+        return false;
+    }
+    const rendered = renderedRecordEntry(state, usage.directRenderNodes);
+    if (!rendered) {
+        return false;
+    }
+    return usage.setterCallNodes.every((call) => {
+        const key = exactRecordEntryUpdaterKey(call);
+        const written = key && writtenRecordEntry({ call, childContracts, key, state });
+        return (written !== null &&
+            written.repeated === rendered.repeated &&
+            accessPathsEqual(written.path, rendered.path));
+    });
+}
+function isEmptyPrimitiveRecordState(state) {
+    const [initial] = state.call.arguments;
+    const initialValue = initial && unwrapTransparentExpression(initial);
+    const type = state.call.typeArguments?.[0];
+    if (!initialValue ||
+        !ts.isObjectLiteralExpression(initialValue) ||
+        initialValue.properties.length > 0 ||
+        !type ||
+        !ts.isTypeReferenceNode(type) ||
+        !ts.isIdentifier(type.typeName) ||
+        type.typeName.text !== "Record" ||
+        type.typeArguments?.length !== RECORD_TYPE_ARGUMENT_COUNT ||
+        sourceDeclaresTypeName(state.call.getSourceFile(), "Record") ||
+        !recordKeyTypeIsSupported(type.typeArguments[0]) ||
+        !primitiveRecordValueType(type.typeArguments[1], state.call.getSourceFile(), new Set())) {
+        return false;
+    }
+    return !stateMayHoldCallable(state);
+}
+function sourceDeclaresTypeName(sourceFile, name) {
+    let declared = false;
+    visit(sourceFile, (node) => {
+        if (declared) {
+            return;
+        }
+        if (((ts.isTypeAliasDeclaration(node) ||
+            ts.isInterfaceDeclaration(node) ||
+            ts.isClassDeclaration(node) ||
+            ts.isEnumDeclaration(node)) &&
+            node.name?.text === name) ||
+            (ts.isTypeParameterDeclaration(node) && node.name.text === name) ||
+            (ts.isImportSpecifier(node) && node.name.text === name) ||
+            (ts.isImportClause(node) && node.name?.text === name) ||
+            (ts.isNamespaceImport(node) && node.name.text === name)) {
+            declared = true;
+        }
+    });
+    return declared;
+}
+function recordKeyTypeIsSupported(type) {
+    if (ts.isParenthesizedTypeNode(type) || ts.isTypeOperatorNode(type)) {
+        return recordKeyTypeIsSupported(type.type);
+    }
+    if (ts.isUnionTypeNode(type)) {
+        return type.types.every(recordKeyTypeIsSupported);
+    }
+    if (ts.isLiteralTypeNode(type)) {
+        return ts.isStringLiteralLike(type.literal) || ts.isNumericLiteral(type.literal);
+    }
+    return type.kind === ts.SyntaxKind.StringKeyword || type.kind === ts.SyntaxKind.NumberKeyword;
+}
+function primitiveRecordValueType(type, sourceFile, seen) {
+    if (primitiveScalarType(type)) {
+        return true;
+    }
+    if (!ts.isTypeReferenceNode(type) ||
+        !ts.isIdentifier(type.typeName) ||
+        type.typeArguments?.length) {
+        return false;
+    }
+    const name = type.typeName.text;
+    if (seen.has(name)) {
+        return false;
+    }
+    const alias = soleTypeAlias(sourceFile, name);
+    return (alias !== null &&
+        !alias.typeParameters?.length &&
+        primitiveRecordValueType(alias.type, sourceFile, new Set(seen).add(name)));
+}
+function soleTypeAlias(sourceFile, name) {
+    const aliases = [];
+    visit(sourceFile, (node) => {
+        if (ts.isTypeAliasDeclaration(node) && node.name.text === name) {
+            aliases.push(node);
+        }
+    });
+    return aliases.length === 1 ? aliases[0] : null;
+}
+//# sourceMappingURL=keyed-records.js.map

package/dist/src/rules/keyed-selection/keyed-records.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"keyed-records.js","sourceRoot":"","sources":["../../../../src/rules/keyed-selection/keyed-records.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAErF,OAAO,EAAE,6BAA6B,EAAE,MAAM,YAAY,CAAC;AAC3D,OAAO,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAC;AACvE,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AACzE,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AAEjE,MAAM,0BAA0B,GAAG,CAAC,CAAC;AAErC,MAAM,UAAU,sBAAsB,CACpC,KAAqB,EACrB,KAA6B,EAC7B,cAA4C;IAE5C,IACE,CAAC,KAAK;QACN,CAAC,KAAK,CAAC,UAAU;QACjB,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI;QACjB,CAAC,2BAA2B,CAAC,KAAK,CAAC;QACnC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,6BAA6B;QAC5D,KAAK,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC;QACpC,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,iBAAiB,CAAC,MAAM;QACzD,KAAK,CAAC,WAAW,GAAG,CAAC;QACrB,KAAK,CAAC,YAAY,GAAG,CAAC;QACtB,KAAK,CAAC,aAAa,GAAG,CAAC;QACvB,KAAK,CAAC,sBAAsB,GAAG,CAAC;QAChC,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,WAAW;QAC5C,KAAK,CAAC,QAAQ;QACd,KAAK,CAAC,OAAO,EACb,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,iBAAiB,CAAC,CAAC;IACrE,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE;QAC1C,MAAM,GAAG,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,OAAO,GAAG,GAAG,IAAI,kBAAkB,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;QAChF,OAAO,CACL,OAAO,KAAK,IAAI;YAChB,OAAO,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ;YACtC,gBAAgB,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,CAC9C,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,2BAA2B,CAAC,KAAqB;IACxD,MAAM,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC;IACvC,MAAM,YAAY,GAAG,OAAO,IAAI,2BAA2B,CAAC,OAAO,CAAC,CAAC;IACrE,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3C,IACE,CAAC,YAAY;QACb,CAAC,EAAE,CAAC,yBAAyB,CAAC,YAAY,CAAC;QAC3C,YAAY,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;QAClC,CAAC,IAAI;QACL,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAC7B,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC;QAC/B,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;QAC/B,IAAI,CAAC,aAAa,EAAE,MAAM,KAAK,0BAA0B;QACzD,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,QAAQ,CAAC;QAC5D,CAAC,wBAAwB,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAE,CAAC;QACjD,CAAC,wBAAwB,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAE,EAAE,KAAK,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,IAAI,GAAG,EAAE,CAAC,EACxF,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC;AACtC,CAAC;AAED,SAAS,sBAAsB,CAAC,UAAyB,EAAE,IAAY;IACrE,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,KAAK,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IAAI,QAAQ,EAAE,CAAC;YACb,OAAO;QACT,CAAC;QACD,IACE,CAAC,CAAC,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;YAC/B,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;YAC/B,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAC3B,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;YAC3B,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,IAAI,CAAC;YAC3B,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC;YAChE,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC;YACvD,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,IAAI,CAAC;YACrD,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,EACvD,CAAC;YACD,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,wBAAwB,CAAC,IAAiB;IACjD,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpE,OAAO,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC;IACD,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAC;IACpD,CAAC;IACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACnF,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC;AAChG,CAAC;AAED,SAAS,wBAAwB,CAC/B,IAAiB,EACjB,UAAyB,EACzB,IAAyB;IAEzB,IAAI,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAC7B,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC;QAC/B,IAAI,CAAC,aAAa,EAAE,MAAM,EAC1B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAChC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACnB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAAG,aAAa,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAC9C,OAAO,CACL,KAAK,KAAK,IAAI;QACd,CAAC,KAAK,CAAC,cAAc,EAAE,MAAM;QAC7B,wBAAwB,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAC1E,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,UAAyB,EAAE,IAAY;IAC5D,MAAM,OAAO,GAA8B,EAAE,CAAC;IAC9C,KAAK,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC/D,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACnD,CAAC"}

package/dist/src/rules/keyed-selection/keyed-scalars.d.ts

@@ -0,0 +1,4 @@
+import type { StateCandidate, StateUsage } from "../../analysis/model.js";
+export declare function isKeyedLeafScalarState(state: StateCandidate, usage: StateUsage | undefined): boolean;
+export declare function isKeyedScalarWithSecondaryLeaf(state: StateCandidate, usage: StateUsage | undefined): boolean;
+//# sourceMappingURL=keyed-scalars.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"keyed-scalars.d.ts","sourceRoot":"","sources":["../../../../src/rules/keyed-selection/keyed-scalars.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AA0B1E,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,GAAG,SAAS,GAC5B,OAAO,CAwBT;AAED,wBAAgB,8BAA8B,CAC5C,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,GAAG,SAAS,GAC5B,OAAO,CAcT"}

package/dist/src/rules/keyed-selection/keyed-scalars.js

@@ -0,0 +1,183 @@
+import { LIST_SIZED_OWNER_JSX_ELEMENTS, MAX_CONSUMER_JSX_SHARE } from "./model.js";
+import { callbackIsEventRooted, isInsideJsxEventCallback } from "../state-proofs/event-roots.js";
+import { findAncestorUntil, nearestNestedFunction, nodeWithin } from "../../core/ast.js";
+import { hasDirectPrimitiveInitializer, hasOnlyEventCommandReads, stateMayHoldCallable, } from "../state-proofs/state-proofs.js";
+import { isHookDependencyReference, isJsxNode } from "../state-proofs/callback-sites.js";
+import { isRepeatedScalarKeyProjection, isSelectedItemLookup } from "./scalar-key-comparisons.js";
+import { isSafeJsxProjectionReference, jsxElementCount, jsxElementCountIn, lowestCommonJsxSubtree, nearestRepeatedRenderCall, } from "../state-proofs/jsx-subtrees.js";
+import { expressionDependsOnBinding } from "../state-proofs/binding-lookup.js";
+import { hasSupportedKeyedSelectionInitializer } from "./state-value-shapes.js";
+import { isPureExpression } from "../../core/analysis-ast.js";
+import { isRenderGateReference } from "../deferred-reveal/render-gates.js";
+import { mutationRegionOnlyCallsStateSetters } from "../effect-drafts/draft-mutations.js";
+import { oneHopRenderProjectionReferences } from "../state-proofs/projection-hops.js";
+import { repeatedRenderHasStableItemKey } from "../state-proofs/unique-repeated-selection.js";
+import ts from "typescript";
+export function isKeyedLeafScalarState(state, usage) {
+    return (usage !== undefined &&
+        hasDirectPrimitiveInitializer(state) &&
+        !stateMayHoldCallable(state) &&
+        jsxElementCount(state.owner) >= LIST_SIZED_OWNER_JSX_ELEMENTS &&
+        usage.directRenderNodes.length > 0 &&
+        usage.localRenderReads === usage.directRenderNodes.length &&
+        usage.effectReads === 0 &&
+        usage.effectWrites === 0 &&
+        usage.transportedOccurrences === 0 &&
+        usage.setterCalls > 0 &&
+        usage.setterReferences === usage.setterCalls &&
+        usage.setterCallNodes.every((call) => call.arguments.length === 1 &&
+            call.arguments[0] !== undefined &&
+            isPureExpression(call.arguments[0])) &&
+        (usage.deferredReads === 0 || hasOnlyEventCommandReads(state)) &&
+        !usage.shadowed &&
+        !usage.escaped &&
+        usage.directRenderNodes.every((node) => isRepeatedScalarKeyProjection(node, state)));
+}
+export function isKeyedScalarWithSecondaryLeaf(state, usage) {
+    if (!usage || !usageAllowsKeyedScalarSelection(state, usage)) {
+        return false;
+    }
+    const producer = repeatedScalarSelectionProducer(state, usage);
+    const secondaryNodes = producer && secondaryRenderNodes(usage.directRenderNodes, state, producer);
+    const secondaryReferences = secondaryNodes && secondaryLeafReferences(state, secondaryNodes);
+    const renderReferences = secondaryReferences && secondaryRenderReferences(secondaryReferences, state);
+    return (producer !== null &&
+        renderReferences !== null &&
+        consumerIsBoundedSibling(producer, renderReferences, state));
+}
+function usageAllowsKeyedScalarSelection(state, usage) {
+    return (hasSupportedKeyedSelectionInitializer(state) &&
+        !stateMayHoldCallable(state) &&
+        jsxElementCount(state.owner) >= LIST_SIZED_OWNER_JSX_ELEMENTS &&
+        usage.directRenderNodes.length > 0 &&
+        usage.localRenderReads === usage.directRenderNodes.length &&
+        usage.effectReads === 0 &&
+        usage.effectWrites === 0 &&
+        usage.transportedOccurrences === 0 &&
+        usage.setterCalls > 0 &&
+        usage.setterReferences === usage.setterCalls &&
+        usage.setterCallNodes.every((call) => call.arguments.length === 1 &&
+            call.arguments[0] !== undefined &&
+            isPureExpression(call.arguments[0])) &&
+        !usage.shadowed &&
+        !usage.escaped &&
+        hasOnlyEventCommandReads(state, new Set(usage.directRenderNodes)));
+}
+function secondaryRenderNodes(directRenderNodes, state, producer) {
+    const secondaryNodes = [];
+    for (const node of directRenderNodes) {
+        if (!isRepeatedScalarKeyProjection(node, state)) {
+            secondaryNodes.push(node);
+        }
+        else if (nearestRepeatedRenderCall(node, state.owner) !== producer) {
+            return null;
+        }
+    }
+    return secondaryNodes;
+}
+function secondaryLeafReferences(state, secondaryNodes) {
+    return oneHopRenderProjectionReferences(state.owner, secondaryNodes, ({ expression, reference }) => isPureExpression(expression) ||
+        (ts.isIdentifier(reference) && isSelectedItemLookup(expression, reference)));
+}
+function secondaryRenderReferences(references, state) {
+    const renderReferences = [];
+    for (const reference of references) {
+        const kind = classifySecondaryReference(reference, state);
+        if (kind === "unsafe") {
+            return null;
+        }
+        if (kind === "render") {
+            renderReferences.push(reference);
+        }
+    }
+    return renderReferences;
+}
+function classifySecondaryReference(reference, state) {
+    const callback = nearestNestedFunction(reference, state.owner);
+    if (callback) {
+        return (ts.isArrowFunction(callback) ||
+            ts.isFunctionDeclaration(callback) ||
+            ts.isFunctionExpression(callback)) &&
+            callbackIsEventRooted({
+                callback,
+                owner: state.owner,
+                dependencyName: reference.text,
+                seen: new Set(),
+            })
+            ? "deferred"
+            : "unsafe";
+    }
+    if (findAncestorUntil(reference, isJsxNode, state.owner)) {
+        return isSafeSecondaryRenderReference(reference, state) ? "render" : "unsafe";
+    }
+    return isDeferredHookDependency(reference, state) ? "deferred" : "unsafe";
+}
+function isSafeSecondaryRenderReference(reference, state) {
+    return (!nearestRepeatedRenderCall(reference, state.owner) &&
+        !(isRenderGateReference(reference, state.owner) &&
+            !findAncestorUntil(reference, ts.isJsxAttribute, state.owner)) &&
+        isSafeJsxProjectionReference(reference, state.owner, new Set(["cn"])));
+}
+function isDeferredHookDependency(reference, state) {
+    if (!isHookDependencyReference(reference, new Set(["useCallback"]))) {
+        return false;
+    }
+    const call = findAncestorUntil(reference, ts.isCallExpression, state.owner);
+    const candidate = call?.arguments[0];
+    return (candidate !== undefined &&
+        (ts.isArrowFunction(candidate) || ts.isFunctionExpression(candidate)) &&
+        callbackIsEventRooted({
+            callback: candidate,
+            owner: state.owner,
+            dependencyName: reference.text,
+            seen: new Set(),
+        }));
+}
+function consumerIsBoundedSibling(producer, renderReferences, state) {
+    const consumer = lowestCommonJsxSubtree(renderReferences, state.owner);
+    const producerReturn = findAncestorUntil(producer, ts.isReturnStatement, state.owner);
+    const consumerReturn = consumer
+        ? findAncestorUntil(consumer, ts.isReturnStatement, state.owner)
+        : null;
+    return (consumer !== null &&
+        jsxElementCountIn(consumer) / jsxElementCount(state.owner) <= MAX_CONSUMER_JSX_SHARE &&
+        producerReturn !== null &&
+        producerReturn === consumerReturn &&
+        !nodeWithin(producer, consumer) &&
+        !nodeWithin(consumer, producer));
+}
+function repeatedScalarSelectionProducer(state, usage) {
+    const { setterName } = state;
+    if (!setterName) {
+        return null;
+    }
+    const producers = new Set();
+    for (const call of usage.setterCallNodes) {
+        const repeated = keyedEventProducerCall(call, state, setterName);
+        if (repeated) {
+            producers.add(repeated);
+        }
+    }
+    return producers.size === 1 ? [...producers][0] : null;
+}
+function keyedEventProducerCall(call, state, setterName) {
+    const repeated = nearestRepeatedRenderCall(call, state.owner);
+    const callback = repeated?.arguments[0];
+    const event = nearestNestedFunction(call, state.owner);
+    const [argument] = call.arguments;
+    if (!repeated ||
+        !callback ||
+        (!ts.isArrowFunction(callback) && !ts.isFunctionExpression(callback)) ||
+        !event ||
+        event === callback ||
+        (!ts.isArrowFunction(event) && !ts.isFunctionExpression(event)) ||
+        !argument ||
+        !callback.parameters.some((parameter) => expressionDependsOnBinding(argument, parameter.name, callback)) ||
+        !repeatedRenderHasStableItemKey(callback) ||
+        !isInsideJsxEventCallback(call, state.owner) ||
+        !mutationRegionOnlyCallsStateSetters(event, new Set([setterName]))) {
+        return null;
+    }
+    return repeated;
+}
+//# sourceMappingURL=keyed-scalars.js.map

package/dist/src/rules/keyed-selection/keyed-scalars.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"keyed-scalars.js","sourceRoot":"","sources":["../../../../src/rules/keyed-selection/keyed-scalars.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,6BAA6B,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAEnF,OAAO,EAAE,qBAAqB,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AACjG,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACzF,OAAO,EACL,6BAA6B,EAC7B,wBAAwB,EACxB,oBAAoB,GACrB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,yBAAyB,EAAE,SAAS,EAAE,MAAM,mCAAmC,CAAC;AACzF,OAAO,EAAE,6BAA6B,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAClG,OAAO,EACL,4BAA4B,EAC5B,eAAe,EACf,iBAAiB,EACjB,sBAAsB,EACtB,yBAAyB,GAC1B,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,0BAA0B,EAAE,MAAM,mCAAmC,CAAC;AAC/E,OAAO,EAAE,qCAAqC,EAAE,MAAM,yBAAyB,CAAC;AAChF,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,mCAAmC,EAAE,MAAM,qCAAqC,CAAC;AAC1F,OAAO,EAAE,gCAAgC,EAAE,MAAM,oCAAoC,CAAC;AACtF,OAAO,EAAE,8BAA8B,EAAE,MAAM,8CAA8C,CAAC;AAC9F,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,sBAAsB,CACpC,KAAqB,EACrB,KAA6B;IAE7B,OAAO,CACL,KAAK,KAAK,SAAS;QACnB,6BAA6B,CAAC,KAAK,CAAC;QACpC,CAAC,oBAAoB,CAAC,KAAK,CAAC;QAC5B,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,6BAA6B;QAC7D,KAAK,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC;QAClC,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,iBAAiB,CAAC,MAAM;QACzD,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,KAAK,CAAC,YAAY,KAAK,CAAC;QACxB,KAAK,CAAC,sBAAsB,KAAK,CAAC;QAClC,KAAK,CAAC,WAAW,GAAG,CAAC;QACrB,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,WAAW;QAC5C,KAAK,CAAC,eAAe,CAAC,KAAK,CACzB,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;YAC3B,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,SAAS;YAC/B,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CACtC;QACD,CAAC,KAAK,CAAC,aAAa,KAAK,CAAC,IAAI,wBAAwB,CAAC,KAAK,CAAC,CAAC;QAC9D,CAAC,KAAK,CAAC,QAAQ;QACf,CAAC,KAAK,CAAC,OAAO;QACd,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,6BAA6B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CACpF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC5C,KAAqB,EACrB,KAA6B;IAE7B,IAAI,CAAC,KAAK,IAAI,CAAC,+BAA+B,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;QAC7D,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,QAAQ,GAAG,+BAA+B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC/D,MAAM,cAAc,GAAG,QAAQ,IAAI,oBAAoB,CAAC,KAAK,CAAC,iBAAiB,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IAClG,MAAM,mBAAmB,GAAG,cAAc,IAAI,uBAAuB,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;IAC7F,MAAM,gBAAgB,GACpB,mBAAmB,IAAI,yBAAyB,CAAC,mBAAmB,EAAE,KAAK,CAAC,CAAC;IAC/E,OAAO,CACL,QAAQ,KAAK,IAAI;QACjB,gBAAgB,KAAK,IAAI;QACzB,wBAAwB,CAAC,QAAQ,EAAE,gBAAgB,EAAE,KAAK,CAAC,CAC5D,CAAC;AACJ,CAAC;AAED,SAAS,+BAA+B,CAAC,KAAqB,EAAE,KAAiB;IAC/E,OAAO,CACL,qCAAqC,CAAC,KAAK,CAAC;QAC5C,CAAC,oBAAoB,CAAC,KAAK,CAAC;QAC5B,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,6BAA6B;QAC7D,KAAK,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC;QAClC,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,iBAAiB,CAAC,MAAM;QACzD,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,KAAK,CAAC,YAAY,KAAK,CAAC;QACxB,KAAK,CAAC,sBAAsB,KAAK,CAAC;QAClC,KAAK,CAAC,WAAW,GAAG,CAAC;QACrB,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,WAAW;QAC5C,KAAK,CAAC,eAAe,CAAC,KAAK,CACzB,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;YAC3B,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,SAAS;YAC/B,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CACtC;QACD,CAAC,KAAK,CAAC,QAAQ;QACf,CAAC,KAAK,CAAC,OAAO;QACd,wBAAwB,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAClE,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC3B,iBAAqC,EACrC,KAAqB,EACrB,QAA2B;IAE3B,MAAM,cAAc,GAAc,EAAE,CAAC;IACrC,KAAK,MAAM,IAAI,IAAI,iBAAiB,EAAE,CAAC;QACrC,IAAI,CAAC,6BAA6B,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YAChD,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;aAAM,IAAI,yBAAyB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,QAAQ,EAAE,CAAC;YACrE,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,cAAc,CAAC;AACxB,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAqB,EACrB,cAAkC;IAElC,OAAO,gCAAgC,CACrC,KAAK,CAAC,KAAK,EACX,cAAc,EACd,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,EAAE,EAAE,CAC5B,gBAAgB,CAAC,UAAU,CAAC;QAC5B,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,oBAAoB,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,CAC9E,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAChC,UAAoC,EACpC,KAAqB;IAErB,MAAM,gBAAgB,GAAoB,EAAE,CAAC;IAC7C,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,0BAA0B,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QAC1D,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtB,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IACD,OAAO,gBAAgB,CAAC;AAC1B,CAAC;AAID,SAAS,0BAA0B,CACjC,SAAwB,EACxB,KAAqB;IAErB,MAAM,QAAQ,GAAG,qBAAqB,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC/D,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC;YAClC,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC;YAClC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;YAClC,qBAAqB,CAAC;gBACpB,QAAQ;gBACR,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,cAAc,EAAE,SAAS,CAAC,IAAI;gBAC9B,IAAI,EAAE,IAAI,GAAG,EAAE;aAChB,CAAC;YACF,CAAC,CAAC,UAAU;YACZ,CAAC,CAAC,QAAQ,CAAC;IACf,CAAC;IACD,IAAI,iBAAiB,CAAC,SAAS,EAAE,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACzD,OAAO,8BAA8B,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;IAChF,CAAC;IACD,OAAO,wBAAwB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC5E,CAAC;AAED,SAAS,8BAA8B,CAAC,SAAwB,EAAE,KAAqB;IACrF,OAAO,CACL,CAAC,yBAAyB,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC;QAClD,CAAC,CACC,qBAAqB,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC;YAC7C,CAAC,iBAAiB,CAAC,SAAS,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,CAC9D;QACD,4BAA4B,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CACtE,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAAC,SAAwB,EAAE,KAAqB;IAC/E,IAAI,CAAC,yBAAyB,CAAC,SAAS,EAAE,IAAI,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;QACpE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,iBAAiB,CAAC,SAAS,EAAE,EAAE,CAAC,gBAAgB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC5E,MAAM,SAAS,GAAG,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IACrC,OAAO,CACL,SAAS,KAAK,SAAS;QACvB,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAC;QACrE,qBAAqB,CAAC;YACpB,QAAQ,EAAE,SAAS;YACnB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,cAAc,EAAE,SAAS,CAAC,IAAI;YAC9B,IAAI,EAAE,IAAI,GAAG,EAAE;SAChB,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,QAA2B,EAC3B,gBAA0C,EAC1C,KAAqB;IAErB,MAAM,QAAQ,GAAG,sBAAsB,CAAC,gBAAgB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACvE,MAAM,cAAc,GAAG,iBAAiB,CAAC,QAAQ,EAAE,EAAE,CAAC,iBAAiB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACtF,MAAM,cAAc,GAAG,QAAQ;QAC7B,CAAC,CAAC,iBAAiB,CAAC,QAAQ,EAAE,EAAE,CAAC,iBAAiB,EAAE,KAAK,CAAC,KAAK,CAAC;QAChE,CAAC,CAAC,IAAI,CAAC;IACT,OAAO,CACL,QAAQ,KAAK,IAAI;QACjB,iBAAiB,CAAC,QAAQ,CAAC,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,sBAAsB;QACpF,cAAc,KAAK,IAAI;QACvB,cAAc,KAAK,cAAc;QACjC,CAAC,UAAU,CAAC,QAAQ,EAAE,QAAQ,CAAC;QAC/B,CAAC,UAAU,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAChC,CAAC;AACJ,CAAC;AAED,SAAS,+BAA+B,CACtC,KAAqB,EACrB,KAAiB;IAEjB,MAAM,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IAC7B,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC/C,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,eAAe,EAAE,CAAC;QACzC,MAAM,QAAQ,GAAG,sBAAsB,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;QACjE,IAAI,QAAQ,EAAE,CAAC;YACb,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1D,CAAC;AAED,SAAS,sBAAsB,CAC7B,IAAuB,EACvB,KAAqB,EACrB,UAAkB;IAElB,MAAM,QAAQ,GAAG,yBAAyB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAG,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACvD,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;IAClC,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,KAAK;QACN,KAAK,KAAK,QAAQ;QAClB,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC;QAC/D,CAAC,QAAQ;QACT,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CACtC,0BAA0B,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAC/D;QACD,CAAC,8BAA8B,CAAC,QAAQ,CAAC;QACzC,CAAC,wBAAwB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC;QAC5C,CAAC,mCAAmC,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAClE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

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

@@ -0,0 +1,20 @@
+import type { StateCandidate, StateUsage } from "../../analysis/model.js";
+import type { ChildContractResolver } from "../child-contract/model.js";
+import type { HookImports } from "../../core/imports.js";
+export interface KeyedSelectionAnalysis {
+    collectionStates: ReadonlySet<StateCandidate>;
+    recordStates: ReadonlySet<StateCandidate>;
+    scalarStates: ReadonlySet<StateCandidate>;
+    secondaryLeafStates: ReadonlySet<StateCandidate>;
+}
+export declare function analyzeKeyedSelections(inputs: KeyedSelectionInputs): KeyedSelectionAnalysis;
+export interface KeyedSelectionInputs {
+    childContracts: ChildContractResolver | null;
+    imports: HookImports;
+    safeCommandStates: ReadonlySet<StateCandidate>;
+    states: readonly StateCandidate[];
+    statesWithCompanionWrites: ReadonlySet<StateCandidate>;
+    usageByState: ReadonlyMap<StateCandidate, StateUsage>;
+}
+export declare function isSelectionStateName(name: string): boolean;
+//# sourceMappingURL=keyed-selection.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"keyed-selection.d.ts","sourceRoot":"","sources":["../../../../src/rules/keyed-selection/keyed-selection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAM1E,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAMzD,MAAM,WAAW,sBAAsB;IACrC,gBAAgB,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;IAC9C,YAAY,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;IAC1C,YAAY,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;IAC1C,mBAAmB,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;CAClD;AAED,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,oBAAoB,GAAG,sBAAsB,CAO3F;AAED,MAAM,WAAW,oBAAoB;IACnC,cAAc,EAAE,qBAAqB,GAAG,IAAI,CAAC;IAC7C,OAAO,EAAE,WAAW,CAAC;IACrB,iBAAiB,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;IAC/C,MAAM,EAAE,SAAS,cAAc,EAAE,CAAC;IAClC,yBAAyB,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;IACvD,YAAY,EAAE,WAAW,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;CACvD;AAyFD,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAE1D"}

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

@@ -0,0 +1,65 @@
+import { hasIndependentCollectionEventWrite, hasIndependentRepeatedEventWrite, } from "./independent-event-writes.js";
+import { isKeyedLeafScalarState, isKeyedScalarWithSecondaryLeaf } from "./keyed-scalars.js";
+import { isImperativeRenderedCollectionState } from "./imperative-collection-reads.js";
+import { isKeyedLeafCollectionState } from "./keyed-collections.js";
+import { isKeyedLeafRecordState } from "./keyed-records.js";
+export function analyzeKeyedSelections(inputs) {
+    return {
+        collectionStates: keyedCollectionStates(inputs),
+        recordStates: keyedRecordStates(inputs),
+        scalarStates: keyedLeafSelections(inputs, isKeyedLeafScalarState),
+        secondaryLeafStates: keyedLeafSelections(inputs, isKeyedScalarWithSecondaryLeaf),
+    };
+}
+function keyedCollectionStates(inputs) {
+    const { imports, safeCommandStates, states, statesWithCompanionWrites, usageByState } = inputs;
+    const settersByOwner = ownerSetterNames(states);
+    return new Set(states.filter((state) => safeCommandStates.has(state) &&
+        isKeyedCollectionSelection({
+            imports,
+            ownerSetters: settersByOwner.get(state.owner) ?? new Set(),
+            state,
+            statesWithCompanionWrites,
+            usage: usageByState.get(state),
+        })));
+}
+function keyedRecordStates(inputs) {
+    const { childContracts, states, statesWithCompanionWrites, usageByState } = inputs;
+    return new Set(states.filter((state) => !statesWithCompanionWrites.has(state) &&
+        isKeyedLeafRecordState(state, usageByState.get(state), childContracts)));
+}
+function keyedLeafSelections(inputs, isKeyedLeaf) {
+    const { safeCommandStates, states, statesWithCompanionWrites, usageByState } = inputs;
+    return new Set(states.filter((state) => {
+        const usage = usageByState.get(state);
+        return (safeCommandStates.has(state) &&
+            writesIndependentlyOfCompanions(state, usage, statesWithCompanionWrites) &&
+            isKeyedLeaf(state, usage));
+    }));
+}
+function ownerSetterNames(states) {
+    const settersByOwner = new Map();
+    for (const state of states) {
+        if (!state.setterName) {
+            continue;
+        }
+        const setters = settersByOwner.get(state.owner) ?? new Set();
+        setters.add(state.setterName);
+        settersByOwner.set(state.owner, setters);
+    }
+    return settersByOwner;
+}
+function isKeyedCollectionSelection(check) {
+    const { imports, ownerSetters, state, statesWithCompanionWrites, usage } = check;
+    return ((hasIndependentCollectionEventWrite(state, usage, ownerSetters) &&
+        isKeyedLeafCollectionState(state, usage)) ||
+        (!statesWithCompanionWrites.has(state) &&
+            isImperativeRenderedCollectionState(state, usage, imports)));
+}
+function writesIndependentlyOfCompanions(state, usage, statesWithCompanionWrites) {
+    return !statesWithCompanionWrites.has(state) || hasIndependentRepeatedEventWrite(state, usage);
+}
+export function isSelectionStateName(name) {
+    return /(?:selected|selection|added|checked)/iu.test(name);
+}
+//# sourceMappingURL=keyed-selection.js.map

package/dist/src/rules/keyed-selection/keyed-selection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"keyed-selection.js","sourceRoot":"","sources":["../../../../src/rules/keyed-selection/keyed-selection.ts"],"names":[],"mappings":"AACA,OAAO,EACL,kCAAkC,EAClC,gCAAgC,GACjC,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,sBAAsB,EAAE,8BAA8B,EAAE,MAAM,oBAAoB,CAAC;AAI5F,OAAO,EAAE,mCAAmC,EAAE,MAAM,kCAAkC,CAAC;AACvF,OAAO,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAC;AACpE,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAC;AAS5D,MAAM,UAAU,sBAAsB,CAAC,MAA4B;IACjE,OAAO;QACL,gBAAgB,EAAE,qBAAqB,CAAC,MAAM,CAAC;QAC/C,YAAY,EAAE,iBAAiB,CAAC,MAAM,CAAC;QACvC,YAAY,EAAE,mBAAmB,CAAC,MAAM,EAAE,sBAAsB,CAAC;QACjE,mBAAmB,EAAE,mBAAmB,CAAC,MAAM,EAAE,8BAA8B,CAAC;KACjF,CAAC;AACJ,CAAC;AAWD,SAAS,qBAAqB,CAAC,MAA4B;IACzD,MAAM,EAAE,OAAO,EAAE,iBAAiB,EAAE,MAAM,EAAE,yBAAyB,EAAE,YAAY,EAAE,GAAG,MAAM,CAAC;IAC/F,MAAM,cAAc,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAChD,OAAO,IAAI,GAAG,CACZ,MAAM,CAAC,MAAM,CACX,CAAC,KAAK,EAAE,EAAE,CACR,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC;QAC5B,0BAA0B,CAAC;YACzB,OAAO;YACP,YAAY,EAAE,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG,EAAE;YAC1D,KAAK;YACL,yBAAyB;YACzB,KAAK,EAAE,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC;SAC/B,CAAC,CACL,CACF,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,MAA4B;IACrD,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,yBAAyB,EAAE,YAAY,EAAE,GAAG,MAAM,CAAC;IACnF,OAAO,IAAI,GAAG,CACZ,MAAM,CAAC,MAAM,CACX,CAAC,KAAK,EAAE,EAAE,CACR,CAAC,yBAAyB,CAAC,GAAG,CAAC,KAAK,CAAC;QACrC,sBAAsB,CAAC,KAAK,EAAE,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,cAAc,CAAC,CACzE,CACF,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,MAA4B,EAC5B,WAA8E;IAE9E,MAAM,EAAE,iBAAiB,EAAE,MAAM,EAAE,yBAAyB,EAAE,YAAY,EAAE,GAAG,MAAM,CAAC;IACtF,OAAO,IAAI,GAAG,CACZ,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE;QACtB,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtC,OAAO,CACL,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC;YAC5B,+BAA+B,CAAC,KAAK,EAAE,KAAK,EAAE,yBAAyB,CAAC;YACxE,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,CAC1B,CAAC;IACJ,CAAC,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,MAAiC;IAEjC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAoC,CAAC;IACnE,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;YACtB,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;QACrE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAC9B,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,cAAc,CAAC;AACxB,CAAC;AAUD,SAAS,0BAA0B,CAAC,KAAoC;IACtE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,yBAAyB,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACjF,OAAO,CACL,CAAC,kCAAkC,CAAC,KAAK,EAAE,KAAK,EAAE,YAAY,CAAC;QAC7D,0BAA0B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC3C,CAAC,CAAC,yBAAyB,CAAC,GAAG,CAAC,KAAK,CAAC;YACpC,mCAAmC,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAC9D,CAAC;AACJ,CAAC;AAED,SAAS,+BAA+B,CACtC,KAAqB,EACrB,KAA6B,EAC7B,yBAAsD;IAEtD,OAAO,CAAC,yBAAyB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,gCAAgC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AACjG,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,IAAY;IAC/C,OAAO,wCAAwC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC7D,CAAC"}

package/dist/src/rules/keyed-selection/model.d.ts

@@ -0,0 +1,12 @@
+import type ts from "typescript";
+export declare const LIST_SIZED_OWNER_JSX_ELEMENTS = 12;
+export declare const MAX_CONSUMER_JSX_SHARE = 0.4;
+export interface ArraySetAlias {
+    declaration: ts.VariableDeclaration;
+    stateSource: ts.Identifier;
+}
+export interface KeyedRecordEntry {
+    path: readonly string[];
+    repeated: ts.CallExpression;
+}
+//# sourceMappingURL=model.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../../../src/rules/keyed-selection/model.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,eAAO,MAAM,6BAA6B,KAAK,CAAC;AAEhD,eAAO,MAAM,sBAAsB,MAAM,CAAC;AAE1C,MAAM,WAAW,aAAa;IAC5B,WAAW,EAAE,EAAE,CAAC,mBAAmB,CAAC;IACpC,WAAW,EAAE,EAAE,CAAC,UAAU,CAAC;CAC5B;AAED,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACxB,QAAQ,EAAE,EAAE,CAAC,cAAc,CAAC;CAC7B"}

package/dist/src/rules/keyed-selection/model.js

@@ -0,0 +1,3 @@
+export const LIST_SIZED_OWNER_JSX_ELEMENTS = 12;
+export const MAX_CONSUMER_JSX_SHARE = 0.4;
+//# sourceMappingURL=model.js.map

package/dist/src/rules/keyed-selection/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../../../src/rules/keyed-selection/model.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,6BAA6B,GAAG,EAAE,CAAC;AAEhD,MAAM,CAAC,MAAM,sBAAsB,GAAG,GAAG,CAAC"}

package/dist/src/rules/keyed-selection/record-updater-keys.d.ts

@@ -0,0 +1,3 @@
+import ts from "typescript";
+export declare function exactRecordEntryUpdaterKey(call: ts.CallExpression): ts.Expression | null;
+//# sourceMappingURL=record-updater-keys.d.ts.map

package/dist/src/rules/keyed-selection/record-updater-keys.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"record-updater-keys.d.ts","sourceRoot":"","sources":["../../../../src/rules/keyed-selection/record-updater-keys.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,YAAY,CAAC;AAM5B,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,GAAG,EAAE,CAAC,UAAU,GAAG,IAAI,CASxF"}

package/dist/src/rules/keyed-selection/record-updater-keys.js

@@ -0,0 +1,88 @@
+import { isPureExpression, unwrapTransparentExpression } from "../../core/analysis-ast.js";
+import ts from "typescript";
+const RECORD_UPDATER_OBJECT_PROPERTY_COUNT = 2;
+const RECORD_UPDATER_STATEMENT_COUNT = 3;
+export function exactRecordEntryUpdaterKey(call) {
+    const updater = recordUpdaterFunction(call);
+    if (!updater) {
+        return null;
+    }
+    const { body, previous } = updater;
+    return ts.isBlock(body)
+        ? deletedRecordEntryKey(body, previous)
+        : mergedRecordEntryKey(body, previous);
+}
+function recordUpdaterFunction(call) {
+    if (call.arguments.length !== 1) {
+        return null;
+    }
+    const updater = unwrapTransparentExpression(call.arguments[0]);
+    if ((!ts.isArrowFunction(updater) && !ts.isFunctionExpression(updater)) ||
+        updater.modifiers?.some((modifier) => modifier.kind === ts.SyntaxKind.AsyncKeyword) ||
+        updater.parameters.length !== 1 ||
+        !ts.isIdentifier(updater.parameters[0].name)) {
+        return null;
+    }
+    return { body: updater.body, previous: updater.parameters[0].name.text };
+}
+function mergedRecordEntryKey(body, previous) {
+    const object = unwrapTransparentExpression(body);
+    if (!ts.isObjectLiteralExpression(object) ||
+        object.properties.length !== RECORD_UPDATER_OBJECT_PROPERTY_COUNT) {
+        return null;
+    }
+    const [spread, entry] = object.properties;
+    if (!spread ||
+        !ts.isSpreadAssignment(spread) ||
+        !isIdentifierNamed(unwrapTransparentExpression(spread.expression), previous) ||
+        !entry ||
+        !ts.isPropertyAssignment(entry) ||
+        !ts.isComputedPropertyName(entry.name) ||
+        !isPureExpression(entry.name.expression) ||
+        !isPureExpression(entry.initializer)) {
+        return null;
+    }
+    return entry.name.expression;
+}
+function deletedRecordEntryKey(body, previous) {
+    if (body.statements.length !== RECORD_UPDATER_STATEMENT_COUNT) {
+        return null;
+    }
+    const [cloneStatement, deleteStatement, returnStatement] = body.statements;
+    if (!cloneStatement ||
+        !ts.isVariableStatement(cloneStatement) ||
+        (cloneStatement.declarationList.flags & ts.NodeFlags.Const) === 0 ||
+        cloneStatement.declarationList.declarations.length !== 1 ||
+        !deleteStatement ||
+        !ts.isExpressionStatement(deleteStatement) ||
+        !ts.isDeleteExpression(deleteStatement.expression) ||
+        !returnStatement ||
+        !ts.isReturnStatement(returnStatement) ||
+        !returnStatement.expression) {
+        return null;
+    }
+    const clone = cloneStatement.declarationList.declarations[0];
+    const deleted = unwrapTransparentExpression(deleteStatement.expression.expression);
+    if (!ts.isIdentifier(clone.name) ||
+        !clonesPreviousRecord(clone, previous) ||
+        !ts.isElementAccessExpression(deleted) ||
+        !isIdentifierNamed(unwrapTransparentExpression(deleted.expression), clone.name.text) ||
+        !deleted.argumentExpression ||
+        !isPureExpression(deleted.argumentExpression) ||
+        !isIdentifierNamed(unwrapTransparentExpression(returnStatement.expression), clone.name.text)) {
+        return null;
+    }
+    return deleted.argumentExpression;
+}
+function clonesPreviousRecord(clone, previous) {
+    const cloneValue = clone.initializer && unwrapTransparentExpression(clone.initializer);
+    return (cloneValue !== undefined &&
+        ts.isObjectLiteralExpression(cloneValue) &&
+        cloneValue.properties.length === 1 &&
+        ts.isSpreadAssignment(cloneValue.properties[0]) &&
+        isIdentifierNamed(unwrapTransparentExpression(cloneValue.properties[0].expression), previous));
+}
+function isIdentifierNamed(node, name) {
+    return ts.isIdentifier(node) && node.text === name;
+}
+//# sourceMappingURL=record-updater-keys.js.map

package/dist/src/rules/keyed-selection/record-updater-keys.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"record-updater-keys.js","sourceRoot":"","sources":["../../../../src/rules/keyed-selection/record-updater-keys.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AAC3F,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,oCAAoC,GAAG,CAAC,CAAC;AAE/C,MAAM,8BAA8B,GAAG,CAAC,CAAC;AAEzC,MAAM,UAAU,0BAA0B,CAAC,IAAuB;IAChE,MAAM,OAAO,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IACnC,OAAO,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;QACrB,CAAC,CAAC,qBAAqB,CAAC,IAAI,EAAE,QAAQ,CAAC;QACvC,CAAC,CAAC,oBAAoB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;AAC3C,CAAC;AAOD,SAAS,qBAAqB,CAAC,IAAuB;IACpD,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,2BAA2B,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;IAChE,IACE,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC;QACnE,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;QACnF,OAAO,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAC/B,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,EAC7C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;AAC5E,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAmB,EAAE,QAAgB;IACjE,MAAM,MAAM,GAAG,2BAA2B,CAAC,IAAI,CAAC,CAAC;IACjD,IACE,CAAC,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;QACrC,MAAM,CAAC,UAAU,CAAC,MAAM,KAAK,oCAAoC,EACjE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC;IAC1C,IACE,CAAC,MAAM;QACP,CAAC,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;QAC9B,CAAC,iBAAiB,CAAC,2BAA2B,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC;QAC5E,CAAC,KAAK;QACN,CAAC,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC;QAC/B,CAAC,EAAE,CAAC,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC;QACtC,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC;QACxC,CAAC,gBAAgB,CAAC,KAAK,CAAC,WAAW,CAAC,EACpC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC;AAC/B,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAc,EAAE,QAAgB;IAC7D,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,8BAA8B,EAAE,CAAC;QAC9D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,CAAC,cAAc,EAAE,eAAe,EAAE,eAAe,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC;IAC3E,IACE,CAAC,cAAc;QACf,CAAC,EAAE,CAAC,mBAAmB,CAAC,cAAc,CAAC;QACvC,CAAC,cAAc,CAAC,eAAe,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;QACjE,cAAc,CAAC,eAAe,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC;QACxD,CAAC,eAAe;QAChB,CAAC,EAAE,CAAC,qBAAqB,CAAC,eAAe,CAAC;QAC1C,CAAC,EAAE,CAAC,kBAAkB,CAAC,eAAe,CAAC,UAAU,CAAC;QAClD,CAAC,eAAe;QAChB,CAAC,EAAE,CAAC,iBAAiB,CAAC,eAAe,CAAC;QACtC,CAAC,eAAe,CAAC,UAAU,EAC3B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,cAAc,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,CAAE,CAAC;IAC9D,MAAM,OAAO,GAAG,2BAA2B,CAAC,eAAe,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IACnF,IACE,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC;QAC5B,CAAC,oBAAoB,CAAC,KAAK,EAAE,QAAQ,CAAC;QACtC,CAAC,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC;QACtC,CAAC,iBAAiB,CAAC,2BAA2B,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;QACpF,CAAC,OAAO,CAAC,kBAAkB;QAC3B,CAAC,gBAAgB,CAAC,OAAO,CAAC,kBAAkB,CAAC;QAC7C,CAAC,iBAAiB,CAAC,2BAA2B,CAAC,eAAe,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAC5F,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,OAAO,CAAC,kBAAkB,CAAC;AACpC,CAAC;AAED,SAAS,oBAAoB,CAAC,KAA6B,EAAE,QAAgB;IAC3E,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,IAAI,2BAA2B,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACvF,OAAO,CACL,UAAU,KAAK,SAAS;QACxB,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;QACxC,UAAU,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAClC,EAAE,CAAC,kBAAkB,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC;QAChD,iBAAiB,CAAC,2BAA2B,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,CAC/F,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAmB,EAAE,IAAY;IAC1D,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC;AACrD,CAAC"}

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

@@ -0,0 +1,8 @@
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+export declare function isStableRenderedMembership(membership: ts.CallExpression, owner: RuntimeFunctionLike): boolean;
+export declare function membershipUsesCallbackKey(call: ts.CallExpression, callback: ts.ArrowFunction | ts.FunctionExpression): boolean;
+export declare function renderedListCallback(node: ts.Node, owner: RuntimeFunctionLike): ts.ArrowFunction | ts.FunctionExpression | null;
+export declare function membershipControlsRepeatedMount(call: ts.CallExpression, owner: RuntimeFunctionLike): boolean;
+export declare function isMembershipMountGate(node: ts.Node, callback: RuntimeFunctionLike): boolean;
+//# sourceMappingURL=rendered-list-membership.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rendered-list-membership.d.ts","sourceRoot":"","sources":["../../../../src/rules/keyed-selection/rendered-list-membership.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAI7D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,wBAAgB,0BAA0B,CACxC,UAAU,EAAE,EAAE,CAAC,cAAc,EAC7B,KAAK,EAAE,mBAAmB,GACzB,OAAO,CAaT;AAyED,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,QAAQ,EAAE,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,kBAAkB,GACjD,OAAO,CAOT;AAED,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,KAAK,EAAE,mBAAmB,GACzB,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,kBAAkB,GAAG,IAAI,CAoBjD;AAyBD,wBAAgB,+BAA+B,CAC7C,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,KAAK,EAAE,mBAAmB,GACzB,OAAO,CAaT;AAwBD,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,mBAAmB,GAAG,OAAO,CAwB3F"}