legend-doctor 0.1.0

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

@@ -0,0 +1,76 @@
+import { callSetsLiteral, mutationsWriteTogether } from "../mutations.js";
+import { setterCallUsesPreviousValue, stateMayHoldCallable, } from "../../rules/state-proofs/state-proofs.js";
+import { MIN_REPEATED_SETTER_CALLS } from "../constants.js";
+import { distinctClusterPair } from "./cluster-pairs.js";
+import { findAncestorUntil } from "../../core/ast.js";
+import { hasStateInitializer } from "../../rules/deferred-reveal/deferred-reveal.js";
+import ts from "typescript";
+import { unwrapTransparentExpression } from "../../core/analysis-ast.js";
+function selectionModeUsageIsIsolated(mode, selection, { firstUsage: modeUsage, secondUsage: selectionUsage }) {
+    if (!modeUsage || !selectionUsage) {
+        return false;
+    }
+    return (![modeUsage, selectionUsage].some((usage) => usage.shadowed || usage.escaped || usage.effectReads > 0 || usage.effectWrites > 0) &&
+        !modeUsage.setterUsesPreviousValue &&
+        !stateMayHoldCallable(mode) &&
+        !stateMayHoldCallable(selection) &&
+        modeUsage.setterReferences === modeUsage.setterCalls &&
+        selectionUsage.setterReferences === selectionUsage.setterCalls &&
+        renderReadsStayInJsxAttributes(mode, modeUsage) &&
+        renderReadsStayInJsxAttributes(selection, selectionUsage));
+}
+function selectionMutationsToggleAndReset(modeMutations, selectionMutations, resets) {
+    const edits = selectionMutations.filter((mutation) => !callSetsEmptyArray(mutation));
+    return (modeMutations.length >= MIN_REPEATED_SETTER_CALLS &&
+        resets.length > 0 &&
+        edits.length > 0 &&
+        modeMutations.some((mutation) => callSetsLiteral(mutation, ts.SyntaxKind.TrueKeyword)) &&
+        modeMutations.some((mutation) => callSetsLiteral(mutation, ts.SyntaxKind.FalseKeyword)) &&
+        edits.every((mutation) => setterCallUsesPreviousValue(mutation.call)));
+}
+export function normalizeObservableSelectionClusterMembers(members, { mutations, stateFlow, usageByState }) {
+    const pair = distinctClusterPair(members, (state) => hasStateInitializer(state, ts.SyntaxKind.FalseKeyword), (state) => hasEmptyArrayStateInitializer(state));
+    if (!pair) {
+        return null;
+    }
+    const { first: mode, second: selection } = pair;
+    if (!selectionModeUsageIsIsolated(mode, selection, {
+        firstUsage: usageByState.get(mode),
+        secondUsage: usageByState.get(selection),
+    })) {
+        return null;
+    }
+    const modeMutations = mutations.filter((mutation) => mutation.state === mode);
+    const selectionMutations = mutations.filter((mutation) => mutation.state === selection);
+    return selectionModeWritesPairWithResets(modeMutations, selectionMutations, stateFlow)
+        ? [mode, selection]
+        : null;
+}
+function selectionModeWritesPairWithResets(modeMutations, selectionMutations, stateFlow) {
+    const resets = selectionMutations.filter((mutation) => callSetsEmptyArray(mutation));
+    if (!selectionMutationsToggleAndReset(modeMutations, selectionMutations, resets)) {
+        return false;
+    }
+    return modeMutations.every((modeMutation) => resets.some((reset) => mutationsWriteTogether(modeMutation, reset, stateFlow)));
+}
+function hasEmptyArrayStateInitializer(state) {
+    const [initializer] = state.call.arguments;
+    if (!initializer) {
+        return false;
+    }
+    const value = unwrapTransparentExpression(initializer);
+    return ts.isArrayLiteralExpression(value) && value.elements.length === 0;
+}
+function callSetsEmptyArray(mutation) {
+    const [argument] = mutation.call.arguments;
+    if (!argument) {
+        return false;
+    }
+    const value = unwrapTransparentExpression(argument);
+    return ts.isArrayLiteralExpression(value) && value.elements.length === 0;
+}
+function renderReadsStayInJsxAttributes(state, usage) {
+    return (usage.localRenderReads + usage.transportedOccurrences > 0 &&
+        usage.directRenderNodes.every((node) => findAncestorUntil(node, ts.isJsxAttribute, state.owner) !== null));
+}
+//# sourceMappingURL=selection-cluster.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"selection-cluster.js","sourceRoot":"","sources":["../../../../src/analysis/clusters/selection-cluster.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AAC1E,OAAO,EACL,2BAA2B,EAC3B,oBAAoB,GACrB,MAAM,0CAA0C,CAAC;AAGlD,OAAO,EAAE,yBAAyB,EAAE,MAAM,iBAAiB,CAAC;AAE5D,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,mBAAmB,EAAE,MAAM,gDAAgD,CAAC;AACrF,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AAEzE,SAAS,4BAA4B,CACnC,IAAoB,EACpB,SAAyB,EACzB,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,cAAc,EAAoB;IAExE,IAAI,CAAC,SAAS,IAAI,CAAC,cAAc,EAAE,CAAC;QAClC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CACL,CAAC,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC,IAAI,CAC/B,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,WAAW,GAAG,CAAC,IAAI,KAAK,CAAC,YAAY,GAAG,CAAC,CAC9F;QACD,CAAC,SAAS,CAAC,uBAAuB;QAClC,CAAC,oBAAoB,CAAC,IAAI,CAAC;QAC3B,CAAC,oBAAoB,CAAC,SAAS,CAAC;QAChC,SAAS,CAAC,gBAAgB,KAAK,SAAS,CAAC,WAAW;QACpD,cAAc,CAAC,gBAAgB,KAAK,cAAc,CAAC,WAAW;QAC9D,8BAA8B,CAAC,IAAI,EAAE,SAAS,CAAC;QAC/C,8BAA8B,CAAC,SAAS,EAAE,cAAc,CAAC,CAC1D,CAAC;AACJ,CAAC;AAED,SAAS,gCAAgC,CACvC,aAAwC,EACxC,kBAA6C,EAC7C,MAAiC;IAEjC,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC;IACrF,OAAO,CACL,aAAa,CAAC,MAAM,IAAI,yBAAyB;QACjD,MAAM,CAAC,MAAM,GAAG,CAAC;QACjB,KAAK,CAAC,MAAM,GAAG,CAAC;QAChB,aAAa,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,eAAe,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;QACtF,aAAa,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,eAAe,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;QACvF,KAAK,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,2BAA2B,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CACtE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0CAA0C,CACxD,OAAkC,EAClC,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,EAAwB;IAE5D,MAAM,IAAI,GAAG,mBAAmB,CAC9B,OAAO,EACP,CAAC,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,EACjE,CAAC,KAAK,EAAE,EAAE,CAAC,6BAA6B,CAAC,KAAK,CAAC,CAChD,CAAC;IACF,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,IAAI,CAAC;IAChD,IACE,CAAC,4BAA4B,CAAC,IAAI,EAAE,SAAS,EAAE;QAC7C,UAAU,EAAE,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC;QAClC,WAAW,EAAE,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC;KACzC,CAAC,EACF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,aAAa,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;IAC9E,MAAM,kBAAkB,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;IACxF,OAAO,iCAAiC,CAAC,aAAa,EAAE,kBAAkB,EAAE,SAAS,CAAC;QACpF,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC;QACnB,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,iCAAiC,CACxC,aAAwC,EACxC,kBAA6C,EAC7C,SAAyB;IAEzB,MAAM,MAAM,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC;IACrF,IAAI,CAAC,gCAAgC,CAAC,aAAa,EAAE,kBAAkB,EAAE,MAAM,CAAC,EAAE,CAAC;QACjF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC,YAAY,EAAE,EAAE,CAC1C,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,YAAY,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAC/E,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CAAC,KAAqB;IAC1D,MAAM,CAAC,WAAW,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC;IAC3C,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAAG,2BAA2B,CAAC,WAAW,CAAC,CAAC;IACvD,OAAO,EAAE,CAAC,wBAAwB,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,kBAAkB,CAAC,QAAwB;IAClD,MAAM,CAAC,QAAQ,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC;IAC3C,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAAG,2BAA2B,CAAC,QAAQ,CAAC,CAAC;IACpD,OAAO,EAAE,CAAC,wBAAwB,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,8BAA8B,CAAC,KAAqB,EAAE,KAAiB;IAC9E,OAAO,CACL,KAAK,CAAC,gBAAgB,GAAG,KAAK,CAAC,sBAAsB,GAAG,CAAC;QACzD,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAC3B,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI,CAC3E,CACF,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,4 @@
+import type { StateCandidate, StateCluster, StateSubtree } from "../model.js";
+import type { StateCompanionWrites } from "../companion-writes.js";
+export declare function findStateSubtreeClusters(subtreeByState: ReadonlyMap<StateCandidate, StateSubtree>, companionWrites: StateCompanionWrites): ReadonlyMap<StateCandidate, StateCluster>;
+//# sourceMappingURL=subtree-clusters.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"subtree-clusters.d.ts","sourceRoot":"","sources":["../../../../src/analysis/clusters/subtree-clusters.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAG9E,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AA+EnE,wBAAgB,wBAAwB,CACtC,cAAc,EAAE,WAAW,CAAC,cAAc,EAAE,YAAY,CAAC,EACzD,eAAe,EAAE,oBAAoB,GACpC,WAAW,CAAC,cAAc,EAAE,YAAY,CAAC,CAgB3C"}

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

@@ -0,0 +1,89 @@
+import { PAIRED_CLUSTER_SIZE } from "../constants.js";
+import { closureConfinedReferences } from "../subtree/closure-confinement.js";
+import { lowestCommonJsxSubtree } from "../../rules/state-proofs/jsx-subtrees.js";
+import { stateSubtreeResult } from "../subtree/materiality.js";
+import { subtreeClusterOwnership } from "../ast-helpers.js";
+/**
+ * A co-written state only enters a group through a direct confinement proof, which shows the handler
+ * writing both states moves with them; a gate or projection subtree proves nothing about the writes.
+ */
+function groupCandidatesBySubtree(subtreeByState, { all }) {
+    const bySubtree = new Map();
+    for (const [state, subtree] of subtreeByState) {
+        if (all.has(state) && subtree.kind !== "direct") {
+            continue;
+        }
+        const members = bySubtree.get(subtree.node) ?? [];
+        members.push({ state, subtree });
+        bySubtree.set(subtree.node, members);
+    }
+    return bySubtree;
+}
+/**
+ * A state written alongside a group member joins the group when its own references, and the
+ * declarations holding them, are confined to the same subtree node; the handler that writes both
+ * then moves into the leaf with them.
+ */
+function confinedPartner(partner, node) {
+    const confined = closureConfinedReferences(partner);
+    if (!confined || lowestCommonJsxSubtree(confined.nodes, partner.owner) !== node) {
+        return null;
+    }
+    return {
+        state: partner,
+        subtree: stateSubtreeResult("direct", node, {
+            movedDeclarations: confined.movedDeclarations,
+            renderNodes: confined.nodes,
+            state: partner,
+        }),
+    };
+}
+function withConfinedPartners(candidates, node, { partners }) {
+    const members = new Map(candidates.map((candidate) => [candidate.state, candidate]));
+    const pending = candidates.flatMap((candidate) => [...(partners.get(candidate.state) ?? [])]);
+    while (pending.length > 0) {
+        const partner = pending.pop();
+        const candidate = members.has(partner) ? null : confinedPartner(partner, node);
+        if (candidate) {
+            members.set(partner, candidate);
+            pending.push(...(partners.get(partner) ?? []));
+        }
+    }
+    return [...members.values()];
+}
+function companionsStayInside(candidates, { partners }) {
+    const members = new Set(candidates.map((candidate) => candidate.state));
+    return candidates.every((candidate) => [...(partners.get(candidate.state) ?? [])].every((partner) => members.has(partner)));
+}
+export function findStateSubtreeClusters(subtreeByState, companionWrites) {
+    const result = new Map();
+    for (const [node, grouped] of groupCandidatesBySubtree(subtreeByState, companionWrites)) {
+        const candidates = withConfinedPartners(grouped, node, companionWrites);
+        if (candidates.length < PAIRED_CLUSTER_SIZE ||
+            !companionsStayInside(candidates, companionWrites)) {
+            continue;
+        }
+        const cluster = subtreeCluster(candidates);
+        for (const member of cluster.members) {
+            result.set(member, cluster);
+        }
+    }
+    return result;
+}
+function subtreeCluster(candidates) {
+    const first = candidates[0];
+    const members = candidates.map((candidate) => candidate.state);
+    const names = members.map((member) => member.valueName);
+    const repeated = candidates.some((candidate) => candidate.subtree.repeated);
+    const needsObservable = repeated ||
+        candidates.some((candidate) => candidate.subtree.unstable || candidate.subtree.kind !== "direct");
+    const ownership = subtreeClusterOwnership(repeated, needsObservable);
+    return {
+        action: needsObservable ? "use-observable" : "move-state-down",
+        id: `state-cluster:subtree:${first.state.owner.getStart()}:${first.subtree.node.getStart()}:${names.join(",")}`,
+        members,
+        message: `Extract the ${first.subtree.label} subtree at line ${first.subtree.line}; ${ownership} for the confined state cluster (${names.map((name) => `\`${name}\``).join(", ")}).`,
+        primary: members[0],
+    };
+}
+//# sourceMappingURL=subtree-clusters.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"subtree-clusters.js","sourceRoot":"","sources":["../../../../src/analysis/clusters/subtree-clusters.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAEtD,OAAO,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAC9E,OAAO,EAAE,sBAAsB,EAAE,MAAM,0CAA0C,CAAC;AAClF,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AAO5D;;;GAGG;AACH,SAAS,wBAAwB,CAC/B,cAAyD,EACzD,EAAE,GAAG,EAAwB;IAE7B,MAAM,SAAS,GAAG,IAAI,GAAG,EAAsC,CAAC;IAChE,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,cAAc,EAAE,CAAC;QAC9C,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAChD,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAClD,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;QACjC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CAAC,OAAuB,EAAE,IAAoB;IACpE,MAAM,QAAQ,GAAG,yBAAyB,CAAC,OAAO,CAAC,CAAC;IACpD,IAAI,CAAC,QAAQ,IAAI,sBAAsB,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;QAChF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,KAAK,EAAE,OAAO;QACd,OAAO,EAAE,kBAAkB,CAAC,QAAQ,EAAE,IAAI,EAAE;YAC1C,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;YAC7C,WAAW,EAAE,QAAQ,CAAC,KAAK;YAC3B,KAAK,EAAE,OAAO;SACf,CAAC;KACH,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC3B,UAAuC,EACvC,IAAoB,EACpB,EAAE,QAAQ,EAAwB;IAElC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IACrF,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9F,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,EAAG,CAAC;QAC/B,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC/E,IAAI,SAAS,EAAE,CAAC;YACd,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;YAChC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,oBAAoB,CAC3B,UAAuC,EACvC,EAAE,QAAQ,EAAwB;IAElC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;IACxE,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,EAAE,CACpC,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CACpF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,cAAyD,EACzD,eAAqC;IAErC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAgC,CAAC;IACvD,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,wBAAwB,CAAC,cAAc,EAAE,eAAe,CAAC,EAAE,CAAC;QACxF,MAAM,UAAU,GAAG,oBAAoB,CAAC,OAAO,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC;QACxE,IACE,UAAU,CAAC,MAAM,GAAG,mBAAmB;YACvC,CAAC,oBAAoB,CAAC,UAAU,EAAE,eAAe,CAAC,EAClD,CAAC;YACD,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;QAC3C,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACrC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,cAAc,CAAC,UAAuC;IAC7D,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC;IAC7B,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC5E,MAAM,eAAe,GACnB,QAAQ;QACR,UAAU,CAAC,IAAI,CACb,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,IAAI,SAAS,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,CACjF,CAAC;IACJ,MAAM,SAAS,GAAG,uBAAuB,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC;IACrE,OAAO;QACL,MAAM,EAAE,eAAe,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,iBAAiB;QAC9D,EAAE,EAAE,yBAAyB,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;QAC/G,OAAO;QACP,OAAO,EAAE,eAAe,KAAK,CAAC,OAAO,CAAC,KAAK,oBAAoB,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,oCAAoC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;QACpL,OAAO,EAAE,OAAO,CAAC,CAAC,CAAE;KACrB,CAAC;AACJ,CAAC"}

package/dist/src/analysis/clusters/text-draft-cluster.d.ts

@@ -0,0 +1,5 @@
+import type { SetterMutation, StateCandidate } from "../model.js";
+import type { ClusterMemberContext } from "./observable-clusters.js";
+export declare function normalizeObservableTextDraftClusterMembers(members: readonly StateCandidate[], { mutations, stateFlow, usageByState }: ClusterMemberContext): readonly StateCandidate[] | null;
+export declare function mutationIsEventRooted(mutation: SetterMutation, state: StateCandidate): boolean;
+//# sourceMappingURL=text-draft-cluster.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"text-draft-cluster.d.ts","sourceRoot":"","sources":["../../../../src/analysis/clusters/text-draft-cluster.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAUlE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAqCrE,wBAAgB,0CAA0C,CACxD,OAAO,EAAE,SAAS,cAAc,EAAE,EAClC,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,EAAE,oBAAoB,GAC3D,SAAS,cAAc,EAAE,GAAG,IAAI,CA2BlC;AA8ID,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,cAAc,EAAE,KAAK,EAAE,cAAc,GAAG,OAAO,CAc9F"}

package/dist/src/analysis/clusters/text-draft-cluster.js

@@ -0,0 +1,152 @@
+import { callSetsLiteral, mutationsMayCoexecute, mutationsWriteTogether } from "../mutations.js";
+import { findAncestorUntil, visit } from "../../core/ast.js";
+import { isControlledInteractionProp, isDeclarationName, isDirectJsxAttributeExpression, isNonValueIdentifier, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { MIN_REPEATED_SETTER_CALLS } from "../constants.js";
+import { callbackIsEventRooted } from "../../rules/state-proofs/event-roots.js";
+import { distinctClusterPair } from "./cluster-pairs.js";
+import { hasStateInitializer } from "../../rules/deferred-reveal/deferred-reveal.js";
+import { jsxOpeningForAttribute } from "../callbacks/local-callbacks.js";
+import { stateMayHoldCallable } from "../../rules/state-proofs/state-proofs.js";
+import ts from "typescript";
+function textDraftUsageIsIsolated(cursor, draft, { firstUsage: cursorUsage, secondUsage: draftUsage }) {
+    if (!cursorUsage || !draftUsage) {
+        return false;
+    }
+    return (![cursorUsage, draftUsage].some((usage) => usage.shadowed ||
+        usage.escaped ||
+        usage.effectReads > 0 ||
+        usage.effectWrites > 0 ||
+        usage.setterUsesPreviousValue) &&
+        !stateMayHoldCallable(cursor) &&
+        !stateMayHoldCallable(draft) &&
+        cursorUsage.localRenderReads + cursorUsage.transportedOccurrences > 0 &&
+        draftUsage.localRenderReads + draftUsage.transportedOccurrences > 0 &&
+        cursorUsage.setterReferences === cursorUsage.setterCalls &&
+        setterReferencesAreCallsOrControlledValueWrites(draft));
+}
+export function normalizeObservableTextDraftClusterMembers(members, { mutations, stateFlow, usageByState }) {
+    const pair = distinctClusterPair(members, (state) => hasStateInitializer(state, ts.SyntaxKind.NullKeyword), (state) => hasEmptyStringStateInitializer(state));
+    if (!pair) {
+        return null;
+    }
+    const { first: cursor, second: draft } = pair;
+    if (!textDraftUsageIsIsolated(cursor, draft, {
+        firstUsage: usageByState.get(cursor),
+        secondUsage: usageByState.get(draft),
+    })) {
+        return null;
+    }
+    const cursorMutations = mutations.filter((mutation) => mutation.state === cursor);
+    const draftMutations = mutations.filter((mutation) => mutation.state === draft);
+    return textDraftMutationsPairCursorWithDraft(cursorMutations, draftMutations, {
+        cursor,
+        draft,
+        stateFlow,
+    })
+        ? [cursor, draft]
+        : null;
+}
+function textDraftMutationsPairCursorWithDraft(cursorMutations, draftMutations, { cursor, draft, stateFlow }) {
+    const cursorClears = cursorMutations.filter((mutation) => callSetsLiteral(mutation, ts.SyntaxKind.NullKeyword));
+    const cursorOpens = cursorMutations.filter((mutation) => !callSetsLiteral(mutation, ts.SyntaxKind.NullKeyword));
+    if (cursorMutations.length < MIN_REPEATED_SETTER_CALLS ||
+        draftMutations.length === 0 ||
+        cursorClears.length === 0 ||
+        cursorOpens.length === 0) {
+        return false;
+    }
+    const coexecutes = (left, right) => mutationsWriteTogether(left, right, stateFlow);
+    if (cursorOpens.some((cursorMutation) => !draftMutations.some((draftMutation) => coexecutes(cursorMutation, draftMutation))) ||
+        cursorClears.some((mutation) => !mutationIsEventRooted(mutation, cursor)) ||
+        cursorMutations.some((cursorMutation) => draftMutations.some((draftMutation) => cursorMutation.region === draftMutation.region &&
+            mutationsMayCoexecute(cursorMutation.call, draftMutation.call, {
+                region: cursorMutation.region,
+                stateFlow,
+            }) &&
+            !coexecutes(cursorMutation, draftMutation)))) {
+        return false;
+    }
+    return draftMutations.every((draftMutation) => cursorMutations.some((cursorMutation) => coexecutes(draftMutation, cursorMutation)) ||
+        controlledValueSetterCall(draftMutation.call, draft) ||
+        mutationIsEventRooted(draftMutation, draft));
+}
+function hasEmptyStringStateInitializer(state) {
+    const [initializer] = state.call.arguments;
+    if (!initializer) {
+        return false;
+    }
+    const value = unwrapTransparentExpression(initializer);
+    return ts.isStringLiteral(value) && value.text === "";
+}
+function setterReferencesAreCallsOrControlledValueWrites(state) {
+    if (!state.setterName) {
+        return false;
+    }
+    let controlledWrites = 0;
+    let safe = true;
+    visit(state.owner.body, (node) => {
+        if (!safe ||
+            !ts.isIdentifier(node) ||
+            node.text !== state.setterName ||
+            isDeclarationName(node) ||
+            isNonValueIdentifier(node)) {
+            return;
+        }
+        const classification = classifyControlledSetterReference(node, state);
+        if (classification === "unsafe") {
+            safe = false;
+            return;
+        }
+        if (classification === "controlled-write") {
+            controlledWrites += 1;
+        }
+    });
+    return safe && controlledWrites > 0;
+}
+function classifyControlledSetterReference(node, state) {
+    const attribute = controlledValueWriteAttribute(node, state);
+    if (ts.isCallExpression(node.parent) && node.parent.expression === node) {
+        return attribute ? "controlled-write" : "ignored";
+    }
+    if (!attribute || !isDirectJsxAttributeExpression(attribute, node)) {
+        return "unsafe";
+    }
+    return "controlled-write";
+}
+function controlledValueWriteAttribute(node, state) {
+    const attribute = findAncestorUntil(node, ts.isJsxAttribute, state.owner);
+    if (!attribute || !isControlledInteractionProp(attribute.name.getText())) {
+        return null;
+    }
+    const opening = jsxOpeningForAttribute(attribute);
+    const hasValue = opening?.attributes.properties.some((property) => {
+        if (!ts.isJsxAttribute(property) ||
+            property.name.getText() !== "value" ||
+            !property.initializer ||
+            !ts.isJsxExpression(property.initializer) ||
+            !property.initializer.expression) {
+            return false;
+        }
+        const value = unwrapTransparentExpression(property.initializer.expression);
+        return ts.isIdentifier(value) && value.text === state.valueName;
+    });
+    return hasValue ? attribute : null;
+}
+function controlledValueSetterCall(call, state) {
+    return (ts.isIdentifier(call.expression) &&
+        controlledValueWriteAttribute(call.expression, state) !== null);
+}
+export function mutationIsEventRooted(mutation, state) {
+    const { region } = mutation;
+    return (region !== state.owner &&
+        (ts.isArrowFunction(region) ||
+            ts.isFunctionDeclaration(region) ||
+            ts.isFunctionExpression(region)) &&
+        callbackIsEventRooted({
+            callback: region,
+            owner: state.owner,
+            dependencyName: "",
+            seen: new Set(),
+        }));
+}
+//# sourceMappingURL=text-draft-cluster.js.map

package/dist/src/analysis/clusters/text-draft-cluster.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"text-draft-cluster.js","sourceRoot":"","sources":["../../../../src/analysis/clusters/text-draft-cluster.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AACjG,OAAO,EAAE,iBAAiB,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EACL,2BAA2B,EAC3B,iBAAiB,EACjB,8BAA8B,EAC9B,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AAGpC,OAAO,EAAE,yBAAyB,EAAE,MAAM,iBAAiB,CAAC;AAE5D,OAAO,EAAE,qBAAqB,EAAE,MAAM,yCAAyC,CAAC;AAChF,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EAAE,mBAAmB,EAAE,MAAM,gDAAgD,CAAC;AACrF,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,oBAAoB,EAAE,MAAM,0CAA0C,CAAC;AAChF,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,SAAS,wBAAwB,CAC/B,MAAsB,EACtB,KAAqB,EACrB,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,EAAE,UAAU,EAAoB;IAEtE,IAAI,CAAC,WAAW,IAAI,CAAC,UAAU,EAAE,CAAC;QAChC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CACL,CAAC,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC,IAAI,CAC7B,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,QAAQ;QACd,KAAK,CAAC,OAAO;QACb,KAAK,CAAC,WAAW,GAAG,CAAC;QACrB,KAAK,CAAC,YAAY,GAAG,CAAC;QACtB,KAAK,CAAC,uBAAuB,CAChC;QACD,CAAC,oBAAoB,CAAC,MAAM,CAAC;QAC7B,CAAC,oBAAoB,CAAC,KAAK,CAAC;QAC5B,WAAW,CAAC,gBAAgB,GAAG,WAAW,CAAC,sBAAsB,GAAG,CAAC;QACrE,UAAU,CAAC,gBAAgB,GAAG,UAAU,CAAC,sBAAsB,GAAG,CAAC;QACnE,WAAW,CAAC,gBAAgB,KAAK,WAAW,CAAC,WAAW;QACxD,+CAA+C,CAAC,KAAK,CAAC,CACvD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0CAA0C,CACxD,OAAkC,EAClC,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,EAAwB;IAE5D,MAAM,IAAI,GAAG,mBAAmB,CAC9B,OAAO,EACP,CAAC,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,EAChE,CAAC,KAAK,EAAE,EAAE,CAAC,8BAA8B,CAAC,KAAK,CAAC,CACjD,CAAC;IACF,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC;IAC9C,IACE,CAAC,wBAAwB,CAAC,MAAM,EAAE,KAAK,EAAE;QACvC,UAAU,EAAE,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC;QACpC,WAAW,EAAE,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC;KACrC,CAAC,EACF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,eAAe,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC;IAClF,MAAM,cAAc,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;IAChF,OAAO,qCAAqC,CAAC,eAAe,EAAE,cAAc,EAAE;QAC5E,MAAM;QACN,KAAK;QACL,SAAS;KACV,CAAC;QACA,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC;QACjB,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAQD,SAAS,qCAAqC,CAC5C,eAA0C,EAC1C,cAAyC,EACzC,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAsB;IAEhD,MAAM,YAAY,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CACvD,eAAe,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CACrD,CAAC;IACF,MAAM,WAAW,GAAG,eAAe,CAAC,MAAM,CACxC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CACpE,CAAC;IACF,IACE,eAAe,CAAC,MAAM,GAAG,yBAAyB;QAClD,cAAc,CAAC,MAAM,KAAK,CAAC;QAC3B,YAAY,CAAC,MAAM,KAAK,CAAC;QACzB,WAAW,CAAC,MAAM,KAAK,CAAC,EACxB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,UAAU,GAAG,CAAC,IAAoB,EAAE,KAAqB,EAAW,EAAE,CAC1E,sBAAsB,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;IACjD,IACE,WAAW,CAAC,IAAI,CACd,CAAC,cAAc,EAAE,EAAE,CACjB,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,EAAE,CAAC,UAAU,CAAC,cAAc,EAAE,aAAa,CAAC,CAAC,CACrF;QACD,YAAY,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,qBAAqB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QACzE,eAAe,CAAC,IAAI,CAAC,CAAC,cAAc,EAAE,EAAE,CACtC,cAAc,CAAC,IAAI,CACjB,CAAC,aAAa,EAAE,EAAE,CAChB,cAAc,CAAC,MAAM,KAAK,aAAa,CAAC,MAAM;YAC9C,qBAAqB,CAAC,cAAc,CAAC,IAAI,EAAE,aAAa,CAAC,IAAI,EAAE;gBAC7D,MAAM,EAAE,cAAc,CAAC,MAAM;gBAC7B,SAAS;aACV,CAAC;YACF,CAAC,UAAU,CAAC,cAAc,EAAE,aAAa,CAAC,CAC7C,CACF,EACD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,cAAc,CAAC,KAAK,CACzB,CAAC,aAAa,EAAE,EAAE,CAChB,eAAe,CAAC,IAAI,CAAC,CAAC,cAAc,EAAE,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC;QACnF,yBAAyB,CAAC,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC;QACpD,qBAAqB,CAAC,aAAa,EAAE,KAAK,CAAC,CAC9C,CAAC;AACJ,CAAC;AAED,SAAS,8BAA8B,CAAC,KAAqB;IAC3D,MAAM,CAAC,WAAW,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC;IAC3C,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAAG,2BAA2B,CAAC,WAAW,CAAC,CAAC;IACvD,OAAO,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC;AACxD,CAAC;AAED,SAAS,+CAA+C,CAAC,KAAqB;IAC5E,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;QACtB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,gBAAgB,GAAG,CAAC,CAAC;IACzB,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC/B,IACE,CAAC,IAAI;YACL,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,UAAU;YAC9B,iBAAiB,CAAC,IAAI,CAAC;YACvB,oBAAoB,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,cAAc,GAAG,iCAAiC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACtE,IAAI,cAAc,KAAK,QAAQ,EAAE,CAAC;YAChC,IAAI,GAAG,KAAK,CAAC;YACb,OAAO;QACT,CAAC;QACD,IAAI,cAAc,KAAK,kBAAkB,EAAE,CAAC;YAC1C,gBAAgB,IAAI,CAAC,CAAC;QACxB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,IAAI,gBAAgB,GAAG,CAAC,CAAC;AACtC,CAAC;AAID,SAAS,iCAAiC,CACxC,IAAmB,EACnB,KAAqB;IAErB,MAAM,SAAS,GAAG,6BAA6B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC7D,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QACxE,OAAO,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS,CAAC;IACpD,CAAC;IACD,IAAI,CAAC,SAAS,IAAI,CAAC,8BAA8B,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC;QACnE,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,OAAO,kBAAkB,CAAC;AAC5B,CAAC;AAED,SAAS,6BAA6B,CACpC,IAAmB,EACnB,KAAqB;IAErB,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC1E,IAAI,CAAC,SAAS,IAAI,CAAC,2BAA2B,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;QACzE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC;IAClD,MAAM,QAAQ,GAAG,OAAO,EAAE,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE;QAChE,IACE,CAAC,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC;YAC5B,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,OAAO;YACnC,CAAC,QAAQ,CAAC,WAAW;YACrB,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,WAAW,CAAC;YACzC,CAAC,QAAQ,CAAC,WAAW,CAAC,UAAU,EAChC,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,KAAK,GAAG,2BAA2B,CAAC,QAAQ,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;QAC3E,OAAO,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,SAAS,CAAC;IAClE,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;AACrC,CAAC;AAED,SAAS,yBAAyB,CAAC,IAAuB,EAAE,KAAqB;IAC/E,OAAO,CACL,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAChC,6BAA6B,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,IAAI,CAC/D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,QAAwB,EAAE,KAAqB;IACnF,MAAM,EAAE,MAAM,EAAE,GAAG,QAAQ,CAAC;IAC5B,OAAO,CACL,MAAM,KAAK,KAAK,CAAC,KAAK;QACtB,CAAC,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC;YACzB,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;YAChC,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC;QAClC,qBAAqB,CAAC;YACpB,QAAQ,EAAE,MAAM;YAChB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,cAAc,EAAE,EAAE;YAClB,IAAI,EAAE,IAAI,GAAG,EAAE;SAChB,CAAC,CACH,CAAC;AACJ,CAAC"}

package/dist/src/analysis/commands/effect-owned-presentation.d.ts

@@ -0,0 +1,11 @@
+import type { StateCandidate, StateUsage } from "../model.js";
+import type { HookImports } from "../../core/imports.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+export interface EffectOwnedCommandScope {
+    readonly directEffectCalls: ReadonlySet<ts.CallExpression>;
+    readonly imports: HookImports;
+}
+export declare function isUniqueConstBindingOf(declaration: ts.VariableDeclaration | null, initializer: ts.Expression, owner: RuntimeFunctionLike): boolean;
+export declare function isEffectOwnedMemoizedPresentationState(state: StateCandidate, usage: StateUsage, { directEffectCalls, imports }: EffectOwnedCommandScope): boolean;
+//# sourceMappingURL=effect-owned-presentation.d.ts.map

package/dist/src/analysis/commands/effect-owned-presentation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-owned-presentation.d.ts","sourceRoot":"","sources":["../../../../src/analysis/commands/effect-owned-presentation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAQ9D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAE7D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC;IAC3D,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;CAC/B;AA6BD,wBAAgB,sBAAsB,CACpC,WAAW,EAAE,EAAE,CAAC,mBAAmB,GAAG,IAAI,EAC1C,WAAW,EAAE,EAAE,CAAC,UAAU,EAC1B,KAAK,EAAE,mBAAmB,GACzB,OAAO,CAOT;AAED,wBAAgB,sCAAsC,CACpD,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,EACjB,EAAE,iBAAiB,EAAE,OAAO,EAAE,EAAE,uBAAuB,GACtD,OAAO,CA2BT"}

package/dist/src/analysis/commands/effect-owned-presentation.js

@@ -0,0 +1,87 @@
+import { bindingDeclarationCount, isDeclarationName, isNonValueIdentifier, unwrapTransparentExpression, } from "../../core/analysis-ast.js";
+import { findAncestorUntil, nodeWithin, visit } from "../../core/ast.js";
+import { isImportedHookCall } from "../../core/imports.js";
+import ts from "typescript";
+function sharedContainingMemoCall(setterCalls, owner, imports) {
+    let memoCall = null;
+    for (const setterCall of setterCalls) {
+        const containingMemo = findAncestorUntil(setterCall, (node) => ts.isCallExpression(node) &&
+            isImportedHookCall({
+                call: node,
+                localNames: imports.useMemo,
+                namespaceNames: imports.reactNamespaces,
+                canonicalName: "useMemo",
+            }), owner);
+        if (!containingMemo || (memoCall !== null && memoCall !== containingMemo)) {
+            return null;
+        }
+        memoCall = containingMemo;
+    }
+    return memoCall;
+}
+export function isUniqueConstBindingOf(declaration, initializer, owner) {
+    return (declaration?.initializer !== undefined &&
+        unwrapTransparentExpression(declaration.initializer) === initializer &&
+        ts.isIdentifier(declaration.name) &&
+        bindingDeclarationCount(owner, declaration.name.text) === 1);
+}
+export function isEffectOwnedMemoizedPresentationState(state, usage, { directEffectCalls, imports }) {
+    if (!state.owner.body ||
+        usage.setterCallNodes.length === 0 ||
+        usage.setterReferences !== usage.setterCalls ||
+        usage.effectWrites !== 0 ||
+        usage.setterUsesPreviousValue) {
+        return false;
+    }
+    const memoCall = sharedContainingMemoCall(usage.setterCallNodes, state.owner, imports);
+    const [factory] = memoCall?.arguments ?? [];
+    const declaration = memoCall
+        ? findAncestorUntil(memoCall, ts.isVariableDeclaration, state.owner)
+        : null;
+    if (!memoCall ||
+        !factory ||
+        (!ts.isArrowFunction(factory) && !ts.isFunctionExpression(factory)) ||
+        !isUniqueConstBindingOf(declaration, memoCall, state.owner) ||
+        !declaration ||
+        !usage.setterCallNodes.every((call) => nodeWithin(call, factory))) {
+        return false;
+    }
+    return memoBindingIsInvokedByEffect(state.owner, declaration, directEffectCalls);
+}
+function memoBindingIsInvokedByEffect(owner, declaration, directEffectCalls) {
+    const binding = declaration.name.getText();
+    let invokedByEffect = false;
+    let safe = true;
+    visit(owner.body, (node) => {
+        if (!safe ||
+            !ts.isIdentifier(node) ||
+            node.text !== binding ||
+            node === declaration.name ||
+            isDeclarationName(node) ||
+            isNonValueIdentifier(node)) {
+            return;
+        }
+        const use = classifyMemoizedBindingReference(node, directEffectCalls);
+        safe = use !== "unsafe";
+        invokedByEffect ||= use === "invocation";
+    });
+    return safe && invokedByEffect;
+}
+function classifyMemoizedBindingReference(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 memberCall = ts.isPropertyAccessExpression(node.parent) &&
+        node.parent.expression === node &&
+        ts.isCallExpression(node.parent.parent) &&
+        node.parent.parent.expression === node.parent;
+    const [, dependencies] = effectCall.arguments;
+    return memberCall || (dependencies !== undefined && nodeWithin(node, dependencies))
+        ? "passive"
+        : "unsafe";
+}
+//# sourceMappingURL=effect-owned-presentation.js.map

package/dist/src/analysis/commands/effect-owned-presentation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-owned-presentation.js","sourceRoot":"","sources":["../../../../src/analysis/commands/effect-owned-presentation.ts"],"names":[],"mappings":"AACA,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAGzE,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,MAAM,YAAY,CAAC;AAO5B,SAAS,wBAAwB,CAC/B,WAAyC,EACzC,KAA0B,EAC1B,OAAoB;IAEpB,IAAI,QAAQ,GAA6B,IAAI,CAAC;IAC9C,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,cAAc,GAAG,iBAAiB,CACtC,UAAU,EACV,CAAC,IAAI,EAA6B,EAAE,CAClC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACzB,kBAAkB,CAAC;gBACjB,IAAI,EAAE,IAAI;gBACV,UAAU,EAAE,OAAO,CAAC,OAAO;gBAC3B,cAAc,EAAE,OAAO,CAAC,eAAe;gBACvC,aAAa,EAAE,SAAS;aACzB,CAAC,EACJ,KAAK,CACN,CAAC;QACF,IAAI,CAAC,cAAc,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,cAAc,CAAC,EAAE,CAAC;YAC1E,OAAO,IAAI,CAAC;QACd,CAAC;QACD,QAAQ,GAAG,cAAc,CAAC;IAC5B,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,WAA0C,EAC1C,WAA0B,EAC1B,KAA0B;IAE1B,OAAO,CACL,WAAW,EAAE,WAAW,KAAK,SAAS;QACtC,2BAA2B,CAAC,WAAW,CAAC,WAAW,CAAC,KAAK,WAAW;QACpE,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC;QACjC,uBAAuB,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAC5D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sCAAsC,CACpD,KAAqB,EACrB,KAAiB,EACjB,EAAE,iBAAiB,EAAE,OAAO,EAA2B;IAEvD,IACE,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI;QACjB,KAAK,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC;QAClC,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,WAAW;QAC5C,KAAK,CAAC,YAAY,KAAK,CAAC;QACxB,KAAK,CAAC,uBAAuB,EAC7B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,QAAQ,GAAG,wBAAwB,CAAC,KAAK,CAAC,eAAe,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACvF,MAAM,CAAC,OAAO,CAAC,GAAG,QAAQ,EAAE,SAAS,IAAI,EAAE,CAAC;IAC5C,MAAM,WAAW,GAAG,QAAQ;QAC1B,CAAC,CAAC,iBAAiB,CAAC,QAAQ,EAAE,EAAE,CAAC,qBAAqB,EAAE,KAAK,CAAC,KAAK,CAAC;QACpE,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,sBAAsB,CAAC,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC;QAC3D,CAAC,WAAW;QACZ,CAAC,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,EACjE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,4BAA4B,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,EAAE,iBAAiB,CAAC,CAAC;AACnF,CAAC;AAED,SAAS,4BAA4B,CACnC,KAA0B,EAC1B,WAAmC,EACnC,iBAAiD;IAEjD,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IAC3C,IAAI,eAAe,GAAG,KAAK,CAAC;IAC5B,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IACE,CAAC,IAAI;YACL,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,gCAAgC,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;QACtE,IAAI,GAAG,GAAG,KAAK,QAAQ,CAAC;QACxB,eAAe,KAAK,GAAG,KAAK,YAAY,CAAC;IAC3C,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,IAAI,eAAe,CAAC;AACjC,CAAC;AAID,SAAS,gCAAgC,CACvC,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,UAAU,GACd,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,MAAM,CAAC;QAC1C,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,IAAI;QAC/B,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;QACvC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,KAAK,IAAI,CAAC,MAAM,CAAC;IAChD,MAAM,CAAC,EAAE,YAAY,CAAC,GAAG,UAAU,CAAC,SAAS,CAAC;IAC9C,OAAO,UAAU,IAAI,CAAC,YAAY,KAAK,SAAS,IAAI,UAAU,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QACjF,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,QAAQ,CAAC;AACf,CAAC"}

package/dist/src/analysis/commands/memoized-option-command.d.ts

@@ -0,0 +1,12 @@
+import type { StateCandidate, StateUsage } from "../model.js";
+import type { ChildContractResolver } from "../../rules/child-contract/model.js";
+import type { HookImports } from "../../core/imports.js";
+import ts from "typescript";
+interface SourceMemoScope {
+    readonly childContracts: ChildContractResolver;
+    readonly imports: HookImports;
+}
+export declare function isSourceProvenMemoizedOptionCommand(state: StateCandidate, usage: StateUsage, { childContracts, imports }: SourceMemoScope): boolean;
+export declare function staticPropertyName(name: ts.PropertyName): string | null;
+export {};
+//# sourceMappingURL=memoized-option-command.d.ts.map

package/dist/src/analysis/commands/memoized-option-command.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"memoized-option-command.d.ts","sourceRoot":"","sources":["../../../../src/analysis/commands/memoized-option-command.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAW9D,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AACjF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAOzD,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,UAAU,eAAe;IACvB,QAAQ,CAAC,cAAc,EAAE,qBAAqB,CAAC;IAC/C,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;CAC/B;AAkBD,wBAAgB,mCAAmC,CACjD,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,EACjB,EAAE,cAAc,EAAE,OAAO,EAAE,EAAE,eAAe,GAC3C,OAAO,CAyBT;AA6HD,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,GAAG,MAAM,GAAG,IAAI,CAIvE"}

package/dist/src/analysis/commands/memoized-option-command.js

@@ -0,0 +1,120 @@
+import { findAncestorUntil, nearestNestedFunction, nodeWithin, visit } from "../../core/ast.js";
+import { isDeclarationName, isDirectJsxAttributeExpression, isNonValueIdentifier, } from "../../core/analysis-ast.js";
+import { setterCallsAssignBooleanLiterals, stateHasNoEffectOrDeferredUse, } from "../verdicts/transport-verdicts.js";
+import { hasStateInitializer } from "../../rules/deferred-reveal/deferred-reveal.js";
+import { isImportedHookCall } from "../../core/imports.js";
+import { isInsideJsxEventCallback } from "../../rules/state-proofs/event-roots.js";
+import { isUniqueConstBindingOf } from "./effect-owned-presentation.js";
+import { jsxOpeningForAttribute } from "../callbacks/local-callbacks.js";
+import ts from "typescript";
+function stateIsTransportedBooleanCommand(state, usage) {
+    return (hasStateInitializer(state, ts.SyntaxKind.FalseKeyword) &&
+        usage.localRenderReads === 0 &&
+        stateHasNoEffectOrDeferredUse(usage) &&
+        usage.valueTransportSites.size === 1 &&
+        usage.valueTargets.size === 1 &&
+        usage.setterCallNodes.length > 0 &&
+        usage.setterReferences === usage.setterCalls &&
+        !usage.setterUsesPreviousValue &&
+        !usage.shadowed &&
+        !usage.escaped &&
+        setterCallsAssignBooleanLiterals(usage));
+}
+export function isSourceProvenMemoizedOptionCommand(state, usage, { childContracts, imports }) {
+    if (!state.owner.body || !stateIsTransportedBooleanCommand(state, usage)) {
+        return false;
+    }
+    const option = sharedMemoizedOptionCallback(state, usage, imports);
+    const declaration = option
+        ? findAncestorUntil(option.memoCall, ts.isVariableDeclaration, state.owner)
+        : null;
+    if (!option ||
+        !declaration ||
+        !isUniqueConstBindingOf(declaration, option.memoCall, state.owner)) {
+        return false;
+    }
+    const transport = soleMemoTransportSite(state.owner, declaration.name.getText(), declaration);
+    return (transport !== null &&
+        childContracts.componentArrayItemCallbackIsDeferred(transport.target, transport.prop, option.callbackProp));
+}
+function memoizedOptionCallbackFor(setter, owner, imports) {
+    const containingMemo = findAncestorUntil(setter, (node) => ts.isCallExpression(node) &&
+        isImportedHookCall({
+            call: node,
+            localNames: imports.useMemo,
+            namespaceNames: imports.reactNamespaces,
+            canonicalName: "useMemo",
+        }), owner);
+    const factory = containingMemo?.arguments[0];
+    const property = factory ? findAncestorUntil(setter, ts.isPropertyAssignment, factory) : null;
+    const propertyName = property ? staticPropertyName(property.name) : null;
+    const callback = property ? nearestNestedFunction(setter, owner) : null;
+    if (!containingMemo ||
+        !factory ||
+        (!ts.isArrowFunction(factory) && !ts.isFunctionExpression(factory)) ||
+        !property ||
+        !propertyName ||
+        !callback ||
+        callback === factory ||
+        !nodeWithin(callback, property)) {
+        return null;
+    }
+    return { callbackProp: propertyName, memoCall: containingMemo };
+}
+function sharedMemoizedOptionCallback(state, usage, imports) {
+    const deferredSetters = usage.setterCallNodes.filter((call) => !isInsideJsxEventCallback(call, state.owner));
+    if (deferredSetters.length === 0) {
+        return null;
+    }
+    const options = deferredSetters.map((setter) => memoizedOptionCallbackFor(setter, state.owner, imports));
+    const [first] = options;
+    if (!first) {
+        return null;
+    }
+    return options.every((option) => option !== null &&
+        option.memoCall === first.memoCall &&
+        option.callbackProp === first.callbackProp)
+        ? first
+        : null;
+}
+function soleMemoTransportSite(owner, memoBinding, declaration) {
+    const sites = [];
+    let safe = true;
+    visit(owner.body, (node) => {
+        if (!safe ||
+            !ts.isIdentifier(node) ||
+            node.text !== memoBinding ||
+            node === declaration.name ||
+            isDeclarationName(node) ||
+            isNonValueIdentifier(node) ||
+            isLengthAccess(node)) {
+            return;
+        }
+        const site = jsxTransportSiteFor(node, owner);
+        if (!site || sites.length > 0) {
+            safe = false;
+            return;
+        }
+        sites.push(site);
+    });
+    return safe && sites.length === 1 ? (sites[0] ?? null) : null;
+}
+function isLengthAccess(node) {
+    return (ts.isPropertyAccessExpression(node.parent) &&
+        node.parent.expression === node &&
+        node.parent.name.text === "length");
+}
+function jsxTransportSiteFor(node, owner) {
+    const attribute = findAncestorUntil(node, ts.isJsxAttribute, owner);
+    if (!attribute || !isDirectJsxAttributeExpression(attribute, node)) {
+        return null;
+    }
+    const target = jsxOpeningForAttribute(attribute)?.tagName.getText() ?? null;
+    return target ? { prop: attribute.name.getText(), target } : null;
+}
+export function staticPropertyName(name) {
+    return ts.isIdentifier(name) || ts.isStringLiteralLike(name) || ts.isNumericLiteral(name)
+        ? name.text
+        : null;
+}
+//# sourceMappingURL=memoized-option-command.js.map

package/dist/src/analysis/commands/memoized-option-command.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"memoized-option-command.js","sourceRoot":"","sources":["../../../../src/analysis/commands/memoized-option-command.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAChG,OAAO,EACL,iBAAiB,EACjB,8BAA8B,EAC9B,oBAAoB,GACrB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,gCAAgC,EAChC,6BAA6B,GAC9B,MAAM,mCAAmC,CAAC;AAI3C,OAAO,EAAE,mBAAmB,EAAE,MAAM,gDAAgD,CAAC;AACrF,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,wBAAwB,EAAE,MAAM,yCAAyC,CAAC;AACnF,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,MAAM,YAAY,CAAC;AAO5B,SAAS,gCAAgC,CAAC,KAAqB,EAAE,KAAiB;IAChF,OAAO,CACL,mBAAmB,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;QACtD,KAAK,CAAC,gBAAgB,KAAK,CAAC;QAC5B,6BAA6B,CAAC,KAAK,CAAC;QACpC,KAAK,CAAC,mBAAmB,CAAC,IAAI,KAAK,CAAC;QACpC,KAAK,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC;QAC7B,KAAK,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC;QAChC,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,WAAW;QAC5C,CAAC,KAAK,CAAC,uBAAuB;QAC9B,CAAC,KAAK,CAAC,QAAQ;QACf,CAAC,KAAK,CAAC,OAAO;QACd,gCAAgC,CAAC,KAAK,CAAC,CACxC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mCAAmC,CACjD,KAAqB,EACrB,KAAiB,EACjB,EAAE,cAAc,EAAE,OAAO,EAAmB;IAE5C,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,gCAAgC,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;QACzE,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,MAAM,GAAG,4BAA4B,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACnE,MAAM,WAAW,GAAG,MAAM;QACxB,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC,QAAQ,EAAE,EAAE,CAAC,qBAAqB,EAAE,KAAK,CAAC,KAAK,CAAC;QAC3E,CAAC,CAAC,IAAI,CAAC;IACT,IACE,CAAC,MAAM;QACP,CAAC,WAAW;QACZ,CAAC,sBAAsB,CAAC,WAAW,EAAE,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,EAClE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,SAAS,GAAG,qBAAqB,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,WAAW,CAAC,CAAC;IAC9F,OAAO,CACL,SAAS,KAAK,IAAI;QAClB,cAAc,CAAC,oCAAoC,CACjD,SAAS,CAAC,MAAM,EAChB,SAAS,CAAC,IAAI,EACd,MAAM,CAAC,YAAY,CACpB,CACF,CAAC;AACJ,CAAC;AAOD,SAAS,yBAAyB,CAChC,MAAyB,EACzB,KAA0B,EAC1B,OAAoB;IAEpB,MAAM,cAAc,GAAG,iBAAiB,CACtC,MAAM,EACN,CAAC,IAAI,EAA6B,EAAE,CAClC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,kBAAkB,CAAC;YACjB,IAAI,EAAE,IAAI;YACV,UAAU,EAAE,OAAO,CAAC,OAAO;YAC3B,cAAc,EAAE,OAAO,CAAC,eAAe;YACvC,aAAa,EAAE,SAAS;SACzB,CAAC,EACJ,KAAK,CACN,CAAC;IACF,MAAM,OAAO,GAAG,cAAc,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC,MAAM,EAAE,EAAE,CAAC,oBAAoB,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9F,MAAM,YAAY,GAAG,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACzE,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,qBAAqB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACxE,IACE,CAAC,cAAc;QACf,CAAC,OAAO;QACR,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC;QACnE,CAAC,QAAQ;QACT,CAAC,YAAY;QACb,CAAC,QAAQ;QACT,QAAQ,KAAK,OAAO;QACpB,CAAC,UAAU,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAC/B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC;AAClE,CAAC;AAED,SAAS,4BAA4B,CACnC,KAAqB,EACrB,KAAiB,EACjB,OAAoB;IAEpB,MAAM,eAAe,GAAG,KAAK,CAAC,eAAe,CAAC,MAAM,CAClD,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,wBAAwB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CACvD,CAAC;IACF,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAC7C,yBAAyB,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CACxD,CAAC;IACF,MAAM,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC;IACxB,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,OAAO,CAAC,KAAK,CAClB,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,KAAK,IAAI;QACf,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;QAClC,MAAM,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY,CAC7C;QACC,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAOD,SAAS,qBAAqB,CAC5B,KAA0B,EAC1B,WAAmB,EACnB,WAAmC;IAEnC,MAAM,KAAK,GAAwB,EAAE,CAAC;IACtC,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,IACE,CAAC,IAAI;YACL,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,KAAK,WAAW;YACzB,IAAI,KAAK,WAAW,CAAC,IAAI;YACzB,iBAAiB,CAAC,IAAI,CAAC;YACvB,oBAAoB,CAAC,IAAI,CAAC;YAC1B,cAAc,CAAC,IAAI,CAAC,EACpB,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC9C,IAAI,CAAC,IAAI,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,IAAI,GAAG,KAAK,CAAC;YACb,OAAO;QACT,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAChE,CAAC;AAED,SAAS,cAAc,CAAC,IAAmB;IACzC,OAAO,CACL,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,MAAM,CAAC;QAC1C,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,IAAI;QAC/B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CACnC,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,IAAmB,EACnB,KAA0B;IAE1B,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;IACpE,IAAI,CAAC,SAAS,IAAI,CAAC,8BAA8B,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC;QACnE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,sBAAsB,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,IAAI,CAAC;IAC5E,OAAO,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACpE,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAqB;IACtD,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACvF,CAAC,CAAC,IAAI,CAAC,IAAI;QACX,CAAC,CAAC,IAAI,CAAC;AACX,CAAC"}