legend-doctor 0.1.0

package/dist/src/analysis/commands/reactive-mutation-paths.d.ts

@@ -0,0 +1,8 @@
+import type { StateCandidate, StateUsage } from "../model.js";
+export interface ReactiveMutationPathCoverage {
+    readonly all: boolean;
+    readonly any: boolean;
+}
+export declare function setterReactiveMutationPaths(state: StateCandidate, usage: StateUsage, mutationBindings: ReadonlySet<string>): ReactiveMutationPathCoverage;
+export declare function setterCallbackEscapesThroughUnknownHook(state: StateCandidate, usage: StateUsage): boolean;
+//# sourceMappingURL=reactive-mutation-paths.d.ts.map

package/dist/src/analysis/commands/reactive-mutation-paths.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reactive-mutation-paths.d.ts","sourceRoot":"","sources":["../../../../src/analysis/commands/reactive-mutation-paths.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAM9D,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;CACvB;AAED,wBAAgB,2BAA2B,CACzC,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,EACjB,gBAAgB,EAAE,WAAW,CAAC,MAAM,CAAC,GACpC,4BAA4B,CAa9B;AA0CD,wBAAgB,uCAAuC,CACrD,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,GAChB,OAAO,CAoBT"}

package/dist/src/analysis/commands/reactive-mutation-paths.js

@@ -0,0 +1,63 @@
+import { isRuntimeFunctionLike, nodeWithin, visitSkippingNestedFunctions } from "../../core/ast.js";
+import { calleeName } from "../ast-helpers.js";
+import ts from "typescript";
+export function setterReactiveMutationPaths(state, usage, mutationBindings) {
+    let any = false;
+    let all = mutationBindings.size > 0 && usage.setterCallNodes.length > 0;
+    for (const call of usage.setterCallNodes) {
+        const pathHasMutation = mutationBindings.size > 0 &&
+            functionAncestors(call, state.owner).some((ancestor) => functionDirectlyCallsBinding(ancestor, mutationBindings));
+        any ||= pathHasMutation;
+        all &&= pathHasMutation;
+    }
+    return { all, any };
+}
+function functionAncestors(node, owner) {
+    const ancestors = [];
+    for (let current = node.parent; current; current = current.parent) {
+        if (isRuntimeFunctionLike(current)) {
+            ancestors.push(current);
+        }
+        if (current === owner) {
+            break;
+        }
+    }
+    return ancestors;
+}
+function functionDirectlyCallsBinding(fn, bindings) {
+    if (!fn.body) {
+        return false;
+    }
+    let calls = false;
+    visitSkippingNestedFunctions(fn.body, fn, (node) => {
+        if (!ts.isCallExpression(node)) {
+            return;
+        }
+        const { expression } = node;
+        if (ts.isIdentifier(expression) && bindings.has(expression.text)) {
+            calls = true;
+        }
+        if (ts.isPropertyAccessExpression(expression) &&
+            ts.isIdentifier(expression.expression) &&
+            bindings.has(`${expression.expression.text}.${expression.name.text}`)) {
+            calls = true;
+        }
+    });
+    return calls;
+}
+export function setterCallbackEscapesThroughUnknownHook(state, usage) {
+    return usage.setterCallNodes.some((call) => {
+        for (let current = call.parent; current && current !== state.owner; current = current.parent) {
+            const hookName = ts.isCallExpression(current) ? calleeName(current.expression) : null;
+            if (hookName &&
+                /^use[A-Z0-9]/u.test(hookName) &&
+                !["useCallback", "useEffect"].includes(hookName) &&
+                ts.isCallExpression(current) &&
+                current.arguments.some((argument) => nodeWithin(call, argument))) {
+                return true;
+            }
+        }
+        return false;
+    });
+}
+//# sourceMappingURL=reactive-mutation-paths.js.map

package/dist/src/analysis/commands/reactive-mutation-paths.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reactive-mutation-paths.js","sourceRoot":"","sources":["../../../../src/analysis/commands/reactive-mutation-paths.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,qBAAqB,EAAE,UAAU,EAAE,4BAA4B,EAAE,MAAM,mBAAmB,CAAC;AAEpG,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,EAAE,MAAM,YAAY,CAAC;AAO5B,MAAM,UAAU,2BAA2B,CACzC,KAAqB,EACrB,KAAiB,EACjB,gBAAqC;IAErC,IAAI,GAAG,GAAG,KAAK,CAAC;IAChB,IAAI,GAAG,GAAG,gBAAgB,CAAC,IAAI,GAAG,CAAC,IAAI,KAAK,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC;IACxE,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,eAAe,EAAE,CAAC;QACzC,MAAM,eAAe,GACnB,gBAAgB,CAAC,IAAI,GAAG,CAAC;YACzB,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CACrD,4BAA4B,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CACzD,CAAC;QACJ,GAAG,KAAK,eAAe,CAAC;QACxB,GAAG,KAAK,eAAe,CAAC;IAC1B,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AACtB,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAa,EAAE,KAA0B;IAClE,MAAM,SAAS,GAA0B,EAAE,CAAC;IAC5C,KAAK,IAAI,OAAO,GAAwB,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QACvF,IAAI,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;YACnC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1B,CAAC;QACD,IAAI,OAAO,KAAK,KAAK,EAAE,CAAC;YACtB,MAAM;QACR,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,4BAA4B,CACnC,EAAuB,EACvB,QAA6B;IAE7B,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QACb,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,4BAA4B,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE;QACjD,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,OAAO;QACT,CAAC;QACD,MAAM,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC;QAC5B,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACjE,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;QACD,IACE,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC;YACzC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,UAAU,CAAC;YACtC,QAAQ,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC,UAAU,CAAC,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EACrE,CAAC;YACD,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,uCAAuC,CACrD,KAAqB,EACrB,KAAiB;IAEjB,OAAO,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;QACzC,KACE,IAAI,OAAO,GAAwB,IAAI,CAAC,MAAM,EAC9C,OAAO,IAAI,OAAO,KAAK,KAAK,CAAC,KAAK,EAClC,OAAO,GAAG,OAAO,CAAC,MAAM,EACxB,CAAC;YACD,MAAM,QAAQ,GAAG,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACtF,IACE,QAAQ;gBACR,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC;gBAC9B,CAAC,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;gBAChD,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;gBAC5B,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,EAChE,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/src/analysis/commands/self-refreshing-command.d.ts

@@ -0,0 +1,4 @@
+import type { StateCandidate, StateUsage } from "../model.js";
+import type { EffectOwnedCommandScope } from "./effect-owned-presentation.js";
+export declare function isEffectOwnedSelfRefreshingCommandState(state: StateCandidate, usage: StateUsage, { directEffectCalls, imports }: EffectOwnedCommandScope): boolean;
+//# sourceMappingURL=self-refreshing-command.d.ts.map

package/dist/src/analysis/commands/self-refreshing-command.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"self-refreshing-command.d.ts","sourceRoot":"","sources":["../../../../src/analysis/commands/self-refreshing-command.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAO9D,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAC;AA0K9E,wBAAgB,uCAAuC,CACrD,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,EACjB,EAAE,iBAAiB,EAAE,OAAO,EAAE,EAAE,uBAAuB,GACtD,OAAO,CAgBT"}

package/dist/src/analysis/commands/self-refreshing-command.js

@@ -0,0 +1,175 @@
+import { bindingDeclarationCount, isDeclarationName, isNonValueIdentifier, } from "../../core/analysis-ast.js";
+import { findAncestorUntil, nodeWithin, visit } from "../../core/ast.js";
+import { isImportedHookCall } from "../../core/imports.js";
+import { isUniqueConstBindingOf } from "./effect-owned-presentation.js";
+import { localCallbackBindingName } from "../callbacks/local-callbacks.js";
+import { nearestMutationFunction } from "../mutations.js";
+import ts from "typescript";
+function stateHasSoleCommandWrite(usage) {
+    return (usage.setterCallNodes.length === 1 &&
+        usage.setterReferences === 1 &&
+        usage.effectWrites === 0 &&
+        !usage.setterUsesPreviousValue &&
+        usage.localRenderReads === 0 &&
+        usage.transportedOccurrences === 0);
+}
+function memoizedSnapshotReads(state, { factory, memoCall }) {
+    let bodyReads = 0;
+    let dependencyReads = 0;
+    let unsafe = false;
+    const reads = [];
+    visit(state.owner.body, (node) => {
+        if (unsafe || ts.isAwaitExpression(node) || ts.isYieldExpression(node)) {
+            unsafe ||= nodeWithin(node, factory);
+            return;
+        }
+        const site = snapshotReadSite(node, state, { factory, memoCall });
+        dependencyReads += site === "dependency" ? 1 : 0;
+        bodyReads += site === "body" ? 1 : 0;
+        unsafe ||= site === "outside";
+        if (site === "body" && ts.isIdentifier(node)) {
+            reads.push(node);
+        }
+    });
+    return unsafe || bodyReads === 0 || dependencyReads === 0 ? null : { reads };
+}
+function snapshotReadSite(node, state, command) {
+    if (!ts.isIdentifier(node) ||
+        node.text !== state.valueName ||
+        node.parent === state.call.parent ||
+        isDeclarationName(node) ||
+        isNonValueIdentifier(node)) {
+        return "ignored";
+    }
+    return memoizedReadSite(node, command);
+}
+function memoizedReadSite(node, { factory, memoCall }) {
+    const [, dependencies] = memoCall.arguments;
+    if (dependencies && nodeWithin(node, dependencies)) {
+        return "dependency";
+    }
+    return nodeWithin(node, factory.body) ? "body" : "outside";
+}
+function snapshotWritesPrecedeReads(setterCall, reads, { factory, owner }) {
+    const writeSites = memoizedCommandWriteSites(setterCall, factory, owner);
+    return (writeSites !== null &&
+        !writeSites.some((write) => reads.some((read) => write.getStart() < read.getStart() &&
+            !writeIsFollowedByReturnBeforeRead(write, read, factory))));
+}
+function commandBindingIsInvokedByEffect(owner, declaration, directEffectCalls) {
+    const binding = declaration.name.getText();
+    let invokedByEffect = false;
+    let unsafe = false;
+    visit(owner.body, (node) => {
+        if (unsafe ||
+            !ts.isIdentifier(node) ||
+            node.text !== binding ||
+            node === declaration.name ||
+            isDeclarationName(node) ||
+            isNonValueIdentifier(node)) {
+            return;
+        }
+        const use = classifyEffectBindingReference(node, directEffectCalls);
+        unsafe = use === "unsafe";
+        invokedByEffect ||= use === "invocation";
+    });
+    return !unsafe && invokedByEffect;
+}
+function syncUseCallbackCommand(setterCall, owner, imports) {
+    const memoCall = findAncestorUntil(setterCall, (node) => ts.isCallExpression(node) &&
+        isImportedHookCall({
+            call: node,
+            localNames: imports.useCallback,
+            namespaceNames: imports.reactNamespaces,
+            canonicalName: "useCallback",
+        }), owner);
+    const factory = memoCall?.arguments[0];
+    const declaration = memoCall
+        ? findAncestorUntil(memoCall, ts.isVariableDeclaration, owner)
+        : null;
+    if (!memoCall ||
+        !factory ||
+        (!ts.isArrowFunction(factory) && !ts.isFunctionExpression(factory)) ||
+        !declaration ||
+        !isUniqueConstBindingOf(declaration, memoCall, owner) ||
+        factory.modifiers?.some((modifier) => modifier.kind === ts.SyntaxKind.AsyncKeyword)) {
+        return null;
+    }
+    return { declaration, factory, memoCall };
+}
+export function isEffectOwnedSelfRefreshingCommandState(state, usage, { directEffectCalls, imports }) {
+    const [setterCall] = usage.setterCallNodes;
+    if (!state.owner.body || !setterCall || !stateHasSoleCommandWrite(usage)) {
+        return false;
+    }
+    const command = syncUseCallbackCommand(setterCall, state.owner, imports);
+    if (!command) {
+        return false;
+    }
+    const { declaration, factory, memoCall } = command;
+    const snapshot = memoizedSnapshotReads(state, { factory, memoCall });
+    return (snapshot !== null &&
+        snapshotWritesPrecedeReads(setterCall, snapshot.reads, { factory, owner: state.owner }) &&
+        commandBindingIsInvokedByEffect(state.owner, declaration, directEffectCalls));
+}
+function classifyEffectBindingReference(node, directEffectCalls) {
+    const effectCall = [...directEffectCalls].find((effect) => nodeWithin(node, effect));
+    if (!effectCall) {
+        return "unsafe";
+    }
+    if (ts.isCallExpression(node.parent) && node.parent.expression === node) {
+        return "invocation";
+    }
+    const [, dependencies] = effectCall.arguments;
+    return dependencies && nodeWithin(node, dependencies) ? "dependency" : "unsafe";
+}
+function memoizedCommandWriteSites(setterCall, factory, owner) {
+    const region = nearestMutationFunction(setterCall, owner);
+    if (region === factory) {
+        return [setterCall];
+    }
+    if (!ts.isArrowFunction(region) &&
+        !ts.isFunctionDeclaration(region) &&
+        !ts.isFunctionExpression(region)) {
+        return null;
+    }
+    const name = localCallbackBindingName(region);
+    if (!name || bindingDeclarationCount(factory, name) !== 1) {
+        return null;
+    }
+    return localBindingInvocationSites(factory, name);
+}
+function localBindingInvocationSites(factory, name) {
+    const calls = [];
+    let safe = true;
+    visit(factory.body, (node) => {
+        if (!safe ||
+            !ts.isIdentifier(node) ||
+            node.text !== name ||
+            isDeclarationName(node) ||
+            isNonValueIdentifier(node)) {
+            return;
+        }
+        if (ts.isCallExpression(node.parent) && node.parent.expression === node) {
+            calls.push(node.parent);
+        }
+        else {
+            safe = false;
+        }
+    });
+    return safe && calls.length > 0 ? calls : null;
+}
+function writeIsFollowedByReturnBeforeRead(write, read, boundary) {
+    for (let current = write.parent; current && current !== boundary; current = current.parent) {
+        if (!ts.isBlock(current) || nodeWithin(read, current)) {
+            continue;
+        }
+        const writeIndex = current.statements.findIndex((statement) => nodeWithin(write, statement));
+        if (writeIndex !== -1 &&
+            current.statements.slice(writeIndex + 1).some((statement) => ts.isReturnStatement(statement))) {
+            return true;
+        }
+    }
+    return false;
+}
+//# sourceMappingURL=self-refreshing-command.js.map

package/dist/src/analysis/commands/self-refreshing-command.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"self-refreshing-command.js","sourceRoot":"","sources":["../../../../src/analysis/commands/self-refreshing-command.ts"],"names":[],"mappings":"AACA,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,oBAAoB,GACrB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAIzE,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAC3E,OAAO,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAC;AAC1D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,SAAS,wBAAwB,CAAC,KAAiB;IACjD,OAAO,CACL,KAAK,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC;QAClC,KAAK,CAAC,gBAAgB,KAAK,CAAC;QAC5B,KAAK,CAAC,YAAY,KAAK,CAAC;QACxB,CAAC,KAAK,CAAC,uBAAuB;QAC9B,KAAK,CAAC,gBAAgB,KAAK,CAAC;QAC5B,KAAK,CAAC,sBAAsB,KAAK,CAAC,CACnC,CAAC;AACJ,CAAC;AAgBD,SAAS,qBAAqB,CAC5B,KAAqB,EACrB,EAAE,OAAO,EAAE,QAAQ,EAA0B;IAE7C,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC/B,IAAI,MAAM,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YACvE,MAAM,KAAK,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACrC,OAAO;QACT,CAAC;QACD,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;QAClE,eAAe,IAAI,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,SAAS,IAAI,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,KAAK,IAAI,KAAK,SAAS,CAAC;QAC9B,IAAI,IAAI,KAAK,MAAM,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7C,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,IAAI,SAAS,KAAK,CAAC,IAAI,eAAe,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;AAC/E,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAa,EACb,KAAqB,EACrB,OAA+B;IAE/B,IACE,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QACtB,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,SAAS;QAC7B,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,IAAI,CAAC,MAAM;QACjC,iBAAiB,CAAC,IAAI,CAAC;QACvB,oBAAoB,CAAC,IAAI,CAAC,EAC1B,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AACzC,CAAC;AAID,SAAS,gBAAgB,CACvB,IAAmB,EACnB,EAAE,OAAO,EAAE,QAAQ,EAA0B;IAE7C,MAAM,CAAC,EAAE,YAAY,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC;IAC5C,IAAI,YAAY,IAAI,UAAU,CAAC,IAAI,EAAE,YAAY,CAAC,EAAE,CAAC;QACnD,OAAO,YAAY,CAAC;IACtB,CAAC;IACD,OAAO,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7D,CAAC;AAED,SAAS,0BAA0B,CACjC,UAA6B,EAC7B,KAA+B,EAC/B,EAAE,OAAO,EAAE,KAAK,EAAwB;IAExC,MAAM,UAAU,GAAG,yBAAyB,CAAC,UAAU,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IACzE,OAAO,CACL,UAAU,KAAK,IAAI;QACnB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CACzB,KAAK,CAAC,IAAI,CACR,CAAC,IAAI,EAAE,EAAE,CACP,KAAK,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,QAAQ,EAAE;YAClC,CAAC,iCAAiC,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAC3D,CACF,CACF,CAAC;AACJ,CAAC;AAED,SAAS,+BAA+B,CACtC,KAA0B,EAC1B,WAAmC,EACnC,iBAAiD;IAEjD,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IAC3C,IAAI,eAAe,GAAG,KAAK,CAAC;IAC5B,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IACE,MAAM;YACN,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,KAAK,OAAO;YACrB,IAAI,KAAK,WAAW,CAAC,IAAI;YACzB,iBAAiB,CAAC,IAAI,CAAC;YACvB,oBAAoB,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAG,8BAA8B,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;QACpE,MAAM,GAAG,GAAG,KAAK,QAAQ,CAAC;QAC1B,eAAe,KAAK,GAAG,KAAK,YAAY,CAAC;IAC3C,CAAC,CAAC,CAAC;IACH,OAAO,CAAC,MAAM,IAAI,eAAe,CAAC;AACpC,CAAC;AAMD,SAAS,sBAAsB,CAC7B,UAA6B,EAC7B,KAA0B,EAC1B,OAAoB;IAEpB,MAAM,QAAQ,GAAG,iBAAiB,CAChC,UAAU,EACV,CAAC,IAAI,EAA6B,EAAE,CAClC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,kBAAkB,CAAC;YACjB,IAAI,EAAE,IAAI;YACV,UAAU,EAAE,OAAO,CAAC,WAAW;YAC/B,cAAc,EAAE,OAAO,CAAC,eAAe;YACvC,aAAa,EAAE,aAAa;SAC7B,CAAC,EACJ,KAAK,CACN,CAAC;IACF,MAAM,OAAO,GAAG,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IACvC,MAAM,WAAW,GAAG,QAAQ;QAC1B,CAAC,CAAC,iBAAiB,CAAC,QAAQ,EAAE,EAAE,CAAC,qBAAqB,EAAE,KAAK,CAAC;QAC9D,CAAC,CAAC,IAAI,CAAC;IACT,IACE,CAAC,QAAQ;QACT,CAAC,OAAO;QACR,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC;QACnE,CAAC,WAAW;QACZ,CAAC,sBAAsB,CAAC,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC;QACrD,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,EACnF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,uCAAuC,CACrD,KAAqB,EACrB,KAAiB,EACjB,EAAE,iBAAiB,EAAE,OAAO,EAA2B;IAEvD,MAAM,CAAC,UAAU,CAAC,GAAG,KAAK,CAAC,eAAe,CAAC;IAC3C,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,UAAU,IAAI,CAAC,wBAAwB,CAAC,KAAK,CAAC,EAAE,CAAC;QACzE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAG,sBAAsB,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACzE,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IACnD,MAAM,QAAQ,GAAG,qBAAqB,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;IACrE,OAAO,CACL,QAAQ,KAAK,IAAI;QACjB,0BAA0B,CAAC,UAAU,EAAE,QAAQ,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;QACvF,+BAA+B,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,EAAE,iBAAiB,CAAC,CAC7E,CAAC;AACJ,CAAC;AAID,SAAS,8BAA8B,CACrC,IAAmB,EACnB,iBAAiD;IAEjD,MAAM,UAAU,GAAG,CAAC,GAAG,iBAAiB,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IACrF,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QACxE,OAAO,YAAY,CAAC;IACtB,CAAC;IACD,MAAM,CAAC,EAAE,YAAY,CAAC,GAAG,UAAU,CAAC,SAAS,CAAC;IAC9C,OAAO,YAAY,IAAI,UAAU,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC;AAClF,CAAC;AAED,SAAS,yBAAyB,CAChC,UAA6B,EAC7B,OAAiD,EACjD,KAA0B;IAE1B,MAAM,MAAM,GAAG,uBAAuB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC1D,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;QACvB,OAAO,CAAC,UAAU,CAAC,CAAC;IACtB,CAAC;IACD,IACE,CAAC,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC;QAC3B,CAAC,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;QACjC,CAAC,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAChC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;IAC9C,IAAI,CAAC,IAAI,IAAI,uBAAuB,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,2BAA2B,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;AACpD,CAAC;AAED,SAAS,2BAA2B,CAClC,OAAiD,EACjD,IAAY;IAEZ,MAAM,KAAK,GAAwB,EAAE,CAAC;IACtC,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC3B,IACE,CAAC,IAAI;YACL,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,KAAK,IAAI;YAClB,iBAAiB,CAAC,IAAI,CAAC;YACvB,oBAAoB,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;YACxE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1B,CAAC;aAAM,CAAC;YACN,IAAI,GAAG,KAAK,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AACjD,CAAC;AAED,SAAS,iCAAiC,CACxC,KAAwB,EACxB,IAAmB,EACnB,QAAiB;IAEjB,KACE,IAAI,OAAO,GAAwB,KAAK,CAAC,MAAM,EAC/C,OAAO,IAAI,OAAO,KAAK,QAAQ,EAC/B,OAAO,GAAG,OAAO,CAAC,MAAM,EACxB,CAAC;QACD,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;YACtD,SAAS;QACX,CAAC;QACD,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;QAC7F,IACE,UAAU,KAAK,CAAC,CAAC;YACjB,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC,EAC7F,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/src/analysis/commit-sensitive-state.d.ts

@@ -0,0 +1,5 @@
+import type { ClassifiedState, StateCandidate, StateUsage } from "./model.js";
+import type { SourceAnalysis } from "./proofs/contracts.js";
+export declare function stateIsCommitSensitive(state: StateCandidate, usage: StateUsage, { commitSensitiveOwners, nonProductionHarness, reactCommit }: SourceAnalysis): boolean;
+export declare function commitSensitiveStateClassification(state: StateCandidate): ClassifiedState;
+//# sourceMappingURL=commit-sensitive-state.d.ts.map

package/dist/src/analysis/commit-sensitive-state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"commit-sensitive-state.d.ts","sourceRoot":"","sources":["../../../src/analysis/commit-sensitive-state.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC9E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAG5D,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,EACjB,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,WAAW,EAAE,EAAE,cAAc,GAC3E,OAAO,CAYT;AAED,wBAAgB,kCAAkC,CAAC,KAAK,EAAE,cAAc,GAAG,eAAe,CAOzF"}

package/dist/src/analysis/commit-sensitive-state.js

@@ -0,0 +1,18 @@
+import { nodeWithin } from "../core/ast.js";
+export function stateIsCommitSensitive(state, usage, { commitSensitiveOwners, nonProductionHarness, reactCommit }) {
+    const directTransitionCallbacks = reactCommit.directTransitionCallbacks.get(state.owner);
+    const transitionTouchesState = directTransitionCallbacks?.some((callback) => usage.setterCallNodes.some((call) => nodeWithin(call, callback))) ?? true;
+    return (commitSensitiveOwners.has(state.owner) &&
+        transitionTouchesState &&
+        state.setterName !== null &&
+        !nonProductionHarness);
+}
+export function commitSensitiveStateClassification(state) {
+    return {
+        action: "review-state",
+        abstentionReason: "react-commit-sensitive",
+        confidence: "probable",
+        message: `Review React state \`${state.valueName}\`; updating it currently participates in a React transition, every-commit effect, or callback-ref lifecycle in this owner, so isolating the render could change priority or commit cadence.`,
+    };
+}
+//# sourceMappingURL=commit-sensitive-state.js.map

package/dist/src/analysis/commit-sensitive-state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"commit-sensitive-state.js","sourceRoot":"","sources":["../../../src/analysis/commit-sensitive-state.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAE5C,MAAM,UAAU,sBAAsB,CACpC,KAAqB,EACrB,KAAiB,EACjB,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,WAAW,EAAkB;IAE5E,MAAM,yBAAyB,GAAG,WAAW,CAAC,yBAAyB,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACzF,MAAM,sBAAsB,GAC1B,yBAAyB,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC3C,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CACjE,IAAI,IAAI,CAAC;IACZ,OAAO,CACL,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC;QACtC,sBAAsB;QACtB,KAAK,CAAC,UAAU,KAAK,IAAI;QACzB,CAAC,oBAAoB,CACtB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kCAAkC,CAAC,KAAqB;IACtE,OAAO;QACL,MAAM,EAAE,cAAc;QACtB,gBAAgB,EAAE,wBAAwB;QAC1C,UAAU,EAAE,UAAU;QACtB,OAAO,EAAE,wBAAwB,KAAK,CAAC,SAAS,8LAA8L;KAC/O,CAAC;AACJ,CAAC"}

package/dist/src/analysis/companion-writes.d.ts

@@ -0,0 +1,13 @@
+import type { SetterMutation, StateCandidate } from "./model.js";
+import type { RuntimeFunctionLike } from "../core/ast.js";
+import type { StateFlowIndex } from "../project/state-flow/state-flow.js";
+export interface StateCompanionWrites {
+    readonly all: ReadonlySet<StateCandidate>;
+    readonly nonClosing: ReadonlySet<StateCandidate>;
+    /** For each co-written state, every state that may be written alongside it. */
+    readonly partners: ReadonlyMap<StateCandidate, ReadonlySet<StateCandidate>>;
+}
+export declare function groupSettableStatesByOwner(states: readonly StateCandidate[]): ReadonlyMap<RuntimeFunctionLike, StateCandidate[]>;
+export declare function findStateCompanionWrites(states: readonly StateCandidate[], stateFlow: StateFlowIndex): StateCompanionWrites;
+export declare function collectSetterMutations(owner: RuntimeFunctionLike, ownerStates: readonly StateCandidate[]): readonly SetterMutation[];
+//# sourceMappingURL=companion-writes.d.ts.map

package/dist/src/analysis/companion-writes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"companion-writes.d.ts","sourceRoot":"","sources":["../../../src/analysis/companion-writes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAUjE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AAI1E,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;IACjD,+EAA+E;IAC/E,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,cAAc,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC,CAAC;CAC7E;AAED,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,SAAS,cAAc,EAAE,GAChC,WAAW,CAAC,mBAAmB,EAAE,cAAc,EAAE,CAAC,CAWpD;AAkCD,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,SAAS,cAAc,EAAE,EACjC,SAAS,EAAE,cAAc,GACxB,oBAAoB,CAStB;AAED,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,mBAAmB,EAC1B,WAAW,EAAE,SAAS,cAAc,EAAE,GACrC,SAAS,cAAc,EAAE,CAe3B"}

package/dist/src/analysis/companion-writes.js

@@ -0,0 +1,140 @@
+import { bindingDeclarationCount, unwrapTransparentExpression } from "../core/analysis-ast.js";
+import { callSetsLiteral, mutationsMayCoexecute, nearestMutationFunction } from "./mutations.js";
+import { findAncestorUntil, isRuntimeFunctionLike, nodeWithin, visit, visitSkippingNestedRuntimeFunctions, } from "../core/ast.js";
+import { isVisibilityTransitionAttribute } from "./membership-toggle.js";
+import ts from "typescript";
+export function groupSettableStatesByOwner(states) {
+    const byOwner = new Map();
+    for (const state of states) {
+        if (!state.setterName) {
+            continue;
+        }
+        const ownerStates = byOwner.get(state.owner) ?? [];
+        ownerStates.push(state);
+        byOwner.set(state.owner, ownerStates);
+    }
+    return byOwner;
+}
+function recordPartner(partners, state, partner) {
+    const known = partners.get(state) ?? new Set();
+    known.add(partner);
+    partners.set(state, known);
+}
+function recordCompanionPair([left, right], { all, nonClosing, partners }) {
+    all.add(left.state);
+    all.add(right.state);
+    recordPartner(partners, left.state, right.state);
+    recordPartner(partners, right.state, left.state);
+    if (!mutationIsProvenCloseDuringCompanion(left, right)) {
+        nonClosing.add(left.state);
+    }
+    if (!mutationIsProvenCloseDuringCompanion(right, left)) {
+        nonClosing.add(right.state);
+    }
+}
+export function findStateCompanionWrites(states, stateFlow) {
+    const sinks = { all: new Set(), nonClosing: new Set(), partners: new Map() };
+    for (const [owner, ownerStates] of groupSettableStatesByOwner(states)) {
+        const mutations = collectSetterMutations(owner, ownerStates);
+        for (const pair of coexecutingMutationPairs(mutations, stateFlow)) {
+            recordCompanionPair(pair, sinks);
+        }
+    }
+    return sinks;
+}
+export function collectSetterMutations(owner, ownerStates) {
+    const stateBySetter = new Map(ownerStates.flatMap((state) => (state.setterName ? [[state.setterName, state]] : [])));
+    const mutations = [];
+    visit(owner.body, (node) => {
+        if (!ts.isCallExpression(node) || !ts.isIdentifier(node.expression)) {
+            return;
+        }
+        const state = stateBySetter.get(node.expression.text);
+        if (state) {
+            mutations.push({ call: node, region: nearestMutationFunction(node, owner), state });
+        }
+    });
+    return mutations;
+}
+function coexecutingMutationPairs(mutations, stateFlow) {
+    const pairs = [];
+    for (const [leftIndex, left] of mutations.entries()) {
+        for (const right of mutations.slice(leftIndex + 1)) {
+            if (left.state !== right.state &&
+                left.region === right.region &&
+                mutationsMayCoexecute(left.call, right.call, { region: left.region, stateFlow })) {
+                pairs.push([left, right]);
+            }
+        }
+    }
+    return pairs;
+}
+function mutationIsProvenCloseDuringCompanion(mutation, companion) {
+    if (callSetsLiteral(mutation, ts.SyntaxKind.FalseKeyword)) {
+        return true;
+    }
+    const [argument] = mutation.call.arguments;
+    if (mutation.call.arguments.length !== 1 ||
+        !argument ||
+        !ts.isIdentifier(argument) ||
+        !isRuntimeFunctionLike(mutation.region) ||
+        bindingDeclarationCount(mutation.region, argument.text) !== 1 ||
+        !parameterIsBooleanVisibilityTransition(mutation.region, mutation.state, argument.text) ||
+        runtimeParameterIsReassigned(mutation.region, argument.text)) {
+        return false;
+    }
+    for (let current = companion.call; current && current !== mutation.region; current = current.parent) {
+        if (ts.isIfStatement(current) &&
+            nodeWithin(companion.call, current.thenStatement) &&
+            isNegatedIdentifier(current.expression, argument.text)) {
+            return true;
+        }
+    }
+    return false;
+}
+function parameterIsBooleanVisibilityTransition(owner, state, name) {
+    const parameter = owner.parameters.find((candidate) => ts.isIdentifier(candidate.name) && candidate.name.text === name);
+    if (!parameter) {
+        return false;
+    }
+    if (parameter.type?.kind === ts.SyntaxKind.BooleanKeyword) {
+        return true;
+    }
+    const attribute = findAncestorUntil(owner, ts.isJsxAttribute, state.owner);
+    if (!attribute?.initializer ||
+        !ts.isJsxExpression(attribute.initializer) ||
+        attribute.initializer.expression !== owner) {
+        return false;
+    }
+    const opening = attribute.parent.parent;
+    return ((ts.isJsxOpeningElement(opening) || ts.isJsxSelfClosingElement(opening)) &&
+        isVisibilityTransitionAttribute(opening, attribute.name.getText(), state.valueName));
+}
+function runtimeParameterIsReassigned(owner, name) {
+    if (!owner.body) {
+        return true;
+    }
+    let reassigned = false;
+    visitSkippingNestedRuntimeFunctions(owner.body, (node) => {
+        if (!ts.isBinaryExpression(node)) {
+            return;
+        }
+        const left = unwrapTransparentExpression(node.left);
+        if (node.operatorToken.kind >= ts.SyntaxKind.FirstAssignment &&
+            node.operatorToken.kind <= ts.SyntaxKind.LastAssignment &&
+            ts.isIdentifier(left) &&
+            left.text === name) {
+            reassigned = true;
+        }
+    });
+    return reassigned;
+}
+function isNegatedIdentifier(expression, name) {
+    const value = unwrapTransparentExpression(expression);
+    if (!ts.isPrefixUnaryExpression(value) || value.operator !== ts.SyntaxKind.ExclamationToken) {
+        return false;
+    }
+    const operand = unwrapTransparentExpression(value.operand);
+    return ts.isIdentifier(operand) && operand.text === name;
+}
+//# sourceMappingURL=companion-writes.js.map

package/dist/src/analysis/companion-writes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"companion-writes.js","sourceRoot":"","sources":["../../../src/analysis/companion-writes.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,uBAAuB,EAAE,2BAA2B,EAAE,MAAM,yBAAyB,CAAC;AAC/F,OAAO,EAAE,eAAe,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AACjG,OAAO,EACL,iBAAiB,EACjB,qBAAqB,EACrB,UAAU,EACV,KAAK,EACL,mCAAmC,GACpC,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EAAE,+BAA+B,EAAE,MAAM,wBAAwB,CAAC;AACzE,OAAO,EAAE,MAAM,YAAY,CAAC;AAS5B,MAAM,UAAU,0BAA0B,CACxC,MAAiC;IAEjC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAyC,CAAC;IACjE,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;YACtB,SAAS;QACX,CAAC;QACD,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACnD,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAQD,SAAS,aAAa,CACpB,QAAkD,EAClD,KAAqB,EACrB,OAAuB;IAEvB,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG,EAAkB,CAAC;IAC/D,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACnB,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,mBAAmB,CAC1B,CAAC,IAAI,EAAE,KAAK,CAA4C,EACxD,EAAE,GAAG,EAAE,UAAU,EAAE,QAAQ,EAAuB;IAElD,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpB,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACrB,aAAa,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACjD,aAAa,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,IAAI,CAAC,oCAAoC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QACvD,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,CAAC,oCAAoC,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;QACvD,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC;AACH,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,MAAiC,EACjC,SAAyB;IAEzB,MAAM,KAAK,GAAwB,EAAE,GAAG,EAAE,IAAI,GAAG,EAAE,EAAE,UAAU,EAAE,IAAI,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IAClG,KAAK,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,0BAA0B,CAAC,MAAM,CAAC,EAAE,CAAC;QACtE,MAAM,SAAS,GAAG,sBAAsB,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QAC7D,KAAK,MAAM,IAAI,IAAI,wBAAwB,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE,CAAC;YAClE,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,KAA0B,EAC1B,WAAsC;IAEtC,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,WAAW,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAC/F,CAAC;IACF,MAAM,SAAS,GAAqB,EAAE,CAAC;IACvC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YACpE,OAAO;QACT,CAAC;QACD,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACtD,IAAI,KAAK,EAAE,CAAC;YACV,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QACtF,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,wBAAwB,CAC/B,SAAoC,EACpC,SAAyB;IAEzB,MAAM,KAAK,GAAkD,EAAE,CAAC;IAChE,KAAK,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,SAAS,CAAC,OAAO,EAAE,EAAE,CAAC;QACpD,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,EAAE,CAAC;YACnD,IACE,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK;gBAC1B,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;gBAC5B,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,EAChF,CAAC;gBACD,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,oCAAoC,CAC3C,QAAwB,EACxB,SAAyB;IAEzB,IAAI,eAAe,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAC1D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,CAAC,QAAQ,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC;IAC3C,IACE,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QACpC,CAAC,QAAQ;QACT,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC;QAC1B,CAAC,qBAAqB,CAAC,QAAQ,CAAC,MAAM,CAAC;QACvC,uBAAuB,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;QAC7D,CAAC,sCAAsC,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC;QACvF,4BAA4B,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,EAC5D,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KACE,IAAI,OAAO,GAAwB,SAAS,CAAC,IAAI,EACjD,OAAO,IAAI,OAAO,KAAK,QAAQ,CAAC,MAAM,EACtC,OAAO,GAAG,OAAO,CAAC,MAAM,EACxB,CAAC;QACD,IACE,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC;YACzB,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,aAAa,CAAC;YACjD,mBAAmB,CAAC,OAAO,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,EACtD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,sCAAsC,CAC7C,KAA0B,EAC1B,KAAqB,EACrB,IAAY;IAEZ,MAAM,SAAS,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,CACrC,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAC/E,CAAC;IACF,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,EAAE,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc,EAAE,CAAC;QAC1D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,SAAS,GAAG,iBAAiB,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3E,IACE,CAAC,SAAS,EAAE,WAAW;QACvB,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,WAAW,CAAC;QAC1C,SAAS,CAAC,WAAW,CAAC,UAAU,KAAK,KAAK,EAC1C,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,OAAO,CACL,CAAC,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC;QACxE,+BAA+B,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,KAAK,CAAC,SAAS,CAAC,CACpF,CAAC;AACJ,CAAC;AAED,SAAS,4BAA4B,CAAC,KAA0B,EAAE,IAAY;IAC5E,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAChB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,mCAAmC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACvD,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,OAAO;QACT,CAAC;QACD,MAAM,IAAI,GAAG,2BAA2B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,IACE,IAAI,CAAC,aAAa,CAAC,IAAI,IAAI,EAAE,CAAC,UAAU,CAAC,eAAe;YACxD,IAAI,CAAC,aAAa,CAAC,IAAI,IAAI,EAAE,CAAC,UAAU,CAAC,cAAc;YACvD,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACrB,IAAI,CAAC,IAAI,KAAK,IAAI,EAClB,CAAC;YACD,UAAU,GAAG,IAAI,CAAC;QACpB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,mBAAmB,CAAC,UAAyB,EAAE,IAAY;IAClE,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,CAAC,EAAE,CAAC,uBAAuB,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC;QAC5F,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAG,2BAA2B,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC3D,OAAO,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,CAAC;AAC3D,CAAC"}

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

@@ -0,0 +1,48 @@
+import type { StateCandidate, StateUsage } from "./model.js";
+import type { RuntimeFunctionLike } from "../core/ast.js";
+import type ts from "typescript";
+export declare const BROAD_OWNER_JSX_ELEMENTS = 12;
+export declare const COMPACT_OWNER_JSX_ELEMENTS = 8;
+/** Which owners count as broad enough for a render cut to be worth an edit. */
+export type MaterialityTier = "broad" | "compact";
+export interface MaterialityPolicy {
+    readonly broadOwnerJsx: number;
+    readonly tier: MaterialityTier;
+}
+export declare const DEFAULT_MATERIALITY: MaterialityPolicy;
+export declare const COMPACT_MATERIALITY: MaterialityPolicy;
+export declare function materialityFor(tier: MaterialityTier): MaterialityPolicy;
+export declare const DEFAULT_PRESENTATION_LEAF_COUNT = 2;
+export declare const HOOK_CALL_ARITY = 2;
+export declare const KEY_VALUE_TUPLE_LENGTH = 2;
+export declare const LARGE_OWNER_LINE_SPAN = 100;
+export declare const MAX_FEEDBACK_LEAF_ELEMENTS = 4;
+export declare const MAX_LEAF_ELEMENTS = 9;
+export declare const MAX_LEAF_SUBTREE_RATIO = 0.4;
+export declare const MAX_PROJECTION_HOPS = 3;
+export declare const MAX_REPEATED_PROJECTION_RATIO = 0.25;
+export declare const MAX_TERMINAL_LEAVES = 6;
+export declare const MIN_COLLECTION_RENDER_WORK = 2;
+export declare const MIN_DIRECT_RENDER_READS = 2;
+export declare const MIN_LEAF_SUBTREE_ELEMENTS = 2;
+export declare const MIN_OWNER_RENDER_CUT_ELEMENTS = 5;
+export declare const MIN_REPEATED_SETTER_CALLS = 2;
+export declare const MIN_TERMINAL_LEAVES = 2;
+export declare const PAIRED_CLUSTER_SIZE = 2;
+export declare const PAIRED_FINALIZER_STATEMENTS = 2;
+export declare const PAIRED_SETTER_CALLS = 2;
+export declare const PAIRED_TRANSPORT_OCCURRENCES = 2;
+export declare const SMALL_OWNER_JSX_ELEMENTS = 5;
+export declare const STABLE_CALL_SITE_PAIR = 2;
+export declare const WIDE_OWNER_LINE_SPAN = 150;
+export declare const EMPTY_BINDINGS: ReadonlySet<string>;
+export declare const SAFE_PROJECTION_CALLS: ReadonlySet<string>;
+export declare const MEMO_HOOK_NAMES: ReadonlySet<string>;
+export declare const CALLBACK_HOOK_NAMES: ReadonlySet<string>;
+export declare const MUTATION_PROPERTY_NAMES: ReadonlySet<string>;
+export declare const EMPTY_NODES: ReadonlySet<ts.Node>;
+export declare const EMPTY_RUNTIME_FUNCTIONS: ReadonlySet<RuntimeFunctionLike>;
+export declare const EMPTY_STATE_CANDIDATES: ReadonlyMap<string, StateCandidate>;
+export declare const EMPTY_STATE_USAGES: ReadonlyMap<string, StateUsage>;
+export declare const PURE_MATH_METHODS: ReadonlySet<string>;
+//# sourceMappingURL=constants.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["../../../src/analysis/constants.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,eAAO,MAAM,wBAAwB,KAAK,CAAC;AAE3C,eAAO,MAAM,0BAA0B,IAAI,CAAC;AAE5C,+EAA+E;AAC/E,MAAM,MAAM,eAAe,GAAG,OAAO,GAAG,SAAS,CAAC;AAElD,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;CAChC;AAED,eAAO,MAAM,mBAAmB,EAAE,iBAGjC,CAAC;AAEF,eAAO,MAAM,mBAAmB,EAAE,iBAGjC,CAAC;AAEF,wBAAgB,cAAc,CAAC,IAAI,EAAE,eAAe,GAAG,iBAAiB,CAEvE;AAED,eAAO,MAAM,+BAA+B,IAAI,CAAC;AAEjD,eAAO,MAAM,eAAe,IAAI,CAAC;AAEjC,eAAO,MAAM,sBAAsB,IAAI,CAAC;AAExC,eAAO,MAAM,qBAAqB,MAAM,CAAC;AAEzC,eAAO,MAAM,0BAA0B,IAAI,CAAC;AAE5C,eAAO,MAAM,iBAAiB,IAAI,CAAC;AAEnC,eAAO,MAAM,sBAAsB,MAAM,CAAC;AAE1C,eAAO,MAAM,mBAAmB,IAAI,CAAC;AAErC,eAAO,MAAM,6BAA6B,OAAO,CAAC;AAElD,eAAO,MAAM,mBAAmB,IAAI,CAAC;AAErC,eAAO,MAAM,0BAA0B,IAAI,CAAC;AAE5C,eAAO,MAAM,uBAAuB,IAAI,CAAC;AAEzC,eAAO,MAAM,yBAAyB,IAAI,CAAC;AAE3C,eAAO,MAAM,6BAA6B,IAAI,CAAC;AAE/C,eAAO,MAAM,yBAAyB,IAAI,CAAC;AAE3C,eAAO,MAAM,mBAAmB,IAAI,CAAC;AAErC,eAAO,MAAM,mBAAmB,IAAI,CAAC;AAErC,eAAO,MAAM,2BAA2B,IAAI,CAAC;AAE7C,eAAO,MAAM,mBAAmB,IAAI,CAAC;AAErC,eAAO,MAAM,4BAA4B,IAAI,CAAC;AAE9C,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAE1C,eAAO,MAAM,qBAAqB,IAAI,CAAC;AAEvC,eAAO,MAAM,oBAAoB,MAAM,CAAC;AAExC,eAAO,MAAM,cAAc,EAAE,WAAW,CAAC,MAAM,CAAa,CAAC;AAE7D,eAAO,MAAM,qBAAqB,EAAE,WAAW,CAAC,MAAM,CAAmB,CAAC;AAE1E,eAAO,MAAM,eAAe,EAAE,WAAW,CAAC,MAAM,CAAwB,CAAC;AAEzE,eAAO,MAAM,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAA4B,CAAC;AAEjF,eAAO,MAAM,uBAAuB,EAAE,WAAW,CAAC,MAAM,CAAsC,CAAC;AAE/F,eAAO,MAAM,WAAW,EAAE,WAAW,CAAC,EAAE,CAAC,IAAI,CAAa,CAAC;AAE3D,eAAO,MAAM,uBAAuB,EAAE,WAAW,CAAC,mBAAmB,CAAa,CAAC;AAEnF,eAAO,MAAM,sBAAsB,EAAE,WAAW,CAAC,MAAM,EAAE,cAAc,CAAa,CAAC;AAErF,eAAO,MAAM,kBAAkB,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,CAAa,CAAC;AAE7E,eAAO,MAAM,iBAAiB,EAAE,WAAW,CAAC,MAAM,CAAkC,CAAC"}

package/dist/src/analysis/constants.js

@@ -0,0 +1,47 @@
+export const BROAD_OWNER_JSX_ELEMENTS = 12;
+export const COMPACT_OWNER_JSX_ELEMENTS = 8;
+export const DEFAULT_MATERIALITY = {
+    broadOwnerJsx: BROAD_OWNER_JSX_ELEMENTS,
+    tier: "broad",
+};
+export const COMPACT_MATERIALITY = {
+    broadOwnerJsx: COMPACT_OWNER_JSX_ELEMENTS,
+    tier: "compact",
+};
+export function materialityFor(tier) {
+    return tier === "compact" ? COMPACT_MATERIALITY : DEFAULT_MATERIALITY;
+}
+export const DEFAULT_PRESENTATION_LEAF_COUNT = 2;
+export const HOOK_CALL_ARITY = 2;
+export const KEY_VALUE_TUPLE_LENGTH = 2;
+export const LARGE_OWNER_LINE_SPAN = 100;
+export const MAX_FEEDBACK_LEAF_ELEMENTS = 4;
+export const MAX_LEAF_ELEMENTS = 9;
+export const MAX_LEAF_SUBTREE_RATIO = 0.4;
+export const MAX_PROJECTION_HOPS = 3;
+export const MAX_REPEATED_PROJECTION_RATIO = 0.25;
+export const MAX_TERMINAL_LEAVES = 6;
+export const MIN_COLLECTION_RENDER_WORK = 2;
+export const MIN_DIRECT_RENDER_READS = 2;
+export const MIN_LEAF_SUBTREE_ELEMENTS = 2;
+export const MIN_OWNER_RENDER_CUT_ELEMENTS = 5;
+export const MIN_REPEATED_SETTER_CALLS = 2;
+export const MIN_TERMINAL_LEAVES = 2;
+export const PAIRED_CLUSTER_SIZE = 2;
+export const PAIRED_FINALIZER_STATEMENTS = 2;
+export const PAIRED_SETTER_CALLS = 2;
+export const PAIRED_TRANSPORT_OCCURRENCES = 2;
+export const SMALL_OWNER_JSX_ELEMENTS = 5;
+export const STABLE_CALL_SITE_PAIR = 2;
+export const WIDE_OWNER_LINE_SPAN = 150;
+export const EMPTY_BINDINGS = new Set();
+export const SAFE_PROJECTION_CALLS = new Set(["cn"]);
+export const MEMO_HOOK_NAMES = new Set(["useMemo"]);
+export const CALLBACK_HOOK_NAMES = new Set(["useCallback"]);
+export const MUTATION_PROPERTY_NAMES = new Set(["mutate", "mutateAsync"]);
+export const EMPTY_NODES = new Set();
+export const EMPTY_RUNTIME_FUNCTIONS = new Set();
+export const EMPTY_STATE_CANDIDATES = new Map();
+export const EMPTY_STATE_USAGES = new Map();
+export const PURE_MATH_METHODS = new Set(["abs", "max", "min"]);
+//# sourceMappingURL=constants.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"constants.js","sourceRoot":"","sources":["../../../src/analysis/constants.ts"],"names":[],"mappings":"AAIA,MAAM,CAAC,MAAM,wBAAwB,GAAG,EAAE,CAAC;AAE3C,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC;AAU5C,MAAM,CAAC,MAAM,mBAAmB,GAAsB;IACpD,aAAa,EAAE,wBAAwB;IACvC,IAAI,EAAE,OAAO;CACd,CAAC;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAsB;IACpD,aAAa,EAAE,0BAA0B;IACzC,IAAI,EAAE,SAAS;CAChB,CAAC;AAEF,MAAM,UAAU,cAAc,CAAC,IAAqB;IAClD,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,mBAAmB,CAAC;AACxE,CAAC;AAED,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAC,CAAC;AAEjD,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC;AAEjC,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC;AAExC,MAAM,CAAC,MAAM,qBAAqB,GAAG,GAAG,CAAC;AAEzC,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC;AAE5C,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC;AAEnC,MAAM,CAAC,MAAM,sBAAsB,GAAG,GAAG,CAAC;AAE1C,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC;AAErC,MAAM,CAAC,MAAM,6BAA6B,GAAG,IAAI,CAAC;AAElD,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC;AAErC,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC;AAE5C,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC;AAEzC,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC;AAE3C,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC,CAAC;AAE/C,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC;AAE3C,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC;AAErC,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC;AAErC,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC;AAE7C,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC;AAErC,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,CAAC;AAE9C,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC;AAE1C,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC;AAEvC,MAAM,CAAC,MAAM,oBAAoB,GAAG,GAAG,CAAC;AAExC,MAAM,CAAC,MAAM,cAAc,GAAwB,IAAI,GAAG,EAAE,CAAC;AAE7D,MAAM,CAAC,MAAM,qBAAqB,GAAwB,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAE1E,MAAM,CAAC,MAAM,eAAe,GAAwB,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;AAEzE,MAAM,CAAC,MAAM,mBAAmB,GAAwB,IAAI,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;AAEjF,MAAM,CAAC,MAAM,uBAAuB,GAAwB,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC;AAE/F,MAAM,CAAC,MAAM,WAAW,GAAyB,IAAI,GAAG,EAAE,CAAC;AAE3D,MAAM,CAAC,MAAM,uBAAuB,GAAqC,IAAI,GAAG,EAAE,CAAC;AAEnF,MAAM,CAAC,MAAM,sBAAsB,GAAwC,IAAI,GAAG,EAAE,CAAC;AAErF,MAAM,CAAC,MAAM,kBAAkB,GAAoC,IAAI,GAAG,EAAE,CAAC;AAE7E,MAAM,CAAC,MAAM,iBAAiB,GAAwB,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC"}

package/dist/src/analysis/context/context-held-state.d.ts

@@ -0,0 +1,12 @@
+import type { StateCandidate, StateCluster } from "../model.js";
+import type { SourceAnalysis } from "../proofs/contracts.js";
+/**
+ * A provider component that keeps React state only to publish it through a context value re-renders
+ * itself and every consumer on each write. When the value object is an owner-level literal, every
+ * consumer reaches the context through an indexed reader hook and binds the fields by name, and the
+ * provider never reads the state itself, and no other provider site supplies plain values for the same
+ * context, the state can become an observable placed in the context value: the object stays referentially stable, consumers subscribe per field with `useValue`, and
+ * writers call `set` without subscribing.
+ */
+export declare function findContextHeldStateClusters(analysis: SourceAnalysis): ReadonlyMap<StateCandidate, StateCluster>;
+//# sourceMappingURL=context-held-state.d.ts.map

package/dist/src/analysis/context/context-held-state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-held-state.d.ts","sourceRoot":"","sources":["../../../../src/analysis/context/context-held-state.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAIhE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAyC7D;;;;;;;GAOG;AACH,wBAAgB,4BAA4B,CAC1C,QAAQ,EAAE,cAAc,GACvB,WAAW,CAAC,cAAc,EAAE,YAAY,CAAC,CAe3C"}