@timmo001/oxlint-rules 0.3.1 → 0.3.2

package/dist/cli.js

@@ -834,14 +834,7 @@ function functionParameterBindingName(parameter, sourceCode) {
   return annotationStart === undefined ? sourceText : sourceText.slice(0, annotationStart - parameter.start).trimEnd();
 }
 
-// vendor/anti-slop/src/rules/no-known-value-widening.ts
-function unwrapExpression(expression) {
-  let current = expression;
-  while (current.type === "ParenthesizedExpression" || current.type === "TSAsExpression" || current.type === "TSSatisfiesExpression" || current.type === "TSTypeAssertion" || current.type === "TSNonNullExpression") {
-    current = current.expression;
-  }
-  return current;
-}
+// vendor/anti-slop/src/shared/scope.ts
 function resolveVariable(sourceCode, identifier) {
   let scope = sourceCode.getScope(identifier);
   while (scope !== null) {
@@ -852,6 +845,15 @@ function resolveVariable(sourceCode, identifier) {
   }
   return null;
 }
+
+// vendor/anti-slop/src/rules/no-known-value-widening.ts
+function unwrapExpression(expression) {
+  let current = expression;
+  while (current.type === "ParenthesizedExpression" || current.type === "TSAsExpression" || current.type === "TSSatisfiesExpression" || current.type === "TSTypeAssertion" || current.type === "TSNonNullExpression") {
+    current = current.expression;
+  }
+  return current;
+}
 function variableDeclarator(variable) {
   if (variable.defs.length !== 1)
     return null;
@@ -1119,16 +1121,6 @@ var noKnownValueWideningRule = defineRule5({
 // vendor/anti-slop/src/rules/no-module-mocking.ts
 import { defineRule as defineRule6 } from "@oxlint/plugins";
 var moduleMockMethods = new Set(["doMock", "mock", "unstable_mockModule"]);
-function resolveVariable2(sourceCode, identifier) {
-  let scope = sourceCode.getScope(identifier);
-  while (scope !== null) {
-    const variable = scope.set.get(identifier.name);
-    if (variable !== undefined)
-      return variable;
-    scope = scope.upper;
-  }
-  return null;
-}
 function importedName(node) {
   if (node.type !== "ImportSpecifier")
     return null;
@@ -1140,7 +1132,7 @@ function isTestFrameworkObject(sourceCode, expression) {
   if ((expression.name === "vi" || expression.name === "jest") && sourceCode.isGlobalReference(expression)) {
     return true;
   }
-  const variable = resolveVariable2(sourceCode, expression);
+  const variable = resolveVariable(sourceCode, expression);
   if (variable === null || variable.defs.length === 0) {
     return expression.name === "vi" || expression.name === "jest";
   }
@@ -1243,22 +1235,12 @@ var noObjectParametersRule = defineRule7({
 import { defineRule as defineRule8 } from "@oxlint/plugins";
 
 // vendor/anti-slop/src/shared/reflect-method.ts
-function resolveVariable3(sourceCode, identifier) {
-  let scope = sourceCode.getScope(identifier);
-  while (scope !== null) {
-    const variable = scope.set.get(identifier.name);
-    if (variable !== undefined)
-      return variable;
-    scope = scope.upper;
-  }
-  return null;
-}
 function isGlobalReflect(sourceCode, expression) {
   if (expression.type !== "Identifier" || expression.name !== "Reflect")
     return false;
   if (sourceCode.isGlobalReference(expression))
     return true;
-  const variable = resolveVariable3(sourceCode, expression);
+  const variable = resolveVariable(sourceCode, expression);
   return variable === null || variable.defs.length === 0;
 }
 function isGlobalReflectMethodCall(sourceCode, callee, methodName) {
@@ -1923,6 +1905,528 @@ var noWidenThenAssertRule = defineRule16({
   }
 });
 
+// vendor/anti-slop/src/vendor/eslint-stylistic/padding-line-ast.ts
+var LINEBREAKS = new Set([`\r
+`, "\r", `
+`, "\u2028", "\u2029"]);
+var isClosingBraceToken = (token) => token.type === "Punctuator" && token.value === "}";
+var isSemicolonToken = (token) => token.type === "Punctuator" && token.value === ";";
+var isNotSemicolonToken = (token) => !isSemicolonToken(token);
+var isTokenOnSameLine = (left, right) => left.loc.end.line === right.loc.start.line;
+var isFunction = (node) => node.type === "FunctionDeclaration" || node.type === "FunctionExpression" || node.type === "ArrowFunctionExpression";
+var isSingleLine = (node) => node.loc.start.line === node.loc.end.line;
+var skipChainExpression = (node) => node.type === "ChainExpression" ? node.expression : node;
+var isTopLevelExpressionStatement = (node) => node.type === "ExpressionStatement" && (node.parent.type === "Program" || node.parent.type === "BlockStatement" && isFunction(node.parent.parent));
+function isParenthesized(node, sourceCode) {
+  const before = sourceCode.getTokenBefore(node);
+  const after = sourceCode.getTokenAfter(node);
+  return before?.value === "(" && after?.value === ")";
+}
+
+// vendor/anti-slop/src/vendor/eslint-stylistic/padding-line-between-statements.ts
+var CJS_EXPORT = /^(?:module\s*\.\s*)?exports(?:\s*\.|\s*\[|$)/u;
+var CJS_IMPORT = /^require\(/u;
+var LT = `[${Array.from(LINEBREAKS).join("")}]`;
+var PADDING_LINE_SEQUENCE = new RegExp(String.raw`^(\s*?${LT})\s*${LT}(\s*;?)$`, "u");
+function isSelectorOption(option) {
+  return typeof option === "object" && !Array.isArray(option);
+}
+function newKeywordTester(type, keyword) {
+  return {
+    test(node, sourceCode) {
+      const isSameKeyword = sourceCode.getFirstToken(node)?.value === keyword;
+      const isSameType = Array.isArray(type) ? type.includes(node.type) : type === node.type;
+      return isSameKeyword && isSameType;
+    }
+  };
+}
+function newNodeTypeTester(type) {
+  return {
+    test: (node) => node.type === type
+  };
+}
+function isIIFEStatement(node) {
+  if (node.type === "ExpressionStatement") {
+    let expression = skipChainExpression(node.expression);
+    if (expression.type === "UnaryExpression")
+      expression = skipChainExpression(expression.argument);
+    if (expression.type === "CallExpression") {
+      let node = expression.callee;
+      while (node.type === "SequenceExpression") {
+        const lastExpression = node.expressions.at(-1);
+        if (lastExpression === undefined)
+          throw new Error("Padding rule invariant: sequence expression is empty");
+        node = lastExpression;
+      }
+      return isFunction(node);
+    }
+  }
+  return false;
+}
+function isCJSRequire(node) {
+  if (node.type === "VariableDeclaration") {
+    const declaration = node.declarations[0];
+    if (declaration?.init) {
+      let call = declaration?.init;
+      while (call.type === "MemberExpression")
+        call = call.object;
+      if (call.type === "CallExpression" && call.callee.type === "Identifier") {
+        return call.callee.name === "require";
+      }
+    }
+  }
+  return false;
+}
+function isBlockLikeStatement(node, sourceCode) {
+  if (node.type === "DoWhileStatement" && node.body.type === "BlockStatement") {
+    return true;
+  }
+  if (isIIFEStatement(node))
+    return true;
+  const lastToken = sourceCode.getLastToken(node, isNotSemicolonToken);
+  const belongingNode = lastToken && isClosingBraceToken(lastToken) ? sourceCode.getNodeByRangeIndex(lastToken.range[0]) : null;
+  return !!belongingNode && (belongingNode.type === "BlockStatement" || belongingNode.type === "SwitchStatement");
+}
+function isDirective(node, sourceCode) {
+  return isTopLevelExpressionStatement(node) && node.expression.type === "Literal" && typeof node.expression.value === "string" && !isParenthesized(node.expression, sourceCode);
+}
+function isDirectivePrologue(node, sourceCode) {
+  if (isDirective(node, sourceCode) && node.parent && "body" in node.parent && Array.isArray(node.parent.body)) {
+    for (const sibling of node.parent.body) {
+      if (sibling === node)
+        break;
+      if (!isDirective(sibling, sourceCode))
+        return false;
+    }
+    return true;
+  }
+  return false;
+}
+function isCJSExport(node) {
+  if (node.type === "ExpressionStatement") {
+    const expression = node.expression;
+    if (expression.type === "AssignmentExpression") {
+      let left = expression.left;
+      if (left.type === "MemberExpression") {
+        while (left.object.type === "MemberExpression")
+          left = left.object;
+        return left.object.type === "Identifier" && (left.object.name === "exports" || left.object.name === "module" && left.property.type === "Identifier" && left.property.name === "exports");
+      }
+    }
+  }
+  return false;
+}
+function isExpression(node, sourceCode) {
+  return node.type === "ExpressionStatement" && !isDirectivePrologue(node, sourceCode);
+}
+function getActualLastToken(node, sourceCode) {
+  const semiToken = sourceCode.getLastToken(node);
+  const prevToken = sourceCode.getTokenBefore(semiToken);
+  const nextToken = sourceCode.getTokenAfter(semiToken);
+  const isSemicolonLessStyle = prevToken && nextToken && prevToken.range[0] >= node.range[0] && isSemicolonToken(semiToken) && !isTokenOnSameLine(prevToken, semiToken) && isTokenOnSameLine(semiToken, nextToken);
+  return isSemicolonLessStyle ? prevToken : semiToken;
+}
+function replacerToRemovePaddingLines(_, trailingSpaces, indentSpaces) {
+  return trailingSpaces + indentSpaces;
+}
+function getReportLoc(node, sourceCode) {
+  if (isSingleLine(node))
+    return node.loc;
+  const line = node.loc.start.line;
+  const sourceLine = sourceCode.lines[line - 1];
+  if (sourceLine === undefined)
+    throw new Error("Padding rule invariant: statement source line is missing");
+  return {
+    start: node.loc.start,
+    end: {
+      line,
+      column: sourceLine.length
+    }
+  };
+}
+function verifyForAny() {}
+function verifyForNever(context, _, nextNode, paddingLines) {
+  if (paddingLines.length === 0)
+    return;
+  context.report({
+    node: nextNode,
+    messageId: "unexpectedBlankLine",
+    loc: getReportLoc(nextNode, context.sourceCode),
+    fix(fixer) {
+      if (paddingLines.length >= 2)
+        return null;
+      const paddingPair = paddingLines[0];
+      if (paddingPair === undefined)
+        throw new Error("Padding rule invariant: reported padding pair is missing");
+      const [prevToken, nextToken] = paddingPair;
+      const start = prevToken.range[1];
+      const end = nextToken.range[0];
+      const text = context.sourceCode.text.slice(start, end).replace(PADDING_LINE_SEQUENCE, replacerToRemovePaddingLines);
+      return fixer.replaceTextRange([start, end], text);
+    }
+  });
+}
+function verifyForAlways(context, prevNode, nextNode, paddingLines) {
+  if (paddingLines.length > 0)
+    return;
+  context.report({
+    node: nextNode,
+    messageId: "expectedBlankLine",
+    loc: getReportLoc(nextNode, context.sourceCode),
+    fix(fixer) {
+      const sourceCode = context.sourceCode;
+      let prevToken = getActualLastToken(prevNode, sourceCode);
+      const nextToken = sourceCode.getFirstTokenBetween(prevToken, nextNode, {
+        includeComments: true,
+        filter(token) {
+          if (isTokenOnSameLine(prevToken, token)) {
+            prevToken = token;
+            return false;
+          }
+          return true;
+        }
+      }) || nextNode;
+      const insertText = isTokenOnSameLine(prevToken, nextToken) ? `
+
+` : `
+`;
+      return fixer.insertTextAfter(prevToken, insertText);
+    }
+  });
+}
+var PaddingTypes = {
+  any: { verify: verifyForAny },
+  never: { verify: verifyForNever },
+  always: { verify: verifyForAlways }
+};
+var MaybeMultilineStatementType = {
+  "block-like": { test: isBlockLikeStatement },
+  expression: { test: isExpression },
+  return: newKeywordTester("ReturnStatement", "return"),
+  export: newKeywordTester([
+    "ExportAllDeclaration",
+    "ExportDefaultDeclaration",
+    "ExportNamedDeclaration"
+  ], "export"),
+  var: newKeywordTester("VariableDeclaration", "var"),
+  let: newKeywordTester("VariableDeclaration", "let"),
+  const: newKeywordTester("VariableDeclaration", "const"),
+  using: {
+    test: (node) => node.type === "VariableDeclaration" && (node.kind === "using" || node.kind === "await using")
+  },
+  type: newKeywordTester("TSTypeAliasDeclaration", "type")
+};
+var StatementTypes = {
+  "*": { test: () => true },
+  exports: { test: isCJSExport },
+  require: { test: isCJSRequire },
+  directive: { test: isDirectivePrologue },
+  iife: { test: isIIFEStatement },
+  block: newNodeTypeTester("BlockStatement"),
+  empty: newNodeTypeTester("EmptyStatement"),
+  function: newNodeTypeTester("FunctionDeclaration"),
+  "ts-method": newNodeTypeTester("TSMethodSignature"),
+  break: newKeywordTester("BreakStatement", "break"),
+  case: newKeywordTester("SwitchCase", "case"),
+  class: newKeywordTester("ClassDeclaration", "class"),
+  continue: newKeywordTester("ContinueStatement", "continue"),
+  debugger: newKeywordTester("DebuggerStatement", "debugger"),
+  default: newKeywordTester(["SwitchCase", "ExportDefaultDeclaration"], "default"),
+  do: newKeywordTester("DoWhileStatement", "do"),
+  for: newKeywordTester([
+    "ForStatement",
+    "ForInStatement",
+    "ForOfStatement"
+  ], "for"),
+  if: newKeywordTester("IfStatement", "if"),
+  import: newKeywordTester("ImportDeclaration", "import"),
+  switch: newKeywordTester("SwitchStatement", "switch"),
+  throw: newKeywordTester("ThrowStatement", "throw"),
+  try: newKeywordTester("TryStatement", "try"),
+  while: newKeywordTester(["WhileStatement", "DoWhileStatement"], "while"),
+  with: newKeywordTester("WithStatement", "with"),
+  "cjs-export": {
+    test: (node, sourceCode) => node.type === "ExpressionStatement" && node.expression.type === "AssignmentExpression" && CJS_EXPORT.test(sourceCode.getText(node.expression.left))
+  },
+  "cjs-import": {
+    test: (node, sourceCode) => node.type === "VariableDeclaration" && node.declarations.length > 0 && node.declarations[0]?.init != null && CJS_IMPORT.test(sourceCode.getText(node.declarations[0].init))
+  },
+  enum: newKeywordTester("TSEnumDeclaration", "enum"),
+  interface: newKeywordTester("TSInterfaceDeclaration", "interface"),
+  "function-overload": newNodeTypeTester("TSDeclareFunction"),
+  ...Object.fromEntries(Object.entries(MaybeMultilineStatementType).flatMap(([key, value]) => [
+    [key, value],
+    [
+      `singleline-${key}`,
+      {
+        ...value,
+        test: (node, sourceCode) => value.test(node, sourceCode) && isSingleLine(node)
+      }
+    ],
+    [
+      `multiline-${key}`,
+      {
+        ...value,
+        test: (node, sourceCode) => value.test(node, sourceCode) && !isSingleLine(node)
+      }
+    ]
+  ]))
+};
+function createPaddingLineRule(options) {
+  return {
+    meta: {
+      type: "layout",
+      docs: {
+        description: "Require or disallow padding lines between statements"
+      },
+      fixable: "whitespace",
+      hasSuggestions: false,
+      schema: {
+        $defs: {
+          paddingType: {
+            type: "string",
+            enum: Object.keys(PaddingTypes)
+          },
+          statementType: {
+            type: "string",
+            enum: Object.keys(StatementTypes)
+          },
+          selectorOption: {
+            type: "object",
+            properties: {
+              selector: {
+                type: "string"
+              },
+              lineMode: {
+                type: "string",
+                enum: ["any", "singleline", "multiline"]
+              }
+            },
+            required: ["selector"],
+            additionalProperties: false
+          },
+          statementMatcher: {
+            anyOf: [
+              { $ref: "#/$defs/statementType" },
+              { $ref: "#/$defs/selectorOption" }
+            ]
+          },
+          statementOption: {
+            anyOf: [
+              { $ref: "#/$defs/statementMatcher" },
+              {
+                type: "array",
+                items: { $ref: "#/$defs/statementMatcher" },
+                minItems: 1,
+                uniqueItems: true,
+                additionalItems: false
+              }
+            ]
+          }
+        },
+        type: "array",
+        additionalItems: false,
+        items: {
+          type: "object",
+          properties: {
+            blankLine: { $ref: "#/$defs/paddingType" },
+            prev: { $ref: "#/$defs/statementOption" },
+            next: { $ref: "#/$defs/statementOption" }
+          },
+          additionalProperties: false,
+          required: ["blankLine", "prev", "next"]
+        }
+      },
+      messages: {
+        unexpectedBlankLine: "Unexpected blank line before this statement.",
+        expectedBlankLine: "Expected blank line before this statement."
+      }
+    },
+    create(context) {
+      const sourceCode = context.sourceCode;
+      const selectorMatchedNodes = new Map;
+      const pendingPairs = [];
+      function collectSelectorOption(option) {
+        if (Array.isArray(option)) {
+          for (const item of option)
+            collectSelectorOption(item);
+          return;
+        }
+        if (!isSelectorOption(option))
+          return;
+        selectorMatchedNodes.set(option.selector, new Set);
+      }
+      for (const configure of options) {
+        collectSelectorOption(configure.prev);
+        collectSelectorOption(configure.next);
+      }
+      let scopeInfo = null;
+      function enterScope() {
+        scopeInfo = {
+          upper: scopeInfo,
+          prevNode: null
+        };
+      }
+      function exitScope() {
+        if (scopeInfo)
+          scopeInfo = scopeInfo.upper;
+      }
+      function match(node, type) {
+        let innerStatementNode = node;
+        while (innerStatementNode.type === "LabeledStatement")
+          innerStatementNode = innerStatementNode.body;
+        if (Array.isArray(type))
+          return type.some(match.bind(null, innerStatementNode));
+        if (isSelectorOption(type)) {
+          const matchedNodes = selectorMatchedNodes.get(type.selector);
+          if (!matchedNodes?.has(innerStatementNode))
+            return false;
+          const lineMode = type.lineMode;
+          if (lineMode === "singleline")
+            return isSingleLine(innerStatementNode);
+          else if (lineMode === "multiline")
+            return !isSingleLine(innerStatementNode);
+          return true;
+        } else {
+          const statementType = StatementTypes[type];
+          if (statementType === undefined)
+            throw new Error(`Padding rule invariant: unsupported statement type ${type}`);
+          return statementType.test(innerStatementNode, sourceCode);
+        }
+      }
+      function getPaddingType(prevNode, nextNode) {
+        for (let i = options.length - 1;i >= 0; --i) {
+          const configure = options[i];
+          if (configure === undefined)
+            throw new Error("Padding rule invariant: configuration entry is missing");
+          if (match(prevNode, configure.prev) && match(nextNode, configure.next)) {
+            return PaddingTypes[configure.blankLine];
+          }
+        }
+        return PaddingTypes.any;
+      }
+      function getPaddingLineSequences(prevNode, nextNode) {
+        const pairs = [];
+        let prevToken = getActualLastToken(prevNode, sourceCode);
+        if (nextNode.loc.start.line - prevToken.loc.end.line >= 2) {
+          do {
+            const token = sourceCode.getTokenAfter(prevToken, {
+              includeComments: true
+            });
+            if (token.loc.start.line - prevToken.loc.end.line >= 2)
+              pairs.push([prevToken, token]);
+            prevToken = token;
+          } while (prevToken.range[0] < nextNode.range[0]);
+        }
+        return pairs;
+      }
+      function verify(node) {
+        if (!node.parent || ![
+          "BlockStatement",
+          "Program",
+          "StaticBlock",
+          "SwitchCase",
+          "SwitchStatement",
+          "TSInterfaceBody",
+          "TSModuleBlock",
+          "TSTypeLiteral"
+        ].includes(node.parent.type)) {
+          return;
+        }
+        const prevNode = scopeInfo.prevNode;
+        if (prevNode)
+          pendingPairs.push({ prevNode, nextNode: node });
+        scopeInfo.prevNode = node;
+      }
+      function verifyPendingPairs() {
+        for (const { prevNode, nextNode } of pendingPairs) {
+          const type = getPaddingType(prevNode, nextNode);
+          const paddingLines = getPaddingLineSequences(prevNode, nextNode);
+          type.verify(context, prevNode, nextNode, paddingLines);
+        }
+      }
+      function verifyThenEnterScope(node) {
+        verify(node);
+        enterScope();
+      }
+      const selectorMatchListeners = Object.fromEntries(Array.from(selectorMatchedNodes.keys(), (selector) => [
+        selector,
+        (node) => {
+          selectorMatchedNodes.get(selector)?.add(node);
+        }
+      ]));
+      return {
+        Program: enterScope,
+        "Program:exit": () => {
+          verifyPendingPairs();
+          exitScope();
+        },
+        BlockStatement: enterScope,
+        "BlockStatement:exit": exitScope,
+        SwitchStatement: enterScope,
+        "SwitchStatement:exit": exitScope,
+        SwitchCase: verifyThenEnterScope,
+        "SwitchCase:exit": exitScope,
+        StaticBlock: enterScope,
+        "StaticBlock:exit": exitScope,
+        TSInterfaceBody: enterScope,
+        "TSInterfaceBody:exit": exitScope,
+        TSModuleBlock: enterScope,
+        "TSModuleBlock:exit": exitScope,
+        TSTypeLiteral: enterScope,
+        "TSTypeLiteral:exit": exitScope,
+        TSDeclareFunction: verifyThenEnterScope,
+        "TSDeclareFunction:exit": exitScope,
+        TSMethodSignature: verifyThenEnterScope,
+        "TSMethodSignature:exit": exitScope,
+        ":statement": verify,
+        ...selectorMatchListeners
+      };
+    }
+  };
+}
+
+// vendor/anti-slop/src/rules/require-readable-spacing.ts
+var paddingRule = createPaddingLineRule([
+  { blankLine: "always", prev: "import", next: "*" },
+  { blankLine: "always", prev: "*", next: { selector: "Program > :not(ImportDeclaration)" } },
+  { blankLine: "always", prev: { selector: "Program > :not(ImportDeclaration)" }, next: "*" },
+  { blankLine: "always", prev: "*", next: ["function", "class", "interface", "type"] },
+  { blankLine: "always", prev: ["function", "class", "interface", "type"], next: "*" },
+  {
+    blankLine: "always",
+    prev: "*",
+    next: ["multiline-const", "multiline-let", "multiline-var", "multiline-using"]
+  },
+  {
+    blankLine: "always",
+    prev: ["multiline-const", "multiline-let", "multiline-var", "multiline-using"],
+    next: "*"
+  },
+  { blankLine: "always", prev: "*", next: ["return", "if", "switch", "try", "for", "while", "do"] },
+  { blankLine: "always", prev: "block-like", next: "*" },
+  { blankLine: "any", prev: "import", next: "import" },
+  {
+    blankLine: "any",
+    prev: {
+      selector: ':matches(TSDeclareFunction, ExportNamedDeclaration[declaration.type="TSDeclareFunction"])'
+    },
+    next: {
+      selector: ':matches(TSDeclareFunction, FunctionDeclaration, ExportNamedDeclaration[declaration.type="TSDeclareFunction"], ExportNamedDeclaration[declaration.type="FunctionDeclaration"])'
+    }
+  }
+]);
+var requireReadableSpacingRule = {
+  ...paddingRule,
+  meta: {
+    ...paddingRule.meta,
+    docs: {
+      description: "Require readable spacing between declarations and logical statement groups."
+    },
+    schema: []
+  }
+};
+
 // vendor/anti-slop/src/rules/require-safety-comment-for-type-assertion.ts
 import { defineRule as defineRule17 } from "@oxlint/plugins";
 var DEFAULT_SAFETY_MARKERS = ["SAFETY"];
@@ -2036,6 +2540,7 @@ var antiSlopPlugin = eslintCompatPlugin({
     "no-unknown-returns": noUnknownReturnsRule,
     "no-unknown-type-aliases": noUnknownTypeAliasesRule,
     "no-widen-then-assert": noWidenThenAssertRule,
+    "require-readable-spacing": requireReadableSpacingRule,
     "require-safety-comment-for-type-assertion": requireSafetyCommentForTypeAssertionRule
   }
 });
@@ -2134,7 +2639,7 @@ import { eslintCompatPlugin as eslintCompatPlugin3 } from "@oxlint/plugins";
 
 // src/effect/rules/no-try-catch-in-effect-generators.ts
 import { defineRule as defineRule19 } from "@oxlint/plugins";
-function resolveVariable4(sourceCode, identifier) {
+function resolveVariable2(sourceCode, identifier) {
   let scope = sourceCode.getScope(identifier);
   while (scope) {
     const variable = scope.set.get(identifier.name);
@@ -2160,7 +2665,7 @@ function staticMemberName(node) {
   return node.property.type === "Identifier" ? node.property.name : null;
 }
 function isEffectImport(sourceCode, identifier, namespace) {
-  const variable = resolveVariable4(sourceCode, identifier);
+  const variable = resolveVariable2(sourceCode, identifier);
   return variable?.defs.some((definition) => {
     if (definition.type !== "ImportBinding" || definition.parent?.type !== "ImportDeclaration" || definition.parent.source.value !== "effect") {
       return false;
@@ -2236,8 +2741,149 @@ var effect_default = timmoEffectPlugin;
 // vendor/anti-slop/src/effect/index.ts
 import { eslintCompatPlugin as eslintCompatPlugin4 } from "@oxlint/plugins";
 
-// vendor/anti-slop/src/effect/rules/no-service-constructor-imports.ts
+// vendor/anti-slop/src/effect/rules/no-manual-effect-error-tag.ts
 import { defineRule as defineRule20 } from "@oxlint/plugins";
+
+// vendor/anti-slop/src/effect/shared/tagged-values.ts
+var equalityOperators = new Set(["==", "===", "!=", "!=="]);
+var broadEffectCatchMethods = new Set(["catch", "catchAll", "catchIf"]);
+var isStringLiteral = (node) => node?.type === "Literal" && typeof node.value === "string";
+var isTagMember = (node) => node?.type === "MemberExpression" && (!node.computed && node.property.type === "Identifier" && node.property.name === "_tag" || node.computed && isStringLiteral(node.property) && node.property.value === "_tag");
+var tagMemberFromComparison = (node) => {
+  if (!equalityOperators.has(node.operator))
+    return;
+  if (isTagMember(node.left) && isStringLiteral(node.right))
+    return node.left;
+  if (isTagMember(node.right) && isStringLiteral(node.left))
+    return node.right;
+  return;
+};
+var isBroadEffectCatchCall = (node) => node?.type === "CallExpression" && node.callee.type === "MemberExpression" && node.callee.object.type === "Identifier" && node.callee.object.name === "Effect" && !node.callee.computed && node.callee.property.type === "Identifier" && broadEffectCatchMethods.has(node.callee.property.name);
+var isInsideBroadEffectHandler = (node) => {
+  let current = node.parent;
+  while (current !== null && current !== undefined) {
+    if (current.type === "ArrowFunctionExpression" || current.type === "FunctionExpression") {
+      return isBroadEffectCatchCall(current.parent) && current.parent.arguments.includes(current);
+    }
+    current = current.parent;
+  }
+  return false;
+};
+var isReasonTagMember = (node) => node.object.type === "MemberExpression" && (!node.object.computed && node.object.property.type === "Identifier" && node.object.property.name === "reason" || node.object.computed && isStringLiteral(node.object.property) && node.object.property.value === "reason");
+var propertyName = (property) => {
+  if (!property.computed && property.key.type === "Identifier") {
+    return property.key.name;
+  }
+  if (property.key.type === "Literal" && typeof property.key.value === "string") {
+    return property.key.value;
+  }
+  return;
+};
+var isMatchPatternObject = (node) => {
+  const call = node.parent;
+  if (call?.type !== "CallExpression" || !call.arguments.includes(node)) {
+    return false;
+  }
+  const callee = call.callee;
+  return callee.type === "MemberExpression" && callee.object.type === "Identifier" && callee.object.name === "Match" && !callee.computed && callee.property.type === "Identifier" && (callee.property.name === "when" || callee.property.name === "not");
+};
+
+// vendor/anti-slop/src/effect/rules/no-manual-effect-error-tag.ts
+var noManualEffectErrorTagRule = defineRule20({
+  meta: {
+    type: "problem",
+    docs: {
+      description: "Use Effect tagged error handlers instead of manually branching on `_tag` in a catch handler."
+    },
+    messages: {
+      tag: "Use Effect.catchTag or Effect.catchTags instead of manually discriminating a tagged error in a broad Effect catch handler.",
+      reason: "Use Effect.catchReason or Effect.catchReasons instead of manually discriminating a tagged `reason` in a broad Effect catch handler."
+    }
+  },
+  createOnce(context) {
+    return {
+      BinaryExpression(node) {
+        const tagMember = tagMemberFromComparison(node);
+        if (tagMember === undefined || !isInsideBroadEffectHandler(node)) {
+          return;
+        }
+        context.report({
+          node,
+          messageId: isReasonTagMember(tagMember) ? "reason" : "tag"
+        });
+      },
+      SwitchStatement(node) {
+        if (!isTagMember(node.discriminant) || !isInsideBroadEffectHandler(node)) {
+          return;
+        }
+        context.report({
+          node,
+          messageId: isReasonTagMember(node.discriminant) ? "reason" : "tag"
+        });
+      }
+    };
+  }
+});
+
+// vendor/anti-slop/src/effect/rules/no-manual-tag-comparison.ts
+import { defineRule as defineRule21 } from "@oxlint/plugins";
+var noManualTagComparisonRule = defineRule21({
+  meta: {
+    type: "problem",
+    docs: {
+      description: "Use Effect Match or Predicate helpers instead of manually branching on `_tag`."
+    },
+    messages: {
+      manualComparison: "Use Match.tag/Match.tags for tagged-value branching, or Predicate.isTagged for a simple reusable predicate.",
+      manualSwitch: "Use Match.value(value).pipe(Match.tag/Match.tags/Match.tagsExhaustive) or the tagged enum `$match` helper instead of switching on `_tag`."
+    }
+  },
+  createOnce(context) {
+    return {
+      BinaryExpression(node) {
+        if (tagMemberFromComparison(node) === undefined || isInsideBroadEffectHandler(node)) {
+          return;
+        }
+        context.report({ node, messageId: "manualComparison" });
+      },
+      SwitchStatement(node) {
+        if (!isTagMember(node.discriminant) || isInsideBroadEffectHandler(node)) {
+          return;
+        }
+        context.report({ node, messageId: "manualSwitch" });
+      }
+    };
+  }
+});
+
+// vendor/anti-slop/src/effect/rules/no-manual-tagged-construction.ts
+import { defineRule as defineRule22 } from "@oxlint/plugins";
+var noManualTaggedConstructionRule = defineRule22({
+  meta: {
+    type: "problem",
+    docs: {
+      description: "Construct tagged values with their existing Effect constructor instead of writing `_tag` manually."
+    },
+    messages: {
+      manualConstruction: "Use the existing Schema tagged `.make`, tagged class/error constructor, or Data.taggedEnum variant constructor instead of writing a literal `_tag` object."
+    }
+  },
+  createOnce(context) {
+    return {
+      ObjectExpression(node) {
+        if (isMatchPatternObject(node))
+          return;
+        const tag = node.properties.find((property) => property.type === "Property" && propertyName(property) === "_tag" && isStringLiteral(property.value));
+        if (tag !== undefined) {
+          context.report({ node: tag, messageId: "manualConstruction" });
+        }
+      }
+    };
+  }
+});
+
+// vendor/anti-slop/src/effect/rules/no-service-constructor-imports.ts
+import { defineRule as defineRule23 } from "@oxlint/plugins";
 var SERVICE_CONSTRUCTOR_NAME = /^make[A-Z]/u;
 var TEST_FILE = /\.(?:test|spec)\.[cm]?[jt]sx?$/u;
 function isProjectLocalImport(source) {
@@ -2248,7 +2894,7 @@ function getImportedName(specifier) {
     return specifier.imported.name;
   return specifier.imported.value;
 }
-var noServiceConstructorImportsRule = defineRule20({
+var noServiceConstructorImportsRule = defineRule23({
   meta: {
     type: "problem",
     docs: {
@@ -2281,11 +2927,63 @@ var noServiceConstructorImportsRule = defineRule20({
   }
 });
 
+// vendor/anti-slop/src/effect/rules/prefer-effect-match.ts
+import { defineRule as defineRule24 } from "@oxlint/plugins";
+var equalityOperators2 = new Set(["==", "===", "!=", "!=="]);
+var preferEffectMatchRule = defineRule24({
+  meta: {
+    type: "problem",
+    docs: {
+      description: "Use Match from Effect for chained literal ternaries over the same value."
+    },
+    messages: {
+      preferMatch: "Use Match from Effect instead of a chained literal ternary."
+    }
+  },
+  createOnce(context) {
+    const isLiteral = (node) => node.type === "Literal" || node.type === "TemplateLiteral" && node.expressions.length === 0;
+    const comparedValue = (node) => {
+      if (node.type !== "BinaryExpression" || !equalityOperators2.has(node.operator)) {
+        return;
+      }
+      if (isLiteral(node.left))
+        return context.sourceCode.getText(node.right);
+      if (isLiteral(node.right))
+        return context.sourceCode.getText(node.left);
+      return;
+    };
+    return {
+      ConditionalExpression(node) {
+        if (node.parent?.type === "ConditionalExpression")
+          return;
+        const value = comparedValue(node.test);
+        if (value === undefined)
+          return;
+        let alternate = node.alternate;
+        let literalChecks = 1;
+        while (alternate.type === "ConditionalExpression") {
+          if (comparedValue(alternate.test) !== value)
+            return;
+          literalChecks += 1;
+          alternate = alternate.alternate;
+        }
+        if (literalChecks > 1) {
+          context.report({ node, messageId: "preferMatch" });
+        }
+      }
+    };
+  }
+});
+
 // vendor/anti-slop/src/effect/index.ts
 var antiSlopEffectPlugin = eslintCompatPlugin4({
   meta: { name: "anti-slop-effect" },
   rules: {
-    "no-service-constructor-imports": noServiceConstructorImportsRule
+    "no-manual-effect-error-tag": noManualEffectErrorTagRule,
+    "no-manual-tag-comparison": noManualTagComparisonRule,
+    "no-manual-tagged-construction": noManualTaggedConstructionRule,
+    "no-service-constructor-imports": noServiceConstructorImportsRule,
+    "prefer-effect-match": preferEffectMatchRule
   }
 });
 var effect_default2 = antiSlopEffectPlugin;