legend-doctor 0.1.0

package/dist/src/analysis/clusters/gated-feedback-cluster.js

@@ -0,0 +1,180 @@
+import { MAX_FEEDBACK_LEAF_ELEMENTS, MIN_REPEATED_SETTER_CALLS } from "../constants.js";
+import { bindingDeclarationCount, unwrapTransparentExpression } from "../../core/analysis-ast.js";
+import { callSetsLiteral, callsAreAdjacentDraftWrites, mutationsAreProvenCoexecuting, mutationsWriteTogether, nearestMutationFunction, } from "../mutations.js";
+import { findAncestorUntil, nodeWithin, visit, visitSkippingNestedRuntimeFunctions, } from "../../core/ast.js";
+import { jsxElementCountIn, lowestCommonJsxSubtree, } from "../../rules/state-proofs/jsx-subtrees.js";
+import { distinctClusterPair } from "./cluster-pairs.js";
+import { hasStateInitializer } from "../../rules/deferred-reveal/deferred-reveal.js";
+import { stateMayHoldCallable } from "../../rules/state-proofs/state-proofs.js";
+import ts from "typescript";
+import { uniqueReturnedExpression } from "../return-call-sites.js";
+function gatedFeedbackUsageIsIsolated(payload, feedback, { firstUsage: payloadUsage, secondUsage: feedbackUsage }) {
+    if (!payloadUsage || !feedbackUsage) {
+        return false;
+    }
+    return (![payloadUsage, feedbackUsage].some((usage) => usage.shadowed ||
+        usage.escaped ||
+        usage.effectReads > 0 ||
+        usage.effectWrites > 0 ||
+        usage.setterUsesPreviousValue ||
+        usage.transportedOccurrences > 0) &&
+        !stateMayHoldCallable(payload) &&
+        !stateMayHoldCallable(feedback) &&
+        payloadUsage.localRenderReads > 0 &&
+        feedbackUsage.localRenderReads > 0 &&
+        payloadUsage.setterReferences === payloadUsage.setterCalls &&
+        feedbackUsage.setterReferences === feedbackUsage.setterCalls);
+}
+function gatedFeedbackMutationsAreTimed(payloadMutations, feedbackMutations, { payloadResets, region, stateFlow }) {
+    const feedbackResets = feedbackMutations.filter((mutation) => callSetsLiteral(mutation, ts.SyntaxKind.FalseKeyword));
+    const feedbackStarts = feedbackMutations.filter((mutation) => callSetsLiteral(mutation, ts.SyntaxKind.TrueKeyword));
+    return (payloadMutations.length >= MIN_REPEATED_SETTER_CALLS &&
+        payloadResets.length > 0 &&
+        payloadMutations.some((mutation) => !callSetsLiteral(mutation, ts.SyntaxKind.NullKeyword)) &&
+        feedbackStarts.length > 0 &&
+        feedbackResets.length >= MIN_REPEATED_SETTER_CALLS &&
+        feedbackHasTimedReset(feedbackStarts, feedbackResets, { region, stateFlow }));
+}
+function feedbackIsGatedByPayload(payload, feedback, usageByState) {
+    const payloadUsage = usageByState.get(payload);
+    const feedbackUsage = usageByState.get(feedback);
+    return (payloadUsage !== undefined &&
+        feedbackUsage !== undefined &&
+        gatedFeedbackUsageIsIsolated(payload, feedback, {
+            firstUsage: payloadUsage,
+            secondUsage: feedbackUsage,
+        }) &&
+        feedbackRenderIsConfinedToPayloadGate(payload, payloadUsage, feedbackUsage));
+}
+export function normalizeGatedFeedbackClusterMembers(members, { mutations, stateFlow, usageByState }) {
+    const pair = distinctClusterPair(members, (state) => hasStateInitializer(state, ts.SyntaxKind.NullKeyword), (state) => hasStateInitializer(state, ts.SyntaxKind.FalseKeyword));
+    if (!pair) {
+        return null;
+    }
+    const { first: payload, second: feedback } = pair;
+    if (!feedbackIsGatedByPayload(payload, feedback, usageByState)) {
+        return null;
+    }
+    const payloadMutations = mutations.filter((mutation) => mutation.state === payload);
+    const feedbackMutations = mutations.filter((mutation) => mutation.state === feedback);
+    return gatedFeedbackResetsArePaired(payloadMutations, feedbackMutations, {
+        region: feedback.owner,
+        stateFlow,
+    })
+        ? [payload, feedback]
+        : null;
+}
+function gatedFeedbackResetsArePaired(payloadMutations, feedbackMutations, { region, stateFlow }) {
+    const payloadResets = payloadMutations.filter((mutation) => callSetsLiteral(mutation, ts.SyntaxKind.NullKeyword));
+    if (!gatedFeedbackMutationsAreTimed(payloadMutations, feedbackMutations, {
+        payloadResets,
+        region,
+        stateFlow,
+    })) {
+        return false;
+    }
+    const feedbackResets = feedbackMutations.filter((mutation) => callSetsLiteral(mutation, ts.SyntaxKind.FalseKeyword));
+    return payloadResets.some((payloadReset) => feedbackResets.some((feedbackReset) => mutationsWriteTogether(payloadReset, feedbackReset, stateFlow)));
+}
+function feedbackRenderIsConfinedToPayloadGate(payload, payloadUsage, feedbackUsage) {
+    if (payloadUsage.directRenderNodes.length === 0 ||
+        payloadUsage.localRenderReads !== payloadUsage.directRenderNodes.length ||
+        feedbackUsage.directRenderNodes.length === 0 ||
+        feedbackUsage.localRenderReads !== feedbackUsage.directRenderNodes.length) {
+        return false;
+    }
+    const feedbackLeaf = lowestCommonJsxSubtree(feedbackUsage.directRenderNodes, payload.owner);
+    const returned = uniqueReturnedExpression(payload.owner) ?? uniqueJsxReturnAllowingNullGuard(payload.owner);
+    if (!feedbackLeaf || jsxElementCountIn(feedbackLeaf) > MAX_FEEDBACK_LEAF_ELEMENTS || !returned) {
+        return false;
+    }
+    let confined = false;
+    visit(returned, (node) => {
+        if (!confined) {
+            confined = payloadGateConfinesFeedback(node, feedbackLeaf, {
+                feedbackUsage,
+                payload,
+                payloadUsage,
+            });
+        }
+    });
+    return confined;
+}
+function payloadGateConfinesFeedback(node, feedbackLeaf, { feedbackUsage, payload, payloadUsage }) {
+    if (!ts.isConditionalExpression(node) ||
+        !isDirectTruthyStateCondition(node.condition, payload.valueName)) {
+        return false;
+    }
+    return (payloadUsage.directRenderNodes.every((read) => nodeWithin(read, node)) &&
+        feedbackUsage.directRenderNodes.every((read) => nodeWithin(read, node.whenTrue)) &&
+        nodeWithin(feedbackLeaf, node.whenTrue));
+}
+function uniqueJsxReturnAllowingNullGuard(owner) {
+    if (!owner.body) {
+        return null;
+    }
+    const returned = [];
+    let unsafe = false;
+    visitSkippingNestedRuntimeFunctions(owner.body, (node) => {
+        if (!unsafe) {
+            unsafe = !collectJsxOrNullReturn(node, returned);
+        }
+    });
+    return !unsafe && returned.length === 1 ? returned[0] : null;
+}
+function collectJsxOrNullReturn(node, returned) {
+    if (!ts.isReturnStatement(node)) {
+        return true;
+    }
+    const expression = node.expression && unwrapTransparentExpression(node.expression);
+    if (expression?.kind === ts.SyntaxKind.NullKeyword) {
+        return true;
+    }
+    if (!expression || !isJsxRootExpression(expression)) {
+        return false;
+    }
+    returned.push(expression);
+    return true;
+}
+function isJsxRootExpression(expression) {
+    return (ts.isJsxElement(expression) ||
+        ts.isJsxSelfClosingElement(expression) ||
+        ts.isJsxFragment(expression));
+}
+export function isDirectTruthyStateCondition(expression, stateName) {
+    const value = unwrapTransparentExpression(expression);
+    if (ts.isIdentifier(value)) {
+        return value.text === stateName;
+    }
+    return (ts.isPrefixUnaryExpression(value) &&
+        value.operator === ts.SyntaxKind.ExclamationToken &&
+        ts.isPrefixUnaryExpression(value.operand) &&
+        value.operand.operator === ts.SyntaxKind.ExclamationToken &&
+        ts.isIdentifier(value.operand.operand) &&
+        value.operand.operand.text === stateName);
+}
+function feedbackHasTimedReset(starts, resets, { region: owner, stateFlow }) {
+    if (bindingDeclarationCount(owner, "setTimeout") > 0) {
+        return false;
+    }
+    return resets.some((reset) => {
+        const timer = findAncestorUntil(reset.call, (node) => {
+            if (!ts.isCallExpression(node) ||
+                !ts.isIdentifier(node.expression) ||
+                node.expression.text !== "setTimeout") {
+                return false;
+            }
+            const [callback] = node.arguments;
+            return callback !== undefined && nodeWithin(reset.call, callback);
+        }, owner);
+        if (!timer) {
+            return false;
+        }
+        const command = nearestMutationFunction(timer, owner);
+        return starts.some((start) => start.region === command &&
+            start.call.getStart() < timer.getStart() &&
+            (callsAreAdjacentDraftWrites(start.call, timer) ||
+                mutationsAreProvenCoexecuting(start.call, timer, { region: command, stateFlow })));
+    });
+}
+//# sourceMappingURL=gated-feedback-cluster.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"gated-feedback-cluster.js","sourceRoot":"","sources":["../../../../src/analysis/clusters/gated-feedback-cluster.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,0BAA0B,EAAE,yBAAyB,EAAE,MAAM,iBAAiB,CAAC;AACxF,OAAO,EAAE,uBAAuB,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AAClG,OAAO,EACL,eAAe,EACf,2BAA2B,EAC3B,6BAA6B,EAC7B,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,iBAAiB,EACjB,UAAU,EACV,KAAK,EACL,mCAAmC,GACpC,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,iBAAiB,EACjB,sBAAsB,GACvB,MAAM,0CAA0C,CAAC;AAKlD,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EAAE,mBAAmB,EAAE,MAAM,gDAAgD,CAAC;AACrF,OAAO,EAAE,oBAAoB,EAAE,MAAM,0CAA0C,CAAC;AAChF,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAC;AAEnE,SAAS,4BAA4B,CACnC,OAAuB,EACvB,QAAwB,EACxB,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,aAAa,EAAoB;IAE1E,IAAI,CAAC,YAAY,IAAI,CAAC,aAAa,EAAE,CAAC;QACpC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CACL,CAAC,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC,IAAI,CACjC,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;QAC7B,KAAK,CAAC,sBAAsB,GAAG,CAAC,CACnC;QACD,CAAC,oBAAoB,CAAC,OAAO,CAAC;QAC9B,CAAC,oBAAoB,CAAC,QAAQ,CAAC;QAC/B,YAAY,CAAC,gBAAgB,GAAG,CAAC;QACjC,aAAa,CAAC,gBAAgB,GAAG,CAAC;QAClC,YAAY,CAAC,gBAAgB,KAAK,YAAY,CAAC,WAAW;QAC1D,aAAa,CAAC,gBAAgB,KAAK,aAAa,CAAC,WAAW,CAC7D,CAAC;AACJ,CAAC;AAMD,SAAS,8BAA8B,CACrC,gBAA2C,EAC3C,iBAA4C,EAC5C,EAAE,aAAa,EAAE,MAAM,EAAE,SAAS,EAA4B;IAE9D,MAAM,cAAc,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC3D,eAAe,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,CACtD,CAAC;IACF,MAAM,cAAc,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC3D,eAAe,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CACrD,CAAC;IACF,OAAO,CACL,gBAAgB,CAAC,MAAM,IAAI,yBAAyB;QACpD,aAAa,CAAC,MAAM,GAAG,CAAC;QACxB,gBAAgB,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;QAC1F,cAAc,CAAC,MAAM,GAAG,CAAC;QACzB,cAAc,CAAC,MAAM,IAAI,yBAAyB;QAClD,qBAAqB,CAAC,cAAc,EAAE,cAAc,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAC7E,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,OAAuB,EACvB,QAAwB,EACxB,YAAqD;IAErD,MAAM,YAAY,GAAG,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC/C,MAAM,aAAa,GAAG,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACjD,OAAO,CACL,YAAY,KAAK,SAAS;QAC1B,aAAa,KAAK,SAAS;QAC3B,4BAA4B,CAAC,OAAO,EAAE,QAAQ,EAAE;YAC9C,UAAU,EAAE,YAAY;YACxB,WAAW,EAAE,aAAa;SAC3B,CAAC;QACF,qCAAqC,CAAC,OAAO,EAAE,YAAY,EAAE,aAAa,CAAC,CAC5E,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oCAAoC,CAClD,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,mBAAmB,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,CAClE,CAAC;IACF,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC;IAClD,IAAI,CAAC,wBAAwB,CAAC,OAAO,EAAE,QAAQ,EAAE,YAAY,CAAC,EAAE,CAAC;QAC/D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,gBAAgB,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC;IACpF,MAAM,iBAAiB,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC;IACtF,OAAO,4BAA4B,CAAC,gBAAgB,EAAE,iBAAiB,EAAE;QACvE,MAAM,EAAE,QAAQ,CAAC,KAAK;QACtB,SAAS;KACV,CAAC;QACA,CAAC,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC;QACrB,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,4BAA4B,CACnC,gBAA2C,EAC3C,iBAA4C,EAC5C,EAAE,MAAM,EAAE,SAAS,EAAoB;IAEvC,MAAM,aAAa,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CACzD,eAAe,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CACrD,CAAC;IACF,IACE,CAAC,8BAA8B,CAAC,gBAAgB,EAAE,iBAAiB,EAAE;QACnE,aAAa;QACb,MAAM;QACN,SAAS;KACV,CAAC,EACF,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,cAAc,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC3D,eAAe,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,CACtD,CAAC;IACF,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,EAAE,CACzC,cAAc,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,EAAE,CACpC,sBAAsB,CAAC,YAAY,EAAE,aAAa,EAAE,SAAS,CAAC,CAC/D,CACF,CAAC;AACJ,CAAC;AAED,SAAS,qCAAqC,CAC5C,OAAuB,EACvB,YAAwB,EACxB,aAAyB;IAEzB,IACE,YAAY,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC;QAC3C,YAAY,CAAC,gBAAgB,KAAK,YAAY,CAAC,iBAAiB,CAAC,MAAM;QACvE,aAAa,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC;QAC5C,aAAa,CAAC,gBAAgB,KAAK,aAAa,CAAC,iBAAiB,CAAC,MAAM,EACzE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,YAAY,GAAG,sBAAsB,CAAC,aAAa,CAAC,iBAAiB,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC5F,MAAM,QAAQ,GACZ,wBAAwB,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,gCAAgC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7F,IAAI,CAAC,YAAY,IAAI,iBAAiB,CAAC,YAAY,CAAC,GAAG,0BAA0B,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC/F,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,KAAK,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE;QACvB,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,QAAQ,GAAG,2BAA2B,CAAC,IAAI,EAAE,YAAY,EAAE;gBACzD,aAAa;gBACb,OAAO;gBACP,YAAY;aACb,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAQD,SAAS,2BAA2B,CAClC,IAAa,EACb,YAA4B,EAC5B,EAAE,aAAa,EAAE,OAAO,EAAE,YAAY,EAAsB;IAE5D,IACE,CAAC,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC;QACjC,CAAC,4BAA4B,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,SAAS,CAAC,EAChE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CACL,YAAY,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACtE,aAAa,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChF,UAAU,CAAC,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,CACxC,CAAC;AACJ,CAAC;AAED,SAAS,gCAAgC,CAAC,KAA0B;IAClE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAChB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,mCAAmC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACvD,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,GAAG,CAAC,sBAAsB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACnD,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,CAAC,MAAM,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAChE,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAa,EAAE,QAAyB;IACtE,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,IAAI,2BAA2B,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACnF,IAAI,UAAU,EAAE,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QACnD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,UAAU,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAAE,CAAC;QACpD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC1B,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,mBAAmB,CAAC,UAAyB;IACpD,OAAO,CACL,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC;QAC3B,EAAE,CAAC,uBAAuB,CAAC,UAAU,CAAC;QACtC,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,CAC7B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,UAAyB,EACzB,SAAiB;IAEjB,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC;IAClC,CAAC;IACD,OAAO,CACL,EAAE,CAAC,uBAAuB,CAAC,KAAK,CAAC;QACjC,KAAK,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;QACjD,EAAE,CAAC,uBAAuB,CAAC,KAAK,CAAC,OAAO,CAAC;QACzC,KAAK,CAAC,OAAO,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;QACzD,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QACtC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,CACzC,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,MAAiC,EACjC,MAAiC,EACjC,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAoB;IAE9C,IAAI,uBAAuB,CAAC,KAAK,EAAE,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;QACrD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE;QAC3B,MAAM,KAAK,GAAG,iBAAiB,CAC7B,KAAK,CAAC,IAAI,EACV,CAAC,IAAI,EAA6B,EAAE;YAClC,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;gBAC1B,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;gBACjC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,YAAY,EACrC,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;YACD,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;YAClC,OAAO,QAAQ,KAAK,SAAS,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACpE,CAAC,EACD,KAAK,CACN,CAAC;QACF,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,OAAO,GAAG,uBAAuB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACtD,OAAO,MAAM,CAAC,IAAI,CAChB,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,MAAM,KAAK,OAAO;YACxB,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,QAAQ,EAAE;YACxC,CAAC,2BAA2B,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC;gBAC7C,6BAA6B,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,CACtF,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC"}

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

@@ -0,0 +1,20 @@
+import type { SetterMutation, StateCandidate, StateCluster, StateUsage } from "../model.js";
+import type { ChildContractResolver } from "../../rules/child-contract/model.js";
+import type { MaterialityPolicy } from "../constants.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import type { StateFlowIndex } from "../../project/state-flow/state-flow.js";
+import type ts from "typescript";
+export interface ClusterAnalysisContext {
+    readonly childContracts: ChildContractResolver | null;
+    readonly knownComponents: ReadonlySet<string>;
+    readonly materiality: MaterialityPolicy;
+    readonly sourceFile: ts.SourceFile;
+    readonly stateFlow: StateFlowIndex;
+    readonly usageByState: ReadonlyMap<StateCandidate, StateUsage>;
+}
+export interface ClusterMemberContext extends ClusterAnalysisContext {
+    readonly mutations: readonly SetterMutation[];
+}
+export declare function groupStatesByOwner(states: readonly StateCandidate[]): ReadonlyMap<RuntimeFunctionLike, StateCandidate[]>;
+export declare function findObservableStateClusters(states: readonly StateCandidate[], context: ClusterAnalysisContext): ReadonlyMap<StateCandidate, StateCluster>;
+//# sourceMappingURL=observable-clusters.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"observable-clusters.d.ts","sourceRoot":"","sources":["../../../../src/analysis/clusters/observable-clusters.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,cAAc,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC5F,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAEjF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAC;AAW7E,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AA2DjC,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,cAAc,EAAE,qBAAqB,GAAG,IAAI,CAAC;IACtD,QAAQ,CAAC,eAAe,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC9C,QAAQ,CAAC,WAAW,EAAE,iBAAiB,CAAC;IACxC,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;IACnC,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;CAChE;AAED,MAAM,WAAW,oBAAqB,SAAQ,sBAAsB;IAClE,QAAQ,CAAC,SAAS,EAAE,SAAS,cAAc,EAAE,CAAC;CAC/C;AAED,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,SAAS,cAAc,EAAE,GAChC,WAAW,CAAC,mBAAmB,EAAE,cAAc,EAAE,CAAC,CAQpD;AA0DD,wBAAgB,2BAA2B,CACzC,MAAM,EAAE,SAAS,cAAc,EAAE,EACjC,OAAO,EAAE,sBAAsB,GAC9B,WAAW,CAAC,cAAc,EAAE,YAAY,CAAC,CAM3C"}

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

@@ -0,0 +1,177 @@
+import { COMPACT_OWNER_JSX_ELEMENTS, LARGE_OWNER_LINE_SPAN } from "../constants.js";
+import { DisjointSet } from "./disjoint-set.js";
+import { collectSetterMutations } from "../companion-writes.js";
+import { jsxElementCount } from "../../rules/state-proofs/jsx-subtrees.js";
+import { mutationsAreProvenCoexecuting } from "../mutations.js";
+import { normalizeGatedFeedbackClusterMembers } from "./gated-feedback-cluster.js";
+import { normalizeObservableDialogClusterMembers } from "./dialog-cluster.js";
+import { normalizeObservableSelectionClusterMembers } from "./selection-cluster.js";
+import { normalizeObservableTextDraftClusterMembers } from "./text-draft-cluster.js";
+import { normalizePersistentScalarDialogClusterMembers } from "./scalar-dialog-cluster.js";
+import { ownerLineSpan } from "../ast-helpers.js";
+import { stateHasBoundedDialogGate } from "../dialog/dialog-gates.js";
+function observableClusterKind(members) {
+    if (members.selectionMembers) {
+        return "selection";
+    }
+    if (members.gatedFeedbackMembers) {
+        return "gated-feedback";
+    }
+    if (members.textDraftMembers) {
+        return "text-draft";
+    }
+    return members.hasBoundedDialogGate ? "persistent-dialog" : "dialog";
+}
+function stateClusterMessage(kind, names, targets) {
+    const quoted = names.map((name) => `\`${name}\``).join(", ");
+    const targetList = [...targets].toSorted().join(", ");
+    if (kind === "selection") {
+        return `Replace the co-written selection mode (${quoted}) with one component-lifetime observable object; preserve mode-and-clear transitions with atomic \`assign\` calls, keep independent collection edits as leaf writes, snapshot command reads with \`peek\`, and subscribe with \`useValue\` only at header, control, and keyed-row leaves.`;
+    }
+    if (kind === "gated-feedback") {
+        return `Replace the payload and timed feedback state (${quoted}) with one component-lifetime observable model; preserve the timer and command timing, batch the paired reset, read the payload command with \`peek\`, subscribe to the payload-gated content at its stable call site, and subscribe to feedback again only in its nested feedback leaf.`;
+    }
+    return dialogClusterMessage(kind, quoted, targetList);
+}
+function dialogClusterMessage(kind, quoted, targetList) {
+    if (kind === "text-draft") {
+        return `Replace the co-written editable draft (${quoted}) with one component-lifetime observable object; preserve cursor-and-name transitions with atomic \`assign\` calls, keep controlled name edits as leaf writes, snapshot command reads with \`peek\`, and subscribe with \`useValue\` only at the rendered row or control leaves.`;
+    }
+    if (kind === "persistent-dialog") {
+        return `Replace the persistent dialog state (${quoted}) with one component-lifetime observable model; atomically assign the payload and open flag, keep close transitions as leaf writes, and move the complete payload gate plus ${targetList} into one always-mounted stable leaf wrapper. Subscribe there with \`useValue\` so the existing payload gate and dialog mount behavior stay unchanged.`;
+    }
+    return `Replace the co-written React state cluster (${quoted}) with one component-lifetime observable dialog model; preserve paired payload/open transitions with atomic \`assign\` calls, keep independent close updates as leaf writes, and subscribe with \`useValue\` only inside ${targetList}.`;
+}
+export function groupStatesByOwner(states) {
+    const byOwner = new Map();
+    for (const state of states) {
+        const ownerStates = byOwner.get(state.owner) ?? [];
+        ownerStates.push(state);
+        byOwner.set(state.owner, ownerStates);
+    }
+    return byOwner;
+}
+function coexecutingStateComponents(mutableStates, calls, stateFlow) {
+    const union = new DisjointSet(mutableStates.length);
+    for (const pair of provenCoexecutingMutationPairs(calls, stateFlow)) {
+        joinStateIndexes(union, mutableStates, pair);
+    }
+    return union.groups(mutableStates);
+}
+function joinStateIndexes(union, mutableStates, [left, right]) {
+    const leftIndex = mutableStates.indexOf(left.state);
+    const rightIndex = mutableStates.indexOf(right.state);
+    if (leftIndex !== -1 && rightIndex !== -1) {
+        union.join(leftIndex, rightIndex);
+    }
+}
+function provenCoexecutingMutationPairs(calls, stateFlow) {
+    const pairs = [];
+    for (const [leftIndex, left] of calls.entries()) {
+        for (const right of calls.slice(leftIndex + 1)) {
+            if (left.state !== right.state &&
+                left.region === right.region &&
+                mutationsAreProvenCoexecuting(left.call, right.call, { region: left.region, stateFlow })) {
+                pairs.push([left, right]);
+            }
+        }
+    }
+    return pairs;
+}
+function registerObservableCluster(members, clusterContext, result) {
+    const cluster = observableCluster(members, clusterContext);
+    for (const member of cluster?.members ?? []) {
+        if (cluster) {
+            result.set(member, cluster);
+        }
+    }
+}
+export function findObservableStateClusters(states, context) {
+    const result = new Map();
+    for (const ownerEntry of groupStatesByOwner(states)) {
+        registerOwnerClusters(ownerEntry, context, result);
+    }
+    return result;
+}
+function registerOwnerClusters([owner, ownerStates], context, result) {
+    const scale = ownerClusterScale(owner, context);
+    if (!scale) {
+        return;
+    }
+    const mutableStates = ownerStates.filter((state) => state.setterName !== null);
+    const calls = collectSetterMutations(owner, mutableStates);
+    const clusterContext = { ...context, mutations: calls, owner, scale };
+    for (const members of coexecutingStateComponents(mutableStates, calls, context.stateFlow)) {
+        registerObservableCluster(members, clusterContext, result);
+    }
+}
+function ownerClusterScale(owner, { materiality, sourceFile }) {
+    const ownerElements = jsxElementCount(owner);
+    if (ownerElements < COMPACT_OWNER_JSX_ELEMENTS) {
+        return null;
+    }
+    return {
+        broadOwner: ownerElements >= materiality.broadOwnerJsx,
+        hasLargeSourceOwner: ownerLineSpan(owner, sourceFile) >= LARGE_OWNER_LINE_SPAN,
+    };
+}
+function normalizeClusterMembers(members, context, { broadOwner, hasLargeSourceOwner }) {
+    const dialogMembers = broadOwner && hasLargeSourceOwner
+        ? (normalizeObservableDialogClusterMembers(members, context) ??
+            normalizePersistentScalarDialogClusterMembers(members, context))
+        : null;
+    const gatedFeedbackMembers = broadOwner && !dialogMembers ? normalizeGatedFeedbackClusterMembers(members, context) : null;
+    const textDraftMembers = broadOwner && hasLargeSourceOwner && !dialogMembers && !gatedFeedbackMembers
+        ? normalizeObservableTextDraftClusterMembers(members, context)
+        : null;
+    const selectionMembers = hasLargeSourceOwner && !dialogMembers && !gatedFeedbackMembers && !textDraftMembers
+        ? normalizeObservableSelectionClusterMembers(members, context)
+        : null;
+    return {
+        dialogMembers,
+        gatedFeedbackMembers,
+        hasBoundedDialogGate: dialogMembers?.some((state) => stateHasBoundedDialogGate(state, dialogMembers, context)) ??
+            false,
+        selectionMembers,
+        textDraftMembers,
+    };
+}
+function ownerOnlyRenderReadRemains(clusterMembers, usageByState) {
+    return clusterMembers.some((member) => {
+        const usage = usageByState.get(member);
+        return usage !== undefined && usage.localRenderReads > 0 && usage.jsxTargets.size === 0;
+    });
+}
+function observableCluster(members, clusterContext) {
+    const { owner, scale, ...context } = clusterContext;
+    const normalized = normalizeClusterMembers(members, context, scale);
+    const clusterMembers = normalized.dialogMembers ??
+        normalized.gatedFeedbackMembers ??
+        normalized.textDraftMembers ??
+        normalized.selectionMembers;
+    if (!clusterMembers ||
+        (normalized.dialogMembers &&
+            !normalized.hasBoundedDialogGate &&
+            ownerOnlyRenderReadRemains(clusterMembers, context.usageByState))) {
+        return null;
+    }
+    const sortedMembers = clusterMembers.toSorted((left, right) => left.call.getStart() - right.call.getStart());
+    const [primary] = sortedMembers;
+    return primary
+        ? observableClusterFor(sortedMembers, primary, { normalized, owner, ...context })
+        : null;
+}
+function observableClusterFor(sortedMembers, primary, { normalized, owner, sourceFile, usageByState }) {
+    const names = sortedMembers.map((state) => state.valueName);
+    return {
+        action: "use-observable",
+        id: `state-cluster:${owner.getStart(sourceFile)}:${names.join(",")}`,
+        members: sortedMembers,
+        message: stateClusterMessage(observableClusterKind(normalized), names, transportTargetsOf(sortedMembers, usageByState)),
+        primary,
+    };
+}
+function transportTargetsOf(members, usageByState) {
+    return new Set(members.flatMap((state) => [...(usageByState.get(state)?.jsxTargets ?? [])]));
+}
+//# sourceMappingURL=observable-clusters.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"observable-clusters.js","sourceRoot":"","sources":["../../../../src/analysis/clusters/observable-clusters.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,0BAA0B,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAGpF,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAIhD,OAAO,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAChE,OAAO,EAAE,eAAe,EAAE,MAAM,0CAA0C,CAAC;AAC3E,OAAO,EAAE,6BAA6B,EAAE,MAAM,iBAAiB,CAAC;AAChE,OAAO,EAAE,oCAAoC,EAAE,MAAM,6BAA6B,CAAC;AACnF,OAAO,EAAE,uCAAuC,EAAE,MAAM,qBAAqB,CAAC;AAC9E,OAAO,EAAE,0CAA0C,EAAE,MAAM,wBAAwB,CAAC;AACpF,OAAO,EAAE,0CAA0C,EAAE,MAAM,yBAAyB,CAAC;AACrF,OAAO,EAAE,6CAA6C,EAAE,MAAM,4BAA4B,CAAC;AAC3F,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,yBAAyB,EAAE,MAAM,2BAA2B,CAAC;AAiBtE,SAAS,qBAAqB,CAAC,OAAiC;IAC9D,IAAI,OAAO,CAAC,gBAAgB,EAAE,CAAC;QAC7B,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,IAAI,OAAO,CAAC,oBAAoB,EAAE,CAAC;QACjC,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IACD,IAAI,OAAO,CAAC,gBAAgB,EAAE,CAAC;QAC7B,OAAO,YAAY,CAAC;IACtB,CAAC;IACD,OAAO,OAAO,CAAC,oBAAoB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,QAAQ,CAAC;AACvE,CAAC;AAED,SAAS,mBAAmB,CAC1B,IAA2B,EAC3B,KAAwB,EACxB,OAA4B;IAE5B,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;QACzB,OAAO,0CAA0C,MAAM,2RAA2R,CAAC;IACrV,CAAC;IACD,IAAI,IAAI,KAAK,gBAAgB,EAAE,CAAC;QAC9B,OAAO,iDAAiD,MAAM,0RAA0R,CAAC;IAC3V,CAAC;IACD,OAAO,oBAAoB,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,oBAAoB,CAC3B,IAA2B,EAC3B,MAAc,EACd,UAAkB;IAElB,IAAI,IAAI,KAAK,YAAY,EAAE,CAAC;QAC1B,OAAO,0CAA0C,MAAM,kRAAkR,CAAC;IAC5U,CAAC;IACD,IAAI,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACjC,OAAO,wCAAwC,MAAM,+KAA+K,UAAU,wJAAwJ,CAAC;IACzY,CAAC;IACD,OAAO,+CAA+C,MAAM,4NAA4N,UAAU,GAAG,CAAC;AACxS,CAAC;AAeD,MAAM,UAAU,kBAAkB,CAChC,MAAiC;IAEjC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAyC,CAAC;IACjE,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACnD,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,0BAA0B,CACjC,aAAwC,EACxC,KAAgC,EAChC,SAAyB;IAEzB,MAAM,KAAK,GAAG,IAAI,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;IACpD,KAAK,MAAM,IAAI,IAAI,8BAA8B,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;QACpE,gBAAgB,CAAC,KAAK,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAkB,EAClB,aAAwC,EACxC,CAAC,IAAI,EAAE,KAAK,CAA4C;IAExD,MAAM,SAAS,GAAG,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,MAAM,UAAU,GAAG,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACtD,IAAI,SAAS,KAAK,CAAC,CAAC,IAAI,UAAU,KAAK,CAAC,CAAC,EAAE,CAAC;QAC1C,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IACpC,CAAC;AACH,CAAC;AAED,SAAS,8BAA8B,CACrC,KAAgC,EAChC,SAAyB;IAEzB,MAAM,KAAK,GAAkD,EAAE,CAAC;IAChE,KAAK,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QAChD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,EAAE,CAAC;YAC/C,IACE,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK;gBAC1B,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;gBAC5B,6BAA6B,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,EACxF,CAAC;gBACD,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,yBAAyB,CAChC,OAAkC,EAClC,cAAmC,EACnC,MAAyC;IAEzC,MAAM,OAAO,GAAG,iBAAiB,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;IAC3D,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,OAAO,IAAI,EAAE,EAAE,CAAC;QAC5C,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,2BAA2B,CACzC,MAAiC,EACjC,OAA+B;IAE/B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAgC,CAAC;IACvD,KAAK,MAAM,UAAU,IAAI,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC;QACpD,qBAAqB,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,qBAAqB,CAC5B,CAAC,KAAK,EAAE,WAAW,CAA4D,EAC/E,OAA+B,EAC/B,MAAyC;IAEzC,MAAM,KAAK,GAAG,iBAAiB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAChD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO;IACT,CAAC;IACD,MAAM,aAAa,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC;IAC/E,MAAM,KAAK,GAAG,sBAAsB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IAC3D,MAAM,cAAc,GAAwB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IAC3F,KAAK,MAAM,OAAO,IAAI,0BAA0B,CAAC,aAAa,EAAE,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1F,yBAAyB,CAAC,OAAO,EAAE,cAAc,EAAE,MAAM,CAAC,CAAC;IAC7D,CAAC;AACH,CAAC;AAOD,SAAS,iBAAiB,CACxB,KAA0B,EAC1B,EAAE,WAAW,EAAE,UAAU,EAA0B;IAEnD,MAAM,aAAa,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IAC7C,IAAI,aAAa,GAAG,0BAA0B,EAAE,CAAC;QAC/C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,UAAU,EAAE,aAAa,IAAI,WAAW,CAAC,aAAa;QACtD,mBAAmB,EAAE,aAAa,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,qBAAqB;KAC/E,CAAC;AACJ,CAAC;AAMD,SAAS,uBAAuB,CAC9B,OAAkC,EAClC,OAA6B,EAC7B,EAAE,UAAU,EAAE,mBAAmB,EAAqB;IAEtD,MAAM,aAAa,GACjB,UAAU,IAAI,mBAAmB;QAC/B,CAAC,CAAC,CAAC,uCAAuC,CAAC,OAAO,EAAE,OAAO,CAAC;YAC1D,6CAA6C,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAClE,CAAC,CAAC,IAAI,CAAC;IACX,MAAM,oBAAoB,GACxB,UAAU,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,oCAAoC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/F,MAAM,gBAAgB,GACpB,UAAU,IAAI,mBAAmB,IAAI,CAAC,aAAa,IAAI,CAAC,oBAAoB;QAC1E,CAAC,CAAC,0CAA0C,CAAC,OAAO,EAAE,OAAO,CAAC;QAC9D,CAAC,CAAC,IAAI,CAAC;IACX,MAAM,gBAAgB,GACpB,mBAAmB,IAAI,CAAC,aAAa,IAAI,CAAC,oBAAoB,IAAI,CAAC,gBAAgB;QACjF,CAAC,CAAC,0CAA0C,CAAC,OAAO,EAAE,OAAO,CAAC;QAC9D,CAAC,CAAC,IAAI,CAAC;IACX,OAAO;QACL,aAAa;QACb,oBAAoB;QACpB,oBAAoB,EAClB,aAAa,EAAE,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,yBAAyB,CAAC,KAAK,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC;YACxF,KAAK;QACP,gBAAgB;QAChB,gBAAgB;KACjB,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CACjC,cAAyC,EACzC,YAAqD;IAErD,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE;QACpC,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACvC,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,gBAAgB,GAAG,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;AACL,CAAC;AAOD,SAAS,iBAAiB,CACxB,OAAkC,EAClC,cAAmC;IAEnC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,OAAO,EAAE,GAAG,cAAc,CAAC;IACpD,MAAM,UAAU,GAAG,uBAAuB,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IACpE,MAAM,cAAc,GAClB,UAAU,CAAC,aAAa;QACxB,UAAU,CAAC,oBAAoB;QAC/B,UAAU,CAAC,gBAAgB;QAC3B,UAAU,CAAC,gBAAgB,CAAC;IAC9B,IACE,CAAC,cAAc;QACf,CAAC,UAAU,CAAC,aAAa;YACvB,CAAC,UAAU,CAAC,oBAAoB;YAChC,0BAA0B,CAAC,cAAc,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC,EACnE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,aAAa,GAAG,cAAc,CAAC,QAAQ,CAC3C,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,CAC9D,CAAC;IACF,MAAM,CAAC,OAAO,CAAC,GAAG,aAAa,CAAC;IAChC,OAAO,OAAO;QACZ,CAAC,CAAC,oBAAoB,CAAC,aAAa,EAAE,OAAO,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,OAAO,EAAE,CAAC;QACjF,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAOD,SAAS,oBAAoB,CAC3B,aAAwC,EACxC,OAAuB,EACvB,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,YAAY,EAA0B;IAEvE,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAC5D,OAAO;QACL,MAAM,EAAE,gBAAgB;QACxB,EAAE,EAAE,iBAAiB,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;QACpE,OAAO,EAAE,aAAa;QACtB,OAAO,EAAE,mBAAmB,CAC1B,qBAAqB,CAAC,UAAU,CAAC,EACjC,KAAK,EACL,kBAAkB,CAAC,aAAa,EAAE,YAAY,CAAC,CAChD;QACD,OAAO;KACR,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,OAAkC,EAClC,YAAqD;IAErD,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,UAAU,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAC/F,CAAC"}

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

@@ -0,0 +1,6 @@
+import type { SetterMutation, StateCandidate } from "../model.js";
+import type { ClusterMemberContext } from "./observable-clusters.js";
+export declare function normalizePersistentScalarDialogClusterMembers(members: readonly StateCandidate[], context: ClusterMemberContext): readonly StateCandidate[] | null;
+export declare function isMonotonicDialogLatch(flag: StateCandidate, payloadOpenMutations: readonly SetterMutation[], { mutations, stateFlow, usageByState }: ClusterMemberContext): boolean;
+export declare function hasDialogPayloadInitializer(state: StateCandidate): boolean;
+//# sourceMappingURL=scalar-dialog-cluster.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"scalar-dialog-cluster.d.ts","sourceRoot":"","sources":["../../../../src/analysis/clusters/scalar-dialog-cluster.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,cAAc,EAAc,MAAM,aAAa,CAAC;AAI9E,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAyCrE,wBAAgB,6CAA6C,CAC3D,OAAO,EAAE,SAAS,cAAc,EAAE,EAClC,OAAO,EAAE,oBAAoB,GAC5B,SAAS,cAAc,EAAE,GAAG,IAAI,CA+BlC;AAmJD,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,cAAc,EACpB,oBAAoB,EAAE,SAAS,cAAc,EAAE,EAC/C,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,EAAE,oBAAoB,GAC3D,OAAO,CAsBT;AAED,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,cAAc,GAAG,OAAO,CAE1E"}

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

@@ -0,0 +1,164 @@
+import { callSetsLiteral, mutationsAreProvenCoexecuting } from "../mutations.js";
+import { callSiteIsKeyed, directUniqueReturnCallSite } from "../return-call-sites.js";
+import { directSetterTransport } from "../filter/filter-leaf-cut.js";
+import { distinctClusterPair } from "./cluster-pairs.js";
+import { hasStateInitializer } from "../../rules/deferred-reveal/deferred-reveal.js";
+import { isRuntimeFunctionLike } from "../../core/ast.js";
+import { mutationIsEventRooted } from "./text-draft-cluster.js";
+import { stateMayHoldCallable } from "../../rules/state-proofs/state-proofs.js";
+import ts from "typescript";
+import { unwrapTransparentExpression } from "../../core/analysis-ast.js";
+function scalarDialogSharesDeferredCallSite(payload, flag, { childContracts, knownComponents, usageByState }) {
+    const usages = {
+        firstUsage: usageByState.get(payload),
+        secondUsage: usageByState.get(flag),
+    };
+    const [target] = [...(usages.firstUsage?.valueTargets ?? [])];
+    return (scalarDialogUsageSharesCallSite(payload, flag, usages) &&
+        target !== undefined &&
+        knownComponents.has(target) &&
+        scalarDialogCallSiteIsDeferred(payload, flag, {
+            childContracts,
+            knownComponents,
+            target,
+            usages,
+        }));
+}
+export function normalizePersistentScalarDialogClusterMembers(members, context) {
+    const { childContracts, knownComponents, mutations, stateFlow, usageByState } = context;
+    const pair = childContracts
+        ? distinctClusterPair(members, (state) => hasLiteralScalarDialogPayloadInitializer(state), (state) => hasStateInitializer(state, ts.SyntaxKind.FalseKeyword))
+        : null;
+    if (!childContracts || !pair) {
+        return null;
+    }
+    const { first: payload, second: flag } = pair;
+    if (!scalarDialogSharesDeferredCallSite(payload, flag, {
+        childContracts,
+        knownComponents,
+        usageByState,
+    })) {
+        return null;
+    }
+    const payloadMutations = mutations.filter((mutation) => mutation.state === payload);
+    const flagMutations = mutations.filter((mutation) => mutation.state === flag);
+    return scalarDialogMutationsArePaired(payloadMutations, flagMutations, {
+        flag,
+        payload,
+        stateFlow,
+    })
+        ? members
+        : null;
+}
+function scalarDialogUsageSharesCallSite(payload, flag, { firstUsage: payloadUsage, secondUsage: flagUsage }) {
+    if (!payloadUsage || !flagUsage) {
+        return false;
+    }
+    return (![payloadUsage, flagUsage].some((usage) => usage.localRenderReads !== 0 ||
+        usage.effectReads !== 0 ||
+        usage.effectWrites !== 0 ||
+        usage.deferredReads !== 0 ||
+        usage.repeatedTransport ||
+        usage.unstableTransport ||
+        usage.setterUsesPreviousValue ||
+        usage.shadowed ||
+        usage.escaped) &&
+        !stateMayHoldCallable(payload) &&
+        !stateMayHoldCallable(flag) &&
+        payloadUsage.valueTransportSites.size === 1 &&
+        flagUsage.valueTransportSites.size === 1 &&
+        [...payloadUsage.valueTransportSites][0] === [...flagUsage.valueTransportSites][0] &&
+        payloadUsage.valueTargets.size === 1 &&
+        flagUsage.valueTargets.size === 1 &&
+        [...payloadUsage.valueTargets][0] === [...flagUsage.valueTargets][0] &&
+        payloadUsage.setterTransportSites.size === 0 &&
+        payloadUsage.setterReferences === payloadUsage.setterCalls &&
+        flagUsage.setterTransportSites.size === 1 &&
+        flagUsage.setterReferences === flagUsage.setterCalls + 1);
+}
+function scalarDialogCallSiteIsDeferred(payload, flag, { childContracts, target, usages }) {
+    const { firstUsage: payloadUsage, secondUsage: flagUsage } = usages;
+    if (!payloadUsage || !flagUsage) {
+        return false;
+    }
+    const payloadCallSite = directUniqueReturnCallSite(payloadUsage, payload.owner)?.opening;
+    const flagCallSite = directUniqueReturnCallSite(flagUsage, flag.owner)?.opening;
+    const closeTransport = directSetterTransport(flag);
+    return (payloadCallSite !== undefined &&
+        payloadCallSite === flagCallSite &&
+        !callSiteIsKeyed(payloadCallSite) &&
+        closeTransport !== null &&
+        closeTransport.target === target &&
+        closeTransport.attribute.parent.parent === payloadCallSite &&
+        childContracts.componentCallbackPropIsDeferred(target, closeTransport.attribute.name.getText()));
+}
+function scalarDialogMutationsArePaired(payloadMutations, flagMutations, { flag, payload, stateFlow }) {
+    const opens = flagMutations.filter((mutation) => callSetsLiteral(mutation, ts.SyntaxKind.TrueKeyword));
+    const closes = flagMutations.filter((mutation) => callSetsLiteral(mutation, ts.SyntaxKind.FalseKeyword));
+    const paired = (left, right) => left.region === right.region &&
+        mutationsAreProvenCoexecuting(left.call, right.call, { region: left.region, stateFlow });
+    return (payloadMutations.length > 0 &&
+        opens.length > 0 &&
+        flagMutations.length === opens.length + closes.length &&
+        payloadMutations.every((mutation) => mutationIsEventRooted(mutation, payload) && mutationWritesTypedPrimitive(mutation)) &&
+        flagMutations.every((mutation) => mutationIsEventRooted(mutation, flag)) &&
+        payloadMutations.every((payloadMutation) => opens.some((open) => paired(payloadMutation, open))) &&
+        opens.every((open) => payloadMutations.some((payloadMutation) => paired(open, payloadMutation))));
+}
+function hasLiteralScalarDialogPayloadInitializer(state) {
+    const [initializer] = state.call.arguments;
+    if (!initializer) {
+        return false;
+    }
+    const value = unwrapTransparentExpression(initializer);
+    return ts.isStringLiteralLike(value) || ts.isNumericLiteral(value);
+}
+function mutationWritesTypedPrimitive(mutation) {
+    const [argument] = mutation.call.arguments;
+    if (!argument || mutation.call.arguments.length !== 1) {
+        return false;
+    }
+    const value = unwrapTransparentExpression(argument);
+    if (ts.isStringLiteralLike(value) || ts.isNumericLiteral(value)) {
+        return true;
+    }
+    if (!ts.isIdentifier(value) || !isRuntimeFunctionLike(mutation.region)) {
+        return false;
+    }
+    return mutation.region.parameters.some((parameter) => ts.isIdentifier(parameter.name) &&
+        parameter.name.text === value.text &&
+        parameter.type !== undefined &&
+        primitiveDialogPayloadType(parameter.type));
+}
+function primitiveDialogPayloadType(type) {
+    if (ts.isParenthesizedTypeNode(type)) {
+        return primitiveDialogPayloadType(type.type);
+    }
+    if (ts.isUnionTypeNode(type)) {
+        return type.types.length > 0 && type.types.every(primitiveDialogPayloadType);
+    }
+    if (ts.isLiteralTypeNode(type)) {
+        return ts.isStringLiteralLike(type.literal) || ts.isNumericLiteral(type.literal);
+    }
+    return type.kind === ts.SyntaxKind.StringKeyword || type.kind === ts.SyntaxKind.NumberKeyword;
+}
+export function isMonotonicDialogLatch(flag, payloadOpenMutations, { mutations, stateFlow, usageByState }) {
+    const usage = usageByState.get(flag);
+    const flagMutations = mutations.filter((mutation) => mutation.state === flag);
+    return (usage !== undefined &&
+        usage.localRenderReads > 0 &&
+        usage.transportedOccurrences === 0 &&
+        usage.deferredReads === 0 &&
+        usage.setterReferences === usage.setterCalls &&
+        flagMutations.length > 0 &&
+        flagMutations.every((mutation) => callSetsLiteral(mutation, ts.SyntaxKind.TrueKeyword)) &&
+        flagMutations.every((flagMutation) => payloadOpenMutations.some((payloadMutation) => flagMutation.region === payloadMutation.region &&
+            mutationsAreProvenCoexecuting(flagMutation.call, payloadMutation.call, {
+                region: flagMutation.region,
+                stateFlow,
+            }))));
+}
+export function hasDialogPayloadInitializer(state) {
+    return state.call.arguments.length === 0 || hasStateInitializer(state, ts.SyntaxKind.NullKeyword);
+}
+//# sourceMappingURL=scalar-dialog-cluster.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"scalar-dialog-cluster.js","sourceRoot":"","sources":["../../../../src/analysis/clusters/scalar-dialog-cluster.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,6BAA6B,EAAE,MAAM,iBAAiB,CAAC;AACjF,OAAO,EAAE,eAAe,EAAE,0BAA0B,EAAE,MAAM,yBAAyB,CAAC;AAKtF,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EAAE,mBAAmB,EAAE,MAAM,gDAAgD,CAAC;AACrF,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EAAE,oBAAoB,EAAE,MAAM,0CAA0C,CAAC;AAChF,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AAQzE,SAAS,kCAAkC,CACzC,OAAuB,EACvB,IAAoB,EACpB,EAAE,cAAc,EAAE,eAAe,EAAE,YAAY,EAA6B;IAE5E,MAAM,MAAM,GAAqB;QAC/B,UAAU,EAAE,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC;QACrC,WAAW,EAAE,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC;KACpC,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,EAAE,YAAY,IAAI,EAAE,CAAC,CAAC,CAAC;IAC9D,OAAO,CACL,+BAA+B,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC;QACtD,MAAM,KAAK,SAAS;QACpB,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC;QAC3B,8BAA8B,CAAC,OAAO,EAAE,IAAI,EAAE;YAC5C,cAAc;YACd,eAAe;YACf,MAAM;YACN,MAAM;SACP,CAAC,CACH,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,6CAA6C,CAC3D,OAAkC,EAClC,OAA6B;IAE7B,MAAM,EAAE,cAAc,EAAE,eAAe,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,GAAG,OAAO,CAAC;IACxF,MAAM,IAAI,GAAG,cAAc;QACzB,CAAC,CAAC,mBAAmB,CACjB,OAAO,EACP,CAAC,KAAK,EAAE,EAAE,CAAC,wCAAwC,CAAC,KAAK,CAAC,EAC1D,CAAC,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,CAClE;QACH,CAAC,CAAC,IAAI,CAAC;IACT,IAAI,CAAC,cAAc,IAAI,CAAC,IAAI,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC;IAC9C,IACE,CAAC,kCAAkC,CAAC,OAAO,EAAE,IAAI,EAAE;QACjD,cAAc;QACd,eAAe;QACf,YAAY;KACb,CAAC,EACF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,gBAAgB,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC;IACpF,MAAM,aAAa,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;IAC9E,OAAO,8BAA8B,CAAC,gBAAgB,EAAE,aAAa,EAAE;QACrE,IAAI;QACJ,OAAO;QACP,SAAS;KACV,CAAC;QACA,CAAC,CAAC,OAAO;QACT,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,+BAA+B,CACtC,OAAuB,EACvB,IAAoB,EACpB,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,SAAS,EAAoB;IAEtE,IAAI,CAAC,YAAY,IAAI,CAAC,SAAS,EAAE,CAAC;QAChC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CACL,CAAC,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC,IAAI,CAC7B,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,gBAAgB,KAAK,CAAC;QAC5B,KAAK,CAAC,WAAW,KAAK,CAAC;QACvB,KAAK,CAAC,YAAY,KAAK,CAAC;QACxB,KAAK,CAAC,aAAa,KAAK,CAAC;QACzB,KAAK,CAAC,iBAAiB;QACvB,KAAK,CAAC,iBAAiB;QACvB,KAAK,CAAC,uBAAuB;QAC7B,KAAK,CAAC,QAAQ;QACd,KAAK,CAAC,OAAO,CAChB;QACD,CAAC,oBAAoB,CAAC,OAAO,CAAC;QAC9B,CAAC,oBAAoB,CAAC,IAAI,CAAC;QAC3B,YAAY,CAAC,mBAAmB,CAAC,IAAI,KAAK,CAAC;QAC3C,SAAS,CAAC,mBAAmB,CAAC,IAAI,KAAK,CAAC;QACxC,CAAC,GAAG,YAAY,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,SAAS,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;QAClF,YAAY,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC;QACpC,SAAS,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC;QACjC,CAAC,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACpE,YAAY,CAAC,oBAAoB,CAAC,IAAI,KAAK,CAAC;QAC5C,YAAY,CAAC,gBAAgB,KAAK,YAAY,CAAC,WAAW;QAC1D,SAAS,CAAC,oBAAoB,CAAC,IAAI,KAAK,CAAC;QACzC,SAAS,CAAC,gBAAgB,KAAK,SAAS,CAAC,WAAW,GAAG,CAAC,CACzD,CAAC;AACJ,CAAC;AASD,SAAS,8BAA8B,CACrC,OAAuB,EACvB,IAAoB,EACpB,EAAE,cAAc,EAAE,MAAM,EAAE,MAAM,EAA6B;IAE7D,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,MAAM,CAAC;IACpE,IAAI,CAAC,YAAY,IAAI,CAAC,SAAS,EAAE,CAAC;QAChC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,eAAe,GAAG,0BAA0B,CAAC,YAAY,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzF,MAAM,YAAY,GAAG,0BAA0B,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IAChF,MAAM,cAAc,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IACnD,OAAO,CACL,eAAe,KAAK,SAAS;QAC7B,eAAe,KAAK,YAAY;QAChC,CAAC,eAAe,CAAC,eAAe,CAAC;QACjC,cAAc,KAAK,IAAI;QACvB,cAAc,CAAC,MAAM,KAAK,MAAM;QAChC,cAAc,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,KAAK,eAAe;QAC1D,cAAc,CAAC,+BAA+B,CAAC,MAAM,EAAE,cAAc,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAChG,CAAC;AACJ,CAAC;AAQD,SAAS,8BAA8B,CACrC,gBAA2C,EAC3C,aAAwC,EACxC,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAyB;IAEnD,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC9C,eAAe,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CACrD,CAAC;IACF,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC/C,eAAe,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,CACtD,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,IAAoB,EAAE,KAAqB,EAAW,EAAE,CACtE,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAC5B,6BAA6B,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;IAC3F,OAAO,CACL,gBAAgB,CAAC,MAAM,GAAG,CAAC;QAC3B,KAAK,CAAC,MAAM,GAAG,CAAC;QAChB,aAAa,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM;QACrD,gBAAgB,CAAC,KAAK,CACpB,CAAC,QAAQ,EAAE,EAAE,CACX,qBAAqB,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,4BAA4B,CAAC,QAAQ,CAAC,CACrF;QACD,aAAa,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,qBAAqB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QACxE,gBAAgB,CAAC,KAAK,CAAC,CAAC,eAAe,EAAE,EAAE,CACzC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC,CACpD;QACD,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,eAAe,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC,CAAC,CACjG,CAAC;AACJ,CAAC;AAED,SAAS,wCAAwC,CAAC,KAAqB;IACrE,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,mBAAmB,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,4BAA4B,CAAC,QAAwB;IAC5D,MAAM,CAAC,QAAQ,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC;IAC3C,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAAG,2BAA2B,CAAC,QAAQ,CAAC,CAAC;IACpD,IAAI,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;QAChE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACvE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CACpC,CAAC,SAAS,EAAE,EAAE,CACZ,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC;QAC/B,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;QAClC,SAAS,CAAC,IAAI,KAAK,SAAS;QAC5B,0BAA0B,CAAC,SAAS,CAAC,IAAI,CAAC,CAC7C,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CAAC,IAAiB;IACnD,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,OAAO,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;IAC/E,CAAC;IACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACnF,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC;AAChG,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,IAAoB,EACpB,oBAA+C,EAC/C,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,EAAwB;IAE5D,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,aAAa,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;IAC9E,OAAO,CACL,KAAK,KAAK,SAAS;QACnB,KAAK,CAAC,gBAAgB,GAAG,CAAC;QAC1B,KAAK,CAAC,sBAAsB,KAAK,CAAC;QAClC,KAAK,CAAC,aAAa,KAAK,CAAC;QACzB,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,WAAW;QAC5C,aAAa,CAAC,MAAM,GAAG,CAAC;QACxB,aAAa,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,eAAe,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;QACvF,aAAa,CAAC,KAAK,CAAC,CAAC,YAAY,EAAE,EAAE,CACnC,oBAAoB,CAAC,IAAI,CACvB,CAAC,eAAe,EAAE,EAAE,CAClB,YAAY,CAAC,MAAM,KAAK,eAAe,CAAC,MAAM;YAC9C,6BAA6B,CAAC,YAAY,CAAC,IAAI,EAAE,eAAe,CAAC,IAAI,EAAE;gBACrE,MAAM,EAAE,YAAY,CAAC,MAAM;gBAC3B,SAAS;aACV,CAAC,CACL,CACF,CACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,KAAqB;IAC/D,OAAO,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,mBAAmB,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;AACpG,CAAC"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"selection-cluster.d.ts","sourceRoot":"","sources":["../../../../src/analysis/clusters/selection-cluster.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAkB,cAAc,EAAc,MAAM,aAAa,CAAC;AAM9E,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAgDrE,wBAAgB,0CAA0C,CACxD,OAAO,EAAE,SAAS,cAAc,EAAE,EAClC,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,EAAE,oBAAoB,GAC3D,SAAS,cAAc,EAAE,GAAG,IAAI,CAuBlC"}