legend-doctor 0.1.0

package/dist/src/project/state-flow/coexecution-proof.js

@@ -0,0 +1,107 @@
+import { sameControlArms } from "./control-arms.js";
+import ts from "typescript";
+export function coexecutionProof(result, lowering, surface) {
+    if (result.unknown) {
+        return "unknown";
+    }
+    const together = result.paths.filter((path) => path.events.some((event) => event.call === lowering.left) &&
+        path.events.some((event) => event.call === lowering.right));
+    const synchronous = together.filter((path) => callsShareAwaitEpoch(path, lowering.left, lowering.right));
+    if (synchronous.length === 0) {
+        return "disproven";
+    }
+    if (sameControlArms(surface.controls.left, surface.controls.right)) {
+        return hasEarlierCorrelatedControlRisk(surface.controls.left, surface.fn)
+            ? "unknown"
+            : "proven";
+    }
+    return unconditionalCallPrecedesControlledCall(synchronous, lowering, surface.controls)
+        ? "proven"
+        : "unknown";
+}
+/**
+ * Successive dynamic controls are enumerated independently. Until the lowerer
+ * tracks predicate identity, an earlier control surface makes a later shared
+ * arm an unsafe co-execution proof even when both calls appear in that arm.
+ */
+function hasEarlierCorrelatedControlRisk(controls, boundary) {
+    return controls.some((control) => hasEarlierControlAncestor(control.control, boundary));
+}
+function hasEarlierControlAncestor(control, boundary) {
+    let child = control;
+    while (child.parent && child !== boundary) {
+        const { parent } = child;
+        if (ts.isBlock(parent) && blockHasEarlierControl(parent, child)) {
+            return true;
+        }
+        child = parent;
+    }
+    return false;
+}
+function blockHasEarlierControl(block, child) {
+    const index = block.statements.findIndex((candidate) => candidate === child || nodeContains(candidate, child));
+    if (index === -1) {
+        return false;
+    }
+    return block.statements
+        .slice(0, index)
+        .some((statement) => isPotentiallyCorrelatedControlStatement(statement));
+}
+function isPotentiallyCorrelatedControlStatement(statement) {
+    return (ts.isIfStatement(statement) ||
+        ts.isSwitchStatement(statement) ||
+        ts.isTryStatement(statement) ||
+        ts.isForStatement(statement) ||
+        ts.isForInStatement(statement) ||
+        ts.isForOfStatement(statement) ||
+        ts.isWhileStatement(statement) ||
+        ts.isDoStatement(statement));
+}
+function nodeContains(ancestor, node) {
+    return node.pos >= ancestor.pos && node.end <= ancestor.end;
+}
+function unconditionalCallPrecedesControlledCall(paths, lowering, controls) {
+    const uncontrolled = uncontrolledCall(lowering, controls);
+    const controlled = controlledCall(uncontrolled, lowering);
+    if (!uncontrolled || !controlled) {
+        return false;
+    }
+    return paths.every((path) => callPrecedes(path, uncontrolled, controlled));
+}
+function uncontrolledCall(lowering, controls) {
+    if (controls.left.length === 0 && controls.right.length > 0) {
+        return lowering.left;
+    }
+    if (controls.right.length === 0 && controls.left.length > 0) {
+        return lowering.right;
+    }
+    return null;
+}
+function controlledCall(uncontrolled, lowering) {
+    if (uncontrolled === lowering.left) {
+        return lowering.right;
+    }
+    if (uncontrolled === lowering.right) {
+        return lowering.left;
+    }
+    return null;
+}
+function callPrecedes(path, uncontrolled, controlled) {
+    const uncontrolledIndex = path.events.findIndex((event) => event.call === uncontrolled);
+    const controlledIndex = path.events.findIndex((event) => event.call === controlled);
+    return uncontrolledIndex !== -1 && uncontrolledIndex < controlledIndex;
+}
+function callsShareAwaitEpoch(path, left, right) {
+    let leftEpoch = null;
+    let rightEpoch = null;
+    for (const event of path.events) {
+        if (event.call === left) {
+            leftEpoch = event.epoch;
+        }
+        if (event.call === right) {
+            rightEpoch = event.epoch;
+        }
+    }
+    return leftEpoch !== null && rightEpoch !== null && leftEpoch === rightEpoch;
+}
+//# sourceMappingURL=coexecution-proof.js.map

package/dist/src/project/state-flow/coexecution-proof.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coexecution-proof.js","sourceRoot":"","sources":["../../../../src/project/state-flow/coexecution-proof.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,gBAAgB,CAC9B,MAAkB,EAClB,QAAkB,EAClB,OAAqB;IAErB,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACnB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAClC,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC;QACzD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,KAAK,CAAC,CAC7D,CAAC;IACF,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAC3C,oBAAoB,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAC1D,CAAC;IACF,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,IAAI,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACnE,OAAO,+BAA+B,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;YACvE,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,QAAQ,CAAC;IACf,CAAC;IACD,OAAO,uCAAuC,CAAC,WAAW,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC;QACrF,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED;;;;GAIG;AACH,SAAS,+BAA+B,CACtC,QAA+B,EAC/B,QAA6B;IAE7B,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;AAC1F,CAAC;AAED,SAAS,yBAAyB,CAAC,OAAgB,EAAE,QAA6B;IAChF,IAAI,KAAK,GAAG,OAAO,CAAC;IACpB,OAAO,KAAK,CAAC,MAAM,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC1C,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;QACzB,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,sBAAsB,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;YAChE,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,GAAG,MAAM,CAAC;IACjB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAe,EAAE,KAAc;IAC7D,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,SAAS,CACtC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,KAAK,KAAK,IAAI,YAAY,CAAC,SAAS,EAAE,KAAK,CAAC,CACrE,CAAC;IACF,IAAI,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;QACjB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,KAAK,CAAC,UAAU;SACpB,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC;SACf,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,uCAAuC,CAAC,SAAS,CAAC,CAAC,CAAC;AAC7E,CAAC;AAED,SAAS,uCAAuC,CAAC,SAAuB;IACtE,OAAO,CACL,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC;QAC3B,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC;QAC/B,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC;QAC5B,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC;QAC5B,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;QAC9B,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;QAC9B,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;QAC9B,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,CAC5B,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,QAAiB,EAAE,IAAa;IACpD,OAAO,IAAI,CAAC,GAAG,IAAI,QAAQ,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,IAAI,QAAQ,CAAC,GAAG,CAAC;AAC9D,CAAC;AAED,SAAS,uCAAuC,CAC9C,KAA+B,EAC/B,QAAkB,EAClB,QAAkB;IAElB,MAAM,YAAY,GAAG,gBAAgB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC1D,MAAM,UAAU,GAAG,cAAc,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;IAC1D,IAAI,CAAC,YAAY,IAAI,CAAC,UAAU,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC;AAC7E,CAAC;AAED,SAAS,gBAAgB,CAAC,QAAkB,EAAE,QAAkB;IAC9D,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5D,OAAO,QAAQ,CAAC,IAAI,CAAC;IACvB,CAAC;IACD,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5D,OAAO,QAAQ,CAAC,KAAK,CAAC;IACxB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,cAAc,CACrB,YAAsC,EACtC,QAAkB;IAElB,IAAI,YAAY,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC;QACnC,OAAO,QAAQ,CAAC,KAAK,CAAC;IACxB,CAAC;IACD,IAAI,YAAY,KAAK,QAAQ,CAAC,KAAK,EAAE,CAAC;QACpC,OAAO,QAAQ,CAAC,IAAI,CAAC;IACvB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,YAAY,CACnB,IAAmB,EACnB,YAA+B,EAC/B,UAA6B;IAE7B,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;IACxF,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;IACpF,OAAO,iBAAiB,KAAK,CAAC,CAAC,IAAI,iBAAiB,GAAG,eAAe,CAAC;AACzE,CAAC;AAED,SAAS,oBAAoB,CAC3B,IAAmB,EACnB,IAAuB,EACvB,KAAwB;IAExB,IAAI,SAAS,GAAkB,IAAI,CAAC;IACpC,IAAI,UAAU,GAAkB,IAAI,CAAC;IACrC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChC,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACxB,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC;QAC1B,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACzB,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC;QAC3B,CAAC;IACH,CAAC;IACD,OAAO,SAAS,KAAK,IAAI,IAAI,UAAU,KAAK,IAAI,IAAI,SAAS,KAAK,UAAU,CAAC;AAC/E,CAAC"}

package/dist/src/project/state-flow/constant-conditions.d.ts

@@ -0,0 +1,7 @@
+import type { RightExecution } from "./model.js";
+import ts from "typescript";
+export declare function isShortCircuitBinary(node: ts.Node): node is ts.BinaryExpression;
+export declare function constantBoolean(expression: ts.Expression): boolean | null;
+export declare function shortCircuitRightExecution(expression: ts.BinaryExpression): RightExecution;
+export declare function isInertCaseExpression(expression: ts.Expression): boolean;
+//# sourceMappingURL=constant-conditions.d.ts.map

package/dist/src/project/state-flow/constant-conditions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constant-conditions.d.ts","sourceRoot":"","sources":["../../../../src/project/state-flow/constant-conditions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,IAAI,IAAI,EAAE,CAAC,gBAAgB,CAO/E;AAED,wBAAgB,eAAe,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,OAAO,GAAG,IAAI,CASzE;AAgDD,wBAAgB,0BAA0B,CAAC,UAAU,EAAE,EAAE,CAAC,gBAAgB,GAAG,cAAc,CAQ1F;AA6BD,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,OAAO,CAUxE"}

package/dist/src/project/state-flow/constant-conditions.js

@@ -0,0 +1,95 @@
+import ts from "typescript";
+export function isShortCircuitBinary(node) {
+    return (ts.isBinaryExpression(node) &&
+        (node.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken ||
+            node.operatorToken.kind === ts.SyntaxKind.BarBarToken ||
+            node.operatorToken.kind === ts.SyntaxKind.QuestionQuestionToken));
+}
+export function constantBoolean(expression) {
+    if (ts.isParenthesizedExpression(expression)) {
+        return constantBoolean(expression.expression);
+    }
+    if (isNegation(expression)) {
+        const value = constantBoolean(expression.operand);
+        return value === null ? null : !value;
+    }
+    return constantValueBoolean(expression);
+}
+function isNegation(expression) {
+    return (ts.isPrefixUnaryExpression(expression) && expression.operator === ts.SyntaxKind.ExclamationToken);
+}
+function constantValueBoolean(expression) {
+    if (expression.kind === ts.SyntaxKind.TrueKeyword) {
+        return true;
+    }
+    if (expression.kind === ts.SyntaxKind.FalseKeyword ||
+        expression.kind === ts.SyntaxKind.NullKeyword ||
+        ts.isVoidExpression(expression)) {
+        return false;
+    }
+    if (isTruthyLiteralExpression(expression)) {
+        return true;
+    }
+    return constantLiteralTextBoolean(expression);
+}
+function isTruthyLiteralExpression(expression) {
+    return (ts.isObjectLiteralExpression(expression) ||
+        ts.isArrayLiteralExpression(expression) ||
+        ts.isFunctionExpression(expression) ||
+        ts.isArrowFunction(expression) ||
+        ts.isClassExpression(expression));
+}
+function constantLiteralTextBoolean(expression) {
+    if (ts.isStringLiteralLike(expression)) {
+        return expression.text.length > 0;
+    }
+    if (ts.isNumericLiteral(expression)) {
+        return Number(expression.text) !== 0;
+    }
+    if (ts.isBigIntLiteral(expression)) {
+        return expression.text !== "0n";
+    }
+    return null;
+}
+export function shortCircuitRightExecution(expression) {
+    if (expression.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken) {
+        return rightExecutionWhen(constantBoolean(expression.left), true);
+    }
+    if (expression.operatorToken.kind === ts.SyntaxKind.BarBarToken) {
+        return rightExecutionWhen(constantBoolean(expression.left), false);
+    }
+    return rightExecutionWhen(constantNullish(expression.left), true);
+}
+function rightExecutionWhen(value, executesWhen) {
+    if (value === null) {
+        return "maybe";
+    }
+    return value === executesWhen ? "always" : "never";
+}
+function constantNullish(expression) {
+    if (expression.kind === ts.SyntaxKind.NullKeyword) {
+        return true;
+    }
+    if (ts.isStringLiteralLike(expression) ||
+        ts.isNumericLiteral(expression) ||
+        expression.kind === ts.SyntaxKind.TrueKeyword ||
+        expression.kind === ts.SyntaxKind.FalseKeyword ||
+        ts.isObjectLiteralExpression(expression) ||
+        ts.isArrayLiteralExpression(expression) ||
+        ts.isFunctionExpression(expression) ||
+        ts.isArrowFunction(expression) ||
+        ts.isClassExpression(expression)) {
+        return false;
+    }
+    return ts.isParenthesizedExpression(expression) ? constantNullish(expression.expression) : null;
+}
+export function isInertCaseExpression(expression) {
+    return (ts.isStringLiteralLike(expression) ||
+        ts.isNumericLiteral(expression) ||
+        expression.kind === ts.SyntaxKind.TrueKeyword ||
+        expression.kind === ts.SyntaxKind.FalseKeyword ||
+        expression.kind === ts.SyntaxKind.NullKeyword ||
+        ts.isIdentifier(expression) ||
+        ts.isPropertyAccessExpression(expression));
+}
+//# sourceMappingURL=constant-conditions.js.map

package/dist/src/project/state-flow/constant-conditions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constant-conditions.js","sourceRoot":"","sources":["../../../../src/project/state-flow/constant-conditions.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,oBAAoB,CAAC,IAAa;IAChD,OAAO,CACL,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;QAC3B,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;YAChE,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YACrD,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,qBAAqB,CAAC,CACnE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,UAAyB;IACvD,IAAI,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC,EAAE,CAAC;QAC7C,OAAO,eAAe,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,eAAe,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QAClD,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACxC,CAAC;IACD,OAAO,oBAAoB,CAAC,UAAU,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,UAAU,CAAC,UAAyB;IAC3C,OAAO,CACL,EAAE,CAAC,uBAAuB,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,CACjG,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,UAAyB;IACrD,IAAI,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QAClD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IACE,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAC9C,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC7C,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,EAC/B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,yBAAyB,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,0BAA0B,CAAC,UAAU,CAAC,CAAC;AAChD,CAAC;AAED,SAAS,yBAAyB,CAAC,UAAyB;IAC1D,OAAO,CACL,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;QACxC,EAAE,CAAC,wBAAwB,CAAC,UAAU,CAAC;QACvC,EAAE,CAAC,oBAAoB,CAAC,UAAU,CAAC;QACnC,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC;QAC9B,EAAE,CAAC,iBAAiB,CAAC,UAAU,CAAC,CACjC,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CAAC,UAAyB;IAC3D,IAAI,EAAE,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAAE,CAAC;QACvC,OAAO,UAAU,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;IACpC,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,EAAE,CAAC;QACpC,OAAO,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC;IACD,IAAI,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC,EAAE,CAAC;QACnC,OAAO,UAAU,CAAC,IAAI,KAAK,IAAI,CAAC;IAClC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,UAA+B;IACxE,IAAI,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,EAAE,CAAC;QAC5E,OAAO,kBAAkB,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IACpE,CAAC;IACD,IAAI,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QAChE,OAAO,kBAAkB,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,kBAAkB,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAqB,EAAE,YAAqB;IACtE,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,OAAO,KAAK,KAAK,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC;AACrD,CAAC;AAED,SAAS,eAAe,CAAC,UAAyB;IAChD,IAAI,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QAClD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IACE,EAAE,CAAC,mBAAmB,CAAC,UAAU,CAAC;QAClC,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC;QAC/B,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC7C,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAC9C,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC;QACxC,EAAE,CAAC,wBAAwB,CAAC,UAAU,CAAC;QACvC,EAAE,CAAC,oBAAoB,CAAC,UAAU,CAAC;QACnC,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC;QAC9B,EAAE,CAAC,iBAAiB,CAAC,UAAU,CAAC,EAChC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAClG,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,UAAyB;IAC7D,OAAO,CACL,EAAE,CAAC,mBAAmB,CAAC,UAAU,CAAC;QAClC,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC;QAC/B,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC7C,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAC9C,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC7C,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC;QAC3B,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC,CAC1C,CAAC;AACJ,CAAC"}

package/dist/src/project/state-flow/control-arms.d.ts

@@ -0,0 +1,8 @@
+import type { ControlArm } from "./model.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+export declare function controlArms(node: ts.Node, boundary: RuntimeFunctionLike): ControlArm[];
+export declare function haveOppositeSharedArm(left: readonly ControlArm[], right: readonly ControlArm[]): boolean;
+export declare function sameControlArms(left: readonly ControlArm[], right: readonly ControlArm[]): boolean;
+export declare function shareSwitchControl(left: readonly ControlArm[], right: readonly ControlArm[]): boolean;
+//# sourceMappingURL=control-arms.d.ts.map

package/dist/src/project/state-flow/control-arms.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"control-arms.d.ts","sourceRoot":"","sources":["../../../../src/project/state-flow/control-arms.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAE7D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,wBAAgB,WAAW,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,mBAAmB,GAAG,UAAU,EAAE,CAUtF;AAyCD,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,SAAS,UAAU,EAAE,EAC3B,KAAK,EAAE,SAAS,UAAU,EAAE,GAC3B,OAAO,CAWT;AAED,wBAAgB,eAAe,CAC7B,IAAI,EAAE,SAAS,UAAU,EAAE,EAC3B,KAAK,EAAE,SAAS,UAAU,EAAE,GAC3B,OAAO,CAST;AAED,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,SAAS,UAAU,EAAE,EAC3B,KAAK,EAAE,SAAS,UAAU,EAAE,GAC3B,OAAO,CAMT"}

package/dist/src/project/state-flow/control-arms.js

@@ -0,0 +1,60 @@
+import { isShortCircuitBinary } from "./constant-conditions.js";
+import ts from "typescript";
+export function controlArms(node, boundary) {
+    const result = [];
+    for (let current = node; current.parent && current !== boundary; current = current.parent) {
+        result.push(...armsFor(current));
+    }
+    return result;
+}
+function armsFor(current) {
+    const { parent } = current;
+    if (ts.isIfStatement(parent)) {
+        return ifArms(current, parent);
+    }
+    if (ts.isConditionalExpression(parent)) {
+        return conditionalArms(current, parent);
+    }
+    if (isShortCircuitBinary(parent) && current === parent.right) {
+        return [{ arm: "right", control: parent, exclusive: false }];
+    }
+    if (ts.isCaseClause(parent) || ts.isDefaultClause(parent)) {
+        return [{ arm: String(parent.getStart()), control: parent.parent.parent, exclusive: false }];
+    }
+    return [];
+}
+function ifArms(current, parent) {
+    const arms = [];
+    if (current === parent.thenStatement) {
+        arms.push({ arm: "then", control: parent, exclusive: true });
+    }
+    if (current === parent.elseStatement) {
+        arms.push({ arm: "else", control: parent, exclusive: true });
+    }
+    return arms;
+}
+function conditionalArms(current, parent) {
+    const arms = [];
+    if (current === parent.whenTrue) {
+        arms.push({ arm: "true", control: parent, exclusive: true });
+    }
+    if (current === parent.whenFalse) {
+        arms.push({ arm: "false", control: parent, exclusive: true });
+    }
+    return arms;
+}
+export function haveOppositeSharedArm(left, right) {
+    return left.some((leftArm) => leftArm.exclusive &&
+        right.some((rightArm) => rightArm.exclusive &&
+            leftArm.control === rightArm.control &&
+            leftArm.arm !== rightArm.arm));
+}
+export function sameControlArms(left, right) {
+    return (left.length === right.length &&
+        left.every((leftArm) => right.some((rightArm) => leftArm.control === rightArm.control && leftArm.arm === rightArm.arm)));
+}
+export function shareSwitchControl(left, right) {
+    return left.some((leftArm) => !leftArm.exclusive &&
+        right.some((rightArm) => !rightArm.exclusive && leftArm.control === rightArm.control));
+}
+//# sourceMappingURL=control-arms.js.map

package/dist/src/project/state-flow/control-arms.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"control-arms.js","sourceRoot":"","sources":["../../../../src/project/state-flow/control-arms.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAChE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,WAAW,CAAC,IAAa,EAAE,QAA6B;IACtE,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,KACE,IAAI,OAAO,GAAY,IAAI,EAC3B,OAAO,CAAC,MAAM,IAAI,OAAO,KAAK,QAAQ,EACtC,OAAO,GAAG,OAAO,CAAC,MAAM,EACxB,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,OAAO,CAAC,OAAgB;IAC/B,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;IAC3B,IAAI,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,OAAO,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACjC,CAAC;IACD,IAAI,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC,EAAE,CAAC;QACvC,OAAO,eAAe,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC1C,CAAC;IACD,IAAI,oBAAoB,CAAC,MAAM,CAAC,IAAI,OAAO,KAAK,MAAM,CAAC,KAAK,EAAE,CAAC;QAC7D,OAAO,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;IAC/D,CAAC;IACD,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1D,OAAO,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;IAC/F,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,MAAM,CAAC,OAAgB,EAAE,MAAsB;IACtD,MAAM,IAAI,GAAiB,EAAE,CAAC;IAC9B,IAAI,OAAO,KAAK,MAAM,CAAC,aAAa,EAAE,CAAC;QACrC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC/D,CAAC;IACD,IAAI,OAAO,KAAK,MAAM,CAAC,aAAa,EAAE,CAAC;QACrC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC/D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,eAAe,CAAC,OAAgB,EAAE,MAAgC;IACzE,MAAM,IAAI,GAAiB,EAAE,CAAC;IAC9B,IAAI,OAAO,KAAK,MAAM,CAAC,QAAQ,EAAE,CAAC;QAChC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC/D,CAAC;IACD,IAAI,OAAO,KAAK,MAAM,CAAC,SAAS,EAAE,CAAC;QACjC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,IAA2B,EAC3B,KAA4B;IAE5B,OAAO,IAAI,CAAC,IAAI,CACd,CAAC,OAAO,EAAE,EAAE,CACV,OAAO,CAAC,SAAS;QACjB,KAAK,CAAC,IAAI,CACR,CAAC,QAAQ,EAAE,EAAE,CACX,QAAQ,CAAC,SAAS;YAClB,OAAO,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO;YACpC,OAAO,CAAC,GAAG,KAAK,QAAQ,CAAC,GAAG,CAC/B,CACJ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,IAA2B,EAC3B,KAA4B;IAE5B,OAAO,CACL,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAC5B,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CACrB,KAAK,CAAC,IAAI,CACR,CAAC,QAAQ,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO,IAAI,OAAO,CAAC,GAAG,KAAK,QAAQ,CAAC,GAAG,CACnF,CACF,CACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,IAA2B,EAC3B,KAA4B;IAE5B,OAAO,IAAI,CAAC,IAAI,CACd,CAAC,OAAO,EAAE,EAAE,CACV,CAAC,OAAO,CAAC,SAAS;QAClB,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,SAAS,IAAI,OAAO,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO,CAAC,CACxF,CAAC;AACJ,CAAC"}

package/dist/src/project/state-flow/expression-lowering.d.ts

@@ -0,0 +1,7 @@
+import type { ExecutionPath, Lowering, PathResult } from "./model.js";
+import ts from "typescript";
+export declare function selectBranchPaths(constant: boolean | null, whenTrue: ExecutionPath[], whenFalse: ExecutionPath[]): ExecutionPath[];
+export declare function lowerExpression(expression: ts.Expression, incoming: readonly ExecutionPath[], lowering: Lowering): PathResult;
+export declare function lowerChildren(node: ts.Node, incoming: readonly ExecutionPath[], lowering: Lowering): PathResult;
+export declare function clonePaths(paths: readonly ExecutionPath[]): ExecutionPath[];
+//# sourceMappingURL=expression-lowering.d.ts.map

package/dist/src/project/state-flow/expression-lowering.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expression-lowering.d.ts","sourceRoot":"","sources":["../../../../src/project/state-flow/expression-lowering.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,UAAU,EAAkB,MAAM,YAAY,CAAC;AAOtF,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,OAAO,GAAG,IAAI,EACxB,QAAQ,EAAE,aAAa,EAAE,EACzB,SAAS,EAAE,aAAa,EAAE,GACzB,aAAa,EAAE,CAQjB;AAED,wBAAgB,eAAe,CAC7B,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,QAAQ,EAAE,SAAS,aAAa,EAAE,EAClC,QAAQ,EAAE,QAAQ,GACjB,UAAU,CAMZ;AAkID,wBAAgB,aAAa,CAC3B,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,QAAQ,EAAE,SAAS,aAAa,EAAE,EAClC,QAAQ,EAAE,QAAQ,GACjB,UAAU,CAYZ;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,SAAS,aAAa,EAAE,GAAG,aAAa,EAAE,CAE3E"}

package/dist/src/project/state-flow/expression-lowering.js

@@ -0,0 +1,120 @@
+import { constantBoolean, isShortCircuitBinary, shortCircuitRightExecution, } from "./constant-conditions.js";
+import { isRuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+export function selectBranchPaths(constant, whenTrue, whenFalse) {
+    if (constant === true) {
+        return whenTrue;
+    }
+    if (constant === false) {
+        return whenFalse;
+    }
+    return [...whenTrue, ...whenFalse];
+}
+export function lowerExpression(expression, incoming, lowering) {
+    return (lowerBranchingExpression(expression, incoming, lowering) ??
+        lowerSuspendingExpression(expression, incoming, lowering) ??
+        lowerChildren(expression, incoming, lowering));
+}
+function lowerBranchingExpression(expression, incoming, lowering) {
+    if (isRuntimeFunctionLike(expression)) {
+        return { paths: clonePaths(incoming), unknown: false };
+    }
+    if (ts.isParenthesizedExpression(expression)) {
+        return lowerExpression(expression.expression, incoming, lowering);
+    }
+    if (ts.isConditionalExpression(expression)) {
+        return lowerConditional(expression, incoming, lowering);
+    }
+    if (isShortCircuitBinary(expression)) {
+        return lowerShortCircuit(expression, incoming, lowering);
+    }
+    return null;
+}
+function lowerSuspendingExpression(expression, incoming, lowering) {
+    if (ts.isAwaitExpression(expression)) {
+        return advanceEpoch(lowerExpression(expression.expression, incoming, lowering));
+    }
+    if (ts.isYieldExpression(expression)) {
+        return advanceEpoch(expression.expression
+            ? lowerExpression(expression.expression, incoming, lowering)
+            : { paths: clonePaths(incoming), unknown: false });
+    }
+    if (ts.isCallExpression(expression)) {
+        return lowerCall(expression, incoming, lowering);
+    }
+    return null;
+}
+function lowerConditional(expression, incoming, lowering) {
+    const condition = lowerExpression(expression.condition, incoming, lowering);
+    const whenTrue = lowerExpression(expression.whenTrue, condition.paths, lowering);
+    const whenFalse = lowerExpression(expression.whenFalse, condition.paths, lowering);
+    return {
+        paths: selectBranchPaths(constantBoolean(expression.condition), whenTrue.paths, whenFalse.paths),
+        unknown: condition.unknown || whenTrue.unknown || whenFalse.unknown,
+    };
+}
+function lowerShortCircuit(expression, incoming, lowering) {
+    const leftResult = lowerExpression(expression.left, incoming, lowering);
+    const rightResult = lowerExpression(expression.right, leftResult.paths, lowering);
+    return {
+        paths: selectShortCircuitPaths(shortCircuitRightExecution(expression), leftResult.paths, rightResult.paths),
+        unknown: leftResult.unknown || rightResult.unknown,
+    };
+}
+function selectShortCircuitPaths(execution, leftPaths, rightPaths) {
+    if (execution === "always") {
+        return rightPaths;
+    }
+    if (execution === "never") {
+        return leftPaths;
+    }
+    return [...clonePaths(leftPaths), ...rightPaths];
+}
+function advanceEpoch(result) {
+    return {
+        paths: result.paths.map((path) => ({ ...path, awaitEpoch: path.awaitEpoch + 1 })),
+        unknown: result.unknown,
+    };
+}
+function lowerCall(expression, incoming, lowering) {
+    if (expression.questionDotToken) {
+        return { paths: clonePaths(incoming), unknown: true };
+    }
+    let result = lowerExpression(expression.expression, incoming, lowering);
+    for (const argument of expression.arguments) {
+        if (isRuntimeFunctionLike(argument)) {
+            continue;
+        }
+        const next = lowerExpression(argument, result.paths, lowering);
+        result = { paths: next.paths, unknown: result.unknown || next.unknown };
+    }
+    return expression === lowering.left || expression === lowering.right
+        ? recordCallEvent(result, expression)
+        : result;
+}
+function recordCallEvent(result, call) {
+    return {
+        ...result,
+        paths: result.paths.map((path) => ({
+            ...path,
+            events: [...path.events, { call, epoch: path.awaitEpoch }],
+        })),
+    };
+}
+export function lowerChildren(node, incoming, lowering) {
+    let result = { paths: clonePaths(incoming), unknown: false };
+    node.forEachChild((child) => {
+        if (isRuntimeFunctionLike(child)) {
+            return;
+        }
+        const next = ts.isExpression(child)
+            ? lowerExpression(child, result.paths, lowering)
+            : lowerChildren(child, result.paths, lowering);
+        result = { paths: next.paths, unknown: result.unknown || next.unknown };
+    });
+    return result;
+}
+export function clonePaths(paths) {
+    return paths.map((path) => ({ ...path, events: path.events.map((event) => ({ ...event })) }));
+}
+//# sourceMappingURL=expression-lowering.js.map

package/dist/src/project/state-flow/expression-lowering.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expression-lowering.js","sourceRoot":"","sources":["../../../../src/project/state-flow/expression-lowering.ts"],"names":[],"mappings":"AACA,OAAO,EACL,eAAe,EACf,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,iBAAiB,CAC/B,QAAwB,EACxB,QAAyB,EACzB,SAA0B;IAE1B,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,CAAC,GAAG,QAAQ,EAAE,GAAG,SAAS,CAAC,CAAC;AACrC,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,UAAyB,EACzB,QAAkC,EAClC,QAAkB;IAElB,OAAO,CACL,wBAAwB,CAAC,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAC;QACxD,yBAAyB,CAAC,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAC;QACzD,aAAa,CAAC,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAC9C,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,UAAyB,EACzB,QAAkC,EAClC,QAAkB;IAElB,IAAI,qBAAqB,CAAC,UAAU,CAAC,EAAE,CAAC;QACtC,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACzD,CAAC;IACD,IAAI,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC,EAAE,CAAC;QAC7C,OAAO,eAAe,CAAC,UAAU,CAAC,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACpE,CAAC;IACD,IAAI,EAAE,CAAC,uBAAuB,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3C,OAAO,gBAAgB,CAAC,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC1D,CAAC;IACD,IAAI,oBAAoB,CAAC,UAAU,CAAC,EAAE,CAAC;QACrC,OAAO,iBAAiB,CAAC,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,yBAAyB,CAChC,UAAyB,EACzB,QAAkC,EAClC,QAAkB;IAElB,IAAI,EAAE,CAAC,iBAAiB,CAAC,UAAU,CAAC,EAAE,CAAC;QACrC,OAAO,YAAY,CAAC,eAAe,CAAC,UAAU,CAAC,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;IAClF,CAAC;IACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,UAAU,CAAC,EAAE,CAAC;QACrC,OAAO,YAAY,CACjB,UAAU,CAAC,UAAU;YACnB,CAAC,CAAC,eAAe,CAAC,UAAU,CAAC,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAC;YAC5D,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CACpD,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,EAAE,CAAC;QACpC,OAAO,SAAS,CAAC,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,gBAAgB,CACvB,UAAoC,EACpC,QAAkC,EAClC,QAAkB;IAElB,MAAM,SAAS,GAAG,eAAe,CAAC,UAAU,CAAC,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC5E,MAAM,QAAQ,GAAG,eAAe,CAAC,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACjF,MAAM,SAAS,GAAG,eAAe,CAAC,UAAU,CAAC,SAAS,EAAE,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACnF,OAAO;QACL,KAAK,EAAE,iBAAiB,CACtB,eAAe,CAAC,UAAU,CAAC,SAAS,CAAC,EACrC,QAAQ,CAAC,KAAK,EACd,SAAS,CAAC,KAAK,CAChB;QACD,OAAO,EAAE,SAAS,CAAC,OAAO,IAAI,QAAQ,CAAC,OAAO,IAAI,SAAS,CAAC,OAAO;KACpE,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,UAA+B,EAC/B,QAAkC,EAClC,QAAkB;IAElB,MAAM,UAAU,GAAG,eAAe,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACxE,MAAM,WAAW,GAAG,eAAe,CAAC,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAClF,OAAO;QACL,KAAK,EAAE,uBAAuB,CAC5B,0BAA0B,CAAC,UAAU,CAAC,EACtC,UAAU,CAAC,KAAK,EAChB,WAAW,CAAC,KAAK,CAClB;QACD,OAAO,EAAE,UAAU,CAAC,OAAO,IAAI,WAAW,CAAC,OAAO;KACnD,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,SAAyB,EACzB,SAA0B,EAC1B,UAA2B;IAE3B,IAAI,SAAS,KAAK,QAAQ,EAAE,CAAC;QAC3B,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,IAAI,SAAS,KAAK,OAAO,EAAE,CAAC;QAC1B,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,CAAC,GAAG,UAAU,CAAC,SAAS,CAAC,EAAE,GAAG,UAAU,CAAC,CAAC;AACnD,CAAC;AAED,SAAS,YAAY,CAAC,MAAkB;IACtC,OAAO;QACL,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,GAAG,CAAC,EAAE,CAAC,CAAC;QACjF,OAAO,EAAE,MAAM,CAAC,OAAO;KACxB,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAChB,UAA6B,EAC7B,QAAkC,EAClC,QAAkB;IAElB,IAAI,UAAU,CAAC,gBAAgB,EAAE,CAAC;QAChC,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACxD,CAAC;IACD,IAAI,MAAM,GAAG,eAAe,CAAC,UAAU,CAAC,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACxE,KAAK,MAAM,QAAQ,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC;QAC5C,IAAI,qBAAqB,CAAC,QAAQ,CAAC,EAAE,CAAC;YACpC,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,eAAe,CAAC,QAAQ,EAAE,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC/D,MAAM,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;IAC1E,CAAC;IACD,OAAO,UAAU,KAAK,QAAQ,CAAC,IAAI,IAAI,UAAU,KAAK,QAAQ,CAAC,KAAK;QAClE,CAAC,CAAC,eAAe,CAAC,MAAM,EAAE,UAAU,CAAC;QACrC,CAAC,CAAC,MAAM,CAAC;AACb,CAAC;AAED,SAAS,eAAe,CAAC,MAAkB,EAAE,IAAuB;IAClE,OAAO;QACL,GAAG,MAAM;QACT,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACjC,GAAG,IAAI;YACP,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;SAC3D,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,IAAa,EACb,QAAkC,EAClC,QAAkB;IAElB,IAAI,MAAM,GAAe,EAAE,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACzE,IAAI,CAAC,YAAY,CAAC,CAAC,KAAK,EAAE,EAAE;QAC1B,IAAI,qBAAqB,CAAC,KAAK,CAAC,EAAE,CAAC;YACjC,OAAO;QACT,CAAC;QACD,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC;YACjC,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC;YAChD,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACjD,MAAM,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;IAC1E,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,KAA+B;IACxD,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAChG,CAAC"}

package/dist/src/project/state-flow/model.d.ts

@@ -0,0 +1,47 @@
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import type ts from "typescript";
+export type FlowProof = "disproven" | "proven" | "unknown";
+export type StateFlowCoverage = "complete" | "not-requested" | "unknown";
+export type RightExecution = "always" | "maybe" | "never";
+export interface ExecutionPath {
+    awaitEpoch: number;
+    events: {
+        call: ts.CallExpression;
+        epoch: number;
+    }[];
+    termination: "break" | "return" | null;
+}
+export interface PathResult {
+    paths: ExecutionPath[];
+    unknown: boolean;
+}
+export interface ControlArm {
+    arm: string;
+    control: ts.Node;
+    exclusive: boolean;
+}
+export interface Controls {
+    left: readonly ControlArm[];
+    right: readonly ControlArm[];
+}
+export interface ProofSurface {
+    controls: Controls;
+    fn: RuntimeFunctionLike;
+}
+export interface Lowering {
+    breakable: boolean;
+    left: ts.CallExpression;
+    right: ts.CallExpression;
+}
+export interface ClauseRun {
+    outputs: ExecutionPath[];
+    paths: ExecutionPath[];
+    unknown: boolean;
+}
+export interface ClauseRunInput {
+    clauses: readonly ts.CaseOrDefaultClause[];
+    lowering: Lowering;
+    paths: readonly ExecutionPath[];
+    start: number;
+}
+//# sourceMappingURL=model.d.ts.map

package/dist/src/project/state-flow/model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../../../src/project/state-flow/model.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG,QAAQ,GAAG,SAAS,CAAC;AAE3D,MAAM,MAAM,iBAAiB,GAAG,UAAU,GAAG,eAAe,GAAG,SAAS,CAAC;AAEzE,MAAM,MAAM,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,OAAO,CAAC;AAE1D,MAAM,WAAW,aAAa;IAC5B,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE;QAAE,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACrD,WAAW,EAAE,OAAO,GAAG,QAAQ,GAAG,IAAI,CAAC;CACxC;AAED,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,aAAa,EAAE,CAAC;IACvB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,UAAU;IACzB,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC;IACjB,SAAS,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5B,KAAK,EAAE,SAAS,UAAU,EAAE,CAAC;CAC9B;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,EAAE,QAAQ,CAAC;IACnB,EAAE,EAAE,mBAAmB,CAAC;CACzB;AAED,MAAM,WAAW,QAAQ;IACvB,SAAS,EAAE,OAAO,CAAC;IACnB,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC;IACxB,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC;CAC1B;AAED,MAAM,WAAW,SAAS;IACxB,OAAO,EAAE,aAAa,EAAE,CAAC;IACzB,KAAK,EAAE,aAAa,EAAE,CAAC;IACvB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,SAAS,EAAE,CAAC,mBAAmB,EAAE,CAAC;IAC3C,QAAQ,EAAE,QAAQ,CAAC;IACnB,KAAK,EAAE,SAAS,aAAa,EAAE,CAAC;IAChC,KAAK,EAAE,MAAM,CAAC;CACf"}

package/dist/src/project/state-flow/model.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=model.js.map

package/dist/src/project/state-flow/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../../../src/project/state-flow/model.ts"],"names":[],"mappings":""}

package/dist/src/project/state-flow/state-flow.d.ts

@@ -0,0 +1,15 @@
+import type { FlowProof, StateFlowCoverage } from "./model.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+/**
+ * Bounded structural proof that two calls share one normal execution path and
+ * synchronous epoch. It proves identical control surfaces and unconditional
+ * writes that dominate a controlled write. Unsupported or path-correlated
+ * JavaScript returns unknown instead of growing into a general CFG or SSA.
+ */
+export declare class StateFlowIndex {
+    #private;
+    proveSynchronousCoexecution(fn: RuntimeFunctionLike, left: ts.CallExpression, right: ts.CallExpression): FlowProof;
+    coverageFor(fn: RuntimeFunctionLike): StateFlowCoverage;
+}
+//# sourceMappingURL=state-flow.d.ts.map

package/dist/src/project/state-flow/state-flow.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state-flow.d.ts","sourceRoot":"","sources":["../../../../src/project/state-flow/state-flow.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAGV,SAAS,EAGT,iBAAiB,EAClB,MAAM,YAAY,CAAC;AAOpB,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAK7D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B;;;;;GAKG;AACH,qBAAa,cAAc;;IAMlB,2BAA2B,CAChC,EAAE,EAAE,mBAAmB,EACvB,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,KAAK,EAAE,EAAE,CAAC,cAAc,GACvB,SAAS;IAOL,WAAW,CAAC,EAAE,EAAE,mBAAmB,GAAG,iBAAiB;CAG/D"}

package/dist/src/project/state-flow/state-flow.js

@@ -0,0 +1,67 @@
+import { controlArms, haveOppositeSharedArm, sameControlArms, shareSwitchControl, } from "./control-arms.js";
+import { coexecutionProof } from "./coexecution-proof.js";
+import { isRuntimeFunctionLike } from "../../core/ast.js";
+import { lowerExpression } from "./expression-lowering.js";
+import { lowerStatements } from "./statement-lowering.js";
+import ts from "typescript";
+/**
+ * Bounded structural proof that two calls share one normal execution path and
+ * synchronous epoch. It proves identical control surfaces and unconditional
+ * writes that dominate a controlled write. Unsupported or path-correlated
+ * JavaScript returns unknown instead of growing into a general CFG or SSA.
+ */
+export class StateFlowIndex {
+    #coverage = new WeakMap();
+    proveSynchronousCoexecution(fn, left, right) {
+        const result = proveCoexecution(fn, left, right);
+        const previous = this.#coverage.get(fn);
+        this.#coverage.set(fn, previous === "unknown" || result === "unknown" ? "unknown" : "complete");
+        return result;
+    }
+    coverageFor(fn) {
+        return this.#coverage.get(fn) ?? "not-requested";
+    }
+}
+function proveCoexecution(fn, left, right) {
+    if (!fn.body || !nodeWithinFunction(left, fn) || !nodeWithinFunction(right, fn)) {
+        return "unknown";
+    }
+    const surface = {
+        controls: { left: controlArms(left, fn), right: controlArms(right, fn) },
+        fn,
+    };
+    const incompatible = incompatibleControlSurfaces(surface.controls);
+    if (incompatible) {
+        return incompatible;
+    }
+    const lowering = { breakable: false, left, right };
+    const initial = { awaitEpoch: 0, events: [], termination: null };
+    const result = ts.isBlock(fn.body)
+        ? lowerStatements(fn.body.statements, [initial], lowering)
+        : lowerExpression(fn.body, [initial], lowering);
+    return coexecutionProof(result, lowering, surface);
+}
+function incompatibleControlSurfaces(controls) {
+    if (haveOppositeSharedArm(controls.left, controls.right)) {
+        return "disproven";
+    }
+    if (controls.left.length > 0 &&
+        controls.right.length > 0 &&
+        !sameControlArms(controls.left, controls.right) &&
+        !shareSwitchControl(controls.left, controls.right)) {
+        return "unknown";
+    }
+    return null;
+}
+function nodeWithinFunction(node, fn) {
+    for (let current = node; current; current = current.parent) {
+        if (current === fn) {
+            return true;
+        }
+        if (current !== node && isRuntimeFunctionLike(current)) {
+            return false;
+        }
+    }
+    return false;
+}
+//# sourceMappingURL=state-flow.js.map

package/dist/src/project/state-flow/state-flow.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state-flow.js","sourceRoot":"","sources":["../../../../src/project/state-flow/state-flow.ts"],"names":[],"mappings":"AAQA,OAAO,EACL,WAAW,EACX,qBAAqB,EACrB,eAAe,EACf,kBAAkB,GACnB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B;;;;;GAKG;AACH,MAAM,OAAO,cAAc;IAChB,SAAS,GAAG,IAAI,OAAO,EAG7B,CAAC;IAEG,2BAA2B,CAChC,EAAuB,EACvB,IAAuB,EACvB,KAAwB;QAExB,MAAM,MAAM,GAAG,gBAAgB,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACjD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACxC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAChG,OAAO,MAAM,CAAC;IAChB,CAAC;IAEM,WAAW,CAAC,EAAuB;QACxC,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,eAAe,CAAC;IACnD,CAAC;CACF;AAED,SAAS,gBAAgB,CACvB,EAAuB,EACvB,IAAuB,EACvB,KAAwB;IAExB,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,kBAAkB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC;QAChF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,OAAO,GAAiB;QAC5B,QAAQ,EAAE,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE;QACxE,EAAE;KACH,CAAC;IACF,MAAM,YAAY,GAAG,2BAA2B,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACnE,IAAI,YAAY,EAAE,CAAC;QACjB,OAAO,YAAY,CAAC;IACtB,CAAC;IACD,MAAM,QAAQ,GAAa,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IAC7D,MAAM,OAAO,GAAkB,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;IAChF,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC;QAChC,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC;QAC1D,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC;IAClD,OAAO,gBAAgB,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,2BAA2B,CAAC,QAAkB;IACrD,IAAI,qBAAqB,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACzD,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,IACE,QAAQ,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;QACxB,QAAQ,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;QACzB,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC;QAC/C,CAAC,kBAAkB,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,EAClD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAa,EAAE,EAAuB;IAChE,KAAK,IAAI,OAAO,GAAwB,IAAI,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QAChF,IAAI,OAAO,KAAK,EAAE,EAAE,CAAC;YACnB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,OAAO,KAAK,IAAI,IAAI,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;YACvD,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/src/project/state-flow/statement-lowering.d.ts

@@ -0,0 +1,4 @@
+import type { ExecutionPath, Lowering, PathResult } from "./model.js";
+import ts from "typescript";
+export declare function lowerStatements(statements: readonly ts.Statement[], incoming: readonly ExecutionPath[], lowering: Lowering): PathResult;
+//# sourceMappingURL=statement-lowering.d.ts.map

package/dist/src/project/state-flow/statement-lowering.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"statement-lowering.d.ts","sourceRoot":"","sources":["../../../../src/project/state-flow/statement-lowering.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAA6B,aAAa,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AASjG,OAAO,EAAE,MAAM,YAAY,CAAC;AAI5B,wBAAgB,eAAe,CAC7B,UAAU,EAAE,SAAS,EAAE,CAAC,SAAS,EAAE,EACnC,QAAQ,EAAE,SAAS,aAAa,EAAE,EAClC,QAAQ,EAAE,QAAQ,GACjB,UAAU,CAYZ"}