@typeonce/oxlint-plugin-effect-machine 0.26.1 → 0.27.0

package/dist/internal/planning.js

@@ -1,3 +1,4 @@
+import { unwrapExpression } from "./ast.js";
 import { isMachineHandleCall, isMachineMakeCall, staticMemberName } from "./imports.js";
 const directPlanningMethods = new Set([
     "onDone",
@@ -11,7 +12,10 @@ const statePlanningProperties = new Set([
     "choice",
     "entry",
     "exit",
-    "invoke"
+    "initialize",
+    "invoke",
+    "onDone",
+    "output"
 ]);
 const propertyName = (node) => {
     if (node.type !== "Property" || node.computed)
@@ -47,6 +51,21 @@ const isEventHandlerProperty = (node, bindings) => {
         onProperty.parent.type === "ObjectExpression" &&
         isStateConfig(onProperty.parent, bindings);
 };
+const isHistoryDefaultProperty = (node, bindings) => {
+    if (node.type !== "Property" || propertyName(node) !== "default")
+        return false;
+    const historyEntry = node.parent;
+    if (historyEntry.type !== "ObjectExpression" ||
+        historyEntry.parent.type !== "Property" ||
+        historyEntry.parent.parent.type !== "ObjectExpression")
+        return false;
+    const historyEntries = historyEntry.parent.parent;
+    if (historyEntries.parent.type !== "Property" ||
+        propertyName(historyEntries.parent) !== "history" ||
+        historyEntries.parent.parent.type !== "ObjectExpression")
+        return false;
+    return isStateConfig(historyEntries.parent.parent, bindings);
+};
 const isPropertyPlanningCallback = (node, bindings) => {
     const property = node.parent;
     if (property.type !== "Property" ||
@@ -57,9 +76,10 @@ const isPropertyPlanningCallback = (node, bindings) => {
     return name === "initial"
         ? isMachineMakeConfig(property.parent, bindings)
         : (name !== undefined && statePlanningProperties.has(name) && isStateConfig(property.parent, bindings)) ||
-            isEventHandlerProperty(property, bindings);
+            isEventHandlerProperty(property, bindings) ||
+            isHistoryDefaultProperty(property, bindings);
 };
-const enclosingFunction = (node) => {
+export const enclosingFunction = (node) => {
     let current = node.parent;
     while (current !== null && current.type !== "Program") {
         if (current.type === "ArrowFunctionExpression" ||
@@ -69,17 +89,44 @@ const enclosingFunction = (node) => {
     }
     return undefined;
 };
+const selectorRoot = (node) => {
+    let expression = unwrapExpression(node);
+    while (expression.type === "CallExpression" || expression.type === "MemberExpression") {
+        expression = unwrapExpression(expression.type === "CallExpression"
+            ? expression.callee
+            : expression.object);
+    }
+    return expression.type === "Identifier" ? expression.name : undefined;
+};
+export const enclosingPlanningCallback = (node, bindings) => {
+    const callback = enclosingFunction(node);
+    return callback !== undefined && isPlanningCallback(callback, bindings)
+        ? callback
+        : undefined;
+};
+export const isInvokePlanningCallback = (node, bindings) => {
+    const property = node.parent;
+    return property.type === "Property" &&
+        property.value === node &&
+        propertyName(property) === "invoke" &&
+        property.parent.type === "ObjectExpression" &&
+        isStateConfig(property.parent, bindings);
+};
 export const isPlanningCallback = (node, bindings) => {
     if (isPropertyPlanningCallback(node, bindings))
         return true;
     const parent = node.parent;
     if (parent.type === "CallExpression" && parent.arguments.includes(node)) {
-        const method = parent.callee.type === "MemberExpression"
-            ? staticMemberName(parent.callee)
-            : undefined;
+        if (parent.callee.type !== "MemberExpression")
+            return false;
+        const method = staticMemberName(parent.callee);
         if (method !== undefined && directPlanningMethods.has(method)) {
             const owner = enclosingFunction(parent);
-            return owner !== undefined && isPlanningCallback(owner, bindings);
+            const selector = owner?.params[0];
+            return owner !== undefined &&
+                selector?.type === "Identifier" &&
+                selectorRoot(parent.callee.object) === selector.name &&
+                isPlanningCallback(owner, bindings);
         }
     }
     return false;

package/dist/internal/planning.js.map

@@ -1 +1 @@
-{"version":3,"file":"planning.js","sourceRoot":"","sources":["../../src/internal/planning.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAwB,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAI7G,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC;IACpC,QAAQ;IACR,WAAW;IACX,WAAW;IACX,YAAY;IACZ,SAAS;CACV,CAAC,CAAA;AAEF,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAC;IACtC,QAAQ;IACR,QAAQ;IACR,OAAO;IACP,MAAM;IACN,QAAQ;CACT,CAAC,CAAA;AAEF,MAAM,YAAY,GAAG,CAAC,IAAiB,EAAsB,EAAE;IAC7D,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAA;IAC/D,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS;QAClE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;QACzE,CAAC,CAAC,SAAS,CAAA;AACf,CAAC,CAAA;AAED,MAAM,cAAc,GAAG,CACrB,IAA6B,EAC7B,SAAmD,EAC1C,EAAE,CACX,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,gBAAgB;IACrC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC;IACpC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;AAExB,MAAM,mBAAmB,GAAG,CAC1B,IAA6B,EAC7B,QAAyB,EAChB,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAA;AAE/E,MAAM,qBAAqB,GAAG,CAC5B,IAA6B,EAC7B,QAAyB,EAChB,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAA;AAEjF,MAAM,aAAa,GAAG,CACpB,IAA6B,EAC7B,QAAyB,EAChB,EAAE;IACX,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACtF,OAAO,KAAK,CAAA;IACd,CAAC;IAED,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAA;IAC1C,IAAI,qBAAqB,CAAC,eAAe,EAAE,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAA;IACjE,IACE,eAAe,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU;QAC1C,YAAY,CAAC,eAAe,CAAC,MAAM,CAAC,KAAK,QAAQ;QACjD,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB;QACzD,OAAO,KAAK,CAAA;IACd,OAAO,aAAa,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;AAC/D,CAAC,CAAA;AAED,MAAM,sBAAsB,GAAG,CAC7B,IAAiB,EACjB,QAAyB,EAChB,EAAE;IACX,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB;QAAE,OAAO,KAAK,CAAA;IACrF,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAA;IACrC,OAAO,UAAU,CAAC,IAAI,KAAK,UAAU;QACnC,YAAY,CAAC,UAAU,CAAC,KAAK,IAAI;QACjC,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB;QAC7C,aAAa,CAAC,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;AAC9C,CAAC,CAAA;AAED,MAAM,0BAA0B,GAAG,CACjC,IAAsB,EACtB,QAAyB,EAChB,EAAE;IACX,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAA;IAC5B,IACE,QAAQ,CAAC,IAAI,KAAK,UAAU;QAC5B,QAAQ,CAAC,KAAK,KAAK,IAAI;QACvB,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB;QAC3C,OAAO,KAAK,CAAA;IAEd,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAA;IACnC,OAAO,IAAI,KAAK,SAAS;QACvB,CAAC,CAAC,mBAAmB,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;QAChD,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;YACrG,sBAAsB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;AAChD,CAAC,CAAA;AAED,MAAM,iBAAiB,GAAG,CAAC,IAAiB,EAAgC,EAAE;IAC5E,IAAI,OAAO,GAAuB,IAAI,CAAC,MAAM,CAAA;IAC7C,OAAO,OAAO,KAAK,IAAI,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACtD,IACE,OAAO,CAAC,IAAI,KAAK,yBAAyB;YAC1C,OAAO,CAAC,IAAI,KAAK,oBAAoB;YACrC,OAAO,OAAO,CAAA;QAChB,OAAO,GAAG,OAAO,CAAC,MAAM,CAAA;IAC1B,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAsB,EACtB,QAAyB,EAChB,EAAE;IACX,IAAI,0BAA0B,CAAC,IAAI,EAAE,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAA;IAE3D,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAA;IAC1B,IAAI,MAAM,CAAC,IAAI,KAAK,gBAAgB,IAAI,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACxE,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB;YACtD,CAAC,CAAC,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;YACjC,CAAC,CAAC,SAAS,CAAA;QACb,IAAI,MAAM,KAAK,SAAS,IAAI,qBAAqB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9D,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAA;YACvC,OAAO,KAAK,KAAK,SAAS,IAAI,kBAAkB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;QACnE,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC,CAAA"}
+{"version":3,"file":"planning.js","sourceRoot":"","sources":["../../src/internal/planning.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAA;AAC3C,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAwB,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAI7G,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC;IACpC,QAAQ;IACR,WAAW;IACX,WAAW;IACX,YAAY;IACZ,SAAS;CACV,CAAC,CAAA;AAEF,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAC;IACtC,QAAQ;IACR,QAAQ;IACR,OAAO;IACP,MAAM;IACN,YAAY;IACZ,QAAQ;IACR,QAAQ;IACR,QAAQ;CACT,CAAC,CAAA;AAEF,MAAM,YAAY,GAAG,CAAC,IAAiB,EAAsB,EAAE;IAC7D,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAA;IAC/D,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS;QAClE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;QACzE,CAAC,CAAC,SAAS,CAAA;AACf,CAAC,CAAA;AAED,MAAM,cAAc,GAAG,CACrB,IAA6B,EAC7B,SAAmD,EAC1C,EAAE,CACX,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,gBAAgB;IACrC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC;IACpC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;AAExB,MAAM,mBAAmB,GAAG,CAC1B,IAA6B,EAC7B,QAAyB,EAChB,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAA;AAE/E,MAAM,qBAAqB,GAAG,CAC5B,IAA6B,EAC7B,QAAyB,EAChB,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAA;AAEjF,MAAM,aAAa,GAAG,CACpB,IAA6B,EAC7B,QAAyB,EAChB,EAAE;IACX,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACtF,OAAO,KAAK,CAAA;IACd,CAAC;IAED,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAA;IAC1C,IAAI,qBAAqB,CAAC,eAAe,EAAE,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAA;IACjE,IACE,eAAe,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU;QAC1C,YAAY,CAAC,eAAe,CAAC,MAAM,CAAC,KAAK,QAAQ;QACjD,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB;QACzD,OAAO,KAAK,CAAA;IACd,OAAO,aAAa,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;AAC/D,CAAC,CAAA;AAED,MAAM,sBAAsB,GAAG,CAC7B,IAAiB,EACjB,QAAyB,EAChB,EAAE;IACX,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB;QAAE,OAAO,KAAK,CAAA;IACrF,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAA;IACrC,OAAO,UAAU,CAAC,IAAI,KAAK,UAAU;QACnC,YAAY,CAAC,UAAU,CAAC,KAAK,IAAI;QACjC,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB;QAC7C,aAAa,CAAC,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;AAC9C,CAAC,CAAA;AAED,MAAM,wBAAwB,GAAG,CAC/B,IAAiB,EACjB,QAAyB,EAChB,EAAE;IACX,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,KAAK,CAAA;IAC9E,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAA;IAChC,IACE,YAAY,CAAC,IAAI,KAAK,kBAAkB;QACxC,YAAY,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU;QACvC,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB;QACtD,OAAO,KAAK,CAAA;IACd,MAAM,cAAc,GAAG,YAAY,CAAC,MAAM,CAAC,MAAM,CAAA;IACjD,IACE,cAAc,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU;QACzC,YAAY,CAAC,cAAc,CAAC,MAAM,CAAC,KAAK,SAAS;QACjD,cAAc,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB;QACxD,OAAO,KAAK,CAAA;IACd,OAAO,aAAa,CAAC,cAAc,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;AAC9D,CAAC,CAAA;AAED,MAAM,0BAA0B,GAAG,CACjC,IAAsB,EACtB,QAAyB,EAChB,EAAE;IACX,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAA;IAC5B,IACE,QAAQ,CAAC,IAAI,KAAK,UAAU;QAC5B,QAAQ,CAAC,KAAK,KAAK,IAAI;QACvB,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB;QAC3C,OAAO,KAAK,CAAA;IAEd,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAA;IACnC,OAAO,IAAI,KAAK,SAAS;QACvB,CAAC,CAAC,mBAAmB,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;QAChD,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;YACrG,sBAAsB,CAAC,QAAQ,EAAE,QAAQ,CAAC;YAC1C,wBAAwB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;AAClD,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,IAAiB,EAAgC,EAAE;IACnF,IAAI,OAAO,GAAuB,IAAI,CAAC,MAAM,CAAA;IAC7C,OAAO,OAAO,KAAK,IAAI,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACtD,IACE,OAAO,CAAC,IAAI,KAAK,yBAAyB;YAC1C,OAAO,CAAC,IAAI,KAAK,oBAAoB;YACrC,OAAO,OAAO,CAAA;QAChB,OAAO,GAAG,OAAO,CAAC,MAAM,CAAA;IAC1B,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA;AAED,MAAM,YAAY,GAAG,CAAC,IAAuB,EAAsB,EAAE;IACnE,IAAI,UAAU,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAA;IACvC,OAAO,UAAU,CAAC,IAAI,KAAK,gBAAgB,IAAI,UAAU,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACtF,UAAU,GAAG,gBAAgB,CAC3B,UAAU,CAAC,IAAI,KAAK,gBAAgB;YAClC,CAAC,CAAC,UAAU,CAAC,MAAM;YACnB,CAAC,CAAC,UAAU,CAAC,MAAM,CACtB,CAAA;IACH,CAAC;IACD,OAAO,UAAU,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAA;AACvE,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,IAAiB,EACjB,QAAyB,EACK,EAAE;IAChC,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAA;IACxC,OAAO,QAAQ,KAAK,SAAS,IAAI,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,CAAC;QACrE,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,SAAS,CAAA;AACf,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAAsB,EACtB,QAAyB,EAChB,EAAE;IACX,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAA;IAC5B,OAAO,QAAQ,CAAC,IAAI,KAAK,UAAU;QACjC,QAAQ,CAAC,KAAK,KAAK,IAAI;QACvB,YAAY,CAAC,QAAQ,CAAC,KAAK,QAAQ;QACnC,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB;QAC3C,aAAa,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;AAC5C,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAsB,EACtB,QAAyB,EAChB,EAAE;IACX,IAAI,0BAA0B,CAAC,IAAI,EAAE,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAA;IAE3D,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAA;IAC1B,IAAI,MAAM,CAAC,IAAI,KAAK,gBAAgB,IAAI,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACxE,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB;YAAE,OAAO,KAAK,CAAA;QAC3D,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;QAC9C,IAAI,MAAM,KAAK,SAAS,IAAI,qBAAqB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9D,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAA;YACvC,MAAM,QAAQ,GAAG,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAA;YACjC,OAAO,KAAK,KAAK,SAAS;gBACxB,QAAQ,EAAE,IAAI,KAAK,YAAY;gBAC/B,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC,IAAI;gBACpD,kBAAkB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;QACvC,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC,CAAA"}

package/dist/internal/rules/noAsyncPlanningCallback.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"noAsyncPlanningCallback.d.ts","sourceRoot":"","sources":["../../../src/internal/rules/noAsyncPlanningCallback.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AAI3C,eAAO,MAAM,uBAAuB,EAAE,IA8BrC,CAAA"}
+{"version":3,"file":"noAsyncPlanningCallback.d.ts","sourceRoot":"","sources":["../../../src/internal/rules/noAsyncPlanningCallback.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAU,IAAI,EAAE,MAAM,iBAAiB,CAAA;AAKnD,eAAO,MAAM,uBAAuB,EAAE,IA8CrC,CAAA"}

package/dist/internal/rules/noAsyncPlanningCallback.js

@@ -1,5 +1,6 @@
+import { asyncOperation } from "../ambient.js";
 import { hasMachineImport, makeMachineBindings, recordMachineDefinition, recordMachineImport } from "../imports.js";
-import { isPlanningCallback } from "../planning.js";
+import { enclosingPlanningCallback, isPlanningCallback } from "../planning.js";
 export const noAsyncPlanningCallback = {
     meta: {
         type: "problem",
@@ -9,7 +10,8 @@ export const noAsyncPlanningCallback = {
         },
         schema: [],
         messages: {
-            asyncPlanning: "Planning callbacks must be synchronous. Move asynchronous work into state-owned invocation."
+            asyncOperation: "{{operation}} starts asynchronous work during synchronous planning. Move it into the owning state's invoke declaration using from.effect(...), from.stream(...), or from.timer(...), then handle completion or failure with onDone/onFailure.",
+            asyncPlanning: "Planning callbacks must be synchronous. Remove async and move the asynchronous work into the owning state's invoke declaration, then transition from onDone/onFailure."
         }
     },
     create(context) {
@@ -21,11 +23,24 @@ export const noAsyncPlanningCallback = {
                 context.report({ node, messageId: "asyncPlanning" });
             }
         };
+        const inspectOperation = (node) => {
+            if (!hasMachineImport(bindings))
+                return;
+            const callback = enclosingPlanningCallback(node, bindings);
+            if (callback === undefined || callback.async)
+                return;
+            const operation = asyncOperation(context, node);
+            if (operation !== undefined) {
+                context.report({ node, messageId: "asyncOperation", data: { operation } });
+            }
+        };
         return {
             ImportDeclaration: (node) => recordMachineImport(bindings, node),
             VariableDeclarator: (node) => recordMachineDefinition(bindings, node),
             ArrowFunctionExpression: inspect,
-            FunctionExpression: inspect
+            FunctionExpression: inspect,
+            CallExpression: inspectOperation,
+            NewExpression: inspectOperation
         };
     }
 };

package/dist/internal/rules/noAsyncPlanningCallback.js.map

@@ -1 +1 @@
-{"version":3,"file":"noAsyncPlanningCallback.js","sourceRoot":"","sources":["../../../src/internal/rules/noAsyncPlanningCallback.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,uBAAuB,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAA;AACnH,OAAO,EAAE,kBAAkB,EAAyB,MAAM,gBAAgB,CAAA;AAE1E,MAAM,CAAC,MAAM,uBAAuB,GAAS;IAC3C,IAAI,EAAE;QACJ,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,WAAW,EAAE,qDAAqD;YAClE,WAAW,EAAE,IAAI;SAClB;QACD,MAAM,EAAE,EAAE;QACV,QAAQ,EAAE;YACR,aAAa,EAAE,6FAA6F;SAC7G;KACF;IACD,MAAM,CAAC,OAAO;QACZ,MAAM,QAAQ,GAAG,mBAAmB,EAAE,CAAA;QACtC,MAAM,OAAO,GAAG,CAAC,IAAsB,EAAQ,EAAE;YAC/C,IACE,gBAAgB,CAAC,QAAQ,CAAC;gBAC1B,IAAI,CAAC,KAAK;gBACV,kBAAkB,CAAC,IAAI,EAAE,QAAQ,CAAC,EAClC,CAAC;gBACD,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,eAAe,EAAE,CAAC,CAAA;YACtD,CAAC;QACH,CAAC,CAAA;QACD,OAAO;YACL,iBAAiB,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,QAAQ,EAAE,IAAI,CAAC;YAChE,kBAAkB,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,uBAAuB,CAAC,QAAQ,EAAE,IAAI,CAAC;YACrE,uBAAuB,EAAE,OAAO;YAChC,kBAAkB,EAAE,OAAO;SAC5B,CAAA;IACH,CAAC;CACF,CAAA"}
+{"version":3,"file":"noAsyncPlanningCallback.js","sourceRoot":"","sources":["../../../src/internal/rules/noAsyncPlanningCallback.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAC9C,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,uBAAuB,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAA;AACnH,OAAO,EAAE,yBAAyB,EAAE,kBAAkB,EAAyB,MAAM,gBAAgB,CAAA;AAErG,MAAM,CAAC,MAAM,uBAAuB,GAAS;IAC3C,IAAI,EAAE;QACJ,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,WAAW,EAAE,qDAAqD;YAClE,WAAW,EAAE,IAAI;SAClB;QACD,MAAM,EAAE,EAAE;QACV,QAAQ,EAAE;YACR,cAAc,EACZ,+OAA+O;YACjP,aAAa,EACX,wKAAwK;SAC3K;KACF;IACD,MAAM,CAAC,OAAO;QACZ,MAAM,QAAQ,GAAG,mBAAmB,EAAE,CAAA;QACtC,MAAM,OAAO,GAAG,CAAC,IAAsB,EAAQ,EAAE;YAC/C,IACE,gBAAgB,CAAC,QAAQ,CAAC;gBAC1B,IAAI,CAAC,KAAK;gBACV,kBAAkB,CAAC,IAAI,EAAE,QAAQ,CAAC,EAClC,CAAC;gBACD,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,eAAe,EAAE,CAAC,CAAA;YACtD,CAAC;QACH,CAAC,CAAA;QACD,MAAM,gBAAgB,GAAG,CACvB,IAAkD,EAC5C,EAAE;YACR,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC;gBAAE,OAAM;YACvC,MAAM,QAAQ,GAAG,yBAAyB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;YAC1D,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,KAAK;gBAAE,OAAM;YACpD,MAAM,SAAS,GAAG,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;YAC/C,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,gBAAgB,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,EAAE,CAAC,CAAA;YAC5E,CAAC;QACH,CAAC,CAAA;QACD,OAAO;YACL,iBAAiB,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,QAAQ,EAAE,IAAI,CAAC;YAChE,kBAAkB,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,uBAAuB,CAAC,QAAQ,EAAE,IAAI,CAAC;YACrE,uBAAuB,EAAE,OAAO;YAChC,kBAAkB,EAAE,OAAO;YAC3B,cAAc,EAAE,gBAAgB;YAChC,aAAa,EAAE,gBAAgB;SAChC,CAAA;IACH,CAAC;CACF,CAAA"}

package/dist/internal/rules/noBrowserApiInPlanning.d.ts

@@ -0,0 +1,3 @@
+import type { Rule } from "@oxlint/plugins";
+export declare const noBrowserApiInPlanning: Rule;
+//# sourceMappingURL=noBrowserApiInPlanning.d.ts.map

package/dist/internal/rules/noBrowserApiInPlanning.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"noBrowserApiInPlanning.d.ts","sourceRoot":"","sources":["../../../src/internal/rules/noBrowserApiInPlanning.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAU,IAAI,EAAE,MAAM,iBAAiB,CAAA;AAenD,eAAO,MAAM,sBAAsB,EAAE,IAyCpC,CAAA"}

package/dist/internal/rules/noBrowserApiInPlanning.js

@@ -0,0 +1,54 @@
+import { browserApi } from "../ambient.js";
+import { hasMachineImport, makeMachineBindings, recordMachineDefinition, recordMachineImport } from "../imports.js";
+import { enclosingPlanningCallback } from "../planning.js";
+const isOutermostAccess = (node) => {
+    const parent = node.parent;
+    if (parent.type === "MemberExpression" && parent.object === node)
+        return false;
+    if ((parent.type === "CallExpression" || parent.type === "NewExpression") &&
+        parent.callee === node)
+        return false;
+    return true;
+};
+export const noBrowserApiInPlanning = {
+    meta: {
+        type: "problem",
+        docs: {
+            description: "Keep browser state and side effects out of Effect Machine planning.",
+            recommended: true
+        },
+        schema: [],
+        messages: {
+            browserApi: "{{api}} reads browser state or performs a browser side effect during synchronous planning. If it affects the workflow, run it in a state-owned invocation and transition from its outcome. If it only affects presentation, keep it in the UI adapter."
+        }
+    },
+    create(context) {
+        const bindings = makeMachineBindings();
+        const inspect = (node) => {
+            if (!hasMachineImport(bindings) ||
+                !isOutermostAccess(node) ||
+                enclosingPlanningCallback(node, bindings) === undefined)
+                return;
+            const api = browserApi(context, node);
+            if (api !== undefined)
+                context.report({ node, messageId: "browserApi", data: { api } });
+        };
+        const inspectOperation = (node) => {
+            if (!hasMachineImport(bindings) ||
+                enclosingPlanningCallback(node, bindings) === undefined)
+                return;
+            const api = browserApi(context, node.callee);
+            if (api !== undefined)
+                context.report({ node, messageId: "browserApi", data: { api } });
+        };
+        return {
+            ImportDeclaration: (node) => recordMachineImport(bindings, node),
+            Identifier: (node) => inspect(node),
+            MemberExpression: inspect,
+            CallExpression: inspectOperation,
+            NewExpression: inspectOperation,
+            VariableDeclarator: (node) => recordMachineDefinition(bindings, node)
+        };
+    }
+};
+//# sourceMappingURL=noBrowserApiInPlanning.js.map

package/dist/internal/rules/noBrowserApiInPlanning.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"noBrowserApiInPlanning.js","sourceRoot":"","sources":["../../../src/internal/rules/noBrowserApiInPlanning.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AAC1C,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,uBAAuB,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAA;AACnH,OAAO,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAA;AAE1D,MAAM,iBAAiB,GAAG,CAAC,IAAuB,EAAW,EAAE;IAC7D,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAA;IAC1B,IAAI,MAAM,CAAC,IAAI,KAAK,kBAAkB,IAAI,MAAM,CAAC,MAAM,KAAK,IAAI;QAAE,OAAO,KAAK,CAAA;IAC9E,IACE,CAAC,MAAM,CAAC,IAAI,KAAK,gBAAgB,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,CAAC;QACrE,MAAM,CAAC,MAAM,KAAK,IAAI;QACtB,OAAO,KAAK,CAAA;IACd,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,sBAAsB,GAAS;IAC1C,IAAI,EAAE;QACJ,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,WAAW,EAAE,qEAAqE;YAClF,WAAW,EAAE,IAAI;SAClB;QACD,MAAM,EAAE,EAAE;QACV,QAAQ,EAAE;YACR,UAAU,EACR,wPAAwP;SAC3P;KACF;IACD,MAAM,CAAC,OAAO;QACZ,MAAM,QAAQ,GAAG,mBAAmB,EAAE,CAAA;QACtC,MAAM,OAAO,GAAG,CAAC,IAAuB,EAAQ,EAAE;YAChD,IACE,CAAC,gBAAgB,CAAC,QAAQ,CAAC;gBAC3B,CAAC,iBAAiB,CAAC,IAAI,CAAC;gBACxB,yBAAyB,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,SAAS;gBACvD,OAAM;YACR,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;YACrC,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,CAAA;QACzF,CAAC,CAAA;QACD,MAAM,gBAAgB,GAAG,CAAC,IAAkD,EAAQ,EAAE;YACpF,IACE,CAAC,gBAAgB,CAAC,QAAQ,CAAC;gBAC3B,yBAAyB,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,SAAS;gBACvD,OAAM;YACR,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;YAC5C,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,CAAA;QACzF,CAAC,CAAA;QACD,OAAO;YACL,iBAAiB,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,QAAQ,EAAE,IAAI,CAAC;YAChE,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAkC,CAAC;YACjE,gBAAgB,EAAE,OAAO;YACzB,cAAc,EAAE,gBAAgB;YAChC,aAAa,EAAE,gBAAgB;YAC/B,kBAAkB,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,uBAAuB,CAAC,QAAQ,EAAE,IAAI,CAAC;SACtE,CAAA;IACH,CAAC;CACF,CAAA"}

package/dist/internal/rules/noConflictingInvocationIdentity.d.ts

@@ -0,0 +1,3 @@
+import type { Rule } from "@oxlint/plugins";
+export declare const noConflictingInvocationIdentity: Rule;
+//# sourceMappingURL=noConflictingInvocationIdentity.d.ts.map

package/dist/internal/rules/noConflictingInvocationIdentity.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"noConflictingInvocationIdentity.d.ts","sourceRoot":"","sources":["../../../src/internal/rules/noConflictingInvocationIdentity.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAmB,IAAI,EAAY,MAAM,iBAAiB,CAAA;AA8QtE,eAAO,MAAM,+BAA+B,EAAE,IAwE7C,CAAA"}

package/dist/internal/rules/noConflictingInvocationIdentity.js

@@ -0,0 +1,289 @@
+import { resolvedVariable, unwrapExpression } from "../ast.js";
+import { hasMachineImport, isMachineMemberCall, makeMachineBindings, recordMachineDefinition, recordMachineImport, staticMemberName } from "../imports.js";
+import { isInvokePlanningCallback } from "../planning.js";
+const completionMethods = new Set(["onDone", "onElement", "onFailure", "onSnapshot"]);
+const sourceMethods = new Set(["effect", "logic", "stream", "timer"]);
+const variableKey = (variable) => {
+    const identifier = variable.identifiers[0];
+    return identifier === undefined ? undefined : `binding:${identifier.range[0]}:${identifier.range[1]}`;
+};
+const isStableVariable = (variable) => variable.defs.some((definition) => definition.type === "ImportBinding" ||
+    (definition.type === "Variable" &&
+        definition.node.type === "VariableDeclarator" &&
+        definition.node.parent.type === "VariableDeclaration" &&
+        definition.node.parent.kind === "const"));
+const constInitializer = (variable) => {
+    const definition = variable.defs.find((candidate) => candidate.type === "Variable");
+    const declaration = definition?.node;
+    if (declaration?.type !== "VariableDeclarator" ||
+        declaration.parent.type !== "VariableDeclaration" ||
+        declaration.parent.kind !== "const" ||
+        declaration.init === null)
+        return undefined;
+    return declaration.init;
+};
+const staticIdentity = (context, node, bindings, seen = new Set()) => {
+    const expression = unwrapExpression(node);
+    if (expression.type === "Literal" &&
+        (typeof expression.value === "string" || typeof expression.value === "number")) {
+        return {
+            key: `value:${String(expression.value)}`,
+            label: JSON.stringify(expression.value),
+            node: expression
+        };
+    }
+    if (expression.type === "TemplateLiteral" && expression.expressions.length === 0) {
+        const value = expression.quasis[0]?.value.cooked;
+        return value === null || value === undefined
+            ? undefined
+            : { key: `value:${value}`, label: JSON.stringify(value), node: expression };
+    }
+    if (expression.type === "Identifier") {
+        const variable = resolvedVariable(context, expression);
+        if (variable === undefined || !isStableVariable(variable))
+            return undefined;
+        const key = variableKey(variable);
+        if (key === undefined || seen.has(key))
+            return undefined;
+        const initializer = constInitializer(variable);
+        if (initializer !== undefined) {
+            const nextSeen = new Set(seen);
+            nextSeen.add(key);
+            const initialized = staticIdentity(context, initializer, bindings, nextSeen);
+            if (initialized !== undefined)
+                return { ...initialized, node: expression };
+        }
+        return { key, label: expression.name, node: expression };
+    }
+    if (isMachineMemberCall(expression, "childAddress", bindings)) {
+        const argument = expression.arguments[0];
+        if (expression.arguments.length === 1 && argument !== undefined && argument.type !== "SpreadElement") {
+            return staticIdentity(context, argument, bindings, seen);
+        }
+    }
+    return undefined;
+};
+const descriptorIdentity = (context, node, bindings, seen = new Set()) => {
+    const expression = unwrapExpression(node);
+    if (expression.type === "Identifier") {
+        const variable = resolvedVariable(context, expression);
+        if (variable === undefined || !isStableVariable(variable))
+            return undefined;
+        const key = variableKey(variable);
+        if (key === undefined || seen.has(key))
+            return undefined;
+        const initializer = constInitializer(variable);
+        if (initializer !== undefined) {
+            const nextSeen = new Set(seen);
+            nextSeen.add(key);
+            const initialized = descriptorIdentity(context, initializer, bindings, nextSeen);
+            if (initialized !== undefined)
+                return { ...initialized, node: expression };
+        }
+        return { key: `descriptor:${key}`, label: expression.name, node: expression };
+    }
+    if (isMachineMemberCall(expression, "child", bindings)) {
+        const argument = expression.arguments[0];
+        if (argument !== undefined && argument.type !== "SpreadElement") {
+            return staticIdentity(context, argument, bindings);
+        }
+    }
+    return undefined;
+};
+const objectProperty = (object, name) => {
+    for (const property of object.properties) {
+        if (property.type !== "Property" || property.kind !== "init")
+            continue;
+        const propertyName = property.computed
+            ? property.key.type === "Literal" && typeof property.key.value === "string"
+                ? property.key.value
+                : undefined
+            : property.key.type === "Identifier" || property.key.type === "Literal"
+                ? String(property.key.type === "Identifier" ? property.key.name : property.key.value)
+                : undefined;
+        if (propertyName === name)
+            return property.value;
+    }
+    return undefined;
+};
+const resolvedObject = (context, node, seen = new Set()) => {
+    const expression = unwrapExpression(node);
+    if (expression.type === "ObjectExpression")
+        return expression;
+    if (expression.type !== "Identifier")
+        return undefined;
+    const variable = resolvedVariable(context, expression);
+    if (variable === undefined)
+        return undefined;
+    const key = variableKey(variable);
+    if (key === undefined || seen.has(key))
+        return undefined;
+    const initializer = constInitializer(variable);
+    if (initializer === undefined)
+        return undefined;
+    const nextSeen = new Set(seen);
+    nextSeen.add(key);
+    return resolvedObject(context, initializer, nextSeen);
+};
+const sourceCall = (node) => {
+    let expression = unwrapExpression(node);
+    while (expression.type === "CallExpression" &&
+        expression.callee.type === "MemberExpression" &&
+        completionMethods.has(staticMemberName(expression.callee) ?? ""))
+        expression = unwrapExpression(expression.callee.object);
+    return expression.type === "CallExpression" ? expression : undefined;
+};
+const invocationIdentity = (context, node, from, bindings) => {
+    const call = sourceCall(node);
+    if (call?.callee.type !== "MemberExpression" ||
+        call.callee.object.type !== "Identifier" ||
+        call.callee.object.name !== from)
+        return undefined;
+    const method = staticMemberName(call.callee);
+    if (method === "child") {
+        const child = call.arguments[0];
+        if (child === undefined || child.type === "SpreadElement")
+            return undefined;
+        const identity = descriptorIdentity(context, child, bindings);
+        return identity === undefined ? undefined : { lifecycle: identity, address: identity };
+    }
+    if (method === undefined || !sourceMethods.has(method))
+        return undefined;
+    const id = call.arguments[0];
+    if (id === undefined || id.type === "SpreadElement")
+        return undefined;
+    const lifecycle = staticIdentity(context, id, bindings);
+    if (lifecycle === undefined)
+        return undefined;
+    if (method !== "logic")
+        return { lifecycle };
+    const options = call.arguments[1];
+    if (options === undefined || options.type === "SpreadElement")
+        return { lifecycle };
+    const object = resolvedObject(context, options);
+    const addressNode = object === undefined ? undefined : objectProperty(object, "address");
+    const address = addressNode === undefined
+        ? undefined
+        : staticIdentity(context, addressNode, bindings);
+    return address === undefined ? { lifecycle } : { lifecycle, address };
+};
+const returnedExpression = (node) => {
+    if (node.body === null)
+        return undefined;
+    if (node.body.type !== "BlockStatement")
+        return node.body;
+    const returns = node.body.body.filter((statement) => statement.type === "ReturnStatement");
+    if (returns.length !== 1)
+        return undefined;
+    return returns[0].argument ?? undefined;
+};
+const returnedEntries = (context, node) => {
+    const returned = returnedExpression(node);
+    if (returned === undefined)
+        return [];
+    const array = resolvedObjectOrArray(context, returned);
+    if (array?.type !== "ArrayExpression")
+        return [returned];
+    return array.elements.filter((entry) => entry !== null && entry.type !== "SpreadElement");
+};
+const resolvedObjectOrArray = (context, node, seen = new Set()) => {
+    const expression = unwrapExpression(node);
+    if (expression.type === "ObjectExpression" || expression.type === "ArrayExpression")
+        return expression;
+    if (expression.type !== "Identifier")
+        return undefined;
+    const variable = resolvedVariable(context, expression);
+    if (variable === undefined)
+        return undefined;
+    const key = variableKey(variable);
+    if (key === undefined || seen.has(key))
+        return undefined;
+    const initializer = constInitializer(variable);
+    if (initializer === undefined)
+        return undefined;
+    const nextSeen = new Set(seen);
+    nextSeen.add(key);
+    return resolvedObjectOrArray(context, initializer, nextSeen);
+};
+const resolvedEntry = (context, node) => {
+    const expression = unwrapExpression(node);
+    if (expression.type !== "Identifier")
+        return expression;
+    const variable = resolvedVariable(context, expression);
+    const initializer = variable === undefined ? undefined : constInitializer(variable);
+    return initializer === undefined ? expression : unwrapExpression(initializer);
+};
+export const noConflictingInvocationIdentity = {
+    meta: {
+        type: "problem",
+        docs: {
+            description: "Require unique invocation lifecycle IDs and runtime addresses within a state.",
+            recommended: true
+        },
+        schema: [],
+        messages: {
+            conflictingAddress: "Invocation runtime address {{identity}} is reused in this state. Concurrent children cannot own the same address. Give each from.logic(...) invocation a distinct Machine.childAddress(...), or put sequential work in separate states.",
+            conflictingBoth: "Invocation identity {{identity}} is reused as both lifecycle ID and runtime address in this state. Outcomes become ambiguous and overlapping starts fail. Give each invocation a unique ID/address, or put sequential work in separate states.",
+            conflictingLifecycle: "Invocation lifecycle ID {{identity}} is reused in this state. Outcomes are routed by state path and ID, so duplicate IDs are ambiguous and overlapping starts fail. Give each invocation a unique ID, or put sequential work in separate states."
+        }
+    },
+    create(context) {
+        const bindings = makeMachineBindings();
+        const inspect = (node) => {
+            if (!hasMachineImport(bindings) || !isInvokePlanningCallback(node, bindings))
+                return;
+            const parameter = node.params[0];
+            if (parameter?.type !== "Identifier")
+                return;
+            const lifecycle = new Map();
+            const addresses = new Map();
+            const entries = returnedEntries(context, node);
+            entries.forEach((entry, index) => {
+                const identity = invocationIdentity(context, resolvedEntry(context, entry), parameter.name, bindings);
+                if (identity === undefined)
+                    return;
+                const lifecycleConflict = lifecycle.get(identity.lifecycle.key);
+                const addressConflict = identity.address === undefined
+                    ? undefined
+                    : addresses.get(identity.address.key);
+                if (lifecycleConflict !== undefined &&
+                    addressConflict !== undefined &&
+                    lifecycleConflict === addressConflict) {
+                    context.report({
+                        node: identity.lifecycle.node,
+                        messageId: "conflictingBoth",
+                        data: { identity: identity.lifecycle.label }
+                    });
+                }
+                else {
+                    if (lifecycleConflict !== undefined) {
+                        context.report({
+                            node: identity.lifecycle.node,
+                            messageId: "conflictingLifecycle",
+                            data: { identity: identity.lifecycle.label }
+                        });
+                    }
+                    if (addressConflict !== undefined && identity.address !== undefined) {
+                        context.report({
+                            node: identity.address.node,
+                            messageId: "conflictingAddress",
+                            data: { identity: identity.address.label }
+                        });
+                    }
+                }
+                if (!lifecycle.has(identity.lifecycle.key))
+                    lifecycle.set(identity.lifecycle.key, index);
+                if (identity.address !== undefined && !addresses.has(identity.address.key)) {
+                    addresses.set(identity.address.key, index);
+                }
+            });
+        };
+        return {
+            ImportDeclaration: (node) => recordMachineImport(bindings, node),
+            VariableDeclarator: (node) => recordMachineDefinition(bindings, node),
+            ArrowFunctionExpression: inspect,
+            FunctionExpression: inspect
+        };
+    }
+};
+//# sourceMappingURL=noConflictingInvocationIdentity.js.map

package/dist/internal/rules/noConflictingInvocationIdentity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"noConflictingInvocationIdentity.js","sourceRoot":"","sources":["../../../src/internal/rules/noConflictingInvocationIdentity.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAA;AAC9D,OAAO,EACL,gBAAgB,EAChB,mBAAmB,EAEnB,mBAAmB,EACnB,uBAAuB,EACvB,mBAAmB,EACnB,gBAAgB,EACjB,MAAM,eAAe,CAAA;AACtB,OAAO,EAAE,wBAAwB,EAAyB,MAAM,gBAAgB,CAAA;AAahF,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC,CAAA;AACrF,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAA;AAErE,MAAM,WAAW,GAAG,CAAC,QAAkB,EAAsB,EAAE;IAC7D,MAAM,UAAU,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAA;IAC1C,OAAO,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAA;AACvG,CAAC,CAAA;AAED,MAAM,gBAAgB,GAAG,CAAC,QAAkB,EAAW,EAAE,CACvD,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAChC,UAAU,CAAC,IAAI,KAAK,eAAe;IACnC,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU;QAC7B,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,oBAAoB;QAC7C,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,qBAAqB;QACrD,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAC3C,CAAA;AAEH,MAAM,gBAAgB,GAAG,CACvB,QAAkB,EACa,EAAE;IACjC,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,CAAA;IACnF,MAAM,WAAW,GAAG,UAAU,EAAE,IAAI,CAAA;IACpC,IACE,WAAW,EAAE,IAAI,KAAK,oBAAoB;QAC1C,WAAW,CAAC,MAAM,CAAC,IAAI,KAAK,qBAAqB;QACjD,WAAW,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO;QACnC,WAAW,CAAC,IAAI,KAAK,IAAI;QACzB,OAAO,SAAS,CAAA;IAClB,OAAO,WAAW,CAAC,IAAI,CAAA;AACzB,CAAC,CAAA;AAED,MAAM,cAAc,GAAG,CACrB,OAAgB,EAChB,IAAuB,EACvB,QAAyB,EACzB,OAAoB,IAAI,GAAG,EAAE,EACP,EAAE;IACxB,MAAM,UAAU,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAA;IACzC,IACE,UAAU,CAAC,IAAI,KAAK,SAAS;QAC7B,CAAC,OAAO,UAAU,CAAC,KAAK,KAAK,QAAQ,IAAI,OAAO,UAAU,CAAC,KAAK,KAAK,QAAQ,CAAC,EAC9E,CAAC;QACD,OAAO;YACL,GAAG,EAAE,SAAS,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE;YACxC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC;YACvC,IAAI,EAAE,UAAU;SACjB,CAAA;IACH,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,iBAAiB,IAAI,UAAU,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjF,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAA;QAChD,OAAO,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;YAC1C,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,EAAE,GAAG,EAAE,SAAS,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAA;IAC/E,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAA;QACtD,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC;YAAE,OAAO,SAAS,CAAA;QAC3E,MAAM,GAAG,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAA;QACjC,IAAI,GAAG,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,SAAS,CAAA;QACxD,MAAM,WAAW,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAA;QAC9C,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAA;YAC9B,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACjB,MAAM,WAAW,GAAG,cAAc,CAAC,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAA;YAC5E,IAAI,WAAW,KAAK,SAAS;gBAAE,OAAO,EAAE,GAAG,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE,CAAA;QAC5E,CAAC;QACD,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,CAAA;IAC1D,CAAC;IACD,IACE,mBAAmB,CAAC,UAAU,EAAE,cAAc,EAAE,QAAQ,CAAC,EACzD,CAAC;QACD,MAAM,QAAQ,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;QACxC,IAAI,UAAU,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACrG,OAAO,cAAc,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;QAC1D,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA;AAED,MAAM,kBAAkB,GAAG,CACzB,OAAgB,EAChB,IAAuB,EACvB,QAAyB,EACzB,OAAoB,IAAI,GAAG,EAAE,EACP,EAAE;IACxB,MAAM,UAAU,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAA;IACzC,IAAI,UAAU,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAA;QACtD,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC;YAAE,OAAO,SAAS,CAAA;QAC3E,MAAM,GAAG,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAA;QACjC,IAAI,GAAG,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,SAAS,CAAA;QACxD,MAAM,WAAW,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAA;QAC9C,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAA;YAC9B,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACjB,MAAM,WAAW,GAAG,kBAAkB,CAAC,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAA;YAChF,IAAI,WAAW,KAAK,SAAS;gBAAE,OAAO,EAAE,GAAG,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE,CAAA;QAC5E,CAAC;QACD,OAAO,EAAE,GAAG,EAAE,cAAc,GAAG,EAAE,EAAE,KAAK,EAAE,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,CAAA;IAC/E,CAAC;IACD,IACE,mBAAmB,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,EAClD,CAAC;QACD,MAAM,QAAQ,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;QACxC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAChE,OAAO,cAAc,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAA;QACpD,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA;AAED,MAAM,cAAc,GAAG,CACrB,MAA+B,EAC/B,IAAY,EACmB,EAAE;IACjC,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACzC,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM;YAAE,SAAQ;QACtE,MAAM,YAAY,GAAG,QAAQ,CAAC,QAAQ;YACpC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,QAAQ,CAAC,GAAG,CAAC,KAAK,KAAK,QAAQ;gBACzE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK;gBACpB,CAAC,CAAC,SAAS;YACb,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS;gBACvE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC;gBACrF,CAAC,CAAC,SAAS,CAAA;QACb,IAAI,YAAY,KAAK,IAAI;YAAE,OAAO,QAAQ,CAAC,KAAK,CAAA;IAClD,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA;AAED,MAAM,cAAc,GAAG,CACrB,OAAgB,EAChB,IAAuB,EACvB,OAAoB,IAAI,GAAG,EAAE,EACQ,EAAE;IACvC,MAAM,UAAU,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAA;IACzC,IAAI,UAAU,CAAC,IAAI,KAAK,kBAAkB;QAAE,OAAO,UAAU,CAAA;IAC7D,IAAI,UAAU,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,SAAS,CAAA;IACtD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAA;IACtD,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IAC5C,MAAM,GAAG,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAA;IACjC,IAAI,GAAG,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAA;IACxD,MAAM,WAAW,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAA;IAC9C,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IAC/C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAA;IAC9B,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IACjB,OAAO,cAAc,CAAC,OAAO,EAAE,WAAW,EAAE,QAAQ,CAAC,CAAA;AACvD,CAAC,CAAA;AAED,MAAM,UAAU,GAAG,CACjB,IAAuB,EACY,EAAE;IACrC,IAAI,UAAU,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAA;IACvC,OACE,UAAU,CAAC,IAAI,KAAK,gBAAgB;QACpC,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB;QAC7C,iBAAiB,CAAC,GAAG,CAAC,gBAAgB,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAChE,UAAU,GAAG,gBAAgB,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IACzD,OAAO,UAAU,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAA;AACtE,CAAC,CAAA;AAED,MAAM,kBAAkB,GAAG,CACzB,OAAgB,EAChB,IAAuB,EACvB,IAAY,EACZ,QAAyB,EACO,EAAE;IAClC,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAA;IAC7B,IACE,IAAI,EAAE,MAAM,CAAC,IAAI,KAAK,kBAAkB;QACxC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;QACxC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI;QAChC,OAAO,SAAS,CAAA;IAClB,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IAC5C,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;QAC/B,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe;YAAE,OAAO,SAAS,CAAA;QAC3E,MAAM,QAAQ,GAAG,kBAAkB,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAA;QAC7D,OAAO,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAA;IACxF,CAAC;IACD,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,SAAS,CAAA;IACxE,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;IAC5B,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,SAAS,CAAA;IACrE,MAAM,SAAS,GAAG,cAAc,CAAC,OAAO,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAA;IACvD,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IAC7C,IAAI,MAAM,KAAK,OAAO;QAAE,OAAO,EAAE,SAAS,EAAE,CAAA;IAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;IACjC,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,EAAE,SAAS,EAAE,CAAA;IACnF,MAAM,MAAM,GAAG,cAAc,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;IAC/C,MAAM,WAAW,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IACxF,MAAM,OAAO,GAAG,WAAW,KAAK,SAAS;QACvC,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,cAAc,CAAC,OAAO,EAAE,WAAW,EAAE,QAAQ,CAAC,CAAA;IAClD,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,EAAE,CAAA;AACvE,CAAC,CAAA;AAED,MAAM,kBAAkB,GAAG,CACzB,IAAsB,EACS,EAAE;IACjC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,SAAS,CAAA;IACxC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB;QAAE,OAAO,IAAI,CAAC,IAAI,CAAA;IACzD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAA;IAC1F,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAA;IAC1C,OAAO,OAAO,CAAC,CAAC,CAAE,CAAC,QAAQ,IAAI,SAAS,CAAA;AAC1C,CAAC,CAAA;AAED,MAAM,eAAe,GAAG,CACtB,OAAgB,EAChB,IAAsB,EACY,EAAE;IACpC,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAA;IACzC,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,EAAE,CAAA;IACrC,MAAM,KAAK,GAAG,qBAAqB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;IACtD,IAAI,KAAK,EAAE,IAAI,KAAK,iBAAiB;QAAE,OAAO,CAAC,QAAQ,CAAC,CAAA;IACxD,OAAO,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,KAAK,EAA8B,EAAE,CAAC,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,CAAC,CAAA;AACvH,CAAC,CAAA;AAED,MAAM,qBAAqB,GAAG,CAC5B,OAAgB,EAChB,IAAuB,EACvB,OAAoB,IAAI,GAAG,EAAE,EACiC,EAAE;IAChE,MAAM,UAAU,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAA;IACzC,IAAI,UAAU,CAAC,IAAI,KAAK,kBAAkB,IAAI,UAAU,CAAC,IAAI,KAAK,iBAAiB;QAAE,OAAO,UAAU,CAAA;IACtG,IAAI,UAAU,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,SAAS,CAAA;IACtD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAA;IACtD,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IAC5C,MAAM,GAAG,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAA;IACjC,IAAI,GAAG,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAA;IACxD,MAAM,WAAW,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAA;IAC9C,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IAC/C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAA;IAC9B,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IACjB,OAAO,qBAAqB,CAAC,OAAO,EAAE,WAAW,EAAE,QAAQ,CAAC,CAAA;AAC9D,CAAC,CAAA;AAED,MAAM,aAAa,GAAG,CACpB,OAAgB,EAChB,IAAuB,EACJ,EAAE;IACrB,MAAM,UAAU,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAA;IACzC,IAAI,UAAU,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,UAAU,CAAA;IACvD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAA;IACtD,MAAM,WAAW,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAA;IACnF,OAAO,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,gBAAgB,CAAC,WAAW,CAAC,CAAA;AAC/E,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,+BAA+B,GAAS;IACnD,IAAI,EAAE;QACJ,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,WAAW,EAAE,+EAA+E;YAC5F,WAAW,EAAE,IAAI;SAClB;QACD,MAAM,EAAE,EAAE;QACV,QAAQ,EAAE;YACR,kBAAkB,EAChB,yOAAyO;YAC3O,eAAe,EACb,gPAAgP;YAClP,oBAAoB,EAClB,kPAAkP;SACrP;KACF;IACD,MAAM,CAAC,OAAO;QACZ,MAAM,QAAQ,GAAG,mBAAmB,EAAE,CAAA;QACtC,MAAM,OAAO,GAAG,CAAC,IAAsB,EAAQ,EAAE;YAC/C,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC,wBAAwB,CAAC,IAAI,EAAE,QAAQ,CAAC;gBAAE,OAAM;YACpF,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;YAChC,IAAI,SAAS,EAAE,IAAI,KAAK,YAAY;gBAAE,OAAM;YAC5C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAA;YAC3C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAA;YAC3C,MAAM,OAAO,GAAG,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;YAC9C,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;gBAC/B,MAAM,QAAQ,GAAG,kBAAkB,CAAC,OAAO,EAAE,aAAa,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;gBACrG,IAAI,QAAQ,KAAK,SAAS;oBAAE,OAAM;gBAClC,MAAM,iBAAiB,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAA;gBAC/D,MAAM,eAAe,GAAG,QAAQ,CAAC,OAAO,KAAK,SAAS;oBACpD,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;gBACvC,IACE,iBAAiB,KAAK,SAAS;oBAC/B,eAAe,KAAK,SAAS;oBAC7B,iBAAiB,KAAK,eAAe,EACrC,CAAC;oBACD,OAAO,CAAC,MAAM,CAAC;wBACb,IAAI,EAAE,QAAQ,CAAC,SAAS,CAAC,IAAI;wBAC7B,SAAS,EAAE,iBAAiB;wBAC5B,IAAI,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,SAAS,CAAC,KAAK,EAAE;qBAC7C,CAAC,CAAA;gBACJ,CAAC;qBAAM,CAAC;oBACN,IAAI,iBAAiB,KAAK,SAAS,EAAE,CAAC;wBACpC,OAAO,CAAC,MAAM,CAAC;4BACb,IAAI,EAAE,QAAQ,CAAC,SAAS,CAAC,IAAI;4BAC7B,SAAS,EAAE,sBAAsB;4BACjC,IAAI,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,SAAS,CAAC,KAAK,EAAE;yBAC7C,CAAC,CAAA;oBACJ,CAAC;oBACD,IAAI,eAAe,KAAK,SAAS,IAAI,QAAQ,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;wBACpE,OAAO,CAAC,MAAM,CAAC;4BACb,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI;4BAC3B,SAAS,EAAE,oBAAoB;4BAC/B,IAAI,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE;yBAC3C,CAAC,CAAA;oBACJ,CAAC;gBACH,CAAC;gBACD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC;oBAAE,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;gBACxF,IAAI,QAAQ,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC3E,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;gBAC5C,CAAC;YACH,CAAC,CAAC,CAAA;QACJ,CAAC,CAAA;QACD,OAAO;YACL,iBAAiB,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,QAAQ,EAAE,IAAI,CAAC;YAChE,kBAAkB,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,uBAAuB,CAAC,QAAQ,EAAE,IAAI,CAAC;YACrE,uBAAuB,EAAE,OAAO;YAChC,kBAAkB,EAAE,OAAO;SAC5B,CAAA;IACH,CAAC;CACF,CAAA"}

package/dist/internal/rules/noNondeterministicPlanning.d.ts

@@ -0,0 +1,3 @@
+import type { Rule } from "@oxlint/plugins";
+export declare const noNondeterministicPlanning: Rule;
+//# sourceMappingURL=noNondeterministicPlanning.d.ts.map

package/dist/internal/rules/noNondeterministicPlanning.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"noNondeterministicPlanning.d.ts","sourceRoot":"","sources":["../../../src/internal/rules/noNondeterministicPlanning.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAU,IAAI,EAAE,MAAM,iBAAiB,CAAA;AAKnD,eAAO,MAAM,0BAA0B,EAAE,IAiCxC,CAAA"}

package/dist/internal/rules/noNondeterministicPlanning.js

@@ -0,0 +1,33 @@
+import { nondeterministicOperation, nondeterministicProperty } from "../ambient.js";
+import { hasMachineImport, makeMachineBindings, recordMachineDefinition, recordMachineImport } from "../imports.js";
+import { enclosingPlanningCallback } from "../planning.js";
+export const noNondeterministicPlanning = {
+    meta: {
+        type: "problem",
+        docs: {
+            description: "Keep ambient time and randomness out of Effect Machine planning.",
+            recommended: true
+        },
+        schema: [],
+        messages: {
+            nondeterministic: "{{operation}} produces a different result without a machine event or state change. Pass the value through machine input or an event, or produce it in a state-owned invocation and transition from its outcome."
+        }
+    },
+    create(context) {
+        const bindings = makeMachineBindings();
+        const report = (node, operation) => {
+            if (operation !== undefined &&
+                hasMachineImport(bindings) &&
+                enclosingPlanningCallback(node, bindings) !== undefined)
+                context.report({ node, messageId: "nondeterministic", data: { operation } });
+        };
+        return {
+            ImportDeclaration: (node) => recordMachineImport(bindings, node),
+            CallExpression: (node) => report(node, nondeterministicOperation(context, node)),
+            MemberExpression: (node) => report(node, nondeterministicProperty(context, node)),
+            NewExpression: (node) => report(node, nondeterministicOperation(context, node)),
+            VariableDeclarator: (node) => recordMachineDefinition(bindings, node)
+        };
+    }
+};
+//# sourceMappingURL=noNondeterministicPlanning.js.map

package/dist/internal/rules/noNondeterministicPlanning.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"noNondeterministicPlanning.js","sourceRoot":"","sources":["../../../src/internal/rules/noNondeterministicPlanning.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,yBAAyB,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAA;AACnF,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,uBAAuB,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAA;AACnH,OAAO,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAA;AAE1D,MAAM,CAAC,MAAM,0BAA0B,GAAS;IAC9C,IAAI,EAAE;QACJ,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,WAAW,EAAE,kEAAkE;YAC/E,WAAW,EAAE,IAAI;SAClB;QACD,MAAM,EAAE,EAAE;QACV,QAAQ,EAAE;YACR,gBAAgB,EACd,iNAAiN;SACpN;KACF;IACD,MAAM,CAAC,OAAO;QACZ,MAAM,QAAQ,GAAG,mBAAmB,EAAE,CAAA;QACtC,MAAM,MAAM,GAAG,CACb,IAA4E,EAC5E,SAA6B,EACvB,EAAE;YACR,IACE,SAAS,KAAK,SAAS;gBACvB,gBAAgB,CAAC,QAAQ,CAAC;gBAC1B,yBAAyB,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,SAAS;gBACvD,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,kBAAkB,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,EAAE,CAAC,CAAA;QAChF,CAAC,CAAA;QACD,OAAO;YACL,iBAAiB,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,QAAQ,EAAE,IAAI,CAAC;YAChE,cAAc,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,yBAAyB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YAChF,gBAAgB,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,wBAAwB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YACjF,aAAa,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,yBAAyB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YAC/E,kBAAkB,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,uBAAuB,CAAC,QAAQ,EAAE,IAAI,CAAC;SACtE,CAAA;IACH,CAAC;CACF,CAAA"}

package/dist/internal/rules/noRedundantResolve.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"noRedundantResolve.d.ts","sourceRoot":"","sources":["../../../src/internal/rules/noRedundantResolve.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAU,IAAI,EAAE,MAAM,iBAAiB,CAAA;AAmDnD,eAAO,MAAM,kBAAkB,EAAE,IAqDhC,CAAA"}
+{"version":3,"file":"noRedundantResolve.d.ts","sourceRoot":"","sources":["../../../src/internal/rules/noRedundantResolve.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAU,IAAI,EAAE,MAAM,iBAAiB,CAAA;AAqEnD,eAAO,MAAM,kBAAkB,EAAE,IAmEhC,CAAA"}