@sarj/eslint-plugin 16.15.0 → 16.15.2

package/dist/index.cjs

@@ -52,7 +52,7 @@ module.exports = __toCommonJS(src_exports);
 // package.json
 var package_default = {
   name: "@sarj/eslint-plugin",
-  version: "16.15.0",
+  version: "16.15.2",
   packageManager: "npm@12.2.0",
   description: "Custom ESLint rules for hypermodern TypeScript / React / Next.js projects",
   type: "module",
@@ -3906,10 +3906,13 @@ var NO_CLIENT_SIDE_DATA_FETCHING_DOCUMENTATION = {
   examples: [
     {
       id: "effect-without-fetch",
-      title: "An effect performs no data request",
+      title: "Load data while rendering on the server",
       outcome: "no-match",
-      files: [{ path: "src/users.tsx", source: "import { useEffect } from 'react'; useEffect(() => { console.log('mounted'); }, []);" }],
-      focusPath: "src/users.tsx",
+      files: [
+        { path: "app/users/page.tsx", source: "import { loadUsers } from './users-client';\nexport default async function Users() { const users = await loadUsers(); return <pre>{JSON.stringify(users)}</pre>; }" },
+        { path: "app/users/users-client.ts", source: "export async function loadUsers(): Promise<unknown> { const response = await fetch('https://api.example.com/users'); return response.json(); }" }
+      ],
+      focusPath: "app/users/page.tsx",
       expectedCount: 0,
       public: true
     },
@@ -3917,7 +3920,7 @@ var NO_CLIENT_SIDE_DATA_FETCHING_DOCUMENTATION = {
       id: "fetch-inside-effect",
       title: "An effect starts a data request",
       outcome: "match",
-      files: [{ path: "src/users.tsx", source: "useEffect(() => { fetch('/api/users'); }, []);" }],
+      files: [{ path: "src/users.tsx", source: "'use client'; import { useEffect } from 'react';\nexport function Users() { useEffect(() => { fetch('/api/users'); }, []); return null; }" }],
       focusPath: "src/users.tsx",
       expectedCount: 1,
       public: true
@@ -6058,11 +6061,11 @@ var NO_FAT_TRY_BLOCKS_DOCUMENTATION = {
   examples: [
     {
       id: "focused-try-block",
-      title: "Three selected operations stay within the default threshold",
+      title: "Keep only operations with the same recovery policy in the try block",
       outcome: "no-match",
       files: [{
         path: "src/load.ts",
-        source: "function f() { try { const a = one(); const b = two(); const c = three(); } catch (error) { handle(error); } finish(); }"
+        source: "function f() { try { const a = one(); const b = two(); const c = three(); } catch (error) { handle(error); } const d = four(); finish(); }"
       }],
       focusPath: "src/load.ts",
       expectedCount: 0,
@@ -7850,7 +7853,7 @@ var NO_JSON_STRINGIFY_OBJECT_EQUALITY_DOCUMENTATION = {
       id: "domain-comparator",
       title: "Use an explicit structural comparator",
       outcome: "no-match",
-      files: [{ path: "src/compare.ts", source: "const same = sameRecord(actual, expected);" }],
+      files: [{ path: "src/compare.ts", source: "type RecordState = { id: string; state: string };\nfunction sameRecord(actual: RecordState, expected: RecordState): boolean { return actual.id === expected.id && actual.state === expected.state; }\nconst same = sameRecord({ id: '1', state: 'ready' }, { state: 'ready', id: '1' });" }],
       focusPath: "src/compare.ts",
       expectedCount: 0,
       public: true
@@ -9068,14 +9071,19 @@ var NO_BARE_RETURN_FROM_TEST_CATCH_DOCUMENTATION = {
   remediation: "Rethrow the error, assert on it, or use the runner's explicit skip mechanism when the capability is optional.",
   category: "testing",
   filePatterns: ["**/*.test.*", "**/*.spec.*", "**/tests/**", "**/__tests__/**"],
-  limitations: ["Only bare returns owned by a direct supported test callback and followed lexically by a framework assertion are reported. A runner skip suppresses the finding only when it is an unconditional earlier statement in the return's block."],
+  limitations: ["Only bare returns owned by an inline supported test callback and followed lexically by a framework assertion are reported, including each/for tables and runIf/skipIf builders. Custom builders and indirect callback references are excluded. A runner skip suppresses the finding only when it is an unconditional earlier statement in the return's block. Vitest imports and unshadowed runner globals support TestContext.skip on the first ordinary-test parameter or second for-table parameter, including a directly destructured skip alias; each-table data arguments, reassigned bindings, overwritten skip methods and dynamic skip conditions are excluded."],
   examples: [
     { id: "rethrow", title: "Preserve the failure", outcome: "no-match", files: [{ path: "src/codec.test.ts", source: "test('decodes', () => { try { decode(); } catch (error) { throw error; } expect(result()).toBe('ok'); });" }], focusPath: "src/codec.test.ts", expectedCount: 0, public: true },
-    { id: "bare-return", title: "Do not silently pass", outcome: "match", files: [{ path: "src/codec.test.ts", source: "test('decodes', () => { try { decode(); } catch { return; } expect(result()).toBe('ok'); });" }], focusPath: "src/codec.test.ts", expectedCount: 1, public: true }
+    { id: "bare-return", title: "Do not silently pass", outcome: "match", files: [{ path: "src/codec.test.ts", source: "test('decodes', () => { try { decode(); } catch { return; } expect(result()).toBe('ok'); });" }], focusPath: "src/codec.test.ts", expectedCount: 1, public: true },
+    { id: "table-bare-return", scenarioId: "table-catch", title: "Case tables must preserve failures", outcome: "match", files: [{ path: "src/codec.test.ts", source: "test.each(['valid', 'invalid'])('decodes %s', (input) => { try { decode(input); } catch { return; } expect(result()).toBe('ok'); });" }], focusPath: "src/codec.test.ts", expectedCount: 1, public: true },
+    { id: "table-rethrow", scenarioId: "table-catch", title: "Each table case propagates its failure", outcome: "no-match", files: [{ path: "src/codec.test.ts", source: "test.each(['valid', 'invalid'])('decodes %s', (input) => { try { decode(input); } catch (error) { throw error; } expect(result()).toBe('ok'); });" }], focusPath: "src/codec.test.ts", expectedCount: 0, public: true },
+    { id: "table-context-skip", scenarioId: "context-skip", title: "A Vitest context skip preserves an optional table case", outcome: "no-match", files: [{ path: "src/codec.test.ts", source: "import {test, expect} from 'vitest'; test.for(['optional'])('decodes %s', (input, context) => { try { decode(input); } catch { context.skip('codec unavailable'); return; } expect(result()).toBe('ok'); });" }], focusPath: "src/codec.test.ts", expectedCount: 0, public: true },
+    { id: "table-context-false-skip", scenarioId: "context-skip", title: "A false skip condition does not preserve the failure", outcome: "match", files: [{ path: "src/codec.test.ts", source: "import {test, expect} from 'vitest'; test.for(['optional'])('decodes %s', (input, context) => { try { decode(input); } catch { context.skip(false); return; } expect(result()).toBe('ok'); });" }], focusPath: "src/codec.test.ts", expectedCount: 1, public: true }
   ]
 };
 var TEST_NAMES = /* @__PURE__ */ new Set(["it", "test"]);
 var TEST_MODIFIERS2 = /* @__PURE__ */ new Set(["concurrent", "fails", "only", "sequential", "skip"]);
+var TEST_BUILDERS = /* @__PURE__ */ new Set(["each", "for", "runIf", "skipIf"]);
 var ASSERTION_NAMES = /* @__PURE__ */ new Set(["assert", "assertType", "expect", "expectTypeOf"]);
 var FUNCTION_TYPES3 = /* @__PURE__ */ new Set([import_utils51.AST_NODE_TYPES.ArrowFunctionExpression, import_utils51.AST_NODE_TYPES.FunctionExpression, import_utils51.AST_NODE_TYPES.FunctionDeclaration]);
 function staticMemberName3(node) {
@@ -9099,6 +9107,12 @@ function isDirectTestCallback(node, context) {
 function testRoot(callee) {
   callee = unwrapExpression(callee);
   if (callee.type === import_utils51.AST_NODE_TYPES.Identifier) return callee;
+  if (callee.type === import_utils51.AST_NODE_TYPES.CallExpression || callee.type === import_utils51.AST_NODE_TYPES.TaggedTemplateExpression) {
+    const builder = unwrapExpression(callee.type === import_utils51.AST_NODE_TYPES.CallExpression ? callee.callee : callee.tag);
+    if (builder.type !== import_utils51.AST_NODE_TYPES.MemberExpression) return null;
+    const name = staticMemberName3(builder);
+    return name !== null && (callee.type === import_utils51.AST_NODE_TYPES.TaggedTemplateExpression ? name === "each" || name === "for" : TEST_BUILDERS.has(name)) ? testRoot(builder.object) : null;
+  }
   if (callee.type !== import_utils51.AST_NODE_TYPES.MemberExpression) return null;
   const modifier = staticMemberName3(callee);
   return modifier !== null && TEST_MODIFIERS2.has(modifier) ? testRoot(callee.object) : null;
@@ -9122,11 +9136,67 @@ function isExplicitSkip(node, context) {
   const root = rootIdentifier2(unwrappedNodeCallee.object);
   return root !== null && TEST_NAMES.has(runtimeTestFrameworkName(context.sourceCode, root, "test") ?? "");
 }
-function hasDominatingExplicitSkip(node, context) {
+function isUnconditionalContextSkip(node, owner, context) {
+  if (node.type !== import_utils51.AST_NODE_TYPES.CallExpression || node.optional) return false;
+  const first = node.arguments[0] === void 0 ? void 0 : unwrapExpression(node.arguments[0]);
+  const note = first?.type === import_utils51.AST_NODE_TYPES.Literal && typeof first.value === "string" || first?.type === import_utils51.AST_NODE_TYPES.TemplateLiteral && first.expressions.length === 0;
+  const always = first?.type === import_utils51.AST_NODE_TYPES.Literal && first.value === true;
+  if (node.arguments.length !== 0 && !(node.arguments.length === 1 && note) && !(node.arguments.length <= 2 && always)) return false;
+  const parameter = testContextParameter(owner, context);
+  const callee = unwrapExpression(node.callee);
+  if (parameter?.type === import_utils51.AST_NODE_TYPES.Identifier && callee.type === import_utils51.AST_NODE_TYPES.MemberExpression && !callee.optional && staticMemberName3(callee) === "skip") {
+    const receiver = unwrapExpression(callee.object);
+    return receiver.type === import_utils51.AST_NODE_TYPES.Identifier && isStableParameterReference(receiver, parameter, context, true);
+  }
+  if (parameter?.type !== import_utils51.AST_NODE_TYPES.ObjectPattern || callee.type !== import_utils51.AST_NODE_TYPES.Identifier) return false;
+  return parameter.properties.some((property) => property.type === import_utils51.AST_NODE_TYPES.Property && import_utils51.ASTUtils.getPropertyName(property) === "skip" && property.value.type === import_utils51.AST_NODE_TYPES.Identifier && isStableParameterReference(callee, property.value, context, false));
+}
+function testContextParameter(owner, context) {
+  const call = directArgumentCall(owner);
+  if (call === null) return null;
+  const root = testRoot(call.callee);
+  if (root === null) return null;
+  const binding = import_utils51.ASTUtils.findVariable(context.sourceCode.getScope(root), root.name);
+  const definition = binding?.defs[0];
+  const runnerGlobal = binding === null || binding.defs.length === 0;
+  const vitestImport = binding?.defs.length === 1 && definition?.node.type === import_utils51.AST_NODE_TYPES.ImportSpecifier && definition.node.parent.type === import_utils51.AST_NODE_TYPES.ImportDeclaration && definition.node.parent.source.value === "vitest";
+  if (!runnerGlobal && !vitestImport) return null;
+  const position = contextParameterPosition(call.callee);
+  return position === null ? null : owner.params[position] ?? null;
+}
+function contextParameterPosition(callee) {
+  callee = unwrapExpression(callee);
+  if (callee.type === import_utils51.AST_NODE_TYPES.Identifier) return 0;
+  if (callee.type === import_utils51.AST_NODE_TYPES.MemberExpression) return contextParameterPosition(callee.object);
+  if (callee.type !== import_utils51.AST_NODE_TYPES.CallExpression && callee.type !== import_utils51.AST_NODE_TYPES.TaggedTemplateExpression) return null;
+  const builder = unwrapExpression(callee.type === import_utils51.AST_NODE_TYPES.CallExpression ? callee.callee : callee.tag);
+  if (builder.type !== import_utils51.AST_NODE_TYPES.MemberExpression) return null;
+  const name = staticMemberName3(builder);
+  const inherited = contextParameterPosition(builder.object);
+  return name === "each" || inherited === null ? null : name === "for" ? 1 : inherited;
+}
+function isStableParameterReference(identifier, parameter, context, memberReceiver) {
+  const source = context.sourceCode;
+  const binding = import_utils51.ASTUtils.findVariable(source.getScope(parameter), parameter.name);
+  if (binding === null || binding !== import_utils51.ASTUtils.findVariable(source.getScope(identifier), identifier.name)) return false;
+  return binding.references.every((reference) => {
+    if (reference.isWrite() && !reference.init) return false;
+    if (!memberReceiver) return true;
+    const receiver = outerExpression(reference.identifier);
+    const member = receiver.parent;
+    if (member?.type !== import_utils51.AST_NODE_TYPES.MemberExpression || member.object !== receiver) return true;
+    const name = staticMemberName3(member);
+    if (name !== null && name !== "skip") return true;
+    const use = outerExpression(member);
+    const parent = use.parent;
+    return !(parent.type === import_utils51.AST_NODE_TYPES.AssignmentExpression && parent.left === use) && !(parent.type === import_utils51.AST_NODE_TYPES.UpdateExpression && parent.argument === use) && !(parent.type === import_utils51.AST_NODE_TYPES.UnaryExpression && parent.operator === "delete" && parent.argument === use);
+  });
+}
+function hasDominatingExplicitSkip(node, owner, context) {
   const block = node.parent;
   if (block?.type !== import_utils51.AST_NODE_TYPES.BlockStatement) return false;
   return block.body.some(
-    (candidate2) => candidate2.range[1] <= node.range[0] && candidate2.type === import_utils51.AST_NODE_TYPES.ExpressionStatement && isExplicitSkip(candidate2.expression, context)
+    (candidate2) => candidate2.range[1] <= node.range[0] && candidate2.type === import_utils51.AST_NODE_TYPES.ExpressionStatement && (isExplicitSkip(candidate2.expression, context) || isUnconditionalContextSkip(candidate2.expression, owner, context))
   );
 }
 var no_bare_return_from_test_catch_default = createRule({
@@ -9160,7 +9230,7 @@ var no_bare_return_from_test_catch_default = createRule({
         if (parameter?.type === import_utils51.AST_NODE_TYPES.Identifier && returnBlock?.type === import_utils51.AST_NODE_TYPES.BlockStatement) {
           const errorBinding = import_utils51.ASTUtils.findVariable(context.sourceCode.getScope(parameter), parameter.name);
           const assertedError = returnBlock.body.some((statement) => {
-            if (statement.range[1] >= node.range[0] || statement.type !== import_utils51.AST_NODE_TYPES.ExpressionStatement) return false;
+            if (statement.range[1] > node.range[0] || statement.type !== import_utils51.AST_NODE_TYPES.ExpressionStatement) return false;
             const expression = statement.expression;
             if (expression.type !== import_utils51.AST_NODE_TYPES.CallExpression || !isAssertion(expression, context)) return false;
             const root = rootIdentifier2(expression.callee);
@@ -9173,7 +9243,7 @@ var no_bare_return_from_test_catch_default = createRule({
           });
           if (assertedError) return;
         }
-        if (hasDominatingExplicitSkip(node, context)) return;
+        if (hasDominatingExplicitSkip(node, owner, context)) return;
         if (!walkOwnScope(owner.body, (current) => current.range[0] > node.range[1] && isAssertion(current, context))) return;
         context.report({ node, messageId: "bareReturnFromTestCatch" });
       }
@@ -10578,8 +10648,9 @@ var NO_RESTRICTED_LIBRARY_LOAD_DOCUMENTATION = {
   category: "architecture",
   limitations: ["Only literal dynamic imports, unshadowed CommonJS loads/resolution calls, and runtime TypeScript import-equals declarations are checked; erased type imports are excluded. A configured restriction list is required."],
   examples: [
-    { id: "static-import", title: "Static imports remain the static-import rule's responsibility", outcome: "no-match", files: [{ path: "src/client.ts", source: "import axios from 'axios';" }], focusPath: "src/client.ts", expectedCount: 0, public: true, ruleOptions: [{ libraries: [{ id: "LIB101", module: "axios", replacement: "Ky" }] }] },
-    { id: "runtime-load", title: "Do not load a restricted library at runtime", outcome: "match", files: [{ path: "src/client.ts", source: "const client = require('axios');" }], focusPath: "src/client.ts", expectedCount: 1, public: true, ruleOptions: [{ libraries: [{ id: "LIB101", module: "axios", replacement: "Ky" }] }] }
+    { id: "configured-replacement", title: "Use the configured library replacement", outcome: "no-match", files: [{ path: "src/client.ts", source: "import ky from 'ky'; const client = ky;" }], focusPath: "src/client.ts", expectedCount: 0, public: true, ruleOptions: [{ libraries: [{ id: "LIB101", module: "axios", replacement: "Ky" }] }] },
+    { id: "runtime-load", title: "Do not load a restricted library at runtime", outcome: "match", files: [{ path: "src/client.ts", source: "const client = require('axios');" }], focusPath: "src/client.ts", expectedCount: 1, public: true, ruleOptions: [{ libraries: [{ id: "LIB101", module: "axios", replacement: "Ky" }] }] },
+    { id: "static-import-owned-upstream", title: "Leave static restrictions to the owning import rule", outcome: "no-match", files: [{ path: "src/client.ts", source: "import axios from 'axios';" }], focusPath: "src/client.ts", expectedCount: 0, ruleOptions: [{ libraries: [{ id: "LIB101", module: "axios", replacement: "Ky" }] }] }
   ]
 };
 function staticModule(node) {
@@ -13305,7 +13376,7 @@ var NO_TAUTOLOGICAL_EXPECT_DOCUMENTATION = {
   remediation: "Assert on a value produced by the behavior under test against an independently specified expectation, or remove only the redundant assertion while preserving coverage.",
   category: "testing",
   limitations: [
-    "Only direct supported `expect` matcher calls in recognized test files are inspected. Local expect bindings, regular expressions, and unsupported coercions are excluded; failing constant assertions are not tautologies.",
+    "Only supported `expect` matcher calls in recognized test files are inspected, including imported aliases and a single `.not` on zero-argument matchers. Local or type-only bindings, regular expressions, async modifiers and unsupported coercions are excluded; failing constant assertions are not tautologies.",
     "Scalar const bindings and aliases resolve through lexical scope; mutable bindings, objects, arrays, destructuring, runtime initializers and forward references are excluded.",
     "Expected-side runtime dependence, including a complete inline snapshot computed from its actual value, remains manual review; independent static interpolation and intentional partial masking are valid."
   ],
@@ -13338,6 +13409,26 @@ var NO_TAUTOLOGICAL_EXPECT_DOCUMENTATION = {
       expectedCount: 1,
       public: true
     },
+    {
+      id: "negated-setup-oracle",
+      scenarioId: "negated-setup",
+      title: "Negating a fixed matcher still does not observe the application",
+      outcome: "match",
+      files: [{ path: "src/service.test.ts", source: "import {expect as verify} from 'vitest'; it('works', () => { const ready = false; verify(ready).not.toBeTruthy(); });" }],
+      focusPath: "src/service.test.ts",
+      expectedCount: 1,
+      public: true
+    },
+    {
+      id: "negated-produced-oracle",
+      scenarioId: "negated-setup",
+      title: "A negated assertion can observe a runtime result",
+      outcome: "no-match",
+      files: [{ path: "src/service.test.ts", source: "import {expect as verify} from 'vitest'; it('works', () => { verify(serviceStatus()).not.toBeNull(); });" }],
+      focusPath: "src/service.test.ts",
+      expectedCount: 0,
+      public: true
+    },
     {
       id: "produced-scalar-oracle",
       scenarioId: "setup-only",
@@ -13431,13 +13522,16 @@ function passesZeroArgumentMatcher(node, matcher) {
       return false;
   }
 }
-function expectOperand(callee) {
-  const receiver = unwrapExpression(callee.object);
+function expectOperand(callee, sourceCode) {
+  let receiver = unwrapExpression(callee.object);
+  const negated = receiver.type === import_utils74.AST_NODE_TYPES.MemberExpression && import_utils74.ASTUtils.getPropertyName(receiver) === "not";
+  if (negated && receiver.type === import_utils74.AST_NODE_TYPES.MemberExpression) receiver = unwrapExpression(receiver.object);
   const expectCallee = receiver.type === import_utils74.AST_NODE_TYPES.CallExpression ? unwrapExpression(receiver.callee) : null;
-  if (receiver.type !== import_utils74.AST_NODE_TYPES.CallExpression || expectCallee?.type !== import_utils74.AST_NODE_TYPES.Identifier || expectCallee.name !== "expect" || receiver.arguments.length !== 1) {
+  if (receiver.type !== import_utils74.AST_NODE_TYPES.CallExpression || expectCallee?.type !== import_utils74.AST_NODE_TYPES.Identifier || runtimeTestFrameworkName(sourceCode, expectCallee, "assertion") !== "expect" || receiver.arguments.length !== 1) {
     return null;
   }
-  return receiver.arguments[0] ?? null;
+  const operand = receiver.arguments[0];
+  return operand === void 0 ? null : { operand, negated };
 }
 var no_tautological_expect_default = createRule({
   name: "no-tautological-expect",
@@ -13468,33 +13562,25 @@ var no_tautological_expect_default = createRule({
         if (callee.type !== import_utils74.AST_NODE_TYPES.MemberExpression) return;
         const matcher = import_utils74.ASTUtils.getPropertyName(callee);
         if (matcher === null) return;
-        const receiver = unwrapExpression(callee.object);
-        if (receiver.type !== import_utils74.AST_NODE_TYPES.CallExpression) return;
-        const expectIdentifier = unwrapExpression(receiver.callee);
-        if (expectIdentifier.type !== import_utils74.AST_NODE_TYPES.Identifier) return;
-        const variable = import_utils74.ASTUtils.findVariable(context.sourceCode.getScope(expectIdentifier), expectIdentifier.name);
-        if (variable !== null && variable.defs.some((definition) => {
-          if (definition.node.type !== import_utils74.AST_NODE_TYPES.ImportSpecifier) return true;
-          const declaration = definition.node.parent;
-          const imported = definition.node.imported;
-          return declaration.type !== import_utils74.AST_NODE_TYPES.ImportDeclaration || !["vitest", "@jest/globals", "@playwright/test", "bun:test"].includes(String(declaration.source.value)) || (imported.type === import_utils74.AST_NODE_TYPES.Identifier ? imported.name : imported.value) !== "expect";
-        })) return;
-        const writtenOperand = expectOperand(callee);
-        const operand = writtenOperand === null ? null : resolveLiteral(writtenOperand, context.sourceCode);
+        const assertion = expectOperand(callee, context.sourceCode);
+        if (assertion === null) return;
+        const writtenOperand = assertion.operand;
+        const operand = resolveLiteral(writtenOperand, context.sourceCode);
         if (operand === null) {
           return;
         }
-        if (ZERO_ARG_MATCHERS.has(matcher) && node.arguments.length === 0 && passesZeroArgumentMatcher(operand, matcher)) {
+        const writtenMatcher = `${assertion.negated ? "not." : ""}${matcher}`;
+        if (ZERO_ARG_MATCHERS.has(matcher) && node.arguments.length === 0 && passesZeroArgumentMatcher(operand, matcher) !== assertion.negated) {
           context.report({
             node,
             messageId: "tautologicalMatcher",
-            data: { operand: preview2(writtenOperand ?? operand), matcher }
+            data: { operand: preview2(writtenOperand), matcher: writtenMatcher }
           });
           return;
         }
         const writtenExpected = node.arguments[0];
         const expected = writtenExpected === void 0 ? null : resolveLiteral(writtenExpected, context.sourceCode);
-        if (!EQUALITY_MATCHERS.has(matcher) || node.arguments.length !== 1 || expected === null) {
+        if (assertion.negated || !EQUALITY_MATCHERS.has(matcher) || node.arguments.length !== 1 || expected === null) {
           return;
         }
         if (matcher === "toBe" && (isStructuralLiteral(operand) || isStructuralLiteral(expected))) {
@@ -13506,7 +13592,7 @@ var no_tautological_expect_default = createRule({
         context.report({
           node,
           messageId: "tautologicalComparison",
-          data: { operand: preview2(writtenOperand ?? operand), matcher }
+          data: { operand: preview2(writtenOperand), matcher }
         });
       }
     };
@@ -14084,7 +14170,7 @@ var NO_DECLARATION_COMMENT_WALL_DOCUMENTATION = {
       id: "uncommented-members",
       title: "Let clear member names stand alone",
       outcome: "no-match",
-      files: [{ path: "src/status.ts", source: "enum Status { Pending = 'pending', Done = 'done', Failed = 'failed' }" }],
+      files: [{ path: "src/status.ts", source: "enum Status { Pending = 'pending', Finished = 'finished', Failed = 'failed' }" }],
       focusPath: "src/status.ts",
       expectedCount: 0,
       public: true
@@ -14375,7 +14461,7 @@ var NO_TYPE_MEMBER_COMMENT_WALL_DOCUMENTATION = {
       id: "uncommented-members",
       title: "Let clear member names and types stand alone",
       outcome: "no-match",
-      files: [{ path: "src/credentials.ts", source: "interface Credentials { host: string; port: number; username: string; }" }],
+      files: [{ path: "src/credentials.ts", source: "interface Credentials { host?: string; port?: number; username?: string; password?: string; }" }],
       focusPath: "src/credentials.ts",
       expectedCount: 0,
       public: true
@@ -14964,12 +15050,37 @@ var NO_ZOD_NATIVE_ENUM_DOCUMENTATION = {
     },
     {
       id: "zod-native-enum",
-      title: "Do not wrap a TypeScript enum",
+      title: "Declare literal values instead of an enum-like object",
       outcome: "match",
       files: [{ path: "src/status.ts", source: 'import { z } from "zod"; const S = z.nativeEnum({ Active: "active", Inactive: "inactive" });' }],
       focusPath: "src/status.ts",
       expectedCount: 1,
       public: true
+    },
+    {
+      id: "imported-typescript-enum",
+      scenarioId: "imported-enum",
+      title: "Do not hide an imported TypeScript enum behind z.enum",
+      outcome: "match",
+      files: [
+        { path: "src/status-values.ts", source: "export enum Status { Active = 'active', Inactive = 'inactive' }" },
+        { path: "src/status.ts", source: "import { z } from 'zod'; import { Status } from './status-values.js';\nexport const StatusSchema = z.enum(Status);" }
+      ],
+      installedDependencies: [{ module: "zod", version: "4.6.7" }],
+      focusPath: "src/status.ts",
+      expectedCount: 1,
+      public: true
+    },
+    {
+      id: "schema-owned-string-values",
+      scenarioId: "imported-enum",
+      title: "Let the schema own its literal value domain",
+      outcome: "no-match",
+      files: [{ path: "src/status.ts", source: "import { z } from 'zod';\nexport const StatusSchema = z.enum(['active', 'inactive']);" }],
+      installedDependencies: [{ module: "zod", version: "4.6.7" }],
+      focusPath: "src/status.ts",
+      expectedCount: 0,
+      public: true
     }
   ]
 };
@@ -17882,7 +17993,7 @@ var PREFER_MODULE_LEVEL_REFINED_SCHEMA_DOCUMENTATION = {
       outcome: "no-match",
       files: [{
         path: "src/options.ts",
-        source: "import { z } from 'zod'; const BatchSizeSchema = z.number().int().min(1).max(1000); export function parse(value: unknown) { return BatchSizeSchema.parse(value); }"
+        source: "import { z } from 'zod'; const NameSchema = z.string().trim().min(1).max(128); export function parse(value: unknown) { return NameSchema.parse(value); }"
       }],
       focusPath: "src/options.ts",
       expectedCount: 0,
@@ -19517,7 +19628,7 @@ var PREFER_SCHEMA_FOR_API_PAYLOAD_DOCUMENTATION = {
     "Test fixtures, generated clients and recognized local-file reads are excluded. This is bounded local analysis, not a general control-flow or mutation proof."
   ],
   examples: [
-    { id: "validated-payload", title: "Validate before property access", outcome: "no-match", files: [{ path: "src/client.ts", source: "async function load(response: Response) { const body = UserSchema.parse(await response.json()); return body.id; }" }], focusPath: "src/client.ts", expectedCount: 0, public: true },
+    { id: "validated-payload", title: "Validate before property access", outcome: "no-match", files: [{ path: "src/client.ts", source: "import { z } from 'zod';\nconst UserSchema = z.object({ id: z.string() });\nasync function load(response: Response) { const body = UserSchema.parse(await response.json()); return body.id; }" }], installedDependencies: [{ module: "zod", version: "4.6.7" }], focusPath: "src/client.ts", expectedCount: 0, public: true },
     { id: "unvalidated-payload", title: "Do not trust response JSON directly", outcome: "match", files: [{ path: "src/client.ts", source: "async function load(response: Response) { const body = await response.json(); return body.id; }" }], focusPath: "src/client.ts", expectedCount: 1, public: true }
   ]
 };
@@ -20193,8 +20304,8 @@ var PREFER_SWITCH_FOR_REPEATED_EQUALITY_DOCUMENTATION = {
     "The rule deliberately ignores compound predicates, loose equality, ranges, and chains that compare different discriminants."
   ],
   examples: [
-    { id: "switch-dispatch", title: "Make finite dispatch explicit", outcome: "no-match", files: [{ path: "src/render.ts", source: "switch (kind) { case 'a': return a(); case 'b': return b(); case 'c': return c(); default: return fallback(); }" }], focusPath: "src/render.ts", expectedCount: 0, public: true },
-    { id: "repeated-equality", title: "Avoid repeating the discriminant", outcome: "match", files: [{ path: "src/render.ts", source: "function render(kind: string) { if (kind === 'a') return a(); else if (kind === 'b') return b(); else if (kind === 'c') return c(); }" }], focusPath: "src/render.ts", expectedCount: 1, public: true },
+    { id: "switch-dispatch", title: "Make finite dispatch explicit", outcome: "no-match", files: [{ path: "src/render.ts", source: "function render(kind: string) { switch (kind) { case 'a': return 'alpha'; case 'b': return 'beta'; case 'c': return 'gamma'; default: return 'unknown'; } }" }], focusPath: "src/render.ts", expectedCount: 0, public: true },
+    { id: "repeated-equality", title: "Avoid repeating the discriminant", outcome: "match", files: [{ path: "src/render.ts", source: "function render(kind: string) { if (kind === 'a') return 'alpha'; else if (kind === 'b') return 'beta'; else if (kind === 'c') return 'gamma'; return 'unknown'; }" }], focusPath: "src/render.ts", expectedCount: 1, public: true },
     { id: "escaped-middle", scenarioId: "native-discriminant", title: "Use native identifier identity", outcome: "match", files: [{ path: "src/dispatch.ts", source: `function probe(kind){if(kind==='a')return 1;else if(\\u006bind==='b')return 2;else if(kind==='c')return 3;return 0;}
 console.log(JSON.stringify(["a","b","c","d"].map(probe)));` }], focusPath: "src/dispatch.ts", expectedCount: 1, public: true },
     { id: "different-discriminants", scenarioId: "native-discriminant", title: "Use native identifier identity", outcome: "no-match", files: [{ path: "src/dispatch.ts", source: `function probe(kind){const other="other";if(kind==='a')return 1;else if(other==='b')return 2;else if(kind==='c')return 3;return 0;}
@@ -22732,7 +22843,7 @@ var REQUIRE_ASSERT_NEVER_DOCUMENTATION = {
   category: "correctness",
   limitations: ["Requires type information and singleton case values covering the current union. The helper must accept never to provide a compile-time check; its spelling alone is not a proof of that contract. Review the desired runtime behavior for unexpected external values."],
   examples: [
-    { id: "assert-never-default", title: "Make the default exhaustive", outcome: "no-match", files: [{ path: "src/render.ts", source: "declare const kind: 'a' | 'b';\nswitch (kind) { case 'a': break; case 'b': break; default: assertNever(kind); }" }], focusPath: "src/render.ts", expectedCount: 0, public: true },
+    { id: "assert-never-default", title: "Make the default exhaustive", outcome: "no-match", files: [{ path: "src/render.ts", source: "function assertNever(value: never): never { throw new Error(`Unexpected kind: ${String(value)}`); }\ndeclare const kind: 'a' | 'b';\nswitch (kind) { case 'a': break; case 'b': break; default: assertNever(kind); }" }], focusPath: "src/render.ts", expectedCount: 0, public: true },
     { id: "empty-default", title: "Do not leave an exhaustive default empty", outcome: "match", files: [{ path: "src/render.ts", source: "declare const kind: 'a' | 'b';\nswitch (kind) { case 'a': break; case 'b': break; default: }" }], focusPath: "src/render.ts", expectedCount: 1, public: true }
   ]
 };

package/dist/index.js

@@ -1,7 +1,7 @@
 // package.json
 var package_default = {
   name: "@sarj/eslint-plugin",
-  version: "16.15.0",
+  version: "16.15.2",
   packageManager: "npm@12.2.0",
   description: "Custom ESLint rules for hypermodern TypeScript / React / Next.js projects",
   type: "module",
@@ -3867,10 +3867,13 @@ var NO_CLIENT_SIDE_DATA_FETCHING_DOCUMENTATION = {
   examples: [
     {
       id: "effect-without-fetch",
-      title: "An effect performs no data request",
+      title: "Load data while rendering on the server",
       outcome: "no-match",
-      files: [{ path: "src/users.tsx", source: "import { useEffect } from 'react'; useEffect(() => { console.log('mounted'); }, []);" }],
-      focusPath: "src/users.tsx",
+      files: [
+        { path: "app/users/page.tsx", source: "import { loadUsers } from './users-client';\nexport default async function Users() { const users = await loadUsers(); return <pre>{JSON.stringify(users)}</pre>; }" },
+        { path: "app/users/users-client.ts", source: "export async function loadUsers(): Promise<unknown> { const response = await fetch('https://api.example.com/users'); return response.json(); }" }
+      ],
+      focusPath: "app/users/page.tsx",
       expectedCount: 0,
       public: true
     },
@@ -3878,7 +3881,7 @@ var NO_CLIENT_SIDE_DATA_FETCHING_DOCUMENTATION = {
       id: "fetch-inside-effect",
       title: "An effect starts a data request",
       outcome: "match",
-      files: [{ path: "src/users.tsx", source: "useEffect(() => { fetch('/api/users'); }, []);" }],
+      files: [{ path: "src/users.tsx", source: "'use client'; import { useEffect } from 'react';\nexport function Users() { useEffect(() => { fetch('/api/users'); }, []); return null; }" }],
       focusPath: "src/users.tsx",
       expectedCount: 1,
       public: true
@@ -6019,11 +6022,11 @@ var NO_FAT_TRY_BLOCKS_DOCUMENTATION = {
   examples: [
     {
       id: "focused-try-block",
-      title: "Three selected operations stay within the default threshold",
+      title: "Keep only operations with the same recovery policy in the try block",
       outcome: "no-match",
       files: [{
         path: "src/load.ts",
-        source: "function f() { try { const a = one(); const b = two(); const c = three(); } catch (error) { handle(error); } finish(); }"
+        source: "function f() { try { const a = one(); const b = two(); const c = three(); } catch (error) { handle(error); } const d = four(); finish(); }"
       }],
       focusPath: "src/load.ts",
       expectedCount: 0,
@@ -7818,7 +7821,7 @@ var NO_JSON_STRINGIFY_OBJECT_EQUALITY_DOCUMENTATION = {
       id: "domain-comparator",
       title: "Use an explicit structural comparator",
       outcome: "no-match",
-      files: [{ path: "src/compare.ts", source: "const same = sameRecord(actual, expected);" }],
+      files: [{ path: "src/compare.ts", source: "type RecordState = { id: string; state: string };\nfunction sameRecord(actual: RecordState, expected: RecordState): boolean { return actual.id === expected.id && actual.state === expected.state; }\nconst same = sameRecord({ id: '1', state: 'ready' }, { state: 'ready', id: '1' });" }],
       focusPath: "src/compare.ts",
       expectedCount: 0,
       public: true
@@ -9049,14 +9052,19 @@ var NO_BARE_RETURN_FROM_TEST_CATCH_DOCUMENTATION = {
   remediation: "Rethrow the error, assert on it, or use the runner's explicit skip mechanism when the capability is optional.",
   category: "testing",
   filePatterns: ["**/*.test.*", "**/*.spec.*", "**/tests/**", "**/__tests__/**"],
-  limitations: ["Only bare returns owned by a direct supported test callback and followed lexically by a framework assertion are reported. A runner skip suppresses the finding only when it is an unconditional earlier statement in the return's block."],
+  limitations: ["Only bare returns owned by an inline supported test callback and followed lexically by a framework assertion are reported, including each/for tables and runIf/skipIf builders. Custom builders and indirect callback references are excluded. A runner skip suppresses the finding only when it is an unconditional earlier statement in the return's block. Vitest imports and unshadowed runner globals support TestContext.skip on the first ordinary-test parameter or second for-table parameter, including a directly destructured skip alias; each-table data arguments, reassigned bindings, overwritten skip methods and dynamic skip conditions are excluded."],
   examples: [
     { id: "rethrow", title: "Preserve the failure", outcome: "no-match", files: [{ path: "src/codec.test.ts", source: "test('decodes', () => { try { decode(); } catch (error) { throw error; } expect(result()).toBe('ok'); });" }], focusPath: "src/codec.test.ts", expectedCount: 0, public: true },
-    { id: "bare-return", title: "Do not silently pass", outcome: "match", files: [{ path: "src/codec.test.ts", source: "test('decodes', () => { try { decode(); } catch { return; } expect(result()).toBe('ok'); });" }], focusPath: "src/codec.test.ts", expectedCount: 1, public: true }
+    { id: "bare-return", title: "Do not silently pass", outcome: "match", files: [{ path: "src/codec.test.ts", source: "test('decodes', () => { try { decode(); } catch { return; } expect(result()).toBe('ok'); });" }], focusPath: "src/codec.test.ts", expectedCount: 1, public: true },
+    { id: "table-bare-return", scenarioId: "table-catch", title: "Case tables must preserve failures", outcome: "match", files: [{ path: "src/codec.test.ts", source: "test.each(['valid', 'invalid'])('decodes %s', (input) => { try { decode(input); } catch { return; } expect(result()).toBe('ok'); });" }], focusPath: "src/codec.test.ts", expectedCount: 1, public: true },
+    { id: "table-rethrow", scenarioId: "table-catch", title: "Each table case propagates its failure", outcome: "no-match", files: [{ path: "src/codec.test.ts", source: "test.each(['valid', 'invalid'])('decodes %s', (input) => { try { decode(input); } catch (error) { throw error; } expect(result()).toBe('ok'); });" }], focusPath: "src/codec.test.ts", expectedCount: 0, public: true },
+    { id: "table-context-skip", scenarioId: "context-skip", title: "A Vitest context skip preserves an optional table case", outcome: "no-match", files: [{ path: "src/codec.test.ts", source: "import {test, expect} from 'vitest'; test.for(['optional'])('decodes %s', (input, context) => { try { decode(input); } catch { context.skip('codec unavailable'); return; } expect(result()).toBe('ok'); });" }], focusPath: "src/codec.test.ts", expectedCount: 0, public: true },
+    { id: "table-context-false-skip", scenarioId: "context-skip", title: "A false skip condition does not preserve the failure", outcome: "match", files: [{ path: "src/codec.test.ts", source: "import {test, expect} from 'vitest'; test.for(['optional'])('decodes %s', (input, context) => { try { decode(input); } catch { context.skip(false); return; } expect(result()).toBe('ok'); });" }], focusPath: "src/codec.test.ts", expectedCount: 1, public: true }
   ]
 };
 var TEST_NAMES = /* @__PURE__ */ new Set(["it", "test"]);
 var TEST_MODIFIERS2 = /* @__PURE__ */ new Set(["concurrent", "fails", "only", "sequential", "skip"]);
+var TEST_BUILDERS = /* @__PURE__ */ new Set(["each", "for", "runIf", "skipIf"]);
 var ASSERTION_NAMES = /* @__PURE__ */ new Set(["assert", "assertType", "expect", "expectTypeOf"]);
 var FUNCTION_TYPES3 = /* @__PURE__ */ new Set([AST_NODE_TYPES43.ArrowFunctionExpression, AST_NODE_TYPES43.FunctionExpression, AST_NODE_TYPES43.FunctionDeclaration]);
 function staticMemberName3(node) {
@@ -9080,6 +9088,12 @@ function isDirectTestCallback(node, context) {
 function testRoot(callee) {
   callee = unwrapExpression(callee);
   if (callee.type === AST_NODE_TYPES43.Identifier) return callee;
+  if (callee.type === AST_NODE_TYPES43.CallExpression || callee.type === AST_NODE_TYPES43.TaggedTemplateExpression) {
+    const builder = unwrapExpression(callee.type === AST_NODE_TYPES43.CallExpression ? callee.callee : callee.tag);
+    if (builder.type !== AST_NODE_TYPES43.MemberExpression) return null;
+    const name = staticMemberName3(builder);
+    return name !== null && (callee.type === AST_NODE_TYPES43.TaggedTemplateExpression ? name === "each" || name === "for" : TEST_BUILDERS.has(name)) ? testRoot(builder.object) : null;
+  }
   if (callee.type !== AST_NODE_TYPES43.MemberExpression) return null;
   const modifier = staticMemberName3(callee);
   return modifier !== null && TEST_MODIFIERS2.has(modifier) ? testRoot(callee.object) : null;
@@ -9103,11 +9117,67 @@ function isExplicitSkip(node, context) {
   const root = rootIdentifier2(unwrappedNodeCallee.object);
   return root !== null && TEST_NAMES.has(runtimeTestFrameworkName(context.sourceCode, root, "test") ?? "");
 }
-function hasDominatingExplicitSkip(node, context) {
+function isUnconditionalContextSkip(node, owner, context) {
+  if (node.type !== AST_NODE_TYPES43.CallExpression || node.optional) return false;
+  const first = node.arguments[0] === void 0 ? void 0 : unwrapExpression(node.arguments[0]);
+  const note = first?.type === AST_NODE_TYPES43.Literal && typeof first.value === "string" || first?.type === AST_NODE_TYPES43.TemplateLiteral && first.expressions.length === 0;
+  const always = first?.type === AST_NODE_TYPES43.Literal && first.value === true;
+  if (node.arguments.length !== 0 && !(node.arguments.length === 1 && note) && !(node.arguments.length <= 2 && always)) return false;
+  const parameter = testContextParameter(owner, context);
+  const callee = unwrapExpression(node.callee);
+  if (parameter?.type === AST_NODE_TYPES43.Identifier && callee.type === AST_NODE_TYPES43.MemberExpression && !callee.optional && staticMemberName3(callee) === "skip") {
+    const receiver = unwrapExpression(callee.object);
+    return receiver.type === AST_NODE_TYPES43.Identifier && isStableParameterReference(receiver, parameter, context, true);
+  }
+  if (parameter?.type !== AST_NODE_TYPES43.ObjectPattern || callee.type !== AST_NODE_TYPES43.Identifier) return false;
+  return parameter.properties.some((property) => property.type === AST_NODE_TYPES43.Property && ASTUtils22.getPropertyName(property) === "skip" && property.value.type === AST_NODE_TYPES43.Identifier && isStableParameterReference(callee, property.value, context, false));
+}
+function testContextParameter(owner, context) {
+  const call = directArgumentCall(owner);
+  if (call === null) return null;
+  const root = testRoot(call.callee);
+  if (root === null) return null;
+  const binding = ASTUtils22.findVariable(context.sourceCode.getScope(root), root.name);
+  const definition = binding?.defs[0];
+  const runnerGlobal = binding === null || binding.defs.length === 0;
+  const vitestImport = binding?.defs.length === 1 && definition?.node.type === AST_NODE_TYPES43.ImportSpecifier && definition.node.parent.type === AST_NODE_TYPES43.ImportDeclaration && definition.node.parent.source.value === "vitest";
+  if (!runnerGlobal && !vitestImport) return null;
+  const position = contextParameterPosition(call.callee);
+  return position === null ? null : owner.params[position] ?? null;
+}
+function contextParameterPosition(callee) {
+  callee = unwrapExpression(callee);
+  if (callee.type === AST_NODE_TYPES43.Identifier) return 0;
+  if (callee.type === AST_NODE_TYPES43.MemberExpression) return contextParameterPosition(callee.object);
+  if (callee.type !== AST_NODE_TYPES43.CallExpression && callee.type !== AST_NODE_TYPES43.TaggedTemplateExpression) return null;
+  const builder = unwrapExpression(callee.type === AST_NODE_TYPES43.CallExpression ? callee.callee : callee.tag);
+  if (builder.type !== AST_NODE_TYPES43.MemberExpression) return null;
+  const name = staticMemberName3(builder);
+  const inherited = contextParameterPosition(builder.object);
+  return name === "each" || inherited === null ? null : name === "for" ? 1 : inherited;
+}
+function isStableParameterReference(identifier, parameter, context, memberReceiver) {
+  const source = context.sourceCode;
+  const binding = ASTUtils22.findVariable(source.getScope(parameter), parameter.name);
+  if (binding === null || binding !== ASTUtils22.findVariable(source.getScope(identifier), identifier.name)) return false;
+  return binding.references.every((reference) => {
+    if (reference.isWrite() && !reference.init) return false;
+    if (!memberReceiver) return true;
+    const receiver = outerExpression(reference.identifier);
+    const member = receiver.parent;
+    if (member?.type !== AST_NODE_TYPES43.MemberExpression || member.object !== receiver) return true;
+    const name = staticMemberName3(member);
+    if (name !== null && name !== "skip") return true;
+    const use = outerExpression(member);
+    const parent = use.parent;
+    return !(parent.type === AST_NODE_TYPES43.AssignmentExpression && parent.left === use) && !(parent.type === AST_NODE_TYPES43.UpdateExpression && parent.argument === use) && !(parent.type === AST_NODE_TYPES43.UnaryExpression && parent.operator === "delete" && parent.argument === use);
+  });
+}
+function hasDominatingExplicitSkip(node, owner, context) {
   const block = node.parent;
   if (block?.type !== AST_NODE_TYPES43.BlockStatement) return false;
   return block.body.some(
-    (candidate2) => candidate2.range[1] <= node.range[0] && candidate2.type === AST_NODE_TYPES43.ExpressionStatement && isExplicitSkip(candidate2.expression, context)
+    (candidate2) => candidate2.range[1] <= node.range[0] && candidate2.type === AST_NODE_TYPES43.ExpressionStatement && (isExplicitSkip(candidate2.expression, context) || isUnconditionalContextSkip(candidate2.expression, owner, context))
   );
 }
 var no_bare_return_from_test_catch_default = createRule({
@@ -9141,7 +9211,7 @@ var no_bare_return_from_test_catch_default = createRule({
         if (parameter?.type === AST_NODE_TYPES43.Identifier && returnBlock?.type === AST_NODE_TYPES43.BlockStatement) {
           const errorBinding = ASTUtils22.findVariable(context.sourceCode.getScope(parameter), parameter.name);
           const assertedError = returnBlock.body.some((statement) => {
-            if (statement.range[1] >= node.range[0] || statement.type !== AST_NODE_TYPES43.ExpressionStatement) return false;
+            if (statement.range[1] > node.range[0] || statement.type !== AST_NODE_TYPES43.ExpressionStatement) return false;
             const expression = statement.expression;
             if (expression.type !== AST_NODE_TYPES43.CallExpression || !isAssertion(expression, context)) return false;
             const root = rootIdentifier2(expression.callee);
@@ -9154,7 +9224,7 @@ var no_bare_return_from_test_catch_default = createRule({
           });
           if (assertedError) return;
         }
-        if (hasDominatingExplicitSkip(node, context)) return;
+        if (hasDominatingExplicitSkip(node, owner, context)) return;
         if (!walkOwnScope(owner.body, (current) => current.range[0] > node.range[1] && isAssertion(current, context))) return;
         context.report({ node, messageId: "bareReturnFromTestCatch" });
       }
@@ -10559,8 +10629,9 @@ var NO_RESTRICTED_LIBRARY_LOAD_DOCUMENTATION = {
   category: "architecture",
   limitations: ["Only literal dynamic imports, unshadowed CommonJS loads/resolution calls, and runtime TypeScript import-equals declarations are checked; erased type imports are excluded. A configured restriction list is required."],
   examples: [
-    { id: "static-import", title: "Static imports remain the static-import rule's responsibility", outcome: "no-match", files: [{ path: "src/client.ts", source: "import axios from 'axios';" }], focusPath: "src/client.ts", expectedCount: 0, public: true, ruleOptions: [{ libraries: [{ id: "LIB101", module: "axios", replacement: "Ky" }] }] },
-    { id: "runtime-load", title: "Do not load a restricted library at runtime", outcome: "match", files: [{ path: "src/client.ts", source: "const client = require('axios');" }], focusPath: "src/client.ts", expectedCount: 1, public: true, ruleOptions: [{ libraries: [{ id: "LIB101", module: "axios", replacement: "Ky" }] }] }
+    { id: "configured-replacement", title: "Use the configured library replacement", outcome: "no-match", files: [{ path: "src/client.ts", source: "import ky from 'ky'; const client = ky;" }], focusPath: "src/client.ts", expectedCount: 0, public: true, ruleOptions: [{ libraries: [{ id: "LIB101", module: "axios", replacement: "Ky" }] }] },
+    { id: "runtime-load", title: "Do not load a restricted library at runtime", outcome: "match", files: [{ path: "src/client.ts", source: "const client = require('axios');" }], focusPath: "src/client.ts", expectedCount: 1, public: true, ruleOptions: [{ libraries: [{ id: "LIB101", module: "axios", replacement: "Ky" }] }] },
+    { id: "static-import-owned-upstream", title: "Leave static restrictions to the owning import rule", outcome: "no-match", files: [{ path: "src/client.ts", source: "import axios from 'axios';" }], focusPath: "src/client.ts", expectedCount: 0, ruleOptions: [{ libraries: [{ id: "LIB101", module: "axios", replacement: "Ky" }] }] }
   ]
 };
 function staticModule(node) {
@@ -13286,7 +13357,7 @@ var NO_TAUTOLOGICAL_EXPECT_DOCUMENTATION = {
   remediation: "Assert on a value produced by the behavior under test against an independently specified expectation, or remove only the redundant assertion while preserving coverage.",
   category: "testing",
   limitations: [
-    "Only direct supported `expect` matcher calls in recognized test files are inspected. Local expect bindings, regular expressions, and unsupported coercions are excluded; failing constant assertions are not tautologies.",
+    "Only supported `expect` matcher calls in recognized test files are inspected, including imported aliases and a single `.not` on zero-argument matchers. Local or type-only bindings, regular expressions, async modifiers and unsupported coercions are excluded; failing constant assertions are not tautologies.",
     "Scalar const bindings and aliases resolve through lexical scope; mutable bindings, objects, arrays, destructuring, runtime initializers and forward references are excluded.",
     "Expected-side runtime dependence, including a complete inline snapshot computed from its actual value, remains manual review; independent static interpolation and intentional partial masking are valid."
   ],
@@ -13319,6 +13390,26 @@ var NO_TAUTOLOGICAL_EXPECT_DOCUMENTATION = {
       expectedCount: 1,
       public: true
     },
+    {
+      id: "negated-setup-oracle",
+      scenarioId: "negated-setup",
+      title: "Negating a fixed matcher still does not observe the application",
+      outcome: "match",
+      files: [{ path: "src/service.test.ts", source: "import {expect as verify} from 'vitest'; it('works', () => { const ready = false; verify(ready).not.toBeTruthy(); });" }],
+      focusPath: "src/service.test.ts",
+      expectedCount: 1,
+      public: true
+    },
+    {
+      id: "negated-produced-oracle",
+      scenarioId: "negated-setup",
+      title: "A negated assertion can observe a runtime result",
+      outcome: "no-match",
+      files: [{ path: "src/service.test.ts", source: "import {expect as verify} from 'vitest'; it('works', () => { verify(serviceStatus()).not.toBeNull(); });" }],
+      focusPath: "src/service.test.ts",
+      expectedCount: 0,
+      public: true
+    },
     {
       id: "produced-scalar-oracle",
       scenarioId: "setup-only",
@@ -13412,13 +13503,16 @@ function passesZeroArgumentMatcher(node, matcher) {
       return false;
   }
 }
-function expectOperand(callee) {
-  const receiver = unwrapExpression(callee.object);
+function expectOperand(callee, sourceCode) {
+  let receiver = unwrapExpression(callee.object);
+  const negated = receiver.type === AST_NODE_TYPES60.MemberExpression && ASTUtils36.getPropertyName(receiver) === "not";
+  if (negated && receiver.type === AST_NODE_TYPES60.MemberExpression) receiver = unwrapExpression(receiver.object);
   const expectCallee = receiver.type === AST_NODE_TYPES60.CallExpression ? unwrapExpression(receiver.callee) : null;
-  if (receiver.type !== AST_NODE_TYPES60.CallExpression || expectCallee?.type !== AST_NODE_TYPES60.Identifier || expectCallee.name !== "expect" || receiver.arguments.length !== 1) {
+  if (receiver.type !== AST_NODE_TYPES60.CallExpression || expectCallee?.type !== AST_NODE_TYPES60.Identifier || runtimeTestFrameworkName(sourceCode, expectCallee, "assertion") !== "expect" || receiver.arguments.length !== 1) {
     return null;
   }
-  return receiver.arguments[0] ?? null;
+  const operand = receiver.arguments[0];
+  return operand === void 0 ? null : { operand, negated };
 }
 var no_tautological_expect_default = createRule({
   name: "no-tautological-expect",
@@ -13449,33 +13543,25 @@ var no_tautological_expect_default = createRule({
         if (callee.type !== AST_NODE_TYPES60.MemberExpression) return;
         const matcher = ASTUtils36.getPropertyName(callee);
         if (matcher === null) return;
-        const receiver = unwrapExpression(callee.object);
-        if (receiver.type !== AST_NODE_TYPES60.CallExpression) return;
-        const expectIdentifier = unwrapExpression(receiver.callee);
-        if (expectIdentifier.type !== AST_NODE_TYPES60.Identifier) return;
-        const variable = ASTUtils36.findVariable(context.sourceCode.getScope(expectIdentifier), expectIdentifier.name);
-        if (variable !== null && variable.defs.some((definition) => {
-          if (definition.node.type !== AST_NODE_TYPES60.ImportSpecifier) return true;
-          const declaration = definition.node.parent;
-          const imported = definition.node.imported;
-          return declaration.type !== AST_NODE_TYPES60.ImportDeclaration || !["vitest", "@jest/globals", "@playwright/test", "bun:test"].includes(String(declaration.source.value)) || (imported.type === AST_NODE_TYPES60.Identifier ? imported.name : imported.value) !== "expect";
-        })) return;
-        const writtenOperand = expectOperand(callee);
-        const operand = writtenOperand === null ? null : resolveLiteral(writtenOperand, context.sourceCode);
+        const assertion = expectOperand(callee, context.sourceCode);
+        if (assertion === null) return;
+        const writtenOperand = assertion.operand;
+        const operand = resolveLiteral(writtenOperand, context.sourceCode);
         if (operand === null) {
           return;
         }
-        if (ZERO_ARG_MATCHERS.has(matcher) && node.arguments.length === 0 && passesZeroArgumentMatcher(operand, matcher)) {
+        const writtenMatcher = `${assertion.negated ? "not." : ""}${matcher}`;
+        if (ZERO_ARG_MATCHERS.has(matcher) && node.arguments.length === 0 && passesZeroArgumentMatcher(operand, matcher) !== assertion.negated) {
           context.report({
             node,
             messageId: "tautologicalMatcher",
-            data: { operand: preview2(writtenOperand ?? operand), matcher }
+            data: { operand: preview2(writtenOperand), matcher: writtenMatcher }
           });
           return;
         }
         const writtenExpected = node.arguments[0];
         const expected = writtenExpected === void 0 ? null : resolveLiteral(writtenExpected, context.sourceCode);
-        if (!EQUALITY_MATCHERS.has(matcher) || node.arguments.length !== 1 || expected === null) {
+        if (assertion.negated || !EQUALITY_MATCHERS.has(matcher) || node.arguments.length !== 1 || expected === null) {
           return;
         }
         if (matcher === "toBe" && (isStructuralLiteral(operand) || isStructuralLiteral(expected))) {
@@ -13487,7 +13573,7 @@ var no_tautological_expect_default = createRule({
         context.report({
           node,
           messageId: "tautologicalComparison",
-          data: { operand: preview2(writtenOperand ?? operand), matcher }
+          data: { operand: preview2(writtenOperand), matcher }
         });
       }
     };
@@ -14065,7 +14151,7 @@ var NO_DECLARATION_COMMENT_WALL_DOCUMENTATION = {
       id: "uncommented-members",
       title: "Let clear member names stand alone",
       outcome: "no-match",
-      files: [{ path: "src/status.ts", source: "enum Status { Pending = 'pending', Done = 'done', Failed = 'failed' }" }],
+      files: [{ path: "src/status.ts", source: "enum Status { Pending = 'pending', Finished = 'finished', Failed = 'failed' }" }],
       focusPath: "src/status.ts",
       expectedCount: 0,
       public: true
@@ -14356,7 +14442,7 @@ var NO_TYPE_MEMBER_COMMENT_WALL_DOCUMENTATION = {
       id: "uncommented-members",
       title: "Let clear member names and types stand alone",
       outcome: "no-match",
-      files: [{ path: "src/credentials.ts", source: "interface Credentials { host: string; port: number; username: string; }" }],
+      files: [{ path: "src/credentials.ts", source: "interface Credentials { host?: string; port?: number; username?: string; password?: string; }" }],
       focusPath: "src/credentials.ts",
       expectedCount: 0,
       public: true
@@ -14952,12 +15038,37 @@ var NO_ZOD_NATIVE_ENUM_DOCUMENTATION = {
     },
     {
       id: "zod-native-enum",
-      title: "Do not wrap a TypeScript enum",
+      title: "Declare literal values instead of an enum-like object",
       outcome: "match",
       files: [{ path: "src/status.ts", source: 'import { z } from "zod"; const S = z.nativeEnum({ Active: "active", Inactive: "inactive" });' }],
       focusPath: "src/status.ts",
       expectedCount: 1,
       public: true
+    },
+    {
+      id: "imported-typescript-enum",
+      scenarioId: "imported-enum",
+      title: "Do not hide an imported TypeScript enum behind z.enum",
+      outcome: "match",
+      files: [
+        { path: "src/status-values.ts", source: "export enum Status { Active = 'active', Inactive = 'inactive' }" },
+        { path: "src/status.ts", source: "import { z } from 'zod'; import { Status } from './status-values.js';\nexport const StatusSchema = z.enum(Status);" }
+      ],
+      installedDependencies: [{ module: "zod", version: "4.6.7" }],
+      focusPath: "src/status.ts",
+      expectedCount: 1,
+      public: true
+    },
+    {
+      id: "schema-owned-string-values",
+      scenarioId: "imported-enum",
+      title: "Let the schema own its literal value domain",
+      outcome: "no-match",
+      files: [{ path: "src/status.ts", source: "import { z } from 'zod';\nexport const StatusSchema = z.enum(['active', 'inactive']);" }],
+      installedDependencies: [{ module: "zod", version: "4.6.7" }],
+      focusPath: "src/status.ts",
+      expectedCount: 0,
+      public: true
     }
   ]
 };
@@ -17879,7 +17990,7 @@ var PREFER_MODULE_LEVEL_REFINED_SCHEMA_DOCUMENTATION = {
       outcome: "no-match",
       files: [{
         path: "src/options.ts",
-        source: "import { z } from 'zod'; const BatchSizeSchema = z.number().int().min(1).max(1000); export function parse(value: unknown) { return BatchSizeSchema.parse(value); }"
+        source: "import { z } from 'zod'; const NameSchema = z.string().trim().min(1).max(128); export function parse(value: unknown) { return NameSchema.parse(value); }"
       }],
       focusPath: "src/options.ts",
       expectedCount: 0,
@@ -19525,7 +19636,7 @@ var PREFER_SCHEMA_FOR_API_PAYLOAD_DOCUMENTATION = {
     "Test fixtures, generated clients and recognized local-file reads are excluded. This is bounded local analysis, not a general control-flow or mutation proof."
   ],
   examples: [
-    { id: "validated-payload", title: "Validate before property access", outcome: "no-match", files: [{ path: "src/client.ts", source: "async function load(response: Response) { const body = UserSchema.parse(await response.json()); return body.id; }" }], focusPath: "src/client.ts", expectedCount: 0, public: true },
+    { id: "validated-payload", title: "Validate before property access", outcome: "no-match", files: [{ path: "src/client.ts", source: "import { z } from 'zod';\nconst UserSchema = z.object({ id: z.string() });\nasync function load(response: Response) { const body = UserSchema.parse(await response.json()); return body.id; }" }], installedDependencies: [{ module: "zod", version: "4.6.7" }], focusPath: "src/client.ts", expectedCount: 0, public: true },
     { id: "unvalidated-payload", title: "Do not trust response JSON directly", outcome: "match", files: [{ path: "src/client.ts", source: "async function load(response: Response) { const body = await response.json(); return body.id; }" }], focusPath: "src/client.ts", expectedCount: 1, public: true }
   ]
 };
@@ -20201,8 +20312,8 @@ var PREFER_SWITCH_FOR_REPEATED_EQUALITY_DOCUMENTATION = {
     "The rule deliberately ignores compound predicates, loose equality, ranges, and chains that compare different discriminants."
   ],
   examples: [
-    { id: "switch-dispatch", title: "Make finite dispatch explicit", outcome: "no-match", files: [{ path: "src/render.ts", source: "switch (kind) { case 'a': return a(); case 'b': return b(); case 'c': return c(); default: return fallback(); }" }], focusPath: "src/render.ts", expectedCount: 0, public: true },
-    { id: "repeated-equality", title: "Avoid repeating the discriminant", outcome: "match", files: [{ path: "src/render.ts", source: "function render(kind: string) { if (kind === 'a') return a(); else if (kind === 'b') return b(); else if (kind === 'c') return c(); }" }], focusPath: "src/render.ts", expectedCount: 1, public: true },
+    { id: "switch-dispatch", title: "Make finite dispatch explicit", outcome: "no-match", files: [{ path: "src/render.ts", source: "function render(kind: string) { switch (kind) { case 'a': return 'alpha'; case 'b': return 'beta'; case 'c': return 'gamma'; default: return 'unknown'; } }" }], focusPath: "src/render.ts", expectedCount: 0, public: true },
+    { id: "repeated-equality", title: "Avoid repeating the discriminant", outcome: "match", files: [{ path: "src/render.ts", source: "function render(kind: string) { if (kind === 'a') return 'alpha'; else if (kind === 'b') return 'beta'; else if (kind === 'c') return 'gamma'; return 'unknown'; }" }], focusPath: "src/render.ts", expectedCount: 1, public: true },
     { id: "escaped-middle", scenarioId: "native-discriminant", title: "Use native identifier identity", outcome: "match", files: [{ path: "src/dispatch.ts", source: `function probe(kind){if(kind==='a')return 1;else if(\\u006bind==='b')return 2;else if(kind==='c')return 3;return 0;}
 console.log(JSON.stringify(["a","b","c","d"].map(probe)));` }], focusPath: "src/dispatch.ts", expectedCount: 1, public: true },
     { id: "different-discriminants", scenarioId: "native-discriminant", title: "Use native identifier identity", outcome: "no-match", files: [{ path: "src/dispatch.ts", source: `function probe(kind){const other="other";if(kind==='a')return 1;else if(other==='b')return 2;else if(kind==='c')return 3;return 0;}
@@ -22747,7 +22858,7 @@ var REQUIRE_ASSERT_NEVER_DOCUMENTATION = {
   category: "correctness",
   limitations: ["Requires type information and singleton case values covering the current union. The helper must accept never to provide a compile-time check; its spelling alone is not a proof of that contract. Review the desired runtime behavior for unexpected external values."],
   examples: [
-    { id: "assert-never-default", title: "Make the default exhaustive", outcome: "no-match", files: [{ path: "src/render.ts", source: "declare const kind: 'a' | 'b';\nswitch (kind) { case 'a': break; case 'b': break; default: assertNever(kind); }" }], focusPath: "src/render.ts", expectedCount: 0, public: true },
+    { id: "assert-never-default", title: "Make the default exhaustive", outcome: "no-match", files: [{ path: "src/render.ts", source: "function assertNever(value: never): never { throw new Error(`Unexpected kind: ${String(value)}`); }\ndeclare const kind: 'a' | 'b';\nswitch (kind) { case 'a': break; case 'b': break; default: assertNever(kind); }" }], focusPath: "src/render.ts", expectedCount: 0, public: true },
     { id: "empty-default", title: "Do not leave an exhaustive default empty", outcome: "match", files: [{ path: "src/render.ts", source: "declare const kind: 'a' | 'b';\nswitch (kind) { case 'a': break; case 'b': break; default: }" }], focusPath: "src/render.ts", expectedCount: 1, public: true }
   ]
 };

package/dist/rule-examples.cjs

@@ -48,6 +48,7 @@ async function verifyRuleExamples(rule, setup = {}) {
     try {
       for (const file of example.files) {
         const path = fixturePath(root, file.path);
+        validateFixtureSyntax(example.id, file, path);
         await (0, import_promises.mkdir)((0, import_node_path.dirname)(path), { recursive: true });
         await (0, import_promises.writeFile)(path, file.source);
       }
@@ -92,6 +93,14 @@ function fixturePath(root, path) {
   if (!resolved.startsWith(root + import_node_path.sep)) throw new Error(`unsafe example path: ${path}`);
   return resolved;
 }
+function validateFixtureSyntax(exampleId, file, path) {
+  if (!/\.[cm]?[jt]sx?$/u.test(file.path)) return;
+  try {
+    parser.parse(file.source, { filePath: path });
+  } catch (error) {
+    throw new Error(`${exampleId}: invalid fixture ${file.path}`, { cause: error });
+  }
+}
 async function verifyExample(linter, config, example, root, ruleId) {
   const focus = example.files.find((file) => file.path === example.focusPath);
   if (focus === void 0) throw new Error(`${example.id}: focus file is missing`);
@@ -100,6 +109,19 @@ async function verifyExample(linter, config, example, root, ruleId) {
   if (messages.some((message) => message.fatal || message.ruleId !== ruleId)) {
     throw new Error(`${example.id}: invalid fixture: ${messages.map((message) => message.message).join("; ")}`);
   }
+  const lines = linter.getSourceCode().lines;
+  if (messages.some((message) => !physicalDiagnosticLocation(message, lines))) {
+    throw new Error(`${example.id}: invalid diagnostic location`);
+  }
+  const locations = messages.map((message) => JSON.stringify([
+    message.ruleId,
+    message.messageId ?? message.message,
+    message.line,
+    message.column,
+    message.endLine,
+    message.endColumn
+  ]));
+  if (new Set(locations).size !== locations.length) throw new Error(`${example.id}: duplicate diagnostic`);
   if (messages.length !== example.expectedCount) {
     throw new Error(`${example.id}: expected ${example.expectedCount} findings, received ${messages.length}`);
   }
@@ -116,6 +138,17 @@ async function verifyExample(linter, config, example, root, ruleId) {
     }
   }
 }
+function physicalDiagnosticLocation(message, lines) {
+  if (!physicalPosition(lines, message.line, message.column)) return false;
+  if (message.endLine === void 0 && message.endColumn === void 0) return true;
+  if (!physicalPosition(lines, message.endLine, message.endColumn)) return false;
+  return message.endLine !== void 0 && message.endColumn !== void 0 && (message.endLine > message.line || message.endLine === message.line && message.endColumn >= message.column);
+}
+function physicalPosition(lines, line, column) {
+  if (line === void 0 || column === void 0 || !Number.isInteger(line) || !Number.isInteger(column)) return false;
+  const text = lines[line - 1];
+  return text !== void 0 && column >= 1 && column <= text.length + 1;
+}
 // Annotate the CommonJS export names for ESM import in node:
 0 && (module.exports = {
   verifyRuleExamples

package/dist/rule-examples.js

@@ -14,6 +14,7 @@ async function verifyRuleExamples(rule, setup = {}) {
     try {
       for (const file of example.files) {
         const path = fixturePath(root, file.path);
+        validateFixtureSyntax(example.id, file, path);
         await mkdir(dirname(path), { recursive: true });
         await writeFile(path, file.source);
       }
@@ -58,6 +59,14 @@ function fixturePath(root, path) {
   if (!resolved.startsWith(root + sep)) throw new Error(`unsafe example path: ${path}`);
   return resolved;
 }
+function validateFixtureSyntax(exampleId, file, path) {
+  if (!/\.[cm]?[jt]sx?$/u.test(file.path)) return;
+  try {
+    parser.parse(file.source, { filePath: path });
+  } catch (error) {
+    throw new Error(`${exampleId}: invalid fixture ${file.path}`, { cause: error });
+  }
+}
 async function verifyExample(linter, config, example, root, ruleId) {
   const focus = example.files.find((file) => file.path === example.focusPath);
   if (focus === void 0) throw new Error(`${example.id}: focus file is missing`);
@@ -66,6 +75,19 @@ async function verifyExample(linter, config, example, root, ruleId) {
   if (messages.some((message) => message.fatal || message.ruleId !== ruleId)) {
     throw new Error(`${example.id}: invalid fixture: ${messages.map((message) => message.message).join("; ")}`);
   }
+  const lines = linter.getSourceCode().lines;
+  if (messages.some((message) => !physicalDiagnosticLocation(message, lines))) {
+    throw new Error(`${example.id}: invalid diagnostic location`);
+  }
+  const locations = messages.map((message) => JSON.stringify([
+    message.ruleId,
+    message.messageId ?? message.message,
+    message.line,
+    message.column,
+    message.endLine,
+    message.endColumn
+  ]));
+  if (new Set(locations).size !== locations.length) throw new Error(`${example.id}: duplicate diagnostic`);
   if (messages.length !== example.expectedCount) {
     throw new Error(`${example.id}: expected ${example.expectedCount} findings, received ${messages.length}`);
   }
@@ -82,6 +104,17 @@ async function verifyExample(linter, config, example, root, ruleId) {
     }
   }
 }
+function physicalDiagnosticLocation(message, lines) {
+  if (!physicalPosition(lines, message.line, message.column)) return false;
+  if (message.endLine === void 0 && message.endColumn === void 0) return true;
+  if (!physicalPosition(lines, message.endLine, message.endColumn)) return false;
+  return message.endLine !== void 0 && message.endColumn !== void 0 && (message.endLine > message.line || message.endLine === message.line && message.endColumn >= message.column);
+}
+function physicalPosition(lines, line, column) {
+  if (line === void 0 || column === void 0 || !Number.isInteger(line) || !Number.isInteger(column)) return false;
+  const text = lines[line - 1];
+  return text !== void 0 && column >= 1 && column <= text.length + 1;
+}
 export {
   verifyRuleExamples
 };

package/package.json

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