legend-doctor 0.1.0

package/dist/src/analysis/callbacks/memoized-options.js

@@ -0,0 +1,151 @@
+import { HOOK_CALL_ARITY, MEMO_HOOK_NAMES } from "../constants.js";
+import { bindingDeclarationCount, isDeclarationName, isNonValueIdentifier, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { findAncestorUntil, identifiersNamed, nodeWithin, visitSkippingNestedRuntimeFunctions, } from "../../core/ast.js";
+import { isCustomJsxTarget, jsxTargetName, soleReturnedExpression } from "../ast-helpers.js";
+import { isHookDependencyReference } from "../../rules/state-proofs/callback-sites.js";
+import { isImportedHookCall } from "../../core/imports.js";
+import { isJsxEventHandlerReference } from "../../rules/state-proofs/event-roots.js";
+import { localCallbackByBinding } from "./local-callbacks.js";
+import { staticPropertyName } from "../commands/memoized-option-command.js";
+import ts from "typescript";
+export function sourceProvenOptionEventCallbacks(owner, imports, childContracts) {
+    const callbacks = new Set();
+    if (!owner.body) {
+        return callbacks;
+    }
+    visitSkippingNestedRuntimeFunctions(owner.body, (node) => {
+        collectMemoizedOptionCallbacks(node, callbacks, { childContracts, imports, owner });
+    });
+    return callbacks;
+}
+function uniqueMemoizedOptionsBinding(node, owner, imports) {
+    if (!node.initializer || bindingDeclarationCount(owner, node.name.getText()) !== 1) {
+        return null;
+    }
+    const memo = memoizedObjectLiteral(node.initializer, imports);
+    return memo && !memo.object.properties.some(ts.isSpreadAssignment) ? memo : null;
+}
+function collectMemoizedOptionCallbacks(node, callbacks, scope) {
+    const published = publishedMemoizedOptions(node, scope);
+    if (!published) {
+        return;
+    }
+    for (const property of published.memo.object.properties) {
+        const callback = deferredOptionCallback(property, { ...scope, ...published });
+        if (callback) {
+            callbacks.add(callback);
+        }
+    }
+}
+function publishedMemoizedOptions(node, { imports, owner }) {
+    if (!ts.isVariableDeclaration(node) || !ts.isIdentifier(node.name)) {
+        return null;
+    }
+    const memo = uniqueMemoizedOptionsBinding(node, owner, imports);
+    const publications = memo ? jsxComponentPublications(owner, node.name.text) : [];
+    return memo && publications.length > 0 ? { memo, publications } : null;
+}
+function deferredOptionCallback(property, { childContracts, imports, memo, owner, publications }) {
+    if (!ts.isPropertyAssignment(property) && !ts.isShorthandPropertyAssignment(property)) {
+        return null;
+    }
+    const propertyName = staticPropertyName(property.name);
+    const callbackName = ts.isShorthandPropertyAssignment(property)
+        ? property.name
+        : unwrapTransparentExpression(property.initializer);
+    if (!propertyName || !ts.isIdentifier(callbackName)) {
+        return null;
+    }
+    const callback = localCallbackByBinding(owner, callbackName.text, imports);
+    if (!callback ||
+        !memo.dependencies.elements.some((element) => ts.isIdentifier(element) && element.text === callbackName.text) ||
+        !callbackPublishedOnlyThroughMemo(owner, callbackName.text, {
+            memoCall: memo.call,
+            property,
+        }) ||
+        !publications.every((publication) => childContracts.componentPropCallbackIsDeferred(publication.component, publication.prop, propertyName))) {
+        return null;
+    }
+    return callback;
+}
+function memoHookCall(initializer, imports) {
+    const call = unwrapTransparentExpression(initializer);
+    if (!ts.isCallExpression(call) ||
+        !isImportedHookCall({
+            call,
+            localNames: imports.useMemo,
+            namespaceNames: imports.reactNamespaces,
+            canonicalName: "useMemo",
+        }) ||
+        call.arguments.length !== HOOK_CALL_ARITY) {
+        return null;
+    }
+    const [factory, dependencies] = call.arguments;
+    if (!factory ||
+        (!ts.isArrowFunction(factory) && !ts.isFunctionExpression(factory)) ||
+        !dependencies ||
+        !ts.isArrayLiteralExpression(dependencies)) {
+        return null;
+    }
+    return { call, dependencies, factory };
+}
+function memoizedObjectLiteral(initializer, imports) {
+    const memo = memoHookCall(initializer, imports);
+    const returned = memo ? soleReturnedExpression(memo.factory.body) : null;
+    if (!memo || !returned) {
+        return null;
+    }
+    const expression = unwrapTransparentExpression(returned);
+    return ts.isObjectLiteralExpression(expression)
+        ? { call: memo.call, dependencies: memo.dependencies, object: expression }
+        : null;
+}
+export function jsxComponentPublications(owner, binding) {
+    const publications = [];
+    for (const node of identifiersNamed(owner.body, binding)) {
+        if (isDeclarationName(node) || isNonValueIdentifier(node)) {
+            continue;
+        }
+        const publication = eventHandlerPublication(node, owner);
+        if (!publication) {
+            return [];
+        }
+        publications.push(publication);
+    }
+    return publications;
+}
+function eventHandlerPublication(node, owner) {
+    const attribute = findAncestorUntil(node, ts.isJsxAttribute, owner);
+    const component = attribute ? jsxTargetName(attribute) : null;
+    if (!attribute || !component || !isJsxEventHandlerReference(attribute, node)) {
+        return null;
+    }
+    return {
+        component,
+        intrinsic: !isCustomJsxTarget(component),
+        prop: attribute.name.getText(),
+    };
+}
+function callbackPublishedOnlyThroughMemo(owner, binding, { memoCall, property }) {
+    let propertyReferences = 0;
+    for (const node of identifiersNamed(owner.body, binding)) {
+        if (isDeclarationName(node) || isNonValueIdentifier(node)) {
+            continue;
+        }
+        if (nodeWithin(node, property)) {
+            propertyReferences += 1;
+            continue;
+        }
+        if (!isOwnMemoDependencyReference(node, owner, memoCall)) {
+            return false;
+        }
+    }
+    return propertyReferences === 1;
+}
+function isOwnMemoDependencyReference(node, owner, memoCall) {
+    if (!isHookDependencyReference(node, MEMO_HOOK_NAMES)) {
+        return false;
+    }
+    return findAncestorUntil(node, ts.isCallExpression, owner) === memoCall;
+}
+//# sourceMappingURL=memoized-options.js.map

package/dist/src/analysis/callbacks/memoized-options.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"memoized-options.js","sourceRoot":"","sources":["../../../../src/analysis/callbacks/memoized-options.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AACnE,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,iBAAiB,EACjB,gBAAgB,EAChB,UAAU,EACV,mCAAmC,GACpC,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAI7F,OAAO,EAAE,yBAAyB,EAAE,MAAM,4CAA4C,CAAC;AACvF,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,0BAA0B,EAAE,MAAM,yCAAyC,CAAC;AACrF,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AAC5E,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,gCAAgC,CAC9C,KAA0B,EAC1B,OAAoB,EACpB,cAAqC;IAErC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAuB,CAAC;IACjD,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAChB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,mCAAmC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACvD,8BAA8B,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE,cAAc,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;IACH,OAAO,SAAS,CAAC;AACnB,CAAC;AAaD,SAAS,4BAA4B,CACnC,IAA4B,EAC5B,KAA0B,EAC1B,OAAoB;IAEpB,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,uBAAuB,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;QACnF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,qBAAqB,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAC9D,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACnF,CAAC;AAED,SAAS,8BAA8B,CACrC,IAAa,EACb,SAAmC,EACnC,KAA0B;IAE1B,MAAM,SAAS,GAAG,wBAAwB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACxD,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO;IACT,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;QACxD,MAAM,QAAQ,GAAG,sBAAsB,CAAC,QAAQ,EAAE,EAAE,GAAG,KAAK,EAAE,GAAG,SAAS,EAAE,CAAC,CAAC;QAC9E,IAAI,QAAQ,EAAE,CAAC;YACb,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;AACH,CAAC;AAOD,SAAS,wBAAwB,CAC/B,IAAa,EACb,EAAE,OAAO,EAAE,KAAK,EAAuB;IAEvC,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACnE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,4BAA4B,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAChE,MAAM,YAAY,GAAG,IAAI,CAAC,CAAC,CAAC,wBAAwB,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACjF,OAAO,IAAI,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACzE,CAAC;AAED,SAAS,sBAAsB,CAC7B,QAAqC,EACrC,EAAE,cAAc,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,YAAY,EAA6B;IAEjF,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC,EAAE,CAAC;QACtF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,YAAY,GAAG,kBAAkB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACvD,MAAM,YAAY,GAAG,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC;QAC7D,CAAC,CAAC,QAAQ,CAAC,IAAI;QACf,CAAC,CAAC,2BAA2B,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACtD,IAAI,CAAC,YAAY,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,YAAY,CAAC,EAAE,CAAC;QACpD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,sBAAsB,CAAC,KAAK,EAAE,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC3E,IACE,CAAC,QAAQ;QACT,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAC9B,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,CAAC,IAAI,CAC5E;QACD,CAAC,gCAAgC,CAAC,KAAK,EAAE,YAAY,CAAC,IAAI,EAAE;YAC1D,QAAQ,EAAE,IAAI,CAAC,IAAI;YACnB,QAAQ;SACT,CAAC;QACF,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,EAAE,CAClC,cAAc,CAAC,+BAA+B,CAC5C,WAAW,CAAC,SAAS,EACrB,WAAW,CAAC,IAAI,EAChB,YAAY,CACb,CACF,EACD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAcD,SAAS,YAAY,CAAC,WAA0B,EAAE,OAAoB;IACpE,MAAM,IAAI,GAAG,2BAA2B,CAAC,WAAW,CAAC,CAAC;IACtD,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAC1B,CAAC,kBAAkB,CAAC;YAClB,IAAI;YACJ,UAAU,EAAE,OAAO,CAAC,OAAO;YAC3B,cAAc,EAAE,OAAO,CAAC,eAAe;YACvC,aAAa,EAAE,SAAS;SACzB,CAAC;QACF,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,eAAe,EACzC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,CAAC,OAAO,EAAE,YAAY,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;IAC/C,IACE,CAAC,OAAO;QACR,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC;QACnE,CAAC,YAAY;QACb,CAAC,EAAE,CAAC,wBAAwB,CAAC,YAAY,CAAC,EAC1C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC;AACzC,CAAC;AAED,SAAS,qBAAqB,CAC5B,WAA0B,EAC1B,OAAoB;IAEpB,MAAM,IAAI,GAAG,YAAY,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACzE,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QACvB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,UAAU,GAAG,2BAA2B,CAAC,QAAQ,CAAC,CAAC;IACzD,OAAO,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;QAC7C,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE;QAC1E,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAQD,MAAM,UAAU,wBAAwB,CACtC,KAA0B,EAC1B,OAAe;IAEf,MAAM,YAAY,GAA2B,EAAE,CAAC;IAChD,KAAK,MAAM,IAAI,IAAI,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QACzD,IAAI,iBAAiB,CAAC,IAAI,CAAC,IAAI,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1D,SAAS;QACX,CAAC;QACD,MAAM,WAAW,GAAG,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzD,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAAmB,EACnB,KAA0B;IAE1B,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;IACpE,MAAM,SAAS,GAAG,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9D,IAAI,CAAC,SAAS,IAAI,CAAC,SAAS,IAAI,CAAC,0BAA0B,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC;QAC7E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,SAAS;QACT,SAAS,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC;QACxC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE;KAC/B,CAAC;AACJ,CAAC;AAOD,SAAS,gCAAgC,CACvC,KAA0B,EAC1B,OAAe,EACf,EAAE,QAAQ,EAAE,QAAQ,EAAmB;IAEvC,IAAI,kBAAkB,GAAG,CAAC,CAAC;IAC3B,KAAK,MAAM,IAAI,IAAI,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QACzD,IAAI,iBAAiB,CAAC,IAAI,CAAC,IAAI,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1D,SAAS;QACX,CAAC;QACD,IAAI,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;YAC/B,kBAAkB,IAAI,CAAC,CAAC;YACxB,SAAS;QACX,CAAC;QACD,IAAI,CAAC,4BAA4B,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC;YACzD,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,kBAAkB,KAAK,CAAC,CAAC;AAClC,CAAC;AAED,SAAS,4BAA4B,CACnC,IAAmB,EACnB,KAA0B,EAC1B,QAA2B;IAE3B,IAAI,CAAC,yBAAyB,CAAC,IAAI,EAAE,eAAe,CAAC,EAAE,CAAC;QACtD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAgB,EAAE,KAAK,CAAC,KAAK,QAAQ,CAAC;AAC1E,CAAC"}

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

@@ -0,0 +1,6 @@
+import type { EffectCandidate, StateCandidate } from "./model.js";
+import type { HookImports } from "../core/imports.js";
+import ts from "typescript";
+export declare function stateCandidate(call: ts.CallExpression): StateCandidate | null;
+export declare function effectCandidate(call: ts.CallExpression, imports: HookImports): EffectCandidate;
+//# sourceMappingURL=candidates.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"candidates.d.ts","sourceRoot":"","sources":["../../../src/analysis/candidates.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAIlE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAItD,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,wBAAgB,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,GAAG,cAAc,GAAG,IAAI,CAyB7E;AASD,wBAAgB,eAAe,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,OAAO,EAAE,WAAW,GAAG,eAAe,CAU9F"}

package/dist/src/analysis/candidates.js

@@ -0,0 +1,90 @@
+import { bindingDeclarationCount, unwrapTransparentExpression } from "../core/analysis-ast.js";
+import { findAncestor, isRuntimeFunctionLike } from "../core/ast.js";
+import { HOOK_CALL_ARITY } from "./constants.js";
+import { calleeRootIdentifier } from "./ast-helpers.js";
+import { isImportedHookCall } from "../core/imports.js";
+import ts from "typescript";
+import { uniqueVariableDeclaration } from "../rules/state-proofs/binding-lookup.js";
+export function stateCandidate(call) {
+    const declaration = call.parent;
+    if (!ts.isVariableDeclaration(declaration) || declaration.initializer !== call) {
+        return null;
+    }
+    if (!ts.isArrayBindingPattern(declaration.name)) {
+        return null;
+    }
+    const [value, setter] = declaration.name.elements;
+    const owner = findAncestor(call, isRuntimeFunctionLike);
+    if (!owner ||
+        !value ||
+        ts.isOmittedExpression(value) ||
+        !ts.isIdentifier(value.name) ||
+        (setter && !ts.isOmittedExpression(setter) && !ts.isIdentifier(setter.name))) {
+        return null;
+    }
+    return {
+        call,
+        owner,
+        setterName: bindingElementName(setter),
+        valueName: value.name.text,
+    };
+}
+function bindingElementName(element) {
+    if (!element || ts.isOmittedExpression(element) || !ts.isIdentifier(element.name)) {
+        return null;
+    }
+    return element.name.text;
+}
+export function effectCandidate(call, imports) {
+    const [callbackArg, dependenciesArg] = call.arguments;
+    const owner = findAncestor(call, isRuntimeFunctionLike);
+    return {
+        call,
+        callback: callbackArg ? resolveEffectCallback(callbackArg, owner, imports) : null,
+        dependencies: dependenciesArg && ts.isArrayLiteralExpression(dependenciesArg) ? dependenciesArg : null,
+        owner,
+    };
+}
+function resolveEffectCallback(expression, owner, imports) {
+    const callback = unwrapTransparentExpression(expression);
+    if (ts.isArrowFunction(callback) || ts.isFunctionExpression(callback)) {
+        return callback;
+    }
+    if (!owner?.body || !ts.isIdentifier(callback)) {
+        return null;
+    }
+    const initializer = uniqueConstFunctionInitializer(owner, callback.text);
+    if (initializer && (ts.isArrowFunction(initializer) || ts.isFunctionExpression(initializer))) {
+        return initializer;
+    }
+    return initializer ? unshadowedUseCallbackFactory(initializer, owner, imports) : null;
+}
+function uniqueConstFunctionInitializer(owner, binding) {
+    const declaration = owner.body ? uniqueVariableDeclaration(owner.body, binding) : null;
+    if (!declaration?.initializer ||
+        !ts.isVariableDeclarationList(declaration.parent) ||
+        (declaration.parent.flags & ts.NodeFlags.Const) === 0 ||
+        bindingDeclarationCount(owner, binding) !== 1) {
+        return null;
+    }
+    return unwrapTransparentExpression(declaration.initializer);
+}
+function unshadowedUseCallbackFactory(initializer, owner, imports) {
+    if (!ts.isCallExpression(initializer) ||
+        !isImportedHookCall({
+            call: initializer,
+            localNames: imports.useCallback,
+            namespaceNames: imports.reactNamespaces,
+            canonicalName: "useCallback",
+        }) ||
+        initializer.arguments.length !== HOOK_CALL_ARITY) {
+        return null;
+    }
+    const hookRoot = calleeRootIdentifier(initializer.expression);
+    if (!hookRoot || bindingDeclarationCount(owner, hookRoot.text) !== 0) {
+        return null;
+    }
+    const [inner] = initializer.arguments;
+    return inner && (ts.isArrowFunction(inner) || ts.isFunctionExpression(inner)) ? inner : null;
+}
+//# sourceMappingURL=candidates.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"candidates.js","sourceRoot":"","sources":["../../../src/analysis/candidates.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,uBAAuB,EAAE,2BAA2B,EAAE,MAAM,yBAAyB,CAAC;AAC/F,OAAO,EAAE,YAAY,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAGjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,yBAAyB,EAAE,MAAM,yCAAyC,CAAC;AAEpF,MAAM,UAAU,cAAc,CAAC,IAAuB;IACpD,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC;IAChC,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;QAC/E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC;IAClD,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;IACxD,IACE,CAAC,KAAK;QACN,CAAC,KAAK;QACN,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC;QAC7B,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC;QAC5B,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAC5E,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,IAAI;QACJ,KAAK;QACL,UAAU,EAAE,kBAAkB,CAAC,MAAM,CAAC;QACtC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI;KAC3B,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,OAA2C;IACrE,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAClF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;AAC3B,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,IAAuB,EAAE,OAAoB;IAC3E,MAAM,CAAC,WAAW,EAAE,eAAe,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;IACtD,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;IACxD,OAAO;QACL,IAAI;QACJ,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC,qBAAqB,CAAC,WAAW,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI;QACjF,YAAY,EACV,eAAe,IAAI,EAAE,CAAC,wBAAwB,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI;QAC1F,KAAK;KACN,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,UAAyB,EACzB,KAAiC,EACjC,OAAoB;IAEpB,MAAM,QAAQ,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACzD,IAAI,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACtE,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,CAAC,KAAK,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,WAAW,GAAG,8BAA8B,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzE,IAAI,WAAW,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC;QAC7F,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,OAAO,WAAW,CAAC,CAAC,CAAC,4BAA4B,CAAC,WAAW,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACxF,CAAC;AAED,SAAS,8BAA8B,CACrC,KAA0B,EAC1B,OAAe;IAEf,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,yBAAyB,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACvF,IACE,CAAC,WAAW,EAAE,WAAW;QACzB,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,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,EAC7C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,2BAA2B,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,4BAA4B,CACnC,WAA0B,EAC1B,KAA0B,EAC1B,OAAoB;IAEpB,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,WAAW,CAAC;QACjC,CAAC,kBAAkB,CAAC;YAClB,IAAI,EAAE,WAAW;YACjB,UAAU,EAAE,OAAO,CAAC,WAAW;YAC/B,cAAc,EAAE,OAAO,CAAC,eAAe;YACvC,aAAa,EAAE,aAAa;SAC7B,CAAC;QACF,WAAW,CAAC,SAAS,CAAC,MAAM,KAAK,eAAe,EAChD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;IAC9D,IAAI,CAAC,QAAQ,IAAI,uBAAuB,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACrE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,CAAC,KAAK,CAAC,GAAG,WAAW,CAAC,SAAS,CAAC;IACtC,OAAO,KAAK,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/F,CAAC"}

package/dist/src/analysis/clusters/cluster-pairs.d.ts

@@ -0,0 +1,12 @@
+import type { StateCandidate, StateUsage } from "../model.js";
+export interface ClusterPairUsage {
+    readonly firstUsage: StateUsage | undefined;
+    readonly secondUsage: StateUsage | undefined;
+}
+interface ClusterPair {
+    readonly first: StateCandidate;
+    readonly second: StateCandidate;
+}
+export declare function distinctClusterPair(members: readonly StateCandidate[], isFirst: (state: StateCandidate) => boolean, isSecond: (state: StateCandidate) => boolean): ClusterPair | null;
+export {};
+//# sourceMappingURL=cluster-pairs.d.ts.map

package/dist/src/analysis/clusters/cluster-pairs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cluster-pairs.d.ts","sourceRoot":"","sources":["../../../../src/analysis/clusters/cluster-pairs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAG9D,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,UAAU,EAAE,UAAU,GAAG,SAAS,CAAC;IAC5C,QAAQ,CAAC,WAAW,EAAE,UAAU,GAAG,SAAS,CAAC;CAC9C;AAED,UAAU,WAAW;IACnB,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;CACjC;AAED,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,SAAS,cAAc,EAAE,EAClC,OAAO,EAAE,CAAC,KAAK,EAAE,cAAc,KAAK,OAAO,EAC3C,QAAQ,EAAE,CAAC,KAAK,EAAE,cAAc,KAAK,OAAO,GAC3C,WAAW,GAAG,IAAI,CAOpB"}

package/dist/src/analysis/clusters/cluster-pairs.js

@@ -0,0 +1,10 @@
+import { PAIRED_CLUSTER_SIZE } from "../constants.js";
+export function distinctClusterPair(members, isFirst, isSecond) {
+    if (members.length !== PAIRED_CLUSTER_SIZE) {
+        return null;
+    }
+    const first = members.find((state) => isFirst(state));
+    const second = members.find((state) => isSecond(state));
+    return first && second && first !== second ? { first, second } : null;
+}
+//# sourceMappingURL=cluster-pairs.js.map

package/dist/src/analysis/clusters/cluster-pairs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cluster-pairs.js","sourceRoot":"","sources":["../../../../src/analysis/clusters/cluster-pairs.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAYtD,MAAM,UAAU,mBAAmB,CACjC,OAAkC,EAClC,OAA2C,EAC3C,QAA4C;IAE5C,IAAI,OAAO,CAAC,MAAM,KAAK,mBAAmB,EAAE,CAAC;QAC3C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IACxD,OAAO,KAAK,IAAI,MAAM,IAAI,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACxE,CAAC"}

package/dist/src/analysis/clusters/cowritten-clusters.d.ts

@@ -0,0 +1,20 @@
+import type { ClassifiedState, StateCandidate, StateCluster } from "../model.js";
+import type { StateFlowIndex } from "../../project/state-flow/state-flow.js";
+import type ts from "typescript";
+export interface CowrittenClusterScope {
+    /** Classifies one state as if no other React state were written alongside it. */
+    readonly classifyAlone: (state: StateCandidate) => ClassifiedState;
+    readonly hasCustomHookPresentationConsumer: (state: StateCandidate) => boolean;
+    readonly sourceFile: ts.SourceFile;
+    readonly stateFlow: StateFlowIndex;
+}
+/**
+ * States that a handler writes together block each other's single-state proofs: migrating one while
+ * a companion stays in React leaves the owner render in place. When every state that can possibly be
+ * written alongside a member is itself a member, and each member alone would earn an observable
+ * verdict, the whole closed group migrates as one observable object and the owner render goes away.
+ */
+export declare function findCowrittenStateClusters(states: readonly StateCandidate[], scope: CowrittenClusterScope): ReadonlyMap<StateCandidate, StateCluster>;
+/** The shared instruction every member of a co-written group carries. */
+export declare function cowrittenGroupIntro(names: readonly string[], hookOwned: boolean): string;
+//# sourceMappingURL=cowritten-clusters.d.ts.map

package/dist/src/analysis/clusters/cowritten-clusters.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cowritten-clusters.d.ts","sourceRoot":"","sources":["../../../../src/analysis/clusters/cowritten-clusters.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,eAAe,EAAkB,cAAc,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAIjG,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAC;AAG7E,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,MAAM,WAAW,qBAAqB;IACpC,iFAAiF;IACjF,QAAQ,CAAC,aAAa,EAAE,CAAC,KAAK,EAAE,cAAc,KAAK,eAAe,CAAC;IACnE,QAAQ,CAAC,iCAAiC,EAAE,CAAC,KAAK,EAAE,cAAc,KAAK,OAAO,CAAC;IAC/E,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;IACnC,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;CACpC;AAuBD;;;;;GAKG;AACH,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,SAAS,cAAc,EAAE,EACjC,KAAK,EAAE,qBAAqB,GAC3B,WAAW,CAAC,cAAc,EAAE,YAAY,CAAC,CAU3C;AAsFD,yEAAyE;AACzE,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,EAAE,SAAS,EAAE,OAAO,GAAG,MAAM,CAIxF"}

package/dist/src/analysis/clusters/cowritten-clusters.js

@@ -0,0 +1,104 @@
+import { COMPACT_OWNER_JSX_ELEMENTS, PAIRED_CLUSTER_SIZE } from "../constants.js";
+import { collectSetterMutations, groupSettableStatesByOwner } from "../companion-writes.js";
+import { DisjointSet } from "./disjoint-set.js";
+import { isCustomHookOwner } from "../ast-helpers.js";
+import { jsxElementCount } from "../../rules/state-proofs/jsx-subtrees.js";
+/**
+ * States that a handler writes together block each other's single-state proofs: migrating one while
+ * a companion stays in React leaves the owner render in place. When every state that can possibly be
+ * written alongside a member is itself a member, and each member alone would earn an observable
+ * verdict, the whole closed group migrates as one observable object and the owner render goes away.
+ */
+export function findCowrittenStateClusters(states, scope) {
+    const result = new Map();
+    for (const [owner, ownerStates] of groupSettableStatesByOwner(states)) {
+        for (const cluster of ownerClusters(owner, ownerStates, scope)) {
+            for (const member of cluster.members) {
+                result.set(member, cluster);
+            }
+        }
+    }
+    return result;
+}
+function ownerClusters(owner, ownerStates, scope) {
+    const hookOwned = isCustomHookOwner(owner);
+    if (jsxElementCount(owner) < COMPACT_OWNER_JSX_ELEMENTS && !hookOwned) {
+        return [];
+    }
+    const coexecution = ownerCoexecution(collectSetterMutations(owner, ownerStates), scope.stateFlow);
+    if (coexecution.proven.length === 0) {
+        return [];
+    }
+    const union = new DisjointSet(ownerStates.length);
+    for (const [left, right] of coexecution.possible) {
+        union.join(ownerStates.indexOf(left.state), ownerStates.indexOf(right.state));
+    }
+    return union
+        .groups(ownerStates)
+        .filter((members) => members.length >= PAIRED_CLUSTER_SIZE)
+        .flatMap((members) => closedClusterFor({ hookOwned, members, proven: coexecution.proven, scope }) ?? []);
+}
+function ownerCoexecution(mutations, stateFlow) {
+    const possible = [];
+    const proven = [];
+    for (const [leftIndex, left] of mutations.entries()) {
+        for (const right of mutations.slice(leftIndex + 1)) {
+            const proof = pairProof(left, right, stateFlow);
+            if (proof !== "disproven") {
+                possible.push([left, right]);
+            }
+            if (proof === "proven") {
+                proven.push([left, right]);
+            }
+        }
+    }
+    return { possible, proven };
+}
+function pairProof(left, right, stateFlow) {
+    if (left.state === right.state || left.region !== right.region) {
+        return "disproven";
+    }
+    return stateFlow.proveSynchronousCoexecution(left.region, left.call, right.call);
+}
+function closedClusterFor({ hookOwned, members, proven, scope, }) {
+    if (!members.every((member) => hasProvenCompanion(member, proven)) ||
+        (hookOwned && !members.every((member) => scope.hasCustomHookPresentationConsumer(member)))) {
+        return null;
+    }
+    const memberMessages = new Map();
+    for (const member of members) {
+        const alone = scope.classifyAlone(member);
+        if (alone.action !== "use-observable") {
+            return null;
+        }
+        memberMessages.set(member, alone.message);
+    }
+    return cowrittenCluster({ hookOwned, memberMessages, members, sourceFile: scope.sourceFile });
+}
+function hasProvenCompanion(state, proven) {
+    return proven.some(([left, right]) => left.state === state || right.state === state);
+}
+/** The shared instruction every member of a co-written group carries. */
+export function cowrittenGroupIntro(names, hookOwned) {
+    const quoted = names.map((name) => `\`${name}\``).join(", ");
+    const lifetime = hookOwned ? "hook-lifetime" : "component-lifetime";
+    return `Replace the co-written React states (${quoted}) with one ${lifetime} observable object; write the members a handler changes together with one atomic \`assign\` so no render observes a partial transition, and keep single-member writes as leaf \`set\` calls.`;
+}
+function cowrittenCluster({ hookOwned, memberMessages, members, sourceFile, }) {
+    const sorted = members.toSorted((left, right) => left.call.getStart() - right.call.getStart());
+    const [primary] = sorted;
+    const names = sorted.map((state) => state.valueName);
+    const intro = cowrittenGroupIntro(names, hookOwned);
+    return {
+        action: "use-observable",
+        id: `state-cluster:cowritten:${primary.owner.getStart(sourceFile)}:${names.join(",")}`,
+        memberMessages: new Map(sorted.map((state) => [
+            state,
+            `${intro} For \`${state.valueName}\`: ${memberMessages.get(state) ?? ""}`,
+        ])),
+        members: sorted,
+        message: intro,
+        primary: primary,
+    };
+}
+//# sourceMappingURL=cowritten-clusters.js.map

package/dist/src/analysis/clusters/cowritten-clusters.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cowritten-clusters.js","sourceRoot":"","sources":["../../../../src/analysis/clusters/cowritten-clusters.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAElF,OAAO,EAAE,sBAAsB,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAC;AAC5F,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAGhD,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,0CAA0C,CAAC;AAgC3E;;;;;GAKG;AACH,MAAM,UAAU,0BAA0B,CACxC,MAAiC,EACjC,KAA4B;IAE5B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAgC,CAAC;IACvD,KAAK,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,0BAA0B,CAAC,MAAM,CAAC,EAAE,CAAC;QACtE,KAAK,MAAM,OAAO,IAAI,aAAa,CAAC,KAAK,EAAE,WAAW,EAAE,KAAK,CAAC,EAAE,CAAC;YAC/D,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;gBACrC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YAC9B,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,aAAa,CACpB,KAA0B,EAC1B,WAAsC,EACtC,KAA4B;IAE5B,MAAM,SAAS,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,eAAe,CAAC,KAAK,CAAC,GAAG,0BAA0B,IAAI,CAAC,SAAS,EAAE,CAAC;QACtE,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,WAAW,GAAG,gBAAgB,CAAC,sBAAsB,CAAC,KAAK,EAAE,WAAW,CAAC,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IAClG,IAAI,WAAW,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpC,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,WAAW,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,WAAW,CAAC,QAAQ,EAAE,CAAC;QACjD,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,KAAK;SACT,MAAM,CAAC,WAAW,CAAC;SACnB,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,IAAI,mBAAmB,CAAC;SAC1D,OAAO,CACN,CAAC,OAAO,EAAE,EAAE,CACV,gBAAgB,CAAC,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,IAAI,EAAE,CACpF,CAAC;AACN,CAAC;AAED,SAAS,gBAAgB,CACvB,SAAoC,EACpC,SAAyB;IAEzB,MAAM,QAAQ,GAAsB,EAAE,CAAC;IACvC,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,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,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;YAChD,IAAI,KAAK,KAAK,WAAW,EAAE,CAAC;gBAC1B,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;YAC/B,CAAC;YACD,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;gBACvB,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AAC9B,CAAC;AAED,SAAS,SAAS,CAChB,IAAoB,EACpB,KAAqB,EACrB,SAAyB;IAEzB,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QAC/D,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,OAAO,SAAS,CAAC,2BAA2B,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;AACnF,CAAC;AAED,SAAS,gBAAgB,CAAC,EACxB,SAAS,EACT,OAAO,EACP,MAAM,EACN,KAAK,GACc;IACnB,IACE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC9D,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,iCAAiC,CAAC,MAAM,CAAC,CAAC,CAAC,EAC1F,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,cAAc,GAAG,IAAI,GAAG,EAA0B,CAAC;IACzD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;QAC1C,IAAI,KAAK,CAAC,MAAM,KAAK,gBAAgB,EAAE,CAAC;YACtC,OAAO,IAAI,CAAC;QACd,CAAC;QACD,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,gBAAgB,CAAC,EAAE,SAAS,EAAE,cAAc,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;AAChG,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAqB,EAAE,MAAkC;IACnF,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,KAAK,IAAI,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;AACvF,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,mBAAmB,CAAC,KAAwB,EAAE,SAAkB;IAC9E,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,oBAAoB,CAAC;IACpE,OAAO,wCAAwC,MAAM,cAAc,QAAQ,8LAA8L,CAAC;AAC5Q,CAAC;AAED,SAAS,gBAAgB,CAAC,EACxB,SAAS,EACT,cAAc,EACd,OAAO,EACP,UAAU,GACY;IACtB,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC/F,MAAM,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC;IACzB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACrD,MAAM,KAAK,GAAG,mBAAmB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACpD,OAAO;QACL,MAAM,EAAE,gBAAgB;QACxB,EAAE,EAAE,2BAA2B,OAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;QACvF,cAAc,EAAE,IAAI,GAAG,CACrB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;YACpB,KAAK;YACL,GAAG,KAAK,UAAU,KAAK,CAAC,SAAS,OAAO,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE;SAC1E,CAAC,CACH;QACD,OAAO,EAAE,MAAM;QACf,OAAO,EAAE,KAAK;QACd,OAAO,EAAE,OAAQ;KAClB,CAAC;AACJ,CAAC"}

package/dist/src/analysis/clusters/dialog-cluster.d.ts

@@ -0,0 +1,4 @@
+import type { StateCandidate } from "../model.js";
+import type { ClusterMemberContext } from "./observable-clusters.js";
+export declare function normalizeObservableDialogClusterMembers(members: readonly StateCandidate[], context: ClusterMemberContext): readonly StateCandidate[] | null;
+//# sourceMappingURL=dialog-cluster.d.ts.map

package/dist/src/analysis/clusters/dialog-cluster.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dialog-cluster.d.ts","sourceRoot":"","sources":["../../../../src/analysis/clusters/dialog-cluster.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAkB,cAAc,EAAc,MAAM,aAAa,CAAC;AAQ9E,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AA0CrE,wBAAgB,uCAAuC,CACrD,OAAO,EAAE,SAAS,cAAc,EAAE,EAClC,OAAO,EAAE,oBAAoB,GAC5B,SAAS,cAAc,EAAE,GAAG,IAAI,CAiBlC"}

package/dist/src/analysis/clusters/dialog-cluster.js

@@ -0,0 +1,95 @@
+import { callSetsLiteral, isControlledBooleanTransition, mutationsAreProvenCoexecuting, } from "../mutations.js";
+import { hasDialogPayloadInitializer, isMonotonicDialogLatch } from "./scalar-dialog-cluster.js";
+import { payloadControlsOwnerJsx, stateHasBoundedDialogGate } from "../dialog/dialog-gates.js";
+import { PAIRED_CLUSTER_SIZE } from "../constants.js";
+import { hasStateInitializer } from "../../rules/deferred-reveal/deferred-reveal.js";
+import { stateMayHoldCallable } from "../../rules/state-proofs/state-proofs.js";
+import ts from "typescript";
+function flagOpensWithPayload(flag, payloadOpenMutations, { mutations, stateFlow, usageByState }) {
+    const flagMutations = mutations.filter((mutation) => mutation.state === flag);
+    const openMutations = flagMutations.filter((mutation) => callSetsLiteral(mutation, ts.SyntaxKind.TrueKeyword));
+    const canClose = flagMutations.some((mutation) => callSetsLiteral(mutation, ts.SyntaxKind.FalseKeyword)) ||
+        flagMutations.some((mutation) => isControlledBooleanTransition(mutation)) ||
+        (usageByState.get(flag)?.setterTargets.size ?? 0) > 0;
+    if (openMutations.length === 0 || !canClose) {
+        return false;
+    }
+    return openMutations.some((flagMutation) => payloadOpenMutations.some((payloadMutation) => flagMutation.region === payloadMutation.region &&
+        mutationsAreProvenCoexecuting(flagMutation.call, payloadMutation.call, {
+            region: flagMutation.region,
+            stateFlow,
+        })));
+}
+export function normalizeObservableDialogClusterMembers(members, context) {
+    const { mutations, stateFlow, usageByState } = context;
+    const roles = dialogClusterRoles(members, context);
+    if (!roles) {
+        return null;
+    }
+    const { latch, payload, payloadOpenMutations } = roles;
+    const targetSets = dialogMemberTargetSets(members, { latch, payload }, context);
+    if (!targetSets || !targetSets.some((targets) => targets.size > 0)) {
+        return null;
+    }
+    const flagsPairWithPayload = roles.flags.every((flag) => flag === latch ||
+        flagOpensWithPayload(flag, payloadOpenMutations, { mutations, stateFlow, usageByState }));
+    return flagsPairWithPayload && dialogGatesAreBounded(members, roles, context) ? members : null;
+}
+function dialogClusterRoles(members, context) {
+    const payloads = members.filter((member) => hasDialogPayloadInitializer(member));
+    const flags = members.filter((state) => hasStateInitializer(state, ts.SyntaxKind.FalseKeyword));
+    const [payload] = payloads;
+    if (members.length < PAIRED_CLUSTER_SIZE ||
+        payloads.length !== 1 ||
+        !payload ||
+        flags.length === 0 ||
+        payloads.length + flags.length !== members.length) {
+        return null;
+    }
+    const payloadOpenMutations = context.mutations.filter((mutation) => mutation.state === payload && !callSetsLiteral(mutation, ts.SyntaxKind.NullKeyword));
+    const latches = flags.filter((flag) => isMonotonicDialogLatch(flag, payloadOpenMutations, context));
+    if (payloadOpenMutations.length === 0 || latches.length > 1) {
+        return null;
+    }
+    return { flags, latch: latches[0] ?? null, payload, payloadOpenMutations };
+}
+function dialogGatesAreBounded(members, { latch, payload }, context) {
+    if (payloadControlsOwnerJsx(payload, context.knownComponents) &&
+        !stateHasBoundedDialogGate(payload, members, context)) {
+        return false;
+    }
+    return !latch || stateHasBoundedDialogGate(latch, members, context);
+}
+function dialogMemberTargetSets(members, roles, { knownComponents, usageByState }) {
+    const targetSets = [];
+    for (const member of members) {
+        const usage = usageByState.get(member);
+        if (!usage || !dialogMemberUsageIsIsolated(member, usage)) {
+            return null;
+        }
+        const targets = new Set([...usage.jsxTargets].filter((target) => knownComponents.has(target)));
+        if (!dialogMemberTargetsAreSufficient({ state: member, usage }, targets, roles)) {
+            return null;
+        }
+        targetSets.push(targets);
+    }
+    return targetSets;
+}
+function dialogMemberUsageIsIsolated(member, usage) {
+    return (!usage.shadowed &&
+        !usage.escaped &&
+        !stateMayHoldCallable(member) &&
+        usage.effectReads === 0 &&
+        usage.effectWrites === 0 &&
+        !usage.setterUsesPreviousValue);
+}
+function dialogMemberTargetsAreSufficient({ state: member, usage }, targets, { latch, payload }) {
+    if (targets.size > 0) {
+        return true;
+    }
+    if (member !== payload && member !== latch) {
+        return false;
+    }
+    return member !== payload || usage.localRenderReads > 0 || usage.deferredReads > 0;
+}
+//# sourceMappingURL=dialog-cluster.js.map

package/dist/src/analysis/clusters/dialog-cluster.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dialog-cluster.js","sourceRoot":"","sources":["../../../../src/analysis/clusters/dialog-cluster.ts"],"names":[],"mappings":"AACA,OAAO,EACL,eAAe,EACf,6BAA6B,EAC7B,6BAA6B,GAC9B,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,2BAA2B,EAAE,sBAAsB,EAAE,MAAM,4BAA4B,CAAC;AACjG,OAAO,EAAE,uBAAuB,EAAE,yBAAyB,EAAE,MAAM,2BAA2B,CAAC;AAE/F,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAGtD,OAAO,EAAE,mBAAmB,EAAE,MAAM,gDAAgD,CAAC;AACrF,OAAO,EAAE,oBAAoB,EAAE,MAAM,0CAA0C,CAAC;AAChF,OAAO,EAAE,MAAM,YAAY,CAAC;AAQ5B,SAAS,oBAAoB,CAC3B,IAAoB,EACpB,oBAA+C,EAC/C,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,EAA0B;IAE9D,MAAM,aAAa,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;IAC9E,MAAM,aAAa,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CACtD,eAAe,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CACrD,CAAC;IACF,MAAM,QAAQ,GACZ,aAAa,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,eAAe,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;QACvF,aAAa,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC,CAAC;QACzE,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IACxD,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC5C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,EAAE,CACzC,oBAAoB,CAAC,IAAI,CACvB,CAAC,eAAe,EAAE,EAAE,CAClB,YAAY,CAAC,MAAM,KAAK,eAAe,CAAC,MAAM;QAC9C,6BAA6B,CAAC,YAAY,CAAC,IAAI,EAAE,eAAe,CAAC,IAAI,EAAE;YACrE,MAAM,EAAE,YAAY,CAAC,MAAM;YAC3B,SAAS;SACV,CAAC,CACL,CACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uCAAuC,CACrD,OAAkC,EAClC,OAA6B;IAE7B,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,GAAG,OAAO,CAAC;IACvD,MAAM,KAAK,GAAG,kBAAkB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACnD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,oBAAoB,EAAE,GAAG,KAAK,CAAC;IACvD,MAAM,UAAU,GAAG,sBAAsB,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,OAAO,CAAC,CAAC;IAChF,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC;QACnE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,oBAAoB,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAC5C,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,KAAK,KAAK;QACd,oBAAoB,CAAC,IAAI,EAAE,oBAAoB,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC,CAC3F,CAAC;IACF,OAAO,oBAAoB,IAAI,qBAAqB,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AACjG,CAAC;AAOD,SAAS,kBAAkB,CACzB,OAAkC,EAClC,OAA6B;IAE7B,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,2BAA2B,CAAC,MAAM,CAAC,CAAC,CAAC;IACjF,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC;IAChG,MAAM,CAAC,OAAO,CAAC,GAAG,QAAQ,CAAC;IAC3B,IACE,OAAO,CAAC,MAAM,GAAG,mBAAmB;QACpC,QAAQ,CAAC,MAAM,KAAK,CAAC;QACrB,CAAC,OAAO;QACR,KAAK,CAAC,MAAM,KAAK,CAAC;QAClB,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,EACjD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,oBAAoB,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CACnD,CAAC,QAAQ,EAAE,EAAE,CACX,QAAQ,CAAC,KAAK,KAAK,OAAO,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CACtF,CAAC;IACF,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CACpC,sBAAsB,CAAC,IAAI,EAAE,oBAAoB,EAAE,OAAO,CAAC,CAC5D,CAAC;IACF,IAAI,oBAAoB,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC;AAC7E,CAAC;AAED,SAAS,qBAAqB,CAC5B,OAAkC,EAClC,EAAE,KAAK,EAAE,OAAO,EAAsB,EACtC,OAA6B;IAE7B,IACE,uBAAuB,CAAC,OAAO,EAAE,OAAO,CAAC,eAAe,CAAC;QACzD,CAAC,yBAAyB,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,EACrD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CAAC,KAAK,IAAI,yBAAyB,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;AACtE,CAAC;AAOD,SAAS,sBAAsB,CAC7B,OAAkC,EAClC,KAAyB,EACzB,EAAE,eAAe,EAAE,YAAY,EAAwB;IAEvD,MAAM,UAAU,GAA0B,EAAE,CAAC;IAC7C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACvC,IAAI,CAAC,KAAK,IAAI,CAAC,2BAA2B,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;YAC1D,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/F,IAAI,CAAC,gCAAgC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;YAChF,OAAO,IAAI,CAAC;QACd,CAAC;QACD,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,2BAA2B,CAAC,MAAsB,EAAE,KAAiB;IAC5E,OAAO,CACL,CAAC,KAAK,CAAC,QAAQ;QACf,CAAC,KAAK,CAAC,OAAO;QACd,CAAC,oBAAoB,CAAC,MAAM,CAAC;QAC7B,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,KAAK,CAAC,YAAY,KAAK,CAAC;QACxB,CAAC,KAAK,CAAC,uBAAuB,CAC/B,CAAC;AACJ,CAAC;AAED,SAAS,gCAAgC,CACvC,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAoB,EAC1C,OAA4B,EAC5B,EAAE,KAAK,EAAE,OAAO,EAAsB;IAEtC,IAAI,OAAO,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACrB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,MAAM,KAAK,OAAO,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;QAC3C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,MAAM,KAAK,OAAO,IAAI,KAAK,CAAC,gBAAgB,GAAG,CAAC,IAAI,KAAK,CAAC,aAAa,GAAG,CAAC,CAAC;AACrF,CAAC"}

package/dist/src/analysis/clusters/disjoint-set.d.ts

@@ -0,0 +1,8 @@
+export declare class DisjointSet {
+    private readonly parents;
+    constructor(size: number);
+    rootOf(index: number): number;
+    join(left: number, right: number): void;
+    groups<Item>(items: readonly Item[]): readonly Item[][];
+}
+//# sourceMappingURL=disjoint-set.d.ts.map

package/dist/src/analysis/clusters/disjoint-set.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"disjoint-set.d.ts","sourceRoot":"","sources":["../../../../src/analysis/clusters/disjoint-set.ts"],"names":[],"mappings":"AAAA,qBAAa,WAAW;IACtB,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAW;gBAEhB,IAAI,EAAE,MAAM;IAIxB,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAU7B,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI;IAQvC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,IAAI,EAAE,GAAG,SAAS,IAAI,EAAE,EAAE;CAU/D"}

package/dist/src/analysis/clusters/disjoint-set.js

@@ -0,0 +1,33 @@
+export class DisjointSet {
+    parents;
+    constructor(size) {
+        this.parents = Array.from({ length: size }, (_unused, index) => index);
+    }
+    rootOf(index) {
+        const parent = this.parents[index];
+        if (parent === undefined || parent === index) {
+            return index;
+        }
+        const root = this.rootOf(parent);
+        this.parents[index] = root;
+        return root;
+    }
+    join(left, right) {
+        const leftRoot = this.rootOf(left);
+        const rightRoot = this.rootOf(right);
+        if (leftRoot !== rightRoot) {
+            this.parents[rightRoot] = leftRoot;
+        }
+    }
+    groups(items) {
+        const byRoot = new Map();
+        for (const [index, item] of items.entries()) {
+            const root = this.rootOf(index);
+            const members = byRoot.get(root) ?? [];
+            members.push(item);
+            byRoot.set(root, members);
+        }
+        return [...byRoot.values()];
+    }
+}
+//# sourceMappingURL=disjoint-set.js.map

package/dist/src/analysis/clusters/disjoint-set.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"disjoint-set.js","sourceRoot":"","sources":["../../../../src/analysis/clusters/disjoint-set.ts"],"names":[],"mappings":"AAAA,MAAM,OAAO,WAAW;IACL,OAAO,CAAW;IAEnC,YAAmB,IAAY;QAC7B,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;IACzE,CAAC;IAEM,MAAM,CAAC,KAAa;QACzB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;YAC7C,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACjC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;QAC3B,OAAO,IAAI,CAAC;IACd,CAAC;IAEM,IAAI,CAAC,IAAY,EAAE,KAAa;QACrC,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,QAAQ,CAAC;QACrC,CAAC;IACH,CAAC;IAEM,MAAM,CAAO,KAAsB;QACxC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;QACzC,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;YAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAChC,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACvC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC5B,CAAC;QACD,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAC9B,CAAC;CACF"}

package/dist/src/analysis/clusters/gated-feedback-cluster.d.ts

@@ -0,0 +1,6 @@
+import type { StateCandidate } from "../model.js";
+import type { ClusterMemberContext } from "./observable-clusters.js";
+import ts from "typescript";
+export declare function normalizeGatedFeedbackClusterMembers(members: readonly StateCandidate[], { mutations, stateFlow, usageByState }: ClusterMemberContext): readonly StateCandidate[] | null;
+export declare function isDirectTruthyStateCondition(expression: ts.Expression, stateName: string): boolean;
+//# sourceMappingURL=gated-feedback-cluster.d.ts.map

package/dist/src/analysis/clusters/gated-feedback-cluster.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"gated-feedback-cluster.d.ts","sourceRoot":"","sources":["../../../../src/analysis/clusters/gated-feedback-cluster.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAoC,cAAc,EAAc,MAAM,aAAa,CAAC;AAoBhG,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAOrE,OAAO,EAAE,MAAM,YAAY,CAAC;AAyE5B,wBAAgB,oCAAoC,CAClD,OAAO,EAAE,SAAS,cAAc,EAAE,EAClC,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,EAAE,oBAAoB,GAC3D,SAAS,cAAc,EAAE,GAAG,IAAI,CAqBlC;AA0HD,wBAAgB,4BAA4B,CAC1C,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,SAAS,EAAE,MAAM,GAChB,OAAO,CAaT"}