@typeonce/oxlint-plugin-effect-machine 0.26.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Sandro Maglione
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/NOTICE

@@ -0,0 +1,2 @@
+Effect Machine Oxlint Plugin is part of the Effect Machine project and is
+distributed under the MIT License.

package/README.md

@@ -0,0 +1,95 @@
+# Effect Machine Oxlint plugin
+
+`@typeonce/oxlint-plugin-effect-machine` checks Effect Machine definitions for
+redundant resolvers, asynchronous planning, and one-use intermediate machine
+definitions.
+
+The plugin uses Oxlint's JavaScript plugin interface. Custom JavaScript plugins
+are currently alpha in Oxlint, so keep Oxlint and this package on versions that
+have been tested together.
+
+## Install
+
+Install the plugin and the matching Effect Machine release:
+
+```sh
+pnpm add -D oxlint @typeonce/oxlint-plugin-effect-machine
+pnpm add @typeonce/effect-machine
+```
+
+All Effect Machine packages use the same version.
+
+## Configure
+
+Load the plugin and its recommended rules from `oxlint.config.ts`:
+
+```ts
+import { recommended } from "@typeonce/oxlint-plugin-effect-machine/recommended"
+import { defineConfig } from "oxlint"
+
+export default defineConfig({
+  jsPlugins: ["@typeonce/oxlint-plugin-effect-machine"],
+  rules: recommended
+})
+```
+
+JSON configurations can list the same rules directly:
+
+```json
+{
+  "jsPlugins": ["@typeonce/oxlint-plugin-effect-machine"],
+  "rules": {
+    "effect-machine/no-async-planning-callback": "error",
+    "effect-machine/no-redundant-resolve": "error",
+    "effect-machine/prefer-inline-handle": "error"
+  }
+}
+```
+
+The rules are syntax-based. They recognize `Machine.make(...)`, direct chained
+`.handle(...)` calls, and `.handle(...)` calls on definitions declared in the
+same module. They do not resolve a machine definition imported from another
+module.
+
+## Rules
+
+### `effect-machine/no-redundant-resolve`
+
+Removes a resolver whose only result is empty default construction:
+
+```ts
+// Before
+const handlers = {
+  Start: (to) => to.full.Running().resolve(({ target }) => target.from())
+}
+
+// After `oxlint --fix`
+const handlers = {
+  Start: (to) => to.full.Running()
+}
+```
+
+The fixer does not run when the resolver has options, comments, construction
+input, or any other work.
+
+### `effect-machine/no-async-planning-callback`
+
+Rejects asynchronous transition, lifecycle, initial, choice, entry, exit, and
+invocation-planning callbacks. A machine plans synchronously. Put asynchronous
+work in state-owned `invoke` sources instead.
+
+### `effect-machine/prefer-inline-handle`
+
+Reports a private top-level `Machine.make(...)` definition when its only use is
+one `.handle(...)` call:
+
+```ts
+// Before
+const definition = Machine.make({/* ... */})
+export const machine = definition.handle({/* ... */})
+
+// After
+export const machine = Machine.make({/* ... */}).handle({/* ... */})
+```
+
+Definitions that are exported or reused remain valid.

package/dist/index.d.ts

@@ -0,0 +1,13 @@
+declare const plugin: {
+    meta: {
+        name: string;
+    };
+    rules: {
+        "no-async-planning-callback": import("@oxlint/plugins").Rule;
+        "no-redundant-resolve": import("@oxlint/plugins").Rule;
+        "prefer-inline-handle": import("@oxlint/plugins").Rule;
+    };
+};
+export { recommended } from "./recommended.js";
+export default plugin;
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAKA,QAAA,MAAM,MAAM;;;;;;;;;CASM,CAAA;AAElB,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAE9C,eAAe,MAAM,CAAA"}

package/dist/index.js

@@ -0,0 +1,16 @@
+import { noAsyncPlanningCallback } from "./internal/rules/noAsyncPlanningCallback.js";
+import { noRedundantResolve } from "./internal/rules/noRedundantResolve.js";
+import { preferInlineHandle } from "./internal/rules/preferInlineHandle.js";
+const plugin = {
+    meta: {
+        name: "effect-machine"
+    },
+    rules: {
+        "no-async-planning-callback": noAsyncPlanningCallback,
+        "no-redundant-resolve": noRedundantResolve,
+        "prefer-inline-handle": preferInlineHandle
+    }
+};
+export { recommended } from "./recommended.js";
+export default plugin;
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,uBAAuB,EAAE,MAAM,6CAA6C,CAAA;AACrF,OAAO,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAA;AAC3E,OAAO,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAA;AAE3E,MAAM,MAAM,GAAG;IACb,IAAI,EAAE;QACJ,IAAI,EAAE,gBAAgB;KACvB;IACD,KAAK,EAAE;QACL,4BAA4B,EAAE,uBAAuB;QACrD,sBAAsB,EAAE,kBAAkB;QAC1C,sBAAsB,EAAE,kBAAkB;KAC3C;CACe,CAAA;AAElB,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAE9C,eAAe,MAAM,CAAA"}

package/dist/internal/imports.d.ts

@@ -0,0 +1,15 @@
+import type { ESTree } from "@oxlint/plugins";
+export interface MachineBindings {
+    readonly definitions: Set<string>;
+    readonly machine: Set<string>;
+    readonly namespaces: Set<string>;
+}
+export declare const makeMachineBindings: () => MachineBindings;
+export declare const recordMachineImport: (bindings: MachineBindings, node: ESTree.ImportDeclaration) => void;
+export declare const hasMachineImport: (bindings: MachineBindings) => boolean;
+export declare const staticMemberName: (node: ESTree.Node) => string | undefined;
+export declare const isMachineMakeCall: (node: ESTree.CallExpression, bindings: MachineBindings) => boolean;
+export declare const recordMachineDefinition: (bindings: MachineBindings, node: ESTree.VariableDeclarator) => void;
+export declare const isMachineHandleCall: (node: ESTree.CallExpression, bindings: MachineBindings) => boolean;
+export declare const isMemberCall: (node: ESTree.Node, member: string) => node is ESTree.CallExpression;
+//# sourceMappingURL=imports.d.ts.map

package/dist/internal/imports.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"imports.d.ts","sourceRoot":"","sources":["../../src/internal/imports.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAA;AAI7C,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACjC,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC7B,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;CACjC;AAED,eAAO,MAAM,mBAAmB,QAAO,eAIrC,CAAA;AAIF,eAAO,MAAM,mBAAmB,GAC9B,UAAU,eAAe,EACzB,MAAM,MAAM,CAAC,iBAAiB,KAC7B,IAaF,CAAA;AAED,eAAO,MAAM,gBAAgB,GAAI,UAAU,eAAe,KAAG,OACF,CAAA;AAE3D,eAAO,MAAM,gBAAgB,GAAI,MAAM,MAAM,CAAC,IAAI,KAAG,MAAM,GAAG,SAK/C,CAAA;AAaf,eAAO,MAAM,iBAAiB,GAC5B,MAAM,MAAM,CAAC,cAAc,EAC3B,UAAU,eAAe,KACxB,OAUF,CAAA;AAED,eAAO,MAAM,uBAAuB,GAClC,UAAU,eAAe,EACzB,MAAM,MAAM,CAAC,kBAAkB,KAC9B,IAMF,CAAA;AAED,eAAO,MAAM,mBAAmB,GAC9B,MAAM,MAAM,CAAC,cAAc,EAC3B,UAAU,eAAe,KACxB,OAUF,CAAA;AAED,eAAO,MAAM,YAAY,GACvB,MAAM,MAAM,CAAC,IAAI,EACjB,QAAQ,MAAM,KACb,IAAI,IAAI,MAAM,CAAC,cAGwB,CAAA"}

package/dist/internal/imports.js

@@ -0,0 +1,60 @@
+const effectMachineModule = "@typeonce/effect-machine";
+export const makeMachineBindings = () => ({
+    definitions: new Set(),
+    machine: new Set(),
+    namespaces: new Set()
+});
+const moduleExportName = (node) => node.type === "Identifier" ? node.name : node.value;
+export const recordMachineImport = (bindings, node) => {
+    if (node.source.value !== effectMachineModule)
+        return;
+    for (const specifier of node.specifiers) {
+        if (specifier.type === "ImportNamespaceSpecifier") {
+            bindings.namespaces.add(specifier.local.name);
+        }
+        else if (specifier.type === "ImportSpecifier" &&
+            moduleExportName(specifier.imported) === "Machine") {
+            bindings.machine.add(specifier.local.name);
+        }
+    }
+};
+export const hasMachineImport = (bindings) => bindings.machine.size > 0 || bindings.namespaces.size > 0;
+export const staticMemberName = (node) => node.type === "MemberExpression" &&
+    !node.computed &&
+    node.property.type === "Identifier"
+    ? node.property.name
+    : undefined;
+const isNamespaceMachine = (node, bindings) => node.type === "MemberExpression" &&
+    !node.computed &&
+    node.object.type === "Identifier" &&
+    bindings.namespaces.has(node.object.name) &&
+    node.property.type === "Identifier" &&
+    node.property.name === "Machine";
+export const isMachineMakeCall = (node, bindings) => {
+    if (node.callee.type !== "MemberExpression" ||
+        staticMemberName(node.callee) !== "make")
+        return false;
+    const receiver = node.callee.object;
+    return receiver.type === "Identifier"
+        ? bindings.machine.has(receiver.name)
+        : isNamespaceMachine(receiver, bindings);
+};
+export const recordMachineDefinition = (bindings, node) => {
+    if (node.id.type === "Identifier" &&
+        node.init?.type === "CallExpression" &&
+        isMachineMakeCall(node.init, bindings))
+        bindings.definitions.add(node.id.name);
+};
+export const isMachineHandleCall = (node, bindings) => {
+    if (node.callee.type !== "MemberExpression" ||
+        staticMemberName(node.callee) !== "handle")
+        return false;
+    const receiver = node.callee.object;
+    return receiver.type === "CallExpression"
+        ? isMachineMakeCall(receiver, bindings)
+        : receiver.type === "Identifier" && bindings.definitions.has(receiver.name);
+};
+export const isMemberCall = (node, member) => node.type === "CallExpression" &&
+    node.callee.type === "MemberExpression" &&
+    staticMemberName(node.callee) === member;
+//# sourceMappingURL=imports.js.map

package/dist/internal/imports.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"imports.js","sourceRoot":"","sources":["../../src/internal/imports.ts"],"names":[],"mappings":"AAEA,MAAM,mBAAmB,GAAG,0BAA0B,CAAA;AAQtD,MAAM,CAAC,MAAM,mBAAmB,GAAG,GAAoB,EAAE,CAAC,CAAC;IACzD,WAAW,EAAE,IAAI,GAAG,EAAE;IACtB,OAAO,EAAE,IAAI,GAAG,EAAE;IAClB,UAAU,EAAE,IAAI,GAAG,EAAE;CACtB,CAAC,CAAA;AAEF,MAAM,gBAAgB,GAAG,CAAC,IAA6B,EAAU,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAA;AAEvH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,QAAyB,EACzB,IAA8B,EACxB,EAAE;IACR,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,KAAK,mBAAmB;QAAE,OAAM;IAErD,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACxC,IAAI,SAAS,CAAC,IAAI,KAAK,0BAA0B,EAAE,CAAC;YAClD,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QAC/C,CAAC;aAAM,IACL,SAAS,CAAC,IAAI,KAAK,iBAAiB;YACpC,gBAAgB,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,SAAS,EAClD,CAAC;YACD,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QAC5C,CAAC;IACH,CAAC;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,QAAyB,EAAW,EAAE,CACrE,QAAQ,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,IAAI,QAAQ,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC,CAAA;AAE3D,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,IAAiB,EAAsB,EAAE,CACxE,IAAI,CAAC,IAAI,KAAK,kBAAkB;IAC9B,CAAC,IAAI,CAAC,QAAQ;IACd,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY;IACnC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI;IACpB,CAAC,CAAC,SAAS,CAAA;AAEf,MAAM,kBAAkB,GAAG,CACzB,IAAiB,EACjB,QAAyB,EAChB,EAAE,CACX,IAAI,CAAC,IAAI,KAAK,kBAAkB;IAChC,CAAC,IAAI,CAAC,QAAQ;IACd,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;IACjC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;IACzC,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY;IACnC,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAA;AAElC,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAA2B,EAC3B,QAAyB,EAChB,EAAE;IACX,IACE,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB;QACvC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,MAAM;QACxC,OAAO,KAAK,CAAA;IAEd,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAA;IACnC,OAAO,QAAQ,CAAC,IAAI,KAAK,YAAY;QACnC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;QACrC,CAAC,CAAC,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;AAC5C,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,QAAyB,EACzB,IAA+B,EACzB,EAAE;IACR,IACE,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,YAAY;QAC7B,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,gBAAgB;QACpC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC;QACtC,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAA;AAC1C,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAA2B,EAC3B,QAAyB,EAChB,EAAE;IACX,IACE,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB;QACvC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,QAAQ;QAC1C,OAAO,KAAK,CAAA;IAEd,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAA;IACnC,OAAO,QAAQ,CAAC,IAAI,KAAK,gBAAgB;QACvC,CAAC,CAAC,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,CAAC;QACvC,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,IAAI,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;AAC/E,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,IAAiB,EACjB,MAAc,EACiB,EAAE,CACjC,IAAI,CAAC,IAAI,KAAK,gBAAgB;IAC9B,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB;IACvC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,MAAM,CAAA"}

package/dist/internal/planning.d.ts

@@ -0,0 +1,5 @@
+import type { ESTree } from "@oxlint/plugins";
+import { type MachineBindings } from "./imports.js";
+export type PlanningFunction = ESTree.ArrowFunctionExpression | ESTree.Function;
+export declare const isPlanningCallback: (node: PlanningFunction, bindings: MachineBindings) => boolean;
+//# sourceMappingURL=planning.d.ts.map

package/dist/internal/planning.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"planning.d.ts","sourceRoot":"","sources":["../../src/internal/planning.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAA;AAC7C,OAAO,EAA0C,KAAK,eAAe,EAAoB,MAAM,cAAc,CAAA;AAE7G,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,uBAAuB,GAAG,MAAM,CAAC,QAAQ,CAAA;AAuG/E,eAAO,MAAM,kBAAkB,GAC7B,MAAM,gBAAgB,EACtB,UAAU,eAAe,KACxB,OAcF,CAAA"}

package/dist/internal/planning.js

@@ -0,0 +1,87 @@
+import { isMachineHandleCall, isMachineMakeCall, staticMemberName } from "./imports.js";
+const directPlanningMethods = new Set([
+    "onDone",
+    "onElement",
+    "onFailure",
+    "onSnapshot",
+    "resolve"
+]);
+const statePlanningProperties = new Set([
+    "always",
+    "choice",
+    "entry",
+    "exit",
+    "invoke"
+]);
+const propertyName = (node) => {
+    if (node.type !== "Property" || node.computed)
+        return undefined;
+    return node.key.type === "Identifier" || node.key.type === "Literal"
+        ? String(node.key.type === "Identifier" ? node.key.name : node.key.value)
+        : undefined;
+};
+const isCallArgument = (node, predicate) => node.parent.type === "CallExpression" &&
+    node.parent.arguments.includes(node) &&
+    predicate(node.parent);
+const isMachineMakeConfig = (node, bindings) => isCallArgument(node, (call) => isMachineMakeCall(call, bindings));
+const isMachineHandleConfig = (node, bindings) => isCallArgument(node, (call) => isMachineHandleCall(call, bindings));
+const isStateConfig = (node, bindings) => {
+    if (node.parent.type !== "Property" || node.parent.parent.type !== "ObjectExpression") {
+        return false;
+    }
+    const stateCollection = node.parent.parent;
+    if (isMachineHandleConfig(stateCollection, bindings))
+        return true;
+    if (stateCollection.parent.type !== "Property" ||
+        propertyName(stateCollection.parent) !== "states" ||
+        stateCollection.parent.parent.type !== "ObjectExpression")
+        return false;
+    return isStateConfig(stateCollection.parent.parent, bindings);
+};
+const isEventHandlerProperty = (node, bindings) => {
+    if (node.type !== "Property" || node.parent.type !== "ObjectExpression")
+        return false;
+    const onProperty = node.parent.parent;
+    return onProperty.type === "Property" &&
+        propertyName(onProperty) === "on" &&
+        onProperty.parent.type === "ObjectExpression" &&
+        isStateConfig(onProperty.parent, bindings);
+};
+const isPropertyPlanningCallback = (node, bindings) => {
+    const property = node.parent;
+    if (property.type !== "Property" ||
+        property.value !== node ||
+        property.parent.type !== "ObjectExpression")
+        return false;
+    const name = propertyName(property);
+    return name === "initial"
+        ? isMachineMakeConfig(property.parent, bindings)
+        : (name !== undefined && statePlanningProperties.has(name) && isStateConfig(property.parent, bindings)) ||
+            isEventHandlerProperty(property, bindings);
+};
+const enclosingFunction = (node) => {
+    let current = node.parent;
+    while (current !== null && current.type !== "Program") {
+        if (current.type === "ArrowFunctionExpression" ||
+            current.type === "FunctionExpression")
+            return current;
+        current = current.parent;
+    }
+    return undefined;
+};
+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 (method !== undefined && directPlanningMethods.has(method)) {
+            const owner = enclosingFunction(parent);
+            return owner !== undefined && isPlanningCallback(owner, bindings);
+        }
+    }
+    return false;
+};
+//# sourceMappingURL=planning.js.map

package/dist/internal/planning.js.map

@@ -0,0 +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"}

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

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

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

@@ -0,0 +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"}

package/dist/internal/rules/noAsyncPlanningCallback.js

@@ -0,0 +1,32 @@
+import { hasMachineImport, makeMachineBindings, recordMachineDefinition, recordMachineImport } from "../imports.js";
+import { isPlanningCallback } from "../planning.js";
+export const noAsyncPlanningCallback = {
+    meta: {
+        type: "problem",
+        docs: {
+            description: "Keep Effect Machine planning callbacks synchronous.",
+            recommended: true
+        },
+        schema: [],
+        messages: {
+            asyncPlanning: "Planning callbacks must be synchronous. Move asynchronous work into state-owned invocation."
+        }
+    },
+    create(context) {
+        const bindings = makeMachineBindings();
+        const inspect = (node) => {
+            if (hasMachineImport(bindings) &&
+                node.async &&
+                isPlanningCallback(node, bindings)) {
+                context.report({ node, messageId: "asyncPlanning" });
+            }
+        };
+        return {
+            ImportDeclaration: (node) => recordMachineImport(bindings, node),
+            VariableDeclarator: (node) => recordMachineDefinition(bindings, node),
+            ArrowFunctionExpression: inspect,
+            FunctionExpression: inspect
+        };
+    }
+};
+//# sourceMappingURL=noAsyncPlanningCallback.js.map

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

@@ -0,0 +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"}

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

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

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

@@ -0,0 +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"}

package/dist/internal/rules/noRedundantResolve.js

@@ -0,0 +1,86 @@
+import { hasMachineImport, makeMachineBindings, recordMachineDefinition, recordMachineImport, staticMemberName } from "../imports.js";
+import { isPlanningCallback } from "../planning.js";
+const returnedExpression = (node) => {
+    if (node.body === null)
+        return undefined;
+    if (node.body.type !== "BlockStatement")
+        return node.body;
+    if (node.body.body.length !== 1 || node.body.body[0]?.type !== "ReturnStatement") {
+        return undefined;
+    }
+    return node.body.body[0].argument;
+};
+const targetBinding = (node) => {
+    if (node.params.length !== 1)
+        return undefined;
+    const parameter = node.params[0];
+    if (parameter?.type !== "ObjectPattern" || parameter.properties.length !== 1) {
+        return undefined;
+    }
+    const property = parameter.properties[0];
+    if (property?.type !== "Property" ||
+        property.computed ||
+        property.key.type !== "Identifier" ||
+        property.key.name !== "target" ||
+        property.value.type !== "Identifier")
+        return undefined;
+    return property.value.name;
+};
+const isDefaultTargetConstruction = (node, binding) => node?.type === "CallExpression" &&
+    node.arguments.length === 0 &&
+    node.callee.type === "MemberExpression" &&
+    staticMemberName(node.callee) === "from" &&
+    node.callee.object.type === "Identifier" &&
+    node.callee.object.name === binding;
+export const noRedundantResolve = {
+    meta: {
+        type: "suggestion",
+        docs: {
+            description: "Remove resolvers that only apply default target construction.",
+            recommended: true
+        },
+        fixable: "code",
+        schema: [],
+        messages: {
+            redundantResolver: "Remove this resolver. The selected target already applies default construction."
+        }
+    },
+    create(context) {
+        const bindings = makeMachineBindings();
+        return {
+            ImportDeclaration: (node) => recordMachineImport(bindings, node),
+            CallExpression(node) {
+                if (!hasMachineImport(bindings) ||
+                    node.arguments.length !== 1 ||
+                    node.callee.type !== "MemberExpression" ||
+                    staticMemberName(node.callee) !== "resolve")
+                    return;
+                const callback = node.arguments[0];
+                if (callback?.type !== "ArrowFunctionExpression" &&
+                    callback?.type !== "FunctionExpression")
+                    return;
+                if (callback.async || callback.generator)
+                    return;
+                if (!isPlanningCallback(callback, bindings))
+                    return;
+                const binding = targetBinding(callback);
+                if (binding === undefined ||
+                    !isDefaultTargetConstruction(returnedExpression(callback), binding))
+                    return;
+                const receiver = node.callee.object;
+                if (context.sourceCode.getCommentsInside(node).length === 0) {
+                    context.report({
+                        node,
+                        messageId: "redundantResolver",
+                        fix: (fixer) => fixer.replaceText(node, context.sourceCode.getText(receiver))
+                    });
+                }
+                else {
+                    context.report({ node, messageId: "redundantResolver" });
+                }
+            },
+            VariableDeclarator: (node) => recordMachineDefinition(bindings, node)
+        };
+    }
+};
+//# sourceMappingURL=noRedundantResolve.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"noRedundantResolve.js","sourceRoot":"","sources":["../../../src/internal/rules/noRedundantResolve.ts"],"names":[],"mappings":"AACA,OAAO,EACL,gBAAgB,EAChB,mBAAmB,EACnB,uBAAuB,EACvB,mBAAmB,EACnB,gBAAgB,EACjB,MAAM,eAAe,CAAA;AACtB,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AAEnD,MAAM,kBAAkB,GAAG,CACzB,IAAsD,EAChB,EAAE;IACxC,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,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACjF,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAA;AACnC,CAAC,CAAA;AAED,MAAM,aAAa,GAAG,CACpB,IAAsD,EAClC,EAAE;IACtB,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAA;IAC9C,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IAChC,IAAI,SAAS,EAAE,IAAI,KAAK,eAAe,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7E,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,QAAQ,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAA;IACxC,IACE,QAAQ,EAAE,IAAI,KAAK,UAAU;QAC7B,QAAQ,CAAC,QAAQ;QACjB,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY;QAClC,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;QAC9B,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY;QACpC,OAAO,SAAS,CAAA;IAClB,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAA;AAC5B,CAAC,CAAA;AAED,MAAM,2BAA2B,GAAG,CAClC,IAA0C,EAC1C,OAAe,EACN,EAAE,CACX,IAAI,EAAE,IAAI,KAAK,gBAAgB;IAC/B,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;IAC3B,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB;IACvC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,MAAM;IACxC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;IACxC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAA;AAErC,MAAM,CAAC,MAAM,kBAAkB,GAAS;IACtC,IAAI,EAAE;QACJ,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE;YACJ,WAAW,EAAE,+DAA+D;YAC5E,WAAW,EAAE,IAAI;SAClB;QACD,OAAO,EAAE,MAAM;QACf,MAAM,EAAE,EAAE;QACV,QAAQ,EAAE;YACR,iBAAiB,EAAE,iFAAiF;SACrG;KACF;IACD,MAAM,CAAC,OAAO;QACZ,MAAM,QAAQ,GAAG,mBAAmB,EAAE,CAAA;QACtC,OAAO;YACL,iBAAiB,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,QAAQ,EAAE,IAAI,CAAC;YAChE,cAAc,CAAC,IAAI;gBACjB,IACE,CAAC,gBAAgB,CAAC,QAAQ,CAAC;oBAC3B,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;oBAC3B,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB;oBACvC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,SAAS;oBAC3C,OAAM;gBAER,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;gBAClC,IACE,QAAQ,EAAE,IAAI,KAAK,yBAAyB;oBAC5C,QAAQ,EAAE,IAAI,KAAK,oBAAoB;oBACvC,OAAM;gBACR,IAAI,QAAQ,CAAC,KAAK,IAAI,QAAQ,CAAC,SAAS;oBAAE,OAAM;gBAChD,IAAI,CAAC,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,CAAC;oBAAE,OAAM;gBAEnD,MAAM,OAAO,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAA;gBACvC,IACE,OAAO,KAAK,SAAS;oBACrB,CAAC,2BAA2B,CAAC,kBAAkB,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;oBACnE,OAAM;gBAER,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAA;gBACnC,IAAI,OAAO,CAAC,UAAU,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC5D,OAAO,CAAC,MAAM,CAAC;wBACb,IAAI;wBACJ,SAAS,EAAE,mBAAmB;wBAC9B,GAAG,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;qBAC9E,CAAC,CAAA;gBACJ,CAAC;qBAAM,CAAC;oBACN,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,mBAAmB,EAAE,CAAC,CAAA;gBAC1D,CAAC;YACH,CAAC;YACD,kBAAkB,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,uBAAuB,CAAC,QAAQ,EAAE,IAAI,CAAC;SACtE,CAAA;IACH,CAAC;CACF,CAAA"}

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

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

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

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

package/dist/internal/rules/preferInlineHandle.js

@@ -0,0 +1,55 @@
+import { hasMachineImport, isMachineMakeCall, isMemberCall, makeMachineBindings, recordMachineDefinition, recordMachineImport } from "../imports.js";
+const isTopLevelPrivateDeclaration = (node) => node.parent.type === "VariableDeclaration" && node.parent.parent.type === "Program";
+const declaredVariable = (context, candidate) => context.sourceCode.getDeclaredVariables(candidate.declaration)
+    .find((variable) => variable.name === candidate.name.name);
+const isOnlyHandleReference = (variable) => {
+    const references = variable.references.filter((reference) => reference.isRead());
+    if (references.length !== 1)
+        return false;
+    const identifier = references[0]?.identifier;
+    if (identifier?.parent.type !== "MemberExpression")
+        return false;
+    const member = identifier.parent;
+    if (member.object !== identifier || !isMemberCall(member.parent, "handle"))
+        return false;
+    return member.parent.callee === member;
+};
+export const preferInlineHandle = {
+    meta: {
+        type: "suggestion",
+        docs: {
+            description: "Chain handle directly from one-use Machine.make definitions.",
+            recommended: true
+        },
+        schema: [],
+        messages: {
+            inlineHandle: "Chain .handle(...) directly from Machine.make(...). This one-use definition adds no reusable model."
+        }
+    },
+    create(context) {
+        const bindings = makeMachineBindings();
+        const candidates = [];
+        return {
+            ImportDeclaration: (node) => recordMachineImport(bindings, node),
+            VariableDeclarator(node) {
+                recordMachineDefinition(bindings, node);
+                if (!hasMachineImport(bindings) ||
+                    node.id.type !== "Identifier" ||
+                    node.init?.type !== "CallExpression" ||
+                    !isTopLevelPrivateDeclaration(node) ||
+                    !isMachineMakeCall(node.init, bindings))
+                    return;
+                candidates.push({ declaration: node, name: node.id });
+            },
+            "Program:exit"() {
+                for (const candidate of candidates) {
+                    const variable = declaredVariable(context, candidate);
+                    if (variable !== undefined && isOnlyHandleReference(variable)) {
+                        context.report({ node: candidate.name, messageId: "inlineHandle" });
+                    }
+                }
+            }
+        };
+    }
+};
+//# sourceMappingURL=preferInlineHandle.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"preferInlineHandle.js","sourceRoot":"","sources":["../../../src/internal/rules/preferInlineHandle.ts"],"names":[],"mappings":"AACA,OAAO,EACL,gBAAgB,EAChB,iBAAiB,EACjB,YAAY,EACZ,mBAAmB,EACnB,uBAAuB,EACvB,mBAAmB,EACpB,MAAM,eAAe,CAAA;AAOtB,MAAM,4BAA4B,GAAG,CAAC,IAA+B,EAAW,EAAE,CAChF,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,CAAA;AAErF,MAAM,gBAAgB,GAAG,CACvB,OAAgB,EAChB,SAAoB,EACE,EAAE,CACxB,OAAO,CAAC,UAAU,CAAC,oBAAoB,CAAC,SAAS,CAAC,WAAW,CAAC;KAC3D,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AAE9D,MAAM,qBAAqB,GAAG,CAAC,QAAkB,EAAW,EAAE;IAC5D,MAAM,UAAU,GAAG,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAA;IAChF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IAEzC,MAAM,UAAU,GAAG,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAA;IAC5C,IAAI,UAAU,EAAE,MAAM,CAAC,IAAI,KAAK,kBAAkB;QAAE,OAAO,KAAK,CAAA;IAChE,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAA;IAChC,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAA;IACxF,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,CAAA;AACxC,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,kBAAkB,GAAS;IACtC,IAAI,EAAE;QACJ,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE;YACJ,WAAW,EAAE,8DAA8D;YAC3E,WAAW,EAAE,IAAI;SAClB;QACD,MAAM,EAAE,EAAE;QACV,QAAQ,EAAE;YACR,YAAY,EACV,qGAAqG;SACxG;KACF;IACD,MAAM,CAAC,OAAO;QACZ,MAAM,QAAQ,GAAG,mBAAmB,EAAE,CAAA;QACtC,MAAM,UAAU,GAAqB,EAAE,CAAA;QACvC,OAAO;YACL,iBAAiB,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,QAAQ,EAAE,IAAI,CAAC;YAChE,kBAAkB,CAAC,IAAI;gBACrB,uBAAuB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;gBACvC,IACE,CAAC,gBAAgB,CAAC,QAAQ,CAAC;oBAC3B,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,YAAY;oBAC7B,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,gBAAgB;oBACpC,CAAC,4BAA4B,CAAC,IAAI,CAAC;oBACnC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC;oBACvC,OAAM;gBACR,UAAU,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAA;YACvD,CAAC;YACD,cAAc;gBACZ,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;oBACnC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAA;oBACrD,IAAI,QAAQ,KAAK,SAAS,IAAI,qBAAqB,CAAC,QAAQ,CAAC,EAAE,CAAC;wBAC9D,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,SAAS,EAAE,cAAc,EAAE,CAAC,CAAA;oBACrE,CAAC;gBACH,CAAC;YACH,CAAC;SACF,CAAA;IACH,CAAC;CACF,CAAA"}

package/dist/recommended.d.ts

@@ -0,0 +1,7 @@
+/** Rules recommended for every Effect Machine model. */
+export declare const recommended: {
+    readonly "effect-machine/no-async-planning-callback": "error";
+    readonly "effect-machine/no-redundant-resolve": "error";
+    readonly "effect-machine/prefer-inline-handle": "error";
+};
+//# sourceMappingURL=recommended.d.ts.map

package/dist/recommended.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"recommended.d.ts","sourceRoot":"","sources":["../src/recommended.ts"],"names":[],"mappings":"AAAA,wDAAwD;AACxD,eAAO,MAAM,WAAW;;;;CAId,CAAA"}

package/dist/recommended.js

@@ -0,0 +1,7 @@
+/** Rules recommended for every Effect Machine model. */
+export const recommended = {
+    "effect-machine/no-async-planning-callback": "error",
+    "effect-machine/no-redundant-resolve": "error",
+    "effect-machine/prefer-inline-handle": "error"
+};
+//# sourceMappingURL=recommended.js.map

package/dist/recommended.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"recommended.js","sourceRoot":"","sources":["../src/recommended.ts"],"names":[],"mappings":"AAAA,wDAAwD;AACxD,MAAM,CAAC,MAAM,WAAW,GAAG;IACzB,2CAA2C,EAAE,OAAO;IACpD,qCAAqC,EAAE,OAAO;IAC9C,qCAAqC,EAAE,OAAO;CACtC,CAAA"}

package/package.json

@@ -0,0 +1,74 @@
+{
+  "name": "@typeonce/oxlint-plugin-effect-machine",
+  "version": "0.26.0",
+  "description": "Oxlint rules for Effect Machine models",
+  "author": "Sandro Maglione",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/typeonce-dev/effect-machine.git",
+    "directory": "packages/oxlint-plugin"
+  },
+  "bugs": {
+    "url": "https://github.com/typeonce-dev/effect-machine/issues"
+  },
+  "homepage": "https://github.com/typeonce-dev/effect-machine/tree/main/packages/oxlint-plugin#readme",
+  "license": "MIT",
+  "type": "module",
+  "sideEffects": false,
+  "files": [
+    "src/**/*.ts",
+    "dist/**/*.js",
+    "dist/**/*.js.map",
+    "dist/**/*.d.ts",
+    "dist/**/*.d.ts.map",
+    "README.md",
+    "LICENSE",
+    "NOTICE"
+  ],
+  "exports": {
+    ".": {
+      "types": "./src/index.ts",
+      "import": "./src/index.ts"
+    },
+    "./recommended": {
+      "types": "./src/recommended.ts",
+      "import": "./src/recommended.ts"
+    },
+    "./package.json": "./package.json",
+    "./internal/*": null
+  },
+  "publishConfig": {
+    "access": "public",
+    "provenance": true,
+    "exports": {
+      ".": {
+        "types": "./dist/index.d.ts",
+        "import": "./dist/index.js"
+      },
+      "./recommended": {
+        "types": "./dist/recommended.d.ts",
+        "import": "./dist/recommended.js"
+      },
+      "./package.json": "./package.json",
+      "./internal/*": null
+    }
+  },
+  "scripts": {
+    "build": "tsc -b tsconfig.build.json",
+    "check": "tsc -b tsconfig.json"
+  },
+  "peerDependencies": {
+    "oxlint": ">=1.80.0 <2"
+  },
+  "dependencies": {
+    "@oxlint/plugins": "1.80.0"
+  },
+  "devDependencies": {
+    "oxlint": "1.80.0",
+    "typescript": "6.0.3",
+    "vitest": "4.1.10"
+  },
+  "engines": {
+    "node": ">=20.19.0"
+  }
+}

package/src/index.ts

@@ -0,0 +1,19 @@
+import type { Plugin } from "@oxlint/plugins"
+import { noAsyncPlanningCallback } from "./internal/rules/noAsyncPlanningCallback.js"
+import { noRedundantResolve } from "./internal/rules/noRedundantResolve.js"
+import { preferInlineHandle } from "./internal/rules/preferInlineHandle.js"
+
+const plugin = {
+  meta: {
+    name: "effect-machine"
+  },
+  rules: {
+    "no-async-planning-callback": noAsyncPlanningCallback,
+    "no-redundant-resolve": noRedundantResolve,
+    "prefer-inline-handle": preferInlineHandle
+  }
+} satisfies Plugin
+
+export { recommended } from "./recommended.js"
+
+export default plugin

package/src/internal/imports.ts

@@ -0,0 +1,105 @@
+import type { ESTree } from "@oxlint/plugins"
+
+const effectMachineModule = "@typeonce/effect-machine"
+
+export interface MachineBindings {
+  readonly definitions: Set<string>
+  readonly machine: Set<string>
+  readonly namespaces: Set<string>
+}
+
+export const makeMachineBindings = (): MachineBindings => ({
+  definitions: new Set(),
+  machine: new Set(),
+  namespaces: new Set()
+})
+
+const moduleExportName = (node: ESTree.ModuleExportName): string => node.type === "Identifier" ? node.name : node.value
+
+export const recordMachineImport = (
+  bindings: MachineBindings,
+  node: ESTree.ImportDeclaration
+): void => {
+  if (node.source.value !== effectMachineModule) return
+
+  for (const specifier of node.specifiers) {
+    if (specifier.type === "ImportNamespaceSpecifier") {
+      bindings.namespaces.add(specifier.local.name)
+    } else if (
+      specifier.type === "ImportSpecifier" &&
+      moduleExportName(specifier.imported) === "Machine"
+    ) {
+      bindings.machine.add(specifier.local.name)
+    }
+  }
+}
+
+export const hasMachineImport = (bindings: MachineBindings): boolean =>
+  bindings.machine.size > 0 || bindings.namespaces.size > 0
+
+export const staticMemberName = (node: ESTree.Node): string | undefined =>
+  node.type === "MemberExpression" &&
+    !node.computed &&
+    node.property.type === "Identifier"
+    ? node.property.name
+    : undefined
+
+const isNamespaceMachine = (
+  node: ESTree.Node,
+  bindings: MachineBindings
+): boolean =>
+  node.type === "MemberExpression" &&
+  !node.computed &&
+  node.object.type === "Identifier" &&
+  bindings.namespaces.has(node.object.name) &&
+  node.property.type === "Identifier" &&
+  node.property.name === "Machine"
+
+export const isMachineMakeCall = (
+  node: ESTree.CallExpression,
+  bindings: MachineBindings
+): boolean => {
+  if (
+    node.callee.type !== "MemberExpression" ||
+    staticMemberName(node.callee) !== "make"
+  ) return false
+
+  const receiver = node.callee.object
+  return receiver.type === "Identifier"
+    ? bindings.machine.has(receiver.name)
+    : isNamespaceMachine(receiver, bindings)
+}
+
+export const recordMachineDefinition = (
+  bindings: MachineBindings,
+  node: ESTree.VariableDeclarator
+): void => {
+  if (
+    node.id.type === "Identifier" &&
+    node.init?.type === "CallExpression" &&
+    isMachineMakeCall(node.init, bindings)
+  ) bindings.definitions.add(node.id.name)
+}
+
+export const isMachineHandleCall = (
+  node: ESTree.CallExpression,
+  bindings: MachineBindings
+): boolean => {
+  if (
+    node.callee.type !== "MemberExpression" ||
+    staticMemberName(node.callee) !== "handle"
+  ) return false
+
+  const receiver = node.callee.object
+  return receiver.type === "CallExpression"
+    ? isMachineMakeCall(receiver, bindings)
+    : receiver.type === "Identifier" && bindings.definitions.has(receiver.name)
+}
+
+export const isMemberCall = (
+  node: ESTree.Node,
+  member: string
+): node is ESTree.CallExpression =>
+  node.type === "CallExpression" &&
+  node.callee.type === "MemberExpression" &&
+  staticMemberName(node.callee) === member

package/src/internal/planning.ts

@@ -0,0 +1,124 @@
+import type { ESTree } from "@oxlint/plugins"
+import { isMachineHandleCall, isMachineMakeCall, type MachineBindings, staticMemberName } from "./imports.js"
+
+export type PlanningFunction = ESTree.ArrowFunctionExpression | ESTree.Function
+
+const directPlanningMethods = new Set([
+  "onDone",
+  "onElement",
+  "onFailure",
+  "onSnapshot",
+  "resolve"
+])
+
+const statePlanningProperties = new Set([
+  "always",
+  "choice",
+  "entry",
+  "exit",
+  "invoke"
+])
+
+const propertyName = (node: ESTree.Node): string | undefined => {
+  if (node.type !== "Property" || node.computed) return undefined
+  return node.key.type === "Identifier" || node.key.type === "Literal"
+    ? String(node.key.type === "Identifier" ? node.key.name : node.key.value)
+    : undefined
+}
+
+const isCallArgument = (
+  node: ESTree.ObjectExpression,
+  predicate: (call: ESTree.CallExpression) => boolean
+): boolean =>
+  node.parent.type === "CallExpression" &&
+  node.parent.arguments.includes(node) &&
+  predicate(node.parent)
+
+const isMachineMakeConfig = (
+  node: ESTree.ObjectExpression,
+  bindings: MachineBindings
+): boolean => isCallArgument(node, (call) => isMachineMakeCall(call, bindings))
+
+const isMachineHandleConfig = (
+  node: ESTree.ObjectExpression,
+  bindings: MachineBindings
+): boolean => isCallArgument(node, (call) => isMachineHandleCall(call, bindings))
+
+const isStateConfig = (
+  node: ESTree.ObjectExpression,
+  bindings: MachineBindings
+): boolean => {
+  if (node.parent.type !== "Property" || node.parent.parent.type !== "ObjectExpression") {
+    return false
+  }
+
+  const stateCollection = node.parent.parent
+  if (isMachineHandleConfig(stateCollection, bindings)) return true
+  if (
+    stateCollection.parent.type !== "Property" ||
+    propertyName(stateCollection.parent) !== "states" ||
+    stateCollection.parent.parent.type !== "ObjectExpression"
+  ) return false
+  return isStateConfig(stateCollection.parent.parent, bindings)
+}
+
+const isEventHandlerProperty = (
+  node: ESTree.Node,
+  bindings: MachineBindings
+): boolean => {
+  if (node.type !== "Property" || node.parent.type !== "ObjectExpression") return false
+  const onProperty = node.parent.parent
+  return onProperty.type === "Property" &&
+    propertyName(onProperty) === "on" &&
+    onProperty.parent.type === "ObjectExpression" &&
+    isStateConfig(onProperty.parent, bindings)
+}
+
+const isPropertyPlanningCallback = (
+  node: PlanningFunction,
+  bindings: MachineBindings
+): boolean => {
+  const property = node.parent
+  if (
+    property.type !== "Property" ||
+    property.value !== node ||
+    property.parent.type !== "ObjectExpression"
+  ) return false
+
+  const name = propertyName(property)
+  return name === "initial"
+    ? isMachineMakeConfig(property.parent, bindings)
+    : (name !== undefined && statePlanningProperties.has(name) && isStateConfig(property.parent, bindings)) ||
+      isEventHandlerProperty(property, bindings)
+}
+
+const enclosingFunction = (node: ESTree.Node): PlanningFunction | undefined => {
+  let current: ESTree.Node | null = node.parent
+  while (current !== null && current.type !== "Program") {
+    if (
+      current.type === "ArrowFunctionExpression" ||
+      current.type === "FunctionExpression"
+    ) return current
+    current = current.parent
+  }
+  return undefined
+}
+
+export const isPlanningCallback = (
+  node: PlanningFunction,
+  bindings: MachineBindings
+): boolean => {
+  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 (method !== undefined && directPlanningMethods.has(method)) {
+      const owner = enclosingFunction(parent)
+      return owner !== undefined && isPlanningCallback(owner, bindings)
+    }
+  }
+  return false
+}

package/src/internal/rules/noAsyncPlanningCallback.ts

@@ -0,0 +1,35 @@
+import type { Rule } from "@oxlint/plugins"
+import { hasMachineImport, makeMachineBindings, recordMachineDefinition, recordMachineImport } from "../imports.js"
+import { isPlanningCallback, type PlanningFunction } from "../planning.js"
+
+export const noAsyncPlanningCallback: Rule = {
+  meta: {
+    type: "problem",
+    docs: {
+      description: "Keep Effect Machine planning callbacks synchronous.",
+      recommended: true
+    },
+    schema: [],
+    messages: {
+      asyncPlanning: "Planning callbacks must be synchronous. Move asynchronous work into state-owned invocation."
+    }
+  },
+  create(context) {
+    const bindings = makeMachineBindings()
+    const inspect = (node: PlanningFunction): void => {
+      if (
+        hasMachineImport(bindings) &&
+        node.async &&
+        isPlanningCallback(node, bindings)
+      ) {
+        context.report({ node, messageId: "asyncPlanning" })
+      }
+    }
+    return {
+      ImportDeclaration: (node) => recordMachineImport(bindings, node),
+      VariableDeclarator: (node) => recordMachineDefinition(bindings, node),
+      ArrowFunctionExpression: inspect,
+      FunctionExpression: inspect
+    }
+  }
+}

package/src/internal/rules/noRedundantResolve.ts

@@ -0,0 +1,105 @@
+import type { ESTree, Rule } from "@oxlint/plugins"
+import {
+  hasMachineImport,
+  makeMachineBindings,
+  recordMachineDefinition,
+  recordMachineImport,
+  staticMemberName
+} from "../imports.js"
+import { isPlanningCallback } from "../planning.js"
+
+const returnedExpression = (
+  node: ESTree.ArrowFunctionExpression | ESTree.Function
+): ESTree.Expression | null | undefined => {
+  if (node.body === null) return undefined
+  if (node.body.type !== "BlockStatement") return node.body
+  if (node.body.body.length !== 1 || node.body.body[0]?.type !== "ReturnStatement") {
+    return undefined
+  }
+  return node.body.body[0].argument
+}
+
+const targetBinding = (
+  node: ESTree.ArrowFunctionExpression | ESTree.Function
+): string | undefined => {
+  if (node.params.length !== 1) return undefined
+  const parameter = node.params[0]
+  if (parameter?.type !== "ObjectPattern" || parameter.properties.length !== 1) {
+    return undefined
+  }
+  const property = parameter.properties[0]
+  if (
+    property?.type !== "Property" ||
+    property.computed ||
+    property.key.type !== "Identifier" ||
+    property.key.name !== "target" ||
+    property.value.type !== "Identifier"
+  ) return undefined
+  return property.value.name
+}
+
+const isDefaultTargetConstruction = (
+  node: ESTree.Expression | null | undefined,
+  binding: string
+): boolean =>
+  node?.type === "CallExpression" &&
+  node.arguments.length === 0 &&
+  node.callee.type === "MemberExpression" &&
+  staticMemberName(node.callee) === "from" &&
+  node.callee.object.type === "Identifier" &&
+  node.callee.object.name === binding
+
+export const noRedundantResolve: Rule = {
+  meta: {
+    type: "suggestion",
+    docs: {
+      description: "Remove resolvers that only apply default target construction.",
+      recommended: true
+    },
+    fixable: "code",
+    schema: [],
+    messages: {
+      redundantResolver: "Remove this resolver. The selected target already applies default construction."
+    }
+  },
+  create(context) {
+    const bindings = makeMachineBindings()
+    return {
+      ImportDeclaration: (node) => recordMachineImport(bindings, node),
+      CallExpression(node) {
+        if (
+          !hasMachineImport(bindings) ||
+          node.arguments.length !== 1 ||
+          node.callee.type !== "MemberExpression" ||
+          staticMemberName(node.callee) !== "resolve"
+        ) return
+
+        const callback = node.arguments[0]
+        if (
+          callback?.type !== "ArrowFunctionExpression" &&
+          callback?.type !== "FunctionExpression"
+        ) return
+        if (callback.async || callback.generator) return
+        if (!isPlanningCallback(callback, bindings)) return
+
+        const binding = targetBinding(callback)
+        if (
+          binding === undefined ||
+          !isDefaultTargetConstruction(returnedExpression(callback), binding)
+        ) return
+
+        const receiver = node.callee.object
+        if (context.sourceCode.getCommentsInside(node).length === 0) {
+          context.report({
+            node,
+            messageId: "redundantResolver",
+            fix: (fixer) => fixer.replaceText(node, context.sourceCode.getText(receiver))
+          })
+        } else {
+          context.report({ node, messageId: "redundantResolver" })
+        }
+      },
+      VariableDeclarator: (node) => recordMachineDefinition(bindings, node)
+    }
+  }
+}

package/src/internal/rules/preferInlineHandle.ts

@@ -0,0 +1,76 @@
+import type { Context, ESTree, Rule, Variable } from "@oxlint/plugins"
+import {
+  hasMachineImport,
+  isMachineMakeCall,
+  isMemberCall,
+  makeMachineBindings,
+  recordMachineDefinition,
+  recordMachineImport
+} from "../imports.js"
+
+interface Candidate {
+  readonly declaration: ESTree.VariableDeclarator
+  readonly name: ESTree.BindingIdentifier
+}
+
+const isTopLevelPrivateDeclaration = (node: ESTree.VariableDeclarator): boolean =>
+  node.parent.type === "VariableDeclaration" && node.parent.parent.type === "Program"
+
+const declaredVariable = (
+  context: Context,
+  candidate: Candidate
+): Variable | undefined =>
+  context.sourceCode.getDeclaredVariables(candidate.declaration)
+    .find((variable) => variable.name === candidate.name.name)
+
+const isOnlyHandleReference = (variable: Variable): boolean => {
+  const references = variable.references.filter((reference) => reference.isRead())
+  if (references.length !== 1) return false
+
+  const identifier = references[0]?.identifier
+  if (identifier?.parent.type !== "MemberExpression") return false
+  const member = identifier.parent
+  if (member.object !== identifier || !isMemberCall(member.parent, "handle")) return false
+  return member.parent.callee === member
+}
+
+export const preferInlineHandle: Rule = {
+  meta: {
+    type: "suggestion",
+    docs: {
+      description: "Chain handle directly from one-use Machine.make definitions.",
+      recommended: true
+    },
+    schema: [],
+    messages: {
+      inlineHandle:
+        "Chain .handle(...) directly from Machine.make(...). This one-use definition adds no reusable model."
+    }
+  },
+  create(context) {
+    const bindings = makeMachineBindings()
+    const candidates: Array<Candidate> = []
+    return {
+      ImportDeclaration: (node) => recordMachineImport(bindings, node),
+      VariableDeclarator(node) {
+        recordMachineDefinition(bindings, node)
+        if (
+          !hasMachineImport(bindings) ||
+          node.id.type !== "Identifier" ||
+          node.init?.type !== "CallExpression" ||
+          !isTopLevelPrivateDeclaration(node) ||
+          !isMachineMakeCall(node.init, bindings)
+        ) return
+        candidates.push({ declaration: node, name: node.id })
+      },
+      "Program:exit"() {
+        for (const candidate of candidates) {
+          const variable = declaredVariable(context, candidate)
+          if (variable !== undefined && isOnlyHandleReference(variable)) {
+            context.report({ node: candidate.name, messageId: "inlineHandle" })
+          }
+        }
+      }
+    }
+  }
+}

package/src/recommended.ts

@@ -0,0 +1,6 @@
+/** Rules recommended for every Effect Machine model. */
+export const recommended = {
+  "effect-machine/no-async-planning-callback": "error",
+  "effect-machine/no-redundant-resolve": "error",
+  "effect-machine/prefer-inline-handle": "error"
+} as const