@sarj/eslint-plugin 15.6.0 → 15.6.2

package/README.md

@@ -8,4 +8,6 @@ Custom ESLint rules for hypermodern TypeScript / React / Next.js projects
 npm install --save-dev @sarj/eslint-plugin
 ```
 
+Rules and configuration are documented in the generated rule directory.
+
 [Documentation](https://code-standards.sarj.ai/rules/eslint/) · [Source](https://github.com/sarj-ai/standards)

package/dist/index.cjs

@@ -5648,9 +5648,9 @@ var no_restated_jsdoc_default = createRule({
             continue;
           }
           if ((paramTags.length > 0 || returnTags.length > 0) && documentsTypedFunction(sourceCode, comment)) continue;
-          const nameTokens = tokensOf([declaration.name]);
+          const nameTokens2 = tokensOf([declaration.name]);
           const paramTokens = tokensOf(declaration.params);
-          const known = /* @__PURE__ */ new Set([...nameTokens, ...paramTokens]);
+          const known = /* @__PURE__ */ new Set([...nameTokens2, ...paramTokens]);
           let addsNothing = covered(describedText, known);
           for (const tag of paramTags) {
             const text = tag.text.replace(/^\{[^}]*\}\s*/, "");
@@ -5665,7 +5665,7 @@ var no_restated_jsdoc_default = createRule({
               addsNothing = false;
               break;
             }
-            const own = /* @__PURE__ */ new Set([...splitIdentifier(path.split(".").pop() ?? ""), ...nameTokens]);
+            const own = /* @__PURE__ */ new Set([...splitIdentifier(path.split(".").pop() ?? ""), ...nameTokens2]);
             if (!covered(match[2] ?? "", own)) {
               addsNothing = false;
               break;
@@ -12254,6 +12254,14 @@ var OPTIONAL_MODIFIERS = /* @__PURE__ */ new Set([
   "nullish"
 ]);
 var NULLABLE_MODIFIERS = /* @__PURE__ */ new Set(["nullable", "nullish"]);
+var DOMAIN_PRESERVING_MODIFIERS = /* @__PURE__ */ new Set([
+  ...SHAPE_PRESERVING_METHODS,
+  ...OPTIONAL_MODIFIERS,
+  ...NULLABLE_MODIFIERS,
+  "catch",
+  "default",
+  "prefault"
+]);
 var RESHAPING_MODIFIERS = /* @__PURE__ */ new Set([
   "transform",
   "pipe",
@@ -12314,6 +12322,107 @@ var LEAF_NODE_TYPES = {
   discriminatedUnion: [import_utils61.AST_NODE_TYPES.TSUnionType, import_utils61.AST_NODE_TYPES.TSTypeReference],
   intersection: [import_utils61.AST_NODE_TYPES.TSIntersectionType, import_utils61.AST_NODE_TYPES.TSTypeReference]
 };
+function primitiveLiteralKey(node) {
+  if (node.type !== import_utils61.AST_NODE_TYPES.Literal) {
+    return null;
+  }
+  if (node.value === null) {
+    return "null";
+  }
+  switch (typeof node.value) {
+    case "string":
+      return `string:${node.value}`;
+    case "number":
+      return `number:${String(node.value)}`;
+    case "boolean":
+      return `boolean:${String(node.value)}`;
+    case "bigint":
+      return `bigint:${String(node.value)}`;
+    default:
+      return null;
+  }
+}
+function exactDomain(keys) {
+  if (keys.length === 0 || keys.some((key) => key === null)) {
+    return null;
+  }
+  const domain = new Set(keys);
+  return domain.size === keys.length ? domain : null;
+}
+function staticZodDomain(leaf, call) {
+  if (leaf === null || call === null) {
+    return void 0;
+  }
+  if (leaf === "literal") {
+    const [argument] = call.arguments;
+    if (argument === void 0 || argument.type === import_utils61.AST_NODE_TYPES.SpreadElement) {
+      return null;
+    }
+    if (argument.type === import_utils61.AST_NODE_TYPES.ArrayExpression) {
+      return exactDomain(
+        argument.elements.map(
+          (element) => element === null || element.type === import_utils61.AST_NODE_TYPES.SpreadElement ? null : primitiveLiteralKey(element)
+        )
+      );
+    }
+    return exactDomain([primitiveLiteralKey(argument)]);
+  }
+  if (leaf === "enum") {
+    const [argument] = call.arguments;
+    if (argument === void 0 || argument.type === import_utils61.AST_NODE_TYPES.SpreadElement) {
+      return null;
+    }
+    if (argument.type === import_utils61.AST_NODE_TYPES.ArrayExpression) {
+      return exactDomain(
+        argument.elements.map((element) => {
+          if (element === null || element.type === import_utils61.AST_NODE_TYPES.SpreadElement) {
+            return null;
+          }
+          const key = primitiveLiteralKey(element);
+          return key?.startsWith("string:") === true ? key : null;
+        })
+      );
+    }
+    if (argument.type === import_utils61.AST_NODE_TYPES.ObjectExpression) {
+      return exactDomain(
+        argument.properties.map((property) => {
+          if (property.type !== import_utils61.AST_NODE_TYPES.Property || property.computed || property.kind !== "init" || property.method || property.shorthand) {
+            return null;
+          }
+          const key = primitiveLiteralKey(property.value);
+          return key?.startsWith("string:") === true ? key : null;
+        })
+      );
+    }
+    return null;
+  }
+  if (leaf === "nativeEnum" || leaf === "union" || leaf === "discriminatedUnion") {
+    return null;
+  }
+  return void 0;
+}
+function sameDomain(left, right) {
+  if (left.size !== right.size) {
+    return false;
+  }
+  for (const value of left) {
+    if (!right.has(value)) {
+      return false;
+    }
+  }
+  return true;
+}
+function isExportedDeclaration(node) {
+  return node.parent?.type === import_utils61.AST_NODE_TYPES.ExportNamedDeclaration;
+}
+function isModuleLevelConst(node) {
+  const declaration = node.parent;
+  if (declaration.type !== import_utils61.AST_NODE_TYPES.VariableDeclaration || declaration.kind !== "const") {
+    return false;
+  }
+  const container = declaration.parent;
+  return container.type === import_utils61.AST_NODE_TYPES.Program || container.type === import_utils61.AST_NODE_TYPES.ExportNamedDeclaration && container.parent.type === import_utils61.AST_NODE_TYPES.Program;
+}
 function normalizeSchemaName(name) {
   return name.replace(/Schema$/i, "").replace(/^Z(?=[A-Z])/, "").toLowerCase();
 }
@@ -12344,7 +12453,18 @@ function unwrapNullish(annotation) {
   }
   return { core: rest.length === 0 ? null : annotation, nullable };
 }
-function leafAgrees(leaf, annotation) {
+function leafAgrees(field, annotation) {
+  if (field.domain === null) {
+    return false;
+  }
+  if (field.domain !== void 0) {
+    if (annotation === null) {
+      return false;
+    }
+    const annotationDomain = typeLiteralDomain(annotation);
+    return annotationDomain !== null && sameDomain(field.domain, annotationDomain);
+  }
+  const { leaf } = field;
   if (leaf === null || annotation === null) {
     return null;
   }
@@ -12361,6 +12481,47 @@ function leafAgrees(leaf, annotation) {
   }
   return expected.includes(core.type);
 }
+function typeLiteralDomain(annotation) {
+  const members = annotation.type === import_utils61.AST_NODE_TYPES.TSUnionType ? annotation.types : [annotation];
+  const keys = [];
+  for (const member of members) {
+    if (member.type === import_utils61.AST_NODE_TYPES.TSNullKeyword) {
+      continue;
+    }
+    if (member.type !== import_utils61.AST_NODE_TYPES.TSLiteralType) {
+      return null;
+    }
+    keys.push(primitiveLiteralKey(member.literal));
+  }
+  return exactDomain(keys);
+}
+function staticStringUnionDomain(node) {
+  if (node.type !== import_utils61.AST_NODE_TYPES.TSUnionType) {
+    return null;
+  }
+  const keys = node.types.map((member) => {
+    if (member.type !== import_utils61.AST_NODE_TYPES.TSLiteralType) {
+      return null;
+    }
+    const key = primitiveLiteralKey(member.literal);
+    return key?.startsWith("string:") === true ? key : null;
+  });
+  const domain = exactDomain(keys);
+  return domain !== null && domain.size >= 2 ? domain : null;
+}
+function nameTokens(name) {
+  return name.replace(/([a-z\d])([A-Z])/gu, "$1 $2").replace(/([A-Z]+)([A-Z][a-z])/gu, "$1 $2").split(/[^A-Za-z\d]+/u).filter((token) => token !== "").map((token) => token.toLowerCase());
+}
+function schemaNameTokens(name) {
+  const tokens = nameTokens(name);
+  const withoutPrefix = tokens[0] === "z" ? tokens.slice(1) : tokens;
+  return withoutPrefix.at(-1) === "schema" ? withoutPrefix.slice(0, -1) : withoutPrefix;
+}
+function endsWithTokens(candidate, suffix) {
+  return suffix.length >= 2 && candidate.length >= suffix.length && suffix.every(
+    (segment, index) => candidate[candidate.length - suffix.length + index] === segment
+  );
+}
 var prefer_zod_infer_default = createRule({
   name: "prefer-zod-infer",
   documentation: preferZodInferDocumentation,
@@ -12383,7 +12544,8 @@ var prefer_zod_infer_default = createRule({
       }
     ],
     messages: {
-      handWrittenTwin: "`{{typeName}}` restates the shape of the Zod schema `{{schemaName}}` declared in this module. Derive it instead \u2014 `type {{typeName}} = z.infer<typeof {{schemaName}}>` \u2014 so a field added to the schema cannot silently leave the type behind."
+      handWrittenTwin: "`{{typeName}}` restates the shape of the Zod schema `{{schemaName}}` declared in this module. Derive it instead \u2014 `type {{typeName}} = z.infer<typeof {{schemaName}}>` \u2014 so a field added to the schema cannot silently leave the type behind.",
+      repeatedEnumUnion: "`{{propertyName}}` repeats the literal domain already named by `{{typeName}}` and `{{schemaName}}` in multiple object types. Reuse `{{typeName}}` so the accepted values have one source of truth."
     }
   },
   defaultOptions: [{}],
@@ -12397,6 +12559,9 @@ var prefer_zod_infer_default = createRule({
     }
     const zodNamespaces = /* @__PURE__ */ new Set();
     const schemas = [];
+    const enumSchemas = [];
+    const inferredAliases = [];
+    const literalUnionOccurrences = [];
     const typeDeclarations = [];
     const constrainedTypeNames = /* @__PURE__ */ new Set();
     const reshapedSchemaNames = /* @__PURE__ */ new Set();
@@ -12421,10 +12586,21 @@ var prefer_zod_infer_default = createRule({
       const callee = call.callee;
       return callee.type === import_utils61.AST_NODE_TYPES.MemberExpression && callee.property.type === import_utils61.AST_NODE_TYPES.Identifier ? callee.property.name : "";
     }
+    function recordZodImport(node) {
+      if (!isZodModule(node.source.value)) {
+        return;
+      }
+      for (const specifier of node.specifiers) {
+        if (specifier.type === import_utils61.AST_NODE_TYPES.ImportNamespaceSpecifier || specifier.type === import_utils61.AST_NODE_TYPES.ImportDefaultSpecifier || specifier.type === import_utils61.AST_NODE_TYPES.ImportSpecifier && specifier.imported.type === import_utils61.AST_NODE_TYPES.Identifier && specifier.imported.name === "z") {
+          zodNamespaces.add(specifier.local.name);
+        }
+      }
+    }
     function schemaField(node) {
       const modifiers = [];
       let current = node;
       let leaf = null;
+      let leafCall = null;
       while (current.type === import_utils61.AST_NODE_TYPES.CallExpression) {
         const callee = current.callee;
         if (callee.type !== import_utils61.AST_NODE_TYPES.MemberExpression || callee.computed || callee.property.type !== import_utils61.AST_NODE_TYPES.Identifier) {
@@ -12433,18 +12609,72 @@ var prefer_zod_infer_default = createRule({
         const receiver = callee.object;
         if (receiver.type === import_utils61.AST_NODE_TYPES.Identifier && zodNamespaces.has(receiver.name)) {
           leaf = callee.property.name;
+          leafCall = current;
           break;
         }
         modifiers.push(callee.property.name);
         current = receiver;
       }
       return {
+        domain: modifiers.every(
+          (name) => DOMAIN_PRESERVING_MODIFIERS.has(name)
+        ) ? staticZodDomain(leaf, leafCall) : null,
         leaf,
         optional: modifiers.some((name) => OPTIONAL_MODIFIERS.has(name)),
         nullable: modifiers.some((name) => NULLABLE_MODIFIERS.has(name)),
         reshaped: modifiers.some((name) => RESHAPING_MODIFIERS.has(name))
       };
     }
+    function enumSchemaDomain(init) {
+      const chain = zodCallChain(init);
+      if (chain === null || chain.length !== 1) {
+        return null;
+      }
+      const [call] = chain;
+      if (call === void 0 || methodName2(call) !== "enum") {
+        return null;
+      }
+      const domain = staticZodDomain("enum", call);
+      return domain instanceof Set && domain.size >= 2 ? domain : null;
+    }
+    function inferredSchemaName(node) {
+      if (node.type !== import_utils61.AST_NODE_TYPES.TSTypeReference || node.typeName.type !== import_utils61.AST_NODE_TYPES.TSQualifiedName || node.typeName.left.type !== import_utils61.AST_NODE_TYPES.Identifier || !zodNamespaces.has(node.typeName.left.name) || node.typeName.right.name !== "infer") {
+        return null;
+      }
+      const arguments_ = node.typeArguments?.params ?? [];
+      const [argument] = arguments_;
+      return arguments_.length === 1 && argument?.type === import_utils61.AST_NODE_TYPES.TSTypeQuery && argument.exprName.type === import_utils61.AST_NODE_TYPES.Identifier ? argument.exprName.name : null;
+    }
+    function recordLiteralUnions(members, owner, ownerName, exported) {
+      for (const member of members) {
+        if (member.type !== import_utils61.AST_NODE_TYPES.TSPropertySignature || member.computed || member.optional || member.readonly || member.typeAnnotation === void 0) {
+          continue;
+        }
+        const key = member.key;
+        const propertyName3 = key.type === import_utils61.AST_NODE_TYPES.Identifier ? key.name : key.type === import_utils61.AST_NODE_TYPES.Literal && typeof key.value === "string" ? key.value : null;
+        if (propertyName3 === null) {
+          continue;
+        }
+        const propertyTokens = nameTokens(propertyName3);
+        if (propertyTokens.length < 2) {
+          continue;
+        }
+        const annotation = member.typeAnnotation.typeAnnotation;
+        const domain = staticStringUnionDomain(annotation);
+        if (domain === null || annotation.type !== import_utils61.AST_NODE_TYPES.TSUnionType) {
+          continue;
+        }
+        literalUnionOccurrences.push({
+          domain,
+          exported,
+          node: annotation,
+          owner,
+          ownerName,
+          propertyName: propertyName3,
+          propertyTokens
+        });
+      }
+    }
     function schemaFields(init) {
       const chain = zodCallChain(init);
       if (chain === null || chain.length === 0) {
@@ -12545,7 +12775,7 @@ var prefer_zod_infer_default = createRule({
         if (member.readonly) {
           return false;
         }
-        const agrees = leafAgrees(field.leaf, member.annotation);
+        const agrees = leafAgrees(field, member.annotation);
         if (agrees === false) {
           return false;
         }
@@ -12556,16 +12786,16 @@ var prefer_zod_infer_default = createRule({
       return agreements > 0;
     }
     return {
-      ImportDeclaration(node) {
-        if (!isZodModule(node.source.value)) {
-          return;
-        }
-        for (const specifier of node.specifiers) {
-          if (specifier.type === import_utils61.AST_NODE_TYPES.ImportNamespaceSpecifier || specifier.type === import_utils61.AST_NODE_TYPES.ImportDefaultSpecifier || specifier.type === import_utils61.AST_NODE_TYPES.ImportSpecifier && specifier.imported.type === import_utils61.AST_NODE_TYPES.Identifier && specifier.imported.name === "z") {
-            zodNamespaces.add(specifier.local.name);
+      Program(node) {
+        for (const statement of node.body) {
+          if (statement.type === import_utils61.AST_NODE_TYPES.ImportDeclaration) {
+            recordZodImport(statement);
           }
         }
       },
+      ImportDeclaration(node) {
+        recordZodImport(node);
+      },
       VariableDeclarator(node) {
         if (node.id.type !== import_utils61.AST_NODE_TYPES.Identifier || node.init == null) {
           return;
@@ -12574,6 +12804,13 @@ var prefer_zod_infer_default = createRule({
         if (fields !== null) {
           schemas.push({ name: node.id.name, fields });
         }
+        if (isModuleLevelConst(node)) {
+          const domain = enumSchemaDomain(node.init);
+          const tokens = schemaNameTokens(node.id.name);
+          if (domain !== null && tokens.length >= 2) {
+            enumSchemas.push({ domain, name: node.id.name, tokens });
+          }
+        }
       },
       /** Records `XSchema.transform(...)` and equivalent module-level reshaping. */
       "MemberExpression[computed=false]"(node) {
@@ -12600,8 +12837,22 @@ var prefer_zod_infer_default = createRule({
         if (members !== null) {
           typeDeclarations.push({ name: node.id.name, node: node.id, members });
         }
+        recordLiteralUnions(
+          node.body.body,
+          node,
+          node.id.name,
+          isExportedDeclaration(node)
+        );
       },
       TSTypeAliasDeclaration(node) {
+        const schemaName = inferredSchemaName(node.typeAnnotation);
+        if (schemaName !== null) {
+          inferredAliases.push({
+            exported: isExportedDeclaration(node),
+            schemaName,
+            typeName: node.id.name
+          });
+        }
         if (node.typeParameters !== void 0 || node.typeAnnotation.type !== import_utils61.AST_NODE_TYPES.TSTypeLiteral) {
           return;
         }
@@ -12609,11 +12860,15 @@ var prefer_zod_infer_default = createRule({
         if (members !== null) {
           typeDeclarations.push({ name: node.id.name, node: node.id, members });
         }
+        recordLiteralUnions(
+          node.typeAnnotation.members,
+          node,
+          node.id.name,
+          isExportedDeclaration(node)
+        );
       },
       "Program:exit"() {
-        if (schemas.length === 0 || typeDeclarations.length === 0) {
-          return;
-        }
+        const twinTypeNames = /* @__PURE__ */ new Set();
         const byName = /* @__PURE__ */ new Map();
         for (const schema of schemas) {
           const key = normalizeSchemaName(schema.name);
@@ -12635,12 +12890,62 @@ var prefer_zod_infer_default = createRule({
           if (!isTwin(schema.fields, declaration.members)) {
             continue;
           }
+          twinTypeNames.add(declaration.name);
           context.report({
             node: declaration.node,
             messageId: "handWrittenTwin",
             data: { typeName: declaration.name, schemaName: schema.name }
           });
         }
+        const aliasesBySchema = /* @__PURE__ */ new Map();
+        for (const alias of inferredAliases) {
+          const aliases = aliasesBySchema.get(alias.schemaName) ?? [];
+          aliases.push(alias);
+          aliasesBySchema.set(alias.schemaName, aliases);
+        }
+        const groups = /* @__PURE__ */ new Map();
+        for (const occurrence of literalUnionOccurrences) {
+          const { ownerName } = occurrence;
+          if (twinTypeNames.has(ownerName ?? "") || ownerName !== null && ignorePatterns.some((pattern) => pattern.test(ownerName))) {
+            continue;
+          }
+          const candidates = enumSchemas.filter(
+            (schema2) => sameDomain(schema2.domain, occurrence.domain) && endsWithTokens(schema2.tokens, occurrence.propertyTokens) && (aliasesBySchema.get(schema2.name)?.length ?? 0) === 1
+          );
+          const [schema] = candidates;
+          if (candidates.length !== 1 || schema === void 0) {
+            continue;
+          }
+          const [alias] = aliasesBySchema.get(schema.name) ?? [];
+          if (alias === void 0 || occurrence.exported && !alias.exported) {
+            continue;
+          }
+          const key = `${schema.name}\0${occurrence.propertyName}`;
+          const group = groups.get(key);
+          if (group === void 0) {
+            groups.set(key, { alias, occurrences: [occurrence], schema });
+          } else {
+            group.occurrences.push(occurrence);
+          }
+        }
+        for (const { alias, occurrences, schema } of groups.values()) {
+          if (new Set(occurrences.map(({ ownerName }) => ownerName)).size < 2 || new Set(occurrences.map(({ owner }) => owner)).size < 2) {
+            continue;
+          }
+          const [first] = occurrences;
+          if (first === void 0) {
+            continue;
+          }
+          context.report({
+            node: first.node,
+            messageId: "repeatedEnumUnion",
+            data: {
+              propertyName: first.propertyName,
+              schemaName: schema.name,
+              typeName: alias.typeName
+            }
+          });
+        }
       }
     };
   }
@@ -14581,7 +14886,7 @@ var rules = {
 };
 var meta = {
   name: "@sarj/eslint-plugin",
-  version: "15.6.0"
+  version: "15.6.2"
 };
 var applicationOnlyRules = [
   "no-restricted-library-load",

package/dist/index.d.cts

@@ -263,7 +263,7 @@ declare const rules: {
     readonly "prefer-zod-infer": DocumentedRule<readonly [{
         ignoreTypeNames?: readonly string[];
         requireIdenticalShape?: boolean;
-    }?], "handWrittenTwin">;
+    }?], "handWrittenTwin" | "repeatedEnumUnion">;
     readonly "require-assert-never": DocumentedRule<readonly [], "missingAssertNever">;
     readonly "require-fetch-timeout": DocumentedRule<readonly [{
         allowIn?: readonly string[];
@@ -415,7 +415,7 @@ type FlatPreset = {
 declare const plugin: {
     readonly meta: {
         readonly name: "@sarj/eslint-plugin";
-        readonly version: "15.6.0";
+        readonly version: "15.6.2";
     };
     readonly rules: {
         readonly "duplicate-test-body": DocumentedRule<readonly [], "duplicateTestBody">;
@@ -493,7 +493,7 @@ declare const plugin: {
         readonly "prefer-zod-infer": DocumentedRule<readonly [{
             ignoreTypeNames?: readonly string[];
             requireIdenticalShape?: boolean;
-        }?], "handWrittenTwin">;
+        }?], "handWrittenTwin" | "repeatedEnumUnion">;
         readonly "require-assert-never": DocumentedRule<readonly [], "missingAssertNever">;
         readonly "require-fetch-timeout": DocumentedRule<readonly [{
             allowIn?: readonly string[];

package/dist/index.d.ts

@@ -263,7 +263,7 @@ declare const rules: {
     readonly "prefer-zod-infer": DocumentedRule<readonly [{
         ignoreTypeNames?: readonly string[];
         requireIdenticalShape?: boolean;
-    }?], "handWrittenTwin">;
+    }?], "handWrittenTwin" | "repeatedEnumUnion">;
     readonly "require-assert-never": DocumentedRule<readonly [], "missingAssertNever">;
     readonly "require-fetch-timeout": DocumentedRule<readonly [{
         allowIn?: readonly string[];
@@ -415,7 +415,7 @@ type FlatPreset = {
 declare const plugin: {
     readonly meta: {
         readonly name: "@sarj/eslint-plugin";
-        readonly version: "15.6.0";
+        readonly version: "15.6.2";
     };
     readonly rules: {
         readonly "duplicate-test-body": DocumentedRule<readonly [], "duplicateTestBody">;
@@ -493,7 +493,7 @@ declare const plugin: {
         readonly "prefer-zod-infer": DocumentedRule<readonly [{
             ignoreTypeNames?: readonly string[];
             requireIdenticalShape?: boolean;
-        }?], "handWrittenTwin">;
+        }?], "handWrittenTwin" | "repeatedEnumUnion">;
         readonly "require-assert-never": DocumentedRule<readonly [], "missingAssertNever">;
         readonly "require-fetch-timeout": DocumentedRule<readonly [{
             allowIn?: readonly string[];

package/dist/index.js

@@ -5610,9 +5610,9 @@ var no_restated_jsdoc_default = createRule({
             continue;
           }
           if ((paramTags.length > 0 || returnTags.length > 0) && documentsTypedFunction(sourceCode, comment)) continue;
-          const nameTokens = tokensOf([declaration.name]);
+          const nameTokens2 = tokensOf([declaration.name]);
           const paramTokens = tokensOf(declaration.params);
-          const known = /* @__PURE__ */ new Set([...nameTokens, ...paramTokens]);
+          const known = /* @__PURE__ */ new Set([...nameTokens2, ...paramTokens]);
           let addsNothing = covered(describedText, known);
           for (const tag of paramTags) {
             const text = tag.text.replace(/^\{[^}]*\}\s*/, "");
@@ -5627,7 +5627,7 @@ var no_restated_jsdoc_default = createRule({
               addsNothing = false;
               break;
             }
-            const own = /* @__PURE__ */ new Set([...splitIdentifier(path.split(".").pop() ?? ""), ...nameTokens]);
+            const own = /* @__PURE__ */ new Set([...splitIdentifier(path.split(".").pop() ?? ""), ...nameTokens2]);
             if (!covered(match[2] ?? "", own)) {
               addsNothing = false;
               break;
@@ -12223,6 +12223,14 @@ var OPTIONAL_MODIFIERS = /* @__PURE__ */ new Set([
   "nullish"
 ]);
 var NULLABLE_MODIFIERS = /* @__PURE__ */ new Set(["nullable", "nullish"]);
+var DOMAIN_PRESERVING_MODIFIERS = /* @__PURE__ */ new Set([
+  ...SHAPE_PRESERVING_METHODS,
+  ...OPTIONAL_MODIFIERS,
+  ...NULLABLE_MODIFIERS,
+  "catch",
+  "default",
+  "prefault"
+]);
 var RESHAPING_MODIFIERS = /* @__PURE__ */ new Set([
   "transform",
   "pipe",
@@ -12283,6 +12291,107 @@ var LEAF_NODE_TYPES = {
   discriminatedUnion: [AST_NODE_TYPES48.TSUnionType, AST_NODE_TYPES48.TSTypeReference],
   intersection: [AST_NODE_TYPES48.TSIntersectionType, AST_NODE_TYPES48.TSTypeReference]
 };
+function primitiveLiteralKey(node) {
+  if (node.type !== AST_NODE_TYPES48.Literal) {
+    return null;
+  }
+  if (node.value === null) {
+    return "null";
+  }
+  switch (typeof node.value) {
+    case "string":
+      return `string:${node.value}`;
+    case "number":
+      return `number:${String(node.value)}`;
+    case "boolean":
+      return `boolean:${String(node.value)}`;
+    case "bigint":
+      return `bigint:${String(node.value)}`;
+    default:
+      return null;
+  }
+}
+function exactDomain(keys) {
+  if (keys.length === 0 || keys.some((key) => key === null)) {
+    return null;
+  }
+  const domain = new Set(keys);
+  return domain.size === keys.length ? domain : null;
+}
+function staticZodDomain(leaf, call) {
+  if (leaf === null || call === null) {
+    return void 0;
+  }
+  if (leaf === "literal") {
+    const [argument] = call.arguments;
+    if (argument === void 0 || argument.type === AST_NODE_TYPES48.SpreadElement) {
+      return null;
+    }
+    if (argument.type === AST_NODE_TYPES48.ArrayExpression) {
+      return exactDomain(
+        argument.elements.map(
+          (element) => element === null || element.type === AST_NODE_TYPES48.SpreadElement ? null : primitiveLiteralKey(element)
+        )
+      );
+    }
+    return exactDomain([primitiveLiteralKey(argument)]);
+  }
+  if (leaf === "enum") {
+    const [argument] = call.arguments;
+    if (argument === void 0 || argument.type === AST_NODE_TYPES48.SpreadElement) {
+      return null;
+    }
+    if (argument.type === AST_NODE_TYPES48.ArrayExpression) {
+      return exactDomain(
+        argument.elements.map((element) => {
+          if (element === null || element.type === AST_NODE_TYPES48.SpreadElement) {
+            return null;
+          }
+          const key = primitiveLiteralKey(element);
+          return key?.startsWith("string:") === true ? key : null;
+        })
+      );
+    }
+    if (argument.type === AST_NODE_TYPES48.ObjectExpression) {
+      return exactDomain(
+        argument.properties.map((property) => {
+          if (property.type !== AST_NODE_TYPES48.Property || property.computed || property.kind !== "init" || property.method || property.shorthand) {
+            return null;
+          }
+          const key = primitiveLiteralKey(property.value);
+          return key?.startsWith("string:") === true ? key : null;
+        })
+      );
+    }
+    return null;
+  }
+  if (leaf === "nativeEnum" || leaf === "union" || leaf === "discriminatedUnion") {
+    return null;
+  }
+  return void 0;
+}
+function sameDomain(left, right) {
+  if (left.size !== right.size) {
+    return false;
+  }
+  for (const value of left) {
+    if (!right.has(value)) {
+      return false;
+    }
+  }
+  return true;
+}
+function isExportedDeclaration(node) {
+  return node.parent?.type === AST_NODE_TYPES48.ExportNamedDeclaration;
+}
+function isModuleLevelConst(node) {
+  const declaration = node.parent;
+  if (declaration.type !== AST_NODE_TYPES48.VariableDeclaration || declaration.kind !== "const") {
+    return false;
+  }
+  const container = declaration.parent;
+  return container.type === AST_NODE_TYPES48.Program || container.type === AST_NODE_TYPES48.ExportNamedDeclaration && container.parent.type === AST_NODE_TYPES48.Program;
+}
 function normalizeSchemaName(name) {
   return name.replace(/Schema$/i, "").replace(/^Z(?=[A-Z])/, "").toLowerCase();
 }
@@ -12313,7 +12422,18 @@ function unwrapNullish(annotation) {
   }
   return { core: rest.length === 0 ? null : annotation, nullable };
 }
-function leafAgrees(leaf, annotation) {
+function leafAgrees(field, annotation) {
+  if (field.domain === null) {
+    return false;
+  }
+  if (field.domain !== void 0) {
+    if (annotation === null) {
+      return false;
+    }
+    const annotationDomain = typeLiteralDomain(annotation);
+    return annotationDomain !== null && sameDomain(field.domain, annotationDomain);
+  }
+  const { leaf } = field;
   if (leaf === null || annotation === null) {
     return null;
   }
@@ -12330,6 +12450,47 @@ function leafAgrees(leaf, annotation) {
   }
   return expected.includes(core.type);
 }
+function typeLiteralDomain(annotation) {
+  const members = annotation.type === AST_NODE_TYPES48.TSUnionType ? annotation.types : [annotation];
+  const keys = [];
+  for (const member of members) {
+    if (member.type === AST_NODE_TYPES48.TSNullKeyword) {
+      continue;
+    }
+    if (member.type !== AST_NODE_TYPES48.TSLiteralType) {
+      return null;
+    }
+    keys.push(primitiveLiteralKey(member.literal));
+  }
+  return exactDomain(keys);
+}
+function staticStringUnionDomain(node) {
+  if (node.type !== AST_NODE_TYPES48.TSUnionType) {
+    return null;
+  }
+  const keys = node.types.map((member) => {
+    if (member.type !== AST_NODE_TYPES48.TSLiteralType) {
+      return null;
+    }
+    const key = primitiveLiteralKey(member.literal);
+    return key?.startsWith("string:") === true ? key : null;
+  });
+  const domain = exactDomain(keys);
+  return domain !== null && domain.size >= 2 ? domain : null;
+}
+function nameTokens(name) {
+  return name.replace(/([a-z\d])([A-Z])/gu, "$1 $2").replace(/([A-Z]+)([A-Z][a-z])/gu, "$1 $2").split(/[^A-Za-z\d]+/u).filter((token) => token !== "").map((token) => token.toLowerCase());
+}
+function schemaNameTokens(name) {
+  const tokens = nameTokens(name);
+  const withoutPrefix = tokens[0] === "z" ? tokens.slice(1) : tokens;
+  return withoutPrefix.at(-1) === "schema" ? withoutPrefix.slice(0, -1) : withoutPrefix;
+}
+function endsWithTokens(candidate, suffix) {
+  return suffix.length >= 2 && candidate.length >= suffix.length && suffix.every(
+    (segment, index) => candidate[candidate.length - suffix.length + index] === segment
+  );
+}
 var prefer_zod_infer_default = createRule({
   name: "prefer-zod-infer",
   documentation: preferZodInferDocumentation,
@@ -12352,7 +12513,8 @@ var prefer_zod_infer_default = createRule({
       }
     ],
     messages: {
-      handWrittenTwin: "`{{typeName}}` restates the shape of the Zod schema `{{schemaName}}` declared in this module. Derive it instead \u2014 `type {{typeName}} = z.infer<typeof {{schemaName}}>` \u2014 so a field added to the schema cannot silently leave the type behind."
+      handWrittenTwin: "`{{typeName}}` restates the shape of the Zod schema `{{schemaName}}` declared in this module. Derive it instead \u2014 `type {{typeName}} = z.infer<typeof {{schemaName}}>` \u2014 so a field added to the schema cannot silently leave the type behind.",
+      repeatedEnumUnion: "`{{propertyName}}` repeats the literal domain already named by `{{typeName}}` and `{{schemaName}}` in multiple object types. Reuse `{{typeName}}` so the accepted values have one source of truth."
     }
   },
   defaultOptions: [{}],
@@ -12366,6 +12528,9 @@ var prefer_zod_infer_default = createRule({
     }
     const zodNamespaces = /* @__PURE__ */ new Set();
     const schemas = [];
+    const enumSchemas = [];
+    const inferredAliases = [];
+    const literalUnionOccurrences = [];
     const typeDeclarations = [];
     const constrainedTypeNames = /* @__PURE__ */ new Set();
     const reshapedSchemaNames = /* @__PURE__ */ new Set();
@@ -12390,10 +12555,21 @@ var prefer_zod_infer_default = createRule({
       const callee = call.callee;
       return callee.type === AST_NODE_TYPES48.MemberExpression && callee.property.type === AST_NODE_TYPES48.Identifier ? callee.property.name : "";
     }
+    function recordZodImport(node) {
+      if (!isZodModule(node.source.value)) {
+        return;
+      }
+      for (const specifier of node.specifiers) {
+        if (specifier.type === AST_NODE_TYPES48.ImportNamespaceSpecifier || specifier.type === AST_NODE_TYPES48.ImportDefaultSpecifier || specifier.type === AST_NODE_TYPES48.ImportSpecifier && specifier.imported.type === AST_NODE_TYPES48.Identifier && specifier.imported.name === "z") {
+          zodNamespaces.add(specifier.local.name);
+        }
+      }
+    }
     function schemaField(node) {
       const modifiers = [];
       let current = node;
       let leaf = null;
+      let leafCall = null;
       while (current.type === AST_NODE_TYPES48.CallExpression) {
         const callee = current.callee;
         if (callee.type !== AST_NODE_TYPES48.MemberExpression || callee.computed || callee.property.type !== AST_NODE_TYPES48.Identifier) {
@@ -12402,18 +12578,72 @@ var prefer_zod_infer_default = createRule({
         const receiver = callee.object;
         if (receiver.type === AST_NODE_TYPES48.Identifier && zodNamespaces.has(receiver.name)) {
           leaf = callee.property.name;
+          leafCall = current;
           break;
         }
         modifiers.push(callee.property.name);
         current = receiver;
       }
       return {
+        domain: modifiers.every(
+          (name) => DOMAIN_PRESERVING_MODIFIERS.has(name)
+        ) ? staticZodDomain(leaf, leafCall) : null,
         leaf,
         optional: modifiers.some((name) => OPTIONAL_MODIFIERS.has(name)),
         nullable: modifiers.some((name) => NULLABLE_MODIFIERS.has(name)),
         reshaped: modifiers.some((name) => RESHAPING_MODIFIERS.has(name))
       };
     }
+    function enumSchemaDomain(init) {
+      const chain = zodCallChain(init);
+      if (chain === null || chain.length !== 1) {
+        return null;
+      }
+      const [call] = chain;
+      if (call === void 0 || methodName2(call) !== "enum") {
+        return null;
+      }
+      const domain = staticZodDomain("enum", call);
+      return domain instanceof Set && domain.size >= 2 ? domain : null;
+    }
+    function inferredSchemaName(node) {
+      if (node.type !== AST_NODE_TYPES48.TSTypeReference || node.typeName.type !== AST_NODE_TYPES48.TSQualifiedName || node.typeName.left.type !== AST_NODE_TYPES48.Identifier || !zodNamespaces.has(node.typeName.left.name) || node.typeName.right.name !== "infer") {
+        return null;
+      }
+      const arguments_ = node.typeArguments?.params ?? [];
+      const [argument] = arguments_;
+      return arguments_.length === 1 && argument?.type === AST_NODE_TYPES48.TSTypeQuery && argument.exprName.type === AST_NODE_TYPES48.Identifier ? argument.exprName.name : null;
+    }
+    function recordLiteralUnions(members, owner, ownerName, exported) {
+      for (const member of members) {
+        if (member.type !== AST_NODE_TYPES48.TSPropertySignature || member.computed || member.optional || member.readonly || member.typeAnnotation === void 0) {
+          continue;
+        }
+        const key = member.key;
+        const propertyName3 = key.type === AST_NODE_TYPES48.Identifier ? key.name : key.type === AST_NODE_TYPES48.Literal && typeof key.value === "string" ? key.value : null;
+        if (propertyName3 === null) {
+          continue;
+        }
+        const propertyTokens = nameTokens(propertyName3);
+        if (propertyTokens.length < 2) {
+          continue;
+        }
+        const annotation = member.typeAnnotation.typeAnnotation;
+        const domain = staticStringUnionDomain(annotation);
+        if (domain === null || annotation.type !== AST_NODE_TYPES48.TSUnionType) {
+          continue;
+        }
+        literalUnionOccurrences.push({
+          domain,
+          exported,
+          node: annotation,
+          owner,
+          ownerName,
+          propertyName: propertyName3,
+          propertyTokens
+        });
+      }
+    }
     function schemaFields(init) {
       const chain = zodCallChain(init);
       if (chain === null || chain.length === 0) {
@@ -12514,7 +12744,7 @@ var prefer_zod_infer_default = createRule({
         if (member.readonly) {
           return false;
         }
-        const agrees = leafAgrees(field.leaf, member.annotation);
+        const agrees = leafAgrees(field, member.annotation);
         if (agrees === false) {
           return false;
         }
@@ -12525,16 +12755,16 @@ var prefer_zod_infer_default = createRule({
       return agreements > 0;
     }
     return {
-      ImportDeclaration(node) {
-        if (!isZodModule(node.source.value)) {
-          return;
-        }
-        for (const specifier of node.specifiers) {
-          if (specifier.type === AST_NODE_TYPES48.ImportNamespaceSpecifier || specifier.type === AST_NODE_TYPES48.ImportDefaultSpecifier || specifier.type === AST_NODE_TYPES48.ImportSpecifier && specifier.imported.type === AST_NODE_TYPES48.Identifier && specifier.imported.name === "z") {
-            zodNamespaces.add(specifier.local.name);
+      Program(node) {
+        for (const statement of node.body) {
+          if (statement.type === AST_NODE_TYPES48.ImportDeclaration) {
+            recordZodImport(statement);
           }
         }
       },
+      ImportDeclaration(node) {
+        recordZodImport(node);
+      },
       VariableDeclarator(node) {
         if (node.id.type !== AST_NODE_TYPES48.Identifier || node.init == null) {
           return;
@@ -12543,6 +12773,13 @@ var prefer_zod_infer_default = createRule({
         if (fields !== null) {
           schemas.push({ name: node.id.name, fields });
         }
+        if (isModuleLevelConst(node)) {
+          const domain = enumSchemaDomain(node.init);
+          const tokens = schemaNameTokens(node.id.name);
+          if (domain !== null && tokens.length >= 2) {
+            enumSchemas.push({ domain, name: node.id.name, tokens });
+          }
+        }
       },
       /** Records `XSchema.transform(...)` and equivalent module-level reshaping. */
       "MemberExpression[computed=false]"(node) {
@@ -12569,8 +12806,22 @@ var prefer_zod_infer_default = createRule({
         if (members !== null) {
           typeDeclarations.push({ name: node.id.name, node: node.id, members });
         }
+        recordLiteralUnions(
+          node.body.body,
+          node,
+          node.id.name,
+          isExportedDeclaration(node)
+        );
       },
       TSTypeAliasDeclaration(node) {
+        const schemaName = inferredSchemaName(node.typeAnnotation);
+        if (schemaName !== null) {
+          inferredAliases.push({
+            exported: isExportedDeclaration(node),
+            schemaName,
+            typeName: node.id.name
+          });
+        }
         if (node.typeParameters !== void 0 || node.typeAnnotation.type !== AST_NODE_TYPES48.TSTypeLiteral) {
           return;
         }
@@ -12578,11 +12829,15 @@ var prefer_zod_infer_default = createRule({
         if (members !== null) {
           typeDeclarations.push({ name: node.id.name, node: node.id, members });
         }
+        recordLiteralUnions(
+          node.typeAnnotation.members,
+          node,
+          node.id.name,
+          isExportedDeclaration(node)
+        );
       },
       "Program:exit"() {
-        if (schemas.length === 0 || typeDeclarations.length === 0) {
-          return;
-        }
+        const twinTypeNames = /* @__PURE__ */ new Set();
         const byName = /* @__PURE__ */ new Map();
         for (const schema of schemas) {
           const key = normalizeSchemaName(schema.name);
@@ -12604,12 +12859,62 @@ var prefer_zod_infer_default = createRule({
           if (!isTwin(schema.fields, declaration.members)) {
             continue;
           }
+          twinTypeNames.add(declaration.name);
           context.report({
             node: declaration.node,
             messageId: "handWrittenTwin",
             data: { typeName: declaration.name, schemaName: schema.name }
           });
         }
+        const aliasesBySchema = /* @__PURE__ */ new Map();
+        for (const alias of inferredAliases) {
+          const aliases = aliasesBySchema.get(alias.schemaName) ?? [];
+          aliases.push(alias);
+          aliasesBySchema.set(alias.schemaName, aliases);
+        }
+        const groups = /* @__PURE__ */ new Map();
+        for (const occurrence of literalUnionOccurrences) {
+          const { ownerName } = occurrence;
+          if (twinTypeNames.has(ownerName ?? "") || ownerName !== null && ignorePatterns.some((pattern) => pattern.test(ownerName))) {
+            continue;
+          }
+          const candidates = enumSchemas.filter(
+            (schema2) => sameDomain(schema2.domain, occurrence.domain) && endsWithTokens(schema2.tokens, occurrence.propertyTokens) && (aliasesBySchema.get(schema2.name)?.length ?? 0) === 1
+          );
+          const [schema] = candidates;
+          if (candidates.length !== 1 || schema === void 0) {
+            continue;
+          }
+          const [alias] = aliasesBySchema.get(schema.name) ?? [];
+          if (alias === void 0 || occurrence.exported && !alias.exported) {
+            continue;
+          }
+          const key = `${schema.name}\0${occurrence.propertyName}`;
+          const group = groups.get(key);
+          if (group === void 0) {
+            groups.set(key, { alias, occurrences: [occurrence], schema });
+          } else {
+            group.occurrences.push(occurrence);
+          }
+        }
+        for (const { alias, occurrences, schema } of groups.values()) {
+          if (new Set(occurrences.map(({ ownerName }) => ownerName)).size < 2 || new Set(occurrences.map(({ owner }) => owner)).size < 2) {
+            continue;
+          }
+          const [first] = occurrences;
+          if (first === void 0) {
+            continue;
+          }
+          context.report({
+            node: first.node,
+            messageId: "repeatedEnumUnion",
+            data: {
+              propertyName: first.propertyName,
+              schemaName: schema.name,
+              typeName: alias.typeName
+            }
+          });
+        }
       }
     };
   }
@@ -14559,7 +14864,7 @@ var rules = {
 };
 var meta = {
   name: "@sarj/eslint-plugin",
-  version: "15.6.0"
+  version: "15.6.2"
 };
 var applicationOnlyRules = [
   "no-restricted-library-load",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sarj/eslint-plugin",
-  "version": "15.6.0",
+  "version": "15.6.2",
   "packageManager": "npm@11.19.0",
   "description": "Custom ESLint rules for hypermodern TypeScript / React / Next.js projects",
   "type": "module",
@@ -36,7 +36,7 @@
     "build": "tsup",
     "dogfood": "npm run build && eslint --config eslint.dogfood.config.mjs src tests eslint.config.mjs eslint.dogfood.config.mjs tsup.config.ts vitest.config.ts --max-warnings 0 && node -e \"import('./dist/index.js').then(({default:p}) => console.log('dogfood: '+Object.keys(p.rules).length+' TypeScript rules, 0 diagnostics'))\"",
     "lint": "eslint . --max-warnings 0",
-    "prepack": "npm run verify-package",
+    "prepack": "npm run build && npm run verify-package",
     "test": "vitest run",
     "typecheck": "tsc --noEmit",
     "verify-package": "node -e \"const fs=require('node:fs'),p=require('./package.json'),walk=x=>typeof x==='string'?[x]:x&&typeof x==='object'?Object.values(x).flatMap(walk):[];for(const file of new Set([p.main,p.module,p.types,...walk(p.exports)].filter(Boolean).map(x=>x.startsWith('./')?x.slice(2):x))){if(!file.startsWith('dist/'))throw new Error('export must live under dist: '+file);const stat=fs.statSync(file);if(!stat.isFile()||stat.size===0)throw new Error('missing or empty export: '+file)}\""