@sarj/eslint-plugin 15.3.0 → 15.5.0

package/dist/index.cjs

@@ -104,6 +104,7 @@ ${missing.join("\n")}`);
 function publicExample(example) {
   return {
     id: example.id,
+    scenarioId: example.scenarioId ?? "primary",
     title: example.title,
     outcome: example.outcome,
     files: example.files.map(publicFile),
@@ -148,9 +149,14 @@ function nativeSpec(config, documentation) {
   const examples = [...documentation.examples ?? []];
   examples.forEach(validateExample);
   assertUnique(examples.map((example) => example.id), "rule example IDs");
-  const publicOutcomes = new Set(examples.filter((example) => example.public === true).map((example) => example.outcome));
-  if (publicOutcomes.size > 0 && !(publicOutcomes.has("match") && publicOutcomes.has("no-match"))) {
-    throw new TypeError("published rule examples must include matching and non-matching cases");
+  const publicExamples = examples.filter((example) => example.public === true);
+  const scenarios = new Set(publicExamples.map((example) => example.scenarioId ?? "primary"));
+  for (const scenario of scenarios) {
+    const pair = publicExamples.filter((example) => (example.scenarioId ?? "primary") === scenario);
+    const outcomes = new Set(pair.map((example) => example.outcome));
+    if (pair.length !== 2 || !outcomes.has("match") || !outcomes.has("no-match")) {
+      throw new TypeError(`published example scenario ${scenario} must contain both matching and non-matching cases exactly once`);
+    }
   }
   const messageIds = Object.keys(meta2.messages).sort();
   const schema = optionsSchema(meta2.schema);
@@ -171,7 +177,7 @@ function nativeSpec(config, documentation) {
     references,
     since: documentation.since ?? null,
     examples,
-    publicExamples: examples.filter((example) => example.public === true),
+    publicExamples,
     messageIds,
     optionsSchema: schema
   };
@@ -191,6 +197,9 @@ function validateExample(example) {
   if (!KEBAB_CASE.test(example.id)) {
     throw new TypeError("example ID must be lowercase kebab-case");
   }
+  if (!KEBAB_CASE.test(example.scenarioId ?? "primary")) {
+    throw new TypeError("example scenario must be lowercase kebab-case");
+  }
   if (example.title.trim().length === 0) {
     throw new TypeError("example title must not be empty");
   }
@@ -598,6 +607,9 @@ function isAssertionStatement(statement) {
   const expression = statement.expression;
   return expression.type === import_utils3.AST_NODE_TYPES.CallExpression && isAssertionCall(expression);
 }
+function isTypeOnlyContractStatement(statement) {
+  return statement.type === import_utils3.AST_NODE_TYPES.TSTypeAliasDeclaration || statement.type === import_utils3.AST_NODE_TYPES.TSInterfaceDeclaration;
+}
 function normalizedLiteral(node) {
   if ("regex" in node) {
     return ["Literal", "regex", node.regex.pattern, node.regex.flags];
@@ -655,7 +667,7 @@ var duplicate_test_body_default = createRule({
           return;
         }
         const body2 = candidate.body;
-        if (body2.body.type !== import_utils3.AST_NODE_TYPES.BlockStatement || body2.body.body.length < MIN_STATEMENTS || body2.body.body.every(isAssertionStatement)) {
+        if (body2.body.type !== import_utils3.AST_NODE_TYPES.BlockStatement || body2.body.body.length < MIN_STATEMENTS || body2.body.body.every(isAssertionStatement) || body2.body.body.some(isTypeOnlyContractStatement)) {
           return;
         }
         const comments = context.sourceCode.getCommentsInside(body2.body).map((comment) => [comment.type, comment.value]);
@@ -3550,7 +3562,11 @@ var NUMBER_METHODS = /* @__PURE__ */ new Set([
   "lt",
   "lte",
   "max",
-  "min"
+  "min",
+  "negative",
+  "nonnegative",
+  "nonpositive",
+  "positive"
 ]);
 var LENGTH_METHODS = /* @__PURE__ */ new Set(["length", "max", "min"]);
 var RESHAPING_METHODS = /* @__PURE__ */ new Set([
@@ -3687,13 +3703,29 @@ var no_impossible_zod_literal_bounds_default = createRule({
       let upper = null;
       for (const { method, node } of chain.calls) {
         if (!allowed.has(method)) return null;
-        const value = finiteNumber(node.arguments[0]);
+        const semantic = method === "positive" ? { exclusive: true, lower: true, value: 0 } : method === "nonnegative" ? { exclusive: false, lower: true, value: 0 } : method === "negative" ? { exclusive: true, lower: false, value: 0 } : method === "nonpositive" ? { exclusive: false, lower: false, value: 0 } : null;
+        const value = semantic?.value ?? finiteNumber(node.arguments[0]);
         if (value === null) return null;
         if (chain.kind !== "number" && (!Number.isInteger(value) || value < 0)) {
           return null;
         }
         const label = `${method}(${String(value)})`;
-        if (method === "length") {
+        if (semantic !== null) {
+          if (node.arguments.length !== 0) return null;
+          if (semantic.lower) {
+            lower = strongerLower(lower, {
+              exclusive: semantic.exclusive,
+              label: `${method}()`,
+              value
+            });
+          } else {
+            upper = strongerUpper(upper, {
+              exclusive: semantic.exclusive,
+              label: `${method}()`,
+              value
+            });
+          }
+        } else if (method === "length") {
           lower = strongerLower(lower, { exclusive: false, label, value });
           upper = strongerUpper(upper, { exclusive: false, label, value });
         } else if (method === "gt" || method === "gte" || method === "min") {
@@ -6806,6 +6838,13 @@ function nearestEnclosingFunction(node) {
   }
   return null;
 }
+function isImmediatelyConsumedSleep(node) {
+  const parent = node.parent;
+  if (parent?.type === import_utils34.AST_NODE_TYPES.AwaitExpression || parent?.type === import_utils34.AST_NODE_TYPES.ReturnStatement || parent?.type === import_utils34.AST_NODE_TYPES.ExpressionStatement) {
+    return true;
+  }
+  return parent?.type === import_utils34.AST_NODE_TYPES.ArrowFunctionExpression && parent.body === node;
+}
 function isTestBody(fn) {
   const call = fn.parent;
   if (call?.type !== import_utils34.AST_NODE_TYPES.CallExpression || !call.arguments.some((argument) => argument === fn)) {
@@ -6848,6 +6887,9 @@ var no_sleep_in_test_body_default = createRule({
       return {};
     }
     const report = (node) => {
+      if (!isImmediatelyConsumedSleep(node)) {
+        return;
+      }
       const enclosing = nearestEnclosingFunction(node);
       if (enclosing === null || !isTestBody(enclosing)) {
         return;
@@ -7145,6 +7187,27 @@ function isSmallStaticForLoop(node) {
   const iterations = node.test.right.value - declaration.init.value + (node.test.operator === "<=" ? 1 : 0);
   return iterations >= 0 && iterations <= 8;
 }
+function isStringSeededReduce(node) {
+  if (node.callee.type !== "MemberExpression" || node.callee.computed || node.callee.property.type !== "Identifier" || node.callee.property.name !== "reduce" || node.arguments.length !== 2) {
+    return false;
+  }
+  const [callback, initial] = node.arguments;
+  if (node.callee.object.type === "ArrayExpression" && node.callee.object.elements.length <= 8) {
+    return false;
+  }
+  if (callback === void 0 || initial === void 0 || callback.type === "SpreadElement" || initial.type === "SpreadElement" || callback.type !== "ArrowFunctionExpression" && callback.type !== "FunctionExpression" || callback.params[0]?.type !== "Identifier" || !isStringLiteralInit(initial)) {
+    return false;
+  }
+  const accumulator = callback.params[0].name;
+  if (callback.body.type !== "BlockStatement") {
+    return isConcatOntoTarget(callback.body, accumulator);
+  }
+  if (callback.body.body.length !== 1 || callback.body.body[0]?.type !== "ReturnStatement") {
+    return false;
+  }
+  const returned = callback.body.body[0].argument;
+  return returned !== null && isConcatOntoTarget(returned, accumulator);
+}
 var no_string_concat_in_loop_default = createRule({
   name: "no-string-concat-in-loop",
   documentation: noStringConcatInLoopDocumentation,
@@ -7155,7 +7218,8 @@ var no_string_concat_in_loop_default = createRule({
     },
     schema: [],
     messages: {
-      noStringConcatInLoop: 'Avoid building a string with `+=` inside a loop \u2014 this is O(n^2). Push the parts onto an array and use `arr.join("")` after the loop.'
+      noStringConcatInLoop: 'Avoid building a string with `+=` inside a loop \u2014 this is O(n^2). Push the parts onto an array and use `arr.join("")` after the loop.',
+      noStringReduce: "Avoid concatenating a growing string in `reduce` \u2014 this is O(n^2). Map the fragments and join them once instead."
     }
   },
   defaultOptions: [],
@@ -7165,6 +7229,11 @@ var no_string_concat_in_loop_default = createRule({
     }
     const reported = /* @__PURE__ */ new WeakMap();
     return {
+      CallExpression(node) {
+        if (isStringSeededReduce(node)) {
+          context.report({ node, messageId: "noStringReduce" });
+        }
+      },
       AssignmentExpression(node) {
         if (node.left.type !== "Identifier") {
           return;
@@ -7269,6 +7338,9 @@ function isLiteral(node) {
       return false;
   }
 }
+function isStructuralLiteral(node) {
+  return node.type === import_utils37.AST_NODE_TYPES.ArrayExpression || node.type === import_utils37.AST_NODE_TYPES.ObjectExpression;
+}
 function expectOperand(callee) {
   const receiver = callee.object;
   if (receiver.type !== import_utils37.AST_NODE_TYPES.CallExpression || receiver.callee.type !== import_utils37.AST_NODE_TYPES.Identifier || receiver.callee.name !== "expect" || receiver.arguments.length !== 1) {
@@ -7325,6 +7397,9 @@ var no_tautological_expect_default = createRule({
         if (!EQUALITY_MATCHERS.has(matcher) || node.arguments.length !== 1 || expected === void 0 || !isLiteral(expected)) {
           return;
         }
+        if (matcher === "toBe" && (isStructuralLiteral(operand) || isStructuralLiteral(expected))) {
+          return;
+        }
         if (context.sourceCode.getText(operand) !== context.sourceCode.getText(expected)) {
           return;
         }
@@ -7838,7 +7913,13 @@ var no_declaration_comment_wall_default = createRule({
       const lead = ownsItsLine ? endingOn.get(member.loc.start.line - 1) : void 0;
       if (lead !== void 0) {
         const before = sourceCode.getTokenBefore(lead, { includeComments: false });
-        if (before === null || before.loc.end.line < lead.loc.start.line) return lead;
+        if (before === null || before.loc.end.line < lead.loc.start.line) {
+          const previousLine = endingOn.get(lead.loc.start.line - 1);
+          if (lead.type === import_utils40.AST_TOKEN_TYPES.Line && previousLine?.type === import_utils40.AST_TOKEN_TYPES.Line && previousLine.loc.start.column === lead.loc.start.column) {
+            return void 0;
+          }
+          return lead;
+        }
       }
       const trail = startingOn.get(member.loc.end.line);
       return trail !== void 0 && trail.range[0] > member.range[0] ? trail : void 0;
@@ -8140,7 +8221,13 @@ var no_type_member_comment_wall_default = createRule({
       const lead = ownsItsLine ? endingOn.get(member.loc.start.line - 1) : void 0;
       if (lead !== void 0) {
         const before = sourceCode.getTokenBefore(lead, { includeComments: false });
-        if (before === null || before.loc.end.line < lead.loc.start.line) return lead;
+        if (before === null || before.loc.end.line < lead.loc.start.line) {
+          const previousLine = endingOn.get(lead.loc.start.line - 1);
+          if (lead.type === import_utils42.AST_TOKEN_TYPES.Line && previousLine?.type === import_utils42.AST_TOKEN_TYPES.Line && previousLine.loc.start.column === lead.loc.start.column) {
+            return void 0;
+          }
+          return lead;
+        }
       }
       const trail = startingOn.get(member.loc.end.line);
       return trail !== void 0 && trail.range[0] > member.range[0] ? trail : void 0;
@@ -8437,6 +8524,10 @@ var no_unnecessary_use_client_default = createRule({
 var import_utils44 = require("@typescript-eslint/utils");
 var MOCK_TYPE_NAMES = /* @__PURE__ */ new Set([
   "Mock",
+  "Mocked",
+  "MockedClass",
+  "MockedFunction",
+  "MockedObject",
   "MockInstance",
   "SpyInstance"
 ]);
@@ -8680,9 +8771,9 @@ var no_zod_native_enum_default = createRule({
     }
     function isZodMemberCall(node, api) {
       const callee = node.callee;
-      if (callee.type === import_utils45.AST_NODE_TYPES.MemberExpression && !callee.computed && callee.object.type === import_utils45.AST_NODE_TYPES.Identifier && callee.property.type === import_utils45.AST_NODE_TYPES.Identifier) {
+      if (callee.type === import_utils45.AST_NODE_TYPES.MemberExpression && callee.object.type === import_utils45.AST_NODE_TYPES.Identifier && (callee.property.type === import_utils45.AST_NODE_TYPES.Identifier && !callee.computed && callee.property.name === api || callee.computed && callee.property.type === import_utils45.AST_NODE_TYPES.Literal && callee.property.value === api)) {
         const binding = resolvedBinding(callee.object);
-        return binding !== null && zodNamespaceBindings.has(binding) && callee.property.name === api;
+        return binding !== null && zodNamespaceBindings.has(binding);
       }
       if (callee.type === import_utils45.AST_NODE_TYPES.Identifier) {
         const binding = resolvedBinding(callee);
@@ -9526,6 +9617,27 @@ var prefer_immutable_module_constant_default = createRule({
     }
     const exportedNames2 = /* @__PURE__ */ new Set();
     const typeAliases2 = /* @__PURE__ */ new Map();
+    const mutatesThroughConstAlias = (root) => {
+      const pending = [root];
+      const seen = /* @__PURE__ */ new Set();
+      while (pending.length > 0) {
+        const variable = pending.pop();
+        if (variable === void 0 || seen.has(variable)) continue;
+        seen.add(variable);
+        for (const reference of variable.references) {
+          const identifier = reference.identifier;
+          if (identifier.type !== import_utils51.AST_NODE_TYPES.Identifier) continue;
+          if (referenceMutates(identifier, isUnshadowedGlobal)) return true;
+          const declarator = identifier.parent;
+          if (declarator.type !== import_utils51.AST_NODE_TYPES.VariableDeclarator || declarator.init !== identifier || declarator.id.type !== import_utils51.AST_NODE_TYPES.Identifier || declarator.parent.type !== import_utils51.AST_NODE_TYPES.VariableDeclaration || declarator.parent.kind !== "const") {
+            continue;
+          }
+          const alias = sourceCode.getDeclaredVariables(declarator)[0];
+          if (alias !== void 0) pending.push(alias);
+        }
+      }
+      return false;
+    };
     return {
       Program(node) {
         for (const statement of node.body) {
@@ -9566,9 +9678,7 @@ var prefer_immutable_module_constant_default = createRule({
           return;
         }
         const variable = sourceCode.getDeclaredVariables(node)[0];
-        if (!directlyExported && !exportedNames2.has(node.id.name) && variable?.references.some(
-          (reference) => reference.identifier.type === import_utils51.AST_NODE_TYPES.Identifier && referenceMutates(reference.identifier, isUnshadowedGlobal)
-        ) === true) {
+        if (!directlyExported && !exportedNames2.has(node.id.name) && variable !== void 0 && mutatesThroughConstAlias(variable)) {
           return;
         }
         context.report({
@@ -10347,6 +10457,10 @@ var prefer_module_level_schema_default = createRule({
         }
         for (const definition of resolved.defs) {
           if (definition.type === "ImportBinding") {
+            const parent = reference.identifier.parent;
+            if (parent?.type === import_utils54.AST_NODE_TYPES.CallExpression && parent.callee === reference.identifier && !zodNamespaces.has(reference.identifier.name)) {
+              return false;
+            }
             continue;
           }
           if (definition.node.type === import_utils54.AST_NODE_TYPES.VariableDeclarator && definition.node.parent.type === import_utils54.AST_NODE_TYPES.VariableDeclaration && definition.node.parent.kind !== "const") {
@@ -12178,10 +12292,7 @@ var SHAPE_PRESERVING_METHODS = /* @__PURE__ */ new Set([
 ]);
 var OPTIONAL_MODIFIERS = /* @__PURE__ */ new Set([
   "optional",
-  "nullish",
-  "default",
-  "prefault",
-  "catch"
+  "nullish"
 ]);
 var NULLABLE_MODIFIERS = /* @__PURE__ */ new Set(["nullable", "nullish"]);
 var RESHAPING_MODIFIERS = /* @__PURE__ */ new Set([
@@ -13450,6 +13561,7 @@ var ZOD_PARSE_METHODS = /* @__PURE__ */ new Set([
   "parseAsync",
   "safeParseAsync"
 ]);
+var FORM_VALUE_METHODS = /* @__PURE__ */ new Set(["get", "getAll"]);
 var zodReceiverRoot = (node) => {
   let current = node;
   while (true) {
@@ -13524,7 +13636,7 @@ var require_zod_form_validation_default = createRule({
     };
     const isFormSourceIdentifier = (node) => {
       if (node.type !== import_utils66.AST_NODE_TYPES.Identifier) return false;
-      if (/formdata/i.test(node.name)) return true;
+      const conventionalName = /formdata/i.test(node.name);
       let scope = context.sourceCode.getScope(node);
       while (scope !== null) {
         const variable = scope.set.get(node.name);
@@ -13533,16 +13645,16 @@ var require_zod_form_validation_default = createRule({
           if (def !== void 0 && def.type === "Variable" && def.node.type === import_utils66.AST_NODE_TYPES.VariableDeclarator && def.node.init !== null) {
             return isFormDataMethodCall(def.node.init);
           }
-          return false;
+          return def?.type === "Parameter" && conventionalName;
         }
         scope = scope.upper;
       }
-      return false;
+      return conventionalName;
     };
     const isFormDataGetCall = (node) => {
       const callee = node.callee;
       if (callee.type !== import_utils66.AST_NODE_TYPES.MemberExpression) return false;
-      if (callee.property.type !== import_utils66.AST_NODE_TYPES.Identifier || callee.property.name !== "get") {
+      if (callee.property.type !== import_utils66.AST_NODE_TYPES.Identifier || !FORM_VALUE_METHODS.has(callee.property.name)) {
         return false;
       }
       return isFormSourceIdentifier(callee.object);
@@ -13636,6 +13748,40 @@ var require_zod_form_validation_default = createRule({
       }
       return ["===", "!==", "==", "!="].includes(parent.operator) && (parent.right.type === import_utils66.AST_NODE_TYPES.Literal && parent.right.value === null || parent.right.type === import_utils66.AST_NODE_TYPES.Identifier && parent.right.name === "undefined");
     };
+    const isDescendantOf = (node, ancestor) => {
+      let current = node;
+      while (current !== void 0 && current !== null) {
+        if (current === ancestor) return true;
+        current = current.parent;
+      }
+      return false;
+    };
+    const blockTerminates = (node) => {
+      if (node.type === import_utils66.AST_NODE_TYPES.ReturnStatement || node.type === import_utils66.AST_NODE_TYPES.ThrowStatement) {
+        return true;
+      }
+      if (node.type !== import_utils66.AST_NODE_TYPES.BlockStatement || node.body.length === 0) return false;
+      const last = node.body.at(-1);
+      return last !== void 0 && blockTerminates(last);
+    };
+    const narrowingIf = (identifier) => {
+      const comparison = identifier.parent;
+      if (comparison?.type !== import_utils66.AST_NODE_TYPES.BinaryExpression || comparison.operator !== "instanceof" || comparison.left !== identifier || comparison.right.type !== import_utils66.AST_NODE_TYPES.Identifier || comparison.right.name !== "File" && comparison.right.name !== "Blob") {
+        return null;
+      }
+      const maybeNegation = comparison.parent;
+      const negated = maybeNegation?.type === import_utils66.AST_NODE_TYPES.UnaryExpression && maybeNegation.operator === "!";
+      const test = negated ? maybeNegation : comparison;
+      const branch = test.parent;
+      return branch?.type === import_utils66.AST_NODE_TYPES.IfStatement && branch.test === test ? { branch, positive: !negated } : null;
+    };
+    const useDominatedByNarrowing = (use, narrowings) => narrowings.some(({ branch, positive }) => {
+      if (positive) return isDescendantOf(use, branch.consequent);
+      if (!blockTerminates(branch.consequent)) return false;
+      const branchStatement = containingStatement(branch);
+      const useStatement = containingStatement(use);
+      return branchStatement !== null && useStatement !== null && branchStatement.parent === useStatement.parent && branchStatement.range[1] < useStatement.range[0];
+    });
     const statementWithinBlock = (node, block) => {
       let current = node;
       while (current.parent !== void 0 && current.parent !== block) {
@@ -13650,14 +13796,16 @@ var require_zod_form_validation_default = createRule({
         (identifier) => identifier.type === import_utils66.AST_NODE_TYPES.Identifier
       );
       if (references.length === 0) return false;
-      if (references.some(isInstanceofNarrowing)) return true;
+      const narrowings = references.map(narrowingIf).filter(
+        (value) => value !== null
+      );
       const validationStatements = references.map((reference) => guaranteedValidationStatement(declarator, reference)).filter(
         (statement) => statement !== null
       );
       const declarationStatement = containingStatement(declarator);
       const declarationBlock = declarationStatement?.parent;
       return references.every((reference) => {
-        if (zodParseAncestor(reference) !== null || isSafePrevalidationInspection(reference)) {
+        if (zodParseAncestor(reference) !== null || isSafePrevalidationInspection(reference) || useDominatedByNarrowing(reference, narrowings)) {
           return true;
         }
         if (declarationBlock === void 0) return false;
@@ -14187,7 +14335,13 @@ var NON_SCHEMA_TERMINALS = /* @__PURE__ */ new Set([
   "safeDecodeAsync",
   "toJSONSchema",
   "registry",
-  "implement"
+  "implement",
+  "flattenError",
+  "formatError",
+  "isNullable",
+  "isOptional",
+  "prettifyError",
+  "treeifyError"
 ]);
 var terminalMethodName = (callee) => !callee.computed && callee.property.type === import_utils69.AST_NODE_TYPES.Identifier ? callee.property.name : null;
 var calleeChainRoot = (node) => {
@@ -14436,7 +14590,7 @@ var rules = {
 };
 var meta = {
   name: "@sarj/eslint-plugin",
-  version: "15.3.0"
+  version: "15.5.0"
 };
 var applicationOnlyRules = [
   "no-restricted-library-load",

package/dist/index.d.cts

@@ -25,6 +25,7 @@ interface ExampleFile {
 /** A reviewed example. It remains private unless `public: true` is explicit. */
 interface RuleExample {
     readonly id: string;
+    readonly scenarioId?: string;
     readonly title: string;
     readonly outcome: ExampleOutcome;
     readonly files: readonly ExampleFile[];
@@ -224,7 +225,7 @@ declare const rules: {
     readonly "no-silent-promise-catch": DocumentedRule<readonly [], "silentCatch">;
     readonly "no-sleep-in-test-body": DocumentedRule<readonly [], "noSleepInTestBody">;
     readonly "no-storage-in-stateless-modules": DocumentedRule<readonly [RuleOptions$3?], "storageInStatelessModule">;
-    readonly "no-string-concat-in-loop": DocumentedRule<readonly [], "noStringConcatInLoop">;
+    readonly "no-string-concat-in-loop": DocumentedRule<readonly [], "noStringConcatInLoop" | "noStringReduce">;
     readonly "no-tautological-expect": DocumentedRule<readonly [], "tautologicalComparison" | "tautologicalMatcher">;
     readonly "no-typed-doc-sections": DocumentedRule<readonly [], "typedSection">;
     readonly "no-trailing-value-narration": DocumentedRule<readonly [], "deleteNarration" | "narratesValue">;
@@ -414,7 +415,7 @@ type FlatPreset = {
 declare const plugin: {
     readonly meta: {
         readonly name: "@sarj/eslint-plugin";
-        readonly version: "15.3.0";
+        readonly version: "15.5.0";
     };
     readonly rules: {
         readonly "duplicate-test-body": DocumentedRule<readonly [], "duplicateTestBody">;
@@ -454,7 +455,7 @@ declare const plugin: {
         readonly "no-silent-promise-catch": DocumentedRule<readonly [], "silentCatch">;
         readonly "no-sleep-in-test-body": DocumentedRule<readonly [], "noSleepInTestBody">;
         readonly "no-storage-in-stateless-modules": DocumentedRule<readonly [RuleOptions$3?], "storageInStatelessModule">;
-        readonly "no-string-concat-in-loop": DocumentedRule<readonly [], "noStringConcatInLoop">;
+        readonly "no-string-concat-in-loop": DocumentedRule<readonly [], "noStringConcatInLoop" | "noStringReduce">;
         readonly "no-tautological-expect": DocumentedRule<readonly [], "tautologicalComparison" | "tautologicalMatcher">;
         readonly "no-typed-doc-sections": DocumentedRule<readonly [], "typedSection">;
         readonly "no-trailing-value-narration": DocumentedRule<readonly [], "deleteNarration" | "narratesValue">;

package/dist/index.d.ts

@@ -25,6 +25,7 @@ interface ExampleFile {
 /** A reviewed example. It remains private unless `public: true` is explicit. */
 interface RuleExample {
     readonly id: string;
+    readonly scenarioId?: string;
     readonly title: string;
     readonly outcome: ExampleOutcome;
     readonly files: readonly ExampleFile[];
@@ -224,7 +225,7 @@ declare const rules: {
     readonly "no-silent-promise-catch": DocumentedRule<readonly [], "silentCatch">;
     readonly "no-sleep-in-test-body": DocumentedRule<readonly [], "noSleepInTestBody">;
     readonly "no-storage-in-stateless-modules": DocumentedRule<readonly [RuleOptions$3?], "storageInStatelessModule">;
-    readonly "no-string-concat-in-loop": DocumentedRule<readonly [], "noStringConcatInLoop">;
+    readonly "no-string-concat-in-loop": DocumentedRule<readonly [], "noStringConcatInLoop" | "noStringReduce">;
     readonly "no-tautological-expect": DocumentedRule<readonly [], "tautologicalComparison" | "tautologicalMatcher">;
     readonly "no-typed-doc-sections": DocumentedRule<readonly [], "typedSection">;
     readonly "no-trailing-value-narration": DocumentedRule<readonly [], "deleteNarration" | "narratesValue">;
@@ -414,7 +415,7 @@ type FlatPreset = {
 declare const plugin: {
     readonly meta: {
         readonly name: "@sarj/eslint-plugin";
-        readonly version: "15.3.0";
+        readonly version: "15.5.0";
     };
     readonly rules: {
         readonly "duplicate-test-body": DocumentedRule<readonly [], "duplicateTestBody">;
@@ -454,7 +455,7 @@ declare const plugin: {
         readonly "no-silent-promise-catch": DocumentedRule<readonly [], "silentCatch">;
         readonly "no-sleep-in-test-body": DocumentedRule<readonly [], "noSleepInTestBody">;
         readonly "no-storage-in-stateless-modules": DocumentedRule<readonly [RuleOptions$3?], "storageInStatelessModule">;
-        readonly "no-string-concat-in-loop": DocumentedRule<readonly [], "noStringConcatInLoop">;
+        readonly "no-string-concat-in-loop": DocumentedRule<readonly [], "noStringConcatInLoop" | "noStringReduce">;
         readonly "no-tautological-expect": DocumentedRule<readonly [], "tautologicalComparison" | "tautologicalMatcher">;
         readonly "no-typed-doc-sections": DocumentedRule<readonly [], "typedSection">;
         readonly "no-trailing-value-narration": DocumentedRule<readonly [], "deleteNarration" | "narratesValue">;

package/dist/index.js

@@ -61,6 +61,7 @@ ${missing.join("\n")}`);
 function publicExample(example) {
   return {
     id: example.id,
+    scenarioId: example.scenarioId ?? "primary",
     title: example.title,
     outcome: example.outcome,
     files: example.files.map(publicFile),
@@ -105,9 +106,14 @@ function nativeSpec(config, documentation) {
   const examples = [...documentation.examples ?? []];
   examples.forEach(validateExample);
   assertUnique(examples.map((example) => example.id), "rule example IDs");
-  const publicOutcomes = new Set(examples.filter((example) => example.public === true).map((example) => example.outcome));
-  if (publicOutcomes.size > 0 && !(publicOutcomes.has("match") && publicOutcomes.has("no-match"))) {
-    throw new TypeError("published rule examples must include matching and non-matching cases");
+  const publicExamples = examples.filter((example) => example.public === true);
+  const scenarios = new Set(publicExamples.map((example) => example.scenarioId ?? "primary"));
+  for (const scenario of scenarios) {
+    const pair = publicExamples.filter((example) => (example.scenarioId ?? "primary") === scenario);
+    const outcomes = new Set(pair.map((example) => example.outcome));
+    if (pair.length !== 2 || !outcomes.has("match") || !outcomes.has("no-match")) {
+      throw new TypeError(`published example scenario ${scenario} must contain both matching and non-matching cases exactly once`);
+    }
   }
   const messageIds = Object.keys(meta2.messages).sort();
   const schema = optionsSchema(meta2.schema);
@@ -128,7 +134,7 @@ function nativeSpec(config, documentation) {
     references,
     since: documentation.since ?? null,
     examples,
-    publicExamples: examples.filter((example) => example.public === true),
+    publicExamples,
     messageIds,
     optionsSchema: schema
   };
@@ -148,6 +154,9 @@ function validateExample(example) {
   if (!KEBAB_CASE.test(example.id)) {
     throw new TypeError("example ID must be lowercase kebab-case");
   }
+  if (!KEBAB_CASE.test(example.scenarioId ?? "primary")) {
+    throw new TypeError("example scenario must be lowercase kebab-case");
+  }
   if (example.title.trim().length === 0) {
     throw new TypeError("example title must not be empty");
   }
@@ -555,6 +564,9 @@ function isAssertionStatement(statement) {
   const expression = statement.expression;
   return expression.type === AST_NODE_TYPES2.CallExpression && isAssertionCall(expression);
 }
+function isTypeOnlyContractStatement(statement) {
+  return statement.type === AST_NODE_TYPES2.TSTypeAliasDeclaration || statement.type === AST_NODE_TYPES2.TSInterfaceDeclaration;
+}
 function normalizedLiteral(node) {
   if ("regex" in node) {
     return ["Literal", "regex", node.regex.pattern, node.regex.flags];
@@ -612,7 +624,7 @@ var duplicate_test_body_default = createRule({
           return;
         }
         const body2 = candidate.body;
-        if (body2.body.type !== AST_NODE_TYPES2.BlockStatement || body2.body.body.length < MIN_STATEMENTS || body2.body.body.every(isAssertionStatement)) {
+        if (body2.body.type !== AST_NODE_TYPES2.BlockStatement || body2.body.body.length < MIN_STATEMENTS || body2.body.body.every(isAssertionStatement) || body2.body.body.some(isTypeOnlyContractStatement)) {
           return;
         }
         const comments = context.sourceCode.getCommentsInside(body2.body).map((comment) => [comment.type, comment.value]);
@@ -3512,7 +3524,11 @@ var NUMBER_METHODS = /* @__PURE__ */ new Set([
   "lt",
   "lte",
   "max",
-  "min"
+  "min",
+  "negative",
+  "nonnegative",
+  "nonpositive",
+  "positive"
 ]);
 var LENGTH_METHODS = /* @__PURE__ */ new Set(["length", "max", "min"]);
 var RESHAPING_METHODS = /* @__PURE__ */ new Set([
@@ -3649,13 +3665,29 @@ var no_impossible_zod_literal_bounds_default = createRule({
       let upper = null;
       for (const { method, node } of chain.calls) {
         if (!allowed.has(method)) return null;
-        const value = finiteNumber(node.arguments[0]);
+        const semantic = method === "positive" ? { exclusive: true, lower: true, value: 0 } : method === "nonnegative" ? { exclusive: false, lower: true, value: 0 } : method === "negative" ? { exclusive: true, lower: false, value: 0 } : method === "nonpositive" ? { exclusive: false, lower: false, value: 0 } : null;
+        const value = semantic?.value ?? finiteNumber(node.arguments[0]);
         if (value === null) return null;
         if (chain.kind !== "number" && (!Number.isInteger(value) || value < 0)) {
           return null;
         }
         const label = `${method}(${String(value)})`;
-        if (method === "length") {
+        if (semantic !== null) {
+          if (node.arguments.length !== 0) return null;
+          if (semantic.lower) {
+            lower = strongerLower(lower, {
+              exclusive: semantic.exclusive,
+              label: `${method}()`,
+              value
+            });
+          } else {
+            upper = strongerUpper(upper, {
+              exclusive: semantic.exclusive,
+              label: `${method}()`,
+              value
+            });
+          }
+        } else if (method === "length") {
           lower = strongerLower(lower, { exclusive: false, label, value });
           upper = strongerUpper(upper, { exclusive: false, label, value });
         } else if (method === "gt" || method === "gte" || method === "min") {
@@ -6768,6 +6800,13 @@ function nearestEnclosingFunction(node) {
   }
   return null;
 }
+function isImmediatelyConsumedSleep(node) {
+  const parent = node.parent;
+  if (parent?.type === AST_NODE_TYPES25.AwaitExpression || parent?.type === AST_NODE_TYPES25.ReturnStatement || parent?.type === AST_NODE_TYPES25.ExpressionStatement) {
+    return true;
+  }
+  return parent?.type === AST_NODE_TYPES25.ArrowFunctionExpression && parent.body === node;
+}
 function isTestBody(fn) {
   const call = fn.parent;
   if (call?.type !== AST_NODE_TYPES25.CallExpression || !call.arguments.some((argument) => argument === fn)) {
@@ -6810,6 +6849,9 @@ var no_sleep_in_test_body_default = createRule({
       return {};
     }
     const report = (node) => {
+      if (!isImmediatelyConsumedSleep(node)) {
+        return;
+      }
       const enclosing = nearestEnclosingFunction(node);
       if (enclosing === null || !isTestBody(enclosing)) {
         return;
@@ -7107,6 +7149,27 @@ function isSmallStaticForLoop(node) {
   const iterations = node.test.right.value - declaration.init.value + (node.test.operator === "<=" ? 1 : 0);
   return iterations >= 0 && iterations <= 8;
 }
+function isStringSeededReduce(node) {
+  if (node.callee.type !== "MemberExpression" || node.callee.computed || node.callee.property.type !== "Identifier" || node.callee.property.name !== "reduce" || node.arguments.length !== 2) {
+    return false;
+  }
+  const [callback, initial] = node.arguments;
+  if (node.callee.object.type === "ArrayExpression" && node.callee.object.elements.length <= 8) {
+    return false;
+  }
+  if (callback === void 0 || initial === void 0 || callback.type === "SpreadElement" || initial.type === "SpreadElement" || callback.type !== "ArrowFunctionExpression" && callback.type !== "FunctionExpression" || callback.params[0]?.type !== "Identifier" || !isStringLiteralInit(initial)) {
+    return false;
+  }
+  const accumulator = callback.params[0].name;
+  if (callback.body.type !== "BlockStatement") {
+    return isConcatOntoTarget(callback.body, accumulator);
+  }
+  if (callback.body.body.length !== 1 || callback.body.body[0]?.type !== "ReturnStatement") {
+    return false;
+  }
+  const returned = callback.body.body[0].argument;
+  return returned !== null && isConcatOntoTarget(returned, accumulator);
+}
 var no_string_concat_in_loop_default = createRule({
   name: "no-string-concat-in-loop",
   documentation: noStringConcatInLoopDocumentation,
@@ -7117,7 +7180,8 @@ var no_string_concat_in_loop_default = createRule({
     },
     schema: [],
     messages: {
-      noStringConcatInLoop: 'Avoid building a string with `+=` inside a loop \u2014 this is O(n^2). Push the parts onto an array and use `arr.join("")` after the loop.'
+      noStringConcatInLoop: 'Avoid building a string with `+=` inside a loop \u2014 this is O(n^2). Push the parts onto an array and use `arr.join("")` after the loop.',
+      noStringReduce: "Avoid concatenating a growing string in `reduce` \u2014 this is O(n^2). Map the fragments and join them once instead."
     }
   },
   defaultOptions: [],
@@ -7127,6 +7191,11 @@ var no_string_concat_in_loop_default = createRule({
     }
     const reported = /* @__PURE__ */ new WeakMap();
     return {
+      CallExpression(node) {
+        if (isStringSeededReduce(node)) {
+          context.report({ node, messageId: "noStringReduce" });
+        }
+      },
       AssignmentExpression(node) {
         if (node.left.type !== "Identifier") {
           return;
@@ -7231,6 +7300,9 @@ function isLiteral(node) {
       return false;
   }
 }
+function isStructuralLiteral(node) {
+  return node.type === AST_NODE_TYPES27.ArrayExpression || node.type === AST_NODE_TYPES27.ObjectExpression;
+}
 function expectOperand(callee) {
   const receiver = callee.object;
   if (receiver.type !== AST_NODE_TYPES27.CallExpression || receiver.callee.type !== AST_NODE_TYPES27.Identifier || receiver.callee.name !== "expect" || receiver.arguments.length !== 1) {
@@ -7287,6 +7359,9 @@ var no_tautological_expect_default = createRule({
         if (!EQUALITY_MATCHERS.has(matcher) || node.arguments.length !== 1 || expected === void 0 || !isLiteral(expected)) {
           return;
         }
+        if (matcher === "toBe" && (isStructuralLiteral(operand) || isStructuralLiteral(expected))) {
+          return;
+        }
         if (context.sourceCode.getText(operand) !== context.sourceCode.getText(expected)) {
           return;
         }
@@ -7600,7 +7675,7 @@ var no_trailing_value_narration_default = createRule({
 });
 
 // src/rules/no-declaration-comment-wall.ts
-import { AST_NODE_TYPES as AST_NODE_TYPES29 } from "@typescript-eslint/utils";
+import { AST_NODE_TYPES as AST_NODE_TYPES29, AST_TOKEN_TYPES } from "@typescript-eslint/utils";
 
 // src/rules/_comment-wall.ts
 import { AST_NODE_TYPES as AST_NODE_TYPES28 } from "@typescript-eslint/utils";
@@ -7800,7 +7875,13 @@ var no_declaration_comment_wall_default = createRule({
       const lead = ownsItsLine ? endingOn.get(member.loc.start.line - 1) : void 0;
       if (lead !== void 0) {
         const before = sourceCode.getTokenBefore(lead, { includeComments: false });
-        if (before === null || before.loc.end.line < lead.loc.start.line) return lead;
+        if (before === null || before.loc.end.line < lead.loc.start.line) {
+          const previousLine = endingOn.get(lead.loc.start.line - 1);
+          if (lead.type === AST_TOKEN_TYPES.Line && previousLine?.type === AST_TOKEN_TYPES.Line && previousLine.loc.start.column === lead.loc.start.column) {
+            return void 0;
+          }
+          return lead;
+        }
       }
       const trail = startingOn.get(member.loc.end.line);
       return trail !== void 0 && trail.range[0] > member.range[0] ? trail : void 0;
@@ -8039,7 +8120,7 @@ var no_union_in_comment_default = createRule({
 });
 
 // src/rules/no-type-member-comment-wall.ts
-import { AST_NODE_TYPES as AST_NODE_TYPES31 } from "@typescript-eslint/utils";
+import { AST_NODE_TYPES as AST_NODE_TYPES31, AST_TOKEN_TYPES as AST_TOKEN_TYPES2 } from "@typescript-eslint/utils";
 var noTypeMemberCommentWallDocumentation = {
   summary: "Flag an object type whose member comments mostly re-spell the members' own names and types.",
   rationale: "Repetitive member comments add scanning cost while hiding the comments that describe facts absent from the type.",
@@ -8102,7 +8183,13 @@ var no_type_member_comment_wall_default = createRule({
       const lead = ownsItsLine ? endingOn.get(member.loc.start.line - 1) : void 0;
       if (lead !== void 0) {
         const before = sourceCode.getTokenBefore(lead, { includeComments: false });
-        if (before === null || before.loc.end.line < lead.loc.start.line) return lead;
+        if (before === null || before.loc.end.line < lead.loc.start.line) {
+          const previousLine = endingOn.get(lead.loc.start.line - 1);
+          if (lead.type === AST_TOKEN_TYPES2.Line && previousLine?.type === AST_TOKEN_TYPES2.Line && previousLine.loc.start.column === lead.loc.start.column) {
+            return void 0;
+          }
+          return lead;
+        }
       }
       const trail = startingOn.get(member.loc.end.line);
       return trail !== void 0 && trail.range[0] > member.range[0] ? trail : void 0;
@@ -8402,6 +8489,10 @@ import {
 } from "@typescript-eslint/utils";
 var MOCK_TYPE_NAMES = /* @__PURE__ */ new Set([
   "Mock",
+  "Mocked",
+  "MockedClass",
+  "MockedFunction",
+  "MockedObject",
   "MockInstance",
   "SpyInstance"
 ]);
@@ -8649,9 +8740,9 @@ var no_zod_native_enum_default = createRule({
     }
     function isZodMemberCall(node, api) {
       const callee = node.callee;
-      if (callee.type === AST_NODE_TYPES34.MemberExpression && !callee.computed && callee.object.type === AST_NODE_TYPES34.Identifier && callee.property.type === AST_NODE_TYPES34.Identifier) {
+      if (callee.type === AST_NODE_TYPES34.MemberExpression && callee.object.type === AST_NODE_TYPES34.Identifier && (callee.property.type === AST_NODE_TYPES34.Identifier && !callee.computed && callee.property.name === api || callee.computed && callee.property.type === AST_NODE_TYPES34.Literal && callee.property.value === api)) {
         const binding = resolvedBinding(callee.object);
-        return binding !== null && zodNamespaceBindings.has(binding) && callee.property.name === api;
+        return binding !== null && zodNamespaceBindings.has(binding);
       }
       if (callee.type === AST_NODE_TYPES34.Identifier) {
         const binding = resolvedBinding(callee);
@@ -9495,6 +9586,27 @@ var prefer_immutable_module_constant_default = createRule({
     }
     const exportedNames2 = /* @__PURE__ */ new Set();
     const typeAliases2 = /* @__PURE__ */ new Map();
+    const mutatesThroughConstAlias = (root) => {
+      const pending = [root];
+      const seen = /* @__PURE__ */ new Set();
+      while (pending.length > 0) {
+        const variable = pending.pop();
+        if (variable === void 0 || seen.has(variable)) continue;
+        seen.add(variable);
+        for (const reference of variable.references) {
+          const identifier = reference.identifier;
+          if (identifier.type !== AST_NODE_TYPES39.Identifier) continue;
+          if (referenceMutates(identifier, isUnshadowedGlobal)) return true;
+          const declarator = identifier.parent;
+          if (declarator.type !== AST_NODE_TYPES39.VariableDeclarator || declarator.init !== identifier || declarator.id.type !== AST_NODE_TYPES39.Identifier || declarator.parent.type !== AST_NODE_TYPES39.VariableDeclaration || declarator.parent.kind !== "const") {
+            continue;
+          }
+          const alias = sourceCode.getDeclaredVariables(declarator)[0];
+          if (alias !== void 0) pending.push(alias);
+        }
+      }
+      return false;
+    };
     return {
       Program(node) {
         for (const statement of node.body) {
@@ -9535,9 +9647,7 @@ var prefer_immutable_module_constant_default = createRule({
           return;
         }
         const variable = sourceCode.getDeclaredVariables(node)[0];
-        if (!directlyExported && !exportedNames2.has(node.id.name) && variable?.references.some(
-          (reference) => reference.identifier.type === AST_NODE_TYPES39.Identifier && referenceMutates(reference.identifier, isUnshadowedGlobal)
-        ) === true) {
+        if (!directlyExported && !exportedNames2.has(node.id.name) && variable !== void 0 && mutatesThroughConstAlias(variable)) {
           return;
         }
         context.report({
@@ -10316,6 +10426,10 @@ var prefer_module_level_schema_default = createRule({
         }
         for (const definition of resolved.defs) {
           if (definition.type === "ImportBinding") {
+            const parent = reference.identifier.parent;
+            if (parent?.type === AST_NODE_TYPES42.CallExpression && parent.callee === reference.identifier && !zodNamespaces.has(reference.identifier.name)) {
+              return false;
+            }
             continue;
           }
           if (definition.node.type === AST_NODE_TYPES42.VariableDeclarator && definition.node.parent.type === AST_NODE_TYPES42.VariableDeclaration && definition.node.parent.kind !== "const") {
@@ -12147,10 +12261,7 @@ var SHAPE_PRESERVING_METHODS = /* @__PURE__ */ new Set([
 ]);
 var OPTIONAL_MODIFIERS = /* @__PURE__ */ new Set([
   "optional",
-  "nullish",
-  "default",
-  "prefault",
-  "catch"
+  "nullish"
 ]);
 var NULLABLE_MODIFIERS = /* @__PURE__ */ new Set(["nullable", "nullish"]);
 var RESHAPING_MODIFIERS = /* @__PURE__ */ new Set([
@@ -13425,6 +13536,7 @@ var ZOD_PARSE_METHODS = /* @__PURE__ */ new Set([
   "parseAsync",
   "safeParseAsync"
 ]);
+var FORM_VALUE_METHODS = /* @__PURE__ */ new Set(["get", "getAll"]);
 var zodReceiverRoot = (node) => {
   let current = node;
   while (true) {
@@ -13499,7 +13611,7 @@ var require_zod_form_validation_default = createRule({
     };
     const isFormSourceIdentifier = (node) => {
       if (node.type !== AST_NODE_TYPES53.Identifier) return false;
-      if (/formdata/i.test(node.name)) return true;
+      const conventionalName = /formdata/i.test(node.name);
       let scope = context.sourceCode.getScope(node);
       while (scope !== null) {
         const variable = scope.set.get(node.name);
@@ -13508,16 +13620,16 @@ var require_zod_form_validation_default = createRule({
           if (def !== void 0 && def.type === "Variable" && def.node.type === AST_NODE_TYPES53.VariableDeclarator && def.node.init !== null) {
             return isFormDataMethodCall(def.node.init);
           }
-          return false;
+          return def?.type === "Parameter" && conventionalName;
         }
         scope = scope.upper;
       }
-      return false;
+      return conventionalName;
     };
     const isFormDataGetCall = (node) => {
       const callee = node.callee;
       if (callee.type !== AST_NODE_TYPES53.MemberExpression) return false;
-      if (callee.property.type !== AST_NODE_TYPES53.Identifier || callee.property.name !== "get") {
+      if (callee.property.type !== AST_NODE_TYPES53.Identifier || !FORM_VALUE_METHODS.has(callee.property.name)) {
         return false;
       }
       return isFormSourceIdentifier(callee.object);
@@ -13611,6 +13723,40 @@ var require_zod_form_validation_default = createRule({
       }
       return ["===", "!==", "==", "!="].includes(parent.operator) && (parent.right.type === AST_NODE_TYPES53.Literal && parent.right.value === null || parent.right.type === AST_NODE_TYPES53.Identifier && parent.right.name === "undefined");
     };
+    const isDescendantOf = (node, ancestor) => {
+      let current = node;
+      while (current !== void 0 && current !== null) {
+        if (current === ancestor) return true;
+        current = current.parent;
+      }
+      return false;
+    };
+    const blockTerminates = (node) => {
+      if (node.type === AST_NODE_TYPES53.ReturnStatement || node.type === AST_NODE_TYPES53.ThrowStatement) {
+        return true;
+      }
+      if (node.type !== AST_NODE_TYPES53.BlockStatement || node.body.length === 0) return false;
+      const last = node.body.at(-1);
+      return last !== void 0 && blockTerminates(last);
+    };
+    const narrowingIf = (identifier) => {
+      const comparison = identifier.parent;
+      if (comparison?.type !== AST_NODE_TYPES53.BinaryExpression || comparison.operator !== "instanceof" || comparison.left !== identifier || comparison.right.type !== AST_NODE_TYPES53.Identifier || comparison.right.name !== "File" && comparison.right.name !== "Blob") {
+        return null;
+      }
+      const maybeNegation = comparison.parent;
+      const negated = maybeNegation?.type === AST_NODE_TYPES53.UnaryExpression && maybeNegation.operator === "!";
+      const test = negated ? maybeNegation : comparison;
+      const branch = test.parent;
+      return branch?.type === AST_NODE_TYPES53.IfStatement && branch.test === test ? { branch, positive: !negated } : null;
+    };
+    const useDominatedByNarrowing = (use, narrowings) => narrowings.some(({ branch, positive }) => {
+      if (positive) return isDescendantOf(use, branch.consequent);
+      if (!blockTerminates(branch.consequent)) return false;
+      const branchStatement = containingStatement(branch);
+      const useStatement = containingStatement(use);
+      return branchStatement !== null && useStatement !== null && branchStatement.parent === useStatement.parent && branchStatement.range[1] < useStatement.range[0];
+    });
     const statementWithinBlock = (node, block) => {
       let current = node;
       while (current.parent !== void 0 && current.parent !== block) {
@@ -13625,14 +13771,16 @@ var require_zod_form_validation_default = createRule({
         (identifier) => identifier.type === AST_NODE_TYPES53.Identifier
       );
       if (references.length === 0) return false;
-      if (references.some(isInstanceofNarrowing)) return true;
+      const narrowings = references.map(narrowingIf).filter(
+        (value) => value !== null
+      );
       const validationStatements = references.map((reference) => guaranteedValidationStatement(declarator, reference)).filter(
         (statement) => statement !== null
       );
       const declarationStatement = containingStatement(declarator);
       const declarationBlock = declarationStatement?.parent;
       return references.every((reference) => {
-        if (zodParseAncestor(reference) !== null || isSafePrevalidationInspection(reference)) {
+        if (zodParseAncestor(reference) !== null || isSafePrevalidationInspection(reference) || useDominatedByNarrowing(reference, narrowings)) {
           return true;
         }
         if (declarationBlock === void 0) return false;
@@ -14165,7 +14313,13 @@ var NON_SCHEMA_TERMINALS = /* @__PURE__ */ new Set([
   "safeDecodeAsync",
   "toJSONSchema",
   "registry",
-  "implement"
+  "implement",
+  "flattenError",
+  "formatError",
+  "isNullable",
+  "isOptional",
+  "prettifyError",
+  "treeifyError"
 ]);
 var terminalMethodName = (callee) => !callee.computed && callee.property.type === AST_NODE_TYPES55.Identifier ? callee.property.name : null;
 var calleeChainRoot = (node) => {
@@ -14414,7 +14568,7 @@ var rules = {
 };
 var meta = {
   name: "@sarj/eslint-plugin",
-  version: "15.3.0"
+  version: "15.5.0"
 };
 var applicationOnlyRules = [
   "no-restricted-library-load",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sarj/eslint-plugin",
-  "version": "15.3.0",
+  "version": "15.5.0",
   "packageManager": "npm@11.19.0",
   "description": "Custom ESLint rules for hypermodern TypeScript / React / Next.js projects",
   "type": "module",