@sarj/eslint-plugin 16.6.0 → 16.8.0

package/dist/index.js

@@ -1,7 +1,7 @@
 // package.json
 var package_default = {
   name: "@sarj/eslint-plugin",
-  version: "16.6.0",
+  version: "16.8.0",
   packageManager: "npm@12.1.0",
   description: "Custom ESLint rules for hypermodern TypeScript / React / Next.js projects",
   type: "module",
@@ -419,8 +419,9 @@ function commentLineEnd(sourceText, start) {
 }
 
 // src/rules/require-explicit-contract-implementation.ts
+var ESCAPED_CLASSES = /* @__PURE__ */ new WeakMap();
 var REQUIRE_EXPLICIT_CONTRACT_IMPLEMENTATION_DOCUMENTATION = {
-  defaultLevel: "warning",
+  defaultLevel: "error",
   summary: "Require nominal inheritance when an injected abstract class is rejected by an instanceof guard.",
   rationale: "A structurally assignable fake can still fail a constructor's nominal runtime guard. Pure structural interfaces do not require an implements clause.",
   remediation: "Use an implementation inheriting the existing abstract class, or remove the nominal guard if the boundary is intentionally structural.",
@@ -428,8 +429,8 @@ var REQUIRE_EXPLICIT_CONTRACT_IMPLEMENTATION_DOCUMENTATION = {
   autofix: "none",
   limitations: [
     "Requires direct construction of both owned consumer and collaborator classes, with a first-statement consumer constructor guard rejecting the exact parameter with if (!(parameter instanceof Contract)) throw.",
-    "The contract must resolve to an abstract class without decorators, unresolved ancestors, or custom computed static members in its resolved hierarchy.",
-    "Structural interfaces, non-rejecting branches, reassignment before the guard, casts, unresolved heritage, dynamic factories, explicit implementation constructors or initializers, modules referencing prototype-mutator members or assigning prototypes, and third-party classes are excluded."
+    "The contract must resolve to an abstract class without decorators, static blocks, unresolved ancestors, or custom computed static members in its resolved hierarchy. Escaped class constructors are checked across every owned module in the typed program.",
+    "Structural interfaces, non-rejecting branches, reassignment before the guard, casts, unresolved heritage, dynamic factories, implementation static blocks, explicit implementation constructors or initializers, involved modules referencing prototype-mutator members or assigning prototypes, escaped class constructors, and third-party classes are excluded."
   ],
   examples: [
     {
@@ -452,6 +453,115 @@ var REQUIRE_EXPLICIT_CONTRACT_IMPLEMENTATION_DOCUMENTATION = {
     }
   ]
 };
+function hasPrototypeMutation(source) {
+  function visit(node) {
+    const member = memberName(node);
+    if (member === "setPrototypeOf" || member === "__proto__" || member === "hasInstance") return true;
+    if (ts.isBinaryExpression(node) && node.operatorToken.kind >= ts.SyntaxKind.FirstAssignment && node.operatorToken.kind <= ts.SyntaxKind.LastAssignment && memberName(node.left) === "prototype") return true;
+    return ts.forEachChild(node, visit);
+  }
+  return visit(source) === true;
+}
+function memberName(node) {
+  if (ts.isPropertyAccessExpression(node)) return node.name.text;
+  if (ts.isElementAccessExpression(node) && ts.isStringLiteralLike(node.argumentExpression)) return node.argumentExpression.text;
+  return null;
+}
+function ownedSource(source) {
+  return !source.isDeclarationFile && !/(?:^|[/\\])(?:node_modules|vendor|vendored|generated|dist)(?:[/\\])/u.test(source.fileName) && !isGeneratedFile(source.fileName, source.text);
+}
+function escapedClasses(program, checker) {
+  const cached = ESCAPED_CLASSES.get(program);
+  if (cached !== void 0) return cached;
+  const escaped = /* @__PURE__ */ new Set();
+  const namespaceValues = /* @__PURE__ */ new Map();
+  function visit(node) {
+    if (ts.isTypeNode(node) || ts.isImportDeclaration(node)) return;
+    if (ts.isIdentifier(node) || ts.isPropertyAccessExpression(node) || ts.isElementAccessExpression(node)) {
+      recordEscapedReference(checker, node, escaped, namespaceValues);
+    }
+    ts.forEachChild(node, visit);
+  }
+  for (const source of program.getSourceFiles()) if (ownedSource(source)) visit(source);
+  ESCAPED_CLASSES.set(program, escaped);
+  return escaped;
+}
+function recordEscapedReference(checker, node, escaped, namespaceValues) {
+  const symbol = canonicalSymbol(checker, node);
+  if (symbol !== void 0) {
+    let values = namespaceValues.get(symbol);
+    if (values === void 0) {
+      values = ownedClassValues(checker, symbol);
+      namespaceValues.set(symbol, values);
+    }
+    if (!namespacePrefix(symbol, node) && !safeClassReference(node)) for (const value of values) escaped.add(value);
+  }
+  if (ts.isElementAccessExpression(node) && !safeClassReference(node)) {
+    const receiver = canonicalSymbol(checker, node.expression) ?? checker.getTypeAtLocation(node.expression).getSymbol();
+    if (receiver !== void 0) for (const value of ownedClassValues(checker, receiver)) escaped.add(value);
+  }
+}
+function ownedClassValues(checker, original, seen = /* @__PURE__ */ new Set()) {
+  const symbol = original.flags & ts.SymbolFlags.Alias ? checker.getAliasedSymbol(original) : original;
+  const values = /* @__PURE__ */ new Set();
+  if (seen.has(symbol)) return values;
+  seen.add(symbol);
+  if (symbol.declarations?.some((declaration) => ts.isClassDeclaration(declaration) && ownedSource(declaration.getSourceFile()))) values.add(symbol);
+  if (symbol.declarations?.some((declaration) => (ts.isSourceFile(declaration) || ts.isModuleDeclaration(declaration)) && ownedSource(declaration.getSourceFile()))) {
+    for (const exported of checker.getExportsOfModule(symbol)) {
+      for (const value of ownedClassValues(checker, exported, seen)) values.add(value);
+    }
+  }
+  return values;
+}
+function safeClassReference(node) {
+  let reference = ts.isPropertyAccessExpression(node.parent) && node.parent.name === node ? node.parent : node;
+  while (ts.isParenthesizedExpression(reference.parent)) reference = reference.parent;
+  const parent = reference.parent;
+  return ts.isClassDeclaration(parent) && parent.name === reference || ts.isNewExpression(parent) && parent.expression === reference || ts.isExpressionWithTypeArguments(parent) && parent.expression === reference || ts.isBinaryExpression(parent) && parent.operatorToken.kind === ts.SyntaxKind.InstanceOfKeyword && parent.right === reference;
+}
+function namespacePrefix(symbol, node) {
+  const parent = node.parent;
+  const memberCall = (ts.isPropertyAccessExpression(parent) || ts.isElementAccessExpression(parent)) && ts.isCallExpression(parent.parent) && parent.parent.expression === parent;
+  return !symbol.declarations?.some(ts.isClassDeclaration) && (ts.isPropertyAccessExpression(parent) || ts.isElementAccessExpression(parent)) && parent.expression === node && !memberCall;
+}
+function closedNominalBoundary(program, checker, call, consumer, missing) {
+  const { implementation, contractSymbol } = missing;
+  const implementationSymbol = implementation.name === void 0 ? void 0 : canonicalSymbol(checker, implementation.name);
+  const consumerSymbol = consumer.name === void 0 ? void 0 : canonicalSymbol(checker, consumer.name);
+  if (implementationSymbol === void 0 || consumerSymbol === void 0) return false;
+  const contract = contractSymbol.declarations?.find(ts.isClassDeclaration);
+  if (contract === void 0) return false;
+  const targets = /* @__PURE__ */ new Set([consumerSymbol, ...classHierarchySymbols(checker, contract), ...classHierarchySymbols(checker, implementation)]);
+  const sources = /* @__PURE__ */ new Set([call.getSourceFile(), consumer.getSourceFile(), implementation.getSourceFile(), ...contractSymbol.declarations?.map((item) => item.getSourceFile()) ?? []]);
+  return ![...sources].some(hasPrototypeMutation) && ![...targets].some((target) => escapedClasses(program, checker).has(target));
+}
+function classHierarchySymbols(checker, declaration, seen = /* @__PURE__ */ new Set()) {
+  const symbol = declaration.name === void 0 ? void 0 : canonicalSymbol(checker, declaration.name);
+  if (symbol === void 0 || seen.has(symbol)) return seen;
+  seen.add(symbol);
+  for (const clause of declaration.heritageClauses ?? []) {
+    if (clause.token !== ts.SyntaxKind.ExtendsKeyword) continue;
+    for (const parent of clause.types) {
+      const ancestor = canonicalSymbol(checker, parent.expression)?.declarations?.find(ts.isClassDeclaration);
+      if (ancestor !== void 0) classHierarchySymbols(checker, ancestor, seen);
+    }
+  }
+  return seen;
+}
+function missingImplementation(checker, signature, parameter, call, argument) {
+  const parameterType = checker.getTypeOfSymbolAtLocation(parameter, call);
+  const contractType = behavioralContract(checker, parameterType);
+  if (contractType === null) return null;
+  const contractSymbol = contractType.getSymbol();
+  if (contractSymbol === void 0 || !hasNominalRejectionGuard(checker, signature, parameter, contractSymbol)) return null;
+  const actualType = checker.getTypeAtLocation(argument);
+  if (!checker.isTypeAssignableTo(actualType, contractType)) return null;
+  const implementation = ownedClass(checker, argument);
+  if (implementation === null) return null;
+  if (nominallyInherits(checker, implementation, contractSymbol, /* @__PURE__ */ new Set()) !== false) return null;
+  return { implementation, contractSymbol };
+}
 function behavioralContract(checker, type) {
   if (type.isUnion()) {
     const substantive = type.types.filter((member) => (member.flags & (ts.TypeFlags.Null | ts.TypeFlags.Undefined)) === 0);
@@ -476,23 +586,9 @@ function ownedClass(checker, expression) {
   if (declaration === void 0 || declaration !== constructed || declaration.getSourceFile().isDeclarationFile || /(?:^|[/\\])(?:node_modules|vendor|generated)(?:[/\\])/u.test(declaration.getSourceFile().fileName)) return null;
   return declaration;
 }
-function memberName(node) {
-  if (ts.isPropertyAccessExpression(node)) return node.name.text;
-  if (ts.isElementAccessExpression(node) && ts.isStringLiteralLike(node.argumentExpression)) return node.argumentExpression.text;
-  return null;
-}
-function hasPrototypeMutation(source) {
-  function visit(node) {
-    const member = memberName(node);
-    if (member === "setPrototypeOf" || member === "__proto__" || member === "hasInstance") return true;
-    if (ts.isBinaryExpression(node) && node.operatorToken.kind >= ts.SyntaxKind.FirstAssignment && node.operatorToken.kind <= ts.SyntaxKind.LastAssignment && memberName(node.left) === "prototype") return true;
-    return ts.forEachChild(node, visit);
-  }
-  return visit(source) === true;
-}
 function nominallyInherits(checker, declaration, target, seen) {
   if (ts.canHaveDecorators(declaration) && ts.getDecorators(declaration)?.length) return null;
-  if (hasPrototypeMutation(declaration.getSourceFile()) || declaration.members.some((member) => ts.isConstructorDeclaration(member) || ts.isPropertyDeclaration(member) && member.initializer !== void 0)) return null;
+  if (hasPrototypeMutation(declaration.getSourceFile()) || declaration.members.some((member) => ts.isConstructorDeclaration(member) || ts.isClassStaticBlockDeclaration(member) || ts.isPropertyDeclaration(member) && member.initializer !== void 0)) return null;
   const symbol = declaration.name === void 0 ? void 0 : canonicalSymbol(checker, declaration.name);
   if (symbol !== void 0) {
     if (seen.has(symbol)) return null;
@@ -507,10 +603,6 @@ function nominallyInherits(checker, declaration, target, seen) {
   const inherited = parentSymbol.declarations?.find(ts.isClassDeclaration);
   return inherited === void 0 ? null : nominallyInherits(checker, inherited, target, new Set(seen));
 }
-function canonicalSymbol(checker, node) {
-  const symbol = checker.getSymbolAtLocation(node);
-  return symbol === void 0 ? void 0 : (symbol.flags & ts.SymbolFlags.Alias) !== 0 ? checker.getAliasedSymbol(symbol) : symbol;
-}
 function hasNominalRejectionGuard(checker, signature, parameter, contract) {
   const declaration = signature.getDeclaration();
   if (declaration === void 0 || !ts.isConstructorDeclaration(declaration)) return false;
@@ -535,7 +627,7 @@ function alwaysThrows(statement) {
   return ts.isThrowStatement(statement) || ts.isBlock(statement) && statement.statements.length === 1 && ts.isThrowStatement(statement.statements[0]);
 }
 function hasOrdinaryInstanceCheck(checker, declaration, seen) {
-  if (seen.has(declaration) || ts.getDecorators(declaration)?.length || hasPrototypeMutation(declaration.getSourceFile())) return false;
+  if (seen.has(declaration) || ts.getDecorators(declaration)?.length || hasPrototypeMutation(declaration.getSourceFile()) || declaration.members.some(ts.isClassStaticBlockDeclaration)) return false;
   seen.add(declaration);
   if (declaration.members.some((member) => member.name !== void 0 && ts.isComputedPropertyName(member.name) && ts.canHaveModifiers(member) && ts.getModifiers(member)?.some((modifier) => modifier.kind === ts.SyntaxKind.StaticKeyword))) return false;
   for (const clause of declaration.heritageClauses ?? []) {
@@ -547,6 +639,10 @@ function hasOrdinaryInstanceCheck(checker, declaration, seen) {
   }
   return true;
 }
+function canonicalSymbol(checker, node) {
+  const symbol = checker.getSymbolAtLocation(node);
+  return symbol === void 0 ? void 0 : (symbol.flags & ts.SymbolFlags.Alias) !== 0 ? checker.getAliasedSymbol(symbol) : symbol;
+}
 var require_explicit_contract_implementation_default = createRule({
   name: "require-explicit-contract-implementation",
   documentation: REQUIRE_EXPLICIT_CONTRACT_IMPLEMENTATION_DOCUMENTATION,
@@ -576,22 +672,13 @@ var require_explicit_contract_implementation_default = createRule({
         if (argument.type !== AST_NODE_TYPES.NewExpression) continue;
         const parameter = parameters[index];
         if (parameter === void 0) continue;
-        const parameterType = checker.getTypeOfSymbolAtLocation(parameter, tsNode);
-        const contractType = behavioralContract(checker, parameterType);
-        if (contractType === null) continue;
-        const contractSymbol = contractType.getSymbol();
-        if (contractSymbol === void 0 || !hasNominalRejectionGuard(checker, signature, parameter, contractSymbol)) continue;
         const tsArgument = services.esTreeNodeToTSNodeMap.get(argument);
-        const actualType = checker.getTypeAtLocation(tsArgument);
-        if (!checker.isTypeAssignableTo(actualType, contractType)) continue;
-        const implementation = ownedClass(checker, tsArgument);
-        if (implementation === null) continue;
-        const relationship = nominallyInherits(checker, implementation, contractSymbol, /* @__PURE__ */ new Set());
-        if (relationship !== false) continue;
+        const missing = missingImplementation(checker, signature, parameter, tsNode, tsArgument);
+        if (missing === null || !closedNominalBoundary(services.program, checker, tsNode, consumer, missing)) continue;
         context.report({
           node: argument,
           messageId: "declareActualContract",
-          data: { implementation: implementation.name?.text ?? "class", contract: contractSymbol.getName() }
+          data: { implementation: missing.implementation.name?.text ?? "class", contract: missing.contractSymbol.getName() }
         });
       }
     }
@@ -1431,7 +1518,7 @@ function abstractContractOperations(node, functionAliases) {
 
 // src/rules/require-explicit-service-contract.ts
 var REQUIRE_EXPLICIT_SERVICE_CONTRACT_DOCUMENTATION = {
-  defaultLevel: "warning",
+  defaultLevel: "error",
   summary: "Require explicit contracts for classes that invoke retained collaborators.",
   rationale: "A one-operation service can orchestrate a collaborator without declaring the contract that callers consume and implementations and fakes satisfy.",
   remediation: "Explicitly implement a focused interface or extend an abstract class covering the service operations. Export the contract only when its consumers need it.",
@@ -7440,7 +7527,7 @@ import {
 } from "@typescript-eslint/utils";
 import ts6 from "typescript";
 var NO_JSON_STRINGIFY_OBJECT_EQUALITY_DOCUMENTATION = {
-  defaultLevel: "warning",
+  defaultLevel: "error",
   summary: "Do not use JSON serialization as structural object equality.",
   rationale: "JSON text equality depends on property insertion order and serialization behavior, so semantically equal objects can compare unequal and distinct values can collapse together.",
   remediation: "Compare an explicit domain projection structurally, or use a reviewed canonical serializer when JSON semantics are required.",
@@ -12674,7 +12761,7 @@ 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 NO_DUPLICATE_TEST_CASE_DOCUMENTATION = {
-  defaultLevel: "warning",
+  defaultLevel: "error",
   summary: "Report repeated literal rows in framework test.each or it.each 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.",
@@ -17552,7 +17639,7 @@ var OPERATIONAL_ROLES = /* @__PURE__ */ new Set([
 ]);
 var MAX_ALIAS_DEPTH = 16;
 var PREFER_NOMINAL_ID_TYPES_DOCUMENTATION = {
-  defaultLevel: "warning",
+  defaultLevel: "error",
   summary: "Distinguish identifier roles sharing primitive types at callable boundaries.",
   rationale: "Two identifier roles represented by the same primitive accept each other's values, so swapped arguments survive type checking. Transparent aliases do not prevent this.",
   remediation: "Introduce distinct branded identifier types at a validated domain boundary and use them in the callable contract. Keep wire representations primitive until validation; suppress a required external signature locally with a reason.",
@@ -17717,14 +17804,14 @@ var prefer_named_callback_domain_default = createRule({
 // src/rules/prefer-named-complex-return-type.ts
 import { AST_NODE_TYPES as AST_NODE_TYPES86 } from "@typescript-eslint/utils";
 var PREFER_NAMED_COMPLEX_RETURN_TYPE_DOCUMENTATION = {
-  defaultLevel: "warning",
+  defaultLevel: "error",
   summary: "Prefer a named contract for structurally complex function return types.",
   rationale: "A large inline return annotation hides a reusable domain concept and makes signatures difficult to scan.",
   remediation: "Name the complex nested shape while preserving its generic wrappers and type parameters; reference the named contract from the return annotation.",
   category: "maintainability",
   limitations: [
     "Only explicit object types with at least three members and unions with at least three object variants are reported.",
-    "Any single-argument generic wrapper is traversed to find nested shapes, not assumed semantically transparent. Inferred return types are outside this rule; extraction is manual and must preserve locally bound type parameters."
+    "Any single-argument generic wrapper is traversed to find nested shapes, not assumed semantically transparent. Inferred return types are outside this rule; extraction is manual and must preserve locally bound type parameters with generic named contracts. Types depending on polymorphic this or a local value query are excluded."
   ],
   examples: [
     { id: "named-result", title: "Name a multi-state result", outcome: "no-match", files: [{ path: "src/queue.ts", source: "type ClaimResult = { state: 'idle' } | { state: 'waiting'; retryAt: number } | { state: 'claimed'; id: string }; export function claim(): ClaimResult { return { state: 'idle' }; }" }], focusPath: "src/queue.ts", expectedCount: 0, public: true },
@@ -17740,10 +17827,13 @@ function unwrap4(node) {
 }
 function report(context, node) {
   const annotation = node.returnType?.typeAnnotation;
-  if (annotation !== void 0 && isComplex(annotation)) {
+  if (annotation !== void 0 && isComplex(annotation) && !hasValueDependency(annotation)) {
     context.report({ node: annotation, messageId: "nameComplexReturnType" });
   }
 }
+function hasValueDependency(node) {
+  return node.type === AST_NODE_TYPES86.TSThisType || node.type === AST_NODE_TYPES86.TSTypeQuery || forEachOwnAstChild(node, hasValueDependency);
+}
 function isComplex(node) {
   const type = unwrap4(node);
   if (type.type === AST_NODE_TYPES86.TSTypeLiteral) return type.members.length >= 3;
@@ -19397,22 +19487,22 @@ var prefer_shared_zod_enum_default = createRule({
 });
 
 // src/rules/prefer-switch-for-repeated-equality.ts
-import { AST_NODE_TYPES as AST_NODE_TYPES95 } from "@typescript-eslint/utils";
+import { AST_NODE_TYPES as AST_NODE_TYPES95, ASTUtils as ASTUtils57 } from "@typescript-eslint/utils";
 var PREFER_SWITCH_FOR_REPEATED_EQUALITY_DOCUMENTATION = {
-  defaultLevel: "warning",
+  defaultLevel: "error",
   summary: "Prefer switch over long if/else-if chains that compare one value for strict equality.",
   rationale: "A switch makes finite dispatch cases visually uniform and easier to extend without duplicating the discriminant.",
   remediation: "Replace three or more strict-equality branches over the same discriminant with a switch; keep if statements for ranges, guards, and heterogeneous predicates.",
   category: "maintainability",
   limitations: [
     "Only direct if/else-if chains with at least three strict-equality tests are reported.",
-    "The discriminant must be a bare identifier; calls, getters, indexed reads and other repeatedly evaluated expressions are excluded. Review case-value effects, selector mutation, branch scoping, and break/continue targets when converting manually; this is not an equivalence proof.",
-    "Case values may be literals, enum-like member references, or upper-case named constants; dynamic expressions are excluded.",
+    "The discriminant must be a resolved lexical variable or parameter; unresolved globals, calls, getters, and indexed reads are excluded. Preserve branch scopes and break/continue targets when converting manually; no autofix is offered.",
+    "Case values must be primitive literals. Member references and named constants are excluded because evaluating them can observe getters or mutate the selector. Generated sources are excluded.",
     "The rule deliberately ignores compound predicates, loose equality, ranges, and chains that compare different discriminants."
   ],
   examples: [
     { id: "switch-dispatch", title: "Make finite dispatch explicit", outcome: "no-match", files: [{ path: "src/render.ts", source: "switch (kind) { case 'a': return a(); case 'b': return b(); case 'c': return c(); default: return fallback(); }" }], focusPath: "src/render.ts", expectedCount: 0, public: true },
-    { id: "repeated-equality", title: "Avoid repeating the discriminant", outcome: "match", files: [{ path: "src/render.ts", source: "if (kind === 'a') return a(); else if (kind === 'b') return b(); else if (kind === 'c') return c();" }], focusPath: "src/render.ts", expectedCount: 1, public: true },
+    { id: "repeated-equality", title: "Avoid repeating the discriminant", outcome: "match", files: [{ path: "src/render.ts", source: "function render(kind: string) { if (kind === 'a') return a(); else if (kind === 'b') return b(); else if (kind === 'c') return c(); }" }], focusPath: "src/render.ts", expectedCount: 1, public: true },
     { id: "escaped-middle", scenarioId: "native-discriminant", title: "Use native identifier identity", outcome: "match", files: [{ path: "src/dispatch.ts", source: `function probe(kind){if(kind==='a')return 1;else if(\\u006bind==='b')return 2;else if(kind==='c')return 3;return 0;}
 console.log(JSON.stringify(["a","b","c","d"].map(probe)));` }], focusPath: "src/dispatch.ts", expectedCount: 1, public: true },
     { id: "different-discriminants", scenarioId: "native-discriminant", title: "Use native identifier identity", outcome: "no-match", files: [{ path: "src/dispatch.ts", source: `function probe(kind){const other="other";if(kind==='a')return 1;else if(other==='b')return 2;else if(kind==='c')return 3;return 0;}
@@ -19428,10 +19518,7 @@ function discriminantName(test) {
   return discriminant.type === AST_NODE_TYPES95.Identifier ? discriminant.name : null;
 }
 function isCaseValue(node) {
-  if (node.type === AST_NODE_TYPES95.Literal) return true;
-  if (node.type === AST_NODE_TYPES95.Identifier) return /^[A-Z][A-Z0-9_]*$/u.test(node.name);
-  if (node.type !== AST_NODE_TYPES95.MemberExpression || node.computed) return false;
-  return node.property.type === AST_NODE_TYPES95.Identifier && (node.object.type === AST_NODE_TYPES95.Identifier || isCaseValue(node.object));
+  return node.type === AST_NODE_TYPES95.Literal && !("regex" in node);
 }
 var prefer_switch_for_repeated_equality_default = createRule({
   name: "prefer-switch-for-repeated-equality",
@@ -19446,11 +19533,16 @@ var prefer_switch_for_repeated_equality_default = createRule({
   },
   defaultOptions: [],
   create(context) {
+    if (isGeneratedFile(context.filename, context.sourceCode.text)) return {};
     return {
       IfStatement(node) {
         if (node.parent.type === AST_NODE_TYPES95.IfStatement && node.parent.alternate === node) return;
         const first = discriminantName(node.test);
         if (first === null) return;
+        const binding = ASTUtils57.findVariable(context.sourceCode.getScope(node), first);
+        if (binding === null || binding.defs.length !== 1 || binding.scope.type === "global") return;
+        const [definition] = binding.defs;
+        if (definition?.type !== "Parameter" && definition?.type !== "Variable") return;
         let count = 1;
         let current = node.alternate;
         while (current?.type === AST_NODE_TYPES95.IfStatement) {
@@ -19994,7 +20086,7 @@ function packageWorkspaceGlobs(parsed) {
 }
 
 // src/rules/prefer-server-actions.ts
-import { ASTUtils as ASTUtils57 } from "@typescript-eslint/utils";
+import { ASTUtils as ASTUtils58 } from "@typescript-eslint/utils";
 var PREFER_SERVER_ACTIONS_DOCUMENTATION = {
   summary: "Prefer Next.js Server Actions over same-origin API mutations.",
   rationale: "Server Actions can remove a hand-written internal API wrapper while retaining typed application calls. Client invocations still cross a network and serialization boundary.",
@@ -20027,7 +20119,7 @@ function resolveNode(node, context) {
   node = node == null ? node : unwrapExpression(node);
   if (!node) return null;
   if (node.type !== "Identifier") return node;
-  const variable = ASTUtils57.findVariable(getScope(context, node), node.name);
+  const variable = ASTUtils58.findVariable(getScope(context, node), node.name);
   const definition = variable?.defs.length === 1 ? variable.defs[0] : void 0;
   if (definition?.type !== "Variable" || definition.parent.kind !== "const" || definition.node.init === null || variable?.references.some((reference) => reference.isWrite() && reference.init !== true)) return node;
   if (definition.node.init.type === "ObjectExpression" && variable?.references.some((reference) => reference.identifier !== node && reference.init !== true)) return node;
@@ -20036,7 +20128,7 @@ function resolveNode(node, context) {
 function isAxiosClient(node, context, seen = /* @__PURE__ */ new Set()) {
   if (node.type !== "Identifier" || seen.has(node)) return false;
   seen.add(node);
-  const variable = ASTUtils57.findVariable(getScope(context, node), node.name);
+  const variable = ASTUtils58.findVariable(getScope(context, node), node.name);
   const definition = variable?.defs.length === 1 ? variable.defs[0] : void 0;
   if (definition === void 0 || variable?.references.some((reference) => reference.isWrite() && reference.init !== true)) return false;
   if (variable?.references.some((reference) => {
@@ -20120,10 +20212,10 @@ function isFunctionArgument(node, context) {
 }
 function getPropertyNode(objNode, propName2) {
   if (!objNode || objNode.type !== "ObjectExpression") return null;
-  if (objNode.properties.some((property) => property.type === "SpreadElement" || ASTUtils57.getPropertyName(property) === null)) return null;
+  if (objNode.properties.some((property) => property.type === "SpreadElement" || ASTUtils58.getPropertyName(property) === null)) return null;
   for (const prop of [...objNode.properties].reverse()) {
     if (prop.type !== "Property") continue;
-    const keyName = ASTUtils57.getPropertyName(prop);
+    const keyName = ASTUtils58.getPropertyName(prop);
     if (keyName === propName2) {
       if (prop.value.type === "AssignmentPattern" || prop.value.type === "ArrayPattern" || prop.value.type === "ObjectPattern") {
         return null;
@@ -20247,7 +20339,7 @@ var prefer_server_actions_default = createRule({
 });
 
 // src/rules/prefer-whole-object-assertion.ts
-import { AST_NODE_TYPES as AST_NODE_TYPES97, ASTUtils as ASTUtils58 } from "@typescript-eslint/utils";
+import { AST_NODE_TYPES as AST_NODE_TYPES97, ASTUtils as ASTUtils59 } from "@typescript-eslint/utils";
 var MERGEABLE_MATCHERS = /* @__PURE__ */ new Set(["toBe", "toEqual", "toStrictEqual"]);
 var SYNTHETIC_LITERAL_MATCHERS = /* @__PURE__ */ new Map([
   ["toBeNull", "null"]
@@ -20312,7 +20404,7 @@ function propertyAccess(node) {
   const path = [];
   let current = node;
   while (current.type === AST_NODE_TYPES97.MemberExpression && !current.optional) {
-    const name = ASTUtils58.getPropertyName(current);
+    const name = ASTUtils59.getPropertyName(current);
     if (name === null || COLLECTION_PROPERTIES.has(name) || LITERAL_KEY_HAZARDS.has(name)) return null;
     path.unshift(name);
     current = unwrapExpression(current.object);
@@ -20459,7 +20551,7 @@ var prefer_whole_object_assertion_default = createRule({
       const callee = unwrapExpression(call.callee);
       const calleeReceiver = callee.type === AST_NODE_TYPES97.MemberExpression ? unwrapExpression(callee.object) : callee;
       if (callee.type !== AST_NODE_TYPES97.MemberExpression) return null;
-      const matcher = ASTUtils58.getPropertyName(callee);
+      const matcher = ASTUtils59.getPropertyName(callee);
       if (matcher === null) return null;
       const expectCall = calleeReceiver;
       const expectCallee = expectCall.type === AST_NODE_TYPES97.CallExpression ? unwrapExpression(expectCall.callee) : null;
@@ -20489,7 +20581,7 @@ var prefer_whole_object_assertion_default = createRule({
       return assertionExpectation(statement, call, receiver, key, matcher);
     }
     function isTestExpect(callee) {
-      const variable = ASTUtils58.findVariable(sourceCode.getScope(callee), callee.name);
+      const variable = ASTUtils59.findVariable(sourceCode.getScope(callee), callee.name);
       if (variable !== null && variable.defs.some((definition) => {
         if (definition.node.type !== AST_NODE_TYPES97.ImportSpecifier) return true;
         const declaration = definition.node.parent;
@@ -20532,7 +20624,7 @@ var prefer_whole_object_assertion_default = createRule({
 });
 
 // src/rules/repeated-static-call-cases.ts
-import { AST_NODE_TYPES as AST_NODE_TYPES98, ASTUtils as ASTUtils59 } from "@typescript-eslint/utils";
+import { AST_NODE_TYPES as AST_NODE_TYPES98, ASTUtils as ASTUtils60 } from "@typescript-eslint/utils";
 var REPEATED_STATIC_CALL_CASES_DOCUMENTATION = {
   summary: "Review three or more consecutive static-input call assertions as potential named cases.",
   rationale: "Copy-pasted cases obscure the input table, and a thrown assertion can stop later cases from being reported.",
@@ -20553,7 +20645,7 @@ var EXPECT_MODIFIERS = /* @__PURE__ */ new Set(["not", "rejects", "resolves"]);
 var SNAPSHOT_MATCHERS = /snapshot/iu;
 var MIN_CASES2 = 3;
 function importedName6(identifier, context, modules) {
-  const variable = ASTUtils59.findVariable(context.sourceCode.getScope(identifier), identifier.name);
+  const variable = ASTUtils60.findVariable(context.sourceCode.getScope(identifier), identifier.name);
   if (variable === null || variable.defs.length === 0) return identifier.name;
   for (const definition of variable.defs) {
     if (definition.node.type !== AST_NODE_TYPES98.ImportSpecifier) continue;
@@ -20575,7 +20667,7 @@ function testRoot2(callee) {
   callee = unwrapExpression(callee);
   if (callee.type === AST_NODE_TYPES98.Identifier) return callee;
   if (callee.type !== AST_NODE_TYPES98.MemberExpression) return null;
-  const modifier = ASTUtils59.getPropertyName(callee);
+  const modifier = ASTUtils60.getPropertyName(callee);
   return modifier !== null && TEST_MODIFIERS5.has(modifier) ? testRoot2(callee.object) : null;
 }
 function isStatic(input) {
@@ -20621,8 +20713,8 @@ function assertionShape(statement, context, callback) {
   const matcherCall = unwrapExpression(statement.expression);
   if (matcherCall.type !== AST_NODE_TYPES98.CallExpression) return null;
   const matcherCallee = unwrapExpression(matcherCall.callee);
-  if (matcherCallee.type !== AST_NODE_TYPES98.MemberExpression || ASTUtils59.getPropertyName(matcherCallee) === null || matcherCall.arguments.length !== 1) return null;
-  const matcher = ASTUtils59.getPropertyName(matcherCallee) ?? "";
+  if (matcherCallee.type !== AST_NODE_TYPES98.MemberExpression || ASTUtils60.getPropertyName(matcherCallee) === null || matcherCall.arguments.length !== 1) return null;
+  const matcher = ASTUtils60.getPropertyName(matcherCallee) ?? "";
   if (SNAPSHOT_MATCHERS.test(matcher)) return null;
   const chain = expectCallFromMatcher(matcherCallee);
   const expectCallee = chain === null ? null : unwrapExpression(chain.call.callee);
@@ -20632,7 +20724,7 @@ function assertionShape(statement, context, callback) {
   const observedCallee = observed?.type === AST_NODE_TYPES98.CallExpression ? unwrapExpression(observed.callee) : null;
   if (observed?.type !== AST_NODE_TYPES98.CallExpression || observedCallee?.type !== AST_NODE_TYPES98.Identifier || observed.arguments.length === 0 || observed.arguments.some((arg) => arg.type === AST_NODE_TYPES98.SpreadElement || !isStatic(arg)) || expected?.type === AST_NODE_TYPES98.SpreadElement || expected === void 0 || !isStatic(expected)) return null;
   const skeleton = `${observedCallee.name}/${observed.arguments.map((item) => staticShape(item)).join(",")}/${chain.modifiers.join(".")}/${matcher}/${staticShape(expected)}`;
-  const binding = ASTUtils59.findVariable(context.sourceCode.getScope(observedCallee), observedCallee.name);
+  const binding = ASTUtils60.findVariable(context.sourceCode.getScope(observedCallee), observedCallee.name);
   if (binding?.defs.some(
     (definition) => definition.node.range[0] >= callback.range[0] && definition.node.range[1] <= callback.range[1]
   )) return null;
@@ -20643,7 +20735,7 @@ function expectCallFromMatcher(node) {
   const modifiers = [];
   let receiver = node.object;
   while (receiver.type === AST_NODE_TYPES98.MemberExpression) {
-    const modifier = ASTUtils59.getPropertyName(receiver);
+    const modifier = ASTUtils60.getPropertyName(receiver);
     if (modifier === null || !EXPECT_MODIFIERS.has(modifier)) return null;
     modifiers.unshift(modifier);
     receiver = receiver.object;
@@ -20719,7 +20811,7 @@ var repeated_static_call_cases_default = createRule({
 });
 
 // src/rules/prefer-zod-infer.ts
-import { ASTUtils as ASTUtils60, AST_NODE_TYPES as AST_NODE_TYPES99 } from "@typescript-eslint/utils";
+import { ASTUtils as ASTUtils61, AST_NODE_TYPES as AST_NODE_TYPES99 } from "@typescript-eslint/utils";
 var PREFER_ZOD_INFER_DOCUMENTATION = {
   summary: "Derive a type from its Zod schema with `z.infer` instead of hand-writing a twin declaration beside it.",
   rationale: "A derived type stays synchronized when the runtime schema changes.",
@@ -21037,7 +21129,7 @@ function twinCallChain(node, zodNamespaces) {
   while (current.type === AST_NODE_TYPES99.CallExpression) {
     const callee = unwrapExpression(current.callee);
     const calleeReceiver = callee.type === AST_NODE_TYPES99.MemberExpression ? unwrapExpression(callee.object) : callee;
-    if (callee.type !== AST_NODE_TYPES99.MemberExpression || ASTUtils60.getPropertyName(callee) === null) {
+    if (callee.type !== AST_NODE_TYPES99.MemberExpression || ASTUtils61.getPropertyName(callee) === null) {
       return null;
     }
     chain.push(current);
@@ -21050,7 +21142,7 @@ function twinCallChain(node, zodNamespaces) {
 }
 function twinMethodName(call) {
   const callee = unwrapExpression(call.callee);
-  return callee.type === AST_NODE_TYPES99.MemberExpression && ASTUtils60.getPropertyName(callee) !== null ? ASTUtils60.getPropertyName(callee) ?? "" : "";
+  return callee.type === AST_NODE_TYPES99.MemberExpression && ASTUtils61.getPropertyName(callee) !== null ? ASTUtils61.getPropertyName(callee) ?? "" : "";
 }
 function twinSchemaFields(initializer, zodNamespaces) {
   const chain = twinCallChain(initializer, zodNamespaces);
@@ -21065,7 +21157,7 @@ function twinSchemaFields(initializer, zodNamespaces) {
   const fields = /* @__PURE__ */ new Map();
   for (const property of shape.properties) {
     if (property.type !== AST_NODE_TYPES99.Property) return null;
-    const name = ASTUtils60.getPropertyName(property);
+    const name = ASTUtils61.getPropertyName(property);
     if (name === null) return null;
     fields.set(name, twinSchemaField(property.value, zodNamespaces));
   }
@@ -21079,16 +21171,16 @@ function twinSchemaField(node, zodNamespaces) {
   while (current.type === AST_NODE_TYPES99.CallExpression) {
     const callee = unwrapExpression(current.callee);
     const calleeReceiver = callee.type === AST_NODE_TYPES99.MemberExpression ? unwrapExpression(callee.object) : callee;
-    if (callee.type !== AST_NODE_TYPES99.MemberExpression || ASTUtils60.getPropertyName(callee) === null) {
+    if (callee.type !== AST_NODE_TYPES99.MemberExpression || ASTUtils61.getPropertyName(callee) === null) {
       break;
     }
     const receiver = calleeReceiver;
     if (receiver.type === AST_NODE_TYPES99.Identifier && zodNamespaces.has(receiver.name)) {
-      leaf = ASTUtils60.getPropertyName(callee) ?? "";
+      leaf = ASTUtils61.getPropertyName(callee) ?? "";
       leafCall = current;
       break;
     }
-    modifiers.push(ASTUtils60.getPropertyName(callee) ?? "");
+    modifiers.push(ASTUtils61.getPropertyName(callee) ?? "");
     current = receiver;
   }
   return {
@@ -21291,7 +21383,7 @@ var prefer_zod_infer_default = createRule({
       },
       /** Records `XSchema.transform(...)` and equivalent module-level reshaping. */
       "MemberExpression"(node) {
-        if (node.object.type === AST_NODE_TYPES99.Identifier && ASTUtils60.getPropertyName(node) !== null && isPreferZodInferModuleReshaper(ASTUtils60.getPropertyName(node) ?? "")) {
+        if (node.object.type === AST_NODE_TYPES99.Identifier && ASTUtils61.getPropertyName(node) !== null && isPreferZodInferModuleReshaper(ASTUtils61.getPropertyName(node) ?? "")) {
           reshapedSchemaNames.add(node.object.name);
         }
       },
@@ -21448,7 +21540,7 @@ function staticFieldName(key) {
 }
 
 // src/rules/named-child-schema-type.ts
-import { AST_NODE_TYPES as AST_NODE_TYPES100, ASTUtils as ASTUtils61 } from "@typescript-eslint/utils";
+import { AST_NODE_TYPES as AST_NODE_TYPES100, ASTUtils as ASTUtils62 } from "@typescript-eslint/utils";
 var UNRESOLVED_TYPE_NODES = /* @__PURE__ */ new Set([
   AST_NODE_TYPES100.TSTypeQuery,
   AST_NODE_TYPES100.TSImportType,
@@ -21457,17 +21549,17 @@ var UNRESOLVED_TYPE_NODES = /* @__PURE__ */ new Set([
   AST_NODE_TYPES100.TSUnknownKeyword
 ]);
 var NAMED_CHILD_SCHEMA_TYPE_DOCUMENTATION = {
-  defaultLevel: "warning",
+  defaultLevel: "error",
   summary: "Reference a named Zod record child's complete schema type instead of repeating its explicit annotation.",
   rationale: "Repeating a child schema's generic contract creates a second maintained declaration even though the record already uses that child at runtime.",
-  remediation: "Replace only the matching record type argument with `typeof ChildSchema`; retain the outer annotation required by isolatedDeclarations and every runtime schema operation.",
+  remediation: "Replace only the matching record type argument with `typeof ChildSchema`, or share one explicit named schema type alias between child and record to retain an independently named public contract. Keep the outer annotation required by isolatedDeclarations and every runtime schema operation.",
   category: "maintainability",
   autofix: "none",
   limitations: [
     "Only direct module-level const z.record calls with two arguments, a ZodRecord annotation, and an earlier local const child with a complete explicit Zod type are inspected.",
     "The entire generic child annotation must match token for token; input/output, defaults, transforms, readonly modifiers and brands are never compared by output shape alone.",
     "Bare leaf types, broad ZodType constraints, type queries, imported or unqualified type references, annotation cycles, comments on the repeated argument, mutable bindings and generated files are excluded.",
-    "Import aliases and namespace imports resolve through scope bindings. Independent public contract pins require review; this warning does not remove annotations or change runtime validation."
+    "Import aliases and namespace imports resolve through scope bindings. Independent public contract pins can use one shared named type alias or an exact reasoned suppression; runtime validation and outer annotations are preserved."
   ],
   examples: [
     { id: "named-child", title: "Reference the named child contract", outcome: "no-match", files: [{ path: "src/record.ts", source: 'import { z } from "zod"; const KeySchema: z.ZodEnum<{ a: "a"; b: "b" }> = z.enum(["a", "b"]); export const RecordSchema: z.ZodRecord<typeof KeySchema, z.ZodString> = z.record(KeySchema, z.string());' }], focusPath: "src/record.ts", expectedCount: 0, public: true },
@@ -21486,14 +21578,14 @@ var named_child_schema_type_default = createRule({
     type: "suggestion",
     docs: { description: NAMED_CHILD_SCHEMA_TYPE_DOCUMENTATION.summary },
     schema: [],
-    messages: { namedChildType: "Use `typeof {{name}}` for this exact child contract; keep the outer schema annotation and runtime operations." }
+    messages: { namedChildType: "Use `typeof {{name}}` or one shared named type alias for this exact child contract; keep the outer schema annotation and runtime operations." }
   },
   defaultOptions: [],
   create(context) {
     const source = context.sourceCode;
     if (isGeneratedFile(context.filename, source.text)) return {};
     const namespaces = /* @__PURE__ */ new Set();
-    const bindingOf = (node) => ASTUtils61.findVariable(source.getScope(node), node.name);
+    const bindingOf = (node) => ASTUtils62.findVariable(source.getScope(node), node.name);
     function namespaceOf(type) {
       if (type.typeName.type !== AST_NODE_TYPES100.TSQualifiedName || type.typeName.left.type !== AST_NODE_TYPES100.Identifier) return null;
       const binding = bindingOf(type.typeName.left);
@@ -21537,7 +21629,7 @@ var named_child_schema_type_default = createRule({
       VariableDeclarator(node) {
         if (!isModuleConst(node) || node.id.type !== AST_NODE_TYPES100.Identifier || node.init?.type !== AST_NODE_TYPES100.CallExpression) return;
         const call = node.init;
-        if (call.arguments.length !== 2 || call.callee.type !== AST_NODE_TYPES100.MemberExpression || call.callee.object.type !== AST_NODE_TYPES100.Identifier || ASTUtils61.getPropertyName(call.callee) !== "record") return;
+        if (call.arguments.length !== 2 || call.callee.type !== AST_NODE_TYPES100.MemberExpression || call.callee.object.type !== AST_NODE_TYPES100.Identifier || ASTUtils62.getPropertyName(call.callee) !== "record") return;
         const annotation = node.id.typeAnnotation?.typeAnnotation;
         if (annotation?.type !== AST_NODE_TYPES100.TSTypeReference || annotation.typeName.type !== AST_NODE_TYPES100.TSQualifiedName || annotation.typeName.right.name !== "ZodRecord") return;
         const namespace = namespaceOf(annotation);
@@ -21553,7 +21645,7 @@ var named_child_schema_type_default = createRule({
 
 // src/rules/prefer-zod-parse-output-type.ts
 import {
-  ASTUtils as ASTUtils62,
+  ASTUtils as ASTUtils63,
   AST_NODE_TYPES as AST_NODE_TYPES101,
   ESLintUtils as ESLintUtils14
 } from "@typescript-eslint/utils";
@@ -21623,11 +21715,11 @@ function isLocalZodObjectSchema(node, namespaces) {
   while (current.type === AST_NODE_TYPES101.CallExpression) {
     const callee = unwrapExpression(current.callee);
     const calleeReceiver = callee.type === AST_NODE_TYPES101.MemberExpression ? unwrapExpression(callee.object) : callee;
-    if (callee.type !== AST_NODE_TYPES101.MemberExpression || ASTUtils62.getPropertyName(callee) === null) {
+    if (callee.type !== AST_NODE_TYPES101.MemberExpression || ASTUtils63.getPropertyName(callee) === null) {
       return false;
     }
     if (calleeReceiver.type === AST_NODE_TYPES101.Identifier) {
-      return namespaces.has(calleeReceiver.name) && ((ASTUtils62.getPropertyName(callee) ?? "") === "object" || (ASTUtils62.getPropertyName(callee) ?? "") === "strictObject");
+      return namespaces.has(calleeReceiver.name) && ((ASTUtils63.getPropertyName(callee) ?? "") === "object" || (ASTUtils63.getPropertyName(callee) ?? "") === "strictObject");
     }
     current = calleeReceiver;
   }
@@ -21636,10 +21728,10 @@ function isLocalZodObjectSchema(node, namespaces) {
 function zodParseCall(node) {
   const callee = unwrapExpression(node.callee);
   const calleeReceiver = callee.type === AST_NODE_TYPES101.MemberExpression ? unwrapExpression(callee.object) : callee;
-  if (callee.type !== AST_NODE_TYPES101.MemberExpression || calleeReceiver.type !== AST_NODE_TYPES101.Identifier || ASTUtils62.getPropertyName(callee) === null) {
+  if (callee.type !== AST_NODE_TYPES101.MemberExpression || calleeReceiver.type !== AST_NODE_TYPES101.Identifier || ASTUtils63.getPropertyName(callee) === null) {
     return null;
   }
-  const method = ASTUtils62.getPropertyName(callee);
+  const method = ASTUtils63.getPropertyName(callee);
   if (method !== "parse" && method !== "safeParse") return null;
   return {
     call: node,
@@ -21681,7 +21773,7 @@ function localParseReturnCandidates(node, sourceCode) {
   for (const reference of variable.references) {
     const identifier = reference.identifier;
     const parent = identifier.parent;
-    const output = parsed.method === "parse" ? identifier : parent.type === AST_NODE_TYPES101.MemberExpression && parent.object === identifier && ASTUtils62.getPropertyName(parent) !== null && (ASTUtils62.getPropertyName(parent) ?? "") === "data" ? parent : null;
+    const output = parsed.method === "parse" ? identifier : parent.type === AST_NODE_TYPES101.MemberExpression && parent.object === identifier && ASTUtils63.getPropertyName(parent) !== null && (ASTUtils63.getPropertyName(parent) ?? "") === "data" ? parent : null;
     if (output === null) continue;
     const candidate2 = returnedOutputCandidate(parsed, output);
     if (candidate2 !== null) candidates.push(candidate2);
@@ -22064,7 +22156,7 @@ var require_assert_never_default = createRule({
 });
 
 // src/rules/require-fetch-timeout.ts
-import { AST_NODE_TYPES as AST_NODE_TYPES103, ASTUtils as ASTUtils63 } from "@typescript-eslint/utils";
+import { AST_NODE_TYPES as AST_NODE_TYPES103, ASTUtils as ASTUtils64 } from "@typescript-eslint/utils";
 var REQUIRE_FETCH_TIMEOUT_DOCUMENTATION = {
   summary: "Require an explicit abort signal on locally analyzable global fetch calls.",
   rationale: "An unbounded request can occupy work indefinitely when an upstream stalls.",
@@ -22148,7 +22240,7 @@ var require_fetch_timeout_default = createRule({
     }
     function resolvesToGlobal(identifier) {
       const scope = context.sourceCode.getScope(identifier);
-      const variable = ASTUtils63.findVariable(scope, identifier.name);
+      const variable = ASTUtils64.findVariable(scope, identifier.name);
       return variable === null || variable.defs.length === 0;
     }
     function isGlobalFetchCall2(callee) {
@@ -22158,7 +22250,7 @@ var require_fetch_timeout_default = createRule({
       return callee.type === AST_NODE_TYPES103.MemberExpression && !callee.computed && callee.property.type === AST_NODE_TYPES103.Identifier && callee.property.name === "fetch" && callee.object.type === AST_NODE_TYPES103.Identifier && GLOBAL_OBJECTS2.has(callee.object.name) && resolvesToGlobal(callee.object);
     }
     function localConstInitProvablyLacksSignal(identifier) {
-      const variable = ASTUtils63.findVariable(
+      const variable = ASTUtils64.findVariable(
         context.sourceCode.getScope(identifier),
         identifier.name
       );
@@ -22180,7 +22272,7 @@ var require_fetch_timeout_default = createRule({
     function isForwardedRequest(argument) {
       let value = argument;
       if (value.type === AST_NODE_TYPES103.Identifier) {
-        const binding = ASTUtils63.findVariable(context.sourceCode.getScope(value), value.name);
+        const binding = ASTUtils64.findVariable(context.sourceCode.getScope(value), value.name);
         const definition = binding?.defs.length === 1 ? binding.defs[0] : void 0;
         if (definition?.type !== "Variable" || definition.parent.kind !== "const" || definition.node.init === null || binding?.references.some((reference) => reference.isWrite() && reference.init !== true)) return false;
         value = definition.node.init;
@@ -22208,15 +22300,15 @@ var require_fetch_timeout_default = createRule({
 // src/rules/require-interface-for-exported-class.ts
 import { AST_NODE_TYPES as AST_NODE_TYPES104 } from "@typescript-eslint/utils";
 var REQUIRE_INTERFACE_FOR_EXPORTED_CLASS_DOCUMENTATION = {
-  defaultLevel: "warning",
+  defaultLevel: "error",
   summary: "Require exported concrete classes with public behavior to declare a contract.",
   rationale: "An explicit contract names the intended public capability separately from implementation details. TypeScript already supports structural compatibility; this is an architecture policy, not a prerequisite for substitution.",
   remediation: "Declare a focused interface and add an implements clause, or inherit from an intentional base contract.",
   category: "architecture",
   limitations: [
     "JavaScript files are excluded because implements is TypeScript syntax; imported framework base contracts still require manual policy review.",
-    "An exported injected service may also receive require-port-for-service: its service-boundary error and this general exported-contract warning intentionally enforce distinct policy scopes.",
-    "The warning-stage rule checks module-level class declarations and direct class-expression values exported directly, through local export specifiers, or through a default identifier; re-exports and expressions wrapped in other calls require review.",
+    "An exported injected service may also receive require-port-for-service: the two diagnostics intentionally enforce distinct service-boundary and general exported-contract policy scopes.",
+    "The rule checks module-level class declarations and direct class-expression values exported directly, through local export specifiers, or through a default identifier; re-exports and expressions wrapped in other calls require review.",
     "An extends clause satisfies the contract only when its target is a locally declared abstract class; imported base-class contracts require an explicit implements clause.",
     "Static factories and data-only classes without public instance methods are outside the contract requirement."
   ],
@@ -22355,7 +22447,7 @@ function exportedClasses(program, classes) {
 }
 
 // src/rules/require-sql-access-class.ts
-import { AST_NODE_TYPES as AST_NODE_TYPES105, ASTUtils as ASTUtils64 } from "@typescript-eslint/utils";
+import { AST_NODE_TYPES as AST_NODE_TYPES105, ASTUtils as ASTUtils65 } from "@typescript-eslint/utils";
 var DIRECT_EXECUTION_METHODS = /* @__PURE__ */ new Set([
   "all",
   "batch",
@@ -22462,7 +22554,7 @@ function databaseReceiver(node) {
   if (node.type === AST_NODE_TYPES105.Identifier)
     return DATABASE_NAMES.test(node.name);
   if (node.type !== AST_NODE_TYPES105.MemberExpression) return false;
-  const name = ASTUtils64.getPropertyName(node);
+  const name = ASTUtils65.getPropertyName(node);
   return name === "DB" || name !== null && DATABASE_NAMES.test(name);
 }
 function databaseRootMember(node) {
@@ -22480,7 +22572,7 @@ function databaseRootMember(node) {
     }
     if (current.type === AST_NODE_TYPES105.MemberExpression) {
       if (current.object.type === AST_NODE_TYPES105.ThisExpression)
-        return ASTUtils64.getPropertyName(current);
+        return ASTUtils65.getPropertyName(current);
       current = current.object;
       continue;
     }
@@ -22501,7 +22593,7 @@ function expressionHasDatabaseMarker(node) {
       continue;
     }
     if (current.type === AST_NODE_TYPES105.MemberExpression) {
-      const name = ASTUtils64.getPropertyName(current);
+      const name = ASTUtils65.getPropertyName(current);
       if (name === "DB" || name !== null && DATABASE_NAMES.test(name))
         return true;
       current = current.object;
@@ -22520,7 +22612,7 @@ function expressionCallsBuilder(node) {
     }
     if (current.type === AST_NODE_TYPES105.CallExpression) {
       if (current.callee.type !== AST_NODE_TYPES105.MemberExpression) return false;
-      const name = ASTUtils64.getPropertyName(current.callee);
+      const name = ASTUtils65.getPropertyName(current.callee);
       if (name !== null && BUILDER_METHODS.has(name)) return true;
       current = current.callee.object;
       continue;
@@ -22571,7 +22663,7 @@ function thisRootMember(node) {
   let current = node;
   let root = null;
   while (current.type === AST_NODE_TYPES105.MemberExpression) {
-    const name = ASTUtils64.getPropertyName(current);
+    const name = ASTUtils65.getPropertyName(current);
     if (name === null) return null;
     root = name;
     current = current.object;
@@ -22615,19 +22707,19 @@ var require_sql_access_class_default = createRule({
       if (seen.has(node)) return false;
       seen.add(node);
       if (node.type === AST_NODE_TYPES105.Identifier) {
-        const binding = ASTUtils64.findVariable(context.sourceCode.getScope(node), node.name);
+        const binding = ASTUtils65.findVariable(context.sourceCode.getScope(node), node.name);
         if (binding?.defs.length !== 1 || binding.references.some((reference) => reference.isWrite() && reference.init !== true)) return false;
         const definition = binding.defs[0];
         return definition?.type === "Variable" && definition.node.init !== null && knownNonDatabase(definition.node.init, seen);
       }
-      return node.type === AST_NODE_TYPES105.NewExpression && unwrappedNodeCallee?.type === AST_NODE_TYPES105.Identifier && ["Map", "WeakMap", "URLSearchParams"].includes(unwrappedNodeCallee.name) && (ASTUtils64.findVariable(context.sourceCode.getScope(unwrappedNodeCallee), unwrappedNodeCallee.name)?.defs.length ?? 0) === 0;
+      return node.type === AST_NODE_TYPES105.NewExpression && unwrappedNodeCallee?.type === AST_NODE_TYPES105.Identifier && ["Map", "WeakMap", "URLSearchParams"].includes(unwrappedNodeCallee.name) && (ASTUtils65.findVariable(context.sourceCode.getScope(unwrappedNodeCallee), unwrappedNodeCallee.name)?.defs.length ?? 0) === 0;
     }
     return {
       CallExpression(node) {
         const unwrappedNodeCallee = unwrapExpression(node.callee);
         if (unwrappedNodeCallee.type !== AST_NODE_TYPES105.MemberExpression)
           return;
-        const method = ASTUtils64.getPropertyName(unwrappedNodeCallee);
+        const method = ASTUtils65.getPropertyName(unwrappedNodeCallee);
         if (knownNonDatabase(unwrappedNodeCallee.object)) return;
         if (method === null || !isDatabaseOperation(method, unwrappedNodeCallee.object))
           return;
@@ -22727,7 +22819,7 @@ var require_static_next_matcher_default = createRule({
 });
 
 // src/rules/require-use-form-default-values.ts
-import { AST_NODE_TYPES as AST_NODE_TYPES107, ASTUtils as ASTUtils65 } from "@typescript-eslint/utils";
+import { AST_NODE_TYPES as AST_NODE_TYPES107, ASTUtils as ASTUtils66 } from "@typescript-eslint/utils";
 var REQUIRE_USE_FORM_DEFAULT_VALUES_DOCUMENTATION = {
   summary: "Require explicit form-level initialization or a field default for directly bound Controller fields.",
   rationale: "React Hook Form exposes form-level defaultValues/values and field-level defaultValue as its explicit initialization mechanisms. A directly bound controlled field should not omit both mechanisms.",
@@ -22778,7 +22870,7 @@ var require_use_form_default_values_default = createRule({
     const imported = /* @__PURE__ */ new Map();
     const uninitializedForms = /* @__PURE__ */ new Set();
     const uninitializedControls = /* @__PURE__ */ new Set();
-    const bindingNamed = (node, name) => ASTUtils65.findVariable(context.sourceCode.getScope(node), name);
+    const bindingNamed = (node, name) => ASTUtils66.findVariable(context.sourceCode.getScope(node), name);
     const bindingOf = (node) => bindingNamed(node, node.name);
     const stable = (variable) => !variable.references.some((reference) => reference.isWrite() && reference.init !== true);
     const importedKind = (node) => {
@@ -22824,7 +22916,7 @@ var require_use_form_default_values_default = createRule({
         const variable = bindingOf(node);
         return variable !== null && stable(variable) && uninitializedControls.has(variable);
       }
-      return node.type === AST_NODE_TYPES107.MemberExpression && ASTUtils65.getPropertyName(node) !== null && (ASTUtils65.getPropertyName(node) ?? "") === "control" && isUninitializedForm(node.object);
+      return node.type === AST_NODE_TYPES107.MemberExpression && ASTUtils66.getPropertyName(node) !== null && (ASTUtils66.getPropertyName(node) ?? "") === "control" && isUninitializedForm(node.object);
     };
     const fieldOptionsNeedDefault = (node) => {
       if (node?.type !== AST_NODE_TYPES107.ObjectExpression) return false;
@@ -22880,7 +22972,7 @@ var require_use_form_default_values_default = createRule({
           trackDestructuredControl(node.id);
           return;
         }
-        if (node.id.type === AST_NODE_TYPES107.Identifier && node.init.type === AST_NODE_TYPES107.MemberExpression && ASTUtils65.getPropertyName(node.init) !== null && (ASTUtils65.getPropertyName(node.init) ?? "") === "control" && isUninitializedForm(node.init.object)) {
+        if (node.id.type === AST_NODE_TYPES107.Identifier && node.init.type === AST_NODE_TYPES107.MemberExpression && ASTUtils66.getPropertyName(node.init) !== null && (ASTUtils66.getPropertyName(node.init) ?? "") === "control" && isUninitializedForm(node.init.object)) {
           const variable = bindingOf(node.id);
           if (variable !== null) uninitializedControls.add(variable);
         }
@@ -22973,7 +23065,7 @@ var require_use_server_in_actions_file_default = createRule({
 // src/rules/require-zod-form-validation.ts
 import {
   AST_NODE_TYPES as AST_NODE_TYPES108,
-  ASTUtils as ASTUtils66
+  ASTUtils as ASTUtils67
 } from "@typescript-eslint/utils";
 var REQUIRE_ZOD_FORM_VALIDATION_DOCUMENTATION = {
   summary: "Require Zod validation (`Schema.parse(...)` / `Schema.safeParse(...)`) when reading values out of a `FormData` object.",
@@ -23021,7 +23113,7 @@ var isFormDataMethodCall = (node) => {
   }
   if (current.type !== AST_NODE_TYPES108.CallExpression) return false;
   const callee = unwrapExpression(current.callee);
-  return callee.type === AST_NODE_TYPES108.MemberExpression && ASTUtils66.getPropertyName(callee) === "formData";
+  return callee.type === AST_NODE_TYPES108.MemberExpression && ASTUtils67.getPropertyName(callee) === "formData";
 };
 var require_zod_form_validation_default = createRule({
   name: "require-zod-form-validation",
@@ -23042,7 +23134,7 @@ var require_zod_form_validation_default = createRule({
       return {};
     }
     const zodBindings = /* @__PURE__ */ new Set();
-    const resolvedBinding = (identifier) => ASTUtils66.findVariable(
+    const resolvedBinding = (identifier) => ASTUtils67.findVariable(
       context.sourceCode.getScope(identifier),
       identifier.name
     );
@@ -23050,7 +23142,7 @@ var require_zod_form_validation_default = createRule({
       const callee = unwrapExpression(node.callee);
       const calleeReceiver = callee.type === AST_NODE_TYPES108.MemberExpression ? unwrapExpression(callee.object) : callee;
       if (callee.type !== AST_NODE_TYPES108.MemberExpression) return false;
-      if (ASTUtils66.getPropertyName(callee) === null || !FORM_VALUE_METHODS.has(ASTUtils66.getPropertyName(callee) ?? "")) {
+      if (ASTUtils67.getPropertyName(callee) === null || !FORM_VALUE_METHODS.has(ASTUtils67.getPropertyName(callee) ?? "")) {
         return false;
       }
       return isFormSourceIdentifier(calleeReceiver);
@@ -23081,7 +23173,7 @@ var require_zod_form_validation_default = createRule({
           parent = parent.parent;
           continue;
         }
-        if (parent.type === AST_NODE_TYPES108.CallExpression && parent.callee.type === AST_NODE_TYPES108.MemberExpression && parent.callee.object.type === AST_NODE_TYPES108.Identifier && parent.callee.object.name === "Object" && ASTUtils66.getPropertyName(parent.callee) === "fromEntries" && (resolvedBinding(parent.callee.object)?.defs.length ?? 0) === 0) {
+        if (parent.type === AST_NODE_TYPES108.CallExpression && parent.callee.type === AST_NODE_TYPES108.MemberExpression && parent.callee.object.type === AST_NODE_TYPES108.Identifier && parent.callee.object.name === "Object" && ASTUtils67.getPropertyName(parent.callee) === "fromEntries" && (resolvedBinding(parent.callee.object)?.defs.length ?? 0) === 0) {
           parent = parent.parent;
           continue;
         }
@@ -23094,7 +23186,7 @@ var require_zod_form_validation_default = createRule({
       if (node.type !== AST_NODE_TYPES108.CallExpression) return false;
       const callee = unwrapExpression(node.callee);
       const calleeReceiver = callee.type === AST_NODE_TYPES108.MemberExpression ? unwrapExpression(callee.object) : callee;
-      if (callee.type !== AST_NODE_TYPES108.MemberExpression || ASTUtils66.getPropertyName(callee) === null || !ZOD_PARSE_METHODS.has(ASTUtils66.getPropertyName(callee) ?? "")) {
+      if (callee.type !== AST_NODE_TYPES108.MemberExpression || ASTUtils67.getPropertyName(callee) === null || !ZOD_PARSE_METHODS.has(ASTUtils67.getPropertyName(callee) ?? "")) {
         return false;
       }
       const root = zodReceiverRoot(calleeReceiver);
@@ -23180,7 +23272,7 @@ var require_zod_form_validation_default = createRule({
     };
     const zodParseMethod = (call) => {
       const callee = unwrapExpression(call.callee);
-      return callee.type === AST_NODE_TYPES108.MemberExpression && ASTUtils66.getPropertyName(callee) !== null ? ASTUtils66.getPropertyName(callee) ?? "" : null;
+      return callee.type === AST_NODE_TYPES108.MemberExpression && ASTUtils67.getPropertyName(callee) !== null ? ASTUtils67.getPropertyName(callee) ?? "" : null;
     };
     const isSafePrevalidationInspection = (identifier) => {
       const parent = identifier.parent;
@@ -23356,7 +23448,7 @@ function expressionCallableName(current) {
 }
 
 // src/rules/stepdown.ts
-import { AST_NODE_TYPES as AST_NODE_TYPES109, ASTUtils as ASTUtils67 } from "@typescript-eslint/utils";
+import { AST_NODE_TYPES as AST_NODE_TYPES109, ASTUtils as ASTUtils68 } from "@typescript-eslint/utils";
 var STEPDOWN_DOCUMENTATION = {
   summary: "Place a private helper below its sole direct same-scope caller.",
   rationale: "Caller-first ordering lets a reader follow the main flow before descending into implementation details.",
@@ -23656,7 +23748,7 @@ function receiverOrigin(context, object, receivers) {
   while (true) {
     const unwrapped = unwrapExpression4(current);
     if (unwrapped.type !== AST_NODE_TYPES109.Identifier) return unwrapped;
-    const variable = ASTUtils67.findVariable(context.sourceCode.getScope(unwrapped), unwrapped.name);
+    const variable = ASTUtils68.findVariable(context.sourceCode.getScope(unwrapped), unwrapped.name);
     if (variable === null) return null;
     const known = receivers.get(variable);
     if (known !== void 0) return known;
@@ -23837,11 +23929,11 @@ function classScope(context, node, computedReferences) {
 function classReceiverBindings(context, node) {
   const classReceivers = /* @__PURE__ */ new Map();
   if (node.id !== null) {
-    const internal = ASTUtils67.findVariable(context.sourceCode.getScope(node), node.id.name);
+    const internal = ASTUtils68.findVariable(context.sourceCode.getScope(node), node.id.name);
     if (internal !== null && stableVariable(internal)) classReceivers.set(internal, true);
   }
   if (node.type === AST_NODE_TYPES109.ClassExpression && node.parent.type === AST_NODE_TYPES109.VariableDeclarator && node.parent.id.type === AST_NODE_TYPES109.Identifier && node.parent.parent.type === AST_NODE_TYPES109.VariableDeclaration && node.parent.parent.kind === "const") {
-    const outer = ASTUtils67.findVariable(context.sourceCode.getScope(node.parent), node.parent.id.name);
+    const outer = ASTUtils68.findVariable(context.sourceCode.getScope(node.parent), node.parent.id.name);
     if (outer !== null && stableVariable(outer)) classReceivers.set(outer, true);
   }
   return classReceivers;
@@ -23927,7 +24019,7 @@ function classMethodCounts(body2, methods) {
 }
 
 // src/rules/source-coupled-test.ts
-import { AST_NODE_TYPES as AST_NODE_TYPES110, ASTUtils as ASTUtils68 } from "@typescript-eslint/utils";
+import { AST_NODE_TYPES as AST_NODE_TYPES110, ASTUtils as ASTUtils69 } from "@typescript-eslint/utils";
 var GENERAL_SOURCE_SUFFIX_RE = /\.(?:bash|sh|ya?ml|jsonc?|toml|py|[cm]?[jt]s)$/iu;
 var FS_MODULES = /* @__PURE__ */ new Set(["fs", "node:fs", "fs/promises", "node:fs/promises"]);
 var FS_READERS = /* @__PURE__ */ new Set(["readFile", "readFileSync"]);
@@ -24044,7 +24136,7 @@ function createSourceCoupledRule(name, documentation, sourceSuffixRe) {
       const scopes = [newScope()];
       const reportedOrigins = /* @__PURE__ */ new Set();
       const currentScope = () => scopes.at(-1) ?? scopes[0];
-      const bindingOf = (node) => ASTUtils68.findVariable(context.sourceCode.getScope(node), node.name);
+      const bindingOf = (node) => ASTUtils69.findVariable(context.sourceCode.getScope(node), node.name);
       const assertionKind = (node) => {
         const binding = bindingOf(node);
         if (binding === null || binding.defs.length === 0) {
@@ -24097,7 +24189,7 @@ function createSourceCoupledRule(name, documentation, sourceSuffixRe) {
           return visible("fsReaders", callee) && sourcePath(current.arguments[0]);
         }
         if (callee.type !== AST_NODE_TYPES110.MemberExpression) return false;
-        const name2 = ASTUtils68.getPropertyName(callee);
+        const name2 = ASTUtils69.getPropertyName(callee);
         const object = unwrap6(calleeReceiver);
         return name2 !== null && FS_READERS.has(name2) && object.type === AST_NODE_TYPES110.Identifier && visible("fsObjects", object) && sourcePath(current.arguments[0]);
       };
@@ -24106,12 +24198,12 @@ function createSourceCoupledRule(name, documentation, sourceSuffixRe) {
         if (current.type === AST_NODE_TYPES110.Identifier) return visibleRawOrigins(current);
         if (rawRead(current)) return /* @__PURE__ */ new Set([`${current.range[0]}:${current.range[1]}`]);
         if (current.type === AST_NODE_TYPES110.BinaryExpression && current.operator === "+") return /* @__PURE__ */ new Set([...rawOrigins(current.left), ...rawOrigins(current.right)]);
-        if (current.type === AST_NODE_TYPES110.MemberExpression && ASTUtils68.getPropertyName(current) === "length") return rawOrigins(current.object);
+        if (current.type === AST_NODE_TYPES110.MemberExpression && ASTUtils69.getPropertyName(current) === "length") return rawOrigins(current.object);
         if (current.type !== AST_NODE_TYPES110.CallExpression) return /* @__PURE__ */ new Set();
         const callee = unwrap6(current.callee);
         const calleeReceiver = callee.type === AST_NODE_TYPES110.MemberExpression ? unwrapExpression(callee.object) : callee;
         if (callee.type !== AST_NODE_TYPES110.MemberExpression) return /* @__PURE__ */ new Set();
-        const name2 = ASTUtils68.getPropertyName(callee);
+        const name2 = ASTUtils69.getPropertyName(callee);
         return name2 !== null && TEXT_TRANSFORMS.has(name2) ? rawOrigins(calleeReceiver) : /* @__PURE__ */ new Set();
       };
       const evidenceOrigins = (node) => {
@@ -24124,7 +24216,7 @@ function createSourceCoupledRule(name, documentation, sourceSuffixRe) {
         const callee = unwrap6(current.callee);
         const calleeReceiver = callee.type === AST_NODE_TYPES110.MemberExpression ? unwrapExpression(callee.object) : callee;
         if (callee.type !== AST_NODE_TYPES110.MemberExpression) return /* @__PURE__ */ new Set();
-        const name2 = ASTUtils68.getPropertyName(callee);
+        const name2 = ASTUtils69.getPropertyName(callee);
         if (name2 !== null && TEXT_PREDICATES.has(name2)) return rawOrigins(calleeReceiver);
         if (name2 !== null && REGEXP_PREDICATES.has(name2)) return new Set(current.arguments.flatMap((argument) => argument.type === AST_NODE_TYPES110.SpreadElement ? [] : [...rawOrigins(argument)]));
         return /* @__PURE__ */ new Set();
@@ -24136,10 +24228,10 @@ function createSourceCoupledRule(name, documentation, sourceSuffixRe) {
           return new Set(node.arguments.flatMap((argument) => argument.type === AST_NODE_TYPES110.SpreadElement ? [] : [...evidenceOrigins(argument)]));
         }
         if (callee.type !== AST_NODE_TYPES110.MemberExpression) return /* @__PURE__ */ new Set();
-        const matcher = ASTUtils68.getPropertyName(callee);
+        const matcher = ASTUtils69.getPropertyName(callee);
         if (matcher === null) return /* @__PURE__ */ new Set();
         let receiver = unwrap6(calleeReceiver);
-        while (receiver.type === AST_NODE_TYPES110.MemberExpression && EXPECT_MODIFIERS2.has(ASTUtils68.getPropertyName(receiver) ?? "")) receiver = unwrap6(receiver.object);
+        while (receiver.type === AST_NODE_TYPES110.MemberExpression && EXPECT_MODIFIERS2.has(ASTUtils69.getPropertyName(receiver) ?? "")) receiver = unwrap6(receiver.object);
         const expectCallee = receiver.type === AST_NODE_TYPES110.CallExpression ? unwrapExpression(receiver.callee) : null;
         if (receiver.type === AST_NODE_TYPES110.CallExpression && expectCallee?.type === AST_NODE_TYPES110.Identifier && assertionKind(expectCallee) === "expect") {
           if (!EXPECT_MATCHERS.has(matcher)) return /* @__PURE__ */ new Set();
@@ -24422,7 +24514,7 @@ var iac_source_coupled_test_default = createSourceCoupledRule(
 // src/rules/require-pascal-case-zod-schema-name.ts
 import {
   AST_NODE_TYPES as AST_NODE_TYPES112,
-  ASTUtils as ASTUtils69
+  ASTUtils as ASTUtils70
 } from "@typescript-eslint/utils";
 var REQUIRE_PASCAL_CASE_ZOD_SCHEMA_NAME_DOCUMENTATION = {
   summary: "Require confirmed module-level Zod schema contracts to use PascalCase with a `Schema` suffix.",
@@ -24555,7 +24647,7 @@ var SCHEMA_RETURNING_METHODS = /* @__PURE__ */ new Set([
   "superRefine",
   "transform"
 ]);
-var terminalMethodName = (callee) => ASTUtils69.getPropertyName(callee) !== null ? ASTUtils69.getPropertyName(callee) ?? "" : null;
+var terminalMethodName = (callee) => ASTUtils70.getPropertyName(callee) !== null ? ASTUtils70.getPropertyName(callee) ?? "" : null;
 var calleeChainRoot2 = (node) => {
   let current = node;
   for (; ; ) {
@@ -24580,8 +24672,8 @@ var chainMemberNames2 = (node) => {
   for (; ; ) {
     current = unwrapExpression(current);
     if (current.type === AST_NODE_TYPES112.MemberExpression) {
-      if (ASTUtils69.getPropertyName(current) === null) return [];
-      names.push(ASTUtils69.getPropertyName(current) ?? "");
+      if (ASTUtils70.getPropertyName(current) === null) return [];
+      names.push(ASTUtils70.getPropertyName(current) ?? "");
       current = current.object;
       continue;
     }
@@ -24618,7 +24710,7 @@ var require_pascal_case_zod_schema_name_default = createRule({
     const zodBindings = /* @__PURE__ */ new Set();
     const schemaBindings = /* @__PURE__ */ new Set();
     function resolvedBinding(identifier) {
-      return ASTUtils69.findVariable(
+      return ASTUtils70.findVariable(
         context.sourceCode.getScope(identifier),
         identifier.name
       );
@@ -24899,30 +24991,21 @@ var LIBRARY_IMPORT_POLICY = ["error", {
 }];
 var ADVISORY_RULES = [
   "@sarj/excessive-commentary",
-  "@sarj/named-child-schema-type",
   "@sarj/no-bespoke-api-case-conversion",
-  "@sarj/no-duplicate-test-case",
-  "@sarj/no-json-stringify-object-equality",
   "@sarj/no-restated-comment",
   "@sarj/no-restated-jsdoc",
   "@sarj/prefer-millisecond-control-duration-schema",
   "@sarj/prefer-module-level-refined-schema",
   "@sarj/prefer-multi-value-zod-literal",
-  "@sarj/prefer-named-complex-return-type",
   "@sarj/prefer-node-crypto-hash",
   "@sarj/prefer-node-fs-promises",
-  "@sarj/prefer-nominal-id-types",
   "@sarj/prefer-shared-zod-enum",
-  "@sarj/prefer-switch-for-repeated-equality",
   "@sarj/prefer-whole-object-assertion",
   "@sarj/require-camelcase-properties",
-  "@sarj/require-explicit-contract-implementation",
-  "@sarj/require-explicit-service-contract",
-  "@sarj/require-interface-for-exported-class",
   "@sarj/require-sql-access-class"
 ];
 var RECOMMENDED_RULES = {
-  "@sarj/named-child-schema-type": "warn",
+  "@sarj/named-child-schema-type": "error",
   "@sarj/no-conditional-empty-object-spread": "error",
   "@sarj/prefer-typed-reflection": "error",
   "@sarj/no-broad-return-type": "error",
@@ -24960,7 +25043,7 @@ var RECOMMENDED_RULES = {
   "@sarj/no-bare-return-from-test-catch": "error",
   "@sarj/no-bespoke-api-case-conversion": "warn",
   "@sarj/no-detached-global-fetch": "error",
-  "@sarj/no-json-stringify-object-equality": "warn",
+  "@sarj/no-json-stringify-object-equality": "error",
   "@sarj/no-dangerously-allow-svg": "error",
   "@sarj/no-duplicate-lifecycle-refresh-listeners": "error",
   "@sarj/no-long-comment": "error",
@@ -24982,7 +25065,7 @@ var RECOMMENDED_RULES = {
   "@sarj/no-sleep-in-test-body": "error",
   "@sarj/no-string-concat-in-loop": "error",
   "@sarj/no-tautological-expect": "error",
-  "@sarj/no-duplicate-test-case": "warn",
+  "@sarj/no-duplicate-test-case": "error",
   "@sarj/no-typed-doc-sections": "error",
   "@sarj/no-trailing-value-narration": "error",
   "@sarj/no-declaration-comment-wall": "error",
@@ -25005,8 +25088,8 @@ var RECOMMENDED_RULES = {
   "@sarj/prefer-module-level-refined-schema": "warn",
   "@sarj/prefer-multi-value-zod-literal": ["warn", { zodMajorVersion: 4 }],
   "@sarj/prefer-named-callback-domain": "error",
-  "@sarj/prefer-nominal-id-types": "warn",
-  "@sarj/prefer-named-complex-return-type": "warn",
+  "@sarj/prefer-nominal-id-types": "error",
+  "@sarj/prefer-named-complex-return-type": "error",
   "@sarj/prefer-node-crypto-hash": "warn",
   "@sarj/prefer-node-fs-promises": "warn",
   "@sarj/prefer-non-nullable-collection": "error",
@@ -25014,7 +25097,7 @@ var RECOMMENDED_RULES = {
   "@sarj/prefer-await-in-async-return": "error",
   "@sarj/prefer-schema-for-api-payload": "error",
   "@sarj/prefer-shared-zod-enum": "warn",
-  "@sarj/prefer-switch-for-repeated-equality": "warn",
+  "@sarj/prefer-switch-for-repeated-equality": "error",
   "@sarj/prefer-semantic-colors": ["error", { requireSemanticTokens: true }],
   "@sarj/prefer-server-actions": "error",
   "@sarj/prefer-whole-object-assertion": "warn",
@@ -25023,9 +25106,9 @@ var RECOMMENDED_RULES = {
   "@sarj/prefer-zod-parse-output-type": "error",
   "@sarj/require-assert-never": "error",
   "@sarj/require-fetch-timeout": "error",
-  "@sarj/require-explicit-contract-implementation": "warn",
-  "@sarj/require-explicit-service-contract": "warn",
-  "@sarj/require-interface-for-exported-class": "warn",
+  "@sarj/require-explicit-contract-implementation": "error",
+  "@sarj/require-explicit-service-contract": "error",
+  "@sarj/require-interface-for-exported-class": "error",
   "@sarj/require-port-for-service": "error",
   "@sarj/require-sql-access-class": "warn",
   "@sarj/require-static-next-matcher": "error",
@@ -25040,7 +25123,7 @@ var RECOMMENDED_RULES = {
   "@sarj/require-pascal-case-zod-schema-name": "error"
 };
 var STRICT_RULES = {
-  "@sarj/named-child-schema-type": "warn",
+  "@sarj/named-child-schema-type": "error",
   "@sarj/no-conditional-empty-object-spread": "error",
   "@sarj/prefer-typed-reflection": "error",
   "@sarj/no-broad-return-type": "error",
@@ -25079,7 +25162,7 @@ var STRICT_RULES = {
   "@sarj/no-bare-return-from-test-catch": "error",
   "@sarj/no-bespoke-api-case-conversion": "warn",
   "@sarj/no-detached-global-fetch": "error",
-  "@sarj/no-json-stringify-object-equality": "warn",
+  "@sarj/no-json-stringify-object-equality": "error",
   "@sarj/no-dangerously-allow-svg": "error",
   "@sarj/no-duplicate-lifecycle-refresh-listeners": "error",
   "@sarj/no-long-comment": "error",
@@ -25104,7 +25187,7 @@ var STRICT_RULES = {
   "@sarj/no-storage-in-stateless-modules": "error",
   "@sarj/no-string-concat-in-loop": "error",
   "@sarj/no-tautological-expect": "error",
-  "@sarj/no-duplicate-test-case": "warn",
+  "@sarj/no-duplicate-test-case": "error",
   "@sarj/no-typed-doc-sections": "error",
   "@sarj/no-trailing-value-narration": "error",
   "@sarj/no-declaration-comment-wall": "error",
@@ -25127,8 +25210,8 @@ var STRICT_RULES = {
   "@sarj/prefer-module-level-refined-schema": "warn",
   "@sarj/prefer-multi-value-zod-literal": ["warn", { zodMajorVersion: 4 }],
   "@sarj/prefer-named-callback-domain": "error",
-  "@sarj/prefer-nominal-id-types": "warn",
-  "@sarj/prefer-named-complex-return-type": "warn",
+  "@sarj/prefer-nominal-id-types": "error",
+  "@sarj/prefer-named-complex-return-type": "error",
   "@sarj/prefer-node-crypto-hash": "warn",
   "@sarj/prefer-node-fs-promises": "warn",
   "@sarj/prefer-non-nullable-collection": "error",
@@ -25136,7 +25219,7 @@ var STRICT_RULES = {
   "@sarj/prefer-await-in-async-return": "error",
   "@sarj/prefer-schema-for-api-payload": "error",
   "@sarj/prefer-shared-zod-enum": "warn",
-  "@sarj/prefer-switch-for-repeated-equality": "warn",
+  "@sarj/prefer-switch-for-repeated-equality": "error",
   "@sarj/prefer-semantic-colors": ["error", { requireSemanticTokens: true }],
   "@sarj/prefer-server-actions": "error",
   "@sarj/prefer-whole-object-assertion": "warn",
@@ -25145,9 +25228,9 @@ var STRICT_RULES = {
   "@sarj/prefer-zod-parse-output-type": "error",
   "@sarj/require-assert-never": "error",
   "@sarj/require-fetch-timeout": "error",
-  "@sarj/require-explicit-contract-implementation": "warn",
-  "@sarj/require-explicit-service-contract": "warn",
-  "@sarj/require-interface-for-exported-class": "warn",
+  "@sarj/require-explicit-contract-implementation": "error",
+  "@sarj/require-explicit-service-contract": "error",
+  "@sarj/require-interface-for-exported-class": "error",
   "@sarj/require-port-for-service": "error",
   "@sarj/require-sql-access-class": "warn",
   "@sarj/require-static-next-matcher": "error",