legend-doctor 0.1.0

package/dist/src/rules/child-contract/array-item-callbacks.js

@@ -0,0 +1,202 @@
+import { arrayBindingsStayWithinTrackedConsumers, arrayItemNames, spreadCallbackIsOverridden, trackedArrayNames, } from "./array-prop-tracking.js";
+import { atJsxInvocation, jsxAttributeDirectlyCarries, jsxOwnerIsDeferredEventTarget, jsxOwnerTarget, } from "./jsx-owner.js";
+import { bindingDeclarationCount, isNonValueIdentifier, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { boundPropIdentifier, isBindingName, propertyName } from "./prop-bindings.js";
+import { climbTransparentExpression, constArrayBinding } from "./carried-values.js";
+import { findAncestorUntil, nearestNestedFunction, visit } from "../../core/ast.js";
+import { callbackInvocationIsDeferred } from "./invocation-trace.js";
+import { callbackReferenceIsObservationOnly } from "./observation-only-reads.js";
+import ts from "typescript";
+export function arrayItemCallbackIsDeferred({ callbackProp, propName, resolver, source }, deferral) {
+    const bound = boundPropIdentifier(source.owner, propName);
+    if (!bound || !source.owner.body || bindingDeclarationCount(source.owner, bound.text) !== 1) {
+        return false;
+    }
+    const arrayNames = trackedArrayNames(source, bound.text);
+    if (!arrayBindingsStayWithinTrackedConsumers(source, arrayNames)) {
+        return false;
+    }
+    const itemNames = arrayItemNames(source, arrayNames);
+    if (itemNames.size === 0) {
+        return false;
+    }
+    return arrayItemCallbackReferencesAreDeferred({
+        callbackProp,
+        deferral,
+        itemNames,
+        resolver,
+        source,
+    });
+}
+function arrayItemCallbackReferencesAreDeferred(scan) {
+    const { itemNames, source } = scan;
+    let references = 0;
+    let safe = true;
+    visit(source.owner.body, (node) => {
+        if (!safe ||
+            !ts.isIdentifier(node) ||
+            !itemNames.has(node.text) ||
+            isBindingName(node) ||
+            isNonValueIdentifier(node)) {
+            return;
+        }
+        const verdict = arrayItemReferenceVerdict(node, scan);
+        if (verdict === "counted" || verdict === "counted-unsafe") {
+            references += 1;
+        }
+        if (verdict === "counted-unsafe" || verdict === "unsafe") {
+            safe = false;
+        }
+    });
+    return safe && references > 0;
+}
+function arrayItemReferenceVerdict(node, scan) {
+    const { callbackProp } = scan;
+    const member = node.parent;
+    if (ts.isSpreadAssignment(member) &&
+        member.expression === node &&
+        spreadCallbackIsOverridden(member, callbackProp)) {
+        return "ignored";
+    }
+    if (!ts.isPropertyAccessExpression(member) || member.expression !== node) {
+        return enclosingCallbackIsDeferred(node, scan) ? "ignored" : "unsafe";
+    }
+    if (member.name.text !== callbackProp) {
+        return "ignored";
+    }
+    return arrayItemCallbackUseIsDeferred(member, scan) ? "counted" : "counted-unsafe";
+}
+function enclosingCallbackIsDeferred(node, scan) {
+    const { deferral, resolver, source } = scan;
+    const callback = nearestNestedFunction(node, source.owner);
+    return (callback !== null &&
+        callback !== source.owner &&
+        (ts.isArrowFunction(callback) ||
+            ts.isFunctionDeclaration(callback) ||
+            ts.isFunctionExpression(callback)) &&
+        callbackInvocationIsDeferred({
+            callback,
+            deferral,
+            deferredCallbackHooks: source.deferredCallbackHooks,
+            depth: 0,
+            owner: source.owner,
+            resolver,
+            seenCallbacks: new Set(),
+            source: resolver ? source : undefined,
+            visited: new Set(),
+        }));
+}
+function arrayItemCallbackUseIsDeferred(member, scan) {
+    const { resolver, source } = scan;
+    if (ts.isCallExpression(member.parent) && member.parent.expression === member) {
+        return enclosingCallbackIsDeferred(member, scan);
+    }
+    if (callbackReferenceIsObservationOnly(member)) {
+        return true;
+    }
+    const attribute = findAncestorUntil(member, ts.isJsxAttribute, source.owner);
+    if (!resolver || !attribute || !jsxAttributeDirectlyCarries(attribute, member)) {
+        return false;
+    }
+    return jsxAttributeForwardsArrayItemCallback(attribute, resolver, scan);
+}
+function jsxAttributeForwardsArrayItemCallback(attribute, resolver, scan) {
+    const { deferral, source } = scan;
+    const prop = attribute.name.getText();
+    const target = jsxOwnerTarget(attribute);
+    if (!/^on[A-Z]/u.test(prop) || !target) {
+        return false;
+    }
+    if (jsxOwnerIsDeferredEventTarget(attribute, source) ||
+        resolver.frameworkEventComponent(source.file, target)) {
+        return true;
+    }
+    const child = resolver.resolveComponent(source.file, target);
+    return (child !== null &&
+        deferral.sourceInput({
+            argumentIndex: 0,
+            path: [prop],
+            source: atJsxInvocation(child, attribute, source),
+            trace: { deferral, depth: 0, resolver, returnTarget: null, visited: new Set() },
+        }));
+}
+function arrayItemCallbackPublication(callback) {
+    const property = callback.parent;
+    if (!ts.isPropertyAssignment(property) ||
+        unwrapTransparentExpression(property.initializer) !== callback) {
+        return null;
+    }
+    const callbackProperty = propertyName(property.name);
+    const object = property.parent;
+    const carriedObject = ts.isObjectLiteralExpression(object)
+        ? climbTransparentExpression(object)
+        : null;
+    const array = carriedObject?.parent;
+    if (!callbackProperty ||
+        !ts.isObjectLiteralExpression(object) ||
+        !array ||
+        !ts.isArrayLiteralExpression(array) ||
+        !array.elements.includes(carriedObject) ||
+        object.properties.some(ts.isSpreadAssignment) ||
+        object.properties.filter((member) => (ts.isPropertyAssignment(member) || ts.isShorthandPropertyAssignment(member)) &&
+            propertyName(member.name) === callbackProperty).length !== 1) {
+        return null;
+    }
+    return { array, callbackProperty };
+}
+function arrayPublicationIsDeferred(node, scan) {
+    const { callbackProperty, deferral, resolver, source } = scan;
+    const attribute = findAncestorUntil(node, ts.isJsxAttribute, source.owner);
+    if (!attribute || !jsxAttributeDirectlyCarries(attribute, node)) {
+        return false;
+    }
+    const target = jsxOwnerTarget(attribute);
+    const child = target ? resolver.resolveComponent(source.file, target) : null;
+    return (child !== null &&
+        arrayItemCallbackIsDeferred({
+            callbackProp: callbackProperty,
+            propName: attribute.name.getText(),
+            resolver,
+            source: atJsxInvocation(child, attribute, source),
+        }, deferral));
+}
+function arrayBindingPublicationsAreDeferred(scan) {
+    const { binding, source } = scan;
+    let publications = 0;
+    let safe = true;
+    visit(source.owner.body, (node) => {
+        if (!safe ||
+            !ts.isIdentifier(node) ||
+            node.text !== binding.text ||
+            node === binding ||
+            isBindingName(node) ||
+            isNonValueIdentifier(node)) {
+            return;
+        }
+        if (arrayPublicationIsDeferred(node, scan)) {
+            publications += 1;
+        }
+        else {
+            safe = false;
+        }
+    });
+    return safe && publications > 0;
+}
+export function deferredArrayItemCallbackPublication(source, callback, trace) {
+    const publication = arrayItemCallbackPublication(callback);
+    if (!publication) {
+        return null;
+    }
+    const binding = constArrayBinding(publication.array, source.owner);
+    if (!binding) {
+        return false;
+    }
+    return arrayBindingPublicationsAreDeferred({
+        binding,
+        callbackProperty: publication.callbackProperty,
+        deferral: trace.deferral,
+        resolver: trace.resolver,
+        source,
+    });
+}
+//# sourceMappingURL=array-item-callbacks.js.map

package/dist/src/rules/child-contract/array-item-callbacks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"array-item-callbacks.js","sourceRoot":"","sources":["../../../../src/rules/child-contract/array-item-callbacks.ts"],"names":[],"mappings":"AAMA,OAAO,EACL,uCAAuC,EACvC,cAAc,EACd,0BAA0B,EAC1B,iBAAiB,GAClB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,eAAe,EACf,2BAA2B,EAC3B,6BAA6B,EAC7B,cAAc,GACf,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,uBAAuB,EACvB,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACtF,OAAO,EAAE,0BAA0B,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACpF,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACpF,OAAO,EAAE,4BAA4B,EAAE,MAAM,uBAAuB,CAAC;AACrE,OAAO,EAAE,kCAAkC,EAAE,MAAM,6BAA6B,CAAC;AACjF,OAAO,EAAE,MAAM,YAAY,CAAC;AAyB5B,MAAM,UAAU,2BAA2B,CACzC,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAA0B,EACpE,QAA0B;IAE1B,MAAM,KAAK,GAAG,mBAAmB,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC1D,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,uBAAuB,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5F,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,UAAU,GAAG,iBAAiB,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IACzD,IAAI,CAAC,uCAAuC,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,CAAC;QACjE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,SAAS,GAAG,cAAc,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACrD,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,sCAAsC,CAAC;QAC5C,YAAY;QACZ,QAAQ;QACR,SAAS;QACT,QAAQ;QACR,MAAM;KACP,CAAC,CAAC;AACL,CAAC;AAED,SAAS,sCAAsC,CAAC,IAA2B;IACzE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IACnC,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAChC,IACE,CAAC,IAAI;YACL,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;YACzB,aAAa,CAAC,IAAI,CAAC;YACnB,oBAAoB,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,OAAO,GAAG,yBAAyB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACtD,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,gBAAgB,EAAE,CAAC;YAC1D,UAAU,IAAI,CAAC,CAAC;QAClB,CAAC;QACD,IAAI,OAAO,KAAK,gBAAgB,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;YACzD,IAAI,GAAG,KAAK,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,IAAI,UAAU,GAAG,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,yBAAyB,CAChC,IAAmB,EACnB,IAA2B;IAE3B,MAAM,EAAE,YAAY,EAAE,GAAG,IAAI,CAAC;IAC9B,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IACE,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;QAC7B,MAAM,CAAC,UAAU,KAAK,IAAI;QAC1B,0BAA0B,CAAC,MAAM,EAAE,YAAY,CAAC,EAChD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QACzE,OAAO,2BAA2B,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC;IACxE,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACtC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,8BAA8B,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC;AACrF,CAAC;AAED,SAAS,2BAA2B,CAAC,IAAa,EAAE,IAA2B;IAC7E,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IAC5C,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAC3D,OAAO,CACL,QAAQ,KAAK,IAAI;QACjB,QAAQ,KAAK,MAAM,CAAC,KAAK;QACzB,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC;YAC3B,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC;YAClC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QACpC,4BAA4B,CAAC;YAC3B,QAAQ;YACR,QAAQ;YACR,qBAAqB,EAAE,MAAM,CAAC,qBAAqB;YACnD,KAAK,EAAE,CAAC;YACR,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,QAAQ;YACR,aAAa,EAAE,IAAI,GAAG,EAAE;YACxB,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;YACrC,OAAO,EAAE,IAAI,GAAG,EAAE;SACnB,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,8BAA8B,CACrC,MAAmC,EACnC,IAA2B;IAE3B,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IAClC,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,KAAK,MAAM,EAAE,CAAC;QAC9E,OAAO,2BAA2B,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACnD,CAAC;IACD,IAAI,kCAAkC,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,SAAS,GAAG,iBAAiB,CAAC,MAAM,EAAE,EAAE,CAAC,cAAc,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAC7E,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS,IAAI,CAAC,2BAA2B,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,CAAC;QAC/E,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,qCAAqC,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,qCAAqC,CAC5C,SAA0B,EAC1B,QAAwC,EACxC,IAA2B;IAE3B,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IAClC,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IACtC,MAAM,MAAM,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;IACzC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACvC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IACE,6BAA6B,CAAC,SAAS,EAAE,MAAM,CAAC;QAChD,QAAQ,CAAC,uBAAuB,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,EACrD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC7D,OAAO,CACL,KAAK,KAAK,IAAI;QACd,QAAQ,CAAC,WAAW,CAAC;YACnB,aAAa,EAAE,CAAC;YAChB,IAAI,EAAE,CAAC,IAAI,CAAC;YACZ,MAAM,EAAE,eAAe,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC;YACjD,KAAK,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE;SAChF,CAAC,CACH,CAAC;AACJ,CAAC;AAUD,SAAS,4BAA4B,CACnC,QAAuB;IAEvB,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC;IACjC,IACE,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;QAClC,2BAA2B,CAAC,QAAQ,CAAC,WAAW,CAAC,KAAK,QAAQ,EAC9D,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,gBAAgB,GAAG,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;IAC/B,MAAM,aAAa,GAAG,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;QACxD,CAAC,CAAC,0BAA0B,CAAC,MAAM,CAAC;QACpC,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,KAAK,GAAG,aAAa,EAAE,MAAM,CAAC;IACpC,IACE,CAAC,gBAAgB;QACjB,CAAC,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;QACrC,CAAC,KAAK;QACN,CAAC,EAAE,CAAC,wBAAwB,CAAC,KAAK,CAAC;QACnC,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC;QACvC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC;QAC7C,MAAM,CAAC,UAAU,CAAC,MAAM,CACtB,CAAC,MAAM,EAAE,EAAE,CACT,CAAC,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,6BAA6B,CAAC,MAAM,CAAC,CAAC;YAC7E,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,gBAAgB,CACjD,CAAC,MAAM,KAAK,CAAC,EACd,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,CAAC;AACrC,CAAC;AAED,SAAS,0BAA0B,CAAC,IAAmB,EAAE,IAA0B;IACjF,MAAM,EAAE,gBAAgB,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IAC9D,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAC3E,IAAI,CAAC,SAAS,IAAI,CAAC,2BAA2B,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC;QAChE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7E,OAAO,CACL,KAAK,KAAK,IAAI;QACd,2BAA2B,CACzB;YACE,YAAY,EAAE,gBAAgB;YAC9B,QAAQ,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE;YAClC,QAAQ;YACR,MAAM,EAAE,eAAe,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC;SAClD,EACD,QAAQ,CACT,CACF,CAAC;AACJ,CAAC;AAED,SAAS,mCAAmC,CAAC,IAA0B;IACrE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IACjC,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAChC,IACE,CAAC,IAAI;YACL,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI;YAC1B,IAAI,KAAK,OAAO;YAChB,aAAa,CAAC,IAAI,CAAC;YACnB,oBAAoB,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,0BAA0B,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YAC3C,YAAY,IAAI,CAAC,CAAC;QACpB,CAAC;aAAM,CAAC;YACN,IAAI,GAAG,KAAK,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,IAAI,YAAY,GAAG,CAAC,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,oCAAoC,CAClD,MAA4B,EAC5B,QAAuB,EACvB,KAAoB;IAEpB,MAAM,WAAW,GAAG,4BAA4B,CAAC,QAAQ,CAAC,CAAC;IAC3D,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,iBAAiB,CAAC,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IACnE,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,mCAAmC,CAAC;QACzC,OAAO;QACP,gBAAgB,EAAE,WAAW,CAAC,gBAAgB;QAC9C,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,MAAM;KACP,CAAC,CAAC;AACL,CAAC"}

package/dist/src/rules/child-contract/array-prop-tracking.d.ts

@@ -0,0 +1,7 @@
+import type { ChildComponentSource } from "./model.js";
+import ts from "typescript";
+export declare function trackedArrayNames(source: ChildComponentSource, boundName: string): ReadonlySet<string>;
+export declare function arrayItemNames(source: ChildComponentSource, arrayNames: ReadonlySet<string>): ReadonlySet<string>;
+export declare function spreadCallbackIsOverridden(spread: ts.SpreadAssignment, callbackProp: string): boolean;
+export declare function arrayBindingsStayWithinTrackedConsumers(source: ChildComponentSource, arrayNames: ReadonlySet<string>): boolean;
+//# sourceMappingURL=array-prop-tracking.d.ts.map

package/dist/src/rules/child-contract/array-prop-tracking.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"array-prop-tracking.d.ts","sourceRoot":"","sources":["../../../../src/rules/child-contract/array-prop-tracking.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAGvD,OAAO,EAAE,MAAM,YAAY,CAAC;AAc5B,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,oBAAoB,EAC5B,SAAS,EAAE,MAAM,GAChB,WAAW,CAAC,MAAM,CAAC,CAwBrB;AAED,wBAAgB,cAAc,CAC5B,MAAM,EAAE,oBAAoB,EAC5B,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,GAC9B,WAAW,CAAC,MAAM,CAAC,CAqBrB;AAED,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,EAAE,CAAC,gBAAgB,EAC3B,YAAY,EAAE,MAAM,GACnB,OAAO,CAaT;AAED,wBAAgB,uCAAuC,CACrD,MAAM,EAAE,oBAAoB,EAC5B,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,GAC9B,OAAO,CAeT"}

package/dist/src/rules/child-contract/array-prop-tracking.js

@@ -0,0 +1,120 @@
+import { bindingDeclarationCount, isNonValueIdentifier, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { isBindingName, propertyName } from "./prop-bindings.js";
+import { MAX_TRACKED_NAMES } from "./model.js";
+import { climbTransparentExpression } from "./carried-values.js";
+import ts from "typescript";
+import { visit } from "../../core/ast.js";
+const TRACKED_ARRAY_ITERATION_METHODS = new Set([
+    "every",
+    "filter",
+    "find",
+    "findIndex",
+    "flatMap",
+    "forEach",
+    "map",
+    "some",
+]);
+export function trackedArrayNames(source, boundName) {
+    const arrayNames = new Set([boundName]);
+    let addedAlias = true;
+    const collectAlias = (node) => {
+        if (!ts.isVariableDeclaration(node) ||
+            !ts.isIdentifier(node.name) ||
+            !node.initializer ||
+            arrayNames.has(node.name.text) ||
+            !ts.isVariableDeclarationList(node.parent) ||
+            (node.parent.flags & ts.NodeFlags.Const) === 0 ||
+            bindingDeclarationCount(source.owner, node.name.text) !== 1 ||
+            !isFilteredArrayAlias(node.initializer, arrayNames)) {
+            return;
+        }
+        arrayNames.add(node.name.text);
+        addedAlias = true;
+    };
+    while (addedAlias && arrayNames.size < MAX_TRACKED_NAMES) {
+        addedAlias = false;
+        visit(source.owner.body, collectAlias);
+    }
+    return arrayNames;
+}
+export function arrayItemNames(source, arrayNames) {
+    const itemNames = new Set();
+    visit(source.owner.body, (node) => {
+        if (ts.isVariableDeclaration(node) &&
+            ts.isIdentifier(node.name) &&
+            node.initializer &&
+            [...arrayNames].some((name) => isArrayItemLookup(node.initializer, name))) {
+            itemNames.add(node.name.text);
+        }
+        if ((ts.isArrowFunction(node) || ts.isFunctionExpression(node)) &&
+            node.parameters[0] &&
+            ts.isIdentifier(node.parameters[0].name) &&
+            isArrayIterationCallback(node, arrayNames)) {
+            itemNames.add(node.parameters[0].name.text);
+        }
+    });
+    return itemNames;
+}
+export function spreadCallbackIsOverridden(spread, callbackProp) {
+    const object = spread.parent;
+    if (!ts.isObjectLiteralExpression(object)) {
+        return false;
+    }
+    const following = object.properties.slice(object.properties.indexOf(spread) + 1);
+    return (!following.some((property) => ts.isSpreadAssignment(property)) &&
+        following.some((property) => !ts.isSpreadAssignment(property) && propertyName(property.name) === callbackProp));
+}
+export function arrayBindingsStayWithinTrackedConsumers(source, arrayNames) {
+    let safe = true;
+    visit(source.owner.body, (node) => {
+        if (!safe ||
+            !ts.isIdentifier(node) ||
+            !arrayNames.has(node.text) ||
+            isBindingName(node) ||
+            isNonValueIdentifier(node)) {
+            return;
+        }
+        safe = arrayReferenceStaysTracked(node);
+    });
+    return safe;
+}
+function arrayReferenceStaysTracked(node) {
+    const value = climbTransparentExpression(node);
+    const member = value.parent;
+    if (!ts.isPropertyAccessExpression(member) || member.expression !== value) {
+        return false;
+    }
+    if (member.name.text === "length") {
+        return true;
+    }
+    return (ts.isCallExpression(member.parent) &&
+        member.parent.expression === member &&
+        (member.name.text === "at" || TRACKED_ARRAY_ITERATION_METHODS.has(member.name.text)));
+}
+function isArrayItemLookup(expression, arrayName) {
+    return (ts.isCallExpression(expression) &&
+        ts.isPropertyAccessExpression(expression.expression) &&
+        ts.isIdentifier(expression.expression.expression) &&
+        expression.expression.expression.text === arrayName &&
+        expression.expression.name.text === "at");
+}
+function isFilteredArrayAlias(expression, arrayNames) {
+    const call = unwrapTransparentExpression(expression);
+    return (ts.isCallExpression(call) &&
+        ts.isPropertyAccessExpression(call.expression) &&
+        ts.isIdentifier(call.expression.expression) &&
+        arrayNames.has(call.expression.expression.text) &&
+        call.expression.name.text === "filter" &&
+        call.arguments[0] !== undefined &&
+        (ts.isArrowFunction(call.arguments[0]) || ts.isFunctionExpression(call.arguments[0])));
+}
+function isArrayIterationCallback(callback, arrayNames) {
+    const call = callback.parent;
+    return (ts.isCallExpression(call) &&
+        call.arguments[0] === callback &&
+        ts.isPropertyAccessExpression(call.expression) &&
+        ts.isIdentifier(call.expression.expression) &&
+        arrayNames.has(call.expression.expression.text) &&
+        TRACKED_ARRAY_ITERATION_METHODS.has(call.expression.name.text));
+}
+//# sourceMappingURL=array-prop-tracking.js.map

package/dist/src/rules/child-contract/array-prop-tracking.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"array-prop-tracking.js","sourceRoot":"","sources":["../../../../src/rules/child-contract/array-prop-tracking.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EACvB,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEjE,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AACjE,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE1C,MAAM,+BAA+B,GAAG,IAAI,GAAG,CAAC;IAC9C,OAAO;IACP,QAAQ;IACR,MAAM;IACN,WAAW;IACX,SAAS;IACT,SAAS;IACT,KAAK;IACL,MAAM;CACP,CAAC,CAAC;AAEH,MAAM,UAAU,iBAAiB,CAC/B,MAA4B,EAC5B,SAAiB;IAEjB,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IACxC,IAAI,UAAU,GAAG,IAAI,CAAC;IACtB,MAAM,YAAY,GAAG,CAAC,IAAa,EAAQ,EAAE;QAC3C,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC/B,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC3B,CAAC,IAAI,CAAC,WAAW;YACjB,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAC9B,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,MAAM,CAAC;YAC1C,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;YAC9C,uBAAuB,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;YAC3D,CAAC,oBAAoB,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,CAAC,EACnD,CAAC;YACD,OAAO;QACT,CAAC;QACD,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,UAAU,GAAG,IAAI,CAAC;IACpB,CAAC,CAAC;IACF,OAAO,UAAU,IAAI,UAAU,CAAC,IAAI,GAAG,iBAAiB,EAAE,CAAC;QACzD,UAAU,GAAG,KAAK,CAAC;QACnB,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,MAA4B,EAC5B,UAA+B;IAE/B,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAChC,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,WAAW;YAChB,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAAY,EAAE,IAAI,CAAC,CAAC,EAC1E,CAAC;YACD,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC;QACD,IACE,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;YAC3D,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;YAClB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACxC,wBAAwB,CAAC,IAAI,EAAE,UAAU,CAAC,EAC1C,CAAC;YACD,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,MAA2B,EAC3B,YAAoB;IAEpB,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAC7B,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;IACjF,OAAO,CACL,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC;QAC9D,SAAS,CAAC,IAAI,CACZ,CAAC,QAAQ,EAAE,EAAE,CACX,CAAC,EAAE,CAAC,kBAAkB,CAAC,QAAQ,CAAC,IAAI,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,YAAY,CACnF,CACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uCAAuC,CACrD,MAA4B,EAC5B,UAA+B;IAE/B,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAChC,IACE,CAAC,IAAI;YACL,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1B,aAAa,CAAC,IAAI,CAAC;YACnB,oBAAoB,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,0BAA0B,CAAC,IAAmB;IACrD,MAAM,KAAK,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC;IAC/C,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC5B,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,KAAK,EAAE,CAAC;QAC1E,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CACL,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,UAAU,KAAK,MAAM;QACnC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,+BAA+B,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CACrF,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,UAAyB,EAAE,SAAiB;IACrE,OAAO,CACL,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC;QAC/B,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC,UAAU,CAAC;QACpD,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,UAAU,CAAC,UAAU,CAAC;QACjD,UAAU,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS;QACnD,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CACzC,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,UAAyB,EAAE,UAA+B;IACtF,MAAM,IAAI,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACrD,OAAO,CACL,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC;QAC9C,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;QAC3C,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC;QAC/C,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QACtC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,SAAS;QAC/B,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CACtF,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,QAAkD,EAClD,UAA+B;IAE/B,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC;IAC7B,OAAO,CACL,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,QAAQ;QAC9B,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC;QAC9C,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;QAC3C,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC;QAC/C,+BAA+B,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAC/D,CAAC;AACJ,CAAC"}

package/dist/src/rules/child-contract/callback-hosting.d.ts

@@ -0,0 +1,8 @@
+import type { ChildComponentSource } from "./model.js";
+import ts from "typescript";
+export declare function callbackBindingName(callback: ts.ArrowFunction | ts.FunctionDeclaration | ts.FunctionExpression, owner: ChildComponentSource["owner"]): string | null;
+export declare function identifierRunsInProvenDeferredHook(identifier: ts.Identifier, deferredCallbackHooks: ReadonlyMap<string, ReadonlySet<number>>): boolean;
+export declare function callbackRunsInProvenDeferredHook(callback: ts.ArrowFunction | ts.FunctionDeclaration | ts.FunctionExpression, deferredCallbackHooks: ReadonlyMap<string, ReadonlySet<number>>): boolean;
+export declare function callbackIsStoredInProperty(callback: ts.ArrowFunction | ts.FunctionExpression): boolean;
+export declare function callbackRunsInImmediateReactHook(callback: ts.ArrowFunction | ts.FunctionDeclaration | ts.FunctionExpression): boolean;
+//# sourceMappingURL=callback-hosting.d.ts.map

package/dist/src/rules/child-contract/callback-hosting.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"callback-hosting.d.ts","sourceRoot":"","sources":["../../../../src/rules/child-contract/callback-hosting.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAEvD,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,mBAAmB,GAAG,EAAE,CAAC,kBAAkB,EAC3E,KAAK,EAAE,oBAAoB,CAAC,OAAO,CAAC,GACnC,MAAM,GAAG,IAAI,CAmBf;AA6BD,wBAAgB,kCAAkC,CAChD,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,qBAAqB,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,GAC9D,OAAO,CAYT;AAED,wBAAgB,gCAAgC,CAC9C,QAAQ,EAAE,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,mBAAmB,GAAG,EAAE,CAAC,kBAAkB,EAC3E,qBAAqB,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,GAC9D,OAAO,CAeT;AAED,wBAAgB,0BAA0B,CACxC,QAAQ,EAAE,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,kBAAkB,GACjD,OAAO,CAmBT;AAED,wBAAgB,gCAAgC,CAC9C,QAAQ,EAAE,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,mBAAmB,GAAG,EAAE,CAAC,kBAAkB,GAC1E,OAAO,CAgBT"}

package/dist/src/rules/child-contract/callback-hosting.js

@@ -0,0 +1,104 @@
+import { bindingDeclarationCount, hookCallName } from "../../core/analysis-ast.js";
+import { findAncestor, nodeWithin } from "../../core/ast.js";
+import { climbTransparentExpression } from "./carried-values.js";
+import ts from "typescript";
+export function callbackBindingName(callback, owner) {
+    if (ts.isFunctionDeclaration(callback)) {
+        return callback.name?.text ?? null;
+    }
+    if (ts.isVariableDeclaration(callback.parent) && ts.isIdentifier(callback.parent.name)) {
+        return callback.parent.name.text;
+    }
+    const call = memoizedCallbackIdentityCall(callback, owner);
+    if (!call) {
+        return null;
+    }
+    const expression = climbTransparentExpression(call);
+    const declaration = expression.parent;
+    return ts.isVariableDeclaration(declaration) &&
+        declaration.initializer === expression &&
+        ts.isIdentifier(declaration.name) &&
+        bindingDeclarationCount(owner, declaration.name.text) === 1
+        ? declaration.name.text
+        : null;
+}
+function memoizedCallbackIdentityCall(callback, owner) {
+    const direct = callback.parent;
+    if (ts.isCallExpression(direct) &&
+        direct.arguments[0] === callback &&
+        hookCallName(direct) === "useCallback" &&
+        bindingDeclarationCount(owner, "useCallback") === 0) {
+        return direct;
+    }
+    const returned = climbTransparentExpression(callback);
+    const factory = returned.parent;
+    if (!ts.isArrowFunction(factory) || factory.body !== returned) {
+        return null;
+    }
+    const memo = factory.parent;
+    return ts.isCallExpression(memo) &&
+        memo.arguments[0] === factory &&
+        hookCallName(memo) === "useMemo" &&
+        bindingDeclarationCount(owner, "useMemo") === 0
+        ? memo
+        : null;
+}
+export function identifierRunsInProvenDeferredHook(identifier, deferredCallbackHooks) {
+    const call = findAncestor(identifier, ts.isCallExpression);
+    if (!call || nodeWithin(identifier, call.expression)) {
+        return false;
+    }
+    const argumentIndex = call.arguments.findIndex((argument) => nodeWithin(identifier, argument));
+    const hookName = hookCallName(call);
+    return (argumentIndex !== -1 &&
+        hookName !== null &&
+        deferredCallbackHooks.get(hookName)?.has(argumentIndex) === true);
+}
+export function callbackRunsInProvenDeferredHook(callback, deferredCallbackHooks) {
+    if (ts.isFunctionDeclaration(callback)) {
+        return false;
+    }
+    const call = callback.parent;
+    if (!ts.isCallExpression(call)) {
+        return false;
+    }
+    const argumentIndex = call.arguments.indexOf(callback);
+    const hookName = hookCallName(call);
+    return (argumentIndex !== -1 &&
+        hookName !== null &&
+        deferredCallbackHooks.get(hookName)?.has(argumentIndex) === true);
+}
+export function callbackIsStoredInProperty(callback) {
+    let expression = callback;
+    while ((ts.isParenthesizedExpression(expression.parent) ||
+        ts.isAsExpression(expression.parent) ||
+        ts.isTypeAssertionExpression(expression.parent) ||
+        ts.isSatisfiesExpression(expression.parent) ||
+        ts.isNonNullExpression(expression.parent)) &&
+        expression.parent.expression === expression) {
+        expression = expression.parent;
+    }
+    if (ts.isConditionalExpression(expression.parent) &&
+        (expression.parent.whenTrue === expression || expression.parent.whenFalse === expression)) {
+        expression = expression.parent;
+    }
+    return ts.isPropertyAssignment(expression.parent) && expression.parent.initializer === expression;
+}
+export function callbackRunsInImmediateReactHook(callback) {
+    if (ts.isFunctionDeclaration(callback)) {
+        return false;
+    }
+    const call = callback.parent;
+    if (!ts.isCallExpression(call) || !call.arguments.includes(callback)) {
+        return false;
+    }
+    return [
+        "useEffect",
+        "useInsertionEffect",
+        "useLayoutEffect",
+        "useMemo",
+        "useReducer",
+        "useState",
+    ].includes(hookCallName(call) ?? "");
+}
+//# sourceMappingURL=callback-hosting.js.map

package/dist/src/rules/child-contract/callback-hosting.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"callback-hosting.js","sourceRoot":"","sources":["../../../../src/rules/child-contract/callback-hosting.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AACnF,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAE7D,OAAO,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AACjE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,mBAAmB,CACjC,QAA2E,EAC3E,KAAoC;IAEpC,IAAI,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvC,OAAO,QAAQ,CAAC,IAAI,EAAE,IAAI,IAAI,IAAI,CAAC;IACrC,CAAC;IACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACvF,OAAO,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IACnC,CAAC;IACD,MAAM,IAAI,GAAG,4BAA4B,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC3D,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,UAAU,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC;IACpD,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC;IACtC,OAAO,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;QAC1C,WAAW,CAAC,WAAW,KAAK,UAAU;QACtC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC;QACjC,uBAAuB,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;QAC3D,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI;QACvB,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,4BAA4B,CACnC,QAAkD,EAClD,KAAoC;IAEpC,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;IAC/B,IACE,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC;QAC3B,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,QAAQ;QAChC,YAAY,CAAC,MAAM,CAAC,KAAK,aAAa;QACtC,uBAAuB,CAAC,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,EACnD,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,QAAQ,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAC;IACtD,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC;IAChC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC9D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC;IAC5B,OAAO,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAC9B,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,OAAO;QAC7B,YAAY,CAAC,IAAI,CAAC,KAAK,SAAS;QAChC,uBAAuB,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC;QAC/C,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,MAAM,UAAU,kCAAkC,CAChD,UAAyB,EACzB,qBAA+D;IAE/D,MAAM,IAAI,GAAG,YAAY,CAAC,UAAU,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC;IAC3D,IAAI,CAAC,IAAI,IAAI,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QACrD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC/F,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACpC,OAAO,CACL,aAAa,KAAK,CAAC,CAAC;QACpB,QAAQ,KAAK,IAAI;QACjB,qBAAqB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,aAAa,CAAC,KAAK,IAAI,CACjE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gCAAgC,CAC9C,QAA2E,EAC3E,qBAA+D;IAE/D,IAAI,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC;IAC7B,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACvD,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACpC,OAAO,CACL,aAAa,KAAK,CAAC,CAAC;QACpB,QAAQ,KAAK,IAAI;QACjB,qBAAqB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,aAAa,CAAC,KAAK,IAAI,CACjE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,QAAkD;IAElD,IAAI,UAAU,GAAkB,QAAQ,CAAC;IACzC,OACE,CAAC,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC,MAAM,CAAC;QAC9C,EAAE,CAAC,cAAc,CAAC,UAAU,CAAC,MAAM,CAAC;QACpC,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC,MAAM,CAAC;QAC/C,EAAE,CAAC,qBAAqB,CAAC,UAAU,CAAC,MAAM,CAAC;QAC3C,EAAE,CAAC,mBAAmB,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAC5C,UAAU,CAAC,MAAM,CAAC,UAAU,KAAK,UAAU,EAC3C,CAAC;QACD,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC;IACjC,CAAC;IACD,IACE,EAAE,CAAC,uBAAuB,CAAC,UAAU,CAAC,MAAM,CAAC;QAC7C,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,KAAK,UAAU,IAAI,UAAU,CAAC,MAAM,CAAC,SAAS,KAAK,UAAU,CAAC,EACzF,CAAC;QACD,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC;IACjC,CAAC;IACD,OAAO,EAAE,CAAC,oBAAoB,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,WAAW,KAAK,UAAU,CAAC;AACpG,CAAC;AAED,MAAM,UAAU,gCAAgC,CAC9C,QAA2E;IAE3E,IAAI,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC;IAC7B,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO;QACL,WAAW;QACX,oBAAoB;QACpB,iBAAiB;QACjB,SAAS;QACT,YAAY;QACZ,UAAU;KACX,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;AACvC,CAAC"}

package/dist/src/rules/child-contract/callback-identity-hooks.d.ts

@@ -0,0 +1,4 @@
+import type ts from "typescript";
+export declare const CALLBACK_IDENTITY_HOOKS: Set<string>;
+export declare function reactNamespacesFor(sourceFile: ts.SourceFile): ReadonlySet<string>;
+//# sourceMappingURL=callback-identity-hooks.d.ts.map

package/dist/src/rules/child-contract/callback-identity-hooks.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"callback-identity-hooks.d.ts","sourceRoot":"","sources":["../../../../src/rules/child-contract/callback-identity-hooks.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,eAAO,MAAM,uBAAuB,aAMlC,CAAC;AAIH,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,CAQjF"}

package/dist/src/rules/child-contract/callback-identity-hooks.js

@@ -0,0 +1,19 @@
+import { collectHookImports } from "../../core/imports.js";
+export const CALLBACK_IDENTITY_HOOKS = new Set([
+    "useCallback",
+    "useEffect",
+    "useInsertionEffect",
+    "useLayoutEffect",
+    "useMemo",
+]);
+const reactNamespacesBySourceFile = new WeakMap();
+export function reactNamespacesFor(sourceFile) {
+    const cached = reactNamespacesBySourceFile.get(sourceFile);
+    if (cached) {
+        return cached;
+    }
+    const namespaces = collectHookImports(sourceFile).reactNamespaces;
+    reactNamespacesBySourceFile.set(sourceFile, namespaces);
+    return namespaces;
+}
+//# sourceMappingURL=callback-identity-hooks.js.map

package/dist/src/rules/child-contract/callback-identity-hooks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"callback-identity-hooks.js","sourceRoot":"","sources":["../../../../src/rules/child-contract/callback-identity-hooks.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAG3D,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAC;IAC7C,aAAa;IACb,WAAW;IACX,oBAAoB;IACpB,iBAAiB;IACjB,SAAS;CACV,CAAC,CAAC;AAEH,MAAM,2BAA2B,GAAG,IAAI,OAAO,EAAsC,CAAC;AAEtF,MAAM,UAAU,kBAAkB,CAAC,UAAyB;IAC1D,MAAM,MAAM,GAAG,2BAA2B,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC3D,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,UAAU,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC,eAAe,CAAC;IAClE,2BAA2B,CAAC,GAAG,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IACxD,OAAO,UAAU,CAAC;AACpB,CAAC"}

package/dist/src/rules/child-contract/carried-values.d.ts

@@ -0,0 +1,13 @@
+import type { ChildComponentSource } from "./model.js";
+import ts from "typescript";
+export declare function constArrayBinding(array: ts.ArrayLiteralExpression, owner: ChildComponentSource["owner"]): ts.Identifier | null;
+export declare function staticPropertyAccessFrom(expression: ts.Expression): {
+    expression: ts.Expression;
+    name: string;
+} | null;
+export declare function expressionCarriesValue(expression: ts.Expression, value: ts.Expression): boolean;
+export declare function directConstAlias(expression: ts.Expression, owner: ChildComponentSource["owner"]): ts.Identifier | null;
+export declare function climbTransparentExpression(expression: ts.Expression): ts.Expression;
+export declare function isNullishExpression(expression: ts.Expression, owner: ChildComponentSource["owner"]): boolean;
+export declare function objectLiteralPropertyValue(member: ts.ObjectLiteralElementLike | null | undefined): ts.Expression | null;
+//# sourceMappingURL=carried-values.d.ts.map

package/dist/src/rules/child-contract/carried-values.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"carried-values.d.ts","sourceRoot":"","sources":["../../../../src/rules/child-contract/carried-values.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AACvD,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,EAAE,CAAC,sBAAsB,EAChC,KAAK,EAAE,oBAAoB,CAAC,OAAO,CAAC,GACnC,EAAE,CAAC,UAAU,GAAG,IAAI,CActB;AAED,wBAAgB,wBAAwB,CACtC,UAAU,EAAE,EAAE,CAAC,UAAU,GACxB;IAAE,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAcpD;AAED,wBAAgB,sBAAsB,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,GAAG,OAAO,CAiB/F;AAMD,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,KAAK,EAAE,oBAAoB,CAAC,OAAO,CAAC,GACnC,EAAE,CAAC,UAAU,GAAG,IAAI,CAatB;AAED,wBAAgB,0BAA0B,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,EAAE,CAAC,UAAU,CAanF;AAED,wBAAgB,mBAAmB,CACjC,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,KAAK,EAAE,oBAAoB,CAAC,OAAO,CAAC,GACnC,OAAO,CAQT;AAED,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,EAAE,CAAC,wBAAwB,GAAG,IAAI,GAAG,SAAS,GACrD,EAAE,CAAC,UAAU,GAAG,IAAI,CAQtB"}

package/dist/src/rules/child-contract/carried-values.js

@@ -0,0 +1,86 @@
+import { bindingDeclarationCount, unwrapTransparentExpression } from "../../core/analysis-ast.js";
+import ts from "typescript";
+export function constArrayBinding(array, owner) {
+    const carriedArray = climbTransparentExpression(array);
+    const declaration = carriedArray.parent;
+    if (!ts.isVariableDeclaration(declaration) ||
+        declaration.initializer !== carriedArray ||
+        !ts.isIdentifier(declaration.name) ||
+        !ts.isVariableDeclarationList(declaration.parent) ||
+        (declaration.parent.flags & ts.NodeFlags.Const) === 0 ||
+        bindingDeclarationCount(owner, declaration.name.text) !== 1) {
+        return null;
+    }
+    return declaration.name;
+}
+export function staticPropertyAccessFrom(expression) {
+    const { parent } = expression;
+    if (ts.isPropertyAccessExpression(parent) && parent.expression === expression) {
+        return { expression: parent, name: parent.name.text };
+    }
+    if (ts.isElementAccessExpression(parent) &&
+        parent.expression === expression &&
+        parent.argumentExpression &&
+        ts.isStringLiteralLike(parent.argumentExpression)) {
+        return { expression: parent, name: parent.argumentExpression.text };
+    }
+    return null;
+}
+export function expressionCarriesValue(expression, value) {
+    const unwrapped = unwrapTransparentExpression(expression);
+    if (unwrapped === value) {
+        return true;
+    }
+    if (!ts.isBinaryExpression(unwrapped) ||
+        unwrapped.operatorToken.kind !== ts.SyntaxKind.QuestionQuestionToken) {
+        return false;
+    }
+    const left = unwrapTransparentExpression(unwrapped.left);
+    const right = unwrapTransparentExpression(unwrapped.right);
+    return ((left === value && isEmptyObjectLiteral(right)) ||
+        (right === value && isEmptyObjectLiteral(left)));
+}
+function isEmptyObjectLiteral(expression) {
+    return ts.isObjectLiteralExpression(expression) && expression.properties.length === 0;
+}
+export function directConstAlias(expression, owner) {
+    const declaration = expression.parent;
+    if (!ts.isVariableDeclaration(declaration) ||
+        declaration.initializer !== expression ||
+        !ts.isIdentifier(declaration.name) ||
+        !ts.isVariableDeclarationList(declaration.parent) ||
+        (declaration.parent.flags & ts.NodeFlags.Const) === 0 ||
+        bindingDeclarationCount(owner, declaration.name.text) !== 1) {
+        return null;
+    }
+    return declaration.name;
+}
+export function climbTransparentExpression(expression) {
+    let current = expression;
+    while ((ts.isParenthesizedExpression(current.parent) ||
+        ts.isAsExpression(current.parent) ||
+        ts.isTypeAssertionExpression(current.parent) ||
+        ts.isSatisfiesExpression(current.parent) ||
+        ts.isNonNullExpression(current.parent)) &&
+        current.parent.expression === current) {
+        current = current.parent;
+    }
+    return current;
+}
+export function isNullishExpression(expression, owner) {
+    const value = unwrapTransparentExpression(expression);
+    return (value.kind === ts.SyntaxKind.NullKeyword ||
+        (ts.isIdentifier(value) &&
+            value.text === "undefined" &&
+            bindingDeclarationCount(owner, "undefined") === 0));
+}
+export function objectLiteralPropertyValue(member) {
+    if (member && ts.isShorthandPropertyAssignment(member)) {
+        return member.name;
+    }
+    if (member && ts.isPropertyAssignment(member)) {
+        return unwrapTransparentExpression(member.initializer);
+    }
+    return null;
+}
+//# sourceMappingURL=carried-values.js.map

package/dist/src/rules/child-contract/carried-values.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"carried-values.js","sourceRoot":"","sources":["../../../../src/rules/child-contract/carried-values.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AAElG,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,iBAAiB,CAC/B,KAAgC,EAChC,KAAoC;IAEpC,MAAM,YAAY,GAAG,0BAA0B,CAAC,KAAK,CAAC,CAAC;IACvD,MAAM,WAAW,GAAG,YAAY,CAAC,MAAM,CAAC;IACxC,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;QACtC,WAAW,CAAC,WAAW,KAAK,YAAY;QACxC,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC;QAClC,CAAC,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC,MAAM,CAAC;QACjD,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;QACrD,uBAAuB,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAC3D,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,WAAW,CAAC,IAAI,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,UAAyB;IAEzB,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,CAAC;IAC9B,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;QAC9E,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IACxD,CAAC;IACD,IACE,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;QACpC,MAAM,CAAC,UAAU,KAAK,UAAU;QAChC,MAAM,CAAC,kBAAkB;QACzB,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,kBAAkB,CAAC,EACjD,CAAC;QACD,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,kBAAkB,CAAC,IAAI,EAAE,CAAC;IACtE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,UAAyB,EAAE,KAAoB;IACpF,MAAM,SAAS,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IAC1D,IAAI,SAAS,KAAK,KAAK,EAAE,CAAC;QACxB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IACE,CAAC,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC;QACjC,SAAS,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,qBAAqB,EACpE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,2BAA2B,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACzD,MAAM,KAAK,GAAG,2BAA2B,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC3D,OAAO,CACL,CAAC,IAAI,KAAK,KAAK,IAAI,oBAAoB,CAAC,KAAK,CAAC,CAAC;QAC/C,CAAC,KAAK,KAAK,KAAK,IAAI,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAChD,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,UAAyB;IACrD,OAAO,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC;AACxF,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,UAAyB,EACzB,KAAoC;IAEpC,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC;IACtC,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;QACtC,WAAW,CAAC,WAAW,KAAK,UAAU;QACtC,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC;QAClC,CAAC,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC,MAAM,CAAC;QACjD,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;QACrD,uBAAuB,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAC3D,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,WAAW,CAAC,IAAI,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,UAAyB;IAClE,IAAI,OAAO,GAAG,UAAU,CAAC;IACzB,OACE,CAAC,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,MAAM,CAAC;QAC3C,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC;QACjC,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,MAAM,CAAC;QAC5C,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC,MAAM,CAAC;QACxC,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACzC,OAAO,CAAC,MAAM,CAAC,UAAU,KAAK,OAAO,EACrC,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,UAAyB,EACzB,KAAoC;IAEpC,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,OAAO,CACL,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACxC,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC;YACrB,KAAK,CAAC,IAAI,KAAK,WAAW;YAC1B,uBAAuB,CAAC,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CACrD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,MAAsD;IAEtD,IAAI,MAAM,IAAI,EAAE,CAAC,6BAA6B,CAAC,MAAM,CAAC,EAAE,CAAC;QACvD,OAAO,MAAM,CAAC,IAAI,CAAC;IACrB,CAAC;IACD,IAAI,MAAM,IAAI,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9C,OAAO,2BAA2B,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}