@sarj/eslint-plugin 16.16.0 → 16.16.1

package/dist/index.cjs

@@ -52,7 +52,7 @@ module.exports = __toCommonJS(src_exports);
 // package.json
 var package_default = {
   name: "@sarj/eslint-plugin",
-  version: "16.16.0",
+  version: "16.16.1",
   packageManager: "npm@12.2.0",
   description: "Custom ESLint rules for hypermodern TypeScript / React / Next.js projects",
   type: "module",
@@ -13647,26 +13647,30 @@ var no_string_concat_in_loop_default = createRule({
 var import_utils75 = require("@typescript-eslint/utils");
 var TEST_MODULES = /* @__PURE__ */ new Set(["vitest", "@jest/globals", "bun:test"]);
 var TEST_NAMES2 = /* @__PURE__ */ new Set(["it", "test"]);
-var MODIFIERS = /* @__PURE__ */ new Set(["only", "skip", "concurrent", "fails", "failing", "todo"]);
+var MODIFIERS = /* @__PURE__ */ new Set(["only", "skip", "concurrent", "sequential", "fails", "failing", "todo"]);
 var NO_DUPLICATE_TEST_CASE_DOCUMENTATION = {
   defaultLevel: "error",
-  summary: "Report repeated literal rows in framework test.each or it.each tables.",
+  summary: "Report repeated literal rows in framework each tables and Vitest for tables.",
   rationale: "Identical rows repeat the same inputs and expected values without exposing a distinct case. Accidental duplicates consume test time and hide a missing boundary vector.",
   remediation: "Remove the accidental duplicate or replace it with the intended distinct boundary. Preserve intentional repeated or stateful scenarios with a local explanation; do not delete their coverage automatically.",
   category: "testing",
   limitations: [
-    "Only literal rows in inline arrays or const tables used exclusively by each calls are compared. Calls, spreads, computed keys, getters, runtime values, tagged tables and mutable or escaped tables are excluded.",
-    "Object property order and all row fields, including names and IDs, remain part of case identity. Imported test aliases are resolved; custom runners and namespace imports are excluded.",
+    "Only literal rows in inline arrays or const tables used exclusively by each or Vitest for calls are compared. Calls, spreads, computed keys, getters, runtime values, tagged tables and mutable or escaped tables are excluded.",
+    "Object property order and all row fields, including names and IDs, remain part of case identity; equivalent quoted and unquoted property names share one identity. Runtime imported test aliases are resolved; type-only imports, custom runners and namespace imports are excluded.",
     "The rule reports duplicate values, not runtime equivalence. There is no autofix because repeated invocations may exercise shared state or concurrency."
   ],
   examples: [
     { id: "duplicate-row", title: "A copied row misses the intended boundary", outcome: "match", files: [{ path: "src/format.test.ts", source: "import {it} from 'vitest'; it.each([[0, '0ms'], [0, '0ms']])('%s', (input, expected) => { expect(format(input)).toBe(expected); });" }], focusPath: "src/format.test.ts", expectedCount: 1, public: true },
-    { id: "distinct-boundary", title: "Distinct inputs have independent rows", outcome: "no-match", files: [{ path: "src/format.test.ts", source: "import {it} from 'vitest'; it.each([[0, '0ms'], [1, '1ms']])('%s', (input, expected) => { expect(format(input)).toBe(expected); });" }], focusPath: "src/format.test.ts", expectedCount: 0, public: true }
+    { id: "distinct-boundary", title: "Distinct inputs have independent rows", outcome: "no-match", files: [{ path: "src/format.test.ts", source: "import {it} from 'vitest'; it.each([[0, '0ms'], [1, '1ms']])('%s', (input, expected) => { expect(format(input)).toBe(expected); });" }], focusPath: "src/format.test.ts", expectedCount: 0, public: true },
+    { id: "duplicate-for-row", scenarioId: "for-table", title: "Vitest for tables retain the same case identity", outcome: "match", files: [{ path: "src/format.test.ts", source: "import {test} from 'vitest'; test.for([{input: 0, expected: '0ms'}, {'input': 0, expected: '0ms'}])('$input', ({input, expected}) => { expect(format(input)).toBe(expected); });" }], focusPath: "src/format.test.ts", expectedCount: 1, public: true },
+    { id: "distinct-for-boundary", scenarioId: "for-table", title: "Vitest for tables preserve distinct boundaries", outcome: "no-match", files: [{ path: "src/format.test.ts", source: "import {test} from 'vitest'; test.for([{input: 0, expected: '0ms'}, {'input': 1, expected: '1ms'}])('$input', ({input, expected}) => { expect(format(input)).toBe(expected); });" }], focusPath: "src/format.test.ts", expectedCount: 0, public: true }
   ]
 };
-function frameworkEach(node, sourceCode) {
+function frameworkTable(node, sourceCode) {
   let callee = unwrapExpression(node.callee);
-  if (callee.type !== import_utils75.AST_NODE_TYPES.MemberExpression || import_utils75.ASTUtils.getPropertyName(callee) !== "each") return false;
+  if (callee.type !== import_utils75.AST_NODE_TYPES.MemberExpression) return false;
+  const method = import_utils75.ASTUtils.getPropertyName(callee);
+  if (method !== "each" && method !== "for") return false;
   callee = unwrapExpression(callee.object);
   while (callee.type === import_utils75.AST_NODE_TYPES.MemberExpression) {
     const name = import_utils75.ASTUtils.getPropertyName(callee);
@@ -13675,12 +13679,12 @@ function frameworkEach(node, sourceCode) {
   }
   if (callee.type !== import_utils75.AST_NODE_TYPES.Identifier) return false;
   const variable = import_utils75.ASTUtils.findVariable(sourceCode.getScope(callee), callee.name);
-  if (variable === null || variable.defs.length === 0) return TEST_NAMES2.has(callee.name);
+  if (variable === null || variable.defs.length === 0) return TEST_NAMES2.has(callee.name) && !variable?.references.some((reference) => reference.isWrite());
   return variable.defs.length === 1 && variable.defs.every((definition) => {
-    if (definition.node.type !== import_utils75.AST_NODE_TYPES.ImportSpecifier) return false;
+    if (definition.node.type !== import_utils75.AST_NODE_TYPES.ImportSpecifier || definition.node.importKind === "type") return false;
     const imported = definition.node.imported;
     const declaration = definition.node.parent;
-    return declaration.type === import_utils75.AST_NODE_TYPES.ImportDeclaration && TEST_NAMES2.has(imported.type === import_utils75.AST_NODE_TYPES.Identifier ? imported.name : imported.value) && TEST_MODULES.has(declaration.source.value);
+    return declaration.type === import_utils75.AST_NODE_TYPES.ImportDeclaration && declaration.importKind !== "type" && TEST_NAMES2.has(imported.type === import_utils75.AST_NODE_TYPES.Identifier ? imported.name : imported.value) && (method === "for" ? declaration.source.value === "vitest" : TEST_MODULES.has(declaration.source.value));
   });
 }
 function table(node, sourceCode) {
@@ -13694,7 +13698,7 @@ function table(node, sourceCode) {
     if (reference.init) return true;
     if (reference.identifier.type !== import_utils75.AST_NODE_TYPES.Identifier) return false;
     const use = outerExpression(reference.identifier);
-    return use.parent.type === import_utils75.AST_NODE_TYPES.CallExpression && use.parent.arguments[0] === use && frameworkEach(use.parent, sourceCode);
+    return use.parent.type === import_utils75.AST_NODE_TYPES.CallExpression && use.parent.arguments[0] === use && frameworkTable(use.parent, sourceCode);
   })) return null;
   const initializer = unwrapExpression(definition.node.init);
   return initializer.type === import_utils75.AST_NODE_TYPES.ArrayExpression ? initializer : null;
@@ -13724,7 +13728,7 @@ function objectKey(node) {
   const fields = [];
   for (const property of node.properties) {
     if (property.type !== import_utils75.AST_NODE_TYPES.Property || property.computed || property.kind !== "init" || property.method) return null;
-    const key = property.key.type === import_utils75.AST_NODE_TYPES.Identifier ? property.key.name : literalKey(property.key);
+    const key = import_utils75.ASTUtils.getPropertyName(property);
     const value = literalKey(property.value);
     if (key === null || value === null) return null;
     fields.push(JSON.stringify([key, value]));
@@ -13747,7 +13751,7 @@ var no_duplicate_test_case_default = createRule({
     return {
       CallExpression(node) {
         const callee = unwrapExpression(node.callee);
-        if (callee.type !== import_utils75.AST_NODE_TYPES.CallExpression || !frameworkEach(callee, context.sourceCode)) return;
+        if (callee.type !== import_utils75.AST_NODE_TYPES.CallExpression || !frameworkTable(callee, context.sourceCode)) return;
         const input = callee.arguments[0];
         if (callee.arguments.length !== 1 || input === void 0) return;
         const cases = table(input, context.sourceCode);
@@ -21559,10 +21563,12 @@ var PREFER_WHOLE_OBJECT_ASSERTION_DOCUMENTATION = {
   category: "testing",
   aliases: ["strict-test-assertions"],
   autofix: "none",
-  limitations: ["Undefined-property assertions are excluded because whole-object matching can require previously absent properties. No automatic rewrite: grouping can change observable getter or proxy reads."],
+  limitations: ["Undefined-property assertions are excluded because whole-object matching can require previously absent properties. Indexed runs with an immediately adjacent literal exact-length assertion are excluded; non-adjacent length checks and intentional prefix contracts remain manual review. No automatic rewrite: grouping can change observable getter or proxy reads."],
   examples: [
     { id: "whole-object", title: "Assert the object once", outcome: "no-match", files: [{ path: "src/user.test.ts", source: "expect(user).toMatchObject({ id: 1, name: 'Ada' });" }], focusPath: "src/user.test.ts", expectedCount: 0, public: true },
-    { id: "member-run", title: "Consider grouping related data properties", outcome: "match", files: [{ path: "src/user.test.ts", source: "expect(user.id).toBe(1);\nexpect(user.name).toBe('Ada');" }], focusPath: "src/user.test.ts", expectedCount: 1, public: true }
+    { id: "member-run", title: "Consider grouping related data properties", outcome: "match", files: [{ path: "src/user.test.ts", source: "expect(user.id).toBe(1);\nexpect(user.name).toBe('Ada');" }], focusPath: "src/user.test.ts", expectedCount: 1, public: true },
+    { id: "indexed-prefix", scenarioId: "array-length", title: "Review the collection contract before combining indexed assertions", outcome: "match", files: [{ path: "src/user.test.ts", source: "expect(users[0]).toEqual('Ada');\nexpect(users[1]).toEqual('Grace');" }], focusPath: "src/user.test.ts", expectedCount: 1, public: true },
+    { id: "length-and-prefix", scenarioId: "array-length", title: "A separate exact length can accompany an intentional prefix contract", outcome: "no-match", files: [{ path: "src/user.test.ts", source: "expect(users).toHaveLength(3);\nexpect(users[0]).toEqual('Ada');\nexpect(users[1]).toEqual('Grace');" }], focusPath: "src/user.test.ts", expectedCount: 0, public: true }
   ]
 };
 function literalText(node, getText) {
@@ -21623,7 +21629,7 @@ var prefer_whole_object_assertion_default = createRule({
     },
     messages: {
       combineAssertions: "Consider combining these {{count}} assertions on `{{receiver}}` with `toMatchObject` when structural matching preserves property presence and getter or proxy behavior.",
-      assertArrayOnce: "These {{count}} assertions check `{{receiver}}[0]`\u2026`{{receiver}}[{{last}}]` one at a time, which never checks how long `{{receiver}}` is \u2014 extra elements pass unnoticed. Assert the array once: `expect({{receiver}}).{{matcher}}([ \u2026 ])`."
+      assertArrayOnce: "These {{count}} assertions check `{{receiver}}[0]`\u2026`{{receiver}}[{{last}}]` separately. If the contract requires the complete array, consider `expect({{receiver}}).{{matcher}}([ \u2026 ])`, which also checks for extra elements. Preserve intentional prefix checks and separate length assertions."
     },
     schema: []
   },
@@ -21689,7 +21695,7 @@ var prefer_whole_object_assertion_default = createRule({
         data: { count: String(run.length), receiver: receiverText }
       });
     }
-    function reportIndexRun(run) {
+    function reportIndexRun(run, before, after) {
       const first = run[0];
       if (first === void 0 || !ARRAY_MATCHERS.has(first.matcher)) {
         return;
@@ -21704,6 +21710,7 @@ var prefer_whole_object_assertion_default = createRule({
       if (indices.size !== run.length || Math.max(...indices) !== run.length - 1) {
         return;
       }
+      if (isExactLengthAssertion(before, first.receiver) || isExactLengthAssertion(after, first.receiver)) return;
       context.report({
         node: first.statement,
         messageId: "assertArrayOnce",
@@ -21717,18 +21724,19 @@ var prefer_whole_object_assertion_default = createRule({
     }
     function checkBody(body2) {
       let run = [];
+      let start = 0;
       const flush = () => {
         const first = run[0];
         if (first !== void 0 && run.length >= MIN_RUN_LENGTH) {
           if (first.key.kind === "property") {
             reportPropertyRun(run);
           } else {
-            reportIndexRun(run);
+            reportIndexRun(run, body2[start - 1], body2[start + run.length]);
           }
         }
         run = [];
       };
-      for (const statement of body2) {
+      for (const [index, statement] of body2.entries()) {
         const assertion = parseAssertion(statement);
         const previous = run.at(-1);
         if (assertion !== null && previous !== void 0 && previous.key.kind === assertion.key.kind && sourceCode.getText(previous.receiver) === sourceCode.getText(assertion.receiver)) {
@@ -21738,6 +21746,7 @@ var prefer_whole_object_assertion_default = createRule({
         flush();
         if (assertion !== null) {
           run = [assertion];
+          start = index;
         }
       }
       flush();
@@ -21783,14 +21792,26 @@ var prefer_whole_object_assertion_default = createRule({
       return assertionExpectation(statement, call, receiver, key, matcher);
     }
     function isTestExpect(callee) {
-      const variable = import_utils118.ASTUtils.findVariable(sourceCode.getScope(callee), callee.name);
-      if (variable !== null && variable.defs.some((definition) => {
-        if (definition.node.type !== import_utils118.AST_NODE_TYPES.ImportSpecifier) return true;
-        const declaration = definition.node.parent;
-        const imported = definition.node.imported;
-        return declaration.type !== import_utils118.AST_NODE_TYPES.ImportDeclaration || !["vitest", "@jest/globals", "@playwright/test", "bun:test"].includes(String(declaration.source.value)) || (imported.type === import_utils118.AST_NODE_TYPES.Identifier ? imported.name : imported.value) !== "expect";
-      })) return false;
-      return true;
+      return runtimeTestFrameworkName(sourceCode, callee, "assertion") === "expect";
+    }
+    function isExactLengthAssertion(statement, receiver) {
+      if (statement?.type !== import_utils118.AST_NODE_TYPES.ExpressionStatement || statement.expression.type !== import_utils118.AST_NODE_TYPES.CallExpression) return false;
+      const call = statement.expression;
+      const callee = unwrapExpression(call.callee);
+      if (callee.type !== import_utils118.AST_NODE_TYPES.MemberExpression || call.arguments.length !== 1) return false;
+      const matcher = import_utils118.ASTUtils.getPropertyName(callee);
+      const assertion = unwrapExpression(callee.object);
+      if (assertion.type !== import_utils118.AST_NODE_TYPES.CallExpression || assertion.arguments.length !== 1) return false;
+      const expect = unwrapExpression(assertion.callee);
+      if (expect.type !== import_utils118.AST_NODE_TYPES.Identifier || !isTestExpect(expect)) return false;
+      const expected = call.arguments[0] === void 0 ? void 0 : unwrapExpression(call.arguments[0]);
+      if (expected?.type !== import_utils118.AST_NODE_TYPES.Literal || typeof expected.value !== "number" || !Number.isInteger(expected.value) || expected.value < 0) return false;
+      let actual = assertion.arguments[0] === void 0 ? void 0 : unwrapExpression(assertion.arguments[0]);
+      if (matcher !== "toHaveLength") {
+        if (matcher === null || !MERGEABLE_MATCHERS.has(matcher) || actual?.type !== import_utils118.AST_NODE_TYPES.MemberExpression || actual.optional || import_utils118.ASTUtils.getPropertyName(actual) !== "length") return false;
+        actual = unwrapExpression(actual.object);
+      }
+      return actual !== void 0 && sourceCode.getText(actual) === sourceCode.getText(receiver);
     }
     function assertionExpectation(statement, call, receiver, key, matcher) {
       const synthetic = SYNTHETIC_LITERAL_MATCHERS.get(matcher);

package/dist/index.js

@@ -1,7 +1,7 @@
 // package.json
 var package_default = {
   name: "@sarj/eslint-plugin",
-  version: "16.16.0",
+  version: "16.16.1",
   packageManager: "npm@12.2.0",
   description: "Custom ESLint rules for hypermodern TypeScript / React / Next.js projects",
   type: "module",
@@ -13628,26 +13628,30 @@ var no_string_concat_in_loop_default = createRule({
 import { AST_NODE_TYPES as AST_NODE_TYPES61, ASTUtils as ASTUtils37 } from "@typescript-eslint/utils";
 var TEST_MODULES = /* @__PURE__ */ new Set(["vitest", "@jest/globals", "bun:test"]);
 var TEST_NAMES2 = /* @__PURE__ */ new Set(["it", "test"]);
-var MODIFIERS = /* @__PURE__ */ new Set(["only", "skip", "concurrent", "fails", "failing", "todo"]);
+var MODIFIERS = /* @__PURE__ */ new Set(["only", "skip", "concurrent", "sequential", "fails", "failing", "todo"]);
 var NO_DUPLICATE_TEST_CASE_DOCUMENTATION = {
   defaultLevel: "error",
-  summary: "Report repeated literal rows in framework test.each or it.each tables.",
+  summary: "Report repeated literal rows in framework each tables and Vitest for tables.",
   rationale: "Identical rows repeat the same inputs and expected values without exposing a distinct case. Accidental duplicates consume test time and hide a missing boundary vector.",
   remediation: "Remove the accidental duplicate or replace it with the intended distinct boundary. Preserve intentional repeated or stateful scenarios with a local explanation; do not delete their coverage automatically.",
   category: "testing",
   limitations: [
-    "Only literal rows in inline arrays or const tables used exclusively by each calls are compared. Calls, spreads, computed keys, getters, runtime values, tagged tables and mutable or escaped tables are excluded.",
-    "Object property order and all row fields, including names and IDs, remain part of case identity. Imported test aliases are resolved; custom runners and namespace imports are excluded.",
+    "Only literal rows in inline arrays or const tables used exclusively by each or Vitest for calls are compared. Calls, spreads, computed keys, getters, runtime values, tagged tables and mutable or escaped tables are excluded.",
+    "Object property order and all row fields, including names and IDs, remain part of case identity; equivalent quoted and unquoted property names share one identity. Runtime imported test aliases are resolved; type-only imports, custom runners and namespace imports are excluded.",
     "The rule reports duplicate values, not runtime equivalence. There is no autofix because repeated invocations may exercise shared state or concurrency."
   ],
   examples: [
     { id: "duplicate-row", title: "A copied row misses the intended boundary", outcome: "match", files: [{ path: "src/format.test.ts", source: "import {it} from 'vitest'; it.each([[0, '0ms'], [0, '0ms']])('%s', (input, expected) => { expect(format(input)).toBe(expected); });" }], focusPath: "src/format.test.ts", expectedCount: 1, public: true },
-    { id: "distinct-boundary", title: "Distinct inputs have independent rows", outcome: "no-match", files: [{ path: "src/format.test.ts", source: "import {it} from 'vitest'; it.each([[0, '0ms'], [1, '1ms']])('%s', (input, expected) => { expect(format(input)).toBe(expected); });" }], focusPath: "src/format.test.ts", expectedCount: 0, public: true }
+    { id: "distinct-boundary", title: "Distinct inputs have independent rows", outcome: "no-match", files: [{ path: "src/format.test.ts", source: "import {it} from 'vitest'; it.each([[0, '0ms'], [1, '1ms']])('%s', (input, expected) => { expect(format(input)).toBe(expected); });" }], focusPath: "src/format.test.ts", expectedCount: 0, public: true },
+    { id: "duplicate-for-row", scenarioId: "for-table", title: "Vitest for tables retain the same case identity", outcome: "match", files: [{ path: "src/format.test.ts", source: "import {test} from 'vitest'; test.for([{input: 0, expected: '0ms'}, {'input': 0, expected: '0ms'}])('$input', ({input, expected}) => { expect(format(input)).toBe(expected); });" }], focusPath: "src/format.test.ts", expectedCount: 1, public: true },
+    { id: "distinct-for-boundary", scenarioId: "for-table", title: "Vitest for tables preserve distinct boundaries", outcome: "no-match", files: [{ path: "src/format.test.ts", source: "import {test} from 'vitest'; test.for([{input: 0, expected: '0ms'}, {'input': 1, expected: '1ms'}])('$input', ({input, expected}) => { expect(format(input)).toBe(expected); });" }], focusPath: "src/format.test.ts", expectedCount: 0, public: true }
   ]
 };
-function frameworkEach(node, sourceCode) {
+function frameworkTable(node, sourceCode) {
   let callee = unwrapExpression(node.callee);
-  if (callee.type !== AST_NODE_TYPES61.MemberExpression || ASTUtils37.getPropertyName(callee) !== "each") return false;
+  if (callee.type !== AST_NODE_TYPES61.MemberExpression) return false;
+  const method = ASTUtils37.getPropertyName(callee);
+  if (method !== "each" && method !== "for") return false;
   callee = unwrapExpression(callee.object);
   while (callee.type === AST_NODE_TYPES61.MemberExpression) {
     const name = ASTUtils37.getPropertyName(callee);
@@ -13656,12 +13660,12 @@ function frameworkEach(node, sourceCode) {
   }
   if (callee.type !== AST_NODE_TYPES61.Identifier) return false;
   const variable = ASTUtils37.findVariable(sourceCode.getScope(callee), callee.name);
-  if (variable === null || variable.defs.length === 0) return TEST_NAMES2.has(callee.name);
+  if (variable === null || variable.defs.length === 0) return TEST_NAMES2.has(callee.name) && !variable?.references.some((reference) => reference.isWrite());
   return variable.defs.length === 1 && variable.defs.every((definition) => {
-    if (definition.node.type !== AST_NODE_TYPES61.ImportSpecifier) return false;
+    if (definition.node.type !== AST_NODE_TYPES61.ImportSpecifier || definition.node.importKind === "type") return false;
     const imported = definition.node.imported;
     const declaration = definition.node.parent;
-    return declaration.type === AST_NODE_TYPES61.ImportDeclaration && TEST_NAMES2.has(imported.type === AST_NODE_TYPES61.Identifier ? imported.name : imported.value) && TEST_MODULES.has(declaration.source.value);
+    return declaration.type === AST_NODE_TYPES61.ImportDeclaration && declaration.importKind !== "type" && TEST_NAMES2.has(imported.type === AST_NODE_TYPES61.Identifier ? imported.name : imported.value) && (method === "for" ? declaration.source.value === "vitest" : TEST_MODULES.has(declaration.source.value));
   });
 }
 function table(node, sourceCode) {
@@ -13675,7 +13679,7 @@ function table(node, sourceCode) {
     if (reference.init) return true;
     if (reference.identifier.type !== AST_NODE_TYPES61.Identifier) return false;
     const use = outerExpression(reference.identifier);
-    return use.parent.type === AST_NODE_TYPES61.CallExpression && use.parent.arguments[0] === use && frameworkEach(use.parent, sourceCode);
+    return use.parent.type === AST_NODE_TYPES61.CallExpression && use.parent.arguments[0] === use && frameworkTable(use.parent, sourceCode);
   })) return null;
   const initializer = unwrapExpression(definition.node.init);
   return initializer.type === AST_NODE_TYPES61.ArrayExpression ? initializer : null;
@@ -13705,7 +13709,7 @@ function objectKey(node) {
   const fields = [];
   for (const property of node.properties) {
     if (property.type !== AST_NODE_TYPES61.Property || property.computed || property.kind !== "init" || property.method) return null;
-    const key = property.key.type === AST_NODE_TYPES61.Identifier ? property.key.name : literalKey(property.key);
+    const key = ASTUtils37.getPropertyName(property);
     const value = literalKey(property.value);
     if (key === null || value === null) return null;
     fields.push(JSON.stringify([key, value]));
@@ -13728,7 +13732,7 @@ var no_duplicate_test_case_default = createRule({
     return {
       CallExpression(node) {
         const callee = unwrapExpression(node.callee);
-        if (callee.type !== AST_NODE_TYPES61.CallExpression || !frameworkEach(callee, context.sourceCode)) return;
+        if (callee.type !== AST_NODE_TYPES61.CallExpression || !frameworkTable(callee, context.sourceCode)) return;
         const input = callee.arguments[0];
         if (callee.arguments.length !== 1 || input === void 0) return;
         const cases = table(input, context.sourceCode);
@@ -21567,10 +21571,12 @@ var PREFER_WHOLE_OBJECT_ASSERTION_DOCUMENTATION = {
   category: "testing",
   aliases: ["strict-test-assertions"],
   autofix: "none",
-  limitations: ["Undefined-property assertions are excluded because whole-object matching can require previously absent properties. No automatic rewrite: grouping can change observable getter or proxy reads."],
+  limitations: ["Undefined-property assertions are excluded because whole-object matching can require previously absent properties. Indexed runs with an immediately adjacent literal exact-length assertion are excluded; non-adjacent length checks and intentional prefix contracts remain manual review. No automatic rewrite: grouping can change observable getter or proxy reads."],
   examples: [
     { id: "whole-object", title: "Assert the object once", outcome: "no-match", files: [{ path: "src/user.test.ts", source: "expect(user).toMatchObject({ id: 1, name: 'Ada' });" }], focusPath: "src/user.test.ts", expectedCount: 0, public: true },
-    { id: "member-run", title: "Consider grouping related data properties", outcome: "match", files: [{ path: "src/user.test.ts", source: "expect(user.id).toBe(1);\nexpect(user.name).toBe('Ada');" }], focusPath: "src/user.test.ts", expectedCount: 1, public: true }
+    { id: "member-run", title: "Consider grouping related data properties", outcome: "match", files: [{ path: "src/user.test.ts", source: "expect(user.id).toBe(1);\nexpect(user.name).toBe('Ada');" }], focusPath: "src/user.test.ts", expectedCount: 1, public: true },
+    { id: "indexed-prefix", scenarioId: "array-length", title: "Review the collection contract before combining indexed assertions", outcome: "match", files: [{ path: "src/user.test.ts", source: "expect(users[0]).toEqual('Ada');\nexpect(users[1]).toEqual('Grace');" }], focusPath: "src/user.test.ts", expectedCount: 1, public: true },
+    { id: "length-and-prefix", scenarioId: "array-length", title: "A separate exact length can accompany an intentional prefix contract", outcome: "no-match", files: [{ path: "src/user.test.ts", source: "expect(users).toHaveLength(3);\nexpect(users[0]).toEqual('Ada');\nexpect(users[1]).toEqual('Grace');" }], focusPath: "src/user.test.ts", expectedCount: 0, public: true }
   ]
 };
 function literalText(node, getText) {
@@ -21631,7 +21637,7 @@ var prefer_whole_object_assertion_default = createRule({
     },
     messages: {
       combineAssertions: "Consider combining these {{count}} assertions on `{{receiver}}` with `toMatchObject` when structural matching preserves property presence and getter or proxy behavior.",
-      assertArrayOnce: "These {{count}} assertions check `{{receiver}}[0]`\u2026`{{receiver}}[{{last}}]` one at a time, which never checks how long `{{receiver}}` is \u2014 extra elements pass unnoticed. Assert the array once: `expect({{receiver}}).{{matcher}}([ \u2026 ])`."
+      assertArrayOnce: "These {{count}} assertions check `{{receiver}}[0]`\u2026`{{receiver}}[{{last}}]` separately. If the contract requires the complete array, consider `expect({{receiver}}).{{matcher}}([ \u2026 ])`, which also checks for extra elements. Preserve intentional prefix checks and separate length assertions."
     },
     schema: []
   },
@@ -21697,7 +21703,7 @@ var prefer_whole_object_assertion_default = createRule({
         data: { count: String(run.length), receiver: receiverText }
       });
     }
-    function reportIndexRun(run) {
+    function reportIndexRun(run, before, after) {
       const first = run[0];
       if (first === void 0 || !ARRAY_MATCHERS.has(first.matcher)) {
         return;
@@ -21712,6 +21718,7 @@ var prefer_whole_object_assertion_default = createRule({
       if (indices.size !== run.length || Math.max(...indices) !== run.length - 1) {
         return;
       }
+      if (isExactLengthAssertion(before, first.receiver) || isExactLengthAssertion(after, first.receiver)) return;
       context.report({
         node: first.statement,
         messageId: "assertArrayOnce",
@@ -21725,18 +21732,19 @@ var prefer_whole_object_assertion_default = createRule({
     }
     function checkBody(body2) {
       let run = [];
+      let start = 0;
       const flush = () => {
         const first = run[0];
         if (first !== void 0 && run.length >= MIN_RUN_LENGTH) {
           if (first.key.kind === "property") {
             reportPropertyRun(run);
           } else {
-            reportIndexRun(run);
+            reportIndexRun(run, body2[start - 1], body2[start + run.length]);
           }
         }
         run = [];
       };
-      for (const statement of body2) {
+      for (const [index, statement] of body2.entries()) {
         const assertion = parseAssertion(statement);
         const previous = run.at(-1);
         if (assertion !== null && previous !== void 0 && previous.key.kind === assertion.key.kind && sourceCode.getText(previous.receiver) === sourceCode.getText(assertion.receiver)) {
@@ -21746,6 +21754,7 @@ var prefer_whole_object_assertion_default = createRule({
         flush();
         if (assertion !== null) {
           run = [assertion];
+          start = index;
         }
       }
       flush();
@@ -21791,14 +21800,26 @@ var prefer_whole_object_assertion_default = createRule({
       return assertionExpectation(statement, call, receiver, key, matcher);
     }
     function isTestExpect(callee) {
-      const variable = ASTUtils63.findVariable(sourceCode.getScope(callee), callee.name);
-      if (variable !== null && variable.defs.some((definition) => {
-        if (definition.node.type !== AST_NODE_TYPES101.ImportSpecifier) return true;
-        const declaration = definition.node.parent;
-        const imported = definition.node.imported;
-        return declaration.type !== AST_NODE_TYPES101.ImportDeclaration || !["vitest", "@jest/globals", "@playwright/test", "bun:test"].includes(String(declaration.source.value)) || (imported.type === AST_NODE_TYPES101.Identifier ? imported.name : imported.value) !== "expect";
-      })) return false;
-      return true;
+      return runtimeTestFrameworkName(sourceCode, callee, "assertion") === "expect";
+    }
+    function isExactLengthAssertion(statement, receiver) {
+      if (statement?.type !== AST_NODE_TYPES101.ExpressionStatement || statement.expression.type !== AST_NODE_TYPES101.CallExpression) return false;
+      const call = statement.expression;
+      const callee = unwrapExpression(call.callee);
+      if (callee.type !== AST_NODE_TYPES101.MemberExpression || call.arguments.length !== 1) return false;
+      const matcher = ASTUtils63.getPropertyName(callee);
+      const assertion = unwrapExpression(callee.object);
+      if (assertion.type !== AST_NODE_TYPES101.CallExpression || assertion.arguments.length !== 1) return false;
+      const expect = unwrapExpression(assertion.callee);
+      if (expect.type !== AST_NODE_TYPES101.Identifier || !isTestExpect(expect)) return false;
+      const expected = call.arguments[0] === void 0 ? void 0 : unwrapExpression(call.arguments[0]);
+      if (expected?.type !== AST_NODE_TYPES101.Literal || typeof expected.value !== "number" || !Number.isInteger(expected.value) || expected.value < 0) return false;
+      let actual = assertion.arguments[0] === void 0 ? void 0 : unwrapExpression(assertion.arguments[0]);
+      if (matcher !== "toHaveLength") {
+        if (matcher === null || !MERGEABLE_MATCHERS.has(matcher) || actual?.type !== AST_NODE_TYPES101.MemberExpression || actual.optional || ASTUtils63.getPropertyName(actual) !== "length") return false;
+        actual = unwrapExpression(actual.object);
+      }
+      return actual !== void 0 && sourceCode.getText(actual) === sourceCode.getText(receiver);
     }
     function assertionExpectation(statement, call, receiver, key, matcher) {
       const synthetic = SYNTHETIC_LITERAL_MATCHERS.get(matcher);

package/package.json

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