@sarj/eslint-plugin 16.2.0 → 16.2.1

package/dist/index.cjs

@@ -728,7 +728,7 @@ var no_reduce_accumulator_copy_default = createRule({
         if (!accumulator || accumulator.references.some((reference) => reference.isWrite())) return;
         const referencesAccumulator = (value) => value.type === import_utils5.AST_NODE_TYPES.Identifier && import_utils5.ASTUtils.findVariable(context.sourceCode.getScope(value), value.name) === accumulator;
         const inspect = (current) => {
-          if (current !== callback.body && [import_utils5.AST_NODE_TYPES.ArrowFunctionExpression, import_utils5.AST_NODE_TYPES.FunctionExpression, import_utils5.AST_NODE_TYPES.FunctionDeclaration].some((kind) => kind === current.type)) return;
+          if (current !== callback.body && [import_utils5.AST_NODE_TYPES.ArrowFunctionExpression, import_utils5.AST_NODE_TYPES.FunctionExpression, import_utils5.AST_NODE_TYPES.FunctionDeclaration, import_utils5.AST_NODE_TYPES.ClassDeclaration, import_utils5.AST_NODE_TYPES.ClassExpression, import_utils5.AST_NODE_TYPES.ForStatement, import_utils5.AST_NODE_TYPES.ForInStatement, import_utils5.AST_NODE_TYPES.ForOfStatement, import_utils5.AST_NODE_TYPES.WhileStatement, import_utils5.AST_NODE_TYPES.DoWhileStatement].some((kind) => kind === current.type)) return;
           if (current.type === import_utils5.AST_NODE_TYPES.SpreadElement && (arraySeed && current.parent.type === import_utils5.AST_NODE_TYPES.ArrayExpression || objectSeed && current.parent.type === import_utils5.AST_NODE_TYPES.ObjectExpression) && referencesAccumulator(current.argument)) {
             context.report({ node: current, messageId: "copy" });
           }
@@ -776,6 +776,10 @@ function erasesContract(type, checker) {
   const indexes = checker.getIndexInfosOfType(type);
   return indexes.length > 0 && checker.getPropertiesOfType(type).length === 0 && indexes.every((index) => (index.type.flags & import_typescript4.default.TypeFlags.Unknown) !== 0);
 }
+function hasUnknownContract(type, checker) {
+  if (type.isUnionOrIntersection()) return type.types.some((part) => hasUnknownContract(part, checker));
+  return (type.flags & (import_typescript4.default.TypeFlags.Any | import_typescript4.default.TypeFlags.Unknown | import_typescript4.default.TypeFlags.Never | import_typescript4.default.TypeFlags.TypeParameter | import_typescript4.default.TypeFlags.Conditional | import_typescript4.default.TypeFlags.IndexedAccess | import_typescript4.default.TypeFlags.Substitution)) !== 0 || erasesContract(type, checker);
+}
 var no_known_value_widening_default = createRule({
   name: "no-known-value-widening",
   documentation: NO_KNOWN_VALUE_WIDENING_DOCUMENTATION,
@@ -796,7 +800,7 @@ var no_known_value_widening_default = createRule({
       VariableDeclarator(node) {
         if (node.id.type !== import_utils6.AST_NODE_TYPES.Identifier || !node.id.typeAnnotation || node.init?.type !== import_utils6.AST_NODE_TYPES.Identifier || node.parent.kind !== "const" || node.parent.parent.type === import_utils6.AST_NODE_TYPES.ExportNamedDeclaration) return;
         const source = checker.getTypeAtLocation(services.esTreeNodeToTSNodeMap.get(node.init));
-        if ((source.flags & (import_typescript4.default.TypeFlags.Any | import_typescript4.default.TypeFlags.Unknown | import_typescript4.default.TypeFlags.Never | import_typescript4.default.TypeFlags.TypeParameter)) !== 0 || erasesContract(source, checker)) return;
+        if (hasUnknownContract(source, checker)) return;
         const target = checker.getTypeAtLocation(services.esTreeNodeToTSNodeMap.get(node.id.typeAnnotation.typeAnnotation));
         if (erasesContract(target, checker)) context.report({ node: node.id.typeAnnotation, messageId: "widening" });
       }
@@ -1048,7 +1052,7 @@ var REQUIRE_CAMELCASE_PROPERTIES_DOCUMENTATION = {
   autofix: "none",
   limitations: [
     "Quoted string keys and bracket access are treated as explicit external-wire boundaries.",
-    "Computed, numeric, symbol, private, generated, PascalCase, and external-library property names are excluded.",
+    "Computed, numeric, symbol, private, generated, and PascalCase property names are excluded. External-library ownership is not inferred: preserve its spelling using quoted keys and bracket access, or an exact local suppression.",
     "Renaming a property can cross module or protocol boundaries, so the rule does not autofix."
   ],
   examples: [
@@ -23477,7 +23481,7 @@ var RULES = {
 };
 var meta = {
   name: "@sarj/eslint-plugin",
-  version: "16.2.0"
+  version: "16.2.1"
 };
 var APPLICATION_ONLY_RULES = [];
 var LIBRARY_IMPORT_POLICY = ["error", {

package/dist/index.d.cts

@@ -916,7 +916,7 @@ type FlatPreset = {
 declare const PLUGIN: {
     readonly meta: {
         readonly name: "@sarj/eslint-plugin";
-        readonly version: "16.2.0";
+        readonly version: "16.2.1";
     };
     readonly rules: {
         readonly "no-conditional-empty-object-spread": DocumentedRule<[], "avoid">;

package/dist/index.d.ts

@@ -916,7 +916,7 @@ type FlatPreset = {
 declare const PLUGIN: {
     readonly meta: {
         readonly name: "@sarj/eslint-plugin";
-        readonly version: "16.2.0";
+        readonly version: "16.2.1";
     };
     readonly rules: {
         readonly "no-conditional-empty-object-spread": DocumentedRule<[], "avoid">;

package/dist/index.js

@@ -684,7 +684,7 @@ var no_reduce_accumulator_copy_default = createRule({
         if (!accumulator || accumulator.references.some((reference) => reference.isWrite())) return;
         const referencesAccumulator = (value) => value.type === AST_NODE_TYPES4.Identifier && ASTUtils2.findVariable(context.sourceCode.getScope(value), value.name) === accumulator;
         const inspect = (current) => {
-          if (current !== callback.body && [AST_NODE_TYPES4.ArrowFunctionExpression, AST_NODE_TYPES4.FunctionExpression, AST_NODE_TYPES4.FunctionDeclaration].some((kind) => kind === current.type)) return;
+          if (current !== callback.body && [AST_NODE_TYPES4.ArrowFunctionExpression, AST_NODE_TYPES4.FunctionExpression, AST_NODE_TYPES4.FunctionDeclaration, AST_NODE_TYPES4.ClassDeclaration, AST_NODE_TYPES4.ClassExpression, AST_NODE_TYPES4.ForStatement, AST_NODE_TYPES4.ForInStatement, AST_NODE_TYPES4.ForOfStatement, AST_NODE_TYPES4.WhileStatement, AST_NODE_TYPES4.DoWhileStatement].some((kind) => kind === current.type)) return;
           if (current.type === AST_NODE_TYPES4.SpreadElement && (arraySeed && current.parent.type === AST_NODE_TYPES4.ArrayExpression || objectSeed && current.parent.type === AST_NODE_TYPES4.ObjectExpression) && referencesAccumulator(current.argument)) {
             context.report({ node: current, messageId: "copy" });
           }
@@ -732,6 +732,10 @@ function erasesContract(type, checker) {
   const indexes = checker.getIndexInfosOfType(type);
   return indexes.length > 0 && checker.getPropertiesOfType(type).length === 0 && indexes.every((index) => (index.type.flags & ts4.TypeFlags.Unknown) !== 0);
 }
+function hasUnknownContract(type, checker) {
+  if (type.isUnionOrIntersection()) return type.types.some((part) => hasUnknownContract(part, checker));
+  return (type.flags & (ts4.TypeFlags.Any | ts4.TypeFlags.Unknown | ts4.TypeFlags.Never | ts4.TypeFlags.TypeParameter | ts4.TypeFlags.Conditional | ts4.TypeFlags.IndexedAccess | ts4.TypeFlags.Substitution)) !== 0 || erasesContract(type, checker);
+}
 var no_known_value_widening_default = createRule({
   name: "no-known-value-widening",
   documentation: NO_KNOWN_VALUE_WIDENING_DOCUMENTATION,
@@ -752,7 +756,7 @@ var no_known_value_widening_default = createRule({
       VariableDeclarator(node) {
         if (node.id.type !== AST_NODE_TYPES5.Identifier || !node.id.typeAnnotation || node.init?.type !== AST_NODE_TYPES5.Identifier || node.parent.kind !== "const" || node.parent.parent.type === AST_NODE_TYPES5.ExportNamedDeclaration) return;
         const source = checker.getTypeAtLocation(services.esTreeNodeToTSNodeMap.get(node.init));
-        if ((source.flags & (ts4.TypeFlags.Any | ts4.TypeFlags.Unknown | ts4.TypeFlags.Never | ts4.TypeFlags.TypeParameter)) !== 0 || erasesContract(source, checker)) return;
+        if (hasUnknownContract(source, checker)) return;
         const target = checker.getTypeAtLocation(services.esTreeNodeToTSNodeMap.get(node.id.typeAnnotation.typeAnnotation));
         if (erasesContract(target, checker)) context.report({ node: node.id.typeAnnotation, messageId: "widening" });
       }
@@ -1007,7 +1011,7 @@ var REQUIRE_CAMELCASE_PROPERTIES_DOCUMENTATION = {
   autofix: "none",
   limitations: [
     "Quoted string keys and bracket access are treated as explicit external-wire boundaries.",
-    "Computed, numeric, symbol, private, generated, PascalCase, and external-library property names are excluded.",
+    "Computed, numeric, symbol, private, generated, and PascalCase property names are excluded. External-library ownership is not inferred: preserve its spelling using quoted keys and bracket access, or an exact local suppression.",
     "Renaming a property can cross module or protocol boundaries, so the rule does not autofix."
   ],
   examples: [
@@ -23498,7 +23502,7 @@ var RULES = {
 };
 var meta = {
   name: "@sarj/eslint-plugin",
-  version: "16.2.0"
+  version: "16.2.1"
 };
 var APPLICATION_ONLY_RULES = [];
 var LIBRARY_IMPORT_POLICY = ["error", {

package/package.json

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