legend-doctor 0.1.0

package/dist/src/analysis/controlled-leaf-cuts.js

@@ -0,0 +1,153 @@
+import { controlledLeafCallSite, controlledProjectionRenderReferences, } from "./controlled-leaf-call-site.js";
+import { findAncestorUntil, nodeWithin } from "../core/ast.js";
+import { jsxElementCount, jsxElementCountIn, lowestCommonJsxSubtree, nearestRepeatedRenderCall, } from "../rules/state-proofs/jsx-subtrees.js";
+import { jsxSubtreeForOpening, jsxSubtreeLabel, jsxTransportSite } from "./ast-helpers.js";
+import { MAX_LEAF_SUBTREE_RATIO } from "./constants.js";
+import { firstDirectJsxOpeningAt } from "./return-call-sites.js";
+import { hasDirectInteractionSetter } from "./interaction-setters.js";
+import { hasIndependentRenderCutWitness } from "../rules/state-proofs/render-cut-witness.js";
+import { isValueTransitionAttribute } from "./membership-toggle.js";
+import { isValueTransitionProp } from "../core/analysis-ast.js";
+import { shareUniqueOwnerReturn } from "./callbacks/local-callbacks.js";
+import ts from "typescript";
+function setterCallsConfinedToValueSubtree(usage, body, valueSite) {
+    const opening = firstDirectJsxOpeningAt(body, valueSite);
+    if (!opening) {
+        return false;
+    }
+    const subtree = jsxSubtreeForOpening(opening);
+    return usage.setterCallNodes.every((call) => nodeWithin(call, subtree));
+}
+export function setterOwnedByValueCallSite(usage, owner) {
+    const [valueSite] = [...usage.valueTransportSites];
+    if (valueSite === undefined || usage.setterReferences === 0) {
+        return false;
+    }
+    const transportsSetterAtValueSite = usage.setterTargets.size === 1 &&
+        usage.setterTransportSites.size === 1 &&
+        [...usage.setterTransportSites][0] === valueSite;
+    if (transportsSetterAtValueSite &&
+        usage.setterCalls === 0 &&
+        [...usage.valueTargets][0] === [...usage.setterTargets][0]) {
+        return true;
+    }
+    if (!usage.escaped &&
+        (usage.setterReferences === usage.setterCalls || transportsSetterAtValueSite) &&
+        usage.setterCallNodes.length > 0 &&
+        owner.body &&
+        setterCallsConfinedToValueSubtree(usage, owner.body, valueSite)) {
+        return true;
+    }
+    return (usage.setterReferences === usage.setterCalls &&
+        usage.setterCallNodes.length > 0 &&
+        usage.setterCallNodes.every((call) => {
+            const attribute = findAncestorUntil(call, ts.isJsxAttribute, owner);
+            return attribute !== null && jsxTransportSite(attribute) === valueSite;
+        }));
+}
+export function setterOwnedByValueTransitionCallSite(state, usage) {
+    const { setterName } = state;
+    if (!setterName || !setterOwnedByValueCallSite(usage, state.owner)) {
+        return false;
+    }
+    if (usage.setterCalls > 0) {
+        return usage.setterCallNodes.every((call) => setterCallIsValueTransition(call, state));
+    }
+    const [valueSite] = [...usage.valueTransportSites];
+    if (valueSite === undefined || !state.owner.body) {
+        return false;
+    }
+    const opening = firstDirectJsxOpeningAt(state.owner.body, valueSite);
+    return (opening !== null &&
+        hasDirectInteractionSetter(opening, setterName, (name) => isValueTransitionAttribute(opening, name, state.valueName)));
+}
+function setterCallIsValueTransition(call, state) {
+    const attribute = findAncestorUntil(call, ts.isJsxAttribute, state.owner);
+    const opening = attribute?.parent.parent;
+    return (attribute !== null &&
+        opening !== undefined &&
+        (ts.isJsxOpeningElement(opening) || ts.isJsxSelfClosingElement(opening)) &&
+        isValueTransitionAttribute(opening, attribute.name.getText(), state.valueName));
+}
+export function controlledLeafRenderCut(state, usage, { localComponents, sourceComponents }) {
+    const callSite = controlledLeafCallSite(state, usage, isValueTransitionProp);
+    if (!callSite) {
+        return null;
+    }
+    const controlled = callSite.opening;
+    const controlledSubtree = ts.isJsxOpeningElement(controlled)
+        ? controlled.parent
+        : controlled;
+    return hasIndependentRenderCutWitness({
+        returned: callSite.returned,
+        excluded: [controlledSubtree],
+        localComponents,
+        sourceComponents,
+    })
+        ? callSite
+        : null;
+}
+function controlledProjectionConsumer(state, usage) {
+    const references = controlledProjectionRenderReferences(state, usage);
+    if (!references ||
+        references.some((reference) => nearestRepeatedRenderCall(reference, state.owner) !== null)) {
+        return null;
+    }
+    const consumer = lowestCommonJsxSubtree(references, state.owner);
+    if (!consumer ||
+        jsxElementCountIn(consumer) / jsxElementCount(state.owner) > MAX_LEAF_SUBTREE_RATIO) {
+        return null;
+    }
+    return consumer;
+}
+export function controlledLeafProjectionCut(state, usage, { localComponents, sourceComponents }) {
+    const callSite = controlledLeafCallSite(state, usage);
+    if (!callSite) {
+        return null;
+    }
+    const consumer = controlledProjectionConsumer(state, usage);
+    if (!consumer) {
+        return null;
+    }
+    const controlled = ts.isJsxOpeningElement(callSite.opening)
+        ? callSite.opening.parent
+        : callSite.opening;
+    if (controlled === consumer ||
+        nodeWithin(controlled, consumer) ||
+        nodeWithin(consumer, controlled) ||
+        !shareUniqueOwnerReturn(controlled, consumer, state.owner) ||
+        !hasIndependentRenderCutWitness({
+            returned: callSite.returned,
+            excluded: [controlled, consumer],
+            localComponents,
+            sourceComponents,
+        })) {
+        return null;
+    }
+    return {
+        consumerLabel: jsxSubtreeLabel(consumer),
+        consumerLine: consumer.getSourceFile().getLineAndCharacterOfPosition(consumer.getStart()).line + 1,
+    };
+}
+export function controlledSameCallSiteProjectionCut(state, usage, { localComponents, sourceComponents }) {
+    const callSite = controlledLeafCallSite(state, usage, isValueTransitionProp);
+    if (!callSite) {
+        return false;
+    }
+    const references = controlledProjectionRenderReferences(state, usage);
+    if (!references ||
+        references.some((reference) => !nodeWithin(reference, callSite.opening) ||
+            nearestRepeatedRenderCall(reference, state.owner) !== null)) {
+        return false;
+    }
+    const controlled = ts.isJsxOpeningElement(callSite.opening)
+        ? callSite.opening.parent
+        : callSite.opening;
+    return hasIndependentRenderCutWitness({
+        returned: callSite.returned,
+        excluded: [controlled],
+        localComponents,
+        sourceComponents,
+    });
+}
+//# sourceMappingURL=controlled-leaf-cuts.js.map

package/dist/src/analysis/controlled-leaf-cuts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"controlled-leaf-cuts.js","sourceRoot":"","sources":["../../../src/analysis/controlled-leaf-cuts.ts"],"names":[],"mappings":"AAMA,OAAO,EACL,sBAAsB,EACtB,oCAAoC,GACrC,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAC/D,OAAO,EACL,eAAe,EACf,iBAAiB,EACjB,sBAAsB,EACtB,yBAAyB,GAC1B,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAE3F,OAAO,EAAE,sBAAsB,EAAE,MAAM,gBAAgB,CAAC;AAExD,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AACtE,OAAO,EAAE,8BAA8B,EAAE,MAAM,6CAA6C,CAAC;AAC7F,OAAO,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAC;AACpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,SAAS,iCAAiC,CACxC,KAAiB,EACjB,IAAa,EACb,SAAiB;IAEjB,MAAM,OAAO,GAAG,uBAAuB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACzD,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;IAC9C,OAAO,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;AAC1E,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,KAAiB,EAAE,KAA0B;IACtF,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,mBAAmB,CAAC,CAAC;IACnD,IAAI,SAAS,KAAK,SAAS,IAAI,KAAK,CAAC,gBAAgB,KAAK,CAAC,EAAE,CAAC;QAC5D,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,2BAA2B,GAC/B,KAAK,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC;QAC9B,KAAK,CAAC,oBAAoB,CAAC,IAAI,KAAK,CAAC;QACrC,CAAC,GAAG,KAAK,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC;IACnD,IACE,2BAA2B;QAC3B,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAC1D,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IACE,CAAC,KAAK,CAAC,OAAO;QACd,CAAC,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,WAAW,IAAI,2BAA2B,CAAC;QAC7E,KAAK,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC;QAChC,KAAK,CAAC,IAAI;QACV,iCAAiC,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,EAC/D,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CACL,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,WAAW;QAC5C,KAAK,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC;QAChC,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE;YACnC,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;YACpE,OAAO,SAAS,KAAK,IAAI,IAAI,gBAAgB,CAAC,SAAS,CAAC,KAAK,SAAS,CAAC;QACzE,CAAC,CAAC,CACH,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oCAAoC,CAClD,KAAqB,EACrB,KAAiB;IAEjB,MAAM,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IAC7B,IAAI,CAAC,UAAU,IAAI,CAAC,0BAA0B,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACnE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,KAAK,CAAC,WAAW,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,2BAA2B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IACzF,CAAC;IACD,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,mBAAmB,CAAC,CAAC;IACnD,IAAI,SAAS,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACjD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAG,uBAAuB,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACrE,OAAO,CACL,OAAO,KAAK,IAAI;QAChB,0BAA0B,CAAC,OAAO,EAAE,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE,CACvD,0BAA0B,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,CAC3D,CACF,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAAC,IAAuB,EAAE,KAAqB;IACjF,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC1E,MAAM,OAAO,GAAG,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC;IACzC,OAAO,CACL,SAAS,KAAK,IAAI;QAClB,OAAO,KAAK,SAAS;QACrB,CAAC,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC;QACxE,0BAA0B,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,KAAK,CAAC,SAAS,CAAC,CAC/E,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,KAAqB,EACrB,KAAiB,EACjB,EAAE,eAAe,EAAE,gBAAgB,EAAkB;IAKrD,MAAM,QAAQ,GAAG,sBAAsB,CAAC,KAAK,EAAE,KAAK,EAAE,qBAAqB,CAAC,CAAC;IAC7E,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC;IACpC,MAAM,iBAAiB,GAAY,EAAE,CAAC,mBAAmB,CAAC,UAAU,CAAC;QACnE,CAAC,CAAC,UAAU,CAAC,MAAM;QACnB,CAAC,CAAC,UAAU,CAAC;IACf,OAAO,8BAA8B,CAAC;QACpC,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,QAAQ,EAAE,CAAC,iBAAiB,CAAC;QAC7B,eAAe;QACf,gBAAgB;KACjB,CAAC;QACA,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,4BAA4B,CACnC,KAAqB,EACrB,KAAiB;IAEjB,MAAM,UAAU,GAAG,oCAAoC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACtE,IACE,CAAC,UAAU;QACX,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,yBAAyB,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,EAC1F,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,sBAAsB,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACjE,IACE,CAAC,QAAQ;QACT,iBAAiB,CAAC,QAAQ,CAAC,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,sBAAsB,EACnF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,2BAA2B,CACzC,KAAqB,EACrB,KAAiB,EACjB,EAAE,eAAe,EAAE,gBAAgB,EAAkB;IAErD,MAAM,QAAQ,GAAG,sBAAsB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACtD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,4BAA4B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC5D,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,UAAU,GAAY,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,OAAO,CAAC;QAClE,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM;QACzB,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC;IACrB,IACE,UAAU,KAAK,QAAQ;QACvB,UAAU,CAAC,UAAU,EAAE,QAAQ,CAAC;QAChC,UAAU,CAAC,QAAQ,EAAE,UAAU,CAAC;QAChC,CAAC,sBAAsB,CAAC,UAAU,EAAE,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC;QAC1D,CAAC,8BAA8B,CAAC;YAC9B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;YAC3B,QAAQ,EAAE,CAAC,UAAU,EAAE,QAAQ,CAAC;YAChC,eAAe;YACf,gBAAgB;SACjB,CAAC,EACF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,aAAa,EAAE,eAAe,CAAC,QAAQ,CAAC;QACxC,YAAY,EACV,QAAQ,CAAC,aAAa,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC;KACvF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mCAAmC,CACjD,KAAqB,EACrB,KAAiB,EACjB,EAAE,eAAe,EAAE,gBAAgB,EAAkB;IAErD,MAAM,QAAQ,GAAG,sBAAsB,CAAC,KAAK,EAAE,KAAK,EAAE,qBAAqB,CAAC,CAAC;IAC7E,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,UAAU,GAAG,oCAAoC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACtE,IACE,CAAC,UAAU;QACX,UAAU,CAAC,IAAI,CACb,CAAC,SAAS,EAAE,EAAE,CACZ,CAAC,UAAU,CAAC,SAAS,EAAE,QAAQ,CAAC,OAAO,CAAC;YACxC,yBAAyB,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI,CAC7D,EACD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,UAAU,GAAY,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,OAAO,CAAC;QAClE,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM;QACzB,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC;IACrB,OAAO,8BAA8B,CAAC;QACpC,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,QAAQ,EAAE,CAAC,UAAU,CAAC;QACtB,eAAe;QACf,gBAAgB;KACjB,CAAC,CAAC;AACL,CAAC"}

package/dist/src/analysis/delayed-pending.d.ts

@@ -0,0 +1,3 @@
+import type { StateCandidate, StateUsage } from "./model.js";
+export declare function isCohesiveDelayedPendingState(state: StateCandidate, usage: StateUsage): boolean;
+//# sourceMappingURL=delayed-pending.d.ts.map

package/dist/src/analysis/delayed-pending.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"delayed-pending.d.ts","sourceRoot":"","sources":["../../../src/analysis/delayed-pending.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAc7D,wBAAgB,6BAA6B,CAAC,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,UAAU,GAAG,OAAO,CAc/F"}

package/dist/src/analysis/delayed-pending.js

@@ -0,0 +1,116 @@
+import { PAIRED_FINALIZER_STATEMENTS, PAIRED_SETTER_CALLS, SMALL_OWNER_JSX_ELEMENTS, } from "./constants.js";
+import { findAncestorUntil, nearestNestedFunction, visitSkippingNestedRuntimeFunctions, } from "../core/ast.js";
+import { callbackIsEventRooted } from "../rules/state-proofs/event-roots.js";
+import { jsxElementCount } from "../rules/state-proofs/jsx-subtrees.js";
+import { nearestMutationFunction } from "./mutations.js";
+import { stateHasNoEffectOrDeferredUse } from "./verdicts/transport-verdicts.js";
+import ts from "typescript";
+import { unwrapTransparentExpression } from "../core/analysis-ast.js";
+export function isCohesiveDelayedPendingState(state, usage) {
+    if (!stateIsCompactRenderedPendingFlag(state, usage)) {
+        return false;
+    }
+    const pending = usage.setterCallNodes.find((call) => call.arguments[0]?.kind === ts.SyntaxKind.TrueKeyword);
+    const reset = usage.setterCallNodes.find((call) => call.arguments[0]?.kind === ts.SyntaxKind.FalseKeyword);
+    if (!pending || !reset) {
+        return false;
+    }
+    return pendingWriteIsTimedAndCleared(pending, reset, state.owner);
+}
+function stateIsCompactRenderedPendingFlag(state, usage) {
+    return (state.call.arguments[0]?.kind === ts.SyntaxKind.FalseKeyword &&
+        jsxElementCount(state.owner) <= SMALL_OWNER_JSX_ELEMENTS &&
+        usage.localRenderReads > 0 &&
+        usage.localRenderReads === usage.directRenderNodes.length &&
+        stateHasNoEffectOrDeferredUse(usage) &&
+        usage.transportedOccurrences === 0 &&
+        usage.setterCallNodes.length === PAIRED_SETTER_CALLS &&
+        usage.setterReferences === usage.setterCalls &&
+        !usage.shadowed &&
+        !usage.escaped);
+}
+function pendingWriteIsTimedAndCleared(pending, reset, owner) {
+    const timerDeclaration = scheduledPendingTimerDeclaration(pending, owner);
+    const timerCall = timerDeclaration?.initializer;
+    const command = timerCall ? nearestMutationFunction(timerCall, owner) : null;
+    if (!timerDeclaration || !command || !isAsyncEventCommand(command, owner)) {
+        return false;
+    }
+    const tryStatement = findAncestorUntil(reset, ts.isTryStatement, command);
+    if (!tryStatement || !finallyClearsTimer(tryStatement, { reset, timerDeclaration })) {
+        return false;
+    }
+    return blockAwaits(tryStatement.tryBlock);
+}
+function blockAwaits(block) {
+    let awaits = false;
+    visitSkippingNestedRuntimeFunctions(block, (node) => {
+        awaits ||= ts.isAwaitExpression(node);
+    });
+    return awaits;
+}
+function scheduledPendingTimerDeclaration(pending, owner) {
+    const scheduled = nearestNestedFunction(pending, owner);
+    if (!scheduled || !ts.isArrowFunction(scheduled) || !scheduledSetterIsExact(scheduled, pending)) {
+        return null;
+    }
+    const timerCall = scheduled.parent;
+    if (!ts.isCallExpression(timerCall) ||
+        timerCall.arguments[0] !== scheduled ||
+        !isNamedCall(timerCall, "setTimeout")) {
+        return null;
+    }
+    const timerDeclaration = timerCall.parent;
+    if (!ts.isVariableDeclaration(timerDeclaration) ||
+        timerDeclaration.initializer !== timerCall ||
+        !ts.isIdentifier(timerDeclaration.name) ||
+        !ts.isVariableDeclarationList(timerDeclaration.parent) ||
+        (timerDeclaration.parent.flags & ts.NodeFlags.Const) === 0) {
+        return null;
+    }
+    return timerDeclaration;
+}
+function isAsyncEventCommand(command, owner) {
+    return (command !== owner &&
+        (ts.isArrowFunction(command) ||
+            ts.isFunctionDeclaration(command) ||
+            ts.isFunctionExpression(command)) &&
+        command.body !== undefined &&
+        ts.isBlock(command.body) &&
+        (command.modifiers?.some((modifier) => modifier.kind === ts.SyntaxKind.AsyncKeyword) ??
+            false) &&
+        callbackIsEventRooted({ callback: command, owner, dependencyName: "", seen: new Set() }));
+}
+function finallyClearsTimer(tryStatement, { reset, timerDeclaration }) {
+    const finalizer = tryStatement.finallyBlock;
+    if (!finalizer ||
+        finalizer.statements.length !== PAIRED_FINALIZER_STATEMENTS ||
+        !ts.isExpressionStatement(finalizer.statements[0]) ||
+        !ts.isExpressionStatement(finalizer.statements[1]) ||
+        unwrapTransparentExpression(finalizer.statements[1].expression) !== reset) {
+        return false;
+    }
+    const clear = unwrapTransparentExpression(finalizer.statements[0].expression);
+    return (ts.isCallExpression(clear) &&
+        isNamedCall(clear, "clearTimeout") &&
+        clear.arguments.length === 1 &&
+        ts.isIdentifier(clear.arguments[0]) &&
+        clear.arguments[0].text === timerDeclaration.name.getText());
+}
+function scheduledSetterIsExact(callback, setter) {
+    if (!ts.isBlock(callback.body)) {
+        return unwrapTransparentExpression(callback.body) === setter;
+    }
+    const [statement] = callback.body.statements;
+    return (callback.body.statements.length === 1 &&
+        statement !== undefined &&
+        ts.isExpressionStatement(statement) &&
+        unwrapTransparentExpression(statement.expression) === setter);
+}
+function isNamedCall(call, name) {
+    const callee = call.expression;
+    return ts.isIdentifier(callee)
+        ? callee.text === name
+        : ts.isPropertyAccessExpression(callee) && callee.name.text === name;
+}
+//# sourceMappingURL=delayed-pending.js.map

package/dist/src/analysis/delayed-pending.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"delayed-pending.js","sourceRoot":"","sources":["../../../src/analysis/delayed-pending.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,2BAA2B,EAC3B,mBAAmB,EACnB,wBAAwB,GACzB,MAAM,gBAAgB,CAAC;AAExB,OAAO,EACL,iBAAiB,EACjB,qBAAqB,EACrB,mCAAmC,GACpC,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAC7E,OAAO,EAAE,eAAe,EAAE,MAAM,uCAAuC,CAAC;AACxE,OAAO,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AACzD,OAAO,EAAE,6BAA6B,EAAE,MAAM,kCAAkC,CAAC;AACjF,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,2BAA2B,EAAE,MAAM,yBAAyB,CAAC;AAEtE,MAAM,UAAU,6BAA6B,CAAC,KAAqB,EAAE,KAAiB;IACpF,IAAI,CAAC,iCAAiC,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;QACrD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,eAAe,CAAC,IAAI,CACxC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAChE,CAAC;IACF,MAAM,KAAK,GAAG,KAAK,CAAC,eAAe,CAAC,IAAI,CACtC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CACjE,CAAC;IACF,IAAI,CAAC,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,6BAA6B,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,iCAAiC,CAAC,KAAqB,EAAE,KAAiB;IACjF,OAAO,CACL,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAC5D,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,wBAAwB;QACxD,KAAK,CAAC,gBAAgB,GAAG,CAAC;QAC1B,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,iBAAiB,CAAC,MAAM;QACzD,6BAA6B,CAAC,KAAK,CAAC;QACpC,KAAK,CAAC,sBAAsB,KAAK,CAAC;QAClC,KAAK,CAAC,eAAe,CAAC,MAAM,KAAK,mBAAmB;QACpD,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,WAAW;QAC5C,CAAC,KAAK,CAAC,QAAQ;QACf,CAAC,KAAK,CAAC,OAAO,CACf,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CACpC,OAA0B,EAC1B,KAAwB,EACxB,KAA0B;IAE1B,MAAM,gBAAgB,GAAG,gCAAgC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAC1E,MAAM,SAAS,GAAG,gBAAgB,EAAE,WAAW,CAAC;IAChD,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,uBAAuB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7E,IAAI,CAAC,gBAAgB,IAAI,CAAC,OAAO,IAAI,CAAC,mBAAmB,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;QAC1E,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,YAAY,GAAG,iBAAiB,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;IAC1E,IAAI,CAAC,YAAY,IAAI,CAAC,kBAAkB,CAAC,YAAY,EAAE,EAAE,KAAK,EAAE,gBAAgB,EAAE,CAAC,EAAE,CAAC;QACpF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,WAAW,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,WAAW,CAAC,KAAe;IAClC,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,mCAAmC,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE;QAClD,MAAM,KAAK,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,gCAAgC,CACvC,OAA0B,EAC1B,KAA0B;IAE1B,MAAM,SAAS,GAAG,qBAAqB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACxD,IAAI,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,CAAC,sBAAsB,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC;QAChG,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC;IACnC,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;QAC/B,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,SAAS;QACpC,CAAC,WAAW,CAAC,SAAS,EAAE,YAAY,CAAC,EACrC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,gBAAgB,GAAG,SAAS,CAAC,MAAM,CAAC;IAC1C,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,gBAAgB,CAAC;QAC3C,gBAAgB,CAAC,WAAW,KAAK,SAAS;QAC1C,CAAC,EAAE,CAAC,YAAY,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACvC,CAAC,EAAE,CAAC,yBAAyB,CAAC,gBAAgB,CAAC,MAAM,CAAC;QACtD,CAAC,gBAAgB,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAC1D,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,gBAAgB,CAAC;AAC1B,CAAC;AAED,SAAS,mBAAmB,CAAC,OAA4B,EAAE,KAA0B;IACnF,OAAO,CACL,OAAO,KAAK,KAAK;QACjB,CAAC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;YAC1B,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC;YACjC,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC;QACnC,OAAO,CAAC,IAAI,KAAK,SAAS;QAC1B,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC;QACxB,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;YAClF,KAAK,CAAC;QACR,qBAAqB,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,CACzF,CAAC;AACJ,CAAC;AAOD,SAAS,kBAAkB,CACzB,YAA6B,EAC7B,EAAE,KAAK,EAAE,gBAAgB,EAAuB;IAEhD,MAAM,SAAS,GAAG,YAAY,CAAC,YAAY,CAAC;IAC5C,IACE,CAAC,SAAS;QACV,SAAS,CAAC,UAAU,CAAC,MAAM,KAAK,2BAA2B;QAC3D,CAAC,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC;QACnD,CAAC,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC;QACnD,2BAA2B,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,UAAU,CAAC,KAAK,KAAK,EAC1E,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAAG,2BAA2B,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,UAAU,CAAC,CAAC;IAC/E,OAAO,CACL,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC;QAC1B,WAAW,CAAC,KAAK,EAAE,cAAc,CAAC;QAClC,KAAK,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAC5B,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;QACpC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,KAAK,gBAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,CAC7D,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAAC,QAA0B,EAAE,MAAyB;IACnF,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,2BAA2B,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC;IAC/D,CAAC;IACD,MAAM,CAAC,SAAS,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC;IAC7C,OAAO,CACL,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QACrC,SAAS,KAAK,SAAS;QACvB,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC;QACnC,2BAA2B,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,MAAM,CAC7D,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,IAAuB,EAAE,IAAY;IACxD,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,OAAO,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;QAC5B,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI;QACtB,CAAC,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC;AACzE,CAAC"}

package/dist/src/analysis/dialog/dialog-gates.d.ts

@@ -0,0 +1,7 @@
+import type { StateCandidate } from "../model.js";
+import type { ClusterAnalysisContext } from "../clusters/observable-clusters.js";
+import ts from "typescript";
+export declare function payloadControlsOwnerJsx(payload: StateCandidate, knownComponents: ReadonlySet<string>): boolean;
+export declare function stateHasBoundedDialogGate(state: StateCandidate, members: readonly StateCandidate[], { knownComponents, usageByState }: ClusterAnalysisContext): boolean;
+export declare function directDialogPayloadGateBranch(expression: ts.Expression, payloadName: string): ts.Expression | null;
+//# sourceMappingURL=dialog-gates.d.ts.map

package/dist/src/analysis/dialog/dialog-gates.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dialog-gates.d.ts","sourceRoot":"","sources":["../../../../src/analysis/dialog/dialog-gates.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAc,MAAM,aAAa,CAAC;AAQ9D,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAIjF,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,cAAc,EACvB,eAAe,EAAE,WAAW,CAAC,MAAM,CAAC,GACnC,OAAO,CAMT;AAkBD,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,cAAc,EACrB,OAAO,EAAE,SAAS,cAAc,EAAE,EAClC,EAAE,eAAe,EAAE,YAAY,EAAE,EAAE,sBAAsB,GACxD,OAAO,CAwBT;AAmED,wBAAgB,6BAA6B,CAC3C,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,WAAW,EAAE,MAAM,GAClB,EAAE,CAAC,UAAU,GAAG,IAAI,CAiBtB"}

package/dist/src/analysis/dialog/dialog-gates.js

@@ -0,0 +1,95 @@
+import { BROAD_OWNER_JSX_ELEMENTS, MAX_LEAF_SUBTREE_RATIO } from "../constants.js";
+import { findAncestorUntil, nodeWithin, visit } from "../../core/ast.js";
+import { isNonValueIdentifier, unwrapTransparentExpression } from "../../core/analysis-ast.js";
+import { jsxElementCount, jsxElementCountIn, nearestRepeatedRenderCall, } from "../../rules/state-proofs/jsx-subtrees.js";
+import { isDirectTruthyStateCondition } from "../clusters/gated-feedback-cluster.js";
+import { isJsxNode } from "../../rules/state-proofs/callback-sites.js";
+import { jsxTargetName } from "../ast-helpers.js";
+import ts from "typescript";
+export function payloadControlsOwnerJsx(payload, knownComponents) {
+    let controls = false;
+    visit(payload.owner.body, (node) => {
+        controls ||= readControlsOwnerJsx(node, payload, knownComponents);
+    });
+    return controls;
+}
+function readControlsOwnerJsx(node, payload, knownComponents) {
+    if (!ts.isIdentifier(node) || node.text !== payload.valueName || isNonValueIdentifier(node)) {
+        return false;
+    }
+    if (!findAncestorUntil(node, isJsxNode, payload.owner)) {
+        return false;
+    }
+    const attribute = findAncestorUntil(node, ts.isJsxAttribute, payload.owner);
+    const target = attribute ? jsxTargetName(attribute) : null;
+    return !target || !knownComponents.has(target);
+}
+export function stateHasBoundedDialogGate(state, members, { knownComponents, usageByState }) {
+    const stateUsage = usageByState.get(state);
+    if (!stateUsage ||
+        stateUsage.localRenderReads === 0 ||
+        stateUsage.localRenderReads !== stateUsage.directRenderNodes.length) {
+        return false;
+    }
+    const gate = boundedDialogGate(state, stateUsage);
+    if (!gate) {
+        return false;
+    }
+    const targetSites = knownComponentCallSites(gate.trueBranch, knownComponents);
+    if (targetSites.size === 0) {
+        return false;
+    }
+    return members.every((member) => memberIsConfinedToDialogGate(usageByState.get(member), gate.expression, {
+        knownComponents,
+        targetSites,
+    }));
+}
+function memberIsConfinedToDialogGate(usage, gate, { knownComponents, targetSites }) {
+    return (usage !== undefined &&
+        [...usage.jsxTargets].every((target) => knownComponents.has(target)) &&
+        [...usage.valueTransportSites, ...usage.setterTransportSites].every((site) => targetSites.has(site)) &&
+        usage.directRenderNodes.every((read) => nodeWithin(read, gate)));
+}
+function boundedDialogGate(state, stateUsage) {
+    const [firstRead] = stateUsage.directRenderNodes;
+    const gate = firstRead ? findAncestorUntil(firstRead, ts.isJsxExpression, state.owner) : null;
+    const expression = gate?.expression && unwrapTransparentExpression(gate.expression);
+    const trueBranch = expression ? directDialogPayloadGateBranch(expression, state.valueName) : null;
+    if (!gate ||
+        !trueBranch ||
+        (!ts.isJsxElement(trueBranch) &&
+            !ts.isJsxSelfClosingElement(trueBranch) &&
+            !ts.isJsxFragment(trueBranch)) ||
+        nearestRepeatedRenderCall(gate, state.owner) ||
+        jsxElementCountIn(trueBranch) > BROAD_OWNER_JSX_ELEMENTS ||
+        jsxElementCountIn(trueBranch) / jsxElementCount(state.owner) > MAX_LEAF_SUBTREE_RATIO ||
+        !stateUsage.directRenderNodes.every((read) => nodeWithin(read, gate))) {
+        return null;
+    }
+    return { expression: gate, trueBranch };
+}
+function knownComponentCallSites(root, knownComponents) {
+    const sites = new Set();
+    visit(root, (node) => {
+        if ((ts.isJsxOpeningElement(node) || ts.isJsxSelfClosingElement(node)) &&
+            knownComponents.has(node.tagName.getText())) {
+            sites.add(node.getStart());
+        }
+    });
+    return sites;
+}
+export function directDialogPayloadGateBranch(expression, payloadName) {
+    const value = unwrapTransparentExpression(expression);
+    if (ts.isConditionalExpression(value) &&
+        isDirectTruthyStateCondition(value.condition, payloadName) &&
+        unwrapTransparentExpression(value.whenFalse).kind === ts.SyntaxKind.NullKeyword) {
+        return unwrapTransparentExpression(value.whenTrue);
+    }
+    if (ts.isBinaryExpression(value) &&
+        value.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken &&
+        isDirectTruthyStateCondition(value.left, payloadName)) {
+        return unwrapTransparentExpression(value.right);
+    }
+    return null;
+}
+//# sourceMappingURL=dialog-gates.js.map

package/dist/src/analysis/dialog/dialog-gates.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dialog-gates.js","sourceRoot":"","sources":["../../../../src/analysis/dialog/dialog-gates.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AAEnF,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACzE,OAAO,EAAE,oBAAoB,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AAC/F,OAAO,EACL,eAAe,EACf,iBAAiB,EACjB,yBAAyB,GAC1B,MAAM,0CAA0C,CAAC;AAElD,OAAO,EAAE,4BAA4B,EAAE,MAAM,uCAAuC,CAAC;AACrF,OAAO,EAAE,SAAS,EAAE,MAAM,4CAA4C,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,uBAAuB,CACrC,OAAuB,EACvB,eAAoC;IAEpC,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACjC,QAAQ,KAAK,oBAAoB,CAAC,IAAI,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,oBAAoB,CAC3B,IAAa,EACb,OAAuB,EACvB,eAAoC;IAEpC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,SAAS,IAAI,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5F,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACvD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC5E,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3D,OAAO,CAAC,MAAM,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AACjD,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,KAAqB,EACrB,OAAkC,EAClC,EAAE,eAAe,EAAE,YAAY,EAA0B;IAEzD,MAAM,UAAU,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC3C,IACE,CAAC,UAAU;QACX,UAAU,CAAC,gBAAgB,KAAK,CAAC;QACjC,UAAU,CAAC,gBAAgB,KAAK,UAAU,CAAC,iBAAiB,CAAC,MAAM,EACnE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,IAAI,GAAG,iBAAiB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAClD,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,WAAW,GAAG,uBAAuB,CAAC,IAAI,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;IAC9E,IAAI,WAAW,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAC9B,4BAA4B,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,UAAU,EAAE;QACtE,eAAe;QACf,WAAW;KACZ,CAAC,CACH,CAAC;AACJ,CAAC;AAOD,SAAS,4BAA4B,CACnC,KAA6B,EAC7B,IAAsB,EACtB,EAAE,eAAe,EAAE,WAAW,EAAqB;IAEnD,OAAO,CACL,KAAK,KAAK,SAAS;QACnB,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACpE,CAAC,GAAG,KAAK,CAAC,mBAAmB,EAAE,GAAG,KAAK,CAAC,oBAAoB,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAC3E,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CACtB;QACD,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAChE,CAAC;AACJ,CAAC;AAOD,SAAS,iBAAiB,CACxB,KAAqB,EACrB,UAAsB;IAEtB,MAAM,CAAC,SAAS,CAAC,GAAG,UAAU,CAAC,iBAAiB,CAAC;IACjD,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,SAAS,EAAE,EAAE,CAAC,eAAe,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9F,MAAM,UAAU,GAAG,IAAI,EAAE,UAAU,IAAI,2BAA2B,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACpF,MAAM,UAAU,GAAG,UAAU,CAAC,CAAC,CAAC,6BAA6B,CAAC,UAAU,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAClG,IACE,CAAC,IAAI;QACL,CAAC,UAAU;QACX,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC;YAC3B,CAAC,EAAE,CAAC,uBAAuB,CAAC,UAAU,CAAC;YACvC,CAAC,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC;QAChC,yBAAyB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC;QAC5C,iBAAiB,CAAC,UAAU,CAAC,GAAG,wBAAwB;QACxD,iBAAiB,CAAC,UAAU,CAAC,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,sBAAsB;QACrF,CAAC,UAAU,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EACrE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;AAC1C,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAAa,EACb,eAAoC;IAEpC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACnB,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC;YAClE,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,EAC3C,CAAC;YACD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,UAAyB,EACzB,WAAmB;IAEnB,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,IACE,EAAE,CAAC,uBAAuB,CAAC,KAAK,CAAC;QACjC,4BAA4B,CAAC,KAAK,CAAC,SAAS,EAAE,WAAW,CAAC;QAC1D,2BAA2B,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAC/E,CAAC;QACD,OAAO,2BAA2B,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACrD,CAAC;IACD,IACE,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC;QAC5B,KAAK,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;QAClE,4BAA4B,CAAC,KAAK,CAAC,IAAI,EAAE,WAAW,CAAC,EACrD,CAAC;QACD,OAAO,2BAA2B,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/src/analysis/dialog/nullable-payload-cut.d.ts

@@ -0,0 +1,17 @@
+import type { DialogPayloadCut, StateCandidate, StateUsage } from "../model.js";
+import type { ChildContractResolver } from "../../rules/child-contract/model.js";
+import type { HookImports } from "../../core/imports.js";
+import type { MaterialityPolicy } from "../constants.js";
+interface DialogPayloadCutContext {
+    readonly childContracts: ChildContractResolver | null;
+    readonly imports: HookImports;
+    readonly knownComponents: ReadonlySet<string>;
+    readonly materiality: MaterialityPolicy;
+}
+export declare function nullableDialogPayloadCut(state: StateCandidate, usage: StateUsage, { childContracts, imports, knownComponents, materiality }: DialogPayloadCutContext): DialogPayloadCut | null;
+export interface StateRenderScope {
+    readonly state: StateCandidate;
+    readonly usage: StateUsage;
+}
+export {};
+//# sourceMappingURL=nullable-payload-cut.d.ts.map

package/dist/src/analysis/dialog/nullable-payload-cut.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nullable-payload-cut.d.ts","sourceRoot":"","sources":["../../../../src/analysis/dialog/nullable-payload-cut.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,gBAAgB,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAgBhF,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAEjF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAEzD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAUzD,UAAU,uBAAuB;IAC/B,QAAQ,CAAC,cAAc,EAAE,qBAAqB,GAAG,IAAI,CAAC;IACtD,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,eAAe,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC9C,QAAQ,CAAC,WAAW,EAAE,iBAAiB,CAAC;CACzC;AAyHD,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,EACjB,EAAE,cAAc,EAAE,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,EAAE,uBAAuB,GACjF,gBAAgB,GAAG,IAAI,CAyBzB;AAkDD,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;CAC5B"}

package/dist/src/analysis/dialog/nullable-payload-cut.js

@@ -0,0 +1,165 @@
+import { BROAD_OWNER_JSX_ELEMENTS, MAX_LEAF_SUBTREE_RATIO, MIN_DIRECT_RENDER_READS, MIN_REPEATED_SETTER_CALLS, } from "../constants.js";
+import { findAncestorUntil, nodeWithin } from "../../core/ast.js";
+import { hasUnstableSubtreeLifetime, isSafeJsxProjectionReference, jsxElementCount, jsxElementCountIn, lowestCommonJsxSubtree, nearestRepeatedRenderCall, } from "../../rules/state-proofs/jsx-subtrees.js";
+import { isCustomHookOwner, isCustomJsxTarget, jsxSubtreeLabel } from "../ast-helpers.js";
+import { nodeIsDirectDeferredEvent, sourceProvenDirectEventCallbacks, stateReadsOutsideRenderAreEventRooted, } from "../callbacks/deferred-events.js";
+import { directDialogPayloadGateBranch } from "./dialog-gates.js";
+import { hasStateInitializer } from "../../rules/deferred-reveal/deferred-reveal.js";
+import { isDirectTruthyStateCondition } from "../clusters/gated-feedback-cluster.js";
+import { stateMayHoldCallable } from "../../rules/state-proofs/state-proofs.js";
+import ts from "typescript";
+import { uniqueReturnedExpression } from "../return-call-sites.js";
+import { unwrapTransparentExpression } from "../../core/analysis-ast.js";
+function stateIsNullablePayload(state, usage) {
+    return (state.setterName !== null &&
+        !isCustomHookOwner(state.owner) &&
+        hasStateInitializer(state, ts.SyntaxKind.NullKeyword) &&
+        !stateMayHoldCallable(state) &&
+        usage.localRenderReads > 0 &&
+        usage.localRenderReads === usage.directRenderNodes.length &&
+        usage.effectReads === 0 &&
+        usage.effectWrites === 0 &&
+        usage.transportedOccurrences === 0 &&
+        usage.setterCallNodes.length >= MIN_REPEATED_SETTER_CALLS &&
+        usage.setterReferences === usage.setterCalls &&
+        !usage.setterUsesPreviousValue &&
+        !usage.shadowed &&
+        !usage.escaped &&
+        payloadWritesAlternateNullAndValue(usage));
+}
+function payloadWritesAlternateNullAndValue(usage) {
+    return (usage.setterCallNodes.some((call) => setterCallSetsLiteral(call, ts.SyntaxKind.NullKeyword)) &&
+        usage.setterCallNodes.some((call) => !setterCallSetsLiteral(call, ts.SyntaxKind.NullKeyword)) &&
+        usage.setterCallNodes.every((call) => {
+            const [argument] = call.arguments;
+            return (call.arguments.length === 1 &&
+                argument !== undefined &&
+                !ts.isArrowFunction(argument) &&
+                !ts.isFunctionExpression(argument));
+        }));
+}
+function dialogSubtreeIsBounded(dialog, state, { conditionalBoundary, materiality, usage }) {
+    const ownerJsx = jsxElementCount(state.owner);
+    const dialogJsx = jsxElementCountIn(dialog);
+    return (!ts.isJsxFragment(dialog) &&
+        ownerJsx >= materiality.broadOwnerJsx &&
+        !nearestRepeatedRenderCall(dialog, state.owner) &&
+        (conditionalBoundary !== null || !hasUnstableSubtreeLifetime(dialog, state.owner)) &&
+        usage.directRenderNodes.every((read) => nodeWithin(read, conditionalBoundary?.gate ?? dialog)) &&
+        dialogJsx <= BROAD_OWNER_JSX_ELEMENTS &&
+        dialogJsx / ownerJsx <= MAX_LEAF_SUBTREE_RATIO);
+}
+function dialogMountIsProven(dialog, state, { conditionalBoundary, knownComponents }) {
+    const returned = uniqueReturnedExpression(state.owner);
+    const opening = ts.isJsxElement(dialog) ? dialog.openingElement : dialog;
+    if (returned === null || ts.isJsxFragment(opening)) {
+        return false;
+    }
+    const target = opening.tagName.getText();
+    return (nodeWithin(conditionalBoundary?.gate ?? dialog, returned) &&
+        (!isCustomJsxTarget(target) || knownComponents.has(target)) &&
+        (conditionalBoundary !== null || openingBindsNullablePayloadOpen(opening, state.valueName)));
+}
+function openingBindsNullablePayloadOpen(opening, valueName) {
+    return opening.attributes.properties.some((attribute) => ts.isJsxAttribute(attribute) &&
+        attribute.name.getText() === "open" &&
+        attribute.initializer !== undefined &&
+        ts.isJsxExpression(attribute.initializer) &&
+        attribute.initializer.expression !== undefined &&
+        isNullablePayloadOpenExpression(attribute.initializer.expression, valueName));
+}
+function payloadWritesAreEventRooted(state, usage, { childContracts, imports }) {
+    const provenEventRoots = childContracts
+        ? new Set(sourceProvenDirectEventCallbacks(state.owner, imports, childContracts))
+        : new Set();
+    const eventScope = { childContracts, eventRoots: provenEventRoots };
+    return (stateReadsOutsideRenderAreEventRooted(state, usage, eventScope) &&
+        usage.setterCallNodes.every((call) => setterCallSetsLiteral(call, ts.SyntaxKind.NullKeyword) ||
+            nodeIsDirectDeferredEvent(call, state, eventScope)));
+}
+export function nullableDialogPayloadCut(state, usage, { childContracts, imports, knownComponents, materiality }) {
+    if (!stateIsNullablePayload(state, usage)) {
+        return null;
+    }
+    const conditionalBoundary = conditionalNullablePayloadBoundary(state, usage, knownComponents);
+    const dialog = conditionalBoundary?.dialog ?? lowestCommonJsxSubtree(usage.directRenderNodes, state.owner);
+    if (!dialog ||
+        !dialogSubtreeIsBounded(dialog, state, { conditionalBoundary, materiality, usage }) ||
+        !dialogMountIsProven(dialog, state, { conditionalBoundary, knownComponents })) {
+        return null;
+    }
+    if (!payloadWritesAreEventRooted(state, usage, { childContracts, imports })) {
+        return null;
+    }
+    return {
+        conditional: conditionalBoundary !== null,
+        consumerLabel: jsxSubtreeLabel(dialog),
+        consumerLine: dialog
+            .getSourceFile()
+            .getLineAndCharacterOfPosition((conditionalBoundary?.gate ?? dialog).getStart()).line + 1,
+    };
+}
+function conditionalNullablePayloadBoundary(state, usage, knownComponents) {
+    if (usage.directRenderNodes.length < MIN_DIRECT_RENDER_READS) {
+        return null;
+    }
+    for (const read of usage.directRenderNodes) {
+        const boundary = payloadGateBoundaryForRead(read, state, usage);
+        if (boundary &&
+            dialogTargetIsKnownAndSafe(boundary.dialog, knownComponents, { state, usage })) {
+            return boundary;
+        }
+    }
+    return null;
+}
+function payloadGateBoundaryForRead(read, state, usage) {
+    const gate = findAncestorUntil(read, ts.isJsxExpression, state.owner);
+    const expression = gate?.expression && unwrapTransparentExpression(gate.expression);
+    const dialog = expression ? directDialogPayloadGateBranch(expression, state.valueName) : null;
+    if (!gate ||
+        !expression ||
+        !dialog ||
+        (!ts.isJsxElement(dialog) && !ts.isJsxSelfClosingElement(dialog)) ||
+        !nodeWithin(read, dialogGateCondition(expression)) ||
+        nearestRepeatedRenderCall(gate, state.owner) ||
+        !usage.directRenderNodes.every((node) => nodeWithin(node, gate))) {
+        return null;
+    }
+    return { dialog, gate };
+}
+function dialogTargetIsKnownAndSafe(dialog, knownComponents, { state, usage }) {
+    const opening = ts.isJsxElement(dialog) ? dialog.openingElement : dialog;
+    const target = opening.tagName.getText();
+    if (isCustomJsxTarget(target) && !knownComponents.has(target)) {
+        return false;
+    }
+    return usage.directRenderNodes.every((node) => !nodeWithin(node, dialog) || isSafeJsxProjectionReference(node, state.owner));
+}
+function dialogGateCondition(expression) {
+    const value = unwrapTransparentExpression(expression);
+    if (ts.isConditionalExpression(value)) {
+        return value.condition;
+    }
+    return ts.isBinaryExpression(value) ? value.left : value;
+}
+function isNullablePayloadOpenExpression(expression, stateName) {
+    const value = unwrapTransparentExpression(expression);
+    if (isDirectTruthyStateCondition(value, stateName)) {
+        return true;
+    }
+    if (!ts.isBinaryExpression(value) ||
+        (value.operatorToken.kind !== ts.SyntaxKind.ExclamationEqualsToken &&
+            value.operatorToken.kind !== ts.SyntaxKind.ExclamationEqualsEqualsToken)) {
+        return false;
+    }
+    const left = unwrapTransparentExpression(value.left);
+    const right = unwrapTransparentExpression(value.right);
+    return ((ts.isIdentifier(left) &&
+        left.text === stateName &&
+        right.kind === ts.SyntaxKind.NullKeyword) ||
+        (left.kind === ts.SyntaxKind.NullKeyword && ts.isIdentifier(right) && right.text === stateName));
+}
+function setterCallSetsLiteral(call, kind) {
+    return call.arguments.length === 1 && call.arguments[0]?.kind === kind;
+}
+//# sourceMappingURL=nullable-payload-cut.js.map

package/dist/src/analysis/dialog/nullable-payload-cut.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nullable-payload-cut.js","sourceRoot":"","sources":["../../../../src/analysis/dialog/nullable-payload-cut.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,uBAAuB,EACvB,yBAAyB,GAC1B,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAClE,OAAO,EACL,0BAA0B,EAC1B,4BAA4B,EAC5B,eAAe,EACf,iBAAiB,EACjB,sBAAsB,EACtB,yBAAyB,GAC1B,MAAM,0CAA0C,CAAC;AAClD,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAC1F,OAAO,EACL,yBAAyB,EACzB,gCAAgC,EAChC,qCAAqC,GACtC,MAAM,iCAAiC,CAAC;AAOzC,OAAO,EAAE,6BAA6B,EAAE,MAAM,mBAAmB,CAAC;AAClE,OAAO,EAAE,mBAAmB,EAAE,MAAM,gDAAgD,CAAC;AACrF,OAAO,EAAE,4BAA4B,EAAE,MAAM,uCAAuC,CAAC;AACrF,OAAO,EAAE,oBAAoB,EAAE,MAAM,0CAA0C,CAAC;AAChF,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAC;AACnE,OAAO,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AASzE,SAAS,sBAAsB,CAAC,KAAqB,EAAE,KAAiB;IACtE,OAAO,CACL,KAAK,CAAC,UAAU,KAAK,IAAI;QACzB,CAAC,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC;QAC/B,mBAAmB,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC;QACrD,CAAC,oBAAoB,CAAC,KAAK,CAAC;QAC5B,KAAK,CAAC,gBAAgB,GAAG,CAAC;QAC1B,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,iBAAiB,CAAC,MAAM;QACzD,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,KAAK,CAAC,YAAY,KAAK,CAAC;QACxB,KAAK,CAAC,sBAAsB,KAAK,CAAC;QAClC,KAAK,CAAC,eAAe,CAAC,MAAM,IAAI,yBAAyB;QACzD,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,WAAW;QAC5C,CAAC,KAAK,CAAC,uBAAuB;QAC9B,CAAC,KAAK,CAAC,QAAQ;QACf,CAAC,KAAK,CAAC,OAAO;QACd,kCAAkC,CAAC,KAAK,CAAC,CAC1C,CAAC;AACJ,CAAC;AAED,SAAS,kCAAkC,CAAC,KAAiB;IAC3D,OAAO,CACL,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,qBAAqB,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;QAC5F,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,qBAAqB,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;QAC7F,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE;YACnC,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;YAClC,OAAO,CACL,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;gBAC3B,QAAQ,KAAK,SAAS;gBACtB,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC;gBAC7B,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CACnC,CAAC;QACJ,CAAC,CAAC,CACH,CAAC;AACJ,CAAC;AAQD,SAAS,sBAAsB,CAC7B,MAAsB,EACtB,KAAqB,EACrB,EAAE,mBAAmB,EAAE,WAAW,EAAE,KAAK,EAAuB;IAEhE,MAAM,QAAQ,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC9C,MAAM,SAAS,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC5C,OAAO,CACL,CAAC,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC;QACzB,QAAQ,IAAI,WAAW,CAAC,aAAa;QACrC,CAAC,yBAAyB,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC;QAC/C,CAAC,mBAAmB,KAAK,IAAI,IAAI,CAAC,0BAA0B,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QAClF,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CACrC,UAAU,CAAC,IAAI,EAAE,mBAAmB,EAAE,IAAI,IAAI,MAAM,CAAC,CACtD;QACD,SAAS,IAAI,wBAAwB;QACrC,SAAS,GAAG,QAAQ,IAAI,sBAAsB,CAC/C,CAAC;AACJ,CAAC;AAOD,SAAS,mBAAmB,CAC1B,MAAsB,EACtB,KAAqB,EACrB,EAAE,mBAAmB,EAAE,eAAe,EAAoB;IAE1D,MAAM,QAAQ,GAAG,wBAAwB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACvD,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC;IACzE,IAAI,QAAQ,KAAK,IAAI,IAAI,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;QACnD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;IACzC,OAAO,CACL,UAAU,CAAC,mBAAmB,EAAE,IAAI,IAAI,MAAM,EAAE,QAAQ,CAAC;QACzD,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC3D,CAAC,mBAAmB,KAAK,IAAI,IAAI,+BAA+B,CAAC,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAC5F,CAAC;AACJ,CAAC;AAED,SAAS,+BAA+B,CACtC,OAAwD,EACxD,SAAiB;IAEjB,OAAO,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CACvC,CAAC,SAAS,EAAE,EAAE,CACZ,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC;QAC5B,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,MAAM;QACnC,SAAS,CAAC,WAAW,KAAK,SAAS;QACnC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,WAAW,CAAC;QACzC,SAAS,CAAC,WAAW,CAAC,UAAU,KAAK,SAAS;QAC9C,+BAA+B,CAAC,SAAS,CAAC,WAAW,CAAC,UAAU,EAAE,SAAS,CAAC,CAC/E,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAClC,KAAqB,EACrB,KAAiB,EACjB,EAAE,cAAc,EAAE,OAAO,EAA+D;IAExF,MAAM,gBAAgB,GAAG,cAAc;QACrC,CAAC,CAAC,IAAI,GAAG,CAAC,gCAAgC,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC;QACjF,CAAC,CAAC,IAAI,GAAG,EAAuB,CAAC;IACnC,MAAM,UAAU,GAAuB,EAAE,cAAc,EAAE,UAAU,EAAE,gBAAgB,EAAE,CAAC;IACxF,OAAO,CACL,qCAAqC,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC;QAC/D,KAAK,CAAC,eAAe,CAAC,KAAK,CACzB,CAAC,IAAI,EAAE,EAAE,CACP,qBAAqB,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC;YACtD,yBAAyB,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC,CACrD,CACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,KAAqB,EACrB,KAAiB,EACjB,EAAE,cAAc,EAAE,OAAO,EAAE,eAAe,EAAE,WAAW,EAA2B;IAElF,IAAI,CAAC,sBAAsB,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;QAC1C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,mBAAmB,GAAG,kCAAkC,CAAC,KAAK,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC;IAC9F,MAAM,MAAM,GACV,mBAAmB,EAAE,MAAM,IAAI,sBAAsB,CAAC,KAAK,CAAC,iBAAiB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC9F,IACE,CAAC,MAAM;QACP,CAAC,sBAAsB,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,mBAAmB,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;QACnF,CAAC,mBAAmB,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,mBAAmB,EAAE,eAAe,EAAE,CAAC,EAC7E,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,2BAA2B,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QAC5E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,WAAW,EAAE,mBAAmB,KAAK,IAAI;QACzC,aAAa,EAAE,eAAe,CAAC,MAAM,CAAC;QACtC,YAAY,EACV,MAAM;aACH,aAAa,EAAE;aACf,6BAA6B,CAAC,CAAC,mBAAmB,EAAE,IAAI,IAAI,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC;KAC9F,CAAC;AACJ,CAAC;AAED,SAAS,kCAAkC,CACzC,KAAqB,EACrB,KAAiB,EACjB,eAAoC;IAEpC,IAAI,KAAK,CAAC,iBAAiB,CAAC,MAAM,GAAG,uBAAuB,EAAE,CAAC;QAC7D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,iBAAiB,EAAE,CAAC;QAC3C,MAAM,QAAQ,GAAG,0BAA0B,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAChE,IACE,QAAQ;YACR,0BAA0B,CAAC,QAAQ,CAAC,MAAM,EAAE,eAAe,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAC9E,CAAC;YACD,OAAO,QAAQ,CAAC;QAClB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAOD,SAAS,0BAA0B,CACjC,IAAa,EACb,KAAqB,EACrB,KAAiB;IAEjB,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACtE,MAAM,UAAU,GAAG,IAAI,EAAE,UAAU,IAAI,2BAA2B,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACpF,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,6BAA6B,CAAC,UAAU,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9F,IACE,CAAC,IAAI;QACL,CAAC,UAAU;QACX,CAAC,MAAM;QACP,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC;QACjE,CAAC,UAAU,CAAC,IAAI,EAAE,mBAAmB,CAAC,UAAU,CAAC,CAAC;QAClD,yBAAyB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC;QAC5C,CAAC,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAChE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAC1B,CAAC;AAOD,SAAS,0BAA0B,CACjC,MAAgD,EAChD,eAAoC,EACpC,EAAE,KAAK,EAAE,KAAK,EAAoB;IAElC,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC;IACzE,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;IACzC,IAAI,iBAAiB,CAAC,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9D,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAClC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,4BAA4B,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CACvF,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,UAAyB;IACpD,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,EAAE,CAAC,uBAAuB,CAAC,KAAK,CAAC,EAAE,CAAC;QACtC,OAAO,KAAK,CAAC,SAAS,CAAC;IACzB,CAAC;IACD,OAAO,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;AAC3D,CAAC;AAED,SAAS,+BAA+B,CAAC,UAAyB,EAAE,SAAiB;IACnF,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,4BAA4B,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;QACnD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IACE,CAAC,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC;QAC7B,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB;YAChE,KAAK,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,4BAA4B,CAAC,EAC1E,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,2BAA2B,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACrD,MAAM,KAAK,GAAG,2BAA2B,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACvD,OAAO,CACL,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QACpB,IAAI,CAAC,IAAI,KAAK,SAAS;QACvB,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC;QAC3C,CAAC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAChG,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAuB,EAAE,IAAmB;IACzE,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,IAAI,CAAC;AACzE,CAAC"}

package/dist/src/analysis/discard-confidence.d.ts

@@ -0,0 +1,6 @@
+import type { StateCandidate, StateUsage } from "./model.js";
+import ts from "typescript";
+export declare function setterCallsDiscardConfidence(calls: readonly ts.CallExpression[]): "certain" | "probable" | null;
+export declare function stateReadsOnlyCalculateOwnSetter(state: StateCandidate, usage: StateUsage): boolean;
+export declare function stateOnlyReceivesItsInitialPrimitive(state: StateCandidate, usage: StateUsage): boolean;
+//# sourceMappingURL=discard-confidence.d.ts.map

package/dist/src/analysis/discard-confidence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"discard-confidence.d.ts","sourceRoot":"","sources":["../../../src/analysis/discard-confidence.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAS7D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,SAAS,EAAE,CAAC,cAAc,EAAE,GAClC,SAAS,GAAG,UAAU,GAAG,IAAI,CAY/B;AAUD,wBAAgB,gCAAgC,CAC9C,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,GAChB,OAAO,CAiCT;AAED,wBAAgB,oCAAoC,CAClD,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,GAChB,OAAO,CAiBT"}