legend-doctor 0.1.0

package/dist/src/analysis/membership-toggle.js

@@ -0,0 +1,186 @@
+import { isValueTransitionProp, unwrapTransparentExpression } from "../core/analysis-ast.js";
+import { KEY_VALUE_TUPLE_LENGTH } from "./constants.js";
+import { nearestMutationFunction } from "./mutations.js";
+import ts from "typescript";
+function soleSnapshotUpdater(setterCall) {
+    const updater = setterCall.arguments[0] && unwrapTransparentExpression(setterCall.arguments[0]);
+    if (!updater ||
+        (!ts.isArrowFunction(updater) && !ts.isFunctionExpression(updater)) ||
+        updater.modifiers?.some((modifier) => modifier.kind === ts.SyntaxKind.AsyncKeyword) ||
+        updater.asteriskToken ||
+        updater.parameters.length !== 1 ||
+        !ts.isIdentifier(updater.parameters[0].name)) {
+        return null;
+    }
+    return updater;
+}
+export function isExactControlledArrayMembershipToggle(state, usage) {
+    if (usage.setterCalls !== 1 ||
+        usage.setterReferences !== 1 ||
+        usage.setterCallNodes.length !== 1) {
+        return false;
+    }
+    const setterCall = usage.setterCallNodes[0];
+    const updater = soleSnapshotUpdater(setterCall);
+    const previous = updater ? updater.parameters[0].name.getText() : null;
+    const toggle = updater ? arrayMembershipToggle(updater) : null;
+    const value = toggle && previous ? arrayMembershipValue(toggle.condition, previous) : null;
+    if (!toggle || !previous || !value) {
+        return false;
+    }
+    return (adapterTakesToggleValue(setterCall, state.owner, value) &&
+        isArrayMembershipRemoval(toggle.whenPresent, previous, value) &&
+        isArrayMembershipAppend(toggle.whenAbsent, previous, value));
+}
+function adapterTakesToggleValue(setterCall, owner, value) {
+    const adapter = nearestMutationFunction(setterCall, owner);
+    return (adapter !== owner &&
+        adapter.parameters.some((parameter) => ts.isIdentifier(parameter.name) && parameter.name.text === value));
+}
+function soleIfStatement(body) {
+    if (!ts.isBlock(body) || body.statements.length !== 1) {
+        return null;
+    }
+    const [statement] = body.statements;
+    if (!statement || !ts.isIfStatement(statement) || !statement.elseStatement) {
+        return null;
+    }
+    return statement;
+}
+function arrayMembershipToggle(updater) {
+    const expression = returnedCallbackExpression(updater);
+    if (expression && ts.isConditionalExpression(expression)) {
+        return {
+            condition: expression.condition,
+            whenAbsent: expression.whenFalse,
+            whenPresent: expression.whenTrue,
+        };
+    }
+    const statement = soleIfStatement(updater.body);
+    if (!statement?.elseStatement) {
+        return null;
+    }
+    const whenPresent = returnedStatementExpression(statement.thenStatement);
+    const whenAbsent = returnedStatementExpression(statement.elseStatement);
+    return whenPresent && whenAbsent
+        ? { condition: statement.expression, whenAbsent, whenPresent }
+        : null;
+}
+function returnedStatementExpression(statement) {
+    const returned = soleReturnStatement(statement);
+    return returned?.expression ? unwrapTransparentExpression(returned.expression) : null;
+}
+function soleReturnStatement(statement) {
+    if (!ts.isBlock(statement)) {
+        return ts.isReturnStatement(statement) ? statement : null;
+    }
+    const [only] = statement.statements;
+    if (statement.statements.length !== 1 || !only || !ts.isReturnStatement(only)) {
+        return null;
+    }
+    return only;
+}
+function returnedCallbackExpression(callback) {
+    if (!ts.isBlock(callback.body)) {
+        return unwrapTransparentExpression(callback.body);
+    }
+    const [statement] = callback.body.statements;
+    return callback.body.statements.length === 1 &&
+        statement !== undefined &&
+        ts.isReturnStatement(statement) &&
+        statement.expression !== undefined
+        ? unwrapTransparentExpression(statement.expression)
+        : null;
+}
+function arrayMembershipValue(condition, previous) {
+    const value = unwrapTransparentExpression(condition);
+    if (!ts.isCallExpression(value) ||
+        value.arguments.length !== 1 ||
+        !ts.isPropertyAccessExpression(value.expression) ||
+        value.expression.name.text !== "includes" ||
+        !isIdentifierNamed(value.expression.expression, previous)) {
+        return null;
+    }
+    const member = unwrapTransparentExpression(value.arguments[0]);
+    return ts.isIdentifier(member) ? member.text : null;
+}
+function isArrayMembershipRemoval(expression, previous, value) {
+    const removal = unwrapTransparentExpression(expression);
+    if (!ts.isCallExpression(removal) ||
+        removal.arguments.length !== 1 ||
+        !ts.isPropertyAccessExpression(removal.expression) ||
+        removal.expression.name.text !== "filter" ||
+        !isIdentifierNamed(removal.expression.expression, previous)) {
+        return false;
+    }
+    const predicate = unwrapTransparentExpression(removal.arguments[0]);
+    if ((!ts.isArrowFunction(predicate) && !ts.isFunctionExpression(predicate)) ||
+        predicate.parameters.length !== 1 ||
+        !ts.isIdentifier(predicate.parameters[0].name)) {
+        return false;
+    }
+    const item = predicate.parameters[0].name.text;
+    const comparison = returnedCallbackExpression(predicate);
+    return (comparison !== null &&
+        ts.isBinaryExpression(comparison) &&
+        comparison.operatorToken.kind === ts.SyntaxKind.ExclamationEqualsEqualsToken &&
+        isIdentifierNamed(comparison.left, item) &&
+        isIdentifierNamed(comparison.right, value));
+}
+function isArrayMembershipAppend(expression, previous, value) {
+    const append = unwrapTransparentExpression(expression);
+    if (!ts.isArrayLiteralExpression(append) || append.elements.length !== KEY_VALUE_TUPLE_LENGTH) {
+        return false;
+    }
+    const [spread, member] = append.elements;
+    return (spread !== undefined &&
+        ts.isSpreadElement(spread) &&
+        isIdentifierNamed(spread.expression, previous) &&
+        member !== undefined &&
+        !ts.isSpreadElement(member) &&
+        isIdentifierNamed(member, value));
+}
+function isIdentifierNamed(expression, name) {
+    const value = unwrapTransparentExpression(expression);
+    return ts.isIdentifier(value) && value.text === name;
+}
+export function isValueTransitionAttribute(opening, name, valueName) {
+    return isValueTransitionProp(name) || isPairedSetterProp(opening, name, valueName);
+}
+export function isVisibilityTransitionAttribute(opening, name, valueName) {
+    if (/^on(?:Open|Visible|Visibility)Change$/u.test(name)) {
+        return true;
+    }
+    if (!isPairedSetterProp(opening, name, valueName)) {
+        return false;
+    }
+    return opening.attributes.properties.some((attribute) => ts.isJsxAttribute(attribute) &&
+        /^(?:isOpen|isVisible|open|visible)$/u.test(attribute.name.getText()) &&
+        attribute.initializer !== undefined &&
+        ts.isJsxExpression(attribute.initializer) &&
+        attribute.initializer.expression !== undefined &&
+        ts.isIdentifier(attribute.initializer.expression) &&
+        attribute.initializer.expression.text === valueName);
+}
+export function isPairedSetterProp(opening, name, valueName) {
+    const setter = /^set(?<suffix>[A-Z][A-Za-z0-9]*)$/u.exec(name)?.groups?.suffix;
+    if (!opening || !setter) {
+        return false;
+    }
+    const normalizedSetter = normalizeStatePropName(setter);
+    return opening.attributes.properties.some((attribute) => {
+        if (!ts.isJsxAttribute(attribute) ||
+            !attribute.initializer ||
+            !ts.isJsxExpression(attribute.initializer) ||
+            !attribute.initializer.expression ||
+            !ts.isIdentifier(attribute.initializer.expression) ||
+            attribute.initializer.expression.text !== valueName) {
+            return false;
+        }
+        return normalizeStatePropName(attribute.name.getText()) === normalizedSetter;
+    });
+}
+function normalizeStatePropName(name) {
+    return name.replace(/^is(?=[A-Z])/u, "").toLowerCase();
+}
+//# sourceMappingURL=membership-toggle.js.map

package/dist/src/analysis/membership-toggle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"membership-toggle.js","sourceRoot":"","sources":["../../../src/analysis/membership-toggle.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,qBAAqB,EAAE,2BAA2B,EAAE,MAAM,yBAAyB,CAAC;AAC7F,OAAO,EAAE,sBAAsB,EAAE,MAAM,gBAAgB,CAAC;AAExD,OAAO,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AACzD,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,SAAS,mBAAmB,CAC1B,UAA6B;IAE7B,MAAM,OAAO,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,2BAA2B,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAChG,IACE,CAAC,OAAO;QACR,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC;QACnE,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;QACnF,OAAO,CAAC,aAAa;QACrB,OAAO,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAC/B,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,EAC7C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,sCAAsC,CACpD,KAAqB,EACrB,KAAiB;IAEjB,IACE,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,KAAK,CAAC,gBAAgB,KAAK,CAAC;QAC5B,KAAK,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC,EAClC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,UAAU,GAAG,KAAK,CAAC,eAAe,CAAC,CAAC,CAAE,CAAC;IAC7C,MAAM,OAAO,GAAG,mBAAmB,CAAC,UAAU,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IACxE,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/D,MAAM,KAAK,GAAG,MAAM,IAAI,QAAQ,CAAC,CAAC,CAAC,oBAAoB,CAAC,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3F,IAAI,CAAC,MAAM,IAAI,CAAC,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC;QACnC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CACL,uBAAuB,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC;QACvD,wBAAwB,CAAC,MAAM,CAAC,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC;QAC7D,uBAAuB,CAAC,MAAM,CAAC,UAAU,EAAE,QAAQ,EAAE,KAAK,CAAC,CAC5D,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,UAA6B,EAC7B,KAA0B,EAC1B,KAAa;IAEb,MAAM,OAAO,GAAG,uBAAuB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC3D,OAAO,CACL,OAAO,KAAK,KAAK;QACjB,OAAO,CAAC,UAAU,CAAC,IAAI,CACrB,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAChF,CACF,CAAC;AACJ,CAAC;AAQD,SAAS,eAAe,CAAC,IAAoB;IAC3C,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC;IACpC,IAAI,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC;QAC3E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,qBAAqB,CAC5B,OAAiD;IAEjD,MAAM,UAAU,GAAG,0BAA0B,CAAC,OAAO,CAAC,CAAC;IACvD,IAAI,UAAU,IAAI,EAAE,CAAC,uBAAuB,CAAC,UAAU,CAAC,EAAE,CAAC;QACzD,OAAO;YACL,SAAS,EAAE,UAAU,CAAC,SAAS;YAC/B,UAAU,EAAE,UAAU,CAAC,SAAS;YAChC,WAAW,EAAE,UAAU,CAAC,QAAQ;SACjC,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAChD,IAAI,CAAC,SAAS,EAAE,aAAa,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,2BAA2B,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IACzE,MAAM,UAAU,GAAG,2BAA2B,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IACxE,OAAO,WAAW,IAAI,UAAU;QAC9B,CAAC,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE;QAC9D,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,2BAA2B,CAAC,SAAuB;IAC1D,MAAM,QAAQ,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAC;IAChD,OAAO,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,2BAA2B,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACxF,CAAC;AAED,SAAS,mBAAmB,CAAC,SAAuB;IAClD,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC3B,OAAO,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5D,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,UAAU,CAAC;IACpC,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,0BAA0B,CACjC,QAAkD;IAElD,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,2BAA2B,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC;IACD,MAAM,CAAC,SAAS,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC;IAC7C,OAAO,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAC1C,SAAS,KAAK,SAAS;QACvB,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC;QAC/B,SAAS,CAAC,UAAU,KAAK,SAAS;QAClC,CAAC,CAAC,2BAA2B,CAAC,SAAS,CAAC,UAAU,CAAC;QACnD,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,oBAAoB,CAAC,SAAwB,EAAE,QAAgB;IACtE,MAAM,KAAK,GAAG,2BAA2B,CAAC,SAAS,CAAC,CAAC;IACrD,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC;QAC3B,KAAK,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAC5B,CAAC,EAAE,CAAC,0BAA0B,CAAC,KAAK,CAAC,UAAU,CAAC;QAChD,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU;QACzC,CAAC,iBAAiB,CAAC,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,QAAQ,CAAC,EACzD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,2BAA2B,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;IAChE,OAAO,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACtD,CAAC;AAED,SAAS,wBAAwB,CAC/B,UAAyB,EACzB,QAAgB,EAChB,KAAa;IAEb,MAAM,OAAO,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACxD,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;QAC7B,OAAO,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAC9B,CAAC,EAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC,UAAU,CAAC;QAClD,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QACzC,CAAC,iBAAiB,CAAC,OAAO,CAAC,UAAU,CAAC,UAAU,EAAE,QAAQ,CAAC,EAC3D,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,SAAS,GAAG,2BAA2B,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;IACrE,IACE,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAC;QACvE,SAAS,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QACjC,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,EAC/C,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,IAAI,CAAC;IAChD,MAAM,UAAU,GAAG,0BAA0B,CAAC,SAAS,CAAC,CAAC;IACzD,OAAO,CACL,UAAU,KAAK,IAAI;QACnB,EAAE,CAAC,kBAAkB,CAAC,UAAU,CAAC;QACjC,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,4BAA4B;QAC5E,iBAAiB,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC;QACxC,iBAAiB,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAC3C,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,UAAyB,EACzB,QAAgB,EAChB,KAAa;IAEb,MAAM,MAAM,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACvD,IAAI,CAAC,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,sBAAsB,EAAE,CAAC;QAC9F,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC;IACzC,OAAO,CACL,MAAM,KAAK,SAAS;QACpB,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC;QAC1B,iBAAiB,CAAC,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC;QAC9C,MAAM,KAAK,SAAS;QACpB,CAAC,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC;QAC3B,iBAAiB,CAAC,MAAM,EAAE,KAAK,CAAC,CACjC,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,UAAyB,EAAE,IAAY;IAChE,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,OAAO,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC;AACvD,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,OAAwD,EACxD,IAAY,EACZ,SAAiB;IAEjB,OAAO,qBAAqB,CAAC,IAAI,CAAC,IAAI,kBAAkB,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;AACrF,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC7C,OAAwD,EACxD,IAAY,EACZ,SAAiB;IAEjB,IAAI,wCAAwC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACxD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,kBAAkB,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC;QAClD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CACvC,CAAC,SAAS,EAAE,EAAE,CACZ,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC;QAC5B,sCAAsC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACrE,SAAS,CAAC,WAAW,KAAK,SAAS;QACnC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,WAAW,CAAC;QACzC,SAAS,CAAC,WAAW,CAAC,UAAU,KAAK,SAAS;QAC9C,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,WAAW,CAAC,UAAU,CAAC;QACjD,SAAS,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS,CACtD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,OAAoE,EACpE,IAAY,EACZ,SAAiB;IAEjB,MAAM,MAAM,GAAG,oCAAoC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC;IAC/E,IAAI,CAAC,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC;QACxB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,gBAAgB,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACxD,OAAO,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE;QACtD,IACE,CAAC,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC;YAC7B,CAAC,SAAS,CAAC,WAAW;YACtB,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,WAAW,CAAC;YAC1C,CAAC,SAAS,CAAC,WAAW,CAAC,UAAU;YACjC,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,WAAW,CAAC,UAAU,CAAC;YAClD,SAAS,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS,EACnD,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,sBAAsB,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,gBAAgB,CAAC;IAC/E,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAY;IAC1C,OAAO,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;AACzD,CAAC"}

package/dist/src/analysis/model.d.ts

@@ -0,0 +1,145 @@
+import type { AbstentionReason, EffectAction, StateAction } from "../core/types.js";
+import type { JsxSubtreeNode } from "../rules/deferred-reveal/jsx-subtrees.js";
+import type { RuntimeFunctionLike } from "../core/ast.js";
+import type { StateFlowIndex } from "../project/state-flow/state-flow.js";
+import type ts from "typescript";
+export interface StateCandidate {
+    call: ts.CallExpression;
+    owner: RuntimeFunctionLike;
+    setterName: string | null;
+    valueName: string;
+}
+export interface EffectCandidate {
+    call: ts.CallExpression;
+    callback: ts.ArrowFunction | ts.FunctionExpression | null;
+    dependencies: ts.ArrayLiteralExpression | null;
+    owner: RuntimeFunctionLike | null;
+}
+export interface StateUsage {
+    directRenderNodes: ts.Node[];
+    deferredReads: number;
+    /** Value reads inside timers, promises, subscriptions, and event callbacks. */
+    deferredReadNodes: ts.Node[];
+    effectReads: number;
+    effectReadNodes: ts.Node[];
+    effectWrites: number;
+    effectWriteNodes: ts.Node[];
+    escaped: boolean;
+    /** References handed to code the analysis cannot follow. */
+    escapeNodes: ts.Node[];
+    eventReads: number;
+    jsxTargets: Set<string>;
+    localRenderReads: number;
+    legendReactionWrites: number;
+    /** Reads inside proven browser-storage persistence effects, which Legend persistence replaces. */
+    persistenceReads: number;
+    repeatedTransport: boolean;
+    repeatedValueTransport: boolean;
+    setterTargets: Set<string>;
+    setterCalls: number;
+    setterCallNodes: ts.CallExpression[];
+    setterReferences: number;
+    setterTransportSites: Set<number>;
+    setterUsesPreviousValue: boolean;
+    shadowed: boolean;
+    transportedOccurrences: number;
+    /** JSX attributes that carry the value or setter to each transport target. */
+    transportNodes: Map<string, ts.Node[]>;
+    unstableTransport: boolean;
+    valueTransportSites: Set<number>;
+    valueTargets: Set<string>;
+    valueProps: Map<string, Set<string>>;
+}
+interface Classification {
+    confidence: "certain" | "probable";
+    message: string;
+}
+export type ClassifiedState = (Classification & {
+    abstentionReason: AbstentionReason;
+    action: "review-state";
+}) | (Classification & {
+    abstentionReason?: never;
+    action: Exclude<StateAction, "review-state">;
+});
+export interface ControlledFilterLeafCut {
+    line: number;
+    producer: string;
+    target: string;
+}
+/** A browser-storage persistence effect whose Legend replacement waits on the verdicts of the states it writes. */
+export interface BrowserStoragePersistence {
+    /** Persist plugin class names matching the storages the effect writes. */
+    readonly plugins: readonly string[];
+    readonly states: readonly StateCandidate[];
+}
+interface EffectClassification extends Classification {
+    derivedState: StateCandidate | null;
+    persistence?: BrowserStoragePersistence;
+}
+export type ClassifiedEffect = (EffectClassification & {
+    abstentionReason: AbstentionReason;
+    action: "review-effect";
+    stateDependencies?: readonly StateCandidate[];
+}) | (EffectClassification & {
+    abstentionReason?: never;
+    action: Exclude<EffectAction, "review-effect">;
+});
+export interface EffectStateScope {
+    bySetter: Map<string, StateCandidate>;
+    byValue: Map<string, StateCandidate>;
+    usageBySetter: Map<string, StateUsage>;
+}
+export interface StateCluster {
+    action: Exclude<StateAction, "review-state">;
+    id: string;
+    memberMessages?: ReadonlyMap<StateCandidate, string>;
+    members: readonly StateCandidate[];
+    message: string;
+    primary: StateCandidate;
+}
+export interface SiblingRenderCut {
+    consumerLabel: string;
+    consumerLine: number;
+}
+export interface ControlledProjectionCut {
+    consumerLabel: string;
+    consumerLine: number;
+}
+export interface DialogPayloadCut {
+    conditional: boolean;
+    consumerLabel: string;
+    consumerLine: number;
+}
+export interface BranchUnmountMove {
+    target: string;
+}
+export interface SetterMutation {
+    call: ts.CallExpression;
+    region: RuntimeFunctionLike;
+    state: StateCandidate;
+}
+export interface CoexecutionScope {
+    readonly region: RuntimeFunctionLike;
+    readonly stateFlow: StateFlowIndex;
+}
+export interface ComponentScope {
+    readonly localComponents: ReadonlySet<string>;
+    readonly sourceComponents: ReadonlySet<string>;
+}
+export interface DirectReturnCallSite {
+    readonly opening: ts.JsxOpeningElement | ts.JsxSelfClosingElement;
+    readonly returned: ts.Expression;
+}
+export interface StateSubtree {
+    kind: "direct" | "effect-command-projection" | "effect-projection" | "effect-split-projection" | "gate" | "projection";
+    leafCount?: number;
+    label: string;
+    line: number;
+    movedDeclarations: readonly string[];
+    node: JsxSubtreeNode;
+    repeated: boolean;
+    uniqueRepeatedBranch: boolean;
+    unstable: boolean;
+}
+export {};
+//# sourceMappingURL=model.d.ts.map

package/dist/src/analysis/model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../../src/analysis/model.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AACpF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0CAA0C,CAAC;AAC/E,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AAC1E,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC;IACxB,KAAK,EAAE,mBAAmB,CAAC;IAC3B,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC;IACxB,QAAQ,EAAE,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,kBAAkB,GAAG,IAAI,CAAC;IAC1D,YAAY,EAAE,EAAE,CAAC,sBAAsB,GAAG,IAAI,CAAC;IAC/C,KAAK,EAAE,mBAAmB,GAAG,IAAI,CAAC;CACnC;AAED,MAAM,WAAW,UAAU;IACzB,iBAAiB,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC;IAC7B,aAAa,EAAE,MAAM,CAAC;IACtB,+EAA+E;IAC/E,iBAAiB,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC;IAC7B,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC;IAC3B,YAAY,EAAE,MAAM,CAAC;IACrB,gBAAgB,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC;IAC5B,OAAO,EAAE,OAAO,CAAC;IACjB,4DAA4D;IAC5D,WAAW,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACxB,gBAAgB,EAAE,MAAM,CAAC;IACzB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,kGAAkG;IAClG,gBAAgB,EAAE,MAAM,CAAC;IACzB,iBAAiB,EAAE,OAAO,CAAC;IAC3B,sBAAsB,EAAE,OAAO,CAAC;IAChC,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC3B,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe,EAAE,EAAE,CAAC,cAAc,EAAE,CAAC;IACrC,gBAAgB,EAAE,MAAM,CAAC;IACzB,oBAAoB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAClC,uBAAuB,EAAE,OAAO,CAAC;IACjC,QAAQ,EAAE,OAAO,CAAC;IAClB,sBAAsB,EAAE,MAAM,CAAC;IAC/B,8EAA8E;IAC9E,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;IACvC,iBAAiB,EAAE,OAAO,CAAC;IAC3B,mBAAmB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACjC,YAAY,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC1B,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;CACtC;AAED,UAAU,cAAc;IACtB,UAAU,EAAE,SAAS,GAAG,UAAU,CAAC;IACnC,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,MAAM,eAAe,GACvB,CAAC,cAAc,GAAG;IAChB,gBAAgB,EAAE,gBAAgB,CAAC;IACnC,MAAM,EAAE,cAAc,CAAC;CACxB,CAAC,GACF,CAAC,cAAc,GAAG;IAChB,gBAAgB,CAAC,EAAE,KAAK,CAAC;IACzB,MAAM,EAAE,OAAO,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC;CAC9C,CAAC,CAAC;AAEP,MAAM,WAAW,uBAAuB;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,mHAAmH;AACnH,MAAM,WAAW,yBAAyB;IACxC,0EAA0E;IAC1E,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,SAAS,cAAc,EAAE,CAAC;CAC5C;AAED,UAAU,oBAAqB,SAAQ,cAAc;IACnD,YAAY,EAAE,cAAc,GAAG,IAAI,CAAC;IACpC,WAAW,CAAC,EAAE,yBAAyB,CAAC;CACzC;AAED,MAAM,MAAM,gBAAgB,GACxB,CAAC,oBAAoB,GAAG;IACtB,gBAAgB,EAAE,gBAAgB,CAAC;IACnC,MAAM,EAAE,eAAe,CAAC;IACxB,iBAAiB,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;CAC/C,CAAC,GACF,CAAC,oBAAoB,GAAG;IACtB,gBAAgB,CAAC,EAAE,KAAK,CAAC;IACzB,MAAM,EAAE,OAAO,CAAC,YAAY,EAAE,eAAe,CAAC,CAAC;CAChD,CAAC,CAAC;AAEP,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACtC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACrC,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;CACxC;AAED,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE,OAAO,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC;IAC7C,EAAE,EAAE,MAAM,CAAC;IACX,cAAc,CAAC,EAAE,WAAW,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IACrD,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IACnC,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,cAAc,CAAC;CACzB;AAED,MAAM,WAAW,gBAAgB;IAC/B,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,uBAAuB;IACtC,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,gBAAgB;IAC/B,WAAW,EAAE,OAAO,CAAC;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC;IACxB,MAAM,EAAE,mBAAmB,CAAC;IAC5B,KAAK,EAAE,cAAc,CAAC;CACvB;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC;IACrC,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;CACpC;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,eAAe,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC9C,QAAQ,CAAC,gBAAgB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAChD;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,iBAAiB,GAAG,EAAE,CAAC,qBAAqB,CAAC;IAClE,QAAQ,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC;CAClC;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EACA,QAAQ,GACR,2BAA2B,GAC3B,mBAAmB,GACnB,yBAAyB,GACzB,MAAM,GACN,YAAY,CAAC;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,IAAI,EAAE,cAAc,CAAC;IACrB,QAAQ,EAAE,OAAO,CAAC;IAClB,oBAAoB,EAAE,OAAO,CAAC;IAC9B,QAAQ,EAAE,OAAO,CAAC;CACnB"}

package/dist/src/analysis/model.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=model.js.map

package/dist/src/analysis/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../../src/analysis/model.ts"],"names":[],"mappings":""}

package/dist/src/analysis/mutations.d.ts

@@ -0,0 +1,13 @@
+import type { CoexecutionScope, SetterMutation, StateCandidate, StateUsage } from "./model.js";
+import type { RuntimeFunctionLike } from "../core/ast.js";
+import type { StateFlowIndex } from "../project/state-flow/state-flow.js";
+import ts from "typescript";
+export declare function mutationsWriteTogether(left: SetterMutation, right: SetterMutation, stateFlow: StateFlowIndex): boolean;
+export declare function callsAreAdjacentDraftWrites(left: ts.CallExpression, right: ts.CallExpression): boolean;
+export declare function isControlledBooleanTransition(mutation: SetterMutation): boolean;
+export declare function callSetsLiteral(mutation: SetterMutation, kind: ts.SyntaxKind): boolean;
+export declare function primitiveSetterUpdatersArePure(state: StateCandidate, usage: StateUsage): boolean;
+export declare function nearestMutationFunction(node: ts.Node, owner: RuntimeFunctionLike): RuntimeFunctionLike;
+export declare function mutationsAreProvenCoexecuting(left: ts.CallExpression, right: ts.CallExpression, { region, stateFlow }: CoexecutionScope): boolean;
+export declare function mutationsMayCoexecute(left: ts.CallExpression, right: ts.CallExpression, { region, stateFlow }: CoexecutionScope): boolean;
+//# sourceMappingURL=mutations.d.ts.map

package/dist/src/analysis/mutations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mutations.d.ts","sourceRoot":"","sources":["../../../src/analysis/mutations.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,cAAc,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAG/F,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AAI1E,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,cAAc,EACpB,KAAK,EAAE,cAAc,EACrB,SAAS,EAAE,cAAc,GACxB,OAAO,CAMT;AAED,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,KAAK,EAAE,EAAE,CAAC,cAAc,GACvB,OAAO,CAqBT;AAED,wBAAgB,6BAA6B,CAAC,QAAQ,EAAE,cAAc,GAAG,OAAO,CAe/E;AAMD,wBAAgB,eAAe,CAAC,QAAQ,EAAE,cAAc,EAAE,IAAI,EAAE,EAAE,CAAC,UAAU,GAAG,OAAO,CAEtF;AAED,wBAAgB,8BAA8B,CAAC,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,UAAU,GAAG,OAAO,CAchG;AAED,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,KAAK,EAAE,mBAAmB,GACzB,mBAAmB,CAErB;AAED,wBAAgB,6BAA6B,CAC3C,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,KAAK,EAAE,EAAE,CAAC,cAAc,EACxB,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,gBAAgB,GACtC,OAAO,CAET;AAED,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,KAAK,EAAE,EAAE,CAAC,cAAc,EACxB,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,gBAAgB,GACtC,OAAO,CAET"}

package/dist/src/analysis/mutations.js

@@ -0,0 +1,71 @@
+import { findAncestor, findAncestorUntil, isRuntimeFunctionLike } from "../core/ast.js";
+import { PURE_MATH_METHODS } from "./constants.js";
+import { hasDirectPrimitiveInitializer } from "../rules/state-proofs/state-proofs.js";
+import { isPureExpression } from "../core/analysis-ast.js";
+import { isUnshadowedMathCall } from "../rules/state-proofs/binding-lookup.js";
+import ts from "typescript";
+export function mutationsWriteTogether(left, right, stateFlow) {
+    return (left.region === right.region &&
+        (callsAreAdjacentDraftWrites(left.call, right.call) ||
+            mutationsAreProvenCoexecuting(left.call, right.call, { region: left.region, stateFlow })));
+}
+export function callsAreAdjacentDraftWrites(left, right) {
+    const leftStatement = left.parent;
+    const rightStatement = right.parent;
+    if (!ts.isExpressionStatement(leftStatement) ||
+        leftStatement.expression !== left ||
+        !ts.isExpressionStatement(rightStatement) ||
+        rightStatement.expression !== right ||
+        leftStatement.parent !== rightStatement.parent) {
+        return false;
+    }
+    const { parent } = leftStatement;
+    const statements = ts.isBlock(parent) || ts.isCaseClause(parent) || ts.isDefaultClause(parent)
+        ? parent.statements
+        : null;
+    if (statements === null) {
+        return false;
+    }
+    return Math.abs(statements.indexOf(leftStatement) - statements.indexOf(rightStatement)) === 1;
+}
+export function isControlledBooleanTransition(mutation) {
+    const [argument] = mutation.call.arguments;
+    if (!argument || !ts.isIdentifier(argument)) {
+        return false;
+    }
+    const callback = isInlineRuntimeCallback(mutation.region) ? mutation.region : null;
+    const parameter = callback?.parameters[0];
+    if (!parameter || !ts.isIdentifier(parameter.name) || parameter.name.text !== argument.text) {
+        return false;
+    }
+    const attribute = callback ? findAncestor(callback, ts.isJsxAttribute) : null;
+    return (attribute !== null &&
+        /^(?:onOpen|onVisible|onExpanded)Change(?:Complete)?$/u.test(attribute.name.getText()));
+}
+function isInlineRuntimeCallback(node) {
+    return ts.isArrowFunction(node) || ts.isFunctionExpression(node);
+}
+export function callSetsLiteral(mutation, kind) {
+    return mutation.call.arguments.length === 1 && mutation.call.arguments[0]?.kind === kind;
+}
+export function primitiveSetterUpdatersArePure(state, usage) {
+    if (!hasDirectPrimitiveInitializer(state)) {
+        return true;
+    }
+    return usage.setterCallNodes.every((call) => {
+        const [argument] = call.arguments;
+        return (!argument ||
+            (!ts.isArrowFunction(argument) && !ts.isFunctionExpression(argument)) ||
+            isPureExpression(argument, (mathCall) => isUnshadowedMathCall(state.owner, mathCall, PURE_MATH_METHODS)));
+    });
+}
+export function nearestMutationFunction(node, owner) {
+    return findAncestorUntil(node, isRuntimeFunctionLike, owner) ?? owner;
+}
+export function mutationsAreProvenCoexecuting(left, right, { region, stateFlow }) {
+    return stateFlow.proveSynchronousCoexecution(region, left, right) === "proven";
+}
+export function mutationsMayCoexecute(left, right, { region, stateFlow }) {
+    return stateFlow.proveSynchronousCoexecution(region, left, right) !== "disproven";
+}
+//# sourceMappingURL=mutations.js.map

package/dist/src/analysis/mutations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mutations.js","sourceRoot":"","sources":["../../../src/analysis/mutations.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AACxF,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAGnD,OAAO,EAAE,6BAA6B,EAAE,MAAM,uCAAuC,CAAC;AACtF,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,yCAAyC,CAAC;AAC/E,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,sBAAsB,CACpC,IAAoB,EACpB,KAAqB,EACrB,SAAyB;IAEzB,OAAO,CACL,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAC5B,CAAC,2BAA2B,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;YACjD,6BAA6B,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,CAC5F,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,2BAA2B,CACzC,IAAuB,EACvB,KAAwB;IAExB,MAAM,aAAa,GAAG,IAAI,CAAC,MAAM,CAAC;IAClC,MAAM,cAAc,GAAG,KAAK,CAAC,MAAM,CAAC;IACpC,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,aAAa,CAAC;QACxC,aAAa,CAAC,UAAU,KAAK,IAAI;QACjC,CAAC,EAAE,CAAC,qBAAqB,CAAC,cAAc,CAAC;QACzC,cAAc,CAAC,UAAU,KAAK,KAAK;QACnC,aAAa,CAAC,MAAM,KAAK,cAAc,CAAC,MAAM,EAC9C,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,EAAE,MAAM,EAAE,GAAG,aAAa,CAAC;IACjC,MAAM,UAAU,GACd,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC;QACzE,CAAC,CAAC,MAAM,CAAC,UAAU;QACnB,CAAC,CAAC,IAAI,CAAC;IACX,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACxB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,KAAK,CAAC,CAAC;AAChG,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,QAAwB;IACpE,MAAM,CAAC,QAAQ,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC;IAC3C,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,QAAQ,GAAG,uBAAuB,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;IACnF,MAAM,SAAS,GAAG,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IAC1C,IAAI,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC;QAC5F,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9E,OAAO,CACL,SAAS,KAAK,IAAI;QAClB,uDAAuD,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CACvF,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAa;IAC5C,OAAO,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;AACnE,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,QAAwB,EAAE,IAAmB;IAC3E,OAAO,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,IAAI,CAAC;AAC3F,CAAC;AAED,MAAM,UAAU,8BAA8B,CAAC,KAAqB,EAAE,KAAiB;IACrF,IAAI,CAAC,6BAA6B,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE;QAC1C,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;QAClC,OAAO,CACL,CAAC,QAAQ;YACT,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;YACrE,gBAAgB,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,EAAE,CACtC,oBAAoB,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,iBAAiB,CAAC,CAC/D,CACF,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,IAAa,EACb,KAA0B;IAE1B,OAAO,iBAAiB,CAAC,IAAI,EAAE,qBAAqB,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,IAAuB,EACvB,KAAwB,EACxB,EAAE,MAAM,EAAE,SAAS,EAAoB;IAEvC,OAAO,SAAS,CAAC,2BAA2B,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,QAAQ,CAAC;AACjF,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,IAAuB,EACvB,KAAwB,EACxB,EAAE,MAAM,EAAE,SAAS,EAAoB;IAEvC,OAAO,SAAS,CAAC,2BAA2B,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,WAAW,CAAC;AACpF,CAAC"}

package/dist/src/analysis/owner-bindings.d.ts

@@ -0,0 +1,11 @@
+import type { EffectStateScope, StateCandidate, StateUsage } from "./model.js";
+import type { HookImports } from "../core/imports.js";
+import type { RuntimeFunctionLike } from "../core/ast.js";
+import ts from "typescript";
+export declare function collectEffectStateScopes(states: readonly StateCandidate[], usageByState: ReadonlyMap<StateCandidate, StateUsage>): ReadonlyMap<RuntimeFunctionLike, EffectStateScope>;
+export declare function collectUseValueBindings(sourceFile: ts.SourceFile, imports: HookImports): ReadonlyMap<RuntimeFunctionLike, ReadonlySet<string>>;
+export declare function collectObservableSubscriptionCounts(sourceFile: ts.SourceFile, imports: HookImports): ReadonlyMap<RuntimeFunctionLike, number>;
+export declare function collectStableUseObservableBindings(sourceFile: ts.SourceFile, imports: HookImports): ReadonlyMap<RuntimeFunctionLike, ReadonlySet<string>>;
+export declare function collectModuleScopeBindings(sourceFile: ts.SourceFile): ReadonlySet<string>;
+export declare function collectReactiveMutationBindings(sourceFile: ts.SourceFile): ReadonlyMap<RuntimeFunctionLike, ReadonlySet<string>>;
+//# sourceMappingURL=owner-bindings.d.ts.map

package/dist/src/analysis/owner-bindings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"owner-bindings.d.ts","sourceRoot":"","sources":["../../../src/analysis/owner-bindings.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAG/E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAEtD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAE1D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,SAAS,cAAc,EAAE,EACjC,YAAY,EAAE,WAAW,CAAC,cAAc,EAAE,UAAU,CAAC,GACpD,WAAW,CAAC,mBAAmB,EAAE,gBAAgB,CAAC,CAWpD;AAiBD,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,OAAO,EAAE,WAAW,GACnB,WAAW,CAAC,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAqBvD;AAID,wBAAgB,mCAAmC,CACjD,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,OAAO,EAAE,WAAW,GACnB,WAAW,CAAC,mBAAmB,EAAE,MAAM,CAAC,CAa1C;AAeD,wBAAgB,kCAAkC,CAChD,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,OAAO,EAAE,WAAW,GACnB,WAAW,CAAC,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAYvD;AAqBD,wBAAgB,0BAA0B,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,CAMzF;AAiCD,wBAAgB,+BAA+B,CAC7C,UAAU,EAAE,EAAE,CAAC,UAAU,GACxB,WAAW,CAAC,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAsBvD"}

package/dist/src/analysis/owner-bindings.js

@@ -0,0 +1,171 @@
+import { bindingDeclarationCount, collectBindingNames } from "../core/analysis-ast.js";
+import { findAncestor, isRuntimeFunctionLike, visit } from "../core/ast.js";
+import { MUTATION_PROPERTY_NAMES } from "./constants.js";
+import { isLocalHookCall } from "../core/imports.js";
+import ts from "typescript";
+export function collectEffectStateScopes(states, usageByState) {
+    const scopes = new Map();
+    for (const state of states) {
+        let scope = scopes.get(state.owner);
+        if (!scope) {
+            scope = { bySetter: new Map(), byValue: new Map(), usageBySetter: new Map() };
+            scopes.set(state.owner, scope);
+        }
+        registerStateInScope(scope, state, usageByState.get(state));
+    }
+    return scopes;
+}
+function registerStateInScope(scope, state, usage) {
+    scope.byValue.set(state.valueName, state);
+    if (!state.setterName) {
+        return;
+    }
+    scope.bySetter.set(state.setterName, state);
+    if (usage) {
+        scope.usageBySetter.set(state.setterName, usage);
+    }
+}
+export function collectUseValueBindings(sourceFile, imports) {
+    const bindings = new Map();
+    visit(sourceFile, (node) => {
+        if (!ts.isVariableDeclaration(node) || !ts.isIdentifier(node.name) || !node.initializer) {
+            return;
+        }
+        if (!ts.isCallExpression(node.initializer) ||
+            !isLocalHookCall(node.initializer, imports.useValue)) {
+            return;
+        }
+        const owner = findAncestor(node, isRuntimeFunctionLike);
+        if (!owner || bindingDeclarationCount(owner, node.name.text) !== 1) {
+            return;
+        }
+        const ownerBindings = bindings.get(owner) ?? new Set();
+        ownerBindings.add(node.name.text);
+        bindings.set(owner, ownerBindings);
+    });
+    return bindings;
+}
+const OBSERVABLE_SUBSCRIPTION_HOOKS = new Set(["useValue", "useSelector", "use$"]);
+export function collectObservableSubscriptionCounts(sourceFile, imports) {
+    const counts = new Map();
+    visit(sourceFile, (node) => {
+        if (!ts.isCallExpression(node) || !isObservableSubscriptionHookCall(node, imports)) {
+            return;
+        }
+        const owner = findAncestor(node, isRuntimeFunctionLike);
+        if (!owner) {
+            return;
+        }
+        counts.set(owner, (counts.get(owner) ?? 0) + 1);
+    });
+    return counts;
+}
+function isObservableSubscriptionHookCall(call, imports) {
+    const { expression } = call;
+    if (ts.isIdentifier(expression)) {
+        return imports.useValue.has(expression.text) || imports.legacyUseValue.has(expression.text);
+    }
+    return (ts.isPropertyAccessExpression(expression) &&
+        ts.isIdentifier(expression.expression) &&
+        imports.legendReactNamespaces.has(expression.expression.text) &&
+        OBSERVABLE_SUBSCRIPTION_HOOKS.has(expression.name.text));
+}
+export function collectStableUseObservableBindings(sourceFile, imports) {
+    const bindings = new Map();
+    visit(sourceFile, (node) => {
+        const owner = stableObservableBindingOwner(node, imports);
+        if (!owner || !ts.isVariableDeclaration(node) || !ts.isIdentifier(node.name)) {
+            return;
+        }
+        const ownerBindings = bindings.get(owner) ?? new Set();
+        ownerBindings.add(node.name.text);
+        bindings.set(owner, ownerBindings);
+    });
+    return bindings;
+}
+function stableObservableBindingOwner(node, imports) {
+    if (!ts.isVariableDeclaration(node) || !ts.isIdentifier(node.name) || !node.initializer) {
+        return null;
+    }
+    if (!ts.isCallExpression(node.initializer) ||
+        !isLocalHookCall(node.initializer, imports.useObservable) ||
+        !ts.isVariableDeclarationList(node.parent) ||
+        (node.parent.flags & ts.NodeFlags.Const) === 0) {
+        return null;
+    }
+    const owner = findAncestor(node, isRuntimeFunctionLike);
+    return owner && bindingDeclarationCount(owner, node.name.text) === 1 ? owner : null;
+}
+export function collectModuleScopeBindings(sourceFile) {
+    const bindings = new Set();
+    for (const statement of sourceFile.statements) {
+        addModuleScopeStatementBindings(statement, bindings);
+    }
+    return bindings;
+}
+function addModuleScopeStatementBindings(statement, bindings) {
+    if (ts.isImportDeclaration(statement)) {
+        addImportClauseBindings(statement.importClause, bindings);
+        return;
+    }
+    if ((ts.isFunctionDeclaration(statement) || ts.isClassDeclaration(statement)) && statement.name) {
+        bindings.add(statement.name.text);
+        return;
+    }
+    if (ts.isVariableStatement(statement)) {
+        for (const declaration of statement.declarationList.declarations) {
+            collectBindingNames(declaration.name, bindings);
+        }
+    }
+}
+function addImportClauseBindings(clause, bindings) {
+    if (clause?.name) {
+        bindings.add(clause.name.text);
+    }
+    const named = clause?.namedBindings;
+    if (named && ts.isNamespaceImport(named)) {
+        bindings.add(named.name.text);
+    }
+    if (named && ts.isNamedImports(named)) {
+        for (const element of named.elements) {
+            bindings.add(element.name.text);
+        }
+    }
+}
+export function collectReactiveMutationBindings(sourceFile) {
+    const result = new Map();
+    visit(sourceFile, (node) => {
+        if (!ts.isVariableDeclaration(node) ||
+            !node.initializer ||
+            !ts.isCallExpression(node.initializer) ||
+            !ts.isIdentifier(node.initializer.expression) ||
+            !/^use[A-Z0-9]/u.test(node.initializer.expression.text)) {
+            return;
+        }
+        const owner = findAncestor(node, isRuntimeFunctionLike);
+        if (!owner) {
+            return;
+        }
+        const bindings = result.get(owner) ?? new Set();
+        if (addMutationBindingNames(node.name, bindings)) {
+            result.set(owner, bindings);
+        }
+    });
+    return result;
+}
+function addMutationBindingNames(name, bindings) {
+    if (ts.isIdentifier(name)) {
+        bindings.add(`${name.text}.mutate`);
+        bindings.add(`${name.text}.mutateAsync`);
+        return true;
+    }
+    const destructured = ts.isObjectBindingPattern(name)
+        ? name.elements.filter((element) => ts.isIdentifier(element.name) &&
+            MUTATION_PROPERTY_NAMES.has(element.propertyName?.getText() ?? element.name.text))
+        : [];
+    for (const element of destructured) {
+        bindings.add(element.name.getText());
+    }
+    return destructured.length > 0;
+}
+//# sourceMappingURL=owner-bindings.js.map