legend-doctor 0.1.0

package/dist/src/rules/source-callback-contract/source-callback-contract.js

@@ -0,0 +1,237 @@
+import { bindingDeclarationCount, hookCallName, isDeclarationName, isNonValueIdentifier, } from "../../core/analysis-ast.js";
+import { callbackIsWithinReactEffect, isImportedReactEffect, isTracedFunction, reactHookImports, } from "./react-effects.js";
+import { callbackReferenceIsRefStorage, refCurrentAssignment, refObjectPropertyAccess, refRefreshesCallback, storedCallbackRef, } from "./latest-callback-ref.js";
+import { findAncestorUntil, nearestNestedFunction, nodeWithin, visit } from "../../core/ast.js";
+import ts from "typescript";
+const MAX_CALLBACK_DEPTH = 8;
+export function sourceHookDefersCallback({ argumentIndex, property, resolver, source, }) {
+    return hookDefersCallback({ argumentIndex, property, source }, { depth: 0, resolver, visited: new Set() });
+}
+function hookDefersCallback(query, trace) {
+    const key = hookCallbackKey(query);
+    if (trace.depth > MAX_CALLBACK_DEPTH || !query.source.owner.body || trace.visited.has(key)) {
+        return false;
+    }
+    const { argumentIndex, property, source } = query;
+    const binding = callbackBinding(source.owner, argumentIndex, property);
+    if (!binding || bindingDeclarationCount(source.owner, binding.name.text) !== 1) {
+        return false;
+    }
+    return bindingIsDeferred(binding.name, {
+        depth: trace.depth,
+        hooks: reactHookImports(source.sourceFile),
+        resolver: trace.resolver,
+        source,
+        visited: new Set(trace.visited).add(key),
+    });
+}
+/** Identifies one callback input of one hook declaration, so a trace never re-enters it. */
+function hookCallbackKey(query) {
+    const { argumentIndex, property, source } = query;
+    return `${source.file}\0${source.owner.pos}\0${argumentIndex}\0${property ?? ""}`;
+}
+/** The binding is refreshed through at most one latest-callback ref and never runs on render. */
+function bindingIsDeferred(binding, trace) {
+    const storedRef = storedCallbackRef(binding, trace);
+    if (storedRef && !refRefreshesCallback(binding, storedRef, trace)) {
+        return false;
+    }
+    return (callbackBindingOnlyDefers(binding, storedRef, trace) &&
+        (!storedRef || storedRefExecutesDeferred(storedRef, trace)));
+}
+/** Every value reference to the callback parameter either stores it in the ref or defers it. */
+function callbackBindingOnlyDefers(binding, storedRef, trace) {
+    let references = 0;
+    let safe = true;
+    visit(trace.source.owner.body, (node) => {
+        if (!safe ||
+            !ts.isIdentifier(node) ||
+            node.text !== binding.text ||
+            node === binding ||
+            isDeclarationName(node) ||
+            isNonValueIdentifier(node)) {
+            return;
+        }
+        references += 1;
+        if (storedRef && callbackReferenceIsRefStorage(node, storedRef, trace)) {
+            return;
+        }
+        if (!referenceExecutesDeferred(node, trace)) {
+            safe = false;
+        }
+    });
+    return safe && references > 0;
+}
+function referenceExecutesDeferred(reference, trace) {
+    const callback = nearestNestedFunction(reference, trace.source.owner);
+    const deeper = { ...trace, depth: trace.depth + 1 };
+    return callback && isTracedFunction(callback)
+        ? callbackExecutesDeferred(callback, deeper)
+        : referenceIsDirectDeferredHookArgument(reference, deeper);
+}
+function callbackExecutesDeferred(callback, trace) {
+    if (trace.depth > MAX_CALLBACK_DEPTH) {
+        return false;
+    }
+    if (callbackIsWithinReactEffect(callback, trace.source.owner, trace.hooks)) {
+        return true;
+    }
+    if (callbackIsDeferredHookArgument(callback, trace)) {
+        return true;
+    }
+    const name = localCallbackName(callback);
+    if (!name || !trace.source.owner.body) {
+        return false;
+    }
+    return localCallbackOnlyDefers(name, trace);
+}
+/** The callback is written inline as an argument of a React effect or of a deferring hook. */
+function callbackIsDeferredHookArgument(callback, trace) {
+    if (ts.isFunctionDeclaration(callback)) {
+        return false;
+    }
+    const call = callback.parent;
+    if (!ts.isCallExpression(call)) {
+        return false;
+    }
+    const argumentIndex = call.arguments.indexOf(callback);
+    return argumentIndex !== -1 && callDefersArgument(call, argumentIndex, trace);
+}
+/** Every reference to the named local callback is reached only from deferred code. */
+function localCallbackOnlyDefers(name, trace) {
+    let references = 0;
+    let safe = true;
+    visit(trace.source.owner.body, (node) => {
+        if (!safe ||
+            !ts.isIdentifier(node) ||
+            node.text !== name ||
+            isDeclarationName(node) ||
+            isNonValueIdentifier(node)) {
+            return;
+        }
+        references += 1;
+        if (!localCallbackReferenceDefers(node, trace)) {
+            safe = false;
+        }
+    });
+    return safe && references > 0;
+}
+function localCallbackReferenceDefers(reference, trace) {
+    if (referenceIsDirectDeferredHookArgument(reference, trace)) {
+        return true;
+    }
+    if (!ts.isCallExpression(reference.parent) || reference.parent.expression !== reference) {
+        return false;
+    }
+    const caller = nearestNestedFunction(reference, trace.source.owner);
+    if (!caller || !isTracedFunction(caller)) {
+        return false;
+    }
+    return callbackExecutesDeferred(caller, { ...trace, depth: trace.depth + 1 });
+}
+function referenceIsDirectDeferredHookArgument(reference, trace) {
+    const call = findAncestorUntil(reference, ts.isCallExpression, trace.source.owner);
+    if (!call) {
+        return false;
+    }
+    const argumentIndex = call.arguments.findIndex((argument) => nodeWithin(reference, argument));
+    return argumentIndex !== -1 && callDefersArgument(call, argumentIndex, trace);
+}
+/** The call is a React effect, or a resolved project hook that itself defers that argument. */
+function callDefersArgument(call, argumentIndex, trace) {
+    if (isImportedReactEffect(call, trace.hooks)) {
+        return true;
+    }
+    const name = hookCallName(call);
+    const target = name ? trace.resolver.resolveHook(trace.source.file, name) : null;
+    return (target !== null && hookDefersCallback({ argumentIndex, property: null, source: target }, trace));
+}
+function storedRefExecutesDeferred(storedRef, trace) {
+    if (bindingDeclarationCount(trace.source.owner, storedRef.name) !== 1) {
+        return false;
+    }
+    let calls = 0;
+    let safe = true;
+    visit(trace.source.owner.body, (node) => {
+        if (!safe ||
+            !ts.isIdentifier(node) ||
+            node.text !== storedRef.name ||
+            isDeclarationName(node) ||
+            isNonValueIdentifier(node)) {
+            return;
+        }
+        const outcome = storedRefReferenceOutcome(node, storedRef, trace);
+        if (outcome === "unsafe") {
+            safe = false;
+            return;
+        }
+        if (outcome === "deferred-call") {
+            calls += 1;
+        }
+    });
+    return safe && calls > 0;
+}
+/** Classifies one use of the latest-callback ref binding inside the hook body. */
+function storedRefReferenceOutcome(reference, storedRef, trace) {
+    if (refCurrentAssignment(reference, storedRef.name)) {
+        return "ignored";
+    }
+    const callbackAccess = refObjectPropertyAccess(reference);
+    if (!callbackAccess) {
+        return "unsafe";
+    }
+    if (callbackAccess.name.text !== storedRef.property) {
+        return "ignored";
+    }
+    return storedRefCallDefers(callbackAccess, trace) ? "deferred-call" : "unsafe";
+}
+/** The stored callback is invoked here, and the function holding that call is itself deferred. */
+function storedRefCallDefers(access, trace) {
+    if (!ts.isCallExpression(access.parent) || access.parent.expression !== access) {
+        return false;
+    }
+    const callback = nearestNestedFunction(access, trace.source.owner);
+    if (!callback || !isTracedFunction(callback)) {
+        return false;
+    }
+    return callbackExecutesDeferred(callback, { ...trace, depth: trace.depth + 1 });
+}
+function callbackBinding(owner, argumentIndex, property) {
+    const parameter = owner.parameters[argumentIndex];
+    if (!parameter) {
+        return null;
+    }
+    if (property === null) {
+        return ts.isIdentifier(parameter.name) ? { name: parameter.name } : null;
+    }
+    return ts.isObjectBindingPattern(parameter.name)
+        ? destructuredBinding(parameter.name, property)
+        : null;
+}
+/** The plain element of an object binding pattern that reads the named source property. */
+function destructuredBinding(pattern, property) {
+    for (const element of pattern.elements) {
+        if (!ts.isBindingElement(element) ||
+            element.dotDotDotToken ||
+            element.initializer ||
+            !ts.isIdentifier(element.name)) {
+            continue;
+        }
+        const sourceName = element.propertyName && ts.isIdentifier(element.propertyName)
+            ? element.propertyName.text
+            : element.name.text;
+        if (sourceName === property) {
+            return { name: element.name };
+        }
+    }
+    return null;
+}
+function localCallbackName(callback) {
+    if (ts.isFunctionDeclaration(callback)) {
+        return callback.name?.text ?? null;
+    }
+    return ts.isVariableDeclaration(callback.parent) && ts.isIdentifier(callback.parent.name)
+        ? callback.parent.name.text
+        : null;
+}
+//# sourceMappingURL=source-callback-contract.js.map

package/dist/src/rules/source-callback-contract/source-callback-contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-callback-contract.js","sourceRoot":"","sources":["../../../../src/rules/source-callback-contract/source-callback-contract.ts"],"names":[],"mappings":"AASA,OAAO,EACL,uBAAuB,EACvB,YAAY,EACZ,iBAAiB,EACjB,oBAAoB,GACrB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,2BAA2B,EAC3B,qBAAqB,EACrB,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,6BAA6B,EAC7B,oBAAoB,EACpB,uBAAuB,EACvB,oBAAoB,EACpB,iBAAiB,GAClB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAChG,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,kBAAkB,GAAG,CAAC,CAAC;AAe7B,MAAM,UAAU,wBAAwB,CAAC,EACvC,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,MAAM,GACkB;IACxB,OAAO,kBAAkB,CACvB,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,EAAE,EACnC,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAC3C,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,KAA4B,EAAE,KAAoB;IAC5E,MAAM,GAAG,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IACnC,IAAI,KAAK,CAAC,KAAK,GAAG,kBAAkB,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3F,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IAClD,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,KAAK,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC;IACvE,IAAI,CAAC,OAAO,IAAI,uBAAuB,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/E,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,iBAAiB,CAAC,OAAO,CAAC,IAAI,EAAE;QACrC,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,KAAK,EAAE,gBAAgB,CAAC,MAAM,CAAC,UAAU,CAAC;QAC1C,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,MAAM;QACN,OAAO,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;KACzC,CAAC,CAAC;AACL,CAAC;AAED,4FAA4F;AAC5F,SAAS,eAAe,CAAC,KAA4B;IACnD,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IAClD,OAAO,GAAG,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,KAAK,CAAC,GAAG,KAAK,aAAa,KAAK,QAAQ,IAAI,EAAE,EAAE,CAAC;AACpF,CAAC;AAED,iGAAiG;AACjG,SAAS,iBAAiB,CAAC,OAAsB,EAAE,KAAoB;IACrE,MAAM,SAAS,GAAG,iBAAiB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACpD,IAAI,SAAS,IAAI,CAAC,oBAAoB,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC,EAAE,CAAC;QAClE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CACL,yBAAyB,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC;QACpD,CAAC,CAAC,SAAS,IAAI,yBAAyB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAC5D,CAAC;AACJ,CAAC;AAED,gGAAgG;AAChG,SAAS,yBAAyB,CAChC,OAAsB,EACtB,SAAmC,EACnC,KAAoB;IAEpB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACtC,IACE,CAAC,IAAI;YACL,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI;YAC1B,IAAI,KAAK,OAAO;YAChB,iBAAiB,CAAC,IAAI,CAAC;YACvB,oBAAoB,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,OAAO;QACT,CAAC;QACD,UAAU,IAAI,CAAC,CAAC;QAChB,IAAI,SAAS,IAAI,6BAA6B,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,EAAE,CAAC;YACvE,OAAO;QACT,CAAC;QACD,IAAI,CAAC,yBAAyB,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YAC5C,IAAI,GAAG,KAAK,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,IAAI,UAAU,GAAG,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,yBAAyB,CAAC,SAAwB,EAAE,KAAoB;IAC/E,MAAM,QAAQ,GAAG,qBAAqB,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACtE,MAAM,MAAM,GAAkB,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;IACnE,OAAO,QAAQ,IAAI,gBAAgB,CAAC,QAAQ,CAAC;QAC3C,CAAC,CAAC,wBAAwB,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC5C,CAAC,CAAC,qCAAqC,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,wBAAwB,CAC/B,QAA2E,EAC3E,KAAoB;IAEpB,IAAI,KAAK,CAAC,KAAK,GAAG,kBAAkB,EAAE,CAAC;QACrC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,2BAA2B,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,8BAA8B,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC;QACpD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IACzC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACtC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAC9C,CAAC;AAED,8FAA8F;AAC9F,SAAS,8BAA8B,CACrC,QAA2E,EAC3E,KAAoB;IAEpB,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,OAAO,aAAa,KAAK,CAAC,CAAC,IAAI,kBAAkB,CAAC,IAAI,EAAE,aAAa,EAAE,KAAK,CAAC,CAAC;AAChF,CAAC;AAED,sFAAsF;AACtF,SAAS,uBAAuB,CAAC,IAAY,EAAE,KAAoB;IACjE,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACtC,IACE,CAAC,IAAI;YACL,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,KAAK,IAAI;YAClB,iBAAiB,CAAC,IAAI,CAAC;YACvB,oBAAoB,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,OAAO;QACT,CAAC;QACD,UAAU,IAAI,CAAC,CAAC;QAChB,IAAI,CAAC,4BAA4B,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YAC/C,IAAI,GAAG,KAAK,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,IAAI,UAAU,GAAG,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,4BAA4B,CAAC,SAAwB,EAAE,KAAoB;IAClF,IAAI,qCAAqC,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,CAAC;QAC5D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QACxF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,qBAAqB,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACpE,IAAI,CAAC,MAAM,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;QACzC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,wBAAwB,CAAC,MAAM,EAAE,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;AAChF,CAAC;AAED,SAAS,qCAAqC,CAC5C,SAAwB,EACxB,KAAoB;IAEpB,MAAM,IAAI,GAAG,iBAAiB,CAAC,SAAS,EAAE,EAAE,CAAC,gBAAgB,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACnF,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC9F,OAAO,aAAa,KAAK,CAAC,CAAC,IAAI,kBAAkB,CAAC,IAAI,EAAE,aAAa,EAAE,KAAK,CAAC,CAAC;AAChF,CAAC;AAED,+FAA+F;AAC/F,SAAS,kBAAkB,CACzB,IAAuB,EACvB,aAAqB,EACrB,KAAoB;IAEpB,IAAI,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACjF,OAAO,CACL,MAAM,KAAK,IAAI,IAAI,kBAAkB,CAAC,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,KAAK,CAAC,CAChG,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAAC,SAA4B,EAAE,KAAoB;IACnF,IAAI,uBAAuB,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACtE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACtC,IACE,CAAC,IAAI;YACL,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI;YAC5B,iBAAiB,CAAC,IAAI,CAAC;YACvB,oBAAoB,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,OAAO,GAAG,yBAAyB,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;QAClE,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;YACzB,IAAI,GAAG,KAAK,CAAC;YACb,OAAO;QACT,CAAC;QACD,IAAI,OAAO,KAAK,eAAe,EAAE,CAAC;YAChC,KAAK,IAAI,CAAC,CAAC;QACb,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,IAAI,KAAK,GAAG,CAAC,CAAC;AAC3B,CAAC;AAID,kFAAkF;AAClF,SAAS,yBAAyB,CAChC,SAAwB,EACxB,SAA4B,EAC5B,KAAoB;IAEpB,IAAI,oBAAoB,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACpD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,cAAc,GAAG,uBAAuB,CAAC,SAAS,CAAC,CAAC;IAC1D,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,cAAc,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,QAAQ,EAAE,CAAC;QACpD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,mBAAmB,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,QAAQ,CAAC;AACjF,CAAC;AAED,kGAAkG;AAClG,SAAS,mBAAmB,CAAC,MAAmC,EAAE,KAAoB;IACpF,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,KAAK,MAAM,EAAE,CAAC;QAC/E,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,QAAQ,GAAG,qBAAqB,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACnE,IAAI,CAAC,QAAQ,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,wBAAwB,CAAC,QAAQ,EAAE,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;AAClF,CAAC;AAED,SAAS,eAAe,CACtB,KAAqC,EACrC,aAAqB,EACrB,QAAuB;IAEvB,MAAM,SAAS,GAAG,KAAK,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;IAClD,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3E,CAAC;IACD,OAAO,EAAE,CAAC,sBAAsB,CAAC,SAAS,CAAC,IAAI,CAAC;QAC9C,CAAC,CAAC,mBAAmB,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC;QAC/C,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,2FAA2F;AAC3F,SAAS,mBAAmB,CAC1B,OAAgC,EAChC,QAAgB;IAEhB,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACvC,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;YAC7B,OAAO,CAAC,cAAc;YACtB,OAAO,CAAC,WAAW;YACnB,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,EAC9B,CAAC;YACD,SAAS;QACX,CAAC;QACD,MAAM,UAAU,GACd,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,YAAY,CAAC;YAC3D,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI;YAC3B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;QACxB,IAAI,UAAU,KAAK,QAAQ,EAAE,CAAC;YAC5B,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;QAChC,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,iBAAiB,CACxB,QAA2E;IAE3E,IAAI,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvC,OAAO,QAAQ,CAAC,IAAI,EAAE,IAAI,IAAI,IAAI,CAAC;IACrC,CAAC;IACD,OAAO,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;QACvF,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI;QAC3B,CAAC,CAAC,IAAI,CAAC;AACX,CAAC"}

package/dist/src/rules/state-proofs/binding-lookup.d.ts

@@ -0,0 +1,9 @@
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+export declare function sourceHasRuntimeBinding(sourceFile: ts.SourceFile, name: string): boolean;
+export declare function isUnshadowedMathCall(owner: RuntimeFunctionLike, call: ts.CallExpression, methods: ReadonlySet<string>): boolean;
+export declare function expressionDependsOnBinding(expression: ts.Expression, binding: ts.BindingName, boundary: ts.Node): boolean;
+export declare function bindingContainsName(binding: ts.BindingName, name: string): boolean;
+export declare function uniqueVariableDeclaration(boundary: ts.Node, name: string): ts.VariableDeclaration | null;
+export declare function localFunctionBinding(owner: RuntimeFunctionLike, name: string): ts.ArrowFunction | ts.FunctionDeclaration | ts.FunctionExpression | null;
+//# sourceMappingURL=binding-lookup.d.ts.map

package/dist/src/rules/state-proofs/binding-lookup.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"binding-lookup.d.ts","sourceRoot":"","sources":["../../../../src/rules/state-proofs/binding-lookup.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAE7D,OAAO,EAAE,MAAM,YAAY,CAAC;AAY5B,wBAAgB,uBAAuB,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAQxF;AA4BD,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,mBAAmB,EAC1B,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,GAC3B,OAAO,CAST;AAED,wBAAgB,0BAA0B,CACxC,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,QAAQ,EAAE,EAAE,CAAC,IAAI,GAChB,OAAO,CAmBT;AAED,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAOlF;AAED,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,EAAE,CAAC,IAAI,EACjB,IAAI,EAAE,MAAM,GACX,EAAE,CAAC,mBAAmB,GAAG,IAAI,CAc/B;AAED,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,mBAAmB,EAC1B,IAAI,EAAE,MAAM,GACX,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,mBAAmB,GAAG,EAAE,CAAC,kBAAkB,GAAG,IAAI,CA4B1E"}

package/dist/src/rules/state-proofs/binding-lookup.js

@@ -0,0 +1,105 @@
+import { visit, visitSkippingNestedRuntimeFunctions } from "../../core/ast.js";
+import { bindingDeclarationCount } from "../../core/analysis-ast.js";
+import ts from "typescript";
+const uniqueVariableDeclarationsByBoundary = new WeakMap();
+const localFunctionBindingsByOwner = new WeakMap();
+export function sourceHasRuntimeBinding(sourceFile, name) {
+    let found = false;
+    visit(sourceFile, (node) => {
+        if (!found && nodeBindsRuntimeName(node, name)) {
+            found = true;
+        }
+    });
+    return found;
+}
+/** The node introduces a runtime binding for the name, shadowing any global of that name. */
+function nodeBindsRuntimeName(node, name) {
+    if (ts.isVariableDeclaration(node) || ts.isParameter(node) || ts.isBindingElement(node)) {
+        return bindingContainsName(node.name, name);
+    }
+    if (ts.isFunctionDeclaration(node) ||
+        ts.isFunctionExpression(node) ||
+        ts.isClassDeclaration(node) ||
+        ts.isClassExpression(node)) {
+        return node.name?.text === name;
+    }
+    if (ts.isCatchClause(node)) {
+        return (node.variableDeclaration !== undefined &&
+            bindingContainsName(node.variableDeclaration.name, name));
+    }
+    return ((ts.isImportClause(node) && node.name?.text === name) ||
+        (ts.isImportSpecifier(node) && node.name.text === name) ||
+        (ts.isNamespaceImport(node) && node.name.text === name));
+}
+export function isUnshadowedMathCall(owner, call, methods) {
+    const callee = call.expression;
+    return (!sourceHasRuntimeBinding(owner.getSourceFile(), "Math") &&
+        ts.isPropertyAccessExpression(callee) &&
+        ts.isIdentifier(callee.expression) &&
+        callee.expression.text === "Math" &&
+        methods.has(callee.name.text));
+}
+export function expressionDependsOnBinding(expression, binding, boundary) {
+    let found = false;
+    visit(expression, (node) => {
+        if (!ts.isIdentifier(node)) {
+            return;
+        }
+        if (bindingContainsName(binding, node.text)) {
+            found = true;
+            return;
+        }
+        const declaration = uniqueVariableDeclaration(boundary, node.text);
+        if (declaration?.initializer &&
+            expressionDependsOnBinding(declaration.initializer, binding, declaration)) {
+            found = true;
+        }
+    });
+    return found;
+}
+export function bindingContainsName(binding, name) {
+    if (ts.isIdentifier(binding)) {
+        return binding.text === name;
+    }
+    return binding.elements.some((element) => ts.isBindingElement(element) && bindingContainsName(element.name, name));
+}
+export function uniqueVariableDeclaration(boundary, name) {
+    let declarations = uniqueVariableDeclarationsByBoundary.get(boundary);
+    if (!declarations) {
+        const collected = new Map();
+        visitSkippingNestedRuntimeFunctions(boundary, (node) => {
+            if (!ts.isVariableDeclaration(node) || !ts.isIdentifier(node.name)) {
+                return;
+            }
+            collected.set(node.name.text, collected.has(node.name.text) ? null : node);
+        });
+        declarations = collected;
+        uniqueVariableDeclarationsByBoundary.set(boundary, declarations);
+    }
+    return declarations.get(name) ?? null;
+}
+export function localFunctionBinding(owner, name) {
+    if (!owner.body || bindingDeclarationCount(owner, name) !== 1) {
+        return null;
+    }
+    let bindings = localFunctionBindingsByOwner.get(owner);
+    if (!bindings) {
+        const collected = new Map();
+        visit(owner.body, (node) => {
+            if (ts.isFunctionDeclaration(node) && node.name) {
+                collected.set(node.name.text, node);
+                return;
+            }
+            if (ts.isVariableDeclaration(node) &&
+                ts.isIdentifier(node.name) &&
+                node.initializer &&
+                (ts.isArrowFunction(node.initializer) || ts.isFunctionExpression(node.initializer))) {
+                collected.set(node.name.text, node.initializer);
+            }
+        });
+        bindings = collected;
+        localFunctionBindingsByOwner.set(owner, bindings);
+    }
+    return bindings.get(name) ?? null;
+}
+//# sourceMappingURL=binding-lookup.js.map

package/dist/src/rules/state-proofs/binding-lookup.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"binding-lookup.js","sourceRoot":"","sources":["../../../../src/rules/state-proofs/binding-lookup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,mCAAmC,EAAE,MAAM,mBAAmB,CAAC;AAE/E,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,oCAAoC,GAAG,IAAI,OAAO,EAGrD,CAAC;AAEJ,MAAM,4BAA4B,GAAG,IAAI,OAAO,EAG7C,CAAC;AAEJ,MAAM,UAAU,uBAAuB,CAAC,UAAyB,EAAE,IAAY;IAC7E,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,KAAK,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IAAI,CAAC,KAAK,IAAI,oBAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YAC/C,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,6FAA6F;AAC7F,SAAS,oBAAoB,CAAC,IAAa,EAAE,IAAY;IACvD,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QACxF,OAAO,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC9C,CAAC;IACD,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAC9B,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;QAC7B,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;QAC3B,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAC1B,CAAC;QACD,OAAO,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,IAAI,CAAC;IAClC,CAAC;IACD,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO,CACL,IAAI,CAAC,mBAAmB,KAAK,SAAS;YACtC,mBAAmB,CAAC,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,IAAI,CAAC,CACzD,CAAC;IACJ,CAAC;IACD,OAAO,CACL,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,IAAI,CAAC;QACrD,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC;QACvD,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CACxD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,KAA0B,EAC1B,IAAuB,EACvB,OAA4B;IAE5B,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,OAAO,CACL,CAAC,uBAAuB,CAAC,KAAK,CAAC,aAAa,EAAE,EAAE,MAAM,CAAC;QACvD,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QACrC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC;QAClC,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM;QACjC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAC9B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,UAAyB,EACzB,OAAuB,EACvB,QAAiB;IAEjB,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,KAAK,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,OAAO;QACT,CAAC;QACD,IAAI,mBAAmB,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5C,KAAK,GAAG,IAAI,CAAC;YACb,OAAO;QACT,CAAC;QACD,MAAM,WAAW,GAAG,yBAAyB,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,IACE,WAAW,EAAE,WAAW;YACxB,0BAA0B,CAAC,WAAW,CAAC,WAAW,EAAE,OAAO,EAAE,WAAW,CAAC,EACzE,CAAC;YACD,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,OAAuB,EAAE,IAAY;IACvE,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7B,OAAO,OAAO,CAAC,IAAI,KAAK,IAAI,CAAC;IAC/B,CAAC;IACD,OAAO,OAAO,CAAC,QAAQ,CAAC,IAAI,CAC1B,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CACrF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,QAAiB,EACjB,IAAY;IAEZ,IAAI,YAAY,GAAG,oCAAoC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACtE,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,MAAM,SAAS,GAAG,IAAI,GAAG,EAAyC,CAAC;QACnE,mCAAmC,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE;YACrD,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnE,OAAO;YACT,CAAC;YACD,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC7E,CAAC,CAAC,CAAC;QACH,YAAY,GAAG,SAAS,CAAC;QACzB,oCAAoC,CAAC,GAAG,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,KAA0B,EAC1B,IAAY;IAEZ,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,uBAAuB,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,QAAQ,GAAG,4BAA4B,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACvD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,MAAM,SAAS,GAAG,IAAI,GAAG,EAGtB,CAAC;QACJ,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACzB,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBAChD,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBACpC,OAAO;YACT,CAAC;YACD,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;gBAC9B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC1B,IAAI,CAAC,WAAW;gBAChB,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,EACnF,CAAC;gBACD,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;YAClD,CAAC;QACH,CAAC,CAAC,CAAC;QACH,QAAQ,GAAG,SAAS,CAAC;QACrB,4BAA4B,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;AACpC,CAAC"}

package/dist/src/rules/state-proofs/callback-sites.d.ts

@@ -0,0 +1,5 @@
+import ts from "typescript";
+export declare function isSynchronousRenderCallback(node: ts.FunctionLikeDeclaration): boolean;
+export declare function isJsxNode(node: ts.Node): node is ts.JsxElement | ts.JsxSelfClosingElement | ts.JsxExpression | ts.JsxAttribute | ts.JsxFragment;
+export declare function isHookDependencyReference(node: ts.Identifier, hookNames: ReadonlySet<string>, namespaces?: ReadonlySet<string>): boolean;
+//# sourceMappingURL=callback-sites.d.ts.map

package/dist/src/rules/state-proofs/callback-sites.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"callback-sites.d.ts","sourceRoot":"","sources":["../../../../src/rules/state-proofs/callback-sites.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,EAAE,CAAC,uBAAuB,GAAG,OAAO,CAyBrF;AAkBD,wBAAgB,SAAS,CACvB,IAAI,EAAE,EAAE,CAAC,IAAI,GACZ,IAAI,IACH,EAAE,CAAC,UAAU,GACb,EAAE,CAAC,qBAAqB,GACxB,EAAE,CAAC,aAAa,GAChB,EAAE,CAAC,YAAY,GACf,EAAE,CAAC,WAAW,CAQjB;AAED,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,EAAE,CAAC,UAAU,EACnB,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,EAC9B,UAAU,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,GAC/B,OAAO,CAmBT"}

package/dist/src/rules/state-proofs/callback-sites.js

@@ -0,0 +1,64 @@
+import ts from "typescript";
+export function isSynchronousRenderCallback(node) {
+    if ((ts.isArrowFunction(node) || ts.isFunctionExpression(node)) && isImmediatelyInvoked(node)) {
+        return true;
+    }
+    const { parent } = node;
+    if (!ts.isCallExpression(parent)) {
+        return false;
+    }
+    if (ts.isIdentifier(parent.expression) && parent.expression.text === "useMemo") {
+        return true;
+    }
+    return (ts.isPropertyAccessExpression(parent.expression) &&
+        [
+            "every",
+            "filter",
+            "find",
+            "findIndex",
+            "flatMap",
+            "map",
+            "reduce",
+            "reduceRight",
+            "some",
+        ].includes(parent.expression.name.text));
+}
+/** The function is the callee of its own call, seen through transparent wrapper expressions. */
+function isImmediatelyInvoked(node) {
+    let expression = node;
+    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;
+    }
+    return ts.isCallExpression(expression.parent) && expression.parent.expression === expression;
+}
+export function isJsxNode(node) {
+    return (ts.isJsxElement(node) ||
+        ts.isJsxSelfClosingElement(node) ||
+        ts.isJsxExpression(node) ||
+        ts.isJsxAttribute(node) ||
+        ts.isJsxFragment(node));
+}
+export function isHookDependencyReference(node, hookNames, namespaces) {
+    const array = node.parent;
+    if (!ts.isArrayLiteralExpression(array) || !array.elements.includes(node)) {
+        return false;
+    }
+    const call = array.parent;
+    if (!ts.isCallExpression(call) || call.arguments[1] !== array) {
+        return false;
+    }
+    if (ts.isIdentifier(call.expression)) {
+        return hookNames.has(call.expression.text);
+    }
+    return (namespaces !== undefined &&
+        ts.isPropertyAccessExpression(call.expression) &&
+        ts.isIdentifier(call.expression.expression) &&
+        namespaces.has(call.expression.expression.text) &&
+        hookNames.has(call.expression.name.text));
+}
+//# sourceMappingURL=callback-sites.js.map

package/dist/src/rules/state-proofs/callback-sites.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"callback-sites.js","sourceRoot":"","sources":["../../../../src/rules/state-proofs/callback-sites.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,2BAA2B,CAAC,IAAgC;IAC1E,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,IAAI,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9F,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IACxB,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC/E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CACL,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,UAAU,CAAC;QAChD;YACE,OAAO;YACP,QAAQ;YACR,MAAM;YACN,WAAW;YACX,SAAS;YACT,KAAK;YACL,QAAQ;YACR,aAAa;YACb,MAAM;SACP,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CACxC,CAAC;AACJ,CAAC;AAED,gGAAgG;AAChG,SAAS,oBAAoB,CAAC,IAA8C;IAC1E,IAAI,UAAU,GAAkB,IAAI,CAAC;IACrC,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,OAAO,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,UAAU,KAAK,UAAU,CAAC;AAC/F,CAAC;AAED,MAAM,UAAU,SAAS,CACvB,IAAa;IAOb,OAAO,CACL,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QACrB,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC;QAChC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QACxB,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;QACvB,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CACvB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,IAAmB,EACnB,SAA8B,EAC9B,UAAgC;IAEhC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1B,IAAI,CAAC,EAAE,CAAC,wBAAwB,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1E,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC;IAC1B,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;QAC9D,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QACrC,OAAO,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,CACL,UAAU,KAAK,SAAS;QACxB,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,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CACzC,CAAC;AACJ,CAAC"}

package/dist/src/rules/state-proofs/event-roots.d.ts

@@ -0,0 +1,17 @@
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+export declare const USE_CALLBACK_HOOK: ReadonlySet<string>;
+export interface EventRootQuery {
+    readonly additionalRoot?: AdditionalEventRoot;
+    readonly callback: ts.ArrowFunction | ts.FunctionDeclaration | ts.FunctionExpression;
+    readonly dependencyName: string;
+    readonly owner: RuntimeFunctionLike;
+    readonly seen: ReadonlySet<string>;
+}
+export declare function callbackIsEventRooted({ additionalRoot, callback, dependencyName, owner, seen, }: EventRootQuery): boolean;
+type AdditionalEventRoot = (callback: ts.ArrowFunction | ts.FunctionDeclaration | ts.FunctionExpression, owner: RuntimeFunctionLike) => boolean;
+export declare function isPlainFunction(node: ts.Node): node is ts.ArrowFunction | ts.FunctionDeclaration | ts.FunctionExpression;
+export declare function isJsxEventHandlerReference(attribute: ts.JsxAttribute, reference: ts.Identifier): boolean;
+export declare function isInsideJsxEventCallback(node: ts.Node, boundary: RuntimeFunctionLike): boolean;
+export {};
+//# sourceMappingURL=event-roots.d.ts.map

package/dist/src/rules/state-proofs/event-roots.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"event-roots.d.ts","sourceRoot":"","sources":["../../../../src/rules/state-proofs/event-roots.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAE7D,OAAO,EAAE,MAAM,YAAY,CAAC;AAI5B,eAAO,MAAM,iBAAiB,EAAE,WAAW,CAAC,MAAM,CAA4B,CAAC;AAE/E,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,cAAc,CAAC,EAAE,mBAAmB,CAAC;IAC9C,QAAQ,CAAC,QAAQ,EAAE,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,mBAAmB,GAAG,EAAE,CAAC,kBAAkB,CAAC;IACrF,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACpC;AAED,wBAAgB,qBAAqB,CAAC,EACpC,cAA4B,EAC5B,QAAQ,EACR,cAAc,EACd,KAAK,EACL,IAAI,GACL,EAAE,cAAc,GAAG,OAAO,CAoB1B;AAED,KAAK,mBAAmB,GAAG,CACzB,QAAQ,EAAE,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,mBAAmB,GAAG,EAAE,CAAC,kBAAkB,EAC3E,KAAK,EAAE,mBAAmB,KACvB,OAAO,CAAC;AAiGb,wBAAgB,eAAe,CAC7B,IAAI,EAAE,EAAE,CAAC,IAAI,GACZ,IAAI,IAAI,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,mBAAmB,GAAG,EAAE,CAAC,kBAAkB,CAI3E;AAED,wBAAgB,0BAA0B,CACxC,SAAS,EAAE,EAAE,CAAC,YAAY,EAC1B,SAAS,EAAE,EAAE,CAAC,UAAU,GACvB,OAAO,CAMT;AAcD,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,mBAAmB,GAAG,OAAO,CAmB9F"}

package/dist/src/rules/state-proofs/event-roots.js

@@ -0,0 +1,129 @@
+import { bindingDeclarationCount, hookCallName, isDeclarationName, isInsideJsxAttribute, isNonValueIdentifier, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { findAncestorUntil, isRuntimeFunctionLike, nearestNestedFunction, visit, } from "../../core/ast.js";
+import { isHookDependencyReference } from "./callback-sites.js";
+import ts from "typescript";
+const EVENT_HANDLER_PROP = /^on[A-Z]/u;
+export const USE_CALLBACK_HOOK = new Set(["useCallback"]);
+export function callbackIsEventRooted({ additionalRoot = () => false, callback, dependencyName, owner, seen, }) {
+    if (additionalRoot(callback, owner)) {
+        return true;
+    }
+    if (callback.body && isInsideJsxEventCallback(callback.body, owner)) {
+        return true;
+    }
+    const name = eventCallbackName(callback);
+    if (!name || seen.has(name) || bindingDeclarationCount(owner, name) !== 1) {
+        return false;
+    }
+    if (!useCallbackListsDependency(callback, dependencyName)) {
+        return false;
+    }
+    return everyReferenceIsEventRooted(name, {
+        additionalRoot,
+        dependencyName,
+        owner,
+        seen: new Set(seen).add(name),
+    });
+}
+/** The name this callback is bound to, whether by declaration, assignment, or a hook wrapper. */
+function eventCallbackName(callback) {
+    if (ts.isFunctionDeclaration(callback)) {
+        return callback.name?.text;
+    }
+    const { parent } = callback;
+    if (ts.isVariableDeclaration(parent) && ts.isIdentifier(parent.name)) {
+        return parent.name.text;
+    }
+    return ts.isCallExpression(parent) &&
+        ts.isVariableDeclaration(parent.parent) &&
+        ts.isIdentifier(parent.parent.name)
+        ? parent.parent.name.text
+        : undefined;
+}
+/** A useCallback wrapper stays event-rooted only while it lists the state value as a dependency. */
+function useCallbackListsDependency(callback, dependencyName) {
+    const { parent } = callback;
+    if (!dependencyName || !ts.isCallExpression(parent) || hookCallName(parent) !== "useCallback") {
+        return true;
+    }
+    const [, dependencies] = parent.arguments;
+    return (dependencies !== undefined &&
+        ts.isArrayLiteralExpression(dependencies) &&
+        dependencies.elements.some((element) => ts.isIdentifier(element) && element.text === dependencyName));
+}
+/** The named callback is referenced at least once, and every reference stays event-rooted. */
+function everyReferenceIsEventRooted(name, trace) {
+    let referenced = false;
+    let safe = true;
+    visit(trace.owner.body, (node) => {
+        if (!safe ||
+            !ts.isIdentifier(node) ||
+            node.text !== name ||
+            isDeclarationName(node) ||
+            isNonValueIdentifier(node) ||
+            isHookDependencyReference(node, USE_CALLBACK_HOOK)) {
+            return;
+        }
+        referenced = true;
+        if (!eventReferenceIsRooted(node, trace)) {
+            safe = false;
+        }
+    });
+    return referenced && safe;
+}
+/** The reference is a JSX event handler, or a call made from another event-rooted callback. */
+function eventReferenceIsRooted(reference, trace) {
+    const attribute = findAncestorUntil(reference, ts.isJsxAttribute, trace.owner);
+    if (attribute &&
+        EVENT_HANDLER_PROP.test(attribute.name.getText()) &&
+        isJsxEventHandlerReference(attribute, reference)) {
+        return true;
+    }
+    if (!ts.isCallExpression(reference.parent) || reference.parent.expression !== reference) {
+        return false;
+    }
+    const caller = nearestNestedFunction(reference, trace.owner);
+    return (caller !== null &&
+        isPlainFunction(caller) &&
+        callbackIsEventRooted({
+            callback: caller,
+            owner: trace.owner,
+            dependencyName: trace.dependencyName,
+            seen: trace.seen,
+            additionalRoot: trace.additionalRoot,
+        }));
+}
+export function isPlainFunction(node) {
+    return (ts.isArrowFunction(node) || ts.isFunctionDeclaration(node) || ts.isFunctionExpression(node));
+}
+export function isJsxEventHandlerReference(attribute, reference) {
+    const { initializer } = attribute;
+    if (!initializer || !ts.isJsxExpression(initializer) || !initializer.expression) {
+        return false;
+    }
+    return isConditionalHandlerBranch(initializer.expression, reference);
+}
+function isConditionalHandlerBranch(expression, reference) {
+    const value = unwrapTransparentExpression(expression);
+    if (value === reference) {
+        return true;
+    }
+    return (ts.isConditionalExpression(value) &&
+        (isConditionalHandlerBranch(value.whenTrue, reference) ||
+            isConditionalHandlerBranch(value.whenFalse, reference)));
+}
+export function isInsideJsxEventCallback(node, boundary) {
+    for (let current = node.parent; current && current !== boundary; current = current.parent) {
+        if (!isRuntimeFunctionLike(current)) {
+            continue;
+        }
+        const attribute = findAncestorUntil(current, ts.isJsxAttribute, boundary);
+        if (attribute &&
+            isInsideJsxAttribute(current, attribute) &&
+            EVENT_HANDLER_PROP.test(attribute.name.getText())) {
+            return true;
+        }
+    }
+    return false;
+}
+//# sourceMappingURL=event-roots.js.map

package/dist/src/rules/state-proofs/event-roots.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"event-roots.js","sourceRoot":"","sources":["../../../../src/rules/state-proofs/event-roots.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EACvB,YAAY,EACZ,iBAAiB,EACjB,oBAAoB,EACpB,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,iBAAiB,EACjB,qBAAqB,EACrB,qBAAqB,EACrB,KAAK,GACN,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AAChE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,kBAAkB,GAAG,WAAW,CAAC;AAEvC,MAAM,CAAC,MAAM,iBAAiB,GAAwB,IAAI,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;AAU/E,MAAM,UAAU,qBAAqB,CAAC,EACpC,cAAc,GAAG,GAAG,EAAE,CAAC,KAAK,EAC5B,QAAQ,EACR,cAAc,EACd,KAAK,EACL,IAAI,GACW;IACf,IAAI,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC;QACpC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,IAAI,wBAAwB,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QACpE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IACzC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,uBAAuB,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1E,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,0BAA0B,CAAC,QAAQ,EAAE,cAAc,CAAC,EAAE,CAAC;QAC1D,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,2BAA2B,CAAC,IAAI,EAAE;QACvC,cAAc;QACd,cAAc;QACd,KAAK;QACL,IAAI,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;KAC9B,CAAC,CAAC;AACL,CAAC;AAeD,iGAAiG;AACjG,SAAS,iBAAiB,CACxB,QAA2E;IAE3E,IAAI,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvC,OAAO,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAC7B,CAAC;IACD,MAAM,EAAE,MAAM,EAAE,GAAG,QAAQ,CAAC;IAC5B,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACrE,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC1B,CAAC;IACD,OAAO,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC;QAChC,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,MAAM,CAAC;QACvC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;QACnC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI;QACzB,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,oGAAoG;AACpG,SAAS,0BAA0B,CACjC,QAA2E,EAC3E,cAAsB;IAEtB,MAAM,EAAE,MAAM,EAAE,GAAG,QAAQ,CAAC;IAC5B,IAAI,CAAC,cAAc,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,YAAY,CAAC,MAAM,CAAC,KAAK,aAAa,EAAE,CAAC;QAC9F,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,CAAC,EAAE,YAAY,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC;IAC1C,OAAO,CACL,YAAY,KAAK,SAAS;QAC1B,EAAE,CAAC,wBAAwB,CAAC,YAAY,CAAC;QACzC,YAAY,CAAC,QAAQ,CAAC,IAAI,CACxB,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,cAAc,CACzE,CACF,CAAC;AACJ,CAAC;AAED,8FAA8F;AAC9F,SAAS,2BAA2B,CAAC,IAAY,EAAE,KAAqB;IACtE,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC/B,IACE,CAAC,IAAI;YACL,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,KAAK,IAAI;YAClB,iBAAiB,CAAC,IAAI,CAAC;YACvB,oBAAoB,CAAC,IAAI,CAAC;YAC1B,yBAAyB,CAAC,IAAI,EAAE,iBAAiB,CAAC,EAClD,CAAC;YACD,OAAO;QACT,CAAC;QACD,UAAU,GAAG,IAAI,CAAC;QAClB,IAAI,CAAC,sBAAsB,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YACzC,IAAI,GAAG,KAAK,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,UAAU,IAAI,IAAI,CAAC;AAC5B,CAAC;AAED,+FAA+F;AAC/F,SAAS,sBAAsB,CAAC,SAAwB,EAAE,KAAqB;IAC7E,MAAM,SAAS,GAAG,iBAAiB,CAAC,SAAS,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC/E,IACE,SAAS;QACT,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACjD,0BAA0B,CAAC,SAAS,EAAE,SAAS,CAAC,EAChD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QACxF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,qBAAqB,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC7D,OAAO,CACL,MAAM,KAAK,IAAI;QACf,eAAe,CAAC,MAAM,CAAC;QACvB,qBAAqB,CAAC;YACpB,QAAQ,EAAE,MAAM;YAChB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,cAAc,EAAE,KAAK,CAAC,cAAc;YACpC,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,cAAc,EAAE,KAAK,CAAC,cAAc;SACrC,CAAC,CACH,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,IAAa;IAEb,OAAO,CACL,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAC5F,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,SAA0B,EAC1B,SAAwB;IAExB,MAAM,EAAE,WAAW,EAAE,GAAG,SAAS,CAAC;IAClC,IAAI,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,CAAC;QAChF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,0BAA0B,CAAC,WAAW,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,0BAA0B,CAAC,UAAyB,EAAE,SAAwB;IACrF,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CACL,EAAE,CAAC,uBAAuB,CAAC,KAAK,CAAC;QACjC,CAAC,0BAA0B,CAAC,KAAK,CAAC,QAAQ,EAAE,SAAS,CAAC;YACpD,0BAA0B,CAAC,KAAK,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAC1D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,IAAa,EAAE,QAA6B;IACnF,KACE,IAAI,OAAO,GAAwB,IAAI,CAAC,MAAM,EAC9C,OAAO,IAAI,OAAO,KAAK,QAAQ,EAC/B,OAAO,GAAG,OAAO,CAAC,MAAM,EACxB,CAAC;QACD,IAAI,CAAC,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;YACpC,SAAS;QACX,CAAC;QACD,MAAM,SAAS,GAAG,iBAAiB,CAAC,OAAO,EAAE,EAAE,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;QAC1E,IACE,SAAS;YACT,oBAAoB,CAAC,OAAO,EAAE,SAAS,CAAC;YACxC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,EACjD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/src/rules/state-proofs/jsx-subtrees.d.ts

@@ -0,0 +1,12 @@
+import type { JsxSubtreeNode } from "../deferred-reveal/jsx-subtrees.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+export declare const EMPTY_BINDINGS: ReadonlySet<string>;
+export declare function isSafeJsxProjectionReference(node: ts.Node, boundary: ts.Node, allowedIdentifierCalls?: ReadonlySet<string>): boolean;
+export declare function nearestRepeatedRenderCall(node: ts.Node, boundary: ts.Node): ts.CallExpression | null;
+export declare function lowestCommonJsxSubtree(nodes: readonly ts.Node[], boundary: ts.Node): JsxSubtreeNode | null;
+export declare function jsxElementCountIn(node: ts.Node): number;
+export declare function jsxElementCount(owner: RuntimeFunctionLike): number;
+export declare function hasRepeatedJsxRenderWorkOutside(owner: RuntimeFunctionLike, excludedSubtree: ts.Node): boolean;
+export declare function hasUnstableSubtreeLifetime(node: JsxSubtreeNode, boundary: ts.Node): boolean;
+//# sourceMappingURL=jsx-subtrees.d.ts.map

package/dist/src/rules/state-proofs/jsx-subtrees.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"jsx-subtrees.d.ts","sourceRoot":"","sources":["../../../../src/rules/state-proofs/jsx-subtrees.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAG7D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,eAAO,MAAM,cAAc,EAAE,WAAW,CAAC,MAAM,CAAa,CAAC;AAI7D,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,QAAQ,EAAE,EAAE,CAAC,IAAI,EACjB,sBAAsB,GAAE,WAAW,CAAC,MAAM,CAAkB,GAC3D,OAAO,CA4BT;AAED,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,QAAQ,EAAE,EAAE,CAAC,IAAI,GAChB,EAAE,CAAC,cAAc,GAAG,IAAI,CAe1B;AAED,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,SAAS,EAAE,CAAC,IAAI,EAAE,EACzB,QAAQ,EAAE,EAAE,CAAC,IAAI,GAChB,cAAc,GAAG,IAAI,CAUvB;AAED,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,MAAM,CAavD;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,mBAAmB,GAAG,MAAM,CAElE;AAED,wBAAgB,+BAA+B,CAC7C,KAAK,EAAE,mBAAmB,EAC1B,eAAe,EAAE,EAAE,CAAC,IAAI,GACvB,OAAO,CA4BT;AA4BD,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,cAAc,EAAE,QAAQ,EAAE,EAAE,CAAC,IAAI,GAAG,OAAO,CAyC3F"}