legend-doctor 0.1.0

package/dist/src/rules/effects/effects.js

@@ -0,0 +1,217 @@
+import { browserStorageClassification, persistedObservableClassification, } from "./browser-storage-persistence.js";
+import { callbackCallsKnownSetter, isSubscriptionCall, soleReturnStatementBody, } from "./callback-shape.js";
+import { capturesOwnerSnapshot, isSetupOnlyMountCandidate } from "./setup-only-mount.js";
+import { committedRefEffect, harnessEffect, keepExternalIntegrationEffect, keepLifecycleEffect, keepPairedMountEffect, keepRenderedReactionEffect, keepStateIndependentEffect, keepStateSnapshotEffect, observeEffect, ownershipDirectiveEffect, reviewCausalOwnerEffect, reviewEmptyDependencySetupEffect, reviewStateReactionEffect, reviewStateWritingEffect, unmountEffect, unresolvedCallbackEffect, useMountEffect, } from "./effect-verdicts.js";
+import { findAncestorUntil, identifiersNamed, nodeWithin } from "../../core/ast.js";
+import { isCommittedPropRefSnapshot, isExactCommittedPreviousValueGuard, isExactLatestValueRefMirror, } from "./committed-ref-mirrors.js";
+import { isDeclarationName, isNonValueIdentifier, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { analyzeEffectStateDependencies } from "./state-independent-effects.js";
+import { callbackIsCommittedRefIntegration } from "./committed-ref-integration.js";
+import { callbackReadsSynchronously } from "./synchronous-dependency-reads.js";
+import { findMutationSiteReset } from "./mutation-site-resets.js";
+import { findPureDerivedSetter } from "./derived-setters.js";
+import { isDependencyDrivenExternalCommandEffect } from "./external-command-effects.js";
+import ts from "typescript";
+const REACT_EFFECT_DIRECTIVE_PATTERN = /^(?:react-effect-allow\b|legend-doctor\s+keep-react-effect\b)/u;
+export function classifyEffect(request) {
+    const { childContracts, effect, imports, legendState, moduleScopeBindings, nonProductionHarness, reactNamespaces, stateBySetter, stateByValue, usageBySetter, useObservableBindings, useRefBindings, useValueBindings, } = request;
+    if (nonProductionHarness) {
+        return harnessEffect();
+    }
+    if (hasReactEffectOwnershipDirective(effect)) {
+        return ownershipDirectiveEffect();
+    }
+    if (!effect.callback) {
+        return unresolvedCallbackEffect();
+    }
+    const context = {
+        childContracts,
+        imports,
+        legendState,
+        moduleScopeBindings,
+        reactNamespaces,
+        stateBySetter,
+        stateByValue,
+        usageBySetter,
+        useObservableBindings,
+        useRefBindings,
+        useValueBindings,
+    };
+    return classifyInlineEffect(effect, effect.callback, context);
+}
+function classifyInlineEffect(effect, callback, context) {
+    const derivedState = findPureDerivedSetter(callback, effect.dependencies, context);
+    if (derivedState) {
+        return {
+            action: "delete-effect",
+            confidence: "certain",
+            derivedState,
+            message: `Delete this effect and calculate the value passed to \`${derivedState.setterName}\` directly during render.`,
+        };
+    }
+    const eventReset = findMutationSiteReset(effect, context);
+    if (eventReset) {
+        return {
+            action: "move-to-event",
+            confidence: "probable",
+            derivedState: null,
+            message: `Move the \`${eventReset.target.valueName}\` reset into every ${eventReset.sources.map((source) => `\`${source.valueName}\``).join(", ")} mutation—inside the same observable action if this state is migrated—then delete this effect.`,
+        };
+    }
+    const inline = {
+        ...context,
+        hasCleanup: callbackHasCleanup(callback, context.stateBySetter),
+    };
+    if (effect.dependencies?.elements.length === 0) {
+        return emptyDependencyClassification(effect, callback, inline);
+    }
+    return dependencyEffectClassification(effect, callback, inline);
+}
+function emptyDependencyClassification(effect, callback, inline) {
+    if (isCleanupOnly(callback)) {
+        return unmountEffect();
+    }
+    if (!inline.hasCleanup && effect.owner) {
+        const mounted = mountClassification(callback, effect.owner, inline);
+        if (mounted) {
+            return mounted;
+        }
+    }
+    if (!inline.hasCleanup && !callbackCallsKnownSetter(callback, inline.stateBySetter)) {
+        return reviewEmptyDependencySetupEffect();
+    }
+    return keepPairedMountEffect();
+}
+function mountClassification(callback, owner, inline) {
+    if (!capturesOwnerSnapshot(callback, owner, inline) &&
+        callbackIsCommittedRefIntegration(callback, owner, inline)) {
+        return committedRefEffect();
+    }
+    return isSetupOnlyMountCandidate(callback, owner, inline) ? useMountEffect() : null;
+}
+function dependencyEffectClassification(effect, callback, inline) {
+    if (!inline.hasCleanup && effect.owner && isCommittedRefEffect(effect, callback, inline)) {
+        return committedRefEffect();
+    }
+    if (isObservableSourcedReaction(effect, callback, inline)) {
+        return (persistedObservableClassification(effect, inline) ??
+            (useValueDependenciesAreEffectOnly(effect, inline)
+                ? observeEffect()
+                : keepRenderedReactionEffect()));
+    }
+    if (inline.hasCleanup) {
+        return keepLifecycleEffect();
+    }
+    const specificKeep = effect.owner ? dependencyEffectKeepProof(effect, callback, inline) : null;
+    return specificKeep ?? stateDependencyClassification(effect, callback, inline);
+}
+function stateDependencyClassification(effect, callback, inline) {
+    const { body, opaque, schedule, states } = analyzeEffectStateDependencies(effect, callback, inline);
+    const stateDependencies = opaque ? [] : states;
+    if (schedule) {
+        return reviewStateScheduledEffect(schedule, stateDependencies);
+    }
+    if (body?.kind === "setter") {
+        return reviewStateWritingEffect(body.state.valueName, stateDependencies);
+    }
+    if (body?.kind === "unresolved") {
+        return reviewCausalOwnerEffect();
+    }
+    return body ? keepStateSnapshotEffect(body.name) : keepStateIndependentEffect();
+}
+function dependencyEffectKeepProof(effect, callback, inline) {
+    const persistence = browserStorageClassification(effect, callback, inline);
+    if (persistence) {
+        return persistence;
+    }
+    return isDependencyDrivenExternalCommandEffect(effect, inline)
+        ? keepExternalIntegrationEffect()
+        : null;
+}
+function reviewStateScheduledEffect(schedule, stateDependencies) {
+    if (schedule.kind === "setter") {
+        return reviewStateWritingEffect(schedule.state.valueName, stateDependencies);
+    }
+    if (schedule.kind === "value") {
+        return reviewStateReactionEffect(schedule.name, stateDependencies);
+    }
+    return reviewCausalOwnerEffect();
+}
+function isCommittedRefEffect(effect, callback, inline) {
+    return (effect.owner !== null &&
+        (isExactLatestValueRefMirror(effect, inline) ||
+            isExactCommittedPreviousValueGuard(effect, inline) ||
+            callbackIsCommittedRefIntegration(callback, effect.owner, inline) ||
+            isCommittedPropRefSnapshot(effect, inline.stateBySetter)));
+}
+function isObservableSourcedReaction(effect, callback, inline) {
+    const { dependencies } = effect;
+    if (inline.hasCleanup || !dependencies || dependencies.elements.length === 0) {
+        return false;
+    }
+    const dependencyNames = dependencies.elements.flatMap((element) => ts.isIdentifier(element) ? [element.text] : []);
+    const directUseValueDependencies = dependencyNames.filter((name) => inline.useValueBindings.has(name));
+    return (!callback.modifiers?.some((modifier) => modifier.kind === ts.SyntaxKind.AsyncKeyword) &&
+        !callback.asteriskToken &&
+        dependencyNames.length === dependencies.elements.length &&
+        dependencyNames.length > 0 &&
+        directUseValueDependencies.length > 0 &&
+        dependencyNames.every((name) => inline.useValueBindings.has(name) || inline.useObservableBindings.has(name)) &&
+        directUseValueDependencies.every((name) => callbackReadsSynchronously(callback, name)));
+}
+function useValueDependenciesAreEffectOnly(effect, inline) {
+    const { call, dependencies, owner } = effect;
+    if (!owner || !dependencies) {
+        return false;
+    }
+    return dependencies.elements.every((element) => !ts.isIdentifier(element) ||
+        !inline.useValueBindings.has(element.text) ||
+        identifiersNamed(owner.body, element.text).every((reference) => isDeclarationName(reference) ||
+            isNonValueIdentifier(reference) ||
+            nodeWithin(reference, call)));
+}
+function hasReactEffectOwnershipDirective(effect) {
+    const statement = findAncestorUntil(effect.call, ts.isExpressionStatement, effect.owner ?? effect.call.getSourceFile());
+    const directive = statement && adjacentLeadingCommentText(statement);
+    return directive !== null && REACT_EFFECT_DIRECTIVE_PATTERN.test(directive);
+}
+function adjacentLeadingCommentText(statement) {
+    const sourceFile = statement.getSourceFile();
+    const leadingComments = ts.getLeadingCommentRanges(sourceFile.text, statement.getFullStart()) ?? [];
+    const comment = leadingComments.at(-1);
+    if (!comment) {
+        return null;
+    }
+    const gap = sourceFile.text.slice(comment.end, statement.getStart(sourceFile));
+    if (/\r?\n[\t ]*\r?\n/u.test(gap)) {
+        return null;
+    }
+    return sourceFile.text
+        .slice(comment.pos, comment.end)
+        .replace(/^\s*\/[/*]+\s*/u, "")
+        .replace(/\*\/\s*$/u, "");
+}
+export function callbackHasCleanup(callback, stateBySetter) {
+    if (!ts.isBlock(callback.body)) {
+        if (ts.isCallExpression(callback.body) &&
+            ts.isIdentifier(callback.body.expression) &&
+            stateBySetter.has(callback.body.expression.text)) {
+            return false;
+        }
+        return (ts.isArrowFunction(callback.body) ||
+            ts.isFunctionExpression(callback.body) ||
+            ts.isIdentifier(callback.body) ||
+            ts.isPropertyAccessExpression(callback.body) ||
+            (ts.isCallExpression(callback.body) && isSubscriptionCall(callback.body)));
+    }
+    return callback.body.statements.some((statement) => ts.isReturnStatement(statement) && statement.expression !== undefined);
+}
+function isCleanupOnly(callback) {
+    const expression = soleReturnStatementBody(callback);
+    if (!expression) {
+        return false;
+    }
+    const cleanup = unwrapTransparentExpression(expression);
+    return (ts.isArrowFunction(cleanup) || ts.isFunctionExpression(cleanup) || ts.isIdentifier(cleanup));
+}
+//# sourceMappingURL=effects.js.map

package/dist/src/rules/effects/effects.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effects.js","sourceRoot":"","sources":["../../../../src/rules/effects/effects.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,4BAA4B,EAC5B,iCAAiC,GAClC,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EACL,wBAAwB,EACxB,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,qBAAqB,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAC;AACzF,OAAO,EACL,kBAAkB,EAClB,aAAa,EACb,6BAA6B,EAC7B,mBAAmB,EACnB,qBAAqB,EACrB,0BAA0B,EAC1B,0BAA0B,EAC1B,uBAAuB,EACvB,aAAa,EACb,wBAAwB,EACxB,uBAAuB,EACvB,gCAAgC,EAChC,yBAAyB,EACzB,wBAAwB,EACxB,aAAa,EACb,wBAAwB,EACxB,cAAc,GACf,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpF,OAAO,EACL,0BAA0B,EAC1B,kCAAkC,EAClC,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AAGpC,OAAO,EAAE,8BAA8B,EAAE,MAAM,gCAAgC,CAAC;AAChF,OAAO,EAAE,iCAAiC,EAAE,MAAM,gCAAgC,CAAC;AACnF,OAAO,EAAE,0BAA0B,EAAE,MAAM,mCAAmC,CAAC;AAC/E,OAAO,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAClE,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,uCAAuC,EAAE,MAAM,+BAA+B,CAAC;AACxF,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,8BAA8B,GAClC,gEAAgE,CAAC;AAOnE,MAAM,UAAU,cAAc,CAAC,OAAoC;IACjE,MAAM,EACJ,cAAc,EACd,MAAM,EACN,OAAO,EACP,WAAW,EACX,mBAAmB,EACnB,oBAAoB,EACpB,eAAe,EACf,aAAa,EACb,YAAY,EACZ,aAAa,EACb,qBAAqB,EACrB,cAAc,EACd,gBAAgB,GACjB,GAAG,OAAO,CAAC;IACZ,IAAI,oBAAoB,EAAE,CAAC;QACzB,OAAO,aAAa,EAAE,CAAC;IACzB,CAAC;IACD,IAAI,gCAAgC,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7C,OAAO,wBAAwB,EAAE,CAAC;IACpC,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QACrB,OAAO,wBAAwB,EAAE,CAAC;IACpC,CAAC;IACD,MAAM,OAAO,GAAgC;QAC3C,cAAc;QACd,OAAO;QACP,WAAW;QACX,mBAAmB;QACnB,eAAe;QACf,aAAa;QACb,YAAY;QACZ,aAAa;QACb,qBAAqB;QACrB,cAAc;QACd,gBAAgB;KACjB,CAAC;IACF,OAAO,oBAAoB,CAAC,MAAM,EAAE,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,oBAAoB,CAC3B,MAAuB,EACvB,QAAkD,EAClD,OAAoC;IAEpC,MAAM,YAAY,GAAG,qBAAqB,CAAC,QAAQ,EAAE,MAAM,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IACnF,IAAI,YAAY,EAAE,CAAC;QACjB,OAAO;YACL,MAAM,EAAE,eAAe;YACvB,UAAU,EAAE,SAAS;YACrB,YAAY;YACZ,OAAO,EAAE,0DAA0D,YAAY,CAAC,UAAU,4BAA4B;SACvH,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,qBAAqB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC1D,IAAI,UAAU,EAAE,CAAC;QACf,OAAO;YACL,MAAM,EAAE,eAAe;YACvB,UAAU,EAAE,UAAU;YACtB,YAAY,EAAE,IAAI;YAClB,OAAO,EAAE,cAAc,UAAU,CAAC,MAAM,CAAC,SAAS,uBAAuB,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,MAAM,CAAC,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,gGAAgG;SAClP,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAwB;QAClC,GAAG,OAAO;QACV,UAAU,EAAE,kBAAkB,CAAC,QAAQ,EAAE,OAAO,CAAC,aAAa,CAAC;KAChE,CAAC;IACF,IAAI,MAAM,CAAC,YAAY,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/C,OAAO,6BAA6B,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,8BAA8B,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,6BAA6B,CACpC,MAAuB,EACvB,QAAkD,EAClD,MAA2B;IAE3B,IAAI,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5B,OAAO,aAAa,EAAE,CAAC;IACzB,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACvC,MAAM,OAAO,GAAG,mBAAmB,CAAC,QAAQ,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACpE,IAAI,OAAO,EAAE,CAAC;YACZ,OAAO,OAAO,CAAC;QACjB,CAAC;IACH,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,UAAU,IAAI,CAAC,wBAAwB,CAAC,QAAQ,EAAE,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC;QACpF,OAAO,gCAAgC,EAAE,CAAC;IAC5C,CAAC;IACD,OAAO,qBAAqB,EAAE,CAAC;AACjC,CAAC;AAED,SAAS,mBAAmB,CAC1B,QAAkD,EAClD,KAA0B,EAC1B,MAA2B;IAE3B,IACE,CAAC,qBAAqB,CAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC;QAC/C,iCAAiC,CAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,EAC1D,CAAC;QACD,OAAO,kBAAkB,EAAE,CAAC;IAC9B,CAAC;IACD,OAAO,yBAAyB,CAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACtF,CAAC;AAED,SAAS,8BAA8B,CACrC,MAAuB,EACvB,QAAkD,EAClD,MAA2B;IAE3B,IAAI,CAAC,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,KAAK,IAAI,oBAAoB,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;QACzF,OAAO,kBAAkB,EAAE,CAAC;IAC9B,CAAC;IACD,IAAI,2BAA2B,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;QAC1D,OAAO,CACL,iCAAiC,CAAC,MAAM,EAAE,MAAM,CAAC;YACjD,CAAC,iCAAiC,CAAC,MAAM,EAAE,MAAM,CAAC;gBAChD,CAAC,CAAC,aAAa,EAAE;gBACjB,CAAC,CAAC,0BAA0B,EAAE,CAAC,CAClC,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACtB,OAAO,mBAAmB,EAAE,CAAC;IAC/B,CAAC;IACD,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,yBAAyB,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/F,OAAO,YAAY,IAAI,6BAA6B,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;AACjF,CAAC;AAED,SAAS,6BAA6B,CACpC,MAAuB,EACvB,QAAkD,EAClD,MAA2B;IAE3B,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,8BAA8B,CACvE,MAAM,EACN,QAAQ,EACR,MAAM,CACP,CAAC;IACF,MAAM,iBAAiB,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;IAC/C,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,0BAA0B,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC5B,OAAO,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,iBAAiB,CAAC,CAAC;IAC3E,CAAC;IACD,IAAI,IAAI,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;QAChC,OAAO,uBAAuB,EAAE,CAAC;IACnC,CAAC;IACD,OAAO,IAAI,CAAC,CAAC,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,0BAA0B,EAAE,CAAC;AAClF,CAAC;AAED,SAAS,yBAAyB,CAChC,MAAuB,EACvB,QAAkD,EAClD,MAA2B;IAE3B,MAAM,WAAW,GAAG,4BAA4B,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC3E,IAAI,WAAW,EAAE,CAAC;QAChB,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,OAAO,uCAAuC,CAAC,MAAM,EAAE,MAAM,CAAC;QAC5D,CAAC,CAAC,6BAA6B,EAAE;QACjC,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,0BAA0B,CACjC,QAA+B,EAC/B,iBAA4C;IAE5C,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC/B,OAAO,wBAAwB,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,EAAE,iBAAiB,CAAC,CAAC;IAC/E,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC9B,OAAO,yBAAyB,CAAC,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,uBAAuB,EAAE,CAAC;AACnC,CAAC;AAED,SAAS,oBAAoB,CAC3B,MAAuB,EACvB,QAAkD,EAClD,MAA2B;IAE3B,OAAO,CACL,MAAM,CAAC,KAAK,KAAK,IAAI;QACrB,CAAC,2BAA2B,CAAC,MAAM,EAAE,MAAM,CAAC;YAC1C,kCAAkC,CAAC,MAAM,EAAE,MAAM,CAAC;YAClD,iCAAiC,CAAC,QAAQ,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC;YACjE,0BAA0B,CAAC,MAAM,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC,CAC5D,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAClC,MAAuB,EACvB,QAAkD,EAClD,MAA2B;IAE3B,MAAM,EAAE,YAAY,EAAE,GAAG,MAAM,CAAC;IAChC,IAAI,MAAM,CAAC,UAAU,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7E,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,eAAe,GAAG,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAChE,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAC/C,CAAC;IACF,MAAM,0BAA0B,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CACjE,MAAM,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAClC,CAAC;IACF,OAAO,CACL,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;QACrF,CAAC,QAAQ,CAAC,aAAa;QACvB,eAAe,CAAC,MAAM,KAAK,YAAY,CAAC,QAAQ,CAAC,MAAM;QACvD,eAAe,CAAC,MAAM,GAAG,CAAC;QAC1B,0BAA0B,CAAC,MAAM,GAAG,CAAC;QACrC,eAAe,CAAC,KAAK,CACnB,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,CACtF;QACD,0BAA0B,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,0BAA0B,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CACvF,CAAC;AACJ,CAAC;AAED,SAAS,iCAAiC,CACxC,MAAuB,EACvB,MAA2B;IAE3B,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IAC7C,IAAI,CAAC,KAAK,IAAI,CAAC,YAAY,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,YAAY,CAAC,QAAQ,CAAC,KAAK,CAChC,CAAC,OAAO,EAAE,EAAE,CACV,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC;QACzB,CAAC,MAAM,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC;QAC1C,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,CAC9C,CAAC,SAAS,EAAE,EAAE,CACZ,iBAAiB,CAAC,SAAS,CAAC;YAC5B,oBAAoB,CAAC,SAAS,CAAC;YAC/B,UAAU,CAAC,SAAS,EAAE,IAAI,CAAC,CAC9B,CACJ,CAAC;AACJ,CAAC;AAED,SAAS,gCAAgC,CAAC,MAAuB;IAC/D,MAAM,SAAS,GAAG,iBAAiB,CACjC,MAAM,CAAC,IAAI,EACX,EAAE,CAAC,qBAAqB,EACxB,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,aAAa,EAAE,CAC5C,CAAC;IACF,MAAM,SAAS,GAAG,SAAS,IAAI,0BAA0B,CAAC,SAAS,CAAC,CAAC;IACrE,OAAO,SAAS,KAAK,IAAI,IAAI,8BAA8B,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,0BAA0B,CAAC,SAAuB;IACzD,MAAM,UAAU,GAAG,SAAS,CAAC,aAAa,EAAE,CAAC;IAC7C,MAAM,eAAe,GACnB,EAAE,CAAC,uBAAuB,CAAC,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,YAAY,EAAE,CAAC,IAAI,EAAE,CAAC;IAC9E,MAAM,OAAO,GAAG,eAAe,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;IAC/E,IAAI,mBAAmB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,UAAU,CAAC,IAAI;SACnB,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC;SAC/B,OAAO,CAAC,iBAAiB,EAAE,EAAE,CAAC;SAC9B,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,QAAkD,EAClD,aAAkD;IAElD,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,IACE,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC;YAClC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC;YACzC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAChD,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,CACL,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC;YACjC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,IAAI,CAAC;YACtC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,0BAA0B,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC5C,CAAC,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,kBAAkB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAC1E,CAAC;IACJ,CAAC;IACD,OAAO,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAClC,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,UAAU,KAAK,SAAS,CACrF,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,QAAkD;IACvE,MAAM,UAAU,GAAG,uBAAuB,CAAC,QAAQ,CAAC,CAAC;IACrD,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACxD,OAAO,CACL,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAC5F,CAAC;AACJ,CAAC"}

package/dist/src/rules/effects/external-command-effects.d.ts

@@ -0,0 +1,4 @@
+import type { EffectClassificationContext } from "./model.js";
+import type { EffectCandidate } from "../../analysis/model.js";
+export declare function isDependencyDrivenExternalCommandEffect(effect: EffectCandidate, context: EffectClassificationContext): boolean;
+//# sourceMappingURL=external-command-effects.d.ts.map

package/dist/src/rules/effects/external-command-effects.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"external-command-effects.d.ts","sourceRoot":"","sources":["../../../../src/rules/effects/external-command-effects.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAGV,2BAA2B,EAC5B,MAAM,YAAY,CAAC;AAQpB,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAS/D,wBAAgB,uCAAuC,CACrD,MAAM,EAAE,eAAe,EACvB,OAAO,EAAE,2BAA2B,GACnC,OAAO,CA0BT"}

package/dist/src/rules/effects/external-command-effects.js

@@ -0,0 +1,101 @@
+import { bindingDeclarationCount, callRootIdentifier, isAssignmentOperator, } from "../../core/analysis-ast.js";
+import { commandSupportCallsAreInert, isCallbackDrivenCall } from "./command-support-calls.js";
+import { visit, visitSkippingNestedFunctions } from "../../core/ast.js";
+import ts from "typescript";
+const PURE_GLOBAL_RECEIVERS = new Set(["console", "Math", "Promise"]);
+const SCHEDULER_GLOBAL_PATTERN = /^(?:setTimeout|setInterval|requestAnimationFrame|requestIdleCallback|queueMicrotask)$/u;
+export function isDependencyDrivenExternalCommandEffect(effect, context) {
+    const { callback, dependencies, owner } = effect;
+    if (!callback ||
+        !ts.isBlock(callback.body) ||
+        !dependencies?.elements.length ||
+        !owner ||
+        callback.modifiers?.some((modifier) => modifier.kind === ts.SyntaxKind.AsyncKeyword) ||
+        callback.asteriskToken ||
+        dependenciesReadLocalSnapshots(dependencies, context)) {
+        return false;
+    }
+    const survey = surveyEffectCalls(callback, callback.body);
+    const [command] = survey.commands;
+    if (survey.hasOtherMutation || survey.commands.length !== 1 || !command) {
+        return false;
+    }
+    const scope = {
+        command,
+        dependencies,
+        effectCallback: callback,
+        moduleScopeBindings: context.moduleScopeBindings,
+        owner,
+    };
+    return commandSupportCallsAreInert(survey, scope) && isExternalCommandCallee(command, owner);
+}
+function dependenciesReadLocalSnapshots(dependencies, context) {
+    let reads = false;
+    visit(dependencies, (node) => {
+        if (ts.isIdentifier(node) &&
+            (context.stateByValue.has(node.text) ||
+                context.useValueBindings.has(node.text) ||
+                context.useObservableBindings.has(node.text))) {
+            reads = true;
+        }
+    });
+    return reads;
+}
+function surveyEffectCalls(callback, body) {
+    const calls = [];
+    const commands = [];
+    let hasOtherMutation = false;
+    visitSkippingNestedFunctions(body, callback, (node) => {
+        if (ts.isCallExpression(node)) {
+            calls.push(node);
+            if (isStandaloneEffectCommand(node, callback)) {
+                commands.push(node);
+            }
+        }
+        if (isMutatingEffectNode(node)) {
+            hasOtherMutation = true;
+        }
+    });
+    return { calls, commands, hasOtherMutation };
+}
+function isMutatingEffectNode(node) {
+    return (ts.isAwaitExpression(node) ||
+        ts.isYieldExpression(node) ||
+        (ts.isNewExpression(node) && !isDependencyEffectValueConstructor(node)) ||
+        ts.isDeleteExpression(node) ||
+        ts.isPostfixUnaryExpression(node) ||
+        (ts.isPrefixUnaryExpression(node) &&
+            (node.operator === ts.SyntaxKind.PlusPlusToken ||
+                node.operator === ts.SyntaxKind.MinusMinusToken)) ||
+        (ts.isBinaryExpression(node) && isAssignmentOperator(node.operatorToken.kind)));
+}
+function isExternalCommandCallee(call, owner) {
+    const callee = call.expression;
+    if (ts.isIdentifier(callee)) {
+        return (bindingDeclarationCount(owner, callee.text) === 0 &&
+            !SCHEDULER_GLOBAL_PATTERN.test(callee.text));
+    }
+    if ((!ts.isPropertyAccessExpression(callee) && !ts.isElementAccessExpression(callee)) ||
+        isCallbackDrivenCall(call)) {
+        return false;
+    }
+    const root = callRootIdentifier(callee);
+    return root !== null && !PURE_GLOBAL_RECEIVERS.has(root);
+}
+function isDependencyEffectValueConstructor(node) {
+    return ts.isIdentifier(node.expression) && node.expression.text === "Date";
+}
+function isStandaloneEffectCommand(call, callback) {
+    let current = call;
+    while (current.parent !== callback.body &&
+        (ts.isParenthesizedExpression(current.parent) ||
+            ts.isAsExpression(current.parent) ||
+            ts.isTypeAssertionExpression(current.parent) ||
+            ts.isSatisfiesExpression(current.parent) ||
+            ts.isNonNullExpression(current.parent) ||
+            ts.isVoidExpression(current.parent))) {
+        current = current.parent;
+    }
+    return ts.isExpressionStatement(current.parent) && current.parent.expression === current;
+}
+//# sourceMappingURL=external-command-effects.js.map

package/dist/src/rules/effects/external-command-effects.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"external-command-effects.js","sourceRoot":"","sources":["../../../../src/rules/effects/external-command-effects.ts"],"names":[],"mappings":"AAKA,OAAO,EACL,uBAAuB,EACvB,kBAAkB,EAClB,oBAAoB,GACrB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,2BAA2B,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAC/F,OAAO,EAAE,KAAK,EAAE,4BAA4B,EAAE,MAAM,mBAAmB,CAAC;AAGxE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;AAEtE,MAAM,wBAAwB,GAC5B,wFAAwF,CAAC;AAE3F,MAAM,UAAU,uCAAuC,CACrD,MAAuB,EACvB,OAAoC;IAEpC,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IACjD,IACE,CAAC,QAAQ;QACT,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;QAC1B,CAAC,YAAY,EAAE,QAAQ,CAAC,MAAM;QAC9B,CAAC,KAAK;QACN,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;QACtB,8BAA8B,CAAC,YAAY,EAAE,OAAO,CAAC,EACrD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC1D,MAAM,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC;IAClC,IAAI,MAAM,CAAC,gBAAgB,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACxE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAA0B;QACnC,OAAO;QACP,YAAY;QACZ,cAAc,EAAE,QAAQ;QACxB,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;QAChD,KAAK;KACN,CAAC;IACF,OAAO,2BAA2B,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,uBAAuB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;AAC/F,CAAC;AAED,SAAS,8BAA8B,CACrC,YAAuC,EACvC,OAAoC;IAEpC,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,KAAK,CAAC,YAAY,EAAE,CAAC,IAAI,EAAE,EAAE;QAC3B,IACE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACrB,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;gBAClC,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;gBACvC,OAAO,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAC/C,CAAC;YACD,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,iBAAiB,CACxB,QAAkD,EAClD,IAAc;IAEd,MAAM,KAAK,GAAwB,EAAE,CAAC;IACtC,MAAM,QAAQ,GAAwB,EAAE,CAAC;IACzC,IAAI,gBAAgB,GAAG,KAAK,CAAC;IAC7B,4BAA4B,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE;QACpD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,IAAI,yBAAyB,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;gBAC9C,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtB,CAAC;QACH,CAAC;QACD,IAAI,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,gBAAgB,GAAG,IAAI,CAAC;QAC1B,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC;AAC/C,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAa;IACzC,OAAO,CACL,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;QAC1B,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;QAC1B,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,kCAAkC,CAAC,IAAI,CAAC,CAAC;QACvE,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;QAC3B,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC;QACjC,CAAC,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC;YAC/B,CAAC,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;gBAC5C,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;QACrD,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,oBAAoB,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAC/E,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAuB,EAAE,KAA0B;IAClF,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,OAAO,CACL,uBAAuB,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;YACjD,CAAC,wBAAwB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAC5C,CAAC;IACJ,CAAC;IACD,IACE,CAAC,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC;QACjF,oBAAoB,CAAC,IAAI,CAAC,EAC1B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;IACxC,OAAO,IAAI,KAAK,IAAI,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,kCAAkC,CAAC,IAAsB;IAChE,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM,CAAC;AAC7E,CAAC;AAED,SAAS,yBAAyB,CAChC,IAAuB,EACvB,QAAkD;IAElD,IAAI,OAAO,GAAY,IAAI,CAAC;IAC5B,OACE,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC,IAAI;QAChC,CAAC,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,MAAM,CAAC;YAC3C,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC;YACjC,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,MAAM,CAAC;YAC5C,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC,MAAM,CAAC;YACxC,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,MAAM,CAAC;YACtC,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EACtC,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IACD,OAAO,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,UAAU,KAAK,OAAO,CAAC;AAC3F,CAAC"}

package/dist/src/rules/effects/model.d.ts

@@ -0,0 +1,38 @@
+import type { StateCandidate, StateUsage } from "../../analysis/model.js";
+import type { ChildContractResolver } from "../child-contract/model.js";
+import type { HookImports } from "../../core/imports.js";
+import type { InstalledLegendState } from "../../core/types.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import type ts from "typescript";
+export declare const KNOWN_GLOBAL_OBJECTS: Set<string>;
+export interface CommittedRefContext {
+    readonly reactNamespaces: ReadonlySet<string>;
+    readonly useRefBindings: ReadonlySet<string>;
+}
+export interface EffectClassificationContext extends CommittedRefContext {
+    readonly childContracts: ChildContractResolver | null;
+    readonly imports: HookImports;
+    readonly legendState: InstalledLegendState | null;
+    readonly moduleScopeBindings: ReadonlySet<string>;
+    readonly stateBySetter: ReadonlyMap<string, StateCandidate>;
+    readonly stateByValue: ReadonlyMap<string, StateCandidate>;
+    readonly usageBySetter: ReadonlyMap<string, StateUsage>;
+    readonly useObservableBindings: ReadonlySet<string>;
+    readonly useValueBindings: ReadonlySet<string>;
+}
+export interface InlineEffectContext extends EffectClassificationContext {
+    readonly hasCleanup: boolean;
+}
+export interface DependencyEffectScope {
+    readonly command: ts.CallExpression;
+    readonly dependencies: ts.ArrayLiteralExpression;
+    readonly effectCallback: ts.ArrowFunction | ts.FunctionExpression;
+    readonly moduleScopeBindings: ReadonlySet<string>;
+    readonly owner: RuntimeFunctionLike;
+}
+export interface EffectCallSurvey {
+    readonly calls: readonly ts.CallExpression[];
+    readonly commands: readonly ts.CallExpression[];
+    readonly hasOtherMutation: boolean;
+}
+//# sourceMappingURL=model.d.ts.map

package/dist/src/rules/effects/model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../../../src/rules/effects/model.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAC1E,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAChE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,eAAO,MAAM,oBAAoB,aAO/B,CAAC;AAEH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,eAAe,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC9C,QAAQ,CAAC,cAAc,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC9C;AAED,MAAM,WAAW,2BAA4B,SAAQ,mBAAmB;IACtE,QAAQ,CAAC,cAAc,EAAE,qBAAqB,GAAG,IAAI,CAAC;IACtD,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,oBAAoB,GAAG,IAAI,CAAC;IAClD,QAAQ,CAAC,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAClD,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IAC5D,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IAC3D,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACxD,QAAQ,CAAC,qBAAqB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACpD,QAAQ,CAAC,gBAAgB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAChD;AAED,MAAM,WAAW,mBAAoB,SAAQ,2BAA2B;IACtE,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;CAC9B;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,cAAc,CAAC;IACpC,QAAQ,CAAC,YAAY,EAAE,EAAE,CAAC,sBAAsB,CAAC;IACjD,QAAQ,CAAC,cAAc,EAAE,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,kBAAkB,CAAC;IAClE,QAAQ,CAAC,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAClD,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC;CACrC;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,EAAE,SAAS,EAAE,CAAC,cAAc,EAAE,CAAC;IAC7C,QAAQ,CAAC,QAAQ,EAAE,SAAS,EAAE,CAAC,cAAc,EAAE,CAAC;IAChD,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;CACpC"}

package/dist/src/rules/effects/model.js

@@ -0,0 +1,9 @@
+export const KNOWN_GLOBAL_OBJECTS = new Set([
+    "console",
+    "Date",
+    "Math",
+    "JSON",
+    "Promise",
+    "globalThis",
+]);
+//# sourceMappingURL=model.js.map

package/dist/src/rules/effects/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../../../src/rules/effects/model.ts"],"names":[],"mappings":"AAOA,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC;IAC1C,SAAS;IACT,MAAM;IACN,MAAM;IACN,MAAM;IACN,SAAS;IACT,YAAY;CACb,CAAC,CAAC"}

package/dist/src/rules/effects/mutation-site-resets.d.ts

@@ -0,0 +1,9 @@
+import type { EffectCandidate, StateCandidate } from "../../analysis/model.js";
+import type { EffectClassificationContext } from "./model.js";
+interface MutationSiteReset {
+    sources: readonly StateCandidate[];
+    target: StateCandidate;
+}
+export declare function findMutationSiteReset(effect: EffectCandidate, context: EffectClassificationContext): MutationSiteReset | null;
+export {};
+//# sourceMappingURL=mutation-site-resets.d.ts.map

package/dist/src/rules/effects/mutation-site-resets.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mutation-site-resets.d.ts","sourceRoot":"","sources":["../../../../src/rules/effects/mutation-site-resets.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAC/E,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,YAAY,CAAC;AAO9D,UAAU,iBAAiB;IACzB,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IACnC,MAAM,EAAE,cAAc,CAAC;CACxB;AAED,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,eAAe,EACvB,OAAO,EAAE,2BAA2B,GACnC,iBAAiB,GAAG,IAAI,CAY1B"}

package/dist/src/rules/effects/mutation-site-resets.js

@@ -0,0 +1,80 @@
+import { allSetterReferencesAreEventBoundaries } from "./setter-event-boundaries.js";
+import { soleDirectSetterCall } from "./callback-shape.js";
+import ts from "typescript";
+import { unwrapTransparentExpression } from "../../core/analysis-ast.js";
+export function findMutationSiteReset(effect, context) {
+    const sources = dependencySourceStates(effect, context.stateByValue);
+    if (!effect.callback || !effect.owner || !sources) {
+        return null;
+    }
+    const target = resetTargetState(effect.callback, effect.owner, context);
+    if (!target || sources.includes(target)) {
+        return null;
+    }
+    return sources.every((source) => setterOnlyMutatesAtEventBoundaries(source, context))
+        ? { sources, target }
+        : null;
+}
+function dependencySourceStates(effect, stateByValue) {
+    const { dependencies, owner } = effect;
+    if (!owner || !dependencies || dependencies.elements.length === 0) {
+        return null;
+    }
+    const sourceNames = dependencies.elements.flatMap((element) => ts.isIdentifier(element) ? [element.text] : []);
+    if (sourceNames.length !== dependencies.elements.length) {
+        return null;
+    }
+    const sources = sourceNames.flatMap((name) => {
+        const state = stateByValue.get(name);
+        return state && state.owner === owner ? [state] : [];
+    });
+    return sources.length === sourceNames.length && new Set(sources).size === sources.length
+        ? sources
+        : null;
+}
+function resetTargetState(callback, owner, context) {
+    const setterCall = soleDirectSetterCall(callback, context.stateBySetter);
+    const target = setterCall ? context.stateBySetter.get(setterCall.expression.text) : undefined;
+    if (!setterCall || !target || target.owner !== owner) {
+        return null;
+    }
+    const [initializer] = target.call.arguments;
+    const [reset] = setterCall.arguments;
+    if (!initializer ||
+        !reset ||
+        !nodesHaveSameText(initializer, reset) ||
+        !isStablePrimitiveReset(initializer)) {
+        return null;
+    }
+    const targetUsage = target.setterName ? context.usageBySetter.get(target.setterName) : undefined;
+    return targetUsage && targetUsage.setterCalls > targetUsage.effectWrites ? target : null;
+}
+function setterOnlyMutatesAtEventBoundaries(source, context) {
+    if (!source.setterName) {
+        return false;
+    }
+    const usage = context.usageBySetter.get(source.setterName);
+    return (usage !== undefined &&
+        !usage.shadowed &&
+        !usage.escaped &&
+        usage.effectWrites === 0 &&
+        usage.setterReferences !== 0 &&
+        allSetterReferencesAreEventBoundaries(source, context.childContracts));
+}
+function isStablePrimitiveReset(expression) {
+    const value = unwrapTransparentExpression(expression);
+    return (value.kind === ts.SyntaxKind.NullKeyword ||
+        value.kind === ts.SyntaxKind.TrueKeyword ||
+        value.kind === ts.SyntaxKind.FalseKeyword ||
+        ts.isStringLiteralLike(value) ||
+        ts.isNumericLiteral(value) ||
+        ts.isBigIntLiteral(value) ||
+        ts.isNoSubstitutionTemplateLiteral(value) ||
+        (ts.isPrefixUnaryExpression(value) &&
+            (value.operator === ts.SyntaxKind.PlusToken || value.operator === ts.SyntaxKind.MinusToken) &&
+            (ts.isNumericLiteral(value.operand) || ts.isBigIntLiteral(value.operand))));
+}
+function nodesHaveSameText(left, right) {
+    return left.getText(left.getSourceFile()) === right.getText(right.getSourceFile());
+}
+//# sourceMappingURL=mutation-site-resets.js.map

package/dist/src/rules/effects/mutation-site-resets.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mutation-site-resets.js","sourceRoot":"","sources":["../../../../src/rules/effects/mutation-site-resets.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,qCAAqC,EAAE,MAAM,8BAA8B,CAAC;AACrF,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AAOzE,MAAM,UAAU,qBAAqB,CACnC,MAAuB,EACvB,OAAoC;IAEpC,MAAM,OAAO,GAAG,sBAAsB,CAAC,MAAM,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;IACrE,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,OAAO,EAAE,CAAC;QAClD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACxE,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACxC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,kCAAkC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACnF,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE;QACrB,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,sBAAsB,CAC7B,MAAuB,EACvB,YAAiD;IAEjD,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IACvC,IAAI,CAAC,KAAK,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAC5D,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAC/C,CAAC;IACF,IAAI,WAAW,CAAC,MAAM,KAAK,YAAY,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QACxD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAC3C,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,OAAO,KAAK,IAAI,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACvD,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC,MAAM,KAAK,WAAW,CAAC,MAAM,IAAI,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM;QACtF,CAAC,CAAC,OAAO;QACT,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,gBAAgB,CACvB,QAAkD,EAClD,KAA0B,EAC1B,OAAoC;IAEpC,MAAM,UAAU,GAAG,oBAAoB,CAAC,QAAQ,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;IACzE,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9F,IAAI,CAAC,UAAU,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;QACrD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,CAAC,WAAW,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC;IAC5C,MAAM,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC,SAAS,CAAC;IACrC,IACE,CAAC,WAAW;QACZ,CAAC,KAAK;QACN,CAAC,iBAAiB,CAAC,WAAW,EAAE,KAAK,CAAC;QACtC,CAAC,sBAAsB,CAAC,WAAW,CAAC,EACpC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACjG,OAAO,WAAW,IAAI,WAAW,CAAC,WAAW,GAAG,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3F,CAAC;AAED,SAAS,kCAAkC,CACzC,MAAsB,EACtB,OAAoC;IAEpC,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC3D,OAAO,CACL,KAAK,KAAK,SAAS;QACnB,CAAC,KAAK,CAAC,QAAQ;QACf,CAAC,KAAK,CAAC,OAAO;QACd,KAAK,CAAC,YAAY,KAAK,CAAC;QACxB,KAAK,CAAC,gBAAgB,KAAK,CAAC;QAC5B,qCAAqC,CAAC,MAAM,EAAE,OAAO,CAAC,cAAc,CAAC,CACtE,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAAC,UAAyB;IACvD,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,OAAO,CACL,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACxC,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACxC,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QACzC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC;QAC7B,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC;QAC1B,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC;QACzB,EAAE,CAAC,+BAA+B,CAAC,KAAK,CAAC;QACzC,CAAC,EAAE,CAAC,uBAAuB,CAAC,KAAK,CAAC;YAChC,CAAC,KAAK,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS,IAAI,KAAK,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC;YAC3F,CAAC,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAC7E,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAa,EAAE,KAAc;IACtD,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,KAAK,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC,CAAC;AACrF,CAAC"}

package/dist/src/rules/effects/setter-event-boundaries.d.ts

@@ -0,0 +1,4 @@
+import type { ChildContractResolver } from "../child-contract/model.js";
+import type { StateCandidate } from "../../analysis/model.js";
+export declare function allSetterReferencesAreEventBoundaries(state: StateCandidate, childContracts: ChildContractResolver | null): boolean;
+//# sourceMappingURL=setter-event-boundaries.d.ts.map

package/dist/src/rules/effects/setter-event-boundaries.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"setter-event-boundaries.d.ts","sourceRoot":"","sources":["../../../../src/rules/effects/setter-event-boundaries.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAG9D,wBAAgB,qCAAqC,CACnD,KAAK,EAAE,cAAc,EACrB,cAAc,EAAE,qBAAqB,GAAG,IAAI,GAC3C,OAAO,CAmBT"}

package/dist/src/rules/effects/setter-event-boundaries.js

@@ -0,0 +1,80 @@
+import { findAncestorUntil, nearestNestedFunction, visit } from "../../core/ast.js";
+import { isDeclarationName, isDirectJsxAttributeExpression, isInsideJsxAttribute, isValueTransitionProp, } from "../../core/analysis-ast.js";
+import ts from "typescript";
+export function allSetterReferencesAreEventBoundaries(state, childContracts) {
+    if (!state.setterName) {
+        return false;
+    }
+    let references = 0;
+    let valid = true;
+    visit(state.owner.body, (node) => {
+        if (!valid || !ts.isIdentifier(node) || node.text !== state.setterName) {
+            return;
+        }
+        if (node.parent === state.call.parent || isDeclarationName(node)) {
+            return;
+        }
+        references += 1;
+        if (!setterReferenceIsEventBoundary(node, state, childContracts)) {
+            valid = false;
+        }
+    });
+    return valid && references > 0;
+}
+function setterReferenceIsEventBoundary(node, state, childContracts) {
+    const attribute = findAncestorUntil(node, ts.isJsxAttribute, state.owner);
+    if (!attribute) {
+        return false;
+    }
+    const query = { attribute, childContracts, state };
+    if (ts.isCallExpression(node.parent) && node.parent.expression === node) {
+        return handlerCallSiteIsBoundToAttribute(node, query);
+    }
+    if (isDirectJsxAttributeExpression(attribute, node)) {
+        return jsxAttributeHasProvenEventContract(attribute, childContracts);
+    }
+    return isDeferredArrayItemCallbackProperty(node, query);
+}
+function handlerCallSiteIsBoundToAttribute(node, query) {
+    const callback = nearestNestedFunction(node, query.state.owner);
+    if (!callback || !jsxAttributeHasProvenEventContract(query.attribute, query.childContracts)) {
+        return false;
+    }
+    return isInsideJsxAttribute(callback, query.attribute);
+}
+function isDeferredArrayItemCallbackProperty(node, query) {
+    const property = findAncestorUntil(node, ts.isPropertyAssignment, query.attribute);
+    const opening = jsxOpeningForAttribute(query.attribute);
+    const target = opening?.tagName.getText() ?? null;
+    const callbackProperty = property ? staticPropertyName(property.name) : null;
+    return (property !== null &&
+        property.initializer === node &&
+        callbackProperty !== null &&
+        isValueTransitionProp(callbackProperty) &&
+        target !== null &&
+        query.childContracts?.componentArrayItemCallbackIsDeferred(target, query.attribute.name.getText(), callbackProperty) === true);
+}
+function jsxAttributeHasProvenEventContract(attribute, childContracts) {
+    const opening = jsxOpeningForAttribute(attribute);
+    if (!opening) {
+        return false;
+    }
+    const propName = attribute.name.getText();
+    if (!isValueTransitionProp(propName) && !/^on[A-Z]/u.test(propName)) {
+        return false;
+    }
+    const target = opening.tagName.getText();
+    return (/^[a-z]/u.test(target) ||
+        childContracts?.frameworkEventComponent(target) === true ||
+        childContracts?.componentCallbackPropIsDeferred(target, propName) === true);
+}
+function jsxOpeningForAttribute(attribute) {
+    const opening = attribute.parent.parent;
+    return ts.isJsxOpeningElement(opening) || ts.isJsxSelfClosingElement(opening) ? opening : null;
+}
+function staticPropertyName(name) {
+    return ts.isIdentifier(name) || ts.isStringLiteralLike(name) || ts.isNumericLiteral(name)
+        ? name.text
+        : null;
+}
+//# sourceMappingURL=setter-event-boundaries.js.map

package/dist/src/rules/effects/setter-event-boundaries.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"setter-event-boundaries.js","sourceRoot":"","sources":["../../../../src/rules/effects/setter-event-boundaries.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACpF,OAAO,EACL,iBAAiB,EACjB,8BAA8B,EAC9B,oBAAoB,EACpB,qBAAqB,GACtB,MAAM,4BAA4B,CAAC;AAGpC,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,qCAAqC,CACnD,KAAqB,EACrB,cAA4C;IAE5C,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;QACtB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,KAAK,GAAG,IAAI,CAAC;IACjB,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC/B,IAAI,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,UAAU,EAAE,CAAC;YACvE,OAAO;QACT,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,IAAI,CAAC,MAAM,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjE,OAAO;QACT,CAAC;QACD,UAAU,IAAI,CAAC,CAAC;QAChB,IAAI,CAAC,8BAA8B,CAAC,IAAI,EAAE,KAAK,EAAE,cAAc,CAAC,EAAE,CAAC;YACjE,KAAK,GAAG,KAAK,CAAC;QAChB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,IAAI,UAAU,GAAG,CAAC,CAAC;AACjC,CAAC;AAQD,SAAS,8BAA8B,CACrC,IAAmB,EACnB,KAAqB,EACrB,cAA4C;IAE5C,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC1E,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAAuB,EAAE,SAAS,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;IACvE,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QACxE,OAAO,iCAAiC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACxD,CAAC;IACD,IAAI,8BAA8B,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC;QACpD,OAAO,kCAAkC,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,mCAAmC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,iCAAiC,CACxC,IAAmB,EACnB,KAAyB;IAEzB,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAChE,IAAI,CAAC,QAAQ,IAAI,CAAC,kCAAkC,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC;QAC5F,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,oBAAoB,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,mCAAmC,CAC1C,IAAmB,EACnB,KAAyB;IAEzB,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,oBAAoB,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IACnF,MAAM,OAAO,GAAG,sBAAsB,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,IAAI,CAAC;IAClD,MAAM,gBAAgB,GAAG,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7E,OAAO,CACL,QAAQ,KAAK,IAAI;QACjB,QAAQ,CAAC,WAAW,KAAK,IAAI;QAC7B,gBAAgB,KAAK,IAAI;QACzB,qBAAqB,CAAC,gBAAgB,CAAC;QACvC,MAAM,KAAK,IAAI;QACf,KAAK,CAAC,cAAc,EAAE,oCAAoC,CACxD,MAAM,EACN,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,EAC9B,gBAAgB,CACjB,KAAK,IAAI,CACX,CAAC;AACJ,CAAC;AAED,SAAS,kCAAkC,CACzC,SAA0B,EAC1B,cAA4C;IAE5C,MAAM,OAAO,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC;IAClD,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IAC1C,IAAI,CAAC,qBAAqB,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;IACzC,OAAO,CACL,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC;QACtB,cAAc,EAAE,uBAAuB,CAAC,MAAM,CAAC,KAAK,IAAI;QACxD,cAAc,EAAE,+BAA+B,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,IAAI,CAC3E,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,SAA0B;IAE1B,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,OAAO,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AACjG,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAqB;IAC/C,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACvF,CAAC,CAAC,IAAI,CAAC,IAAI;QACX,CAAC,CAAC,IAAI,CAAC;AACX,CAAC"}

package/dist/src/rules/effects/setup-only-mount.d.ts

@@ -0,0 +1,6 @@
+import type { CommittedRefContext, EffectClassificationContext } from "./model.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+export declare function capturesOwnerSnapshot(callback: ts.ArrowFunction | ts.FunctionExpression, owner: RuntimeFunctionLike, context: CommittedRefContext): boolean;
+export declare function isSetupOnlyMountCandidate(callback: ts.ArrowFunction | ts.FunctionExpression, owner: RuntimeFunctionLike, context: EffectClassificationContext): boolean;
+//# sourceMappingURL=setup-only-mount.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"setup-only-mount.d.ts","sourceRoot":"","sources":["../../../../src/rules/effects/setup-only-mount.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,2BAA2B,EAAE,MAAM,YAAY,CAAC;AAQnF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAE7D,OAAO,EAAE,MAAM,YAAY,CAAC;AA+B5B,wBAAgB,qBAAqB,CACnC,QAAQ,EAAE,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,kBAAkB,EAClD,KAAK,EAAE,mBAAmB,EAC1B,OAAO,EAAE,mBAAmB,GAC3B,OAAO,CAMT;AAED,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,kBAAkB,EAClD,KAAK,EAAE,mBAAmB,EAC1B,OAAO,EAAE,2BAA2B,GACnC,OAAO,CAcT"}