legend-doctor 0.1.0

package/dist/src/rules/effects/committed-ref-mirrors.js

@@ -0,0 +1,204 @@
+import { bindingDeclarationCount, collectBindingNames, isPureExpression, localBindingNames, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { importedHookIsUnshadowed, localCommittedRefBindings, } from "./committed-ref-integration.js";
+import { isImportedHookCall } from "../../core/imports.js";
+import { soleExpressionStatementBody } from "./callback-shape.js";
+import ts from "typescript";
+const MINIMUM_COMMITTED_GUARD_STATEMENTS = 2;
+export function isCommittedPropRefSnapshot(effect, stateBySetter) {
+    const { callback, dependencies, owner } = effect;
+    const [dependency] = dependencies?.elements ?? [];
+    if (!callback ||
+        !owner ||
+        !ts.isBlock(callback.body) ||
+        callback.body.statements.length !== 1 ||
+        dependencies?.elements.length !== 1 ||
+        !dependency ||
+        !ts.isIdentifier(dependency)) {
+        return false;
+    }
+    const refName = dependency.text;
+    const [statement] = callback.body.statements;
+    const argument = statement && parameterBindingNames(owner).has(refName)
+        ? refCurrentSetterArgument(statement, stateBySetter)
+        : null;
+    return (argument !== null &&
+        ts.isPropertyAccessExpression(argument) &&
+        argument.name.text === "current" &&
+        ts.isIdentifier(argument.expression) &&
+        argument.expression.text === refName);
+}
+function refCurrentSetterArgument(statement, stateBySetter) {
+    if (!ts.isExpressionStatement(statement)) {
+        return null;
+    }
+    const expression = unwrapTransparentExpression(statement.expression);
+    if (!ts.isCallExpression(expression) ||
+        !ts.isIdentifier(expression.expression) ||
+        !stateBySetter.has(expression.expression.text) ||
+        expression.arguments.length !== 1) {
+        return null;
+    }
+    return unwrapTransparentExpression(expression.arguments[0]);
+}
+function parameterBindingNames(owner) {
+    const names = new Set();
+    for (const parameter of owner.parameters) {
+        collectBindingNames(parameter.name, names);
+    }
+    return names;
+}
+export function isExactLatestValueRefMirror(effect, context) {
+    const { callback, dependencies, owner } = effect;
+    const dependency = dependencies?.elements[0] ?? null;
+    if (!callback || !owner || (dependencies !== null && dependencies.elements.length !== 1)) {
+        return false;
+    }
+    const mirror = latestValueRefAssignment(callback);
+    if (!mirror ||
+        localBindingNames(callback, null).has(mirror.refName) ||
+        !localCommittedRefBindings(owner, context.useRefBindings, context.reactNamespaces).has(mirror.refName)) {
+        return false;
+    }
+    const sourceFile = effect.call.getSourceFile();
+    return (isPureExpression(mirror.source) &&
+        (dependency === null ||
+            mirror.source.getText(sourceFile) ===
+                unwrapTransparentExpression(dependency).getText(sourceFile)));
+}
+function latestValueRefAssignment(callback) {
+    const statementExpression = soleExpressionStatementBody(callback);
+    const assignment = statementExpression && unwrapTransparentExpression(statementExpression);
+    if (!assignment ||
+        !ts.isBinaryExpression(assignment) ||
+        assignment.operatorToken.kind !== ts.SyntaxKind.EqualsToken) {
+        return null;
+    }
+    const target = unwrapTransparentExpression(assignment.left);
+    if (!ts.isPropertyAccessExpression(target) ||
+        target.name.text !== "current" ||
+        !ts.isIdentifier(target.expression)) {
+        return null;
+    }
+    return {
+        refName: target.expression.text,
+        source: unwrapTransparentExpression(assignment.right),
+    };
+}
+export function isExactCommittedPreviousValueGuard(effect, context) {
+    const { callback, dependencies, owner } = effect;
+    const ownerBody = owner?.body;
+    const [dependency] = dependencies?.elements ?? [];
+    if (!callback ||
+        !owner ||
+        !ownerBody ||
+        !ts.isBlock(ownerBody) ||
+        !ts.isBlock(callback.body) ||
+        !isSynchronousParameterlessCallback(callback) ||
+        dependencies?.elements.length !== 1 ||
+        !dependency ||
+        !ts.isIdentifier(dependency) ||
+        callback.body.statements.length < MINIMUM_COMMITTED_GUARD_STATEMENTS) {
+        return false;
+    }
+    const refName = committedPreviousValueRefName(callback.body, dependency.text);
+    if (!refName || localBindingNames(callback, null).has(refName)) {
+        return false;
+    }
+    const query = {
+        context,
+        dependencyName: dependency.text,
+        owner,
+        refName,
+    };
+    return ownerBody.statements.some((statement) => declaresSeededCommittedRef(statement, query));
+}
+function isSynchronousParameterlessCallback(callback) {
+    return (callback.parameters.length === 0 &&
+        !callback.asteriskToken &&
+        !callback.modifiers?.some((modifier) => modifier.kind === ts.SyntaxKind.AsyncKeyword));
+}
+function committedPreviousValueRefName(body, dependencyName) {
+    const [guard, commitStatement] = body.statements;
+    if (!guard ||
+        !ts.isIfStatement(guard) ||
+        guard.elseStatement ||
+        !isBareReturn(guard.thenStatement)) {
+        return null;
+    }
+    const condition = unwrapTransparentExpression(guard.expression);
+    if (!ts.isBinaryExpression(condition) ||
+        condition.operatorToken.kind !== ts.SyntaxKind.EqualsEqualsEqualsToken) {
+        return null;
+    }
+    const refName = committedRefComparedWithDependency(condition, dependencyName);
+    return refName && commitsDependencyToRef(commitStatement, refName, dependencyName)
+        ? refName
+        : null;
+}
+function commitsDependencyToRef(statement, refName, dependencyName) {
+    if (!statement || !ts.isExpressionStatement(statement)) {
+        return false;
+    }
+    const commit = unwrapTransparentExpression(statement.expression);
+    if (!ts.isBinaryExpression(commit) || commit.operatorToken.kind !== ts.SyntaxKind.EqualsToken) {
+        return false;
+    }
+    const committedValue = unwrapTransparentExpression(commit.right);
+    return (committedRefName(commit.left) === refName &&
+        ts.isIdentifier(committedValue) &&
+        committedValue.text === dependencyName);
+}
+function declaresSeededCommittedRef(statement, query) {
+    if (!ts.isVariableStatement(statement) ||
+        !(statement.declarationList.flags & ts.NodeFlags.Const)) {
+        return false;
+    }
+    return statement.declarationList.declarations.some((declaration) => isSeededCommittedRefDeclaration(declaration, query));
+}
+function isSeededCommittedRefDeclaration(declaration, query) {
+    const { initializer } = declaration;
+    return (ts.isIdentifier(declaration.name) &&
+        declaration.name.text === query.refName &&
+        initializer !== undefined &&
+        ts.isCallExpression(initializer) &&
+        isImportedHookCall({
+            call: initializer,
+            localNames: query.context.useRefBindings,
+            namespaceNames: query.context.reactNamespaces,
+            canonicalName: "useRef",
+        }) &&
+        importedHookIsUnshadowed(initializer, query.owner) &&
+        initializer.arguments.length === 1 &&
+        ts.isIdentifier(initializer.arguments[0]) &&
+        initializer.arguments[0].text === query.dependencyName &&
+        bindingDeclarationCount(query.owner, query.refName) === 1);
+}
+function isBareReturn(statement) {
+    if (ts.isReturnStatement(statement)) {
+        return statement.expression === undefined;
+    }
+    return (ts.isBlock(statement) &&
+        statement.statements.length === 1 &&
+        ts.isReturnStatement(statement.statements[0]) &&
+        statement.statements[0].expression === undefined);
+}
+function committedRefComparedWithDependency(condition, dependencyName) {
+    const left = unwrapTransparentExpression(condition.left);
+    const right = unwrapTransparentExpression(condition.right);
+    if (ts.isIdentifier(left) && left.text === dependencyName) {
+        return committedRefName(right);
+    }
+    if (ts.isIdentifier(right) && right.text === dependencyName) {
+        return committedRefName(left);
+    }
+    return null;
+}
+function committedRefName(expression) {
+    const target = unwrapTransparentExpression(expression);
+    return ts.isPropertyAccessExpression(target) &&
+        target.name.text === "current" &&
+        ts.isIdentifier(target.expression)
+        ? target.expression.text
+        : null;
+}
+//# sourceMappingURL=committed-ref-mirrors.js.map

package/dist/src/rules/effects/committed-ref-mirrors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"committed-ref-mirrors.js","sourceRoot":"","sources":["../../../../src/rules/effects/committed-ref-mirrors.ts"],"names":[],"mappings":"AACA,OAAO,EACL,uBAAuB,EACvB,mBAAmB,EACnB,gBAAgB,EAChB,iBAAiB,EACjB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,gCAAgC,CAAC;AAGxC,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,2BAA2B,EAAE,MAAM,qBAAqB,CAAC;AAClE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,kCAAkC,GAAG,CAAC,CAAC;AAE7C,MAAM,UAAU,0BAA0B,CACxC,MAAuB,EACvB,aAAkD;IAElD,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IACjD,MAAM,CAAC,UAAU,CAAC,GAAG,YAAY,EAAE,QAAQ,IAAI,EAAE,CAAC;IAClD,IACE,CAAC,QAAQ;QACT,CAAC,KAAK;QACN,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;QAC1B,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QACrC,YAAY,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC;QACnC,CAAC,UAAU;QACX,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,EAC5B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC;IAChC,MAAM,CAAC,SAAS,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC;IAC7C,MAAM,QAAQ,GACZ,SAAS,IAAI,qBAAqB,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC;QACpD,CAAC,CAAC,wBAAwB,CAAC,SAAS,EAAE,aAAa,CAAC;QACpD,CAAC,CAAC,IAAI,CAAC;IACX,OAAO,CACL,QAAQ,KAAK,IAAI;QACjB,EAAE,CAAC,0BAA0B,CAAC,QAAQ,CAAC;QACvC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;QAChC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,UAAU,CAAC;QACpC,QAAQ,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO,CACrC,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,SAAuB,EACvB,aAAkD;IAElD,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC,EAAE,CAAC;QACzC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,UAAU,GAAG,2BAA2B,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IACrE,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC;QAChC,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,UAAU,CAAC;QACvC,CAAC,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC;QAC9C,UAAU,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EACjC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,2BAA2B,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,qBAAqB,CAAC,KAA0B;IACvD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACzC,mBAAmB,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,2BAA2B,CACzC,MAAuB,EACvB,OAA4B;IAE5B,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IACjD,MAAM,UAAU,GAAG,YAAY,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;IACrD,IAAI,CAAC,QAAQ,IAAI,CAAC,KAAK,IAAI,CAAC,YAAY,KAAK,IAAI,IAAI,YAAY,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;QACzF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,wBAAwB,CAAC,QAAQ,CAAC,CAAC;IAClD,IACE,CAAC,MAAM;QACP,iBAAiB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC;QACrD,CAAC,yBAAyB,CAAC,KAAK,EAAE,OAAO,CAAC,cAAc,EAAE,OAAO,CAAC,eAAe,CAAC,CAAC,GAAG,CACpF,MAAM,CAAC,OAAO,CACf,EACD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;IAC/C,OAAO,CACL,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;QAC/B,CAAC,UAAU,KAAK,IAAI;YAClB,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC;gBAC/B,2BAA2B,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CACjE,CAAC;AACJ,CAAC;AAOD,SAAS,wBAAwB,CAC/B,QAAkD;IAElD,MAAM,mBAAmB,GAAG,2BAA2B,CAAC,QAAQ,CAAC,CAAC;IAClE,MAAM,UAAU,GAAG,mBAAmB,IAAI,2BAA2B,CAAC,mBAAmB,CAAC,CAAC;IAC3F,IACE,CAAC,UAAU;QACX,CAAC,EAAE,CAAC,kBAAkB,CAAC,UAAU,CAAC;QAClC,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAC3D,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,2BAA2B,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAC5D,IACE,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;QAC9B,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,EACnC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,IAAI;QAC/B,MAAM,EAAE,2BAA2B,CAAC,UAAU,CAAC,KAAK,CAAC;KACtD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kCAAkC,CAChD,MAAuB,EACvB,OAA4B;IAE5B,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IACjD,MAAM,SAAS,GAAG,KAAK,EAAE,IAAI,CAAC;IAC9B,MAAM,CAAC,UAAU,CAAC,GAAG,YAAY,EAAE,QAAQ,IAAI,EAAE,CAAC;IAClD,IACE,CAAC,QAAQ;QACT,CAAC,KAAK;QACN,CAAC,SAAS;QACV,CAAC,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC;QACtB,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;QAC1B,CAAC,kCAAkC,CAAC,QAAQ,CAAC;QAC7C,YAAY,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC;QACnC,CAAC,UAAU;QACX,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC;QAC5B,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,kCAAkC,EACpE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAG,6BAA6B,CAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;IAC9E,IAAI,CAAC,OAAO,IAAI,iBAAiB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/D,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAAmB;QAC5B,OAAO;QACP,cAAc,EAAE,UAAU,CAAC,IAAI;QAC/B,KAAK;QACL,OAAO;KACR,CAAC;IACF,OAAO,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,0BAA0B,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;AAChG,CAAC;AAED,SAAS,kCAAkC,CACzC,QAAkD;IAElD,OAAO,CACL,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAChC,CAAC,QAAQ,CAAC,aAAa;QACvB,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,CACtF,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CAAC,IAAc,EAAE,cAAsB;IAC3E,MAAM,CAAC,KAAK,EAAE,eAAe,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC;IACjD,IACE,CAAC,KAAK;QACN,CAAC,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC;QACxB,KAAK,CAAC,aAAa;QACnB,CAAC,YAAY,CAAC,KAAK,CAAC,aAAa,CAAC,EAClC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,SAAS,GAAG,2BAA2B,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAChE,IACE,CAAC,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC;QACjC,SAAS,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,EACtE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,kCAAkC,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;IAC9E,OAAO,OAAO,IAAI,sBAAsB,CAAC,eAAe,EAAE,OAAO,EAAE,cAAc,CAAC;QAChF,CAAC,CAAC,OAAO;QACT,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,sBAAsB,CAC7B,SAAmC,EACnC,OAAe,EACf,cAAsB;IAEtB,IAAI,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC,EAAE,CAAC;QACvD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,2BAA2B,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IACjE,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QAC9F,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,cAAc,GAAG,2BAA2B,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACjE,OAAO,CACL,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,OAAO;QACzC,EAAE,CAAC,YAAY,CAAC,cAAc,CAAC;QAC/B,cAAc,CAAC,IAAI,KAAK,cAAc,CACvC,CAAC;AACJ,CAAC;AASD,SAAS,0BAA0B,CAAC,SAAuB,EAAE,KAAqB;IAChF,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;QAClC,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,EACvD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,SAAS,CAAC,eAAe,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CACjE,+BAA+B,CAAC,WAAW,EAAE,KAAK,CAAC,CACpD,CAAC;AACJ,CAAC;AAED,SAAS,+BAA+B,CACtC,WAAmC,EACnC,KAAqB;IAErB,MAAM,EAAE,WAAW,EAAE,GAAG,WAAW,CAAC;IACpC,OAAO,CACL,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC;QACjC,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO;QACvC,WAAW,KAAK,SAAS;QACzB,EAAE,CAAC,gBAAgB,CAAC,WAAW,CAAC;QAChC,kBAAkB,CAAC;YACjB,IAAI,EAAE,WAAW;YACjB,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,cAAc;YACxC,cAAc,EAAE,KAAK,CAAC,OAAO,CAAC,eAAe;YAC7C,aAAa,EAAE,QAAQ;SACxB,CAAC;QACF,wBAAwB,CAAC,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC;QAClD,WAAW,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAClC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;QAC1C,WAAW,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,KAAK,KAAK,CAAC,cAAc;QACvD,uBAAuB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAC1D,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,SAAuB;IAC3C,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,CAAC;QACpC,OAAO,SAAS,CAAC,UAAU,KAAK,SAAS,CAAC;IAC5C,CAAC;IACD,OAAO,CACL,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC;QACrB,SAAS,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QACjC,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC;QAC9C,SAAS,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,UAAU,KAAK,SAAS,CAClD,CAAC;AACJ,CAAC;AAED,SAAS,kCAAkC,CACzC,SAA8B,EAC9B,cAAsB;IAEtB,MAAM,IAAI,GAAG,2BAA2B,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACzD,MAAM,KAAK,GAAG,2BAA2B,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC3D,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QAC1D,OAAO,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC;IACD,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QAC5D,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,gBAAgB,CAAC,UAAyB;IACjD,MAAM,MAAM,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACvD,OAAO,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;QAC9B,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC;QAClC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI;QACxB,CAAC,CAAC,IAAI,CAAC;AACX,CAAC"}

package/dist/src/rules/effects/derived-setters.d.ts

@@ -0,0 +1,5 @@
+import type { StateCandidate } from "../../analysis/model.js";
+import type { EffectClassificationContext } from "./model.js";
+import ts from "typescript";
+export declare function findPureDerivedSetter(callback: ts.ArrowFunction | ts.FunctionExpression, dependencies: ts.ArrayLiteralExpression | null, context: EffectClassificationContext): StateCandidate | null;
+//# sourceMappingURL=derived-setters.d.ts.map

package/dist/src/rules/effects/derived-setters.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"derived-setters.d.ts","sourceRoot":"","sources":["../../../../src/rules/effects/derived-setters.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAc,MAAM,yBAAyB,CAAC;AAM1E,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,YAAY,CAAC;AAE9D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,wBAAgB,qBAAqB,CACnC,QAAQ,EAAE,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,kBAAkB,EAClD,YAAY,EAAE,EAAE,CAAC,sBAAsB,GAAG,IAAI,EAC9C,OAAO,EAAE,2BAA2B,GACnC,cAAc,GAAG,IAAI,CAWvB"}

package/dist/src/rules/effects/derived-setters.js

@@ -0,0 +1,74 @@
+import { isNonValueIdentifier, isPureExpression, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { soleDirectSetterCall } from "./callback-shape.js";
+import ts from "typescript";
+export function findPureDerivedSetter(callback, dependencies, context) {
+    if (!dependencies || dependencies.elements.length === 0) {
+        return null;
+    }
+    const call = soleDirectSetterCall(callback, context.stateBySetter);
+    if (!call || !isSoleUnescapedSetterUsage(context.usageBySetter.get(call.expression.text))) {
+        return null;
+    }
+    const state = context.stateBySetter.get(call.expression.text);
+    const [value] = call.arguments;
+    return state && value && isTransparentDerivedValue(value, dependencies) ? state : null;
+}
+function isSoleUnescapedSetterUsage(usage) {
+    return (usage !== undefined &&
+        usage.setterCalls === 1 &&
+        usage.setterReferences === 1 &&
+        !usage.escaped &&
+        !usage.shadowed);
+}
+function isTransparentDerivedValue(value, dependencies) {
+    if (!isPureExpression(value)) {
+        return false;
+    }
+    const sourceFile = value.getSourceFile();
+    const scan = {
+        dependencyTexts: new Set(dependencies.elements.map((dependency) => unwrapTransparentExpression(dependency).getText(sourceFile))),
+        hasInput: false,
+        inputsMatch: true,
+        sourceFile,
+    };
+    inspectDerivedInput(value, scan);
+    return scan.hasInput && scan.inputsMatch;
+}
+function isOpaqueDerivedInput(node) {
+    return (ts.isArrayLiteralExpression(node) ||
+        ts.isObjectLiteralExpression(node) ||
+        ts.isArrowFunction(node) ||
+        ts.isFunctionExpression(node) ||
+        ts.isClassExpression(node) ||
+        ts.isRegularExpressionLiteral(node) ||
+        ts.isTaggedTemplateExpression(node) ||
+        ts.isJsxElement(node) ||
+        ts.isJsxSelfClosingElement(node) ||
+        ts.isJsxFragment(node));
+}
+function derivedInputText(node, sourceFile) {
+    if (ts.isPropertyAccessExpression(node) || ts.isElementAccessExpression(node)) {
+        return unwrapTransparentExpression(node).getText(sourceFile);
+    }
+    return ts.isIdentifier(node) && !isNonValueIdentifier(node) ? node.text : null;
+}
+function recordDerivedInput(inputText, scan) {
+    scan.hasInput = true;
+    scan.inputsMatch = scan.dependencyTexts.has(inputText);
+}
+function inspectDerivedInput(node, scan) {
+    if (!scan.inputsMatch) {
+        return;
+    }
+    if (isOpaqueDerivedInput(node)) {
+        scan.inputsMatch = false;
+        return;
+    }
+    const inputText = derivedInputText(node, scan.sourceFile);
+    if (inputText === null) {
+        node.forEachChild((child) => inspectDerivedInput(child, scan));
+        return;
+    }
+    recordDerivedInput(inputText, scan);
+}
+//# sourceMappingURL=derived-setters.js.map

package/dist/src/rules/effects/derived-setters.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"derived-setters.js","sourceRoot":"","sources":["../../../../src/rules/effects/derived-setters.ts"],"names":[],"mappings":"AACA,OAAO,EACL,oBAAoB,EACpB,gBAAgB,EAChB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,qBAAqB,CACnC,QAAkD,EAClD,YAA8C,EAC9C,OAAoC;IAEpC,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,oBAAoB,CAAC,QAAQ,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;IACnE,IAAI,CAAC,IAAI,IAAI,CAAC,0BAA0B,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC1F,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAC9D,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;IAC/B,OAAO,KAAK,IAAI,KAAK,IAAI,yBAAyB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AACzF,CAAC;AAED,SAAS,0BAA0B,CAAC,KAA6B;IAC/D,OAAO,CACL,KAAK,KAAK,SAAS;QACnB,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,KAAK,CAAC,gBAAgB,KAAK,CAAC;QAC5B,CAAC,KAAK,CAAC,OAAO;QACd,CAAC,KAAK,CAAC,QAAQ,CAChB,CAAC;AACJ,CAAC;AASD,SAAS,yBAAyB,CAChC,KAAoB,EACpB,YAAuC;IAEvC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,UAAU,GAAG,KAAK,CAAC,aAAa,EAAE,CAAC;IACzC,MAAM,IAAI,GAAqB;QAC7B,eAAe,EAAE,IAAI,GAAG,CACtB,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CACvC,2BAA2B,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAC5D,CACF;QACD,QAAQ,EAAE,KAAK;QACf,WAAW,EAAE,IAAI;QACjB,UAAU;KACX,CAAC;IACF,mBAAmB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACjC,OAAO,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,WAAW,CAAC;AAC3C,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAa;IACzC,OAAO,CACL,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC;QACjC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAClC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QACxB,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;QAC7B,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;QAC1B,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;QACnC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;QACnC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QACrB,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC;QAChC,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CACvB,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAa,EAAE,UAAyB;IAChE,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9E,OAAO,2BAA2B,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAC/D,CAAC;IACD,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACjF,CAAC;AAED,SAAS,kBAAkB,CAAC,SAAiB,EAAE,IAAsB;IACnE,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;IACrB,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAa,EAAE,IAAsB;IAChE,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACtB,OAAO;IACT,CAAC;IACD,IAAI,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,IAAI,CAAC,WAAW,GAAG,KAAK,CAAC;QACzB,OAAO;IACT,CAAC;IACD,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IAC1D,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,IAAI,CAAC,YAAY,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;QAC/D,OAAO;IACT,CAAC;IACD,kBAAkB,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;AACtC,CAAC"}

package/dist/src/rules/effects/effect-verdicts.d.ts

@@ -0,0 +1,25 @@
+import type { BrowserStoragePersistence, ClassifiedEffect, StateCandidate } from "../../analysis/model.js";
+export declare function harnessEffect(): ClassifiedEffect;
+export declare function ownershipDirectiveEffect(): ClassifiedEffect;
+export declare function unresolvedCallbackEffect(): ClassifiedEffect;
+export declare function unmountEffect(): ClassifiedEffect;
+export declare function useMountEffect(): ClassifiedEffect;
+export declare function reviewEmptyDependencySetupEffect(): ClassifiedEffect;
+export declare function keepPairedMountEffect(): ClassifiedEffect;
+export declare function observeEffect(): ClassifiedEffect;
+export declare function keepRenderedReactionEffect(): ClassifiedEffect;
+export declare function keepBrowserStorageEffect(): ClassifiedEffect;
+export declare function keepBrowserStorageEffectPendingState(persistence: BrowserStoragePersistence): ClassifiedEffect;
+export declare function persistExistingObservableEffect(plugins: readonly string[]): ClassifiedEffect;
+export declare function persistMigratedStateEffect(persistence: BrowserStoragePersistence): ClassifiedEffect;
+export declare function keepExternalIntegrationEffect(): ClassifiedEffect;
+export declare function keepLifecycleEffect(): ClassifiedEffect;
+export declare function reviewCausalOwnerEffect(): ClassifiedEffect;
+export declare function committedRefEffect(): ClassifiedEffect;
+export declare function keepStateIndependentEffect(): ClassifiedEffect;
+export declare function reviewStateReactionEffect(valueName: string, stateDependencies: readonly StateCandidate[]): ClassifiedEffect;
+export declare function reviewStateWritingEffect(valueName: string, stateDependencies: readonly StateCandidate[]): ClassifiedEffect;
+export declare function keepStateSnapshotEffect(bindingName: string): ClassifiedEffect;
+export declare function keepEffectForKeptState(names: readonly string[], confidence: "certain" | "probable"): ClassifiedEffect;
+export declare function keepEffectForMigratedState(names: readonly string[]): ClassifiedEffect;
+//# sourceMappingURL=effect-verdicts.d.ts.map

package/dist/src/rules/effects/effect-verdicts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-verdicts.d.ts","sourceRoot":"","sources":["../../../../src/rules/effects/effect-verdicts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,yBAAyB,EACzB,gBAAgB,EAChB,cAAc,EACf,MAAM,yBAAyB,CAAC;AAEjC,wBAAgB,aAAa,IAAI,gBAAgB,CAQhD;AAED,wBAAgB,wBAAwB,IAAI,gBAAgB,CAQ3D;AAED,wBAAgB,wBAAwB,IAAI,gBAAgB,CAS3D;AAED,wBAAgB,aAAa,IAAI,gBAAgB,CAQhD;AAED,wBAAgB,cAAc,IAAI,gBAAgB,CAQjD;AAED,wBAAgB,gCAAgC,IAAI,gBAAgB,CASnE;AAED,wBAAgB,qBAAqB,IAAI,gBAAgB,CAOxD;AAED,wBAAgB,aAAa,IAAI,gBAAgB,CAQhD;AAED,wBAAgB,0BAA0B,IAAI,gBAAgB,CAQ7D;AAED,wBAAgB,wBAAwB,IAAI,gBAAgB,CAQ3D;AAKD,wBAAgB,oCAAoC,CAClD,WAAW,EAAE,yBAAyB,GACrC,gBAAgB,CASlB;AAED,wBAAgB,+BAA+B,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,gBAAgB,CAO5F;AAED,wBAAgB,0BAA0B,CACxC,WAAW,EAAE,yBAAyB,GACrC,gBAAgB,CAQlB;AAED,wBAAgB,6BAA6B,IAAI,gBAAgB,CAQhE;AAED,wBAAgB,mBAAmB,IAAI,gBAAgB,CAOtD;AAED,wBAAgB,uBAAuB,IAAI,gBAAgB,CAS1D;AAED,wBAAgB,kBAAkB,IAAI,gBAAgB,CAQrD;AAED,wBAAgB,0BAA0B,IAAI,gBAAgB,CAQ7D;AAED,wBAAgB,yBAAyB,CACvC,SAAS,EAAE,MAAM,EACjB,iBAAiB,EAAE,SAAS,cAAc,EAAE,GAC3C,gBAAgB,CASlB;AAED,wBAAgB,wBAAwB,CACtC,SAAS,EAAE,MAAM,EACjB,iBAAiB,EAAE,SAAS,cAAc,EAAE,GAC3C,gBAAgB,CASlB;AAED,wBAAgB,uBAAuB,CAAC,WAAW,EAAE,MAAM,GAAG,gBAAgB,CAO7E;AAED,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,UAAU,EAAE,SAAS,GAAG,UAAU,GACjC,gBAAgB,CAOlB;AAED,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,gBAAgB,CAOrF"}

package/dist/src/rules/effects/effect-verdicts.js

@@ -0,0 +1,202 @@
+export function harnessEffect() {
+    return {
+        action: "keep-effect",
+        confidence: "certain",
+        derivedState: null,
+        message: "Keep this effect in its test, story, or demo harness; production lifecycle migrations do not apply here.",
+    };
+}
+export function ownershipDirectiveEffect() {
+    return {
+        action: "keep-effect",
+        confidence: "certain",
+        derivedState: null,
+        message: "Keep this React effect; its adjacent ownership directive explicitly preserves React lifecycle semantics.",
+    };
+}
+export function unresolvedCallbackEffect() {
+    return {
+        action: "review-effect",
+        abstentionReason: "effect-callback-unresolved",
+        confidence: "probable",
+        derivedState: null,
+        message: "Review this effect; its callback is not defined inline, so execution and cleanup ownership are unresolved.",
+    };
+}
+export function unmountEffect() {
+    return {
+        action: "use-unmount",
+        confidence: "probable",
+        derivedState: null,
+        message: "Replace this teardown-only empty-dependency effect with `useUnmount` if once-only Legend lifecycle semantics are intended.",
+    };
+}
+export function useMountEffect() {
+    return {
+        action: "use-mount",
+        confidence: "probable",
+        derivedState: null,
+        message: "Replace this module-global, setup-only effect with `useMount` if suppressing React Strict Mode's development replay is intended.",
+    };
+}
+export function reviewEmptyDependencySetupEffect() {
+    return {
+        action: "review-effect",
+        abstentionReason: "lifecycle-equivalence-unproven",
+        confidence: "probable",
+        derivedState: null,
+        message: "Review this empty-dependency setup before choosing `useMount`; suppressing React Strict Mode's development replay changes lifecycle semantics.",
+    };
+}
+export function keepPairedMountEffect() {
+    return {
+        action: "keep-effect",
+        confidence: "certain",
+        derivedState: null,
+        message: "Keep this React effect; it owns paired mount setup and cleanup semantics.",
+    };
+}
+export function observeEffect() {
+    return {
+        action: "use-observe-effect",
+        confidence: "probable",
+        derivedState: null,
+        message: "Rewrite this post-mount reaction with `useObserveEffect`, reading its observable sources directly; dependencies are `useValue` snapshots or stable `useObservable` handles.",
+    };
+}
+export function keepRenderedReactionEffect() {
+    return {
+        action: "keep-effect",
+        confidence: "probable",
+        derivedState: null,
+        message: "Keep this React effect; its `useValue` dependencies also render this owner, so an observable reaction would keep the subscription and only move the side effect ahead of commit.",
+    };
+}
+export function keepBrowserStorageEffect() {
+    return {
+        action: "keep-effect",
+        confidence: "probable",
+        derivedState: null,
+        message: "Keep this React effect; it persists React dependencies to browser storage after commit.",
+    };
+}
+const PERSIST_MODULES = "`@legendapp/state/sync` and `@legendapp/state/persist-plugins/local-storage`";
+export function keepBrowserStorageEffectPendingState(persistence) {
+    const names = quotedNames(persistence.states.map((state) => state.valueName));
+    return {
+        action: "keep-effect",
+        confidence: "probable",
+        derivedState: null,
+        message: `Keep this React effect while ${names} stays React state; it persists that state to browser storage after commit. If the state migrates to an observable, replace this effect with \`synced({ persist: { name, plugin: ${pluginList(persistence.plugins)} } })\` from ${PERSIST_MODULES} rather than a hand-written write.`,
+        persistence,
+    };
+}
+export function persistExistingObservableEffect(plugins) {
+    return {
+        action: "persist-observable",
+        confidence: "probable",
+        derivedState: null,
+        message: `Replace this persistence effect with Legend persistence: call \`syncObservable(source$, { persist: { name, plugin: ${pluginList(plugins)} } })\` once beside a module observable, or create a component observable with \`useObservable(synced({ initial, persist }))\`, both from ${PERSIST_MODULES}. Verify the storage key, the serialized shape, and any effect that hydrates the same key before changing readers.`,
+    };
+}
+export function persistMigratedStateEffect(persistence) {
+    const names = quotedNames(persistence.states.map((state) => state.valueName));
+    return {
+        action: "persist-observable",
+        confidence: "probable",
+        derivedState: null,
+        message: `When applying the state finding for ${names}, create the observable with \`synced({ initial, persist: { name, plugin: ${pluginList(persistence.plugins)} } })\` from ${PERSIST_MODULES}, then delete this persistence effect together with any mount effect that hydrates the same key. Verify the storage key and the serialized shape before changing readers.`,
+    };
+}
+export function keepExternalIntegrationEffect() {
+    return {
+        action: "keep-effect",
+        confidence: "probable",
+        derivedState: null,
+        message: "Keep this React effect; external integration follows React dependencies and is not an observable reaction.",
+    };
+}
+export function keepLifecycleEffect() {
+    return {
+        action: "keep-effect",
+        confidence: "certain",
+        derivedState: null,
+        message: "Keep this React effect; it owns an explicit setup and cleanup lifecycle.",
+    };
+}
+export function reviewCausalOwnerEffect() {
+    return {
+        action: "review-effect",
+        abstentionReason: "effect-causal-owner-unresolved",
+        confidence: "probable",
+        derivedState: null,
+        message: "Review this effect's causal owner before choosing React lifecycle, an event handler, or an observable reaction.",
+    };
+}
+export function committedRefEffect() {
+    return {
+        action: "keep-effect",
+        confidence: "certain",
+        derivedState: null,
+        message: "Keep this React effect; it operates on a committed ref and depends on React post-commit ordering.",
+    };
+}
+export function keepStateIndependentEffect() {
+    return {
+        action: "keep-effect",
+        confidence: "certain",
+        derivedState: null,
+        message: "Keep this React effect; it reads only props, refs, module bindings, and external hook results, so no state migration inside this owner changes its inputs.",
+    };
+}
+export function reviewStateReactionEffect(valueName, stateDependencies) {
+    return {
+        action: "review-effect",
+        abstentionReason: "effect-causal-owner-unresolved",
+        confidence: "probable",
+        derivedState: null,
+        message: `Review this effect's causal owner; it reacts to React state \`${valueName}\`, so the mutation site of that state or an observable reaction may own it once the state migrates.`,
+        stateDependencies,
+    };
+}
+export function reviewStateWritingEffect(valueName, stateDependencies) {
+    return {
+        action: "review-effect",
+        abstentionReason: "effect-write-ownership-unresolved",
+        confidence: "probable",
+        derivedState: null,
+        message: `Review this effect; it writes React state \`${valueName}\` after commit, so its ownership must be settled together with that state's migration.`,
+        stateDependencies,
+    };
+}
+export function keepStateSnapshotEffect(bindingName) {
+    return {
+        action: "keep-effect",
+        confidence: "probable",
+        derivedState: null,
+        message: `Keep this React effect; props and external values alone schedule it, and its read of \`${bindingName}\` is a snapshot that migrates with that state (read it with \`.peek()\` inside the effect) rather than a reactive source.`,
+    };
+}
+export function keepEffectForKeptState(names, confidence) {
+    return {
+        action: "keep-effect",
+        confidence,
+        derivedState: null,
+        message: `Keep this React effect; the React state it touches (${quotedNames(names)}) stays React state in this owner, so no Legend effect action applies.`,
+    };
+}
+export function keepEffectForMigratedState(names) {
+    return {
+        action: "keep-effect",
+        confidence: "probable",
+        derivedState: null,
+        message: `Keep this React effect and its dependencies; when applying the state finding for ${quotedNames(names)}, rewrite the setter calls this effect reaches, directly or through the owner functions it calls, to the observable or ref write it prescribes and snapshot any read with \`.peek()\`.`,
+    };
+}
+function pluginList(plugins) {
+    return plugins.join(" | ");
+}
+function quotedNames(names) {
+    return names.map((name) => `\`${name}\``).join(", ");
+}
+//# sourceMappingURL=effect-verdicts.js.map

package/dist/src/rules/effects/effect-verdicts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-verdicts.js","sourceRoot":"","sources":["../../../../src/rules/effects/effect-verdicts.ts"],"names":[],"mappings":"AAMA,MAAM,UAAU,aAAa;IAC3B,OAAO;QACL,MAAM,EAAE,aAAa;QACrB,UAAU,EAAE,SAAS;QACrB,YAAY,EAAE,IAAI;QAClB,OAAO,EACL,0GAA0G;KAC7G,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB;IACtC,OAAO;QACL,MAAM,EAAE,aAAa;QACrB,UAAU,EAAE,SAAS;QACrB,YAAY,EAAE,IAAI;QAClB,OAAO,EACL,0GAA0G;KAC7G,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB;IACtC,OAAO;QACL,MAAM,EAAE,eAAe;QACvB,gBAAgB,EAAE,4BAA4B;QAC9C,UAAU,EAAE,UAAU;QACtB,YAAY,EAAE,IAAI;QAClB,OAAO,EACL,4GAA4G;KAC/G,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,aAAa;IAC3B,OAAO;QACL,MAAM,EAAE,aAAa;QACrB,UAAU,EAAE,UAAU;QACtB,YAAY,EAAE,IAAI;QAClB,OAAO,EACL,4HAA4H;KAC/H,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc;IAC5B,OAAO;QACL,MAAM,EAAE,WAAW;QACnB,UAAU,EAAE,UAAU;QACtB,YAAY,EAAE,IAAI;QAClB,OAAO,EACL,kIAAkI;KACrI,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gCAAgC;IAC9C,OAAO;QACL,MAAM,EAAE,eAAe;QACvB,gBAAgB,EAAE,gCAAgC;QAClD,UAAU,EAAE,UAAU;QACtB,YAAY,EAAE,IAAI;QAClB,OAAO,EACL,gJAAgJ;KACnJ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB;IACnC,OAAO;QACL,MAAM,EAAE,aAAa;QACrB,UAAU,EAAE,SAAS;QACrB,YAAY,EAAE,IAAI;QAClB,OAAO,EAAE,2EAA2E;KACrF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,aAAa;IAC3B,OAAO;QACL,MAAM,EAAE,oBAAoB;QAC5B,UAAU,EAAE,UAAU;QACtB,YAAY,EAAE,IAAI;QAClB,OAAO,EACL,6KAA6K;KAChL,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B;IACxC,OAAO;QACL,MAAM,EAAE,aAAa;QACrB,UAAU,EAAE,UAAU;QACtB,YAAY,EAAE,IAAI;QAClB,OAAO,EACL,kLAAkL;KACrL,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB;IACtC,OAAO;QACL,MAAM,EAAE,aAAa;QACrB,UAAU,EAAE,UAAU;QACtB,YAAY,EAAE,IAAI;QAClB,OAAO,EACL,yFAAyF;KAC5F,CAAC;AACJ,CAAC;AAED,MAAM,eAAe,GACnB,8EAA8E,CAAC;AAEjF,MAAM,UAAU,oCAAoC,CAClD,WAAsC;IAEtC,MAAM,KAAK,GAAG,WAAW,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;IAC9E,OAAO;QACL,MAAM,EAAE,aAAa;QACrB,UAAU,EAAE,UAAU;QACtB,YAAY,EAAE,IAAI;QAClB,OAAO,EAAE,gCAAgC,KAAK,oLAAoL,UAAU,CAAC,WAAW,CAAC,OAAO,CAAC,gBAAgB,eAAe,oCAAoC;QACpU,WAAW;KACZ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,+BAA+B,CAAC,OAA0B;IACxE,OAAO;QACL,MAAM,EAAE,oBAAoB;QAC5B,UAAU,EAAE,UAAU;QACtB,YAAY,EAAE,IAAI;QAClB,OAAO,EAAE,sHAAsH,UAAU,CAAC,OAAO,CAAC,6IAA6I,eAAe,oHAAoH;KACna,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,WAAsC;IAEtC,MAAM,KAAK,GAAG,WAAW,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;IAC9E,OAAO;QACL,MAAM,EAAE,oBAAoB;QAC5B,UAAU,EAAE,UAAU;QACtB,YAAY,EAAE,IAAI;QAClB,OAAO,EAAE,uCAAuC,KAAK,6EAA6E,UAAU,CAAC,WAAW,CAAC,OAAO,CAAC,gBAAgB,eAAe,2KAA2K;KAC5W,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,6BAA6B;IAC3C,OAAO;QACL,MAAM,EAAE,aAAa;QACrB,UAAU,EAAE,UAAU;QACtB,YAAY,EAAE,IAAI;QAClB,OAAO,EACL,4GAA4G;KAC/G,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mBAAmB;IACjC,OAAO;QACL,MAAM,EAAE,aAAa;QACrB,UAAU,EAAE,SAAS;QACrB,YAAY,EAAE,IAAI;QAClB,OAAO,EAAE,0EAA0E;KACpF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uBAAuB;IACrC,OAAO;QACL,MAAM,EAAE,eAAe;QACvB,gBAAgB,EAAE,gCAAgC;QAClD,UAAU,EAAE,UAAU;QACtB,YAAY,EAAE,IAAI;QAClB,OAAO,EACL,iHAAiH;KACpH,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kBAAkB;IAChC,OAAO;QACL,MAAM,EAAE,aAAa;QACrB,UAAU,EAAE,SAAS;QACrB,YAAY,EAAE,IAAI;QAClB,OAAO,EACL,mGAAmG;KACtG,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B;IACxC,OAAO;QACL,MAAM,EAAE,aAAa;QACrB,UAAU,EAAE,SAAS;QACrB,YAAY,EAAE,IAAI;QAClB,OAAO,EACL,4JAA4J;KAC/J,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,SAAiB,EACjB,iBAA4C;IAE5C,OAAO;QACL,MAAM,EAAE,eAAe;QACvB,gBAAgB,EAAE,gCAAgC;QAClD,UAAU,EAAE,UAAU;QACtB,YAAY,EAAE,IAAI;QAClB,OAAO,EAAE,iEAAiE,SAAS,sGAAsG;QACzL,iBAAiB;KAClB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,SAAiB,EACjB,iBAA4C;IAE5C,OAAO;QACL,MAAM,EAAE,eAAe;QACvB,gBAAgB,EAAE,mCAAmC;QACrD,UAAU,EAAE,UAAU;QACtB,YAAY,EAAE,IAAI;QAClB,OAAO,EAAE,+CAA+C,SAAS,yFAAyF;QAC1J,iBAAiB;KAClB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,WAAmB;IACzD,OAAO;QACL,MAAM,EAAE,aAAa;QACrB,UAAU,EAAE,UAAU;QACtB,YAAY,EAAE,IAAI;QAClB,OAAO,EAAE,0FAA0F,WAAW,4HAA4H;KAC3O,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,KAAwB,EACxB,UAAkC;IAElC,OAAO;QACL,MAAM,EAAE,aAAa;QACrB,UAAU;QACV,YAAY,EAAE,IAAI;QAClB,OAAO,EAAE,uDAAuD,WAAW,CAAC,KAAK,CAAC,wEAAwE;KAC3J,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,KAAwB;IACjE,OAAO;QACL,MAAM,EAAE,aAAa;QACrB,UAAU,EAAE,UAAU;QACtB,YAAY,EAAE,IAAI;QAClB,OAAO,EAAE,oFAAoF,WAAW,CAAC,KAAK,CAAC,wLAAwL;KACxS,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,OAA0B;IAC5C,OAAO,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,WAAW,CAAC,KAAwB;IAC3C,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACvD,CAAC"}

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

@@ -0,0 +1,10 @@
+import type { ClassifiedEffect, EffectCandidate, StateCandidate } from "../../analysis/model.js";
+import type { EffectClassificationContext } from "./model.js";
+import ts from "typescript";
+export interface EffectClassificationRequest extends EffectClassificationContext {
+    readonly effect: EffectCandidate;
+    readonly nonProductionHarness: boolean;
+}
+export declare function classifyEffect(request: EffectClassificationRequest): ClassifiedEffect;
+export declare function callbackHasCleanup(callback: ts.ArrowFunction | ts.FunctionExpression, stateBySetter: ReadonlyMap<string, StateCandidate>): boolean;
+//# sourceMappingURL=effects.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effects.d.ts","sourceRoot":"","sources":["../../../../src/rules/effects/effects.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACjG,OAAO,KAAK,EAAE,2BAA2B,EAAuB,MAAM,YAAY,CAAC;AAiDnF,OAAO,EAAE,MAAM,YAAY,CAAC;AAK5B,MAAM,WAAW,2BAA4B,SAAQ,2BAA2B;IAC9E,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IACjC,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;CACxC;AAED,wBAAgB,cAAc,CAAC,OAAO,EAAE,2BAA2B,GAAG,gBAAgB,CAuCrF;AAyOD,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,kBAAkB,EAClD,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,GACjD,OAAO,CAoBT"}