legend-doctor 0.1.0

package/dist/src/rules/effects/setup-only-mount.js

@@ -0,0 +1,65 @@
+import { callRootIdentifier, isNonValueIdentifier, localBindingNames, } from "../../core/analysis-ast.js";
+import { callbackCallsKnownSetter, calleeName } from "./callback-shape.js";
+import { KNOWN_GLOBAL_OBJECTS } from "./model.js";
+import { localCommittedRefBindings } from "./committed-ref-integration.js";
+import ts from "typescript";
+import { visit } from "../../core/ast.js";
+const NO_EXEMPT_BINDINGS = new Set();
+const LIFETIME_API_PATTERN = /^(?:setTimeout|setInterval|requestAnimationFrame|requestIdleCallback|addEventListener|subscribe)$/u;
+function capturesOwnerBinding(callback, owner, exempt) {
+    const ownerLocals = localBindingNames(owner, callback);
+    const callbackLocals = localBindingNames(callback, null);
+    let captures = false;
+    visit(callback.body, (node) => {
+        if (!captures &&
+            ts.isIdentifier(node) &&
+            ownerLocals.has(node.text) &&
+            !exempt.has(node.text) &&
+            !callbackLocals.has(node.text) &&
+            !isNonValueIdentifier(node)) {
+            captures = true;
+        }
+    });
+    return captures;
+}
+export function capturesOwnerSnapshot(callback, owner, context) {
+    return capturesOwnerBinding(callback, owner, localCommittedRefBindings(owner, context.useRefBindings, context.reactNamespaces));
+}
+export function isSetupOnlyMountCandidate(callback, owner, context) {
+    if (!ts.isBlock(callback.body) ||
+        callback.body.statements.length === 0 ||
+        callbackCallsKnownSetter(callback, context.stateBySetter) ||
+        !callback.body.statements.every((statement) => ts.isExpressionStatement(statement) && expressionContainsCall(statement.expression)) ||
+        hasLifetimeOrUnresolvedSetupCall(callback.body, context.moduleScopeBindings)) {
+        return false;
+    }
+    return !capturesOwnerBinding(callback, owner, NO_EXEMPT_BINDINGS);
+}
+function hasLifetimeOrUnresolvedSetupCall(body, moduleScopeBindings) {
+    let unresolved = false;
+    visit(body, (node) => {
+        if (!ts.isCallExpression(node)) {
+            return;
+        }
+        const callee = node.expression;
+        if (LIFETIME_API_PATTERN.test(calleeName(callee))) {
+            unresolved = true;
+            return;
+        }
+        const root = callRootIdentifier(callee);
+        if (root && !moduleScopeBindings.has(root) && !KNOWN_GLOBAL_OBJECTS.has(root)) {
+            unresolved = true;
+        }
+    });
+    return unresolved;
+}
+function expressionContainsCall(expression) {
+    let contains = false;
+    visit(expression, (node) => {
+        if (ts.isCallExpression(node)) {
+            contains = true;
+        }
+    });
+    return contains;
+}
+//# sourceMappingURL=setup-only-mount.js.map

package/dist/src/rules/effects/setup-only-mount.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"setup-only-mount.js","sourceRoot":"","sources":["../../../../src/rules/effects/setup-only-mount.ts"],"names":[],"mappings":"AACA,OAAO,EACL,kBAAkB,EAClB,oBAAoB,EACpB,iBAAiB,GAClB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,wBAAwB,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAElD,OAAO,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAC3E,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE1C,MAAM,kBAAkB,GAAwB,IAAI,GAAG,EAAU,CAAC;AAElE,MAAM,oBAAoB,GACxB,oGAAoG,CAAC;AAEvG,SAAS,oBAAoB,CAC3B,QAAkD,EAClD,KAA0B,EAC1B,MAA2B;IAE3B,MAAM,WAAW,GAAG,iBAAiB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACvD,MAAM,cAAc,GAAG,iBAAiB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACzD,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC5B,IACE,CAAC,QAAQ;YACT,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACrB,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1B,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;YACtB,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;YAC9B,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAC3B,CAAC;YACD,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,QAAkD,EAClD,KAA0B,EAC1B,OAA4B;IAE5B,OAAO,oBAAoB,CACzB,QAAQ,EACR,KAAK,EACL,yBAAyB,CAAC,KAAK,EAAE,OAAO,CAAC,cAAc,EAAE,OAAO,CAAC,eAAe,CAAC,CAClF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,QAAkD,EAClD,KAA0B,EAC1B,OAAoC;IAEpC,IACE,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;QAC1B,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QACrC,wBAAwB,CAAC,QAAQ,EAAE,OAAO,CAAC,aAAa,CAAC;QACzD,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAC7B,CAAC,SAAS,EAAE,EAAE,CACZ,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC,IAAI,sBAAsB,CAAC,SAAS,CAAC,UAAU,CAAC,CACtF;QACD,gCAAgC,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,mBAAmB,CAAC,EAC5E,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CAAC,oBAAoB,CAAC,QAAQ,EAAE,KAAK,EAAE,kBAAkB,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,gCAAgC,CACvC,IAAc,EACd,mBAAwC;IAExC,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACnB,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,OAAO;QACT,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;QAC/B,IAAI,oBAAoB,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;YAClD,UAAU,GAAG,IAAI,CAAC;YAClB,OAAO;QACT,CAAC;QACD,MAAM,IAAI,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;QACxC,IAAI,IAAI,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9E,UAAU,GAAG,IAAI,CAAC;QACpB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,sBAAsB,CAAC,UAAyB;IACvD,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,KAAK,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/src/rules/effects/state-independent-effects.d.ts

@@ -0,0 +1,27 @@
+import type { EffectCandidate, StateCandidate } from "../../analysis/model.js";
+import type { EffectClassificationContext } from "./model.js";
+import ts from "typescript";
+export type EffectStateDependency = {
+    readonly kind: "legend" | "unresolved";
+    readonly name: string;
+} | {
+    readonly kind: "setter" | "value";
+    readonly name: string;
+    readonly state: StateCandidate;
+};
+export interface EffectStateDependencies {
+    readonly body: EffectStateDependency | null;
+    /** Whether a Legend binding or an unresolvable owner binding is reached anywhere. */
+    readonly opaque: boolean;
+    readonly schedule: EffectStateDependency | null;
+    /** Every local React state the callback or its dependency array reaches. */
+    readonly states: readonly StateCandidate[];
+}
+/**
+ * Resolves the local React state, Legend binding, or unresolvable owner binding that a dependency
+ * effect's schedule (its dependency array) and body reach, following owner `const` initializers and
+ * local functions transitively. A `null` schedule proves React props and external values alone decide
+ * when the effect runs; a `null` body proves no state migration inside the owner changes its inputs.
+ */
+export declare function analyzeEffectStateDependencies(effect: EffectCandidate, callback: ts.ArrowFunction | ts.FunctionExpression, context: EffectClassificationContext): EffectStateDependencies;
+//# sourceMappingURL=state-independent-effects.d.ts.map

package/dist/src/rules/effects/state-independent-effects.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state-independent-effects.d.ts","sourceRoot":"","sources":["../../../../src/rules/effects/state-independent-effects.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAS/E,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,YAAY,CAAC;AAE9D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,MAAM,qBAAqB,GAC7B;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,YAAY,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACjE;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAA;CAAE,CAAC;AAqBjG,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,qBAAqB,GAAG,IAAI,CAAC;IAC5C,qFAAqF;IACrF,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,qBAAqB,GAAG,IAAI,CAAC;IAChD,4EAA4E;IAC5E,QAAQ,CAAC,MAAM,EAAE,SAAS,cAAc,EAAE,CAAC;CAC5C;AAUD;;;;;GAKG;AACH,wBAAgB,8BAA8B,CAC5C,MAAM,EAAE,eAAe,EACvB,QAAQ,EAAE,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,kBAAkB,EAClD,OAAO,EAAE,2BAA2B,GACnC,uBAAuB,CAyBzB"}

package/dist/src/rules/effects/state-independent-effects.js

@@ -0,0 +1,274 @@
+import { bindingDeclarationCount, collectBindingNames, isDeclarationName, isNonValueIdentifier, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { identifiersNamed, isRuntimeFunctionLike, nodeWithin, visit } from "../../core/ast.js";
+import ts from "typescript";
+const LEGEND_STATE_HOOKS = new Set([
+    "use$",
+    "useComputed",
+    "useObservable",
+    "useObservableReducer",
+    "useObservableState",
+    "useSelector",
+    "useValue",
+]);
+const REACT_STATE_HOOKS = new Set(["useReducer", "useState", "useSyncExternalStore"]);
+const DEPENDENCY_SEVERITY = {
+    legend: 1,
+    setter: 3,
+    unresolved: 0,
+    value: 2,
+};
+/**
+ * Resolves the local React state, Legend binding, or unresolvable owner binding that a dependency
+ * effect's schedule (its dependency array) and body reach, following owner `const` initializers and
+ * local functions transitively. A `null` schedule proves React props and external values alone decide
+ * when the effect runs; a `null` body proves no state migration inside the owner changes its inputs.
+ */
+export function analyzeEffectStateDependencies(effect, callback, context) {
+    if (!effect.owner || !effect.dependencies) {
+        const unresolved = { kind: "unresolved", name: "owner" };
+        return { body: unresolved, opaque: true, schedule: unresolved, states: [] };
+    }
+    const scope = {
+        callback,
+        context,
+        owner: effect.owner,
+        resolved: new Map(),
+        resolving: new Set(),
+    };
+    const body = dependenciesOfNode(callback, scope);
+    const schedule = dependenciesOfNode(effect.dependencies, scope);
+    const reached = [...body, ...schedule];
+    return {
+        body: strongestDependency(body),
+        opaque: reached.some((dependency) => !isStateDependency(dependency)),
+        schedule: strongestDependency(schedule),
+        states: [
+            ...new Set(reached.flatMap((dependency) => (isStateDependency(dependency) ? [dependency.state] : []))),
+        ],
+    };
+}
+function isStateDependency(dependency) {
+    return dependency.kind === "setter" || dependency.kind === "value";
+}
+function strongestDependency(dependencies) {
+    let strongest = null;
+    for (const dependency of dependencies) {
+        if (!strongest || DEPENDENCY_SEVERITY[dependency.kind] > DEPENDENCY_SEVERITY[strongest.kind]) {
+            strongest = dependency;
+        }
+    }
+    return strongest;
+}
+function dependenciesOfNode(node, scope) {
+    const declaredWithin = declaredNamesWithin(node);
+    const dependencies = [];
+    for (const name of referencedValueNames(node)) {
+        dependencies.push(...dependenciesOfReference(name, declaredWithin, scope));
+    }
+    return dependencies;
+}
+function dependenciesOfReference(name, declaredWithin, scope) {
+    const local = localStateDependency(name, scope.context);
+    if (local) {
+        return declaredWithin.has(name) ? [{ kind: "unresolved", name }] : [local];
+    }
+    return declaredWithin.has(name) ? [] : resolveOwnerBinding(name, scope);
+}
+function localStateDependency(name, context) {
+    const setterState = context.stateBySetter.get(name);
+    if (setterState) {
+        return { kind: "setter", name, state: setterState };
+    }
+    const valueState = context.stateByValue.get(name);
+    if (valueState) {
+        return { kind: "value", name, state: valueState };
+    }
+    return context.useValueBindings.has(name) || context.useObservableBindings.has(name)
+        ? { kind: "legend", name }
+        : null;
+}
+function resolveOwnerBinding(name, scope) {
+    const known = scope.resolved.get(name);
+    if (known !== undefined || scope.resolving.has(name)) {
+        return known ?? [];
+    }
+    scope.resolving.add(name);
+    const dependencies = resolveUncachedOwnerBinding(name, scope);
+    scope.resolving.delete(name);
+    scope.resolved.set(name, dependencies);
+    return dependencies;
+}
+function resolveUncachedOwnerBinding(name, scope) {
+    const { owner } = scope;
+    const declarations = bindingDeclarationCount(owner, name);
+    if (declarations === 0) {
+        return declaredByEnclosingFunction(name, owner) ? [{ kind: "unresolved", name }] : [];
+    }
+    const declaration = declarations === 1 ? soleDeclarationIdentifier(owner, name) : null;
+    return declaration
+        ? dependenciesOfDeclaration(declaration, scope)
+        : [{ kind: "unresolved", name }];
+}
+function declaredByEnclosingFunction(name, owner) {
+    for (let current = owner.parent; current; current = current.parent) {
+        if (isRuntimeFunctionLike(current) && bindingDeclarationCount(current, name) > 0) {
+            return true;
+        }
+    }
+    return false;
+}
+function soleDeclarationIdentifier(owner, name) {
+    const declarations = identifiersNamed(owner, name).filter((identifier) => isDeclarationName(identifier) && !withinTypeNode(identifier, owner));
+    const [declaration] = declarations;
+    return declarations.length === 1 && declaration ? declaration : null;
+}
+function dependenciesOfDeclaration(identifier, scope) {
+    const name = identifier.text;
+    const declaration = bindingRoot(identifier);
+    if (ts.isParameter(declaration)) {
+        return dependenciesOfParameter(declaration, name, scope);
+    }
+    if (ts.isVariableDeclaration(declaration)) {
+        return dependenciesOfVariable(declaration, name, scope);
+    }
+    if (ts.isFunctionDeclaration(declaration) && declaration.body) {
+        return declaredDirectlyInOwner(declaration, scope)
+            ? dependenciesOfNode(declaration, scope)
+            : [{ kind: "unresolved", name }];
+    }
+    return [{ kind: "unresolved", name }];
+}
+function bindingRoot(identifier) {
+    let current = identifier.parent;
+    while (ts.isBindingElement(current) ||
+        ts.isArrayBindingPattern(current) ||
+        ts.isObjectBindingPattern(current)) {
+        current = current.parent;
+    }
+    return current;
+}
+function dependenciesOfParameter(parameter, name, scope) {
+    const { parent } = parameter;
+    if (parent === scope.owner || nodeWithin(parent, scope.callback)) {
+        return [];
+    }
+    return [{ kind: "unresolved", name }];
+}
+function dependenciesOfVariable(declaration, name, scope) {
+    if (nodeWithin(declaration, scope.callback)) {
+        return [];
+    }
+    const { initializer, parent } = declaration;
+    if (!initializer ||
+        !ts.isVariableDeclarationList(parent) ||
+        (parent.flags & ts.NodeFlags.Const) === 0 ||
+        !declaredDirectlyInOwner(declaration, scope)) {
+        return [{ kind: "unresolved", name }];
+    }
+    return dependenciesOfInitializer(initializer, name, scope);
+}
+function declaredDirectlyInOwner(node, scope) {
+    for (let current = node.parent; current && current !== scope.owner; current = current.parent) {
+        if (isRuntimeFunctionLike(current)) {
+            return false;
+        }
+    }
+    return true;
+}
+function dependenciesOfInitializer(initializer, name, scope) {
+    const value = unwrapTransparentExpression(initializer);
+    const hookName = ts.isCallExpression(value) ? hookCalleeName(value) : null;
+    if (hookName === null) {
+        return dependenciesOfNode(value, scope);
+    }
+    if (isStateHook(hookName, scope.context)) {
+        return [{ kind: LEGEND_STATE_HOOKS.has(hookName) ? "legend" : "unresolved", name }];
+    }
+    if (!ts.isCallExpression(value) || !value.arguments.some(containsFunctionLike)) {
+        return [];
+    }
+    return value.arguments.flatMap((argument) => dependenciesOfNode(argument, scope));
+}
+function hookCalleeName(call) {
+    const callee = call.expression;
+    let name = null;
+    if (ts.isIdentifier(callee)) {
+        name = callee.text;
+    }
+    else if (ts.isPropertyAccessExpression(callee) && ts.isIdentifier(callee.expression)) {
+        name = callee.name.text;
+    }
+    return name !== null && /^use[A-Z0-9_$]/u.test(name) ? name : null;
+}
+function isStateHook(hookName, context) {
+    const { imports } = context;
+    return (REACT_STATE_HOOKS.has(hookName) ||
+        LEGEND_STATE_HOOKS.has(hookName) ||
+        imports.useState.has(hookName) ||
+        imports.useValue.has(hookName) ||
+        imports.legacyUseValue.has(hookName) ||
+        imports.useObservable.has(hookName));
+}
+function containsFunctionLike(node) {
+    let found = false;
+    visit(node, (candidate) => {
+        if (ts.isFunctionLike(candidate)) {
+            found = true;
+        }
+    });
+    return found;
+}
+function withinTypeNode(node, boundary) {
+    for (let current = node.parent; current && current !== boundary; current = current.parent) {
+        if (ts.isTypeNode(current)) {
+            return true;
+        }
+    }
+    return false;
+}
+function declaredNamesWithin(node) {
+    const names = new Set();
+    visit(node, (candidate) => {
+        if (ts.isTypeNode(candidate)) {
+            return;
+        }
+        if (ts.isVariableDeclaration(candidate) || ts.isParameter(candidate)) {
+            collectBindingNames(candidate.name, names);
+        }
+        if ((ts.isFunctionDeclaration(candidate) ||
+            ts.isFunctionExpression(candidate) ||
+            ts.isClassDeclaration(candidate) ||
+            ts.isClassExpression(candidate)) &&
+            candidate.name) {
+            names.add(candidate.name.text);
+        }
+    });
+    return names;
+}
+function referencedValueNames(node) {
+    const names = new Set();
+    const walk = (candidate) => {
+        if (ts.isTypeNode(candidate) || ts.isTypeParameterDeclaration(candidate)) {
+            return;
+        }
+        if (ts.isIdentifier(candidate) && isValueReference(candidate)) {
+            names.add(candidate.text);
+        }
+        candidate.forEachChild(walk);
+    };
+    walk(node);
+    return names;
+}
+function isValueReference(identifier) {
+    const { parent } = identifier;
+    return !(isDeclarationName(identifier) ||
+        isNonValueIdentifier(identifier) ||
+        (ts.isBindingElement(parent) && parent.propertyName === identifier) ||
+        ts.isLabeledStatement(parent) ||
+        ts.isBreakOrContinueStatement(parent) ||
+        (ts.isJsxAttribute(parent) && parent.name === identifier) ||
+        (ts.isEnumMember(parent) && parent.name === identifier) ||
+        (ts.isTypeAliasDeclaration(parent) && parent.name === identifier) ||
+        (ts.isInterfaceDeclaration(parent) && parent.name === identifier));
+}
+//# sourceMappingURL=state-independent-effects.js.map

package/dist/src/rules/effects/state-independent-effects.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state-independent-effects.js","sourceRoot":"","sources":["../../../../src/rules/effects/state-independent-effects.ts"],"names":[],"mappings":"AACA,OAAO,EACL,uBAAuB,EACvB,mBAAmB,EACnB,iBAAiB,EACjB,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAG/F,OAAO,EAAE,MAAM,YAAY,CAAC;AAM5B,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC;IACjC,MAAM;IACN,aAAa;IACb,eAAe;IACf,sBAAsB;IACtB,oBAAoB;IACpB,aAAa;IACb,UAAU;CACX,CAAC,CAAC;AAEH,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,CAAC,YAAY,EAAE,UAAU,EAAE,sBAAsB,CAAC,CAAC,CAAC;AAEtF,MAAM,mBAAmB,GAAG;IAC1B,MAAM,EAAE,CAAC;IACT,MAAM,EAAE,CAAC;IACT,UAAU,EAAE,CAAC;IACb,KAAK,EAAE,CAAC;CACwD,CAAC;AAmBnE;;;;;GAKG;AACH,MAAM,UAAU,8BAA8B,CAC5C,MAAuB,EACvB,QAAkD,EAClD,OAAoC;IAEpC,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC;QAC1C,MAAM,UAAU,GAA0B,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;QAChF,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IAC9E,CAAC;IACD,MAAM,KAAK,GAAsB;QAC/B,QAAQ;QACR,OAAO;QACP,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,QAAQ,EAAE,IAAI,GAAG,EAAE;QACnB,SAAS,EAAE,IAAI,GAAG,EAAE;KACrB,CAAC;IACF,MAAM,IAAI,GAAG,kBAAkB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACjD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,MAAM,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;IAChE,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,EAAE,GAAG,QAAQ,CAAC,CAAC;IACvC,OAAO;QACL,IAAI,EAAE,mBAAmB,CAAC,IAAI,CAAC;QAC/B,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;QACpE,QAAQ,EAAE,mBAAmB,CAAC,QAAQ,CAAC;QACvC,MAAM,EAAE;YACN,GAAG,IAAI,GAAG,CACR,OAAO,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAC3F;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,UAAiC;IAEjC,OAAO,UAAU,CAAC,IAAI,KAAK,QAAQ,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,CAAC;AACrE,CAAC;AAED,SAAS,mBAAmB,CAC1B,YAA8C;IAE9C,IAAI,SAAS,GAAiC,IAAI,CAAC;IACnD,KAAK,MAAM,UAAU,IAAI,YAAY,EAAE,CAAC;QACtC,IAAI,CAAC,SAAS,IAAI,mBAAmB,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7F,SAAS,GAAG,UAAU,CAAC;QACzB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAa,EAAE,KAAwB;IACjE,MAAM,cAAc,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACjD,MAAM,YAAY,GAA4B,EAAE,CAAC;IACjD,KAAK,MAAM,IAAI,IAAI,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9C,YAAY,CAAC,IAAI,CAAC,GAAG,uBAAuB,CAAC,IAAI,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAAY,EACZ,cAAmC,EACnC,KAAwB;IAExB,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;IACxD,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,oBAAoB,CAC3B,IAAY,EACZ,OAAoC;IAEpC,MAAM,WAAW,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpD,IAAI,WAAW,EAAE,CAAC;QAChB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;IACtD,CAAC;IACD,MAAM,UAAU,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAClD,IAAI,UAAU,EAAE,CAAC;QACf,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;IACpD,CAAC;IACD,OAAO,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC;QAClF,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE;QAC1B,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,mBAAmB,CAC1B,IAAY,EACZ,KAAwB;IAExB,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACrD,OAAO,KAAK,IAAI,EAAE,CAAC;IACrB,CAAC;IACD,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1B,MAAM,YAAY,GAAG,2BAA2B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC9D,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC7B,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IACvC,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,SAAS,2BAA2B,CAClC,IAAY,EACZ,KAAwB;IAExB,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACxB,MAAM,YAAY,GAAG,uBAAuB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC1D,IAAI,YAAY,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,2BAA2B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACxF,CAAC;IACD,MAAM,WAAW,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,yBAAyB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACvF,OAAO,WAAW;QAChB,CAAC,CAAC,yBAAyB,CAAC,WAAW,EAAE,KAAK,CAAC;QAC/C,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,2BAA2B,CAAC,IAAY,EAAE,KAA0B;IAC3E,KAAK,IAAI,OAAO,GAAG,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QACnE,IAAI,qBAAqB,CAAC,OAAO,CAAC,IAAI,uBAAuB,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACjF,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,yBAAyB,CAAC,KAA0B,EAAE,IAAY;IACzE,MAAM,YAAY,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,CACvD,CAAC,UAAU,EAAE,EAAE,CAAC,iBAAiB,CAAC,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,UAAU,EAAE,KAAK,CAAC,CACpF,CAAC;IACF,MAAM,CAAC,WAAW,CAAC,GAAG,YAAY,CAAC;IACnC,OAAO,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC;AACvE,CAAC;AAED,SAAS,yBAAyB,CAChC,UAAyB,EACzB,KAAwB;IAExB,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC;IAC7B,MAAM,WAAW,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC;IAC5C,IAAI,EAAE,CAAC,WAAW,CAAC,WAAW,CAAC,EAAE,CAAC;QAChC,OAAO,uBAAuB,CAAC,WAAW,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,EAAE,CAAC;QAC1C,OAAO,sBAAsB,CAAC,WAAW,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAC1D,CAAC;IACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,IAAI,EAAE,CAAC;QAC9D,OAAO,uBAAuB,CAAC,WAAW,EAAE,KAAK,CAAC;YAChD,CAAC,CAAC,kBAAkB,CAAC,WAAW,EAAE,KAAK,CAAC;YACxC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;AACxC,CAAC;AAED,SAAS,WAAW,CAAC,UAAyB;IAC5C,IAAI,OAAO,GAAY,UAAU,CAAC,MAAM,CAAC;IACzC,OACE,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;QAC5B,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC;QACjC,EAAE,CAAC,sBAAsB,CAAC,OAAO,CAAC,EAClC,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,uBAAuB,CAC9B,SAAkC,EAClC,IAAY,EACZ,KAAwB;IAExB,MAAM,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;IAC7B,IAAI,MAAM,KAAK,KAAK,CAAC,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjE,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;AACxC,CAAC;AAED,SAAS,sBAAsB,CAC7B,WAAmC,EACnC,IAAY,EACZ,KAAwB;IAExB,IAAI,UAAU,CAAC,WAAW,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5C,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,WAAW,CAAC;IAC5C,IACE,CAAC,WAAW;QACZ,CAAC,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;QACrC,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;QACzC,CAAC,uBAAuB,CAAC,WAAW,EAAE,KAAK,CAAC,EAC5C,CAAC;QACD,OAAO,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,yBAAyB,CAAC,WAAW,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAa,EAAE,KAAwB;IACtE,KAAK,IAAI,OAAO,GAAG,IAAI,CAAC,MAAM,EAAE,OAAO,IAAI,OAAO,KAAK,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QAC7F,IAAI,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;YACnC,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,yBAAyB,CAChC,WAA0B,EAC1B,IAAY,EACZ,KAAwB;IAExB,MAAM,KAAK,GAAG,2BAA2B,CAAC,WAAW,CAAC,CAAC;IACvD,MAAM,QAAQ,GAAG,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3E,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,kBAAkB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC1C,CAAC;IACD,IAAI,WAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QACzC,OAAO,CAAC,EAAE,IAAI,EAAE,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;IACtF,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,oBAAoB,CAAC,EAAE,CAAC;QAC/E,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,kBAAkB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;AACpF,CAAC;AAED,SAAS,cAAc,CAAC,IAAuB;IAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IAAI,IAAI,GAAkB,IAAI,CAAC;IAC/B,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACrB,CAAC;SAAM,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QACvF,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC1B,CAAC;IACD,OAAO,IAAI,KAAK,IAAI,IAAI,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACrE,CAAC;AAED,SAAS,WAAW,CAAC,QAAgB,EAAE,OAAoC;IACzE,MAAM,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC;IAC5B,OAAO,CACL,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC/B,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC;QAChC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC9B,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC9B,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC;QACpC,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CACpC,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAa;IACzC,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,KAAK,CAAC,IAAI,EAAE,CAAC,SAAS,EAAE,EAAE;QACxB,IAAI,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC,EAAE,CAAC;YACjC,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,cAAc,CAAC,IAAa,EAAE,QAAiB;IACtD,KAAK,IAAI,OAAO,GAAG,IAAI,CAAC,MAAM,EAAE,OAAO,IAAI,OAAO,KAAK,QAAQ,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QAC1F,IAAI,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3B,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAa;IACxC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,CAAC,IAAI,EAAE,CAAC,SAAS,EAAE,EAAE;QACxB,IAAI,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;YAC7B,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,CAAC;YACrE,mBAAmB,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC7C,CAAC;QACD,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC;YAClC,EAAE,CAAC,oBAAoB,CAAC,SAAS,CAAC;YAClC,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC;YAChC,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC;YAClC,SAAS,CAAC,IAAI,EACd,CAAC;YACD,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAa;IACzC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,IAAI,GAAG,CAAC,SAAkB,EAAQ,EAAE;QACxC,IAAI,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,0BAA0B,CAAC,SAAS,CAAC,EAAE,CAAC;YACzE,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;YAC9D,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;QACD,SAAS,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,IAAI,CAAC,IAAI,CAAC,CAAC;IACX,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,gBAAgB,CAAC,UAAyB;IACjD,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,CAAC;IAC9B,OAAO,CAAC,CACN,iBAAiB,CAAC,UAAU,CAAC;QAC7B,oBAAoB,CAAC,UAAU,CAAC;QAChC,CAAC,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,YAAY,KAAK,UAAU,CAAC;QACnE,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;QAC7B,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QACrC,CAAC,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC;QACzD,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC;QACvD,CAAC,EAAE,CAAC,sBAAsB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC;QACjE,CAAC,EAAE,CAAC,sBAAsB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,CAClE,CAAC;AACJ,CAAC"}

package/dist/src/rules/effects/synchronous-dependency-reads.d.ts

@@ -0,0 +1,3 @@
+import ts from "typescript";
+export declare function callbackReadsSynchronously(callback: ts.ArrowFunction | ts.FunctionExpression, name: string): boolean;
+//# sourceMappingURL=synchronous-dependency-reads.d.ts.map

package/dist/src/rules/effects/synchronous-dependency-reads.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"synchronous-dependency-reads.d.ts","sourceRoot":"","sources":["../../../../src/rules/effects/synchronous-dependency-reads.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,wBAAgB,0BAA0B,CACxC,QAAQ,EAAE,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,kBAAkB,EAClD,IAAI,EAAE,MAAM,GACX,OAAO,CAyBT"}

package/dist/src/rules/effects/synchronous-dependency-reads.js

@@ -0,0 +1,161 @@
+import { isAssignmentOperator, isDeclarationName, isNonValueIdentifier, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { isRuntimeFunctionLike, visit } from "../../core/ast.js";
+import ts from "typescript";
+export function callbackReadsSynchronously(callback, name) {
+    let deferredRead = false;
+    let reads = false;
+    let shadowed = callback.parameters.some((parameter) => ts.isIdentifier(parameter.name) && parameter.name.text === name);
+    visit(callback.body, (node) => {
+        if (ts.isIdentifier(node) && isDeclarationName(node) && node.text === name) {
+            shadowed = true;
+            return;
+        }
+        if (!ts.isIdentifier(node) ||
+            node.text !== name ||
+            isDeclarationName(node) ||
+            isNonValueIdentifier(node)) {
+            return;
+        }
+        reads = true;
+        if (readIsDeferred(node, callback)) {
+            deferredRead = true;
+        }
+    });
+    return reads && !deferredRead && !shadowed;
+}
+function readIsDeferred(node, callback) {
+    for (let current = node.parent; current && current !== callback; current = current.parent) {
+        if (isRuntimeFunctionLike(current) &&
+            current !== callback &&
+            !isSynchronousEffectCallback(current)) {
+            return true;
+        }
+    }
+    return false;
+}
+function outermostTransparentWrapper(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 = expression.parent;
+    }
+    return expression;
+}
+function isSynchronousEffectCallback(callback) {
+    if (callback.modifiers?.some((modifier) => modifier.kind === ts.SyntaxKind.AsyncKeyword) ||
+        callback.asteriskToken) {
+        return false;
+    }
+    const expression = outermostTransparentWrapper(callback);
+    const call = expression.parent;
+    if (!ts.isCallExpression(call)) {
+        return false;
+    }
+    if (call.expression === expression) {
+        return true;
+    }
+    // SAFETY: Every transparent wrapper admitted above is an Expression, so the
+    // The callback node remains an Expression when it appears in call.arguments.
+    return (call.arguments.includes(expression) &&
+        ts.isPropertyAccessExpression(call.expression) &&
+        /^(?:every|filter|find|findIndex|flatMap|forEach|map|reduce|reduceRight|some)$/u.test(call.expression.name.text) &&
+        hasSynchronousArrayReceiver(call.expression.expression));
+}
+function soleBindingDeclaration(receiver) {
+    const declarations = [];
+    visit(receiver.getSourceFile(), (node) => {
+        if ((ts.isBindingElement(node) || ts.isParameter(node) || ts.isVariableDeclaration(node)) &&
+            ts.isIdentifier(node.name) &&
+            node.name.text === receiver.text) {
+            declarations.push(node);
+        }
+    });
+    return declarations.length === 1 ? declarations[0] : null;
+}
+function declarationHasArrayType(declaration) {
+    if (ts.isBindingElement(declaration)) {
+        return bindingElementHasArrayType(declaration);
+    }
+    return (isArrayTypeNode(declaration.type) ||
+        (ts.isVariableDeclaration(declaration) &&
+            ts.isVariableDeclarationList(declaration.parent) &&
+            (declaration.parent.flags & ts.NodeFlags.Const) !== 0 &&
+            declaration.initializer !== undefined &&
+            ts.isArrayLiteralExpression(unwrapTransparentExpression(declaration.initializer))));
+}
+function hasSynchronousArrayReceiver(expression) {
+    const receiver = unwrapTransparentExpression(expression);
+    if (ts.isArrayLiteralExpression(receiver)) {
+        return true;
+    }
+    if (!ts.isIdentifier(receiver)) {
+        return false;
+    }
+    const declaration = soleBindingDeclaration(receiver);
+    if (!declaration || arrayBindingHasDirectOverride(receiver)) {
+        return false;
+    }
+    return declarationHasArrayType(declaration);
+}
+function arrayBindingHasDirectOverride(receiver) {
+    let overridden = false;
+    visit(receiver.getSourceFile(), (node) => {
+        if (overridden) {
+            return;
+        }
+        if (ts.isBinaryExpression(node) &&
+            isAssignmentOperator(node.operatorToken.kind) &&
+            expressionTargetsBinding(node.left, receiver.text)) {
+            overridden = true;
+            return;
+        }
+        if ((ts.isPrefixUnaryExpression(node) || ts.isPostfixUnaryExpression(node)) &&
+            expressionTargetsBinding(node.operand, receiver.text)) {
+            overridden = true;
+            return;
+        }
+        if (ts.isDeleteExpression(node) && expressionTargetsBinding(node.expression, receiver.text)) {
+            overridden = true;
+        }
+    });
+    return overridden;
+}
+function expressionTargetsBinding(expression, name) {
+    let current = unwrapTransparentExpression(expression);
+    while (ts.isPropertyAccessExpression(current) || ts.isElementAccessExpression(current)) {
+        current = current.expression;
+    }
+    return ts.isIdentifier(current) && current.text === name;
+}
+function bindingElementHasArrayType(element) {
+    const pattern = element.parent;
+    if (!ts.isObjectBindingPattern(pattern)) {
+        return false;
+    }
+    const declaration = pattern.parent;
+    if (!ts.isParameter(declaration) ||
+        !declaration.type ||
+        !ts.isTypeLiteralNode(declaration.type)) {
+        return false;
+    }
+    const propertyName = element.propertyName?.getText() ?? element.name.getText();
+    return declaration.type.members.some((member) => ts.isPropertySignature(member) &&
+        member.name?.getText() === propertyName &&
+        isArrayTypeNode(member.type));
+}
+function isArrayTypeNode(type) {
+    if (!type) {
+        return false;
+    }
+    if (ts.isArrayTypeNode(type)) {
+        return true;
+    }
+    if (ts.isTypeOperatorNode(type) && type.operator === ts.SyntaxKind.ReadonlyKeyword) {
+        return isArrayTypeNode(type.type);
+    }
+    return false;
+}
+//# sourceMappingURL=synchronous-dependency-reads.js.map

package/dist/src/rules/effects/synchronous-dependency-reads.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"synchronous-dependency-reads.js","sourceRoot":"","sources":["../../../../src/rules/effects/synchronous-dependency-reads.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,EACpB,iBAAiB,EACjB,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,qBAAqB,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAEjE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,0BAA0B,CACxC,QAAkD,EAClD,IAAY;IAEZ,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,IAAI,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAC,IAAI,CACrC,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAC/E,CAAC;IACF,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC5B,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC3E,QAAQ,GAAG,IAAI,CAAC;YAChB,OAAO;QACT,CAAC;QACD,IACE,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,KAAK,GAAG,IAAI,CAAC;QACb,IAAI,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;YACnC,YAAY,GAAG,IAAI,CAAC;QACtB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,IAAI,CAAC,YAAY,IAAI,CAAC,QAAQ,CAAC;AAC7C,CAAC;AAED,SAAS,cAAc,CACrB,IAAa,EACb,QAAkD;IAElD,KACE,IAAI,OAAO,GAAwB,IAAI,CAAC,MAAM,EAC9C,OAAO,IAAI,OAAO,KAAK,QAAQ,EAC/B,OAAO,GAAG,OAAO,CAAC,MAAM,EACxB,CAAC;QACD,IACE,qBAAqB,CAAC,OAAO,CAAC;YAC9B,OAAO,KAAK,QAAQ;YACpB,CAAC,2BAA2B,CAAC,OAAO,CAAC,EACrC,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,2BAA2B,CAAC,IAAa;IAChD,IAAI,UAAU,GAAG,IAAI,CAAC;IACtB,OACE,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC,MAAM,CAAC;QAC/C,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,EACzC,CAAC;QACD,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC;IACjC,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,2BAA2B,CAAC,QAA6B;IAChE,IACE,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;QACpF,QAAQ,CAAC,aAAa,EACtB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,UAAU,GAAG,2BAA2B,CAAC,QAAQ,CAAC,CAAC;IACzD,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;QACnC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,4EAA4E;IAC5E,6EAA6E;IAC7E,OAAO,CACL,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,UAA2B,CAAC;QACpD,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC;QAC9C,gFAAgF,CAAC,IAAI,CACnF,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAC1B;QACD,2BAA2B,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CACxD,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,QAAuB;IAEvB,MAAM,YAAY,GAA6E,EAAE,CAAC;IAClG,KAAK,CAAC,QAAQ,CAAC,aAAa,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE;QACvC,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC;YACrF,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,EAChC,CAAC;YACD,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC7D,CAAC;AAED,SAAS,uBAAuB,CAC9B,WAAiF;IAEjF,IAAI,EAAE,CAAC,gBAAgB,CAAC,WAAW,CAAC,EAAE,CAAC;QACrC,OAAO,0BAA0B,CAAC,WAAW,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,CACL,eAAe,CAAC,WAAW,CAAC,IAAI,CAAC;QACjC,CAAC,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;YACpC,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC,MAAM,CAAC;YAChD,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;YACrD,WAAW,CAAC,WAAW,KAAK,SAAS;YACrC,EAAE,CAAC,wBAAwB,CAAC,2BAA2B,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,CACrF,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAAC,UAAyB;IAC5D,MAAM,QAAQ,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACzD,IAAI,EAAE,CAAC,wBAAwB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,WAAW,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IACrD,IAAI,CAAC,WAAW,IAAI,6BAA6B,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5D,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,uBAAuB,CAAC,WAAW,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,6BAA6B,CAAC,QAAuB;IAC5D,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,KAAK,CAAC,QAAQ,CAAC,aAAa,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE;QACvC,IAAI,UAAU,EAAE,CAAC;YACf,OAAO;QACT,CAAC;QACD,IACE,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAC3B,oBAAoB,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;YAC7C,wBAAwB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,EAClD,CAAC;YACD,UAAU,GAAG,IAAI,CAAC;YAClB,OAAO;QACT,CAAC;QACD,IACE,CAAC,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC;YACvE,wBAAwB,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,EACrD,CAAC;YACD,UAAU,GAAG,IAAI,CAAC;YAClB,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,wBAAwB,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5F,UAAU,GAAG,IAAI,CAAC;QACpB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,wBAAwB,CAAC,UAAyB,EAAE,IAAY;IACvE,IAAI,OAAO,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,OAAO,EAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;QACvF,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IAC/B,CAAC;IACD,OAAO,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,CAAC;AAC3D,CAAC;AAED,SAAS,0BAA0B,CAAC,OAA0B;IAC5D,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,OAAO,CAAC,EAAE,CAAC;QACxC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC;IACnC,IACE,CAAC,EAAE,CAAC,WAAW,CAAC,WAAW,CAAC;QAC5B,CAAC,WAAW,CAAC,IAAI;QACjB,CAAC,EAAE,CAAC,iBAAiB,CAAC,WAAW,CAAC,IAAI,CAAC,EACvC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,EAAE,OAAO,EAAE,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IAC/E,OAAO,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAClC,CAAC,MAAM,EAAE,EAAE,CACT,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;QAC9B,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,YAAY;QACvC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAC/B,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,IAA6B;IACpD,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,EAAE,CAAC;QACnF,OAAO,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/src/rules/event-scalar-leaf/event-owned-scalars.d.ts

@@ -0,0 +1,12 @@
+import type { StateCandidate, StateUsage } from "../../analysis/model.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+export interface EventOwnedScalarOptions {
+    eventCallbacks: ReadonlySet<RuntimeFunctionLike>;
+    hasCompanionWrites: boolean;
+    hasReactiveMutationPath: boolean;
+    hasSafeCommands: boolean;
+    useCallbackNames: ReadonlySet<string>;
+}
+export declare function isEventOwnedNumericState(state: StateCandidate, usage: StateUsage, options: EventOwnedScalarOptions): boolean;
+export declare function isEventOwnedLiteralBooleanState(state: StateCandidate, usage: StateUsage, options: EventOwnedScalarOptions): boolean;
+//# sourceMappingURL=event-owned-scalars.d.ts.map

package/dist/src/rules/event-scalar-leaf/event-owned-scalars.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"event-owned-scalars.d.ts","sourceRoot":"","sources":["../../../../src/rules/event-scalar-leaf/event-owned-scalars.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAQ1E,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAM7D,MAAM,WAAW,uBAAuB;IACtC,cAAc,EAAE,WAAW,CAAC,mBAAmB,CAAC,CAAC;IACjD,kBAAkB,EAAE,OAAO,CAAC;IAC5B,uBAAuB,EAAE,OAAO,CAAC;IACjC,eAAe,EAAE,OAAO,CAAC;IACzB,gBAAgB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACvC;AAID,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,EACjB,OAAO,EAAE,uBAAuB,GAC/B,OAAO,CAsBT;AAED,wBAAgB,+BAA+B,CAC7C,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,EACjB,OAAO,EAAE,uBAAuB,GAC/B,OAAO,CAoBT"}