legend-doctor 0.1.0

package/dist/src/rules/hook-consumer-contract/hook-consumer-contract.js

@@ -0,0 +1,253 @@
+import { EMPTY_NODES, SMALL_OWNER_JSX_ELEMENTS } from "../../analysis/constants.js";
+import { bindingDeclarationCount, isDeclarationName, isNonValueIdentifier, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { findAncestor, findAncestorUntil, identifiersNamed, nearestNestedFunction, nodeWithin, visit, visitSkippingNestedRuntimeFunctions, } from "../../core/ast.js";
+import { isCustomHookOwner, runtimeFunctionName } from "../../analysis/ast-helpers.js";
+import { collectHookImports } from "../../core/imports.js";
+import { collectReactCommitContext } from "../react-commit-sensitivity/react-commit-sensitivity.js";
+import { collectStateUsage } from "../../analysis/state-usage.js";
+import { consumerBindingName } from "./consumer-binding.js";
+import { isInsideJsxEventCallback } from "../state-proofs/event-roots.js";
+import { isRuntimeOwner } from "../hook-keyed-cursor-contract/binding-references.js";
+import { jsxElementCount } from "../state-proofs/jsx-subtrees.js";
+import { presentationConsumerFor } from "./presentation-consumer.js";
+import ts from "typescript";
+/**
+ * Resolves how a custom hook returns one of its states: as a named property of one returned object
+ * literal, as an element of one returned array literal, or as the whole return value. Hooks with
+ * several return statements or other return shapes abstain.
+ */
+export function hookReturnMembers(state) {
+    const returned = soleReturnedExpression(state.owner);
+    if (!returned) {
+        return null;
+    }
+    const value = returnMemberFor(returned, state.valueName);
+    if (!value) {
+        return null;
+    }
+    const setter = state.setterName ? returnMemberFor(returned, state.setterName) : null;
+    return { setter, value };
+}
+/** A published state value must occur exactly once outside its declaration: in the hook return. */
+export function hookStateValueIsOnlyReturned(state) {
+    return (hookReturnMembers(state) !== null &&
+        identifiersNamed(state.owner.body, state.valueName).filter((identifier) => !isDeclarationName(identifier) &&
+            !isNonValueIdentifier(identifier) &&
+            !nodeWithin(identifier, state.call.parent)).length === 1);
+}
+function soleReturnedExpression(owner) {
+    if (!owner.body) {
+        return null;
+    }
+    if (!ts.isBlock(owner.body)) {
+        return unwrapTransparentExpression(owner.body);
+    }
+    const returns = [];
+    visitSkippingNestedRuntimeFunctions(owner.body, (node) => {
+        if (ts.isReturnStatement(node) && node.expression) {
+            returns.push(unwrapTransparentExpression(node.expression));
+        }
+    });
+    const [only] = returns;
+    return returns.length === 1 && only ? only : null;
+}
+function returnMemberFor(returned, name) {
+    if (ts.isIdentifier(returned)) {
+        return returned.text === name ? { kind: "self" } : null;
+    }
+    if (ts.isArrayLiteralExpression(returned)) {
+        return arrayReturnMember(returned, name);
+    }
+    if (!ts.isObjectLiteralExpression(returned)) {
+        return null;
+    }
+    const propertyName = returned.properties
+        .map((property) => returnedPropertyName(property, name))
+        .find((candidate) => candidate !== null);
+    return propertyName === undefined ? null : { kind: "property", name: propertyName };
+}
+function arrayReturnMember(returned, name) {
+    if (returned.elements.some((element) => ts.isSpreadElement(element))) {
+        return null;
+    }
+    const index = returned.elements.findIndex((element) => isIdentifierNamed(element, name));
+    return index === -1 ? null : { index, kind: "index" };
+}
+function returnedPropertyName(property, name) {
+    if (ts.isShorthandPropertyAssignment(property)) {
+        return property.name.text === name ? name : null;
+    }
+    if (ts.isPropertyAssignment(property) &&
+        ts.isIdentifier(property.name) &&
+        isIdentifierNamed(property.initializer, name)) {
+        return property.name.text;
+    }
+    return null;
+}
+function isIdentifierNamed(expression, name) {
+    const value = unwrapTransparentExpression(expression);
+    return ts.isIdentifier(value) && value.text === name;
+}
+/**
+ * Classifies every use of one hook binding in a file. "leaf" means the binding is called exactly
+ * once, from a small named component that keeps the returned state and setter inside its own render.
+ */
+export function hookConsumerResult({ hookBinding, members, sourceFile, }) {
+    const references = hookBindingReferences(sourceFile, hookBinding);
+    if (references === "unsafe") {
+        return "unsafe";
+    }
+    if (references.length === 0) {
+        return "none";
+    }
+    const [call] = references;
+    return references.length === 1 && call && callFeedsLeafConsumer(call, members, sourceFile)
+        ? "leaf"
+        : "unsafe";
+}
+/**
+ * Resolves one hook call whose returned value is used only by stable render sites in one broad,
+ * commit-insensitive component. The component may pass a plain snapshot through a stable child
+ * call site because the recommended wrapper owns the observable subscription above that child.
+ */
+export function hookPresentationConsumerResult({ broadOwnerJsx, hookBinding, members, pureProjectionImports, sourceFile, }) {
+    const references = hookBindingReferences(sourceFile, hookBinding);
+    if (references === "unsafe") {
+        return "unsafe";
+    }
+    if (references.length === 0) {
+        return "none";
+    }
+    const [call] = references;
+    return references.length === 1 && call
+        ? presentationConsumerFor({
+            call,
+            members,
+            scope: { broadOwnerJsx, pureProjectionImports },
+            sourceFile,
+        })
+        : "unsafe";
+}
+function hookBindingReferences(sourceFile, hookBinding) {
+    const calls = [];
+    let unsafe = false;
+    visit(sourceFile, (node) => {
+        if (!ts.isIdentifier(node) || node.text !== hookBinding || isModuleBoundaryReference(node)) {
+            return;
+        }
+        if (ts.isCallExpression(node.parent) && node.parent.expression === node) {
+            calls.push(node.parent);
+        }
+        else {
+            unsafe = true;
+        }
+    });
+    return unsafe ? "unsafe" : calls;
+}
+function isModuleBoundaryReference(node) {
+    const exportAssignment = findAncestor(node, ts.isExportAssignment);
+    return (isDeclarationName(node) ||
+        isNonValueIdentifier(node) ||
+        findAncestor(node, ts.isImportDeclaration) !== null ||
+        findAncestor(node, ts.isExportDeclaration) !== null ||
+        (exportAssignment !== null && unwrapTransparentExpression(exportAssignment.expression) === node));
+}
+function callFeedsLeafConsumer(call, members, sourceFile) {
+    const owner = findAncestor(call, isRuntimeOwner);
+    const declaration = call.parent;
+    if (!owner ||
+        !isLeafComponentOwner(owner) ||
+        !ts.isVariableDeclaration(declaration) ||
+        !ts.isVariableDeclarationList(declaration.parent) ||
+        (declaration.parent.flags & ts.NodeFlags.Const) === 0) {
+        return false;
+    }
+    const valueName = consumerBindingName(declaration.name, members.value);
+    const setterName = members.setter ? consumerBindingName(declaration.name, members.setter) : null;
+    if (valueName === null || valueName === "unsupported" || setterName === "unsupported") {
+        return false;
+    }
+    return consumerKeepsStateLocal({ call, owner, setterName, valueName }, sourceFile);
+}
+function isLeafComponentOwner(owner) {
+    const elements = jsxElementCount(owner);
+    if (elements >= SMALL_OWNER_JSX_ELEMENTS || isCustomHookOwner(owner)) {
+        return false;
+    }
+    return runtimeFunctionName(owner) !== null && elements > 0 && !rendersBeyondItself(owner);
+}
+/**
+ * A consumer that publishes through a context provider or hands owner-computed bindings to child
+ * components renders more than itself, however few JSX elements it declares.
+ */
+function rendersBeyondItself(owner) {
+    let beyond = false;
+    visit(owner.body, (node) => {
+        if (!ts.isJsxOpeningElement(node) && !ts.isJsxSelfClosingElement(node)) {
+            return;
+        }
+        if (isContextProviderTag(node.tagName) || forwardsOwnerBinding(node, owner)) {
+            beyond = true;
+        }
+    });
+    return beyond;
+}
+function isContextProviderTag(tagName) {
+    return ts.isPropertyAccessExpression(tagName) && tagName.name.text === "Provider";
+}
+function forwardsOwnerBinding(opening, owner) {
+    if (!ts.isIdentifier(opening.tagName) || /^[a-z]/u.test(opening.tagName.text)) {
+        return false;
+    }
+    return opening.attributes.properties.some((attribute) => {
+        if (ts.isJsxSpreadAttribute(attribute)) {
+            return true;
+        }
+        const expression = attribute.initializer && ts.isJsxExpression(attribute.initializer)
+            ? attribute.initializer.expression
+            : undefined;
+        const value = expression ? unwrapTransparentExpression(expression) : null;
+        return (value !== null && ts.isIdentifier(value) && bindingDeclarationCount(owner, value.text) > 0);
+    });
+}
+function consumerKeepsStateLocal(consumer, sourceFile) {
+    const imports = collectHookImports(sourceFile);
+    const { lifecycleRegions } = collectReactCommitContext(sourceFile, imports);
+    const usage = collectStateUsage(consumer, {
+        effectNodes: lifecycleRegions,
+        imports,
+        persistenceSinks: EMPTY_NODES,
+    });
+    return (!usage.escaped &&
+        !usage.shadowed &&
+        usage.transportedOccurrences === 0 &&
+        usage.jsxTargets.size === 0 &&
+        usage.setterTargets.size === 0 &&
+        !usage.unstableTransport &&
+        consumerReferences(consumer).every((reference) => staysInOwnerRender(reference, consumer.owner)));
+}
+function consumerReferences(consumer) {
+    const names = [consumer.valueName, ...(consumer.setterName ? [consumer.setterName] : [])];
+    return names
+        .flatMap((name) => identifiersNamed(consumer.owner.body, name))
+        .filter((identifier) => !isDeclarationName(identifier) && !isNonValueIdentifier(identifier));
+}
+/**
+ * A reference stays inside the consumer's own render when it is evaluated directly by the render or
+ * inside an inline JSX event handler, and any enclosing JSX attribute belongs to a host element.
+ * Render callbacks such as `renderItem` and component attributes hand the value to other renders.
+ */
+function staysInOwnerRender(reference, owner) {
+    if (nearestNestedFunction(reference, owner) && !isInsideJsxEventCallback(reference, owner)) {
+        return false;
+    }
+    const attribute = findAncestorUntil(reference, ts.isJsxAttribute, owner);
+    if (!attribute) {
+        return true;
+    }
+    const opening = attribute.parent.parent;
+    return ((ts.isJsxOpeningElement(opening) || ts.isJsxSelfClosingElement(opening)) &&
+        ts.isIdentifier(opening.tagName) &&
+        /^[a-z]/u.test(opening.tagName.text));
+}
+//# sourceMappingURL=hook-consumer-contract.js.map

package/dist/src/rules/hook-consumer-contract/hook-consumer-contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hook-consumer-contract.js","sourceRoot":"","sources":["../../../../src/rules/hook-consumer-contract/hook-consumer-contract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,wBAAwB,EAAE,MAAM,6BAA6B,CAAC;AAMpF,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EACrB,UAAU,EACV,KAAK,EACL,mCAAmC,GACpC,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AAGvF,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,yBAAyB,EAAE,MAAM,yDAAyD,CAAC;AACpG,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAC1E,OAAO,EAAE,cAAc,EAAE,MAAM,qDAAqD,CAAC;AACrF,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,EAAE,MAAM,YAAY,CAAC;AAK5B;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAqB;IACrD,MAAM,QAAQ,GAAG,sBAAsB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACrD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IACzD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACrF,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AAC3B,CAAC;AAED,mGAAmG;AACnG,MAAM,UAAU,4BAA4B,CAAC,KAAqB;IAChE,OAAO,CACL,iBAAiB,CAAC,KAAK,CAAC,KAAK,IAAI;QACjC,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,MAAM,CACxD,CAAC,UAAU,EAAE,EAAE,CACb,CAAC,iBAAiB,CAAC,UAAU,CAAC;YAC9B,CAAC,oBAAoB,CAAC,UAAU,CAAC;YACjC,CAAC,UAAU,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAC7C,CAAC,MAAM,KAAK,CAAC,CACf,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAAC,KAA0B;IACxD,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAChB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,OAAO,2BAA2B,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC;IACD,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,mCAAmC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACvD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAClD,OAAO,CAAC,IAAI,CAAC,2BAA2B,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC,CAAC,CAAC;IACH,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC;IACvB,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACpD,CAAC;AAED,SAAS,eAAe,CAAC,QAAuB,EAAE,IAAY;IAC5D,IAAI,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC9B,OAAO,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1D,CAAC;IACD,IAAI,EAAE,CAAC,wBAAwB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1C,OAAO,iBAAiB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC3C,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,YAAY,GAAG,QAAQ,CAAC,UAAU;SACrC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,oBAAoB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;SACvD,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC;IAC3C,OAAO,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;AACtF,CAAC;AAED,SAAS,iBAAiB,CACxB,QAAmC,EACnC,IAAY;IAEZ,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QACrE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;IACzF,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AACxD,CAAC;AAED,SAAS,oBAAoB,CAAC,QAAqC,EAAE,IAAY;IAC/E,IAAI,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/C,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACnD,CAAC;IACD,IACE,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;QACjC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC;QAC9B,iBAAiB,CAAC,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC,EAC7C,CAAC;QACD,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;IAC5B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,iBAAiB,CAAC,UAAyB,EAAE,IAAY;IAChE,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,OAAO,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC;AACvD,CAAC;AAaD;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,EACjC,WAAW,EACX,OAAO,EACP,UAAU,GACQ;IAClB,MAAM,UAAU,GAAG,qBAAqB,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;IAClE,IAAI,UAAU,KAAK,QAAQ,EAAE,CAAC;QAC5B,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC;IAC1B,OAAO,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,IAAI,qBAAqB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC;QACxF,CAAC,CAAC,MAAM;QACR,CAAC,CAAC,QAAQ,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,8BAA8B,CAAC,EAC7C,aAAa,EACb,WAAW,EACX,OAAO,EACP,qBAAqB,EACrB,UAAU,GACoB;IAC9B,MAAM,UAAU,GAAG,qBAAqB,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;IAClE,IAAI,UAAU,KAAK,QAAQ,EAAE,CAAC;QAC5B,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC;IAC1B,OAAO,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI;QACpC,CAAC,CAAC,uBAAuB,CAAC;YACtB,IAAI;YACJ,OAAO;YACP,KAAK,EAAE,EAAE,aAAa,EAAE,qBAAqB,EAAE;YAC/C,UAAU;SACX,CAAC;QACJ,CAAC,CAAC,QAAQ,CAAC;AACf,CAAC;AAED,SAAS,qBAAqB,CAC5B,UAAyB,EACzB,WAAmB;IAEnB,MAAM,KAAK,GAAwB,EAAE,CAAC;IACtC,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,KAAK,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3F,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;YACxE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1B,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,IAAI,CAAC;QAChB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC;AACnC,CAAC;AAED,SAAS,yBAAyB,CAAC,IAAmB;IACpD,MAAM,gBAAgB,GAAG,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC;IACnE,OAAO,CACL,iBAAiB,CAAC,IAAI,CAAC;QACvB,oBAAoB,CAAC,IAAI,CAAC;QAC1B,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,KAAK,IAAI;QACnD,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,KAAK,IAAI;QACnD,CAAC,gBAAgB,KAAK,IAAI,IAAI,2BAA2B,CAAC,gBAAgB,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC,CACjG,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAAuB,EACvB,OAA0B,EAC1B,UAAyB;IAEzB,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IACjD,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC;IAChC,IACE,CAAC,KAAK;QACN,CAAC,oBAAoB,CAAC,KAAK,CAAC;QAC5B,CAAC,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;QACtC,CAAC,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC,MAAM,CAAC;QACjD,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EACrD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,SAAS,GAAG,mBAAmB,CAAC,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IACvE,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACjG,IAAI,SAAS,KAAK,IAAI,IAAI,SAAS,KAAK,aAAa,IAAI,UAAU,KAAK,aAAa,EAAE,CAAC;QACtF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,uBAAuB,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,EAAE,UAAU,CAAC,CAAC;AACrF,CAAC;AAED,SAAS,oBAAoB,CAAC,KAA0B;IACtD,MAAM,QAAQ,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,QAAQ,IAAI,wBAAwB,IAAI,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;QACrE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,mBAAmB,CAAC,KAAK,CAAC,KAAK,IAAI,IAAI,QAAQ,GAAG,CAAC,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;AAC5F,CAAC;AAED;;;GAGG;AACH,SAAS,mBAAmB,CAAC,KAA0B;IACrD,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;YACvE,OAAO;QACT,CAAC;QACD,IAAI,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,oBAAoB,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YAC5E,MAAM,GAAG,IAAI,CAAC;QAChB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,oBAAoB,CAAC,OAAgC;IAC5D,OAAO,EAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC;AACpF,CAAC;AAED,SAAS,oBAAoB,CAC3B,OAAwD,EACxD,KAA0B;IAE1B,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9E,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE;QACtD,IAAI,EAAE,CAAC,oBAAoB,CAAC,SAAS,CAAC,EAAE,CAAC;YACvC,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,UAAU,GACd,SAAS,CAAC,WAAW,IAAI,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,WAAW,CAAC;YAChE,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,UAAU;YAClC,CAAC,CAAC,SAAS,CAAC;QAChB,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,2BAA2B,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC1E,OAAO,CACL,KAAK,KAAK,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,uBAAuB,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAC3F,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,uBAAuB,CAAC,QAAwB,EAAE,UAAyB;IAClF,MAAM,OAAO,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAC/C,MAAM,EAAE,gBAAgB,EAAE,GAAG,yBAAyB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC5E,MAAM,KAAK,GAAG,iBAAiB,CAAC,QAAQ,EAAE;QACxC,WAAW,EAAE,gBAAgB;QAC7B,OAAO;QACP,gBAAgB,EAAE,WAAW;KAC9B,CAAC,CAAC;IACH,OAAO,CACL,CAAC,KAAK,CAAC,OAAO;QACd,CAAC,KAAK,CAAC,QAAQ;QACf,KAAK,CAAC,sBAAsB,KAAK,CAAC;QAClC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC;QAC3B,KAAK,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC;QAC9B,CAAC,KAAK,CAAC,iBAAiB;QACxB,kBAAkB,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,kBAAkB,CAAC,SAAS,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CACjG,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,QAAwB;IAClD,MAAM,KAAK,GAAG,CAAC,QAAQ,CAAC,SAAS,EAAE,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1F,OAAO,KAAK;SACT,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;SAC9D,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,iBAAiB,CAAC,UAAU,CAAC,IAAI,CAAC,oBAAoB,CAAC,UAAU,CAAC,CAAC,CAAC;AACjG,CAAC;AAED;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,SAAwB,EAAE,KAA0B;IAC9E,IAAI,qBAAqB,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,CAAC;QAC3F,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,SAAS,GAAG,iBAAiB,CAAC,SAAS,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;IACzE,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,OAAO,CACL,CAAC,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC;QACxE,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC;QAChC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CACrC,CAAC;AACJ,CAAC"}

package/dist/src/rules/hook-consumer-contract/presentation-consumer.d.ts

@@ -0,0 +1,14 @@
+import type { HookPresentationConsumer, HookReturnMembers } from "../child-contract/model.js";
+import ts from "typescript";
+interface PresentationConsumerQuery {
+    readonly call: ts.CallExpression;
+    readonly members: HookReturnMembers;
+    readonly scope: {
+        readonly broadOwnerJsx: number;
+        readonly pureProjectionImports: ReadonlySet<string>;
+    };
+    readonly sourceFile: ts.SourceFile;
+}
+export declare function presentationConsumerFor(query: PresentationConsumerQuery): HookPresentationConsumer | "unsafe";
+export {};
+//# sourceMappingURL=presentation-consumer.d.ts.map

package/dist/src/rules/hook-consumer-contract/presentation-consumer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"presentation-consumer.d.ts","sourceRoot":"","sources":["../../../../src/rules/hook-consumer-contract/presentation-consumer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAkB9F,OAAO,EAAE,MAAM,YAAY,CAAC;AAO5B,UAAU,yBAAyB;IACjC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE;QACd,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;QAC/B,QAAQ,CAAC,qBAAqB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;KACrD,CAAC;IACF,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;CACpC;AAED,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,yBAAyB,GAC/B,wBAAwB,GAAG,QAAQ,CAQrC"}

package/dist/src/rules/hook-consumer-contract/presentation-consumer.js

@@ -0,0 +1,81 @@
+import { subscriptionSites, subscriptionSitesAreMaterial, } from "../../analysis/verdicts/site-subscription-verdict.js";
+import { EMPTY_NODES } from "../../analysis/constants.js";
+import { collectHookImports } from "../../core/imports.js";
+import { collectPureProjectionImports } from "../../analysis/owner-scan.js";
+import { collectReactCommitContext } from "../react-commit-sensitivity/react-commit-sensitivity.js";
+import { collectStateUsage } from "../../analysis/state-usage.js";
+import { consumerBindingName } from "./consumer-binding.js";
+import { findAncestor } from "../../core/ast.js";
+import { isRuntimeOwner } from "../hook-keyed-cursor-contract/binding-references.js";
+import { jsxElementCount } from "../state-proofs/jsx-subtrees.js";
+import { runtimeFunctionName } from "../../analysis/ast-helpers.js";
+import ts from "typescript";
+export function presentationConsumerFor(query) {
+    const binding = presentationBinding(query);
+    if (!binding) {
+        return "unsafe";
+    }
+    const sites = presentationSites(query, binding);
+    const consumerName = runtimeFunctionName(binding.owner);
+    return sites && consumerName ? presentationConsumer(consumerName, sites) : "unsafe";
+}
+function presentationConsumer(consumerName, sites) {
+    return {
+        consumerNames: [consumerName],
+        derivedBindings: sites.derivedBindings,
+        renderSites: sites.sites.length,
+    };
+}
+function presentationBinding({ call, members, scope, }) {
+    const owner = findAncestor(call, isRuntimeOwner);
+    const declaration = call.parent;
+    if (!owner ||
+        members.setter !== null ||
+        jsxElementCount(owner) < scope.broadOwnerJsx ||
+        !ts.isVariableDeclaration(declaration) ||
+        declaration.initializer !== call ||
+        !ts.isVariableDeclarationList(declaration.parent) ||
+        (declaration.parent.flags & ts.NodeFlags.Const) === 0) {
+        return null;
+    }
+    const valueName = consumerBindingName(declaration.name, members.value);
+    return valueName === null || valueName === "unsupported" ? null : { owner, valueName };
+}
+function presentationSites({ call, scope, sourceFile }, { owner, valueName }) {
+    const imports = collectHookImports(sourceFile);
+    const reactCommit = collectReactCommitContext(sourceFile, imports);
+    const state = { call, owner, setterName: null, valueName };
+    const usage = collectStateUsage(state, {
+        effectNodes: reactCommit.lifecycleRegions,
+        imports,
+        persistenceSinks: EMPTY_NODES,
+    });
+    if (!presentationUsageIsSafe(owner, usage, reactCommit.sensitiveOwners)) {
+        return null;
+    }
+    const sites = subscriptionSites(usage, {
+        allowUnresolvedComponentCallSite: true,
+        childContracts: null,
+        hostTags: imports,
+        pureProjectionImports: new Set([
+            ...collectPureProjectionImports(sourceFile),
+            ...scope.pureProjectionImports,
+        ]),
+        state,
+    });
+    return sites?.sites.length && subscriptionSitesAreMaterial(sites.sites, state) ? sites : null;
+}
+function presentationUsageIsSafe(owner, usage, sensitiveOwners) {
+    return (!sensitiveOwners.has(owner) &&
+        usage.localRenderReads + usage.transportedOccurrences > 0 &&
+        usage.localRenderReads === usage.directRenderNodes.length &&
+        usage.effectReads === 0 &&
+        usage.effectWrites === 0 &&
+        usage.deferredReads === 0 &&
+        usage.setterReferences === 0 &&
+        !usage.escaped &&
+        !usage.repeatedTransport &&
+        !usage.shadowed &&
+        !usage.unstableTransport);
+}
+//# sourceMappingURL=presentation-consumer.js.map

package/dist/src/rules/hook-consumer-contract/presentation-consumer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"presentation-consumer.js","sourceRoot":"","sources":["../../../../src/rules/hook-consumer-contract/presentation-consumer.ts"],"names":[],"mappings":"AACA,OAAO,EACL,iBAAiB,EACjB,4BAA4B,GAC7B,MAAM,sDAAsD,CAAC;AAC9D,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAI1D,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,4BAA4B,EAAE,MAAM,8BAA8B,CAAC;AAC5E,OAAO,EAAE,yBAAyB,EAAE,MAAM,yDAAyD,CAAC;AACpG,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,cAAc,EAAE,MAAM,qDAAqD,CAAC;AACrF,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AACpE,OAAO,EAAE,MAAM,YAAY,CAAC;AAiB5B,MAAM,UAAU,uBAAuB,CACrC,KAAgC;IAEhC,MAAM,OAAO,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,MAAM,KAAK,GAAG,iBAAiB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAChD,MAAM,YAAY,GAAG,mBAAmB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACxD,OAAO,KAAK,IAAI,YAAY,CAAC,CAAC,CAAC,oBAAoB,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;AACtF,CAAC;AAED,SAAS,oBAAoB,CAC3B,YAAoB,EACpB,KAAwB;IAExB,OAAO;QACL,aAAa,EAAE,CAAC,YAAY,CAAC;QAC7B,eAAe,EAAE,KAAK,CAAC,eAAe;QACtC,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM;KAChC,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,EAC3B,IAAI,EACJ,OAAO,EACP,KAAK,GACqB;IAC1B,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IACjD,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC;IAChC,IACE,CAAC,KAAK;QACN,OAAO,CAAC,MAAM,KAAK,IAAI;QACvB,eAAe,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,aAAa;QAC5C,CAAC,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;QACtC,WAAW,CAAC,WAAW,KAAK,IAAI;QAChC,CAAC,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC,MAAM,CAAC;QACjD,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EACrD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,SAAS,GAAG,mBAAmB,CAAC,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IACvE,OAAO,SAAS,KAAK,IAAI,IAAI,SAAS,KAAK,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AACzF,CAAC;AAED,SAAS,iBAAiB,CACxB,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAA6B,EACtD,EAAE,KAAK,EAAE,SAAS,EAAuB;IAEzC,MAAM,OAAO,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAC/C,MAAM,WAAW,GAAG,yBAAyB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACnE,MAAM,KAAK,GAAmB,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IAC3E,MAAM,KAAK,GAAG,iBAAiB,CAAC,KAAK,EAAE;QACrC,WAAW,EAAE,WAAW,CAAC,gBAAgB;QACzC,OAAO;QACP,gBAAgB,EAAE,WAAW;KAC9B,CAAC,CAAC;IACH,IAAI,CAAC,uBAAuB,CAAC,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,eAAe,CAAC,EAAE,CAAC;QACxE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,iBAAiB,CAAC,KAAK,EAAE;QACrC,gCAAgC,EAAE,IAAI;QACtC,cAAc,EAAE,IAAI;QACpB,QAAQ,EAAE,OAAO;QACjB,qBAAqB,EAAE,IAAI,GAAG,CAAC;YAC7B,GAAG,4BAA4B,CAAC,UAAU,CAAC;YAC3C,GAAG,KAAK,CAAC,qBAAqB;SAC/B,CAAC;QACF,KAAK;KACN,CAAC,CAAC;IACH,OAAO,KAAK,EAAE,KAAK,CAAC,MAAM,IAAI,4BAA4B,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAChG,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAA0B,EAC1B,KAA2C,EAC3C,eAAiD;IAEjD,OAAO,CACL,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC;QAC3B,KAAK,CAAC,gBAAgB,GAAG,KAAK,CAAC,sBAAsB,GAAG,CAAC;QACzD,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,iBAAiB,CAAC,MAAM;QACzD,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,KAAK,CAAC,YAAY,KAAK,CAAC;QACxB,KAAK,CAAC,aAAa,KAAK,CAAC;QACzB,KAAK,CAAC,gBAAgB,KAAK,CAAC;QAC5B,CAAC,KAAK,CAAC,OAAO;QACd,CAAC,KAAK,CAAC,iBAAiB;QACxB,CAAC,KAAK,CAAC,QAAQ;QACf,CAAC,KAAK,CAAC,iBAAiB,CACzB,CAAC;AACJ,CAAC"}

package/dist/src/rules/hook-keyed-cursor-contract/binding-references.d.ts

@@ -0,0 +1,10 @@
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+export declare function cursorEquality(reference: ts.Identifier): ts.BinaryExpression | null;
+export declare function bindingReferences(owner: RuntimeFunctionLike, binding: ts.Identifier): ts.Identifier[];
+export declare function uniqueDirectJsxAttributeReference(owner: RuntimeFunctionLike, binding: ts.Identifier, prop: string): ts.JsxAttribute | null;
+export declare function jsxAttributeContaining(node: ts.Node, name: string): ts.JsxAttribute | null;
+export declare function isImportedUseCallback(call: ts.CallExpression): boolean;
+export declare function declaresRuntimeBinding(sourceFile: ts.SourceFile, name: string): boolean;
+export declare function isRuntimeOwner(node: ts.Node): node is RuntimeFunctionLike;
+//# sourceMappingURL=binding-references.d.ts.map

package/dist/src/rules/hook-keyed-cursor-contract/binding-references.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"binding-references.d.ts","sourceRoot":"","sources":["../../../../src/rules/hook-keyed-cursor-contract/binding-references.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,wBAAgB,cAAc,CAAC,SAAS,EAAE,EAAE,CAAC,UAAU,GAAG,EAAE,CAAC,gBAAgB,GAAG,IAAI,CASnF;AAED,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,mBAAmB,EAC1B,OAAO,EAAE,EAAE,CAAC,UAAU,GACrB,EAAE,CAAC,UAAU,EAAE,CAcjB;AAED,wBAAgB,iCAAiC,CAC/C,KAAK,EAAE,mBAAmB,EAC1B,OAAO,EAAE,EAAE,CAAC,UAAU,EACtB,IAAI,EAAE,MAAM,GACX,EAAE,CAAC,YAAY,GAAG,IAAI,CAOxB;AAED,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,EAAE,CAAC,YAAY,GAAG,IAAI,CAG1F;AAYD,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,GAAG,OAAO,CAatE;AAOD,wBAAgB,sBAAsB,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAavF;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,IAAI,IAAI,mBAAmB,CAOzE"}

package/dist/src/rules/hook-keyed-cursor-contract/binding-references.js

@@ -0,0 +1,81 @@
+import { bindingDeclarationCount, isDeclarationName, isNonValueIdentifier, } from "../../core/analysis-ast.js";
+import { collectHookImports, isImportedHookCall } from "../../core/imports.js";
+import { findAncestor, findAncestorUntil, visit } from "../../core/ast.js";
+import ts from "typescript";
+export function cursorEquality(reference) {
+    const { parent } = reference;
+    return ts.isBinaryExpression(parent) &&
+        (parent.left === reference || parent.right === reference) &&
+        [ts.SyntaxKind.EqualsEqualsToken, ts.SyntaxKind.EqualsEqualsEqualsToken].includes(parent.operatorToken.kind)
+        ? parent
+        : null;
+}
+export function bindingReferences(owner, binding) {
+    const references = [];
+    visit(owner.body, (node) => {
+        if (ts.isIdentifier(node) &&
+            node.text === binding.text &&
+            node !== binding &&
+            !isDeclarationName(node) &&
+            !isNonValueIdentifier(node)) {
+            references.push(node);
+        }
+    });
+    return references;
+}
+export function uniqueDirectJsxAttributeReference(owner, binding, prop) {
+    const references = bindingReferences(owner, binding);
+    if (references.length !== 1) {
+        return null;
+    }
+    const attribute = findAncestorUntil(references[0], ts.isJsxAttribute, owner);
+    return attribute?.name.getText() === prop ? attribute : null;
+}
+export function jsxAttributeContaining(node, name) {
+    const attribute = findAncestor(node, ts.isJsxAttribute);
+    return attribute?.name.getText() === name ? attribute : null;
+}
+function callRootIdentifier(call) {
+    if (ts.isIdentifier(call.expression)) {
+        return call.expression;
+    }
+    return ts.isPropertyAccessExpression(call.expression) &&
+        ts.isIdentifier(call.expression.expression)
+        ? call.expression.expression
+        : null;
+}
+export function isImportedUseCallback(call) {
+    const imports = collectHookImports(call.getSourceFile());
+    const root = callRootIdentifier(call);
+    return (root !== null &&
+        !bindingIsShadowed(call, root.text) &&
+        isImportedHookCall({
+            call,
+            localNames: imports.useCallback,
+            namespaceNames: imports.reactNamespaces,
+            canonicalName: "useCallback",
+        }));
+}
+function bindingIsShadowed(call, name) {
+    const owner = findAncestor(call, isRuntimeOwner);
+    return owner !== null && bindingDeclarationCount(owner, name) > 0;
+}
+export function declaresRuntimeBinding(sourceFile, name) {
+    let declared = false;
+    visit(sourceFile, (node) => {
+        if (ts.isIdentifier(node) &&
+            isDeclarationName(node) &&
+            node.text === name &&
+            !findAncestor(node, ts.isImportDeclaration)) {
+            declared = true;
+        }
+    });
+    return declared;
+}
+export function isRuntimeOwner(node) {
+    return (ts.isArrowFunction(node) ||
+        ts.isFunctionDeclaration(node) ||
+        ts.isFunctionExpression(node) ||
+        ts.isMethodDeclaration(node));
+}
+//# sourceMappingURL=binding-references.js.map

package/dist/src/rules/hook-keyed-cursor-contract/binding-references.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"binding-references.js","sourceRoot":"","sources":["../../../../src/rules/hook-keyed-cursor-contract/binding-references.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,oBAAoB,GACrB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC/E,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE3E,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,cAAc,CAAC,SAAwB;IACrD,MAAM,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;IAC7B,OAAO,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;QAClC,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC;QACzD,CAAC,EAAE,CAAC,UAAU,CAAC,iBAAiB,EAAE,EAAE,CAAC,UAAU,CAAC,uBAAuB,CAAC,CAAC,QAAQ,CAC/E,MAAM,CAAC,aAAa,CAAC,IAAI,CAC1B;QACD,CAAC,CAAC,MAAM;QACR,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,KAA0B,EAC1B,OAAsB;IAEtB,MAAM,UAAU,GAAoB,EAAE,CAAC;IACvC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IACE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACrB,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI;YAC1B,IAAI,KAAK,OAAO;YAChB,CAAC,iBAAiB,CAAC,IAAI,CAAC;YACxB,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAC3B,CAAC;YACD,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,iCAAiC,CAC/C,KAA0B,EAC1B,OAAsB,EACtB,IAAY;IAEZ,MAAM,UAAU,GAAG,iBAAiB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACrD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,SAAS,GAAG,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAE,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;IAC9E,OAAO,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/D,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,IAAa,EAAE,IAAY;IAChE,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC;IACxD,OAAO,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/D,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAuB;IACjD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QACrC,OAAO,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;IACD,OAAO,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC;QACnD,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;QAC3C,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU;QAC5B,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,IAAuB;IAC3D,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC;IACzD,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IACtC,OAAO,CACL,IAAI,KAAK,IAAI;QACb,CAAC,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;QACnC,kBAAkB,CAAC;YACjB,IAAI;YACJ,UAAU,EAAE,OAAO,CAAC,WAAW;YAC/B,cAAc,EAAE,OAAO,CAAC,eAAe;YACvC,aAAa,EAAE,aAAa;SAC7B,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAuB,EAAE,IAAY;IAC9D,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IACjD,OAAO,KAAK,KAAK,IAAI,IAAI,uBAAuB,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;AACpE,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,UAAyB,EAAE,IAAY;IAC5E,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,KAAK,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IACE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACrB,iBAAiB,CAAC,IAAI,CAAC;YACvB,IAAI,CAAC,IAAI,KAAK,IAAI;YAClB,CAAC,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,EAC3C,CAAC;YACD,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAa;IAC1C,OAAO,CACL,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QACxB,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAC9B,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;QAC7B,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAC7B,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,11 @@
+import ts from "typescript";
+export type HookConsumerResult = "none" | "safe" | "unsafe";
+/** Proves one imported hook result is broadcast only to stable keyed row presentation. */
+export interface KeyedCursorConsumerQuery {
+    readonly cursorProperty: string;
+    readonly hookBinding: string;
+    readonly setterProperty: string;
+    readonly sourceFile: ts.SourceFile;
+}
+export declare function keyedCursorConsumerResult({ cursorProperty, hookBinding, setterProperty, sourceFile, }: KeyedCursorConsumerQuery): HookConsumerResult;
+//# sourceMappingURL=hook-keyed-cursor-contract.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"hook-keyed-cursor-contract.d.ts","sourceRoot":"","sources":["../../../../src/rules/hook-keyed-cursor-contract/hook-keyed-cursor-contract.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,MAAM,kBAAkB,GAAG,MAAM,GAAG,MAAM,GAAG,QAAQ,CAAC;AAE5D,0FAA0F;AAC1F,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;CACpC;AAED,wBAAgB,yBAAyB,CAAC,EACxC,cAAc,EACd,WAAW,EACX,cAAc,EACd,UAAU,GACX,EAAE,wBAAwB,GAAG,kBAAkB,CA+B/C"}

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

@@ -0,0 +1,100 @@
+import { bindingDeclarationCount, isDeclarationName, isNonValueIdentifier, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { bindingReferences, cursorEquality, declaresRuntimeBinding, isRuntimeOwner, jsxAttributeContaining, } from "./binding-references.js";
+import { findAncestor, nodeWithin, visit } from "../../core/ast.js";
+import { keyedListElementIsStable } from "./keyed-list-element.js";
+import { memoizedRowRenderer } from "./memoized-row-renderer.js";
+import ts from "typescript";
+export function keyedCursorConsumerResult({ cursorProperty, hookBinding, setterProperty, sourceFile, }) {
+    if (declaresRuntimeBinding(sourceFile, hookBinding)) {
+        return "unsafe";
+    }
+    const calls = [];
+    let unsafeReference = false;
+    visit(sourceFile, (node) => {
+        if (!ts.isIdentifier(node) ||
+            node.text !== hookBinding ||
+            findAncestor(node, ts.isImportDeclaration) !== null ||
+            isDeclarationName(node) ||
+            isNonValueIdentifier(node)) {
+            return;
+        }
+        if (ts.isCallExpression(node.parent) && node.parent.expression === node) {
+            calls.push(node.parent);
+        }
+        else {
+            unsafeReference = true;
+        }
+    });
+    if (calls.length === 0 && !unsafeReference) {
+        return "none";
+    }
+    if (unsafeReference || calls.length !== 1) {
+        return "unsafe";
+    }
+    return callHasStableKeyedCursorConsumer(calls[0], cursorProperty, setterProperty)
+        ? "safe"
+        : "unsafe";
+}
+function callHasStableKeyedCursorConsumer(call, cursorProperty, setterProperty) {
+    const declaration = findAncestor(call, ts.isVariableDeclaration);
+    const owner = findAncestor(call, isRuntimeOwner);
+    if (!declaration ||
+        !owner ||
+        !declaration.initializer ||
+        unwrapTransparentExpression(declaration.initializer) !== call ||
+        !ts.isObjectBindingPattern(declaration.name)) {
+        return false;
+    }
+    const element = declaration.name.elements.find((candidate) => bindingSourceName(candidate) === cursorProperty);
+    const setterEscapes = declaration.name.elements.some((candidate) => bindingSourceName(candidate) === setterProperty);
+    if (!element ||
+        setterEscapes ||
+        element.dotDotDotToken ||
+        element.initializer ||
+        !ts.isIdentifier(element.name) ||
+        bindingDeclarationCount(owner, element.name.text) !== 1) {
+        return false;
+    }
+    return cursorReferencesFormOneStableList(owner, element.name);
+}
+function bindingSourceName(candidate) {
+    if (candidate.propertyName) {
+        return ts.isIdentifier(candidate.propertyName) ? candidate.propertyName.text : null;
+    }
+    return ts.isIdentifier(candidate.name) ? candidate.name.text : null;
+}
+function cursorReferencesFormOneStableList(owner, cursor) {
+    const references = bindingReferences(owner, cursor);
+    const equalityReference = soleReference(references, (reference) => cursorEquality(reference) !== null);
+    const renderer = equalityReference && memoizedRowRenderer(equalityReference, owner);
+    if (!equalityReference || !renderer) {
+        return false;
+    }
+    return cursorFeedsStableList({ equalityReference, owner, references, renderer });
+}
+function cursorFeedsStableList(check) {
+    const { equalityReference, owner, references, renderer } = check;
+    const dependencyReference = soleDependencyReference(references, renderer.dependency);
+    const extraDataReference = soleReference(references, (reference) => jsxAttributeContaining(reference, "extraData") !== null);
+    if (!dependencyReference || !extraDataReference) {
+        return false;
+    }
+    const cursorEscapes = references.some((reference) => reference !== equalityReference &&
+        reference !== dependencyReference &&
+        reference !== extraDataReference);
+    return !cursorEscapes && keyedListElementIsStable(owner, renderer.renderName, extraDataReference);
+}
+function soleReference(references, matches) {
+    const matched = references.filter((reference) => matches(reference));
+    return matched.length === 1 ? matched[0] : null;
+}
+function soleDependencyReference(references, dependency) {
+    const reference = soleReference(references, (candidate) => nodeWithin(candidate, dependency));
+    if (!reference) {
+        return null;
+    }
+    return dependency.elements.some((element) => unwrapTransparentExpression(element) === reference)
+        ? reference
+        : null;
+}
+//# sourceMappingURL=hook-keyed-cursor-contract.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"hook-keyed-cursor-contract.js","sourceRoot":"","sources":["../../../../src/rules/hook-keyed-cursor-contract/hook-keyed-cursor-contract.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,iBAAiB,EACjB,cAAc,EACd,sBAAsB,EACtB,cAAc,EACd,sBAAsB,GACvB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAGpE,OAAO,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,MAAM,YAAY,CAAC;AAY5B,MAAM,UAAU,yBAAyB,CAAC,EACxC,cAAc,EACd,WAAW,EACX,cAAc,EACd,UAAU,GACe;IACzB,IAAI,sBAAsB,CAAC,UAAU,EAAE,WAAW,CAAC,EAAE,CAAC;QACpD,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,MAAM,KAAK,GAAwB,EAAE,CAAC;IACtC,IAAI,eAAe,GAAG,KAAK,CAAC;IAC5B,KAAK,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IACE,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,KAAK,WAAW;YACzB,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,KAAK,IAAI;YACnD,iBAAiB,CAAC,IAAI,CAAC;YACvB,oBAAoB,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;YACxE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1B,CAAC;aAAM,CAAC;YACN,eAAe,GAAG,IAAI,CAAC;QACzB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC;QAC3C,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,eAAe,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1C,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,OAAO,gCAAgC,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,cAAc,EAAE,cAAc,CAAC;QAChF,CAAC,CAAC,MAAM;QACR,CAAC,CAAC,QAAQ,CAAC;AACf,CAAC;AAED,SAAS,gCAAgC,CACvC,IAAuB,EACvB,cAAsB,EACtB,cAAsB;IAEtB,MAAM,WAAW,GAAG,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,qBAAqB,CAAC,CAAC;IACjE,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IACjD,IACE,CAAC,WAAW;QACZ,CAAC,KAAK;QACN,CAAC,WAAW,CAAC,WAAW;QACxB,2BAA2B,CAAC,WAAW,CAAC,WAAW,CAAC,KAAK,IAAI;QAC7D,CAAC,EAAE,CAAC,sBAAsB,CAAC,WAAW,CAAC,IAAI,CAAC,EAC5C,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAC5C,CAAC,SAAS,EAAE,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,KAAK,cAAc,CAC/D,CAAC;IACF,MAAM,aAAa,GAAG,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAClD,CAAC,SAAS,EAAE,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,KAAK,cAAc,CAC/D,CAAC;IACF,IACE,CAAC,OAAO;QACR,aAAa;QACb,OAAO,CAAC,cAAc;QACtB,OAAO,CAAC,WAAW;QACnB,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC;QAC9B,uBAAuB,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EACvD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,iCAAiC,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,iBAAiB,CAAC,SAA4B;IACrD,IAAI,SAAS,CAAC,YAAY,EAAE,CAAC;QAC3B,OAAO,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACtF,CAAC;IACD,OAAO,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACtE,CAAC;AAED,SAAS,iCAAiC,CACxC,KAA0B,EAC1B,MAAqB;IAErB,MAAM,UAAU,GAAG,iBAAiB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACpD,MAAM,iBAAiB,GAAG,aAAa,CACrC,UAAU,EACV,CAAC,SAAS,EAAE,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC,KAAK,IAAI,CAClD,CAAC;IACF,MAAM,QAAQ,GAAG,iBAAiB,IAAI,mBAAmB,CAAC,iBAAiB,EAAE,KAAK,CAAC,CAAC;IACpF,IAAI,CAAC,iBAAiB,IAAI,CAAC,QAAQ,EAAE,CAAC;QACpC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,qBAAqB,CAAC,EAAE,iBAAiB,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,CAAC;AACnF,CAAC;AASD,SAAS,qBAAqB,CAAC,KAAsB;IACnD,MAAM,EAAE,iBAAiB,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;IACjE,MAAM,mBAAmB,GAAG,uBAAuB,CAAC,UAAU,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC;IACrF,MAAM,kBAAkB,GAAG,aAAa,CACtC,UAAU,EACV,CAAC,SAAS,EAAE,EAAE,CAAC,sBAAsB,CAAC,SAAS,EAAE,WAAW,CAAC,KAAK,IAAI,CACvE,CAAC;IACF,IAAI,CAAC,mBAAmB,IAAI,CAAC,kBAAkB,EAAE,CAAC;QAChD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,aAAa,GAAG,UAAU,CAAC,IAAI,CACnC,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,KAAK,iBAAiB;QAC/B,SAAS,KAAK,mBAAmB;QACjC,SAAS,KAAK,kBAAkB,CACnC,CAAC;IACF,OAAO,CAAC,aAAa,IAAI,wBAAwB,CAAC,KAAK,EAAE,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC,CAAC;AACpG,CAAC;AAED,SAAS,aAAa,CACpB,UAAoC,EACpC,OAA8C;IAE9C,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;IACrE,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACnD,CAAC;AAED,SAAS,uBAAuB,CAC9B,UAAoC,EACpC,UAAqC;IAErC,MAAM,SAAS,GAAG,aAAa,CAAC,UAAU,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,UAAU,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;IAC9F,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,2BAA2B,CAAC,OAAO,CAAC,KAAK,SAAS,CAAC;QAC9F,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,IAAI,CAAC;AACX,CAAC"}

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

@@ -0,0 +1,4 @@
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+export declare function keyedListElementIsStable(owner: RuntimeFunctionLike, renderName: ts.Identifier, extraDataReference: ts.Identifier): boolean;
+//# sourceMappingURL=keyed-list-element.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"keyed-list-element.d.ts","sourceRoot":"","sources":["../../../../src/rules/hook-keyed-cursor-contract/keyed-list-element.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EAAE,MAAM,YAAY,CAAC;AAI5B,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,mBAAmB,EAC1B,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,kBAAkB,EAAE,EAAE,CAAC,UAAU,GAChC,OAAO,CAkBT"}