legend-doctor 0.1.0

package/dist/src/rules/async-leaf-status/model.d.ts

@@ -0,0 +1,29 @@
+import type { StateCandidate, StateUsage } from "../../analysis/model.js";
+import type { ChildContractResolver } from "../child-contract/model.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import type ts from "typescript";
+export type AsyncLeafStatus = "cohesive" | "isolated" | "unproven";
+export type CommandRegion = ts.ArrowFunction | ts.FunctionDeclaration | ts.FunctionExpression;
+export interface AsyncLeafStatusInputs {
+    childContracts: ChildContractResolver | null;
+    eventCallbacksByOwner: ReadonlyMap<RuntimeFunctionLike, ReadonlySet<RuntimeFunctionLike>>;
+    localComponents: ReadonlySet<string>;
+    reactiveMutationAffectedStates: ReadonlySet<StateCandidate>;
+    safeCommandStates: ReadonlySet<StateCandidate>;
+    sourceComponents: ReadonlySet<string>;
+    states: readonly StateCandidate[];
+    usageByState: ReadonlyMap<StateCandidate, StateUsage>;
+}
+export interface PendingCommand {
+    alternateResetRegions: readonly CommandRegion[];
+    ownerSetters: ReadonlySet<string>;
+    pendingStart: ts.CallExpression;
+    region: CommandRegion;
+}
+export declare const EMPTY_SEEN: ReadonlySet<string>;
+export interface AsyncLeafCallSites {
+    boundaries: readonly ts.Node[];
+    requiresUnconditionalAwait: boolean;
+    returned: ts.Expression;
+}
+//# sourceMappingURL=model.d.ts.map

package/dist/src/rules/async-leaf-status/model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../../../src/rules/async-leaf-status/model.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAC1E,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,MAAM,MAAM,eAAe,GAAG,UAAU,GAAG,UAAU,GAAG,UAAU,CAAC;AAEnE,MAAM,MAAM,aAAa,GAAG,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,mBAAmB,GAAG,EAAE,CAAC,kBAAkB,CAAC;AAE9F,MAAM,WAAW,qBAAqB;IACpC,cAAc,EAAE,qBAAqB,GAAG,IAAI,CAAC;IAC7C,qBAAqB,EAAE,WAAW,CAAC,mBAAmB,EAAE,WAAW,CAAC,mBAAmB,CAAC,CAAC,CAAC;IAC1F,eAAe,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACrC,8BAA8B,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;IAC5D,iBAAiB,EAAE,WAAW,CAAC,cAAc,CAAC,CAAC;IAC/C,gBAAgB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtC,MAAM,EAAE,SAAS,cAAc,EAAE,CAAC;IAClC,YAAY,EAAE,WAAW,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;CACvD;AAED,MAAM,WAAW,cAAc;IAC7B,qBAAqB,EAAE,SAAS,aAAa,EAAE,CAAC;IAChD,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAClC,YAAY,EAAE,EAAE,CAAC,cAAc,CAAC;IAChC,MAAM,EAAE,aAAa,CAAC;CACvB;AAED,eAAO,MAAM,UAAU,EAAE,WAAW,CAAC,MAAM,CAAa,CAAC;AAEzD,MAAM,WAAW,kBAAkB;IACjC,UAAU,EAAE,SAAS,EAAE,CAAC,IAAI,EAAE,CAAC;IAC/B,0BAA0B,EAAE,OAAO,CAAC;IACpC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC;CACzB"}

package/dist/src/rules/async-leaf-status/model.js

@@ -0,0 +1,2 @@
+export const EMPTY_SEEN = new Set();
+//# sourceMappingURL=model.js.map

package/dist/src/rules/async-leaf-status/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../../../src/rules/async-leaf-status/model.ts"],"names":[],"mappings":"AA2BA,MAAM,CAAC,MAAM,UAAU,GAAwB,IAAI,GAAG,EAAE,CAAC"}

package/dist/src/rules/async-leaf-status/owner-state-writes.d.ts

@@ -0,0 +1,12 @@
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+interface OwnerStateWriteScan {
+    before: number;
+    owner: RuntimeFunctionLike;
+    ownerSetters: ReadonlySet<string>;
+    seen: ReadonlySet<string>;
+    skipPromiseContinuations?: boolean;
+}
+export declare function containsOwnerStateWrite(root: ts.Node, scan: OwnerStateWriteScan): boolean;
+export {};
+//# sourceMappingURL=owner-state-writes.d.ts.map

package/dist/src/rules/async-leaf-status/owner-state-writes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"owner-state-writes.d.ts","sourceRoot":"","sources":["../../../../src/rules/async-leaf-status/owner-state-writes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAI7D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,UAAU,mBAAmB;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,mBAAmB,CAAC;IAC3B,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAClC,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC1B,wBAAwB,CAAC,EAAE,OAAO,CAAC;CACpC;AAED,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,mBAAmB,GAAG,OAAO,CAiBzF"}

package/dist/src/rules/async-leaf-status/owner-state-writes.js

@@ -0,0 +1,54 @@
+import { isPromiseContinuationCallback } from "./pending-command.js";
+import { isRuntimeFunctionLike } from "../../core/ast.js";
+import { localFunctionBinding } from "../state-proofs/binding-lookup.js";
+import ts from "typescript";
+export function containsOwnerStateWrite(root, scan) {
+    let found = false;
+    const visitNode = (node) => {
+        if (found || node.getStart() >= scan.before) {
+            return;
+        }
+        if (isRuntimeFunctionLike(node) && node !== root) {
+            return;
+        }
+        if (ts.isCallExpression(node) && callWritesOwnerState(node, scan)) {
+            found = true;
+            return;
+        }
+        node.forEachChild(visitNode);
+    };
+    visitNode(root);
+    return found;
+}
+function callWritesOwnerState(call, scan) {
+    return (calleeWritesOwnerState(call, scan) ||
+        call.arguments.some((argument) => (ts.isArrowFunction(argument) || ts.isFunctionExpression(argument)) &&
+            (!scan.skipPromiseContinuations || !isPromiseContinuationCallback(argument)) &&
+            containsOwnerStateWrite(argument.body, {
+                before: argument.body.end,
+                owner: scan.owner,
+                ownerSetters: scan.ownerSetters,
+                seen: scan.seen,
+                skipPromiseContinuations: scan.skipPromiseContinuations ?? false,
+            })));
+}
+function calleeWritesOwnerState(call, scan) {
+    const callee = call.expression;
+    if (!ts.isIdentifier(callee)) {
+        return false;
+    }
+    if (scan.ownerSetters.has(callee.text)) {
+        return true;
+    }
+    const body = localFunctionBinding(scan.owner, callee.text)?.body;
+    if (body === undefined || scan.seen.has(callee.text)) {
+        return false;
+    }
+    return containsOwnerStateWrite(body, {
+        before: body.end,
+        owner: scan.owner,
+        ownerSetters: scan.ownerSetters,
+        seen: new Set(scan.seen).add(callee.text),
+    });
+}
+//# sourceMappingURL=owner-state-writes.js.map

package/dist/src/rules/async-leaf-status/owner-state-writes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"owner-state-writes.js","sourceRoot":"","sources":["../../../../src/rules/async-leaf-status/owner-state-writes.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,6BAA6B,EAAE,MAAM,sBAAsB,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,EAAE,MAAM,YAAY,CAAC;AAU5B,MAAM,UAAU,uBAAuB,CAAC,IAAa,EAAE,IAAyB;IAC9E,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,SAAS,GAAG,CAAC,IAAa,EAAQ,EAAE;QACxC,IAAI,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC5C,OAAO;QACT,CAAC;QACD,IAAI,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YACjD,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,oBAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YAClE,KAAK,GAAG,IAAI,CAAC;YACb,OAAO;QACT,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,SAAS,CAAC,IAAI,CAAC,CAAC;IAChB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAuB,EAAE,IAAyB;IAC9E,OAAO,CACL,sBAAsB,CAAC,IAAI,EAAE,IAAI,CAAC;QAClC,IAAI,CAAC,SAAS,CAAC,IAAI,CACjB,CAAC,QAAQ,EAAE,EAAE,CACX,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;YACnE,CAAC,CAAC,IAAI,CAAC,wBAAwB,IAAI,CAAC,6BAA6B,CAAC,QAAQ,CAAC,CAAC;YAC5E,uBAAuB,CAAC,QAAQ,CAAC,IAAI,EAAE;gBACrC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,GAAG;gBACzB,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,YAAY,EAAE,IAAI,CAAC,YAAY;gBAC/B,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,wBAAwB,EAAE,IAAI,CAAC,wBAAwB,IAAI,KAAK;aACjE,CAAC,CACL,CACF,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAuB,EAAE,IAAyB;IAChF,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;IACjE,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACrD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,uBAAuB,CAAC,IAAI,EAAE;QACnC,MAAM,EAAE,IAAI,CAAC,GAAG;QAChB,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,IAAI,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;KAC1C,CAAC,CAAC;AACL,CAAC"}

package/dist/src/rules/async-leaf-status/pending-command.d.ts

@@ -0,0 +1,10 @@
+import type { CommandRegion, PendingCommand } from "./model.js";
+import type { StateCandidate, StateUsage } from "../../analysis/model.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+export declare function pendingCommand(state: StateCandidate, usage: StateUsage, states: readonly StateCandidate[]): PendingCommand | null;
+export declare function isCommandRegion(region: ts.Node): region is CommandRegion;
+export declare function asyncCommandRegion(call: ts.CallExpression, owner: RuntimeFunctionLike): RuntimeFunctionLike;
+export declare function nearestMutationFunction(node: ts.Node, owner: RuntimeFunctionLike): RuntimeFunctionLike;
+export declare function isPromiseContinuationCallback(region: RuntimeFunctionLike): boolean;
+//# sourceMappingURL=pending-command.d.ts.map

package/dist/src/rules/async-leaf-status/pending-command.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pending-command.d.ts","sourceRoot":"","sources":["../../../../src/rules/async-leaf-status/pending-command.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAChE,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAE1E,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,wBAAgB,cAAc,CAC5B,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,SAAS,cAAc,EAAE,GAChC,cAAc,GAAG,IAAI,CAmBvB;AAED,wBAAgB,eAAe,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,GAAG,MAAM,IAAI,aAAa,CAMxE;AAgCD,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,KAAK,EAAE,mBAAmB,GACzB,mBAAmB,CAMrB;AAED,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,KAAK,EAAE,mBAAmB,GACzB,mBAAmB,CAErB;AAED,wBAAgB,6BAA6B,CAAC,MAAM,EAAE,mBAAmB,GAAG,OAAO,CAWlF"}

package/dist/src/rules/async-leaf-status/pending-command.js

@@ -0,0 +1,63 @@
+import { findAncestorUntil, isRuntimeFunctionLike } from "../../core/ast.js";
+import ts from "typescript";
+export function pendingCommand(state, usage, states) {
+    const trueCalls = usage.setterCallNodes.filter((call) => call.arguments[0]?.kind === ts.SyntaxKind.TrueKeyword);
+    const [firstTrueCall] = trueCalls;
+    const pendingStart = trueCalls.length === 1 && firstTrueCall ? firstTrueCall : null;
+    const region = pendingStart ? asyncCommandRegion(pendingStart, state.owner) : null;
+    if (!pendingStart || !region || region === state.owner || !isCommandRegion(region)) {
+        return null;
+    }
+    const alternateResetRegions = alternateResetRegionsFor(usage, state.owner, region);
+    return alternateResetRegions
+        ? {
+            alternateResetRegions,
+            ownerSetters: ownerSetterNames(states, state.owner),
+            pendingStart,
+            region,
+        }
+        : null;
+}
+export function isCommandRegion(region) {
+    return (ts.isArrowFunction(region) ||
+        ts.isFunctionDeclaration(region) ||
+        ts.isFunctionExpression(region));
+}
+function ownerSetterNames(states, owner) {
+    return new Set(states.flatMap((candidate) => candidate.owner === owner && candidate.setterName ? [candidate.setterName] : []));
+}
+function alternateResetRegionsFor(usage, owner, region) {
+    const alternates = [];
+    for (const call of usage.setterCallNodes) {
+        const candidate = asyncCommandRegion(call, owner);
+        if (candidate === region) {
+            continue;
+        }
+        if (!isCommandRegion(candidate) || call.arguments[0]?.kind !== ts.SyntaxKind.FalseKeyword) {
+            return null;
+        }
+        alternates.push(candidate);
+    }
+    return alternates;
+}
+export function asyncCommandRegion(call, owner) {
+    let region = nearestMutationFunction(call, owner);
+    while (region !== owner && isPromiseContinuationCallback(region)) {
+        region = nearestMutationFunction(region, owner);
+    }
+    return region;
+}
+export function nearestMutationFunction(node, owner) {
+    return findAncestorUntil(node, isRuntimeFunctionLike, owner) ?? owner;
+}
+export function isPromiseContinuationCallback(region) {
+    if (!ts.isArrowFunction(region) && !ts.isFunctionExpression(region)) {
+        return false;
+    }
+    const call = region.parent;
+    return (ts.isCallExpression(call) &&
+        call.arguments.includes(region) &&
+        ts.isPropertyAccessExpression(call.expression) &&
+        ["then", "catch", "finally"].includes(call.expression.name.text));
+}
+//# sourceMappingURL=pending-command.js.map

package/dist/src/rules/async-leaf-status/pending-command.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pending-command.js","sourceRoot":"","sources":["../../../../src/rules/async-leaf-status/pending-command.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAE7E,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,cAAc,CAC5B,KAAqB,EACrB,KAAiB,EACjB,MAAiC;IAEjC,MAAM,SAAS,GAAG,KAAK,CAAC,eAAe,CAAC,MAAM,CAC5C,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAChE,CAAC;IACF,MAAM,CAAC,aAAa,CAAC,GAAG,SAAS,CAAC;IAClC,MAAM,YAAY,GAAG,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC;IACpF,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,kBAAkB,CAAC,YAAY,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACnF,IAAI,CAAC,YAAY,IAAI,CAAC,MAAM,IAAI,MAAM,KAAK,KAAK,CAAC,KAAK,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;QACnF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,qBAAqB,GAAG,wBAAwB,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACnF,OAAO,qBAAqB;QAC1B,CAAC,CAAC;YACE,qBAAqB;YACrB,YAAY,EAAE,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC;YACnD,YAAY;YACZ,MAAM;SACP;QACH,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,MAAe;IAC7C,OAAO,CACL,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC;QAC1B,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;QAChC,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAChC,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,MAAiC,EACjC,KAA0B;IAE1B,OAAO,IAAI,GAAG,CACZ,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAC3B,SAAS,CAAC,KAAK,KAAK,KAAK,IAAI,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAChF,CACF,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAAiB,EACjB,KAA0B,EAC1B,MAA2B;IAE3B,MAAM,UAAU,GAAoB,EAAE,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,eAAe,EAAE,CAAC;QACzC,MAAM,SAAS,GAAG,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAClD,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;YACzB,SAAS;QACX,CAAC;QACD,IAAI,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,EAAE,CAAC;YAC1F,OAAO,IAAI,CAAC;QACd,CAAC;QACD,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,IAAuB,EACvB,KAA0B;IAE1B,IAAI,MAAM,GAAG,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAClD,OAAO,MAAM,KAAK,KAAK,IAAI,6BAA6B,CAAC,MAAM,CAAC,EAAE,CAAC;QACjE,MAAM,GAAG,uBAAuB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,IAAa,EACb,KAA0B;IAE1B,OAAO,iBAAiB,CAAC,IAAI,EAAE,qBAAqB,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,MAA2B;IACvE,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;QACpE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3B,OAAO,CACL,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC;QAC/B,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC;QAC9C,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CACjE,CAAC;AACJ,CAAC"}

package/dist/src/rules/async-leaf-status/pending-segment.d.ts

@@ -0,0 +1,12 @@
+import type { AsyncLeafCallSites, PendingCommand } from "./model.js";
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+import type { StateUsage } from "../../analysis/model.js";
+interface PendingSegmentProof {
+    command: PendingCommand;
+    leaves: AsyncLeafCallSites;
+    owner: RuntimeFunctionLike;
+    usage: StateUsage;
+}
+export declare function isProvenPendingSegment(proof: PendingSegmentProof): boolean;
+export {};
+//# sourceMappingURL=pending-segment.d.ts.map

package/dist/src/rules/async-leaf-status/pending-segment.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pending-segment.d.ts","sourceRoot":"","sources":["../../../../src/rules/async-leaf-status/pending-segment.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAiB,cAAc,EAAE,MAAM,YAAY,CAAC;AAapF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAK1D,UAAU,mBAAmB;IAC3B,OAAO,EAAE,cAAc,CAAC;IACxB,MAAM,EAAE,kBAAkB,CAAC;IAC3B,KAAK,EAAE,mBAAmB,CAAC;IAC3B,KAAK,EAAE,UAAU,CAAC;CACnB;AAuBD,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,mBAAmB,GAAG,OAAO,CAmB1E"}

package/dist/src/rules/async-leaf-status/pending-segment.js

@@ -0,0 +1,198 @@
+import { asyncCommandRegion, isPromiseContinuationCallback, nearestMutationFunction, } from "./pending-command.js";
+import { findAncestorUntil, isRuntimeFunctionLike, nodeWithin, visitSkippingNestedRuntimeFunctions, } from "../../core/ast.js";
+import { EMPTY_SEEN } from "./model.js";
+import { containsOwnerStateWrite } from "./owner-state-writes.js";
+import { localFunctionBinding } from "../state-proofs/binding-lookup.js";
+import ts from "typescript";
+export function isProvenPendingSegment(proof) {
+    const { command, leaves, owner, usage } = proof;
+    const { ownerSetters, pendingStart, region } = command;
+    return (nearestMutationFunction(pendingStart, owner) === region &&
+        startsAsyncCommandSegment(pendingStart, {
+            owner,
+            ownerSetters,
+            requiresUnconditionalAwait: leaves.requiresUnconditionalAwait,
+            setterCalls: usage.setterCallNodes,
+        }) &&
+        !hasEarlierOwnerStateWrite({ owner, ownerSetters, pendingStart, region }) &&
+        usage.setterCallNodes.some((call) => call.arguments[0]?.kind === ts.SyntaxKind.FalseKeyword &&
+            asyncCommandRegion(call, owner) === region &&
+            call.getStart() > pendingStart.getStart()));
+}
+function startsAsyncCommandSegment(call, scan) {
+    const following = statementsAfterCall(call);
+    if (!following) {
+        return false;
+    }
+    for (const candidate of following) {
+        const verdict = segmentBoundaryVerdict(candidate, call, scan);
+        if (verdict !== null) {
+            return verdict;
+        }
+    }
+    return false;
+}
+function statementsAfterCall(call) {
+    const statement = call.parent;
+    const block = statement.parent;
+    if (!ts.isExpressionStatement(statement) || !ts.isBlock(block)) {
+        return null;
+    }
+    const index = block.statements.indexOf(statement);
+    return index === -1 ? null : block.statements.slice(index + 1);
+}
+function segmentBoundaryVerdict(candidate, call, scan) {
+    const { owner, ownerSetters, requiresUnconditionalAwait, setterCalls } = scan;
+    const awaitExpression = firstAwaitExpression(candidate);
+    const awaitPosition = awaitExpression?.getStart() ?? null;
+    const promiseBoundary = containsPromiseCompletionReset(candidate, setterCalls);
+    const boundary = awaitPosition ?? (promiseBoundary ? candidate.end : null);
+    if (boundary === null) {
+        return containsOwnerStateWrite(candidate, {
+            before: candidate.end,
+            owner,
+            ownerSetters,
+            seen: EMPTY_SEEN,
+        }) || containsEarlyExit(candidate, candidate.end)
+            ? false
+            : null;
+    }
+    return ((!requiresUnconditionalAwait ||
+        awaitExpression === null ||
+        awaitIsUnconditionallyReached(awaitExpression, candidate)) &&
+        !containsOwnerStateWrite(candidate, {
+            before: boundary,
+            owner,
+            ownerSetters,
+            seen: EMPTY_SEEN,
+            skipPromiseContinuations: awaitPosition === null,
+        }) &&
+        !containsEarlyExit(candidate, boundary) &&
+        (!promiseBoundary ||
+            !hasFollowingSynchronousOwnerWrite({
+                after: candidate.end,
+                owner,
+                ownerSetters,
+                root: nearestMutationFunction(call, owner).body,
+            })));
+}
+function hasFollowingSynchronousOwnerWrite(scan) {
+    const { after, root } = scan;
+    if (!root) {
+        return true;
+    }
+    let found = false;
+    const visitNode = (node) => {
+        if (found || node.end <= after) {
+            return;
+        }
+        if (isRuntimeFunctionLike(node) && node !== root) {
+            return;
+        }
+        if (ts.isCallExpression(node) &&
+            node.getStart() > after &&
+            callWritesOwnerStateAfter(node, scan)) {
+            found = true;
+            return;
+        }
+        node.forEachChild(visitNode);
+    };
+    visitNode(root);
+    return found;
+}
+function callWritesOwnerStateAfter(call, scan) {
+    const callee = call.expression;
+    if (!ts.isIdentifier(callee)) {
+        return false;
+    }
+    if (scan.ownerSetters.has(callee.text)) {
+        return true;
+    }
+    const body = localFunctionBinding(scan.owner, callee.text)?.body;
+    return (body !== undefined &&
+        containsOwnerStateWrite(body, {
+            before: body.end,
+            owner: scan.owner,
+            ownerSetters: scan.ownerSetters,
+            seen: EMPTY_SEEN,
+        }));
+}
+function firstAwaitExpression(statement) {
+    let first = null;
+    visitSkippingNestedRuntimeFunctions(statement, (node) => {
+        if (ts.isAwaitExpression(node) && (first === null || node.getStart() < first.getStart())) {
+            first = node;
+        }
+    });
+    return first;
+}
+function awaitIsUnconditionallyReached(awaitExpression, boundary) {
+    for (let current = awaitExpression; current !== boundary; current = current.parent) {
+        const { parent } = current;
+        if ((ts.isIfStatement(parent) &&
+            (nodeWithin(awaitExpression, parent.thenStatement) ||
+                (parent.elseStatement !== undefined &&
+                    nodeWithin(awaitExpression, parent.elseStatement)))) ||
+            (ts.isConditionalExpression(parent) &&
+                (nodeWithin(awaitExpression, parent.whenTrue) ||
+                    nodeWithin(awaitExpression, parent.whenFalse))) ||
+            (ts.isBinaryExpression(parent) &&
+                isShortCircuitOperator(parent.operatorToken.kind) &&
+                nodeWithin(awaitExpression, parent.right)) ||
+            ts.isIterationStatement(parent, false) ||
+            ts.isCaseOrDefaultClause(parent) ||
+            ts.isCatchClause(parent)) {
+            return false;
+        }
+    }
+    return true;
+}
+function isShortCircuitOperator(kind) {
+    return (kind === ts.SyntaxKind.AmpersandAmpersandToken ||
+        kind === ts.SyntaxKind.BarBarToken ||
+        kind === ts.SyntaxKind.QuestionQuestionToken);
+}
+function containsPromiseCompletionReset(statement, setterCalls) {
+    return setterCalls.some((candidate) => {
+        if (candidate.arguments[0]?.kind !== ts.SyntaxKind.FalseKeyword ||
+            !nodeWithin(candidate, statement)) {
+            return false;
+        }
+        const continuation = findAncestorUntil(candidate, isRuntimeFunctionLike, statement);
+        return continuation !== null && isPromiseContinuationCallback(continuation);
+    });
+}
+function hasEarlierOwnerStateWrite(scan) {
+    const { owner, ownerSetters, pendingStart, region } = scan;
+    if (!region.body) {
+        return true;
+    }
+    return containsOwnerStateWrite(region.body, {
+        before: pendingStart.getStart(),
+        owner,
+        ownerSetters,
+        seen: EMPTY_SEEN,
+    });
+}
+function containsEarlyExit(root, before) {
+    let found = false;
+    const scan = (node) => {
+        if (found || node.getStart() >= before) {
+            return;
+        }
+        if (isRuntimeFunctionLike(node) && node !== root) {
+            return;
+        }
+        if (ts.isReturnStatement(node) ||
+            ts.isThrowStatement(node) ||
+            ts.isBreakStatement(node) ||
+            ts.isContinueStatement(node)) {
+            found = true;
+            return;
+        }
+        node.forEachChild(scan);
+    };
+    scan(root);
+    return found;
+}
+//# sourceMappingURL=pending-segment.js.map

package/dist/src/rules/async-leaf-status/pending-segment.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pending-segment.js","sourceRoot":"","sources":["../../../../src/rules/async-leaf-status/pending-segment.ts"],"names":[],"mappings":"AACA,OAAO,EACL,kBAAkB,EAClB,6BAA6B,EAC7B,uBAAuB,GACxB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,iBAAiB,EACjB,qBAAqB,EACrB,UAAU,EACV,mCAAmC,GACpC,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAGxC,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAClE,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,EAAE,MAAM,YAAY,CAAC;AA8B5B,MAAM,UAAU,sBAAsB,CAAC,KAA0B;IAC/D,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IAChD,MAAM,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;IACvD,OAAO,CACL,uBAAuB,CAAC,YAAY,EAAE,KAAK,CAAC,KAAK,MAAM;QACvD,yBAAyB,CAAC,YAAY,EAAE;YACtC,KAAK;YACL,YAAY;YACZ,0BAA0B,EAAE,MAAM,CAAC,0BAA0B;YAC7D,WAAW,EAAE,KAAK,CAAC,eAAe;SACnC,CAAC;QACF,CAAC,yBAAyB,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC;QACzE,KAAK,CAAC,eAAe,CAAC,IAAI,CACxB,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;YACtD,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,MAAM;YAC1C,IAAI,CAAC,QAAQ,EAAE,GAAG,YAAY,CAAC,QAAQ,EAAE,CAC5C,CACF,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAAC,IAAuB,EAAE,IAAsB;IAChF,MAAM,SAAS,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KAAK,MAAM,SAAS,IAAI,SAAS,EAAE,CAAC;QAClC,MAAM,OAAO,GAAG,sBAAsB,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC9D,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,OAAO,OAAO,CAAC;QACjB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAuB;IAClD,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC;IAC9B,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAClD,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,sBAAsB,CAC7B,SAAuB,EACvB,IAAuB,EACvB,IAAsB;IAEtB,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,0BAA0B,EAAE,WAAW,EAAE,GAAG,IAAI,CAAC;IAC9E,MAAM,eAAe,GAAG,oBAAoB,CAAC,SAAS,CAAC,CAAC;IACxD,MAAM,aAAa,GAAG,eAAe,EAAE,QAAQ,EAAE,IAAI,IAAI,CAAC;IAC1D,MAAM,eAAe,GAAG,8BAA8B,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IAC/E,MAAM,QAAQ,GAAG,aAAa,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC3E,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,uBAAuB,CAAC,SAAS,EAAE;YACxC,MAAM,EAAE,SAAS,CAAC,GAAG;YACrB,KAAK;YACL,YAAY;YACZ,IAAI,EAAE,UAAU;SACjB,CAAC,IAAI,iBAAiB,CAAC,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC;YAC/C,CAAC,CAAC,KAAK;YACP,CAAC,CAAC,IAAI,CAAC;IACX,CAAC;IACD,OAAO,CACL,CAAC,CAAC,0BAA0B;QAC1B,eAAe,KAAK,IAAI;QACxB,6BAA6B,CAAC,eAAe,EAAE,SAAS,CAAC,CAAC;QAC5D,CAAC,uBAAuB,CAAC,SAAS,EAAE;YAClC,MAAM,EAAE,QAAQ;YAChB,KAAK;YACL,YAAY;YACZ,IAAI,EAAE,UAAU;YAChB,wBAAwB,EAAE,aAAa,KAAK,IAAI;SACjD,CAAC;QACF,CAAC,iBAAiB,CAAC,SAAS,EAAE,QAAQ,CAAC;QACvC,CAAC,CAAC,eAAe;YACf,CAAC,iCAAiC,CAAC;gBACjC,KAAK,EAAE,SAAS,CAAC,GAAG;gBACpB,KAAK;gBACL,YAAY;gBACZ,IAAI,EAAE,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,IAAI;aAChD,CAAC,CAAC,CACN,CAAC;AACJ,CAAC;AAED,SAAS,iCAAiC,CAAC,IAAwB;IACjE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC;IAC7B,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,SAAS,GAAG,CAAC,IAAa,EAAQ,EAAE;QACxC,IAAI,KAAK,IAAI,IAAI,CAAC,GAAG,IAAI,KAAK,EAAE,CAAC;YAC/B,OAAO;QACT,CAAC;QACD,IAAI,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YACjD,OAAO;QACT,CAAC;QACD,IACE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACzB,IAAI,CAAC,QAAQ,EAAE,GAAG,KAAK;YACvB,yBAAyB,CAAC,IAAI,EAAE,IAAI,CAAC,EACrC,CAAC;YACD,KAAK,GAAG,IAAI,CAAC;YACb,OAAO;QACT,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,SAAS,CAAC,IAAI,CAAC,CAAC;IAChB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,yBAAyB,CAAC,IAAuB,EAAE,IAAwB;IAClF,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;IACjE,OAAO,CACL,IAAI,KAAK,SAAS;QAClB,uBAAuB,CAAC,IAAI,EAAE;YAC5B,MAAM,EAAE,IAAI,CAAC,GAAG;YAChB,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,IAAI,EAAE,UAAU;SACjB,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,SAAuB;IACnD,IAAI,KAAK,GAA8B,IAAI,CAAC;IAC5C,mCAAmC,CAAC,SAAS,EAAE,CAAC,IAAI,EAAE,EAAE;QACtD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC;YACzF,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,6BAA6B,CACpC,eAAmC,EACnC,QAAsB;IAEtB,KAAK,IAAI,OAAO,GAAY,eAAe,EAAE,OAAO,KAAK,QAAQ,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QAC5F,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;QAC3B,IACE,CAAC,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC;YACvB,CAAC,UAAU,CAAC,eAAe,EAAE,MAAM,CAAC,aAAa,CAAC;gBAChD,CAAC,MAAM,CAAC,aAAa,KAAK,SAAS;oBACjC,UAAU,CAAC,eAAe,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YAC1D,CAAC,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC;gBACjC,CAAC,UAAU,CAAC,eAAe,EAAE,MAAM,CAAC,QAAQ,CAAC;oBAC3C,UAAU,CAAC,eAAe,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;YACnD,CAAC,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;gBAC5B,sBAAsB,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC;gBACjD,UAAU,CAAC,eAAe,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;YAC5C,EAAE,CAAC,oBAAoB,CAAC,MAAM,EAAE,KAAK,CAAC;YACtC,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;YAChC,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,EACxB,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAmB;IACjD,OAAO,CACL,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;QAC9C,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAClC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,qBAAqB,CAC7C,CAAC;AACJ,CAAC;AAED,SAAS,8BAA8B,CACrC,SAAuB,EACvB,WAAyC;IAEzC,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE;QACpC,IACE,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;YAC3D,CAAC,UAAU,CAAC,SAAS,EAAE,SAAS,CAAC,EACjC,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,YAAY,GAAG,iBAAiB,CAAC,SAAS,EAAE,qBAAqB,EAAE,SAAS,CAAC,CAAC;QACpF,OAAO,YAAY,KAAK,IAAI,IAAI,6BAA6B,CAAC,YAAY,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,yBAAyB,CAAC,IAAsB;IACvD,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IAC3D,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACjB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,uBAAuB,CAAC,MAAM,CAAC,IAAI,EAAE;QAC1C,MAAM,EAAE,YAAY,CAAC,QAAQ,EAAE;QAC/B,KAAK;QACL,YAAY;QACZ,IAAI,EAAE,UAAU;KACjB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAa,EAAE,MAAc;IACtD,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,IAAI,GAAG,CAAC,IAAa,EAAQ,EAAE;QACnC,IAAI,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,IAAI,MAAM,EAAE,CAAC;YACvC,OAAO;QACT,CAAC;QACD,IAAI,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YACjD,OAAO;QACT,CAAC;QACD,IACE,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAC1B,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACzB,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACzB,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAC5B,CAAC;YACD,KAAK,GAAG,IAAI,CAAC;YACb,OAAO;QACT,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC,CAAC;IACF,IAAI,CAAC,IAAI,CAAC,CAAC;IACX,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/src/rules/async-leaf-status/react-hook-form-adapters.d.ts

@@ -0,0 +1,3 @@
+import type { RuntimeFunctionLike } from "../../core/ast.js";
+export declare function directReactHookFormEventCallbacks(owner: RuntimeFunctionLike): ReadonlySet<RuntimeFunctionLike>;
+//# sourceMappingURL=react-hook-form-adapters.d.ts.map

package/dist/src/rules/async-leaf-status/react-hook-form-adapters.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"react-hook-form-adapters.d.ts","sourceRoot":"","sources":["../../../../src/rules/async-leaf-status/react-hook-form-adapters.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAM7D,wBAAgB,iCAAiC,CAC/C,KAAK,EAAE,mBAAmB,GACzB,WAAW,CAAC,mBAAmB,CAAC,CA4ClC"}

package/dist/src/rules/async-leaf-status/react-hook-form-adapters.js

@@ -0,0 +1,117 @@
+import { bindingDeclarationCount, unwrapTransparentExpression } from "../../core/analysis-ast.js";
+import { jsxAttributeIsIntrinsicEvent } from "./event-rooted-commands.js";
+import { localFunctionBinding } from "../state-proofs/binding-lookup.js";
+import ts from "typescript";
+import { visitSkippingNestedRuntimeFunctions } from "../../core/ast.js";
+export function directReactHookFormEventCallbacks(owner) {
+    const callbacks = new Set();
+    if (!owner.body) {
+        return callbacks;
+    }
+    visitSkippingNestedRuntimeFunctions(owner.body, (node) => {
+        if (!ts.isJsxAttribute(node) ||
+            !/^on[A-Z]/u.test(node.name.getText()) ||
+            !node.initializer ||
+            !ts.isJsxExpression(node.initializer) ||
+            !node.initializer.expression ||
+            !jsxAttributeIsIntrinsicEvent(node)) {
+            return;
+        }
+        const handler = unwrapTransparentExpression(node.initializer.expression);
+        const collectAdapter = (adapter) => {
+            if (!isReactHookFormSubmitAdapter(adapter, owner)) {
+                return;
+            }
+            for (const argument of adapter.arguments) {
+                const candidate = unwrapTransparentExpression(argument);
+                if (ts.isArrowFunction(candidate) || ts.isFunctionExpression(candidate)) {
+                    callbacks.add(candidate);
+                }
+                else if (ts.isIdentifier(candidate)) {
+                    const callback = localFunctionBinding(owner, candidate.text);
+                    if (callback) {
+                        callbacks.add(callback);
+                    }
+                }
+            }
+        };
+        if (ts.isCallExpression(handler)) {
+            collectAdapter(handler);
+        }
+        else if (ts.isArrowFunction(handler) || ts.isFunctionExpression(handler)) {
+            visitSkippingNestedRuntimeFunctions(handler.body, (candidate) => {
+                if (ts.isCallExpression(candidate)) {
+                    collectAdapter(candidate);
+                }
+            });
+        }
+    });
+    return callbacks;
+}
+function isReactHookFormSubmitAdapter(call, owner) {
+    const callee = unwrapTransparentExpression(call.expression);
+    if (ts.isIdentifier(callee)) {
+        return (bindingDeclarationCount(owner, callee.text) === 1 &&
+            ownerHasReactHookFormBinding(owner, callee.text, true));
+    }
+    return (ts.isPropertyAccessExpression(callee) &&
+        callee.name.text === "handleSubmit" &&
+        ts.isIdentifier(callee.expression) &&
+        bindingDeclarationCount(owner, callee.expression.text) === 1 &&
+        ownerHasReactHookFormBinding(owner, callee.expression.text, false));
+}
+function ownerHasReactHookFormBinding(owner, localName, destructuredHandleSubmit) {
+    if (!owner.body) {
+        return false;
+    }
+    let matched = false;
+    visitSkippingNestedRuntimeFunctions(owner.body, (node) => {
+        if (matched ||
+            !ts.isVariableDeclaration(node) ||
+            !node.initializer ||
+            !declarationBindsName(node, localName, destructuredHandleSubmit)) {
+            return;
+        }
+        const initializer = unwrapTransparentExpression(node.initializer);
+        matched =
+            isReactHookFormFactoryCall(initializer, owner) ||
+                (destructuredHandleSubmit &&
+                    ts.isIdentifier(initializer) &&
+                    bindingDeclarationCount(owner, initializer.text) === 1 &&
+                    ownerHasReactHookFormBinding(owner, initializer.text, false));
+    });
+    return matched;
+}
+function declarationBindsName(node, localName, destructuredHandleSubmit) {
+    if (!destructuredHandleSubmit) {
+        return ts.isIdentifier(node.name) && node.name.text === localName;
+    }
+    return (ts.isObjectBindingPattern(node.name) &&
+        node.name.elements.some((candidate) => ts.isIdentifier(candidate.name) &&
+            candidate.name.text === localName &&
+            (candidate.propertyName
+                ? ts.isIdentifier(candidate.propertyName) &&
+                    candidate.propertyName.text === "handleSubmit"
+                : candidate.name.text === "handleSubmit")));
+}
+function isReactHookFormFactoryCall(expression, owner) {
+    const value = unwrapTransparentExpression(expression);
+    if (!ts.isCallExpression(value)) {
+        return false;
+    }
+    const callee = unwrapTransparentExpression(value.expression);
+    if (!ts.isIdentifier(callee) || bindingDeclarationCount(owner, callee.text) !== 0) {
+        return false;
+    }
+    return expression
+        .getSourceFile()
+        .statements.some((statement) => ts.isImportDeclaration(statement) &&
+        ts.isStringLiteral(statement.moduleSpecifier) &&
+        statement.moduleSpecifier.text === "react-hook-form" &&
+        statement.importClause !== undefined &&
+        statement.importClause.namedBindings !== undefined &&
+        ts.isNamedImports(statement.importClause.namedBindings) &&
+        statement.importClause.namedBindings.elements.some((specifier) => specifier.name.text === callee.text &&
+            ["useForm", "useFormContext"].includes(specifier.propertyName?.text ?? specifier.name.text)));
+}
+//# sourceMappingURL=react-hook-form-adapters.js.map

package/dist/src/rules/async-leaf-status/react-hook-form-adapters.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"react-hook-form-adapters.js","sourceRoot":"","sources":["../../../../src/rules/async-leaf-status/react-hook-form-adapters.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AAElG,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,mCAAmC,EAAE,MAAM,mBAAmB,CAAC;AAExE,MAAM,UAAU,iCAAiC,CAC/C,KAA0B;IAE1B,MAAM,SAAS,GAAG,IAAI,GAAG,EAAuB,CAAC;IACjD,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAChB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,mCAAmC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACvD,IACE,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;YACxB,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YACtC,CAAC,IAAI,CAAC,WAAW;YACjB,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC;YACrC,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU;YAC5B,CAAC,4BAA4B,CAAC,IAAI,CAAC,EACnC,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,OAAO,GAAG,2BAA2B,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;QACzE,MAAM,cAAc,GAAG,CAAC,OAA0B,EAAQ,EAAE;YAC1D,IAAI,CAAC,4BAA4B,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;gBAClD,OAAO;YACT,CAAC;YACD,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;gBACzC,MAAM,SAAS,GAAG,2BAA2B,CAAC,QAAQ,CAAC,CAAC;gBACxD,IAAI,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,SAAS,CAAC,EAAE,CAAC;oBACxE,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBAC3B,CAAC;qBAAM,IAAI,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,CAAC;oBACtC,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;oBAC7D,IAAI,QAAQ,EAAE,CAAC;wBACb,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;oBAC1B,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC,CAAC;QACF,IAAI,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;YACjC,cAAc,CAAC,OAAO,CAAC,CAAC;QAC1B,CAAC;aAAM,IAAI,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3E,mCAAmC,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,SAAS,EAAE,EAAE;gBAC9D,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;oBACnC,cAAc,CAAC,SAAS,CAAC,CAAC;gBAC5B,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,4BAA4B,CACnC,IAAuB,EACvB,KAA0B;IAE1B,MAAM,MAAM,GAAG,2BAA2B,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC5D,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,OAAO,CACL,uBAAuB,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;YACjD,4BAA4B,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CACvD,CAAC;IACJ,CAAC;IACD,OAAO,CACL,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QACrC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc;QACnC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC;QAClC,uBAAuB,CAAC,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;QAC5D,4BAA4B,CAAC,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CACnE,CAAC;AACJ,CAAC;AAED,SAAS,4BAA4B,CACnC,KAA0B,EAC1B,SAAiB,EACjB,wBAAiC;IAEjC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAChB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,mCAAmC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACvD,IACE,OAAO;YACP,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC/B,CAAC,IAAI,CAAC,WAAW;YACjB,CAAC,oBAAoB,CAAC,IAAI,EAAE,SAAS,EAAE,wBAAwB,CAAC,EAChE,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,WAAW,GAAG,2BAA2B,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAClE,OAAO;YACL,0BAA0B,CAAC,WAAW,EAAE,KAAK,CAAC;gBAC9C,CAAC,wBAAwB;oBACvB,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC;oBAC5B,uBAAuB,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC;oBACtD,4BAA4B,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,oBAAoB,CAC3B,IAA4B,EAC5B,SAAiB,EACjB,wBAAiC;IAEjC,IAAI,CAAC,wBAAwB,EAAE,CAAC;QAC9B,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;IACpE,CAAC;IACD,OAAO,CACL,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC;QACpC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CACrB,CAAC,SAAS,EAAE,EAAE,CACZ,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC;YAC/B,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;YACjC,CAAC,SAAS,CAAC,YAAY;gBACrB,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,YAAY,CAAC;oBACvC,SAAS,CAAC,YAAY,CAAC,IAAI,KAAK,cAAc;gBAChD,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC,CAC9C,CACF,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CACjC,UAAyB,EACzB,KAA0B;IAE1B,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,2BAA2B,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAC7D,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,uBAAuB,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAClF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,UAAU;SACd,aAAa,EAAE;SACf,UAAU,CAAC,IAAI,CACd,CAAC,SAAS,EAAE,EAAE,CACZ,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;QACjC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,eAAe,CAAC;QAC7C,SAAS,CAAC,eAAe,CAAC,IAAI,KAAK,iBAAiB;QACpD,SAAS,CAAC,YAAY,KAAK,SAAS;QACpC,SAAS,CAAC,YAAY,CAAC,aAAa,KAAK,SAAS;QAClD,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC,YAAY,CAAC,aAAa,CAAC;QACvD,SAAS,CAAC,YAAY,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,CAChD,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI;YACnC,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC,QAAQ,CACpC,SAAS,CAAC,YAAY,EAAE,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CACpD,CACJ,CACJ,CAAC;AACN,CAAC"}

package/dist/src/rules/browser-storage-effect.d.ts

@@ -0,0 +1,6 @@
+import type { EffectCandidate } from "../analysis/model.js";
+export type BrowserStorage = "localStorage" | "sessionStorage";
+/** The storages a proven persistence effect writes, in source order without repeats. */
+export declare function browserStoragesWritten(effect: EffectCandidate): readonly BrowserStorage[];
+export declare function isDependencyDrivenBrowserStorageEffect(effect: EffectCandidate): boolean;
+//# sourceMappingURL=browser-storage-effect.d.ts.map

package/dist/src/rules/browser-storage-effect.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"browser-storage-effect.d.ts","sourceRoot":"","sources":["../../../src/rules/browser-storage-effect.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAK5D,MAAM,MAAM,cAAc,GAAG,cAAc,GAAG,gBAAgB,CAAC;AAK/D,wFAAwF;AACxF,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,eAAe,GAAG,SAAS,cAAc,EAAE,CAkBzF;AAED,wBAAgB,sCAAsC,CAAC,MAAM,EAAE,eAAe,GAAG,OAAO,CAiCvF"}