@sarj/eslint-plugin 16.15.1 → 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.1",
+  version: "16.15.2",
   packageManager: "npm@12.2.0",
   description: "Custom ESLint rules for hypermodern TypeScript / React / Next.js projects",
   type: "module",
@@ -9071,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) {
@@ -9102,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;
@@ -9125,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({
@@ -9163,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);
@@ -9176,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" });
       }
@@ -13309,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."
   ],
@@ -13342,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",
@@ -13435,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",
@@ -13472,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))) {
@@ -13510,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 }
         });
       }
     };

package/dist/index.js

@@ -1,7 +1,7 @@
 // package.json
 var package_default = {
   name: "@sarj/eslint-plugin",
-  version: "16.15.1",
+  version: "16.15.2",
   packageManager: "npm@12.2.0",
   description: "Custom ESLint rules for hypermodern TypeScript / React / Next.js projects",
   type: "module",
@@ -9052,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) {
@@ -9083,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;
@@ -9106,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({
@@ -9144,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);
@@ -9157,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" });
       }
@@ -13290,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."
   ],
@@ -13323,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",
@@ -13416,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",
@@ -13453,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))) {
@@ -13491,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 }
         });
       }
     };

package/package.json

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