@foldkit/oxlint-plugin 0.10.0 → 0.11.0-canary.d902ee3d7d0b

package/dist/guards.d.ts

@@ -1,21 +1,21 @@
 import { Option } from 'effect';
 import { type ESTree } from 'effect-oxlint';
 export declare const isIdentifier: (node: unknown, name?: string) => node is Readonly<{
-    type: "Identifier";
+    type: 'Identifier';
     name: string;
 }>;
 export declare const isStringLiteral: (node: unknown) => node is ESTree.StringLiteral;
 export declare const isTemplateLiteral: (node: unknown) => node is ESTree.TemplateLiteral;
 export declare const isCallExpression: (node: unknown) => node is ESTree.CallExpression;
 export declare const isMemberExpression: (node: unknown) => node is Readonly<{
-    type: "MemberExpression";
+    type: 'MemberExpression';
     object: unknown;
     property: unknown;
     computed?: boolean;
 }>;
 export declare const isObjectExpression: (node: unknown) => node is ESTree.ObjectExpression;
 export declare const isArrayExpression: (node: unknown) => node is Readonly<{
-    type: "ArrayExpression";
+    type: 'ArrayExpression';
     elements: ReadonlyArray<unknown>;
 }>;
 export declare const isSpreadElement: (node: unknown) => boolean;

package/dist/guards.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"guards.d.ts","sourceRoot":"","sources":["../src/guards.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,MAAM,EAAE,MAAM,QAAQ,CAAA;AACtC,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,eAAe,CAAA;AAE3C,eAAO,MAAM,YAAY,GACvB,MAAM,OAAO,EACb,OAAO,MAAM,KACZ,IAAI,IAAI,QAAQ,CAAC;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAOZ,CAAA;AAE5C,eAAO,MAAM,eAAe,GAAI,MAAM,OAAO,KAAG,IAAI,IAAI,MAAM,CAAC,aAM/B,CAAA;AAEhC,eAAO,MAAM,iBAAiB,GAC5B,MAAM,OAAO,KACZ,IAAI,IAAI,MAAM,CAAC,eAIe,CAAA;AAEjC,eAAO,MAAM,gBAAgB,GAC3B,MAAM,OAAO,KACZ,IAAI,IAAI,MAAM,CAAC,cAIc,CAAA;AAEhC,eAAO,MAAM,kBAAkB,GAC7B,MAAM,OAAO,KACZ,IAAI,IAAI,QAAQ,CAAC;IAClB,IAAI,EAAE,kBAAkB,CAAA;IACxB,MAAM,EAAE,OAAO,CAAA;IACf,QAAQ,EAAE,OAAO,CAAA;IACjB,QAAQ,CAAC,EAAE,OAAO,CAAA;CACnB,CAIiC,CAAA;AAElC,eAAO,MAAM,kBAAkB,GAC7B,MAAM,OAAO,KACZ,IAAI,IAAI,MAAM,CAAC,gBAIgB,CAAA;AAElC,eAAO,MAAM,iBAAiB,GAC5B,MAAM,OAAO,KACZ,IAAI,IAAI,QAAQ,CAAC;IAClB,IAAI,EAAE,iBAAiB,CAAA;IACvB,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;CACjC,CAIgC,CAAA;AAEjC,eAAO,MAAM,eAAe,GAAI,MAAM,OAAO,KAAG,OAIjB,CAAA;AAE/B,eAAO,MAAM,gBAAgB,GAAI,QAAQ,OAAO,KAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAYtE,CAAA;AAED,eAAO,MAAM,uBAAuB,GAClC,QAAQ,OAAO,EACf,YAAY,MAAM,KACjB,OACmE,CAAA;AAEtE,eAAO,MAAM,iBAAiB,GAAI,MAAM,OAAO,KAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAUrE,CAAA;AAED,eAAO,MAAM,oBAAoB,GAC/B,MAAM,OAAO,KACZ,IAAI,IAAI,MAAM,CAAC,kBAIkB,CAAA;AAEpC,eAAO,MAAM,qBAAqB,GAChC,MAAM,OAAO,KACZ,IAAI,IAAI,MAAM,CAAC,mBAImB,CAAA;AAErC,eAAO,MAAM,SAAS,GAAI,MAAM,OAAO,KAAG,IAAI,IAAI,MAAM,CAAC,OAIhC,CAAA;AAEzB,eAAO,MAAM,mBAAmB,GAC9B,MAAM,MAAM,CAAC,cAAc,KAC1B,MAAM,CAAC,aAAa,GAAG,SAGzB,CAAA"}
+{"version":3,"file":"guards.d.ts","sourceRoot":"","sources":["../src/guards.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,MAAM,EAAE,MAAM,QAAQ,CAAA;AACtC,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,eAAe,CAAA;AAE3C,eAAO,MAAM,YAAY,SACjB,OAAO,SACN,MAAM,KACZ,IAAI,IAAI,QAAQ,CAAC;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAOZ,CAAA;AAE5C,eAAO,MAAM,eAAe,SAAU,OAAO,KAAG,IAAI,IAAI,MAAM,CAAC,aAM/B,CAAA;AAEhC,eAAO,MAAM,iBAAiB,SACtB,OAAO,KACZ,IAAI,IAAI,MAAM,CAAC,eAIe,CAAA;AAEjC,eAAO,MAAM,gBAAgB,SACrB,OAAO,KACZ,IAAI,IAAI,MAAM,CAAC,cAIc,CAAA;AAEhC,eAAO,MAAM,kBAAkB,SACvB,OAAO,KACZ,IAAI,IAAI,QAAQ,CAAC;IAClB,IAAI,EAAE,kBAAkB,CAAA;IACxB,MAAM,EAAE,OAAO,CAAA;IACf,QAAQ,EAAE,OAAO,CAAA;IACjB,QAAQ,CAAC,EAAE,OAAO,CAAA;CACnB,CAIiC,CAAA;AAElC,eAAO,MAAM,kBAAkB,SACvB,OAAO,KACZ,IAAI,IAAI,MAAM,CAAC,gBAIgB,CAAA;AAElC,eAAO,MAAM,iBAAiB,SACtB,OAAO,KACZ,IAAI,IAAI,QAAQ,CAAC;IAClB,IAAI,EAAE,iBAAiB,CAAA;IACvB,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;CACjC,CAIgC,CAAA;AAEjC,eAAO,MAAM,eAAe,SAAU,OAAO,KAAG,OAIjB,CAAA;AAE/B,eAAO,MAAM,gBAAgB,WAAY,OAAO,KAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAYtE,CAAA;AAED,eAAO,MAAM,uBAAuB,WAC1B,OAAO,cACH,MAAM,KACjB,OACmE,CAAA;AAEtE,eAAO,MAAM,iBAAiB,SAAU,OAAO,KAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAUrE,CAAA;AAED,eAAO,MAAM,oBAAoB,SACzB,OAAO,KACZ,IAAI,IAAI,MAAM,CAAC,kBAIkB,CAAA;AAEpC,eAAO,MAAM,qBAAqB,SAC1B,OAAO,KACZ,IAAI,IAAI,MAAM,CAAC,mBAImB,CAAA;AAErC,eAAO,MAAM,SAAS,SAAU,OAAO,KAAG,IAAI,IAAI,MAAM,CAAC,OAIhC,CAAA;AAEzB,eAAO,MAAM,mBAAmB,SACxB,MAAM,CAAC,cAAc,KAC1B,MAAM,CAAC,aAAa,GAAG,SAGzB,CAAA"}

package/dist/index.d.ts

@@ -8,10 +8,6 @@ type OverriddenConfig = Plugin.OxlintConfig & {
     overrides: Array<Override>;
 };
 declare const _default: {
-    configs: {
-        recommended: OverriddenConfig;
-        all: OverriddenConfig;
-    };
     meta: {
         readonly name: string;
     };
@@ -44,6 +40,10 @@ declare const _default: {
         readonly 'selection-submodel-factory-at-module-scope': import("effect-oxlint").CreateRule;
         readonly 'wrap-child-output-in-got-message': import("effect-oxlint").CreateRule;
     };
+    configs: {
+        recommended: OverriddenConfig;
+        all: OverriddenConfig;
+    };
 };
 export default _default;
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,eAAe,CAAA;AAiEtC,KAAK,QAAQ,GAAG,QAAQ,CAAC;IACvB,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;IACpB,YAAY,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;IAC5B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,YAAY,CAAC,CAAA;CAC3C,CAAC,CAAA;AAEF,KAAK,gBAAgB,GAAG,MAAM,CAAC,YAAY,GAAG;IAC5C,SAAS,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAA;CAC3B,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAiDD,wBAMC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,eAAe,CAAA;AAiEtC,KAAK,QAAQ,GAAG,QAAQ,CAAC;IACvB,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;IACpB,YAAY,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;IAC5B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,YAAY,CAAC,CAAA;CAC3C,CAAC,CAAA;AAEF,KAAK,gBAAgB,GAAG,MAAM,CAAC,YAAY,GAAG;IAC5C,SAAS,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAA;CAC3B,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAoDG,WAAW;QACX,GAAG"}

package/dist/index.js

@@ -4,7 +4,7 @@ var __export = (target, all5) => {
     __defProp(target, name, { get: all5[name], enumerable: true });
 };
 
-// ../../node_modules/.pnpm/effect-oxlint@0.3.2_effect@4.0.0-rc.112/node_modules/effect-oxlint/dist/chunk.js
+// ../../node_modules/.pnpm/effect-oxlint@0.3.4_effect@4.0.0-rc.112/node_modules/effect-oxlint/dist/rolldown-runtime.js
 var __defProp2 = Object.defineProperty;
 var __exportAll = (all5, no_symbols) => {
   let target = {};
@@ -7399,7 +7399,7 @@ var flatMapEager2 = flatMapEager;
 var catchEager2 = catchEager;
 var fnUntracedEager2 = fnUntracedEager;
 
-// ../../node_modules/.pnpm/effect-oxlint@0.3.2_effect@4.0.0-rc.112/node_modules/effect-oxlint/dist/RuleContext.js
+// ../../node_modules/.pnpm/effect-oxlint@0.3.4_effect@4.0.0-rc.112/node_modules/effect-oxlint/dist/RuleContext.js
 var RuleContextBase = Service()("effect-oxlint/RuleContext");
 var RuleContext = class extends RuleContextBase {
 };
@@ -9594,6 +9594,7 @@ function decodeUnknownSync(schema, options) {
     return runSchemaErrorSync(parser(input, options2));
   };
 }
+var decodeSync2 = decodeUnknownSync;
 var make13 = make12;
 function Literal2(literal) {
   const out = make13(new Literal(literal), {
@@ -10014,7 +10015,7 @@ var updateSomeAndGet = /* @__PURE__ */ dual(2, (self, pf) => sync2(() => {
 }));
 var getUnsafe3 = (self) => self.ref.current;
 
-// ../../node_modules/.pnpm/effect-oxlint@0.3.2_effect@4.0.0-rc.112/node_modules/effect-oxlint/dist/index.js
+// ../../node_modules/.pnpm/effect-oxlint@0.3.4_effect@4.0.0-rc.112/node_modules/effect-oxlint/dist/index.js
 var AST_exports = /* @__PURE__ */ __exportAll({
   calleeIdentifier: () => calleeIdentifier,
   calleeName: () => calleeName,
@@ -10218,10 +10219,11 @@ var define = (config) => ({
     const decodeOptions = () => {
       const schema = config.options;
       if (schema === void 0) return void 0;
-      return decodeUnknownSync(schema)(oxlintContext.options[0]);
+      return decodeSync2(schema)(oxlintContext.options[0]);
     };
     const options = run2(sync2(decodeOptions));
-    return toOxlintVisitor(run2(gen4(() => config.create(options))), run2);
+    const effectVisitor = run2(gen4(() => config.create(options)));
+    return toOxlintVisitor(effectVisitor, run2);
   }
 });
 var meta = (opts) => ({
@@ -11086,92 +11088,134 @@ var lazyViewStableReferences = Rule_exports.define({
 
 // src/rules/mount-factory-must-use-element.ts
 var MOUNT_DEFINITION_METHODS = ["define", "defineStream"];
-var NO_ELEMENT_PARAMETER_MESSAGE = "This Mount factory never receives the element: it declares no usable element parameter. A Mount exists for element-caused, element-targeted work. If the element is irrelevant, use a Command, Subscription, or ManagedResource instead.";
-var ignoredElementParameterMessage = (parameterName) => `The element parameter \`${parameterName}\` is named as ignored. A Mount factory must read or write its live element; if the element does not matter here, the side effect has a different cause and belongs in a Command, Subscription, or ManagedResource.`;
-var unusedElementParameterMessage = (parameterName) => `The element parameter \`${parameterName}\` is never referenced in this Mount factory. A Mount factory must use its live element; work that does not need the element belongs in a Command, Subscription, or ManagedResource.`;
-var isFactoryFunction = (node) => node.type === "ArrowFunctionExpression" || node.type === "FunctionExpression";
-var isMountDefinitionChain = (call) => {
-  if (call.callee.type === "MemberExpression") {
-    return AST_exports.isMember(call.callee, "Mount", MOUNT_DEFINITION_METHODS);
-  }
-  if (call.callee.type === "CallExpression") {
-    return isMountDefinitionChain(call.callee);
-  }
-  return false;
-};
-var returnedFactoryFunction = (statement) => {
-  if (statement.type !== "ReturnStatement" || statement.argument === null) {
-    return Option_exports.none();
-  }
-  return isFactoryFunction(statement.argument) ? Option_exports.some(statement.argument) : Option_exports.none();
-};
-var descendToElementFactory = (builder) => {
-  const body = builder.body;
-  if (body === null) return builder;
-  if (isFactoryFunction(body)) return body;
-  if (body.type === "BlockStatement") {
-    return pipe(
-      body.body,
-      Array_exports.findFirst(returnedFactoryFunction),
-      Option_exports.getOrElse(() => builder)
-    );
-  }
-  return builder;
-};
+var ELEMENT_FIELD = "element";
+var NO_ELEMENT_BINDING_MESSAGE = `This Mount's \`execute\` never receives the element: it does not destructure \`element\` from its input. A Mount exists for element-caused, element-targeted work. If the element is irrelevant, use a Command, Subscription, or ManagedResource instead.`;
+var ignoredElementBindingMessage = (bindingName) => `The element binding \`${bindingName}\` is named as ignored. A Mount's \`execute\` must read or write its live element; if the element does not matter here, the side effect has a different cause and belongs in a Command, Subscription, or ManagedResource.`;
+var unusedElementBindingMessage = (bindingName) => `The element binding \`${bindingName}\` is never referenced in this Mount's \`execute\`. A Mount's \`execute\` must use its live element; work that does not need the element belongs in a Command, Subscription, or ManagedResource.`;
+var unreadElementFieldMessage = (bindingName) => `This Mount's \`execute\` reads other fields off \`${bindingName}\` but never its \`element\`. Destructure \`element\` from the input so the check can see the read, or if the element is irrelevant, use a Command, Subscription, or ManagedResource instead.`;
+var unusedInputMessage = (bindingName) => `This Mount's \`execute\` never references \`${bindingName}\`, so it never reaches the live element. Destructure \`element\` from the input so the check can see the read, or if the element is irrelevant, use a Command, Subscription, or ManagedResource instead.`;
+var isExecuteFunction = (node) => node.type === "ArrowFunctionExpression" || node.type === "FunctionExpression";
 var isRecord = (value) => typeof value === "object" && value !== null;
-var shadowsParameterName = (functionNode, parameterName) => {
+var shadowsBindingName = (functionNode, bindingName) => {
   const parameters = functionNode.params;
   if (!isRecord(parameters)) return false;
   return Object.values(parameters).some(
-    (parameter) => isRecord(parameter) && parameter.type === "Identifier" && parameter.name === parameterName
+    (parameter) => isRecord(parameter) && parameter.type === "Identifier" && parameter.name === bindingName
   );
 };
-var referencesName = (value, parameterName) => {
+var referencesName = (value, bindingName) => {
   if (!isRecord(value)) return false;
-  if (value.type === "Identifier" && value.name === parameterName) return true;
-  if ((value.type === "ArrowFunctionExpression" || value.type === "FunctionExpression") && shadowsParameterName(value, parameterName)) {
+  if (value.type === "Identifier" && value.name === bindingName) return true;
+  if ((value.type === "ArrowFunctionExpression" || value.type === "FunctionExpression") && shadowsBindingName(value, bindingName)) {
     return false;
   }
+  if (value.type === "MemberExpression" && value.computed !== true) {
+    return referencesName(value.object, bindingName);
+  }
   if (value.type === "Property") {
-    const computedKeyReferences = value.computed === true && referencesName(value.key, parameterName);
-    return computedKeyReferences || referencesName(value.value, parameterName);
+    const computedKeyReferences = value.computed === true && referencesName(value.key, bindingName);
+    return computedKeyReferences || referencesName(value.value, bindingName);
   }
   return Object.entries(value).some(
-    ([key, child]) => key !== "parent" && referencesName(child, parameterName)
+    ([key, child]) => key !== "parent" && referencesName(child, bindingName)
   );
 };
-var elementFactoryDiagnostic = (factory) => {
-  const [firstParameter] = factory.params;
-  if (firstParameter === void 0 || firstParameter.type !== "Identifier") {
-    return Option_exports.some(NO_ELEMENT_PARAMETER_MESSAGE);
+var inputUses = (value, inputName) => {
+  if (!isRecord(value)) return [];
+  if (value.type === "MemberExpression" && isRecord(value.object) && value.object.type === "Identifier" && value.object.name === inputName) {
+    if (value.computed === true) return ["MaybeElement"];
+    return isRecord(value.property) && value.property.type === "Identifier" && value.property.name === ELEMENT_FIELD ? ["Element"] : ["OtherField"];
+  }
+  if (value.type === "MemberExpression" && value.computed !== true) {
+    return inputUses(value.object, inputName);
+  }
+  if ((value.type === "ArrowFunctionExpression" || value.type === "FunctionExpression") && shadowsBindingName(value, inputName)) {
+    return [];
+  }
+  if (value.type === "Property") {
+    const keyUses = value.computed === true ? inputUses(value.key, inputName) : [];
+    return [...keyUses, ...inputUses(value.value, inputName)];
   }
-  if (firstParameter.name.startsWith("_")) {
-    return Option_exports.some(ignoredElementParameterMessage(firstParameter.name));
+  if (value.type === "Identifier" && value.name === inputName) {
+    return ["MaybeElement"];
   }
-  return referencesName(factory.body, firstParameter.name) ? Option_exports.none() : Option_exports.some(unusedElementParameterMessage(firstParameter.name));
+  return Object.entries(value).flatMap(
+    ([key, child]) => key === "parent" ? [] : inputUses(child, inputName)
+  );
 };
+var elementProperty = (pattern) => pipe(
+  pattern.properties,
+  Array_exports.findFirst(
+    (property) => property.type === "Property" && (property.key.type === "Literal" ? property.key.value === ELEMENT_FIELD : !property.computed && property.key.type === "Identifier" && property.key.name === ELEMENT_FIELD)
+  )
+);
+var restBindingName = (pattern) => pipe(
+  pattern.properties,
+  Array_exports.findFirst(
+    (property) => property.type === "RestElement" && property.argument.type === "Identifier" ? Option_exports.some(property.argument.name) : Option_exports.none()
+  )
+);
+var withoutDefault = (value) => value.type === "AssignmentPattern" ? value.left : value;
+var bindingDiagnostic = (execute, bindingName) => {
+  if (bindingName.startsWith("_")) {
+    return Option_exports.some(ignoredElementBindingMessage(bindingName));
+  }
+  return referencesName(execute.body, bindingName) ? Option_exports.none() : Option_exports.some(unusedElementBindingMessage(bindingName));
+};
+var unpackedDiagnostic = (execute, bindingName) => {
+  const uses = inputUses(execute.body, bindingName);
+  if (Array_exports.isReadonlyArrayEmpty(uses)) {
+    return Option_exports.some(unusedInputMessage(bindingName));
+  }
+  return uses.every((use) => use === "OtherField") ? Option_exports.some(unreadElementFieldMessage(bindingName)) : Option_exports.none();
+};
+var executeDiagnostic = (execute) => {
+  const [firstParameter] = execute.params;
+  if (firstParameter === void 0) {
+    return Option_exports.some(NO_ELEMENT_BINDING_MESSAGE);
+  }
+  if (firstParameter.type === "Identifier") {
+    return unpackedDiagnostic(execute, firstParameter.name);
+  }
+  if (firstParameter.type !== "ObjectPattern") {
+    return Option_exports.some(NO_ELEMENT_BINDING_MESSAGE);
+  }
+  return Option_exports.match(elementProperty(firstParameter), {
+    onNone: () => Option_exports.match(restBindingName(firstParameter), {
+      onNone: () => Option_exports.some(NO_ELEMENT_BINDING_MESSAGE),
+      onSome: (restName) => unpackedDiagnostic(execute, restName)
+    }),
+    onSome: (property) => {
+      const pattern = withoutDefault(property.value);
+      return pattern.type === "Identifier" ? bindingDiagnostic(execute, pattern.name) : Option_exports.none();
+    }
+  });
+};
+var executeFunction = (node) => pipe(
+  Array_exports.get(node.arguments, 1),
+  Option_exports.filter(isObjectExpression),
+  Option_exports.flatMap((config) => AST_exports.objectGetValue(config, "execute")),
+  Option_exports.filter(isExecuteFunction)
+);
 var mountFactoryMustUseElement = Rule_exports.define({
   name: "mount-factory-must-use-element",
   meta: Rule_exports.meta({
     type: "suggestion",
-    description: "Require Mount factories to use their live element."
+    description: "Require a Mount's execute to use its live element."
   }),
   create: function* () {
     const ctx = yield* RuleContext;
     return {
       CallExpression: (node) => {
-        if (!isCallExpression(node)) return Effect_exports.void;
-        if (node.callee.type !== "CallExpression" || !isMountDefinitionChain(node.callee)) {
-          return Effect_exports.void;
-        }
-        const [factoryArgument] = node.arguments;
-        if (factoryArgument === void 0 || !isFactoryFunction(factoryArgument)) {
+        if (!isCallExpression(node) || !AST_exports.isCallOf(node, "Mount", MOUNT_DEFINITION_METHODS)) {
           return Effect_exports.void;
         }
-        const elementFactory = descendToElementFactory(factoryArgument);
-        return Option_exports.match(elementFactoryDiagnostic(elementFactory), {
+        return Option_exports.match(executeFunction(node), {
           onNone: () => Effect_exports.void,
-          onSome: (message) => ctx.report(Diagnostic_exports.make({ node: elementFactory, message }))
+          onSome: (execute) => Option_exports.match(executeDiagnostic(execute), {
+            onNone: () => Effect_exports.void,
+            onSome: (message) => ctx.report(Diagnostic_exports.make({ node: execute, message }))
+          })
         });
       }
     };
@@ -11456,7 +11500,7 @@ var noDisablingDevGuardrails = Rule_exports.define({
 });
 
 // src/rules/no-duplicate-onmount-per-element.ts
-var DUPLICATE_ON_MOUNT_MESSAGE = "Only one OnMount attribute can attach to an element. Foldkit installs a single insert hook and tracks a single Mount fiber per element, so a later OnMount replaces the earlier one and its factory never runs. Combine the behaviors into one Mount definition.";
+var DUPLICATE_ON_MOUNT_MESSAGE = "Only one OnMount attribute can attach to an element. Foldkit installs a single insert hook and tracks a single Mount fiber per element, so a later OnMount replaces the earlier one and its `execute` never runs. Combine the behaviors into one Mount definition.";
 var isOnMountCallee = (callee) => {
   if (callee.type === "Identifier") {
     return callee.name === "OnMount";

package/dist/message.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"message.d.ts","sourceRoot":"","sources":["../src/message.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,eAAe,CAAA;AAM3C,MAAM,MAAM,WAAW,GAAG,QAAQ,CAAC;IACjC,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAA;IACrB,MAAM,EAAE,MAAM,CAAC,gBAAgB,CAAA;CAChC,CAAC,CAAA;AAoBF,eAAO,MAAM,iCAAiC,GAC5C,UAAU,GAAG,CAAC,MAAM,CAAC,EACrB,MAAM,MAAM,CAAC,IAAI,KAChB,IA0BF,CAAA;AAED,eAAO,MAAM,YAAY,GACvB,MAAM,MAAM,CAAC,cAAc,EAC3B,UAAU,WAAW,CAAC,MAAM,CAAC,KAC5B,aAAa,CAAC,WAAW,CA4B3B,CAAA;AAED,eAAO,MAAM,yBAAyB,GACpC,QAAQ,MAAM,CAAC,gBAAgB,KAC9B,OAMA,CAAA"}
+{"version":3,"file":"message.d.ts","sourceRoot":"","sources":["../src/message.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,eAAe,CAAA;AAM3C,MAAM,MAAM,WAAW,GAAG,QAAQ,CAAC;IACjC,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAA;IACrB,MAAM,EAAE,MAAM,CAAC,gBAAgB,CAAA;CAChC,CAAC,CAAA;AAoBF,eAAO,MAAM,iCAAiC,aAClC,GAAG,CAAC,MAAM,CAAC,QACf,MAAM,CAAC,IAAI,KAChB,IA0BF,CAAA;AAED,eAAO,MAAM,YAAY,SACjB,MAAM,CAAC,cAAc,YACjB,WAAW,CAAC,MAAM,CAAC,KAC5B,aAAa,CAAC,WAAW,CA4B3B,CAAA;AAED,eAAO,MAAM,yBAAyB,WAC5B,MAAM,CAAC,gBAAgB,KAC9B,OAMA,CAAA"}

package/dist/rules/mount-factory-must-use-element.d.ts

@@ -1,3 +1,3 @@
-/** Flags applied Mount.define and Mount.defineStream factories that never use their element parameter. A Mount exists for element-caused, element-targeted work; a factory that ignores the element belongs in a Command, Subscription, or ManagedResource. */
+/** Flags Mount.define and Mount.defineStream definitions whose `execute` never uses its element. A Mount exists for element-caused, element-targeted work; work that ignores the element belongs in a Command, Subscription, or ManagedResource. */
 export declare const mountFactoryMustUseElement: import("effect-oxlint").CreateRule;
 //# sourceMappingURL=mount-factory-must-use-element.d.ts.map

package/dist/rules/mount-factory-must-use-element.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"mount-factory-must-use-element.d.ts","sourceRoot":"","sources":["../../src/rules/mount-factory-must-use-element.ts"],"names":[],"mappings":"AA4GA,+PAA+P;AAC/P,eAAO,MAAM,0BAA0B,oCAiCrC,CAAA"}
+{"version":3,"file":"mount-factory-must-use-element.d.ts","sourceRoot":"","sources":["../../src/rules/mount-factory-must-use-element.ts"],"names":[],"mappings":"AA0NA,oPAAoP;AACpP,eAAO,MAAM,0BAA0B,oCA4BrC,CAAA"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@foldkit/oxlint-plugin",
-  "version": "0.10.0",
+  "version": "0.11.0-canary.d902ee3d7d0b",
   "description": "Oxlint rules for Foldkit applications",
   "type": "module",
   "main": "./dist/index.js",
@@ -15,15 +15,16 @@
     "./all.json": "./all.json"
   },
   "dependencies": {
-    "effect-oxlint": "^0.3.2"
+    "effect-oxlint": "^0.3.4"
   },
   "devDependencies": {
-    "@types/node": "^25.9.3",
+    "@types/node": "^26.4.0",
+    "@typescript/native": "npm:typescript@^7.0.2",
     "effect": "4.0.0-rc.112",
-    "esbuild": "^0.28.1",
+    "esbuild": "^0.28.2",
     "rimraf": "^6.1.3",
-    "typescript": "^6.0.3",
-    "vitest": "^4.1.9"
+    "typescript": "npm:@typescript/typescript6@^6.0.2",
+    "vitest": "^4.1.11"
   },
   "files": [
     "dist",