legend-doctor 0.1.0

package/dist/src/rules/effect-drafts/draft-render-cuts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"draft-render-cuts.d.ts","sourceRoot":"","sources":["../../../../src/rules/effect-drafts/draft-render-cuts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAwB,WAAW,EAAkB,MAAM,YAAY,CAAC;AACpF,OAAO,KAAK,EAAE,cAAc,EAAc,MAAM,yBAAyB,CAAC;AAoB1E,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,SAAS,cAAc,EAAE,GAAG,OAAO,CAgBjG"}

package/dist/src/rules/effect-drafts/draft-render-cuts.js

@@ -0,0 +1,115 @@
+import { isSafeJsxProjectionReference, jsxElementCount, jsxElementCountIn, lowestCommonJsxSubtree, } from "../state-proofs/jsx-subtrees.js";
+import { nearestNestedFunction, nodeWithin, visitSkippingNestedRuntimeFunctions, } from "../../core/ast.js";
+import { hasDirectJsxEventSetter } from "./draft-mutations.js";
+import ts from "typescript";
+const MIN_OWNER_JSX = 12;
+const MAX_CUT_SHARE = 0.4;
+export function hasDraftRenderCut(draft, members) {
+    if (members.length === 1 && draft.context.siblingRenderCuts.has(members[0])) {
+        return true;
+    }
+    const ownerJsx = jsxElementCount(draft.owner);
+    const usages = members.map((member) => draft.context.usageByState.get(member));
+    if (hasLocalRenderCutWitness(draft, members, ownerJsx)) {
+        return true;
+    }
+    if (ownerJsx >= MIN_OWNER_JSX &&
+        usages.every((usage) => usage && draftValueTransportsAreBounded(usage, draft.owner, ownerJsx))) {
+        return true;
+    }
+    return hasSharedTransportRenderCut(draft, members, usages);
+}
+function hasLocalRenderCutWitness(draft, members, ownerJsx) {
+    const localCuts = localRenderCuts(draft, members, ownerJsx);
+    if (!localCuts || !draft.owner.body) {
+        return false;
+    }
+    const returned = draft.context.proofs.uniqueReturnedExpression(draft.owner);
+    return (returned !== null &&
+        draft.context.proofs.hasIndependentRenderCutWitness({
+            excluded: localCuts,
+            localComponents: draft.context.localComponents,
+            returned,
+            sourceComponents: draft.context.sourceComponents,
+        }));
+}
+function localRenderCuts(draft, members, ownerJsx) {
+    const cuts = [];
+    for (const member of members) {
+        const cut = memberRenderCut(member, draft, ownerJsx);
+        if (!cut) {
+            return null;
+        }
+        cuts.push(cut);
+    }
+    return cuts;
+}
+function memberRenderCut(member, draft, ownerJsx) {
+    const usage = draft.context.usageByState.get(member);
+    if (!usage || !memberRenderReadsAreDirect(usage, member, draft.owner)) {
+        return null;
+    }
+    const cut = lowestCommonJsxSubtree(usage.directRenderNodes, draft.owner);
+    return cut && jsxElementCountIn(cut) / ownerJsx <= MAX_CUT_SHARE ? cut : null;
+}
+function memberRenderReadsAreDirect(usage, member, owner) {
+    const directSetterRead = hasDirectJsxEventSetter(member) ? 1 : 0;
+    return (usage.transportedOccurrences === 0 &&
+        usage.directRenderNodes.length > 0 &&
+        usage.localRenderReads === usage.directRenderNodes.length + directSetterRead &&
+        usage.directRenderNodes.every((node) => nearestNestedFunction(node, owner) === null && isSafeJsxProjectionReference(node, owner)));
+}
+function hasSharedTransportRenderCut(draft, members, usages) {
+    if (usages.some((usage) => !usage || usage.localRenderReads > 0)) {
+        return false;
+    }
+    const sites = usages.map((usage) => usage?.valueTransportSites);
+    const [first] = sites;
+    const site = first?.size === 1 ? [...first][0] : undefined;
+    if (site === undefined ||
+        !sites.every((value) => value !== undefined && value.size === 1 && [...value][0] === site)) {
+        return false;
+    }
+    const usage = draft.context.usageByState.get(members[0]);
+    const callSite = usage
+        ? draft.context.proofs.directUniqueReturnCallSite(usage, draft.owner)
+        : null;
+    return callSite !== null && hasIndependentSiblingSubtree(callSite);
+}
+function hasIndependentSiblingSubtree(callSite) {
+    const target = callSite.opening;
+    const targetSubtree = ts.isJsxOpeningElement(target) ? target.parent : target;
+    let independent = false;
+    visitSkippingNestedRuntimeFunctions(callSite.returned, (node) => {
+        if (independent ||
+            (!ts.isJsxOpeningElement(node) && !ts.isJsxSelfClosingElement(node)) ||
+            node === target) {
+            return;
+        }
+        const subtree = ts.isJsxOpeningElement(node) ? node.parent : node;
+        independent = !nodeWithin(subtree, targetSubtree) && !nodeWithin(targetSubtree, subtree);
+    });
+    return independent;
+}
+function draftValueTransportsAreBounded(usage, owner, ownerJsx) {
+    const { body } = owner;
+    if (!body) {
+        return false;
+    }
+    for (const site of usage.valueTransportSites) {
+        let target = null;
+        visitSkippingNestedRuntimeFunctions(body, (node) => {
+            if (target ||
+                (!ts.isJsxOpeningElement(node) && !ts.isJsxSelfClosingElement(node)) ||
+                node.getStart() !== site) {
+                return;
+            }
+            target = ts.isJsxOpeningElement(node) ? node.parent : node;
+        });
+        if (!target || jsxElementCountIn(target) / ownerJsx > MAX_CUT_SHARE) {
+            return false;
+        }
+    }
+    return true;
+}
+//# sourceMappingURL=draft-render-cuts.js.map

package/dist/src/rules/effect-drafts/draft-render-cuts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"draft-render-cuts.js","sourceRoot":"","sources":["../../../../src/rules/effect-drafts/draft-render-cuts.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,4BAA4B,EAC5B,eAAe,EACf,iBAAiB,EACjB,sBAAsB,GACvB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,qBAAqB,EACrB,UAAU,EACV,mCAAmC,GACpC,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAC/D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,aAAa,GAAG,EAAE,CAAC;AAEzB,MAAM,aAAa,GAAG,GAAG,CAAC;AAE1B,MAAM,UAAU,iBAAiB,CAAC,KAAkB,EAAE,OAAkC;IACtF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC;QAC7E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/E,IAAI,wBAAwB,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC;QACvD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IACE,QAAQ,IAAI,aAAa;QACzB,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,IAAI,8BAA8B,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,EAC9F,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,2BAA2B,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAAkB,EAClB,OAAkC,EAClC,QAAgB;IAEhB,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC5D,IAAI,CAAC,SAAS,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACpC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,wBAAwB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC5E,OAAO,CACL,QAAQ,KAAK,IAAI;QACjB,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,8BAA8B,CAAC;YAClD,QAAQ,EAAE,SAAS;YACnB,eAAe,EAAE,KAAK,CAAC,OAAO,CAAC,eAAe;YAC9C,QAAQ;YACR,gBAAgB,EAAE,KAAK,CAAC,OAAO,CAAC,gBAAgB;SACjD,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,KAAkB,EAClB,OAAkC,EAClC,QAAgB;IAEhB,MAAM,IAAI,GAAqB,EAAE,CAAC;IAClC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,eAAe,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;QACrD,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,eAAe,CACtB,MAAsB,EACtB,KAAkB,EAClB,QAAgB;IAEhB,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACrD,IAAI,CAAC,KAAK,IAAI,CAAC,0BAA0B,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACtE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,GAAG,GAAG,sBAAsB,CAAC,KAAK,CAAC,iBAAiB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACzE,OAAO,GAAG,IAAI,iBAAiB,CAAC,GAAG,CAAC,GAAG,QAAQ,IAAI,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;AAChF,CAAC;AAED,SAAS,0BAA0B,CACjC,KAAiB,EACjB,MAAsB,EACtB,KAA0B;IAE1B,MAAM,gBAAgB,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,OAAO,CACL,KAAK,CAAC,sBAAsB,KAAK,CAAC;QAClC,KAAK,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC;QAClC,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,iBAAiB,CAAC,MAAM,GAAG,gBAAgB;QAC5E,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAC3B,CAAC,IAAI,EAAE,EAAE,CACP,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,IAAI,IAAI,4BAA4B,CAAC,IAAI,EAAE,KAAK,CAAC,CAC3F,CACF,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAClC,KAAkB,EAClB,OAAkC,EAClC,MAA2C;IAE3C,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,KAAK,CAAC,gBAAgB,GAAG,CAAC,CAAC,EAAE,CAAC;QACjE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC;IAChE,MAAM,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;IACtB,MAAM,IAAI,GAAG,KAAK,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3D,IACE,IAAI,KAAK,SAAS;QAClB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,EAC1F,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC;IAC1D,MAAM,QAAQ,GAAG,KAAK;QACpB,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,0BAA0B,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;QACrE,CAAC,CAAC,IAAI,CAAC;IACT,OAAO,QAAQ,KAAK,IAAI,IAAI,4BAA4B,CAAC,QAAQ,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,4BAA4B,CAAC,QAA8B;IAClE,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC;IAChC,MAAM,aAAa,GAAY,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;IACvF,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,mCAAmC,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE;QAC9D,IACE,WAAW;YACX,CAAC,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC;YACpE,IAAI,KAAK,MAAM,EACf,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,OAAO,GAAY,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3E,WAAW,GAAG,CAAC,UAAU,CAAC,OAAO,EAAE,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC;IACH,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,8BAA8B,CACrC,KAAiB,EACjB,KAA0B,EAC1B,QAAgB;IAEhB,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACvB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,mBAAmB,EAAE,CAAC;QAC7C,IAAI,MAAM,GAA0B,IAAI,CAAC;QACzC,mCAAmC,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACjD,IACE,MAAM;gBACN,CAAC,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC;gBACpE,IAAI,CAAC,QAAQ,EAAE,KAAK,IAAI,EACxB,CAAC;gBACD,OAAO;YACT,CAAC;YACD,MAAM,GAAG,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;QAC7D,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,MAAM,IAAI,iBAAiB,CAAC,MAAM,CAAC,GAAG,QAAQ,GAAG,aAAa,EAAE,CAAC;YACpE,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/src/rules/effect-drafts/draft-setter-statements.d.ts

@@ -0,0 +1,4 @@
+import type { StateCandidate } from "../../analysis/model.js";
+import ts from "typescript";
+export declare function synchronousDraftSetters(callback: ts.ArrowFunction | ts.FunctionExpression, stateBySetter: ReadonlyMap<string, StateCandidate>): readonly StateCandidate[] | null;
+//# sourceMappingURL=draft-setter-statements.d.ts.map

package/dist/src/rules/effect-drafts/draft-setter-statements.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"draft-setter-statements.d.ts","sourceRoot":"","sources":["../../../../src/rules/effect-drafts/draft-setter-statements.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAE9D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,kBAAkB,EAClD,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,GACjD,SAAS,cAAc,EAAE,GAAG,IAAI,CASlC"}

package/dist/src/rules/effect-drafts/draft-setter-statements.js

@@ -0,0 +1,44 @@
+import { callbackHasCleanup } from "../effects/effects.js";
+import ts from "typescript";
+export function synchronousDraftSetters(callback, stateBySetter) {
+    if (!ts.isBlock(callback.body) || callbackHasCleanup(callback, stateBySetter)) {
+        return null;
+    }
+    const members = new Set();
+    const synchronous = callback.body.statements.every((statement) => isDraftStatement(statement, stateBySetter, members));
+    return synchronous ? [...members] : null;
+}
+function isDraftStatement(statement, stateBySetter, members) {
+    if (ts.isBlock(statement)) {
+        return statement.statements.every((child) => isDraftStatement(child, stateBySetter, members));
+    }
+    if (ts.isIfStatement(statement)) {
+        return (isDraftStatement(statement.thenStatement, stateBySetter, members) &&
+            (!statement.elseStatement ||
+                isDraftStatement(statement.elseStatement, stateBySetter, members)));
+    }
+    if (ts.isReturnStatement(statement)) {
+        return statement.expression === undefined;
+    }
+    return isDraftSetterStatement(statement, stateBySetter, members);
+}
+function isDraftSetterStatement(statement, stateBySetter, members) {
+    if (!ts.isExpressionStatement(statement) || !ts.isCallExpression(statement.expression)) {
+        return false;
+    }
+    const call = statement.expression;
+    const [argument] = call.arguments;
+    const state = ts.isIdentifier(call.expression)
+        ? stateBySetter.get(call.expression.text)
+        : undefined;
+    if (!state ||
+        call.arguments.length !== 1 ||
+        !argument ||
+        ts.isArrowFunction(argument) ||
+        ts.isFunctionExpression(argument)) {
+        return false;
+    }
+    members.add(state);
+    return true;
+}
+//# sourceMappingURL=draft-setter-statements.js.map

package/dist/src/rules/effect-drafts/draft-setter-statements.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"draft-setter-statements.js","sourceRoot":"","sources":["../../../../src/rules/effect-drafts/draft-setter-statements.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,uBAAuB,CACrC,QAAkD,EAClD,aAAkD;IAElD,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,kBAAkB,CAAC,QAAQ,EAAE,aAAa,CAAC,EAAE,CAAC;QAC9E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,WAAW,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,EAAE,CAC/D,gBAAgB,CAAC,SAAS,EAAE,aAAa,EAAE,OAAO,CAAC,CACpD,CAAC;IACF,OAAO,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3C,CAAC;AAED,SAAS,gBAAgB,CACvB,SAAuB,EACvB,aAAkD,EAClD,OAA4B;IAE5B,IAAI,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1B,OAAO,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,gBAAgB,CAAC,KAAK,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC,CAAC;IAChG,CAAC;IACD,IAAI,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC;QAChC,OAAO,CACL,gBAAgB,CAAC,SAAS,CAAC,aAAa,EAAE,aAAa,EAAE,OAAO,CAAC;YACjE,CAAC,CAAC,SAAS,CAAC,aAAa;gBACvB,gBAAgB,CAAC,SAAS,CAAC,aAAa,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC,CACrE,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,CAAC;QACpC,OAAO,SAAS,CAAC,UAAU,KAAK,SAAS,CAAC;IAC5C,CAAC;IACD,OAAO,sBAAsB,CAAC,SAAS,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,sBAAsB,CAC7B,SAAuB,EACvB,aAAkD,EAClD,OAA4B;IAE5B,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;QACvF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,SAAS,CAAC,UAAU,CAAC;IAClC,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;IAClC,MAAM,KAAK,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAC5C,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QACzC,CAAC,CAAC,SAAS,CAAC;IACd,IACE,CAAC,KAAK;QACN,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAC3B,CAAC,QAAQ;QACT,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC;QAC5B,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EACjC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACnB,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/src/rules/effect-drafts/effect-drafts.d.ts

@@ -0,0 +1,16 @@
+import type { EffectDraftAnalysis, EffectDraftProofs, EffectDraftScope } from "./model.js";
+import type { EffectCandidate, StateCandidate, StateUsage } from "../../analysis/model.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+export interface EffectDraftSearch {
+    readonly effects: readonly EffectCandidate[];
+    readonly localComponents: ReadonlySet<string>;
+    readonly proofs: EffectDraftProofs;
+    readonly scopes: ReadonlyMap<RuntimeFunctionLike, EffectDraftScope>;
+    readonly siblingRenderCuts: ReadonlyMap<StateCandidate, unknown>;
+    readonly sourceComponents: ReadonlySet<string>;
+    readonly states: readonly StateCandidate[];
+    readonly usageByState: ReadonlyMap<StateCandidate, StateUsage>;
+}
+export declare function findEffectSynchronizedDrafts({ effects, localComponents, proofs, scopes, siblingRenderCuts, sourceComponents, states, usageByState, }: EffectDraftSearch): EffectDraftAnalysis;
+export declare function hasLazyStateInitializer(state: StateCandidate): boolean;
+//# sourceMappingURL=effect-drafts.d.ts.map

package/dist/src/rules/effect-drafts/effect-drafts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-drafts.d.ts","sourceRoot":"","sources":["../../../../src/rules/effect-drafts/effect-drafts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAKV,mBAAmB,EAEnB,iBAAiB,EACjB,gBAAgB,EACjB,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAU3F,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAM7D,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;IAC7C,QAAQ,CAAC,eAAe,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC9C,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,mBAAmB,EAAE,gBAAgB,CAAC,CAAC;IACpE,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;IACjE,QAAQ,CAAC,gBAAgB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC/C,QAAQ,CAAC,MAAM,EAAE,SAAS,cAAc,EAAE,CAAC;IAC3C,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;CAChE;AAED,wBAAgB,4BAA4B,CAAC,EAC3C,OAAO,EACP,eAAe,EACf,MAAM,EACN,MAAM,EACN,iBAAiB,EACjB,gBAAgB,EAChB,MAAM,EACN,YAAY,GACb,EAAE,iBAAiB,GAAG,mBAAmB,CA0BzC;AAkFD,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,cAAc,GAAG,OAAO,CAMtE"}

package/dist/src/rules/effect-drafts/effect-drafts.js

@@ -0,0 +1,100 @@
+import { draftEditProof, hasExternalCompanionWrites, stateIsWrittenOnlyByEffect, } from "./draft-mutations.js";
+import { hasStaleUseCallbackCapture, stateControlsHookOrRepeatedBoundary, } from "./member-boundary-controls.js";
+import { hasDraftRenderCut } from "./draft-render-cuts.js";
+import { stateMayHoldCallable } from "../state-proofs/state-proofs.js";
+import { synchronousDraftSetters } from "./draft-setter-statements.js";
+import ts from "typescript";
+export function findEffectSynchronizedDrafts({ effects, localComponents, proofs, scopes, siblingRenderCuts, sourceComponents, states, usageByState, }) {
+    const context = {
+        effects,
+        localComponents,
+        proofs,
+        siblingRenderCuts,
+        sourceComponents,
+        states,
+        usageByState,
+    };
+    const analysis = {
+        clusters: new Map(),
+        effects: new Set(),
+        singletons: new Set(),
+    };
+    for (const effect of effects) {
+        const match = synchronizedDraftMatch(effect, scopes, context);
+        if (match) {
+            recordDraftCluster(analysis, match);
+        }
+    }
+    return {
+        clusters: analysis.clusters,
+        effects: analysis.effects,
+        singletons: analysis.singletons,
+    };
+}
+function synchronizedDraftMatch(effect, scopes, context) {
+    const { callback, dependencies, owner } = effect;
+    if (!owner || !callback || !dependencies || dependencies.elements.length === 0) {
+        return null;
+    }
+    const scope = scopes.get(owner);
+    const members = scope ? synchronousDraftSetters(callback, scope.bySetter) : null;
+    if (!members || members.length === 0 || context.proofs.isCustomHookOwner(owner)) {
+        return null;
+    }
+    const draft = { callback, context, effect, owner };
+    return isCompleteDraftCluster(draft, members) ? { draft, members } : null;
+}
+function isCompleteDraftCluster(draft, members) {
+    const ownerSetters = new Set(draft.context.states.flatMap((state) => state.owner === draft.owner && state.setterName ? [state.setterName] : []));
+    const editProofs = members.map((state) => draftEditProof(state, draft, ownerSetters));
+    if (!members.every((state) => isCompleteDraftMember(state, draft)) ||
+        !editProofs.every((proof) => proof.reachable) ||
+        !editProofs.some((proof) => proof.independent)) {
+        return false;
+    }
+    return !hasExternalCompanionWrites(draft, members) && hasDraftRenderCut(draft, members);
+}
+function isCompleteDraftMember(state, draft) {
+    const usage = draft.context.usageByState.get(state);
+    return (usage !== undefined &&
+        stateIsWrittenOnlyByEffect(usage, draft.effect, draft.context.effects) &&
+        usage.setterReferences > usage.effectWrites &&
+        usage.effectReads === 0 &&
+        !hasStaleUseCallbackCapture(state) &&
+        usage.localRenderReads + usage.transportedOccurrences > 0 &&
+        !usage.shadowed &&
+        !usage.escaped &&
+        !stateMayHoldCallable(state) &&
+        !stateControlsHookOrRepeatedBoundary(state));
+}
+function recordDraftCluster(analysis, match) {
+    analysis.effects.add(match.draft.effect);
+    const ordered = [...match.members].toSorted((left, right) => left.call.getStart() - right.call.getStart());
+    if (ordered.length === 1) {
+        analysis.singletons.add(ordered[0]);
+        return;
+    }
+    const cluster = draftCluster(match.draft, ordered);
+    for (const state of ordered) {
+        analysis.clusters.set(state, cluster);
+    }
+}
+function draftCluster(draft, ordered) {
+    const names = ordered.map((state) => `\`${state.valueName}\``).join(", ");
+    const initialization = ordered.some((state) => hasLazyStateInitializer(state))
+        ? " Preserve every lazy initializer as a once-only owner snapshot; do not pass it to Legend as a computed function."
+        : "";
+    return {
+        action: "use-observable",
+        id: `state-cluster:effect-draft:${draft.owner.getStart()}:${draft.effect.call.getStart()}`,
+        members: ordered,
+        message: `Replace the effect-synchronized React draft cluster (${names}) with one component-lifetime observable model; preserve the React synchronization effect and its dependencies, assign the draft atomically there, mutate from edit commands, snapshot once at command entry before deferred work, and subscribe only in rendered leaves.${initialization}`,
+        primary: ordered[0],
+    };
+}
+export function hasLazyStateInitializer(state) {
+    const [initializer] = state.call.arguments;
+    return (initializer !== undefined &&
+        (ts.isArrowFunction(initializer) || ts.isFunctionExpression(initializer)));
+}
+//# sourceMappingURL=effect-drafts.js.map

package/dist/src/rules/effect-drafts/effect-drafts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-drafts.js","sourceRoot":"","sources":["../../../../src/rules/effect-drafts/effect-drafts.ts"],"names":[],"mappings":"AAWA,OAAO,EACL,cAAc,EACd,0BAA0B,EAC1B,0BAA0B,GAC3B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,0BAA0B,EAC1B,mCAAmC,GACpC,MAAM,+BAA+B,CAAC;AAEvC,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAC;AACvE,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,MAAM,YAAY,CAAC;AAa5B,MAAM,UAAU,4BAA4B,CAAC,EAC3C,OAAO,EACP,eAAe,EACf,MAAM,EACN,MAAM,EACN,iBAAiB,EACjB,gBAAgB,EAChB,MAAM,EACN,YAAY,GACM;IAClB,MAAM,OAAO,GAAiB;QAC5B,OAAO;QACP,eAAe;QACf,MAAM;QACN,iBAAiB;QACjB,gBAAgB;QAChB,MAAM;QACN,YAAY;KACb,CAAC;IACF,MAAM,QAAQ,GAAyB;QACrC,QAAQ,EAAE,IAAI,GAAG,EAAE;QACnB,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,UAAU,EAAE,IAAI,GAAG,EAAE;KACtB,CAAC;IACF,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,sBAAsB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QAC9D,IAAI,KAAK,EAAE,CAAC;YACV,kBAAkB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACtC,CAAC;IACH,CAAC;IACD,OAAO;QACL,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,UAAU,EAAE,QAAQ,CAAC,UAAU;KAChC,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,MAAuB,EACvB,MAA0D,EAC1D,OAAqB;IAErB,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IACjD,IAAI,CAAC,KAAK,IAAI,CAAC,QAAQ,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAChC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,uBAAuB,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACjF,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;QAChF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAgB,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IAChE,OAAO,sBAAsB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5E,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAkB,EAAE,OAAkC;IACpF,MAAM,YAAY,GAAG,IAAI,GAAG,CAC1B,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CACrC,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAC1E,CACF,CAAC;IACF,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC;IACtF,IACE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,qBAAqB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC9D,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC;QAC7C,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,EAC9C,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CAAC,0BAA0B,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,iBAAiB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;AAC1F,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAqB,EAAE,KAAkB;IACtE,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACpD,OAAO,CACL,KAAK,KAAK,SAAS;QACnB,0BAA0B,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QACtE,KAAK,CAAC,gBAAgB,GAAG,KAAK,CAAC,YAAY;QAC3C,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,CAAC,0BAA0B,CAAC,KAAK,CAAC;QAClC,KAAK,CAAC,gBAAgB,GAAG,KAAK,CAAC,sBAAsB,GAAG,CAAC;QACzD,CAAC,KAAK,CAAC,QAAQ;QACf,CAAC,KAAK,CAAC,OAAO;QACd,CAAC,oBAAoB,CAAC,KAAK,CAAC;QAC5B,CAAC,mCAAmC,CAAC,KAAK,CAAC,CAC5C,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,QAA8B,EAAE,KAAiB;IAC3E,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,QAAQ,CACzC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,CAC9D,CAAC;IACF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC;QACrC,OAAO;IACT,CAAC;IACD,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACnD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACxC,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,KAAkB,EAAE,OAAkC;IAC1E,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,MAAM,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,uBAAuB,CAAC,KAAK,CAAC,CAAC;QAC5E,CAAC,CAAC,kHAAkH;QACpH,CAAC,CAAC,EAAE,CAAC;IACP,OAAO;QACL,MAAM,EAAE,gBAAgB;QACxB,EAAE,EAAE,8BAA8B,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE;QAC1F,OAAO,EAAE,OAAO;QAChB,OAAO,EAAE,wDAAwD,KAAK,4QAA4Q,cAAc,EAAE;QAClW,OAAO,EAAE,OAAO,CAAC,CAAC,CAAE;KACrB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,KAAqB;IAC3D,MAAM,CAAC,WAAW,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC;IAC3C,OAAO,CACL,WAAW,KAAK,SAAS;QACzB,CAAC,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,WAAW,CAAC,CAAC,CAC1E,CAAC;AACJ,CAAC"}

package/dist/src/rules/effect-drafts/member-boundary-controls.d.ts

@@ -0,0 +1,4 @@
+import type { StateCandidate } from "../../analysis/model.js";
+export declare function stateControlsHookOrRepeatedBoundary(state: StateCandidate): boolean;
+export declare function hasStaleUseCallbackCapture(state: StateCandidate): boolean;
+//# sourceMappingURL=member-boundary-controls.d.ts.map

package/dist/src/rules/effect-drafts/member-boundary-controls.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"member-boundary-controls.d.ts","sourceRoot":"","sources":["../../../../src/rules/effect-drafts/member-boundary-controls.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAK9D,wBAAgB,mCAAmC,CAAC,KAAK,EAAE,cAAc,GAAG,OAAO,CA2ClF;AAgGD,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,cAAc,GAAG,OAAO,CAgCzE"}

package/dist/src/rules/effect-drafts/member-boundary-controls.js

@@ -0,0 +1,172 @@
+import { bindingDeclarationCount, hookCallName, isDeclarationName, isNonValueIdentifier, } from "../../core/analysis-ast.js";
+import { findAncestorUntil, nearestNestedFunction, nodeWithin, visit } from "../../core/ast.js";
+import { isJsxNode, isSynchronousRenderCallback } from "../state-proofs/callback-sites.js";
+import { isSafeJsxProjectionReference, nearestRepeatedRenderCall, } from "../state-proofs/jsx-subtrees.js";
+import { expressionDependsOnBinding } from "../state-proofs/binding-lookup.js";
+import { repeatedRenderHasStableItemKey } from "../state-proofs/unique-repeated-selection.js";
+import ts from "typescript";
+export function stateControlsHookOrRepeatedBoundary(state) {
+    let unsafe = false;
+    visit(state.owner.body, (node) => {
+        if (unsafe ||
+            !ts.isIdentifier(node) ||
+            node.text !== state.valueName ||
+            isDeclarationName(node) ||
+            isNonValueIdentifier(node) ||
+            node.parent === state.call.parent) {
+            return;
+        }
+        if (referenceControlsHookOrRepeatedBoundary(node, state.owner)) {
+            unsafe = true;
+            return;
+        }
+        const declaration = findAncestorUntil(node, ts.isVariableDeclaration, state.owner);
+        if (!declaration?.initializer ||
+            !ts.isIdentifier(declaration.name) ||
+            !nodeWithin(node, declaration.initializer) ||
+            !ts.isVariableDeclarationList(declaration.parent) ||
+            (declaration.parent.flags & ts.NodeFlags.Const) === 0 ||
+            bindingDeclarationCount(state.owner, declaration.name.text) !== 1) {
+            return;
+        }
+        const aliasName = declaration.name.text;
+        visit(state.owner.body, (reference) => {
+            if (ts.isIdentifier(reference) &&
+                reference.text === aliasName &&
+                reference !== declaration.name &&
+                !isDeclarationName(reference) &&
+                !isNonValueIdentifier(reference) &&
+                referenceControlsHookOrRepeatedBoundary(reference, state.owner)) {
+                unsafe = true;
+            }
+        });
+    });
+    return unsafe;
+}
+function referenceControlsHookOrRepeatedBoundary(reference, owner) {
+    for (let current = reference.parent; current && current !== owner; current = current.parent) {
+        if (ts.isCallExpression(current) &&
+            isHookCallOtherThan(current, new Set(["useCallback", "useMemo"])) &&
+            current.arguments.some((argument) => nodeWithin(reference, argument))) {
+            return true;
+        }
+        if (ts.isCallExpression(current) &&
+            ["useCallback", "useMemo"].includes(hookCallName(current) ?? "") &&
+            hookResultFeedsLifecycle(current, owner)) {
+            return true;
+        }
+    }
+    const repeated = nearestRepeatedRenderCall(reference, owner);
+    const repeatedOwner = repeated ? nearestNestedFunction(repeated, owner) : null;
+    if (repeated &&
+        (!repeatedOwner || isSynchronousRenderCallback(repeatedOwner)) &&
+        ((!findAncestorUntil(reference, isJsxNode, repeated) &&
+            !isOneHopKeyedRenderAlias(reference, repeated)) ||
+            expressionControlsRepeatedItems(reference, repeated))) {
+        return true;
+    }
+    return (nearestNestedFunction(reference, owner) === null &&
+        !findAncestorUntil(reference, isJsxNode, owner) &&
+        findAncestorUntil(reference, ts.isIfStatement, owner) !== null);
+}
+function isOneHopKeyedRenderAlias(reference, repeated) {
+    const [callback] = repeated.arguments;
+    if (!callback ||
+        (!ts.isArrowFunction(callback) && !ts.isFunctionExpression(callback)) ||
+        !repeatedRenderHasStableItemKey(callback)) {
+        return false;
+    }
+    const declaration = findAncestorUntil(reference, ts.isVariableDeclaration, callback);
+    const binding = callback.parameters[0]?.name;
+    if (!binding ||
+        !declaration?.initializer ||
+        !ts.isIdentifier(declaration.name) ||
+        !nodeWithin(reference, declaration.initializer) ||
+        !ts.isVariableDeclarationList(declaration.parent) ||
+        (declaration.parent.flags & ts.NodeFlags.Const) === 0 ||
+        bindingDeclarationCount(callback, declaration.name.text) !== 1 ||
+        !expressionDependsOnBinding(declaration.initializer, binding, callback)) {
+        return false;
+    }
+    return aliasStaysInKeyedRender(declaration.name, { callback, repeated });
+}
+function aliasStaysInKeyedRender(declarationName, scope) {
+    let found = false;
+    let safe = true;
+    visit(scope.callback.body, (node) => {
+        if (!safe ||
+            !ts.isIdentifier(node) ||
+            node.text !== declarationName.text ||
+            node === declarationName ||
+            isDeclarationName(node) ||
+            isNonValueIdentifier(node)) {
+            return;
+        }
+        found = true;
+        safe =
+            nearestRepeatedRenderCall(node, scope.repeated.parent) === scope.repeated &&
+                findAncestorUntil(node, isJsxNode, scope.repeated) !== null &&
+                isSafeJsxProjectionReference(node, scope.callback);
+    });
+    return found && safe;
+}
+export function hasStaleUseCallbackCapture(state) {
+    let stale = false;
+    visit(state.owner.body, (node) => {
+        if (stale ||
+            !ts.isIdentifier(node) ||
+            node.text !== state.valueName ||
+            isDeclarationName(node) ||
+            isNonValueIdentifier(node) ||
+            node.parent === state.call.parent) {
+            return;
+        }
+        const callback = nearestNestedFunction(node, state.owner);
+        const call = callback?.parent;
+        if (callback &&
+            call &&
+            ts.isCallExpression(call) &&
+            hookCallName(call) === "useCallback" &&
+            call.arguments[0] === callback) {
+            const [, dependencies] = call.arguments;
+            stale =
+                !dependencies ||
+                    !ts.isArrayLiteralExpression(dependencies) ||
+                    !dependencies.elements.some((element) => ts.isIdentifier(element) && element.text === state.valueName);
+        }
+    });
+    return stale;
+}
+function hookResultFeedsLifecycle(call, owner) {
+    const declaration = findAncestorUntil(call, ts.isVariableDeclaration, owner);
+    if (!declaration || declaration.initializer !== call || !ts.isIdentifier(declaration.name)) {
+        return true;
+    }
+    const name = declaration.name.text;
+    let feedsLifecycle = false;
+    visit(owner.body, (node) => {
+        if (feedsLifecycle || !ts.isIdentifier(node) || node.text !== name || isDeclarationName(node)) {
+            return;
+        }
+        for (let current = node.parent; current && current !== owner; current = current.parent) {
+            if (ts.isCallExpression(current) &&
+                isHookCallOtherThan(current, new Set(["useCallback", "useMemo"])) &&
+                current.arguments.some((argument) => nodeWithin(node, argument))) {
+                feedsLifecycle = true;
+                return;
+            }
+        }
+    });
+    return feedsLifecycle;
+}
+function isHookCallOtherThan(call, allowed) {
+    const name = hookCallName(call);
+    return name !== null && /^use[A-Z0-9]/u.test(name) && !allowed.has(name);
+}
+function expressionControlsRepeatedItems(node, repeated) {
+    const receiver = ts.isPropertyAccessExpression(repeated.expression)
+        ? repeated.expression.expression
+        : null;
+    return receiver !== null && nodeWithin(node, receiver);
+}
+//# sourceMappingURL=member-boundary-controls.js.map

package/dist/src/rules/effect-drafts/member-boundary-controls.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"member-boundary-controls.js","sourceRoot":"","sources":["../../../../src/rules/effect-drafts/member-boundary-controls.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EACvB,YAAY,EACZ,iBAAiB,EACjB,oBAAoB,GACrB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAChG,OAAO,EAAE,SAAS,EAAE,2BAA2B,EAAE,MAAM,mCAAmC,CAAC;AAC3F,OAAO,EACL,4BAA4B,EAC5B,yBAAyB,GAC1B,MAAM,iCAAiC,CAAC;AAGzC,OAAO,EAAE,0BAA0B,EAAE,MAAM,mCAAmC,CAAC;AAC/E,OAAO,EAAE,8BAA8B,EAAE,MAAM,8CAA8C,CAAC;AAC9F,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,mCAAmC,CAAC,KAAqB;IACvE,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC/B,IACE,MAAM;YACN,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,SAAS;YAC7B,iBAAiB,CAAC,IAAI,CAAC;YACvB,oBAAoB,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,IAAI,CAAC,MAAM,EACjC,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,uCAAuC,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/D,MAAM,GAAG,IAAI,CAAC;YACd,OAAO;QACT,CAAC;QACD,MAAM,WAAW,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,qBAAqB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACnF,IACE,CAAC,WAAW,EAAE,WAAW;YACzB,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC;YAClC,CAAC,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,WAAW,CAAC;YAC1C,CAAC,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC,MAAM,CAAC;YACjD,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;YACrD,uBAAuB,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EACjE,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;QACxC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,SAAS,EAAE,EAAE;YACpC,IACE,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC;gBAC1B,SAAS,CAAC,IAAI,KAAK,SAAS;gBAC5B,SAAS,KAAK,WAAW,CAAC,IAAI;gBAC9B,CAAC,iBAAiB,CAAC,SAAS,CAAC;gBAC7B,CAAC,oBAAoB,CAAC,SAAS,CAAC;gBAChC,uCAAuC,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,EAC/D,CAAC;gBACD,MAAM,GAAG,IAAI,CAAC;YAChB,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,uCAAuC,CAC9C,SAAwB,EACxB,KAA0B;IAE1B,KACE,IAAI,OAAO,GAAwB,SAAS,CAAC,MAAM,EACnD,OAAO,IAAI,OAAO,KAAK,KAAK,EAC5B,OAAO,GAAG,OAAO,CAAC,MAAM,EACxB,CAAC;QACD,IACE,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;YAC5B,mBAAmB,CAAC,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC,CAAC;YACjE,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,EACrE,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IACE,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;YAC5B,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;YAChE,wBAAwB,CAAC,OAAO,EAAE,KAAK,CAAC,EACxC,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,yBAAyB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IAC7D,MAAM,aAAa,GAAG,QAAQ,CAAC,CAAC,CAAC,qBAAqB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/E,IACE,QAAQ;QACR,CAAC,CAAC,aAAa,IAAI,2BAA2B,CAAC,aAAa,CAAC,CAAC;QAC9D,CAAC,CAAC,CAAC,iBAAiB,CAAC,SAAS,EAAE,SAAS,EAAE,QAAQ,CAAC;YAClD,CAAC,wBAAwB,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;YAC/C,+BAA+B,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,EACvD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CACL,qBAAqB,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,IAAI;QAChD,CAAC,iBAAiB,CAAC,SAAS,EAAE,SAAS,EAAE,KAAK,CAAC;QAC/C,iBAAiB,CAAC,SAAS,EAAE,EAAE,CAAC,aAAa,EAAE,KAAK,CAAC,KAAK,IAAI,CAC/D,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAAC,SAAwB,EAAE,QAA2B;IACrF,MAAM,CAAC,QAAQ,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC;IACtC,IACE,CAAC,QAAQ;QACT,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QACrE,CAAC,8BAA8B,CAAC,QAAQ,CAAC,EACzC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,WAAW,GAAG,iBAAiB,CAAC,SAAS,EAAE,EAAE,CAAC,qBAAqB,EAAE,QAAQ,CAAC,CAAC;IACrF,MAAM,OAAO,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;IAC7C,IACE,CAAC,OAAO;QACR,CAAC,WAAW,EAAE,WAAW;QACzB,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC;QAClC,CAAC,UAAU,CAAC,SAAS,EAAE,WAAW,CAAC,WAAW,CAAC;QAC/C,CAAC,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC,MAAM,CAAC;QACjD,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;QACrD,uBAAuB,CAAC,QAAQ,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;QAC9D,CAAC,0BAA0B,CAAC,WAAW,CAAC,WAAW,EAAE,OAAO,EAAE,QAAQ,CAAC,EACvE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,uBAAuB,CAAC,WAAW,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,uBAAuB,CAC9B,eAA8B,EAC9B,KAA0F;IAE1F,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAClC,IACE,CAAC,IAAI;YACL,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,KAAK,eAAe,CAAC,IAAI;YAClC,IAAI,KAAK,eAAe;YACxB,iBAAiB,CAAC,IAAI,CAAC;YACvB,oBAAoB,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,OAAO;QACT,CAAC;QACD,KAAK,GAAG,IAAI,CAAC;QACb,IAAI;YACF,yBAAyB,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,KAAK,CAAC,QAAQ;gBACzE,iBAAiB,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,QAAQ,CAAC,KAAK,IAAI;gBAC3D,4BAA4B,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,IAAI,IAAI,CAAC;AACvB,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,KAAqB;IAC9D,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC/B,IACE,KAAK;YACL,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,SAAS;YAC7B,iBAAiB,CAAC,IAAI,CAAC;YACvB,oBAAoB,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,IAAI,CAAC,MAAM,EACjC,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QAC1D,MAAM,IAAI,GAAG,QAAQ,EAAE,MAAM,CAAC;QAC9B,IACE,QAAQ;YACR,IAAI;YACJ,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACzB,YAAY,CAAC,IAAI,CAAC,KAAK,aAAa;YACpC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,QAAQ,EAC9B,CAAC;YACD,MAAM,CAAC,EAAE,YAAY,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;YACxC,KAAK;gBACH,CAAC,YAAY;oBACb,CAAC,EAAE,CAAC,wBAAwB,CAAC,YAAY,CAAC;oBAC1C,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CACzB,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,CAAC,SAAS,CAC1E,CAAC;QACN,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,wBAAwB,CAAC,IAAuB,EAAE,KAA0B;IACnF,MAAM,WAAW,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,qBAAqB,EAAE,KAAK,CAAC,CAAC;IAC7E,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,WAAW,KAAK,IAAI,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3F,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;IACnC,IAAI,cAAc,GAAG,KAAK,CAAC;IAC3B,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IAAI,cAAc,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9F,OAAO;QACT,CAAC;QACD,KACE,IAAI,OAAO,GAAwB,IAAI,CAAC,MAAM,EAC9C,OAAO,IAAI,OAAO,KAAK,KAAK,EAC5B,OAAO,GAAG,OAAO,CAAC,MAAM,EACxB,CAAC;YACD,IACE,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;gBAC5B,mBAAmB,CAAC,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC,CAAC;gBACjE,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,EAChE,CAAC;gBACD,cAAc,GAAG,IAAI,CAAC;gBACtB,OAAO;YACT,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,cAAc,CAAC;AACxB,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAuB,EAAE,OAA4B;IAChF,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAChC,OAAO,IAAI,KAAK,IAAI,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,+BAA+B,CAAC,IAAa,EAAE,QAA2B;IACjF,MAAM,QAAQ,GAAG,EAAE,CAAC,0BAA0B,CAAC,QAAQ,CAAC,UAAU,CAAC;QACjE,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,UAAU;QAChC,CAAC,CAAC,IAAI,CAAC;IACT,OAAO,QAAQ,KAAK,IAAI,IAAI,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;AACzD,CAAC"}

package/dist/src/rules/effect-drafts/model.d.ts

@@ -0,0 +1,68 @@
+import type { EffectCandidate, StateCandidate, StateUsage } from "../../analysis/model.js";
+import type { RenderCutWitnessQuery } from "../state-proofs/render-cut-witness.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import type ts from "typescript";
+export interface EffectDraftScope {
+    bySetter: ReadonlyMap<string, StateCandidate>;
+}
+export interface EffectDraftCluster {
+    action: "use-observable";
+    id: string;
+    members: readonly StateCandidate[];
+    message: string;
+    primary: StateCandidate;
+}
+export interface EffectDraftAnalysis {
+    clusters: ReadonlyMap<StateCandidate, EffectDraftCluster>;
+    effects: ReadonlySet<EffectCandidate>;
+    singletons: ReadonlySet<StateCandidate>;
+}
+export type JsxSubtreeNode = ts.JsxElement | ts.JsxFragment | ts.JsxSelfClosingElement;
+export interface DirectReturnCallSite {
+    opening: ts.JsxOpeningElement | ts.JsxSelfClosingElement;
+    returned: ts.Expression;
+}
+/**
+ * Shared structural proofs owned by the analyzer rather than this rule family.
+ * Keeping them explicit prevents effect-draft logic from depending on application
+ * names or path-specific exceptions while avoiding duplicate AST algorithms.
+ */
+export interface EffectDraftProofs {
+    directUniqueReturnCallSite: (usage: StateUsage, owner: RuntimeFunctionLike) => DirectReturnCallSite | null;
+    hasIndependentRenderCutWitness: (query: RenderCutWitnessQuery) => boolean;
+    isCustomHookOwner: (owner: RuntimeFunctionLike) => boolean;
+    nearestMutationFunction: (node: ts.Node, owner: RuntimeFunctionLike) => RuntimeFunctionLike;
+    setterMutationsCanCooccur: (left: ts.CallExpression, right: ts.CallExpression, region: RuntimeFunctionLike) => boolean;
+    uniqueReturnedExpression: (owner: RuntimeFunctionLike) => ts.Expression | null;
+}
+/** Inputs shared by every effect the draft search visits. */
+export interface DraftContext {
+    effects: readonly EffectCandidate[];
+    localComponents: ReadonlySet<string>;
+    proofs: EffectDraftProofs;
+    siblingRenderCuts: ReadonlyMap<StateCandidate, unknown>;
+    sourceComponents: ReadonlySet<string>;
+    states: readonly StateCandidate[];
+    usageByState: ReadonlyMap<StateCandidate, StateUsage>;
+}
+export interface DraftEffect {
+    callback: ts.ArrowFunction | ts.FunctionExpression;
+    context: DraftContext;
+    effect: EffectCandidate;
+    owner: RuntimeFunctionLike;
+}
+export interface DraftMatch {
+    draft: DraftEffect;
+    members: readonly StateCandidate[];
+}
+export interface DraftSynchronization {
+    clusters: Map<StateCandidate, EffectDraftCluster>;
+    effects: Set<EffectCandidate>;
+    singletons: Set<StateCandidate>;
+}
+export interface SetterMutation {
+    call: ts.CallExpression;
+    region: RuntimeFunctionLike;
+    state: StateCandidate;
+}
+//# sourceMappingURL=model.d.ts.map

package/dist/src/rules/effect-drafts/model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../../../src/rules/effect-drafts/model.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAC3F,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,uCAAuC,CAAC;AACnF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;CAC/C;AAED,MAAM,WAAW,kBAAkB;IACjC,MAAM,EAAE,gBAAgB,CAAC;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IACnC,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,cAAc,CAAC;CACzB;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,WAAW,CAAC,cAAc,EAAE,kBAAkB,CAAC,CAAC;IAC1D,OAAO,EAAE,WAAW,CAAC,eAAe,CAAC,CAAC;IACtC,UAAU,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;CACzC;AAED,MAAM,MAAM,cAAc,GAAG,EAAE,CAAC,UAAU,GAAG,EAAE,CAAC,WAAW,GAAG,EAAE,CAAC,qBAAqB,CAAC;AAEvF,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,EAAE,CAAC,iBAAiB,GAAG,EAAE,CAAC,qBAAqB,CAAC;IACzD,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC;CACzB;AAED;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC,0BAA0B,EAAE,CAC1B,KAAK,EAAE,UAAU,EACjB,KAAK,EAAE,mBAAmB,KACvB,oBAAoB,GAAG,IAAI,CAAC;IACjC,8BAA8B,EAAE,CAAC,KAAK,EAAE,qBAAqB,KAAK,OAAO,CAAC;IAC1E,iBAAiB,EAAE,CAAC,KAAK,EAAE,mBAAmB,KAAK,OAAO,CAAC;IAC3D,uBAAuB,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,mBAAmB,KAAK,mBAAmB,CAAC;IAC5F,yBAAyB,EAAE,CACzB,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,KAAK,EAAE,EAAE,CAAC,cAAc,EACxB,MAAM,EAAE,mBAAmB,KACxB,OAAO,CAAC;IACb,wBAAwB,EAAE,CAAC,KAAK,EAAE,mBAAmB,KAAK,EAAE,CAAC,UAAU,GAAG,IAAI,CAAC;CAChF;AAED,6DAA6D;AAC7D,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;IACpC,eAAe,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACrC,MAAM,EAAE,iBAAiB,CAAC;IAC1B,iBAAiB,EAAE,WAAW,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;IACxD,gBAAgB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtC,MAAM,EAAE,SAAS,cAAc,EAAE,CAAC;IAClC,YAAY,EAAE,WAAW,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;CACvD;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,kBAAkB,CAAC;IACnD,OAAO,EAAE,YAAY,CAAC;IACtB,MAAM,EAAE,eAAe,CAAC;IACxB,KAAK,EAAE,mBAAmB,CAAC;CAC5B;AAED,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,WAAW,CAAC;IACnB,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;CACpC;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,EAAE,GAAG,CAAC,cAAc,EAAE,kBAAkB,CAAC,CAAC;IAClD,OAAO,EAAE,GAAG,CAAC,eAAe,CAAC,CAAC;IAC9B,UAAU,EAAE,GAAG,CAAC,cAAc,CAAC,CAAC;CACjC;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC;IACxB,MAAM,EAAE,mBAAmB,CAAC;IAC5B,KAAK,EAAE,cAAc,CAAC;CACvB"}

package/dist/src/rules/effect-drafts/model.js

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

package/dist/src/rules/effect-drafts/model.js.map

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

package/dist/src/rules/effects/browser-storage-persistence.d.ts

@@ -0,0 +1,24 @@
+import type { ClassifiedEffect, EffectCandidate } from "../../analysis/model.js";
+import type { DisabledRule, InstalledLegendState } from "../../core/types.js";
+import type { EffectClassificationContext } from "./model.js";
+import type ts from "typescript";
+type EffectRuleGate = Omit<DisabledRule, "files">;
+/** Effect rules the installed toolchain switches off; each falls back to its React-preserving verdict. */
+export declare function disabledEffectRules(legendState: InstalledLegendState | null): readonly EffectRuleGate[];
+/**
+ * Every proven persistence effect call, dependency array included. A persist plugin takes over
+ * the reads inside it, so state proofs evaluate the persisted state as if the effect were gone.
+ */
+export declare function persistenceSinkEffects(effects: readonly EffectCandidate[], legendState: InstalledLegendState | null): ReadonlySet<ts.Node>;
+/**
+ * A persistence effect whose every dependency is an observable-sourced binding already has a
+ * Legend replacement: the persist plugin subscribes to the observable itself.
+ */
+export declare function persistedObservableClassification(effect: EffectCandidate, context: EffectClassificationContext): ClassifiedEffect | null;
+/**
+ * A persistence effect driven by React values stays in React. When it reaches local React state,
+ * the classification carries that state so the final verdict can follow the state's migration.
+ */
+export declare function browserStorageClassification(effect: EffectCandidate, callback: ts.ArrowFunction | ts.FunctionExpression, context: EffectClassificationContext): ClassifiedEffect | null;
+export {};
+//# sourceMappingURL=browser-storage-persistence.d.ts.map

package/dist/src/rules/effects/browser-storage-persistence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"browser-storage-persistence.d.ts","sourceRoot":"","sources":["../../../../src/rules/effects/browser-storage-persistence.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AACjF,OAAO,KAAK,EAAE,YAAY,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAW9E,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,YAAY,CAAC;AAE9D,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,KAAK,cAAc,GAAG,IAAI,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;AAclD,0GAA0G;AAC1G,wBAAgB,mBAAmB,CACjC,WAAW,EAAE,oBAAoB,GAAG,IAAI,GACvC,SAAS,cAAc,EAAE,CAE3B;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,SAAS,eAAe,EAAE,EACnC,WAAW,EAAE,oBAAoB,GAAG,IAAI,GACvC,WAAW,CAAC,EAAE,CAAC,IAAI,CAAC,CAStB;AAED;;;GAGG;AACH,wBAAgB,iCAAiC,CAC/C,MAAM,EAAE,eAAe,EACvB,OAAO,EAAE,2BAA2B,GACnC,gBAAgB,GAAG,IAAI,CAOzB;AAED;;;GAGG;AACH,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,eAAe,EACvB,QAAQ,EAAE,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,kBAAkB,EAClD,OAAO,EAAE,2BAA2B,GACnC,gBAAgB,GAAG,IAAI,CAWzB"}