@sarj/eslint-plugin 16.5.2 → 16.6.0

package/dist/index.cjs

@@ -52,7 +52,7 @@ module.exports = __toCommonJS(src_exports);
 // package.json
 var package_default = {
   name: "@sarj/eslint-plugin",
-  version: "16.5.2",
+  version: "16.6.0",
   packageManager: "npm@12.1.0",
   description: "Custom ESLint rules for hypermodern TypeScript / React / Next.js projects",
   type: "module",
@@ -716,6 +716,9 @@ var REQUIRE_PORT_FOR_SERVICE_DOCUMENTATION = {
   remediation: "Declare and implement an interface covering the service's public methods.",
   category: "architecture",
   aliases: ["require-interface-for-injected-service"],
+  limitations: [
+    "Retained injection requires an untouched parameter property or a single direct, unconditional constructor assignment. Conditional, repeated, replaced, updated, or deleted stores are unresolved rather than proof of retained injection."
+  ],
   examples: [
     { id: "declared-service-port", title: "Implement the service port", outcome: "no-match", files: [{ path: "src/service.ts", source: "interface Handler { handle(): void }\nexport class RequestHandler implements Handler { constructor(private readonly store: TaskStore) {} handle(): void { this.store.handle(); } }" }], focusPath: "src/service.ts", expectedCount: 0, public: true },
     { id: "concrete-injected-service", title: "Do not expose only the concrete service", outcome: "match", files: [{ path: "src/service.ts", source: "export class RequestHandler { constructor(private readonly store: TaskStore) {} handle(): void { this.store.handle(); } }" }], focusPath: "src/service.ts", expectedCount: 1, public: true }
@@ -842,6 +845,8 @@ var readConstructor = (ctor, declared, typeParameters) => {
   const storedFieldsFrom = /* @__PURE__ */ new Map();
   const storedMemberFieldsFrom = /* @__PURE__ */ new Map();
   const constructedFieldNames = /* @__PURE__ */ new Set();
+  const writtenFieldNames = /* @__PURE__ */ new Set();
+  const unstableFieldNames = /* @__PURE__ */ new Set();
   const localBindings2 = /* @__PURE__ */ new Set();
   let constructedFields = 0;
   if (body2 !== null && body2 !== void 0) scanStoredFields(body2);
@@ -850,14 +855,18 @@ var readConstructor = (ctor, declared, typeParameters) => {
     function recordStoredField(current) {
       if (current.type === import_utils4.AST_NODE_TYPES.ArrowFunctionExpression || current.type === import_utils4.AST_NODE_TYPES.FunctionExpression || current.type === import_utils4.AST_NODE_TYPES.FunctionDeclaration || current.type === import_utils4.AST_NODE_TYPES.ClassExpression || current.type === import_utils4.AST_NODE_TYPES.ClassDeclaration) return;
       if (current.type === import_utils4.AST_NODE_TYPES.VariableDeclarator && current.id.type === import_utils4.AST_NODE_TYPES.Identifier) localBindings2.add(current.id.name);
-      const expression = current.type === import_utils4.AST_NODE_TYPES.ExpressionStatement ? current.expression : null;
-      const storedField = expression?.type === import_utils4.AST_NODE_TYPES.AssignmentExpression && expression.left.type === import_utils4.AST_NODE_TYPES.MemberExpression && expression.left.object.type === import_utils4.AST_NODE_TYPES.ThisExpression ? staticMemberName(expression.left) : null;
+      const expression = current.type === import_utils4.AST_NODE_TYPES.AssignmentExpression ? current : null;
+      const storedField = writtenInstanceField(current);
+      if (storedField !== null) {
+        if (writtenFieldNames.has(storedField)) unstableFieldNames.add(storedField);
+        writtenFieldNames.add(storedField);
+        if (expression?.operator !== "=" || expression.parent.type !== import_utils4.AST_NODE_TYPES.ExpressionStatement || expression.parent.parent !== body3) unstableFieldNames.add(storedField);
+      }
       if (expression?.type !== import_utils4.AST_NODE_TYPES.AssignmentExpression || !STORAGE_ASSIGNMENT_OPERATORS.has(expression.operator) || expression.left.type !== import_utils4.AST_NODE_TYPES.MemberExpression || expression.left.object.type !== import_utils4.AST_NODE_TYPES.ThisExpression || storedField === null) {
         enqueueChildren(current);
         return;
       }
-      let source = expression.right;
-      while (source.type === import_utils4.AST_NODE_TYPES.TSNonNullExpression || source.type === import_utils4.AST_NODE_TYPES.TSAsExpression || source.type === import_utils4.AST_NODE_TYPES.TSSatisfiesExpression || source.type === import_utils4.AST_NODE_TYPES.TSTypeAssertion) source = source.expression;
+      const source = unwrapExpression(expression.right);
       if (source.type === import_utils4.AST_NODE_TYPES.NewExpression) {
         constructedFields += 1;
         constructedFieldNames.add(storedField);
@@ -878,6 +887,7 @@ var readConstructor = (ctor, declared, typeParameters) => {
           storedMemberFieldsFrom.set(source.object.name, members);
         }
       }
+      enqueueChildren(current);
     }
     function enqueueChildren(current) {
       forEachOwnAstChild(current, (child) => {
@@ -895,16 +905,15 @@ var readConstructor = (ctor, declared, typeParameters) => {
     for (const reference of parameterCollaborators(parameter, declared, storedMemberFieldsFrom)) {
       if (localBindings2.has(reference.name)) continue;
       let fields = reference.fields;
-      if (parameter.type === import_utils4.AST_NODE_TYPES.TSParameterProperty) fields = [reference.name];
-      else if (fields.length === 0) fields = [...storedFieldsFrom.get(reference.name) ?? []];
-      const injectedFields = fields.filter((field) => !constructedFieldNames.has(field));
+      if (parameter.type === import_utils4.AST_NODE_TYPES.TSParameterProperty) {
+        if (writtenFieldNames.has(reference.name)) continue;
+        fields = [reference.name];
+      } else if (fields.length === 0) fields = [...storedFieldsFrom.get(reference.name) ?? []];
+      const injectedFields = fields.filter((field) => !constructedFieldNames.has(field) && !unstableFieldNames.has(field));
       if (injectedFields.length === 0) continue;
       if (CONFIGISH_TYPE_RE.test(reference.typeName)) continue;
       if (CONFIGISH_NAME_RE.test(reference.name)) continue;
-      if (typeParameters.has(reference.typeName)) continue;
-      if (BUILTIN_CONTAINER_TYPE_RE.test(reference.typeName)) continue;
-      if (VALUE_TYPE_RE.test(reference.typeName)) continue;
-      if (declared().functionAliases.has(reference.typeName)) continue;
+      if (typeParameters.has(reference.typeName) || BUILTIN_CONTAINER_TYPE_RE.test(reference.typeName) || VALUE_TYPE_RE.test(reference.typeName) || declared().functionAliases.has(reference.typeName)) continue;
       collaborators.push({ ...reference, fields: injectedFields });
     }
   }
@@ -1015,6 +1024,29 @@ var instanceField = (candidate2) => {
   while (node.type === import_utils4.AST_NODE_TYPES.ChainExpression || node.type === import_utils4.AST_NODE_TYPES.TSAsExpression || node.type === import_utils4.AST_NODE_TYPES.TSNonNullExpression || node.type === import_utils4.AST_NODE_TYPES.TSSatisfiesExpression || node.type === import_utils4.AST_NODE_TYPES.TSTypeAssertion) node = node.expression;
   return node.type === import_utils4.AST_NODE_TYPES.MemberExpression && node.object.type === import_utils4.AST_NODE_TYPES.ThisExpression ? staticMemberName(node) : null;
 };
+function writtenInstanceField(node) {
+  if (node.type === import_utils4.AST_NODE_TYPES.AssignmentExpression || node.type === import_utils4.AST_NODE_TYPES.ForOfStatement || node.type === import_utils4.AST_NODE_TYPES.ForInStatement) return instanceField(node.left);
+  if (node.type === import_utils4.AST_NODE_TYPES.UpdateExpression) return instanceField(node.argument);
+  if (node.type === import_utils4.AST_NODE_TYPES.UnaryExpression && node.operator === "delete") return instanceField(node.argument);
+  if (node.type === import_utils4.AST_NODE_TYPES.MemberExpression && isDestructuredWriteTarget(node)) return instanceField(node);
+  return null;
+}
+function isDestructuredWriteTarget(node) {
+  const access = outerExpression(node);
+  let target = access;
+  for (; ; ) {
+    const parent = target.parent;
+    if (parent.type === import_utils4.AST_NODE_TYPES.Property && parent.value === target && parent.parent.type === import_utils4.AST_NODE_TYPES.ObjectPattern) {
+      target = parent.parent;
+      continue;
+    }
+    if (parent.type === import_utils4.AST_NODE_TYPES.ArrayPattern || parent.type === import_utils4.AST_NODE_TYPES.ObjectPattern || parent.type === import_utils4.AST_NODE_TYPES.RestElement && parent.argument === target || parent.type === import_utils4.AST_NODE_TYPES.AssignmentPattern && parent.left === target) {
+      target = parent;
+      continue;
+    }
+    return target !== access && (parent.type === import_utils4.AST_NODE_TYPES.AssignmentExpression || parent.type === import_utils4.AST_NODE_TYPES.ForOfStatement || parent.type === import_utils4.AST_NODE_TYPES.ForInStatement) && parent.left === target;
+  }
+}
 var behaviorallyInvokedFields = (body2) => {
   const invoked = /* @__PURE__ */ new Set();
   const visit = (current) => {
@@ -1331,13 +1363,23 @@ function createServiceOperationResolver(program) {
 }
 function serviceOperationBodies(node) {
   const bodies = /* @__PURE__ */ new Map();
+  const written = /* @__PURE__ */ new Set();
+  const pending = [node.body];
+  while (pending.length > 0) {
+    const current = pending.pop();
+    if (current === void 0) break;
+    const name = writtenInstanceField(current);
+    if (name !== null) written.add(name);
+    forEachOwnAstChild(current, (child) => {
+      pending.push(child);
+    });
+  }
   for (const member of node.body.body) {
     if (member.type !== import_utils4.AST_NODE_TYPES.MethodDefinition && member.type !== import_utils4.AST_NODE_TYPES.PropertyDefinition) continue;
-    if (member.static || member.decorators.length > 0) continue;
-    if (member.type === import_utils4.AST_NODE_TYPES.MethodDefinition && member.kind !== "method") continue;
+    if (member.static || member.decorators.length > 0 || member.type === import_utils4.AST_NODE_TYPES.MethodDefinition && member.kind !== "method") continue;
     if (member.value?.type !== import_utils4.AST_NODE_TYPES.FunctionExpression && member.value?.type !== import_utils4.AST_NODE_TYPES.ArrowFunctionExpression) continue;
     const name = declaredMemberName(member);
-    if (name !== null && member.value.body !== null) bodies.set(name, member.value.body);
+    if (name !== null && !written.has(name) && member.value.body !== null) bodies.set(name, member.value.body);
   }
   return bodies;
 }
@@ -1450,6 +1492,7 @@ var REQUIRE_EXPLICIT_SERVICE_CONTRACT_DOCUMENTATION = {
     "The rule checks service, store, and provider class declarations whose constructor stores a typed behavioral collaborator and whose public method reaches that collaborator.",
     "Existing local interfaces, type aliases, and inherited contracts can cover the operations; the compiler owns signature compatibility.",
     "Imported or dynamic base classes with unavailable declarations and decorated classes or operations are unresolved and do not produce a finding.",
+    "Constructor retention requires an untouched parameter property or one direct, unconditional assignment. Written or replaced operation members do not prove their declared bodies execute; external aliases, mutators, and callbacks are not resolved.",
     "Generated files and JavaScript without implements syntax are excluded."
   ],
   examples: [
@@ -7575,7 +7618,8 @@ var NO_IMPOSSIBLE_ZOD_LITERAL_BOUNDS_DOCUMENTATION = {
   remediation: "Choose compatible lower and upper bounds, or remove the constraint that does not express the intended domain.",
   category: "correctness",
   limitations: [
-    "Only finite numeric literals in a single number, string, or array schema chain are compared.",
+    "Only finite numeric literals in a single number, string, or array schema chain are compared; explicit int() chains also require an admitted integer.",
+    "Integer-domain comparisons abstain near the JavaScript safe-integer boundary.",
     "Chains with dynamic bounds, non-bound validators, transforms, pipes, or preprocessors are skipped.",
     "Test and generated files are excluded."
   ],
@@ -7614,6 +7658,7 @@ var KINDS = /* @__PURE__ */ new Set(["array", "number", "string"]);
 var NUMBER_METHODS = /* @__PURE__ */ new Set([
   "gt",
   "gte",
+  "int",
   "lt",
   "lte",
   "max",
@@ -7655,9 +7700,20 @@ function strongerUpper(current, candidate2) {
   }
   return current;
 }
-function isEmpty(lower, upper) {
+function isEmpty(lower, upper, integer) {
   if (lower === null || upper === null) return false;
-  return lower.value > upper.value || lower.value === upper.value && (lower.exclusive || upper.exclusive);
+  const realEmpty = lower.value > upper.value || lower.value === upper.value && (lower.exclusive || upper.exclusive);
+  if (integer) {
+    if (realEmpty) return false;
+    const safeMargin = Number.MAX_SAFE_INTEGER - 1;
+    if (Math.abs(lower.value) >= safeMargin || Math.abs(upper.value) >= safeMargin) {
+      return false;
+    }
+    const minimum = lower.exclusive ? Math.floor(lower.value) + 1 : Math.ceil(lower.value);
+    const maximum = upper.exclusive ? Math.ceil(upper.value) - 1 : Math.floor(upper.value);
+    return minimum > maximum;
+  }
+  return realEmpty;
 }
 function isOutermostCall(node) {
   const parent = node.parent;
@@ -7751,6 +7807,7 @@ var no_impossible_zod_literal_bounds_default = createRule({
       const allowed = chain.kind === "number" ? NUMBER_METHODS : LENGTH_METHODS;
       let lower = null;
       let upper = null;
+      let integer = false;
       function addBound(method, semantic, value) {
         const label = `${method}(${String(value)})`;
         if (semantic !== null) {
@@ -7786,6 +7843,11 @@ var no_impossible_zod_literal_bounds_default = createRule({
       }
       for (const { method, node } of chain.calls) {
         if (!allowed.has(method)) return null;
+        if (method === "int") {
+          if (node.arguments.length !== 0) return null;
+          integer = true;
+          continue;
+        }
         const semantic = zeroBoundSemantic(method);
         const value = semantic?.value ?? finiteNumber(node.arguments[0]);
         if (value === null) return null;
@@ -7795,7 +7857,7 @@ var no_impossible_zod_literal_bounds_default = createRule({
         if (semantic !== null && node.arguments.length !== 0) return null;
         addBound(method, semantic, value);
       }
-      return isEmpty(lower, upper) && lower !== null && upper !== null ? { lower, upper } : null;
+      return isEmpty(lower, upper, integer) && lower !== null && upper !== null ? { lower, upper } : null;
     }
     return {
       ImportDeclaration(node) {

package/dist/index.js

@@ -1,7 +1,7 @@
 // package.json
 var package_default = {
   name: "@sarj/eslint-plugin",
-  version: "16.5.2",
+  version: "16.6.0",
   packageManager: "npm@12.1.0",
   description: "Custom ESLint rules for hypermodern TypeScript / React / Next.js projects",
   type: "module",
@@ -665,6 +665,9 @@ var REQUIRE_PORT_FOR_SERVICE_DOCUMENTATION = {
   remediation: "Declare and implement an interface covering the service's public methods.",
   category: "architecture",
   aliases: ["require-interface-for-injected-service"],
+  limitations: [
+    "Retained injection requires an untouched parameter property or a single direct, unconditional constructor assignment. Conditional, repeated, replaced, updated, or deleted stores are unresolved rather than proof of retained injection."
+  ],
   examples: [
     { id: "declared-service-port", title: "Implement the service port", outcome: "no-match", files: [{ path: "src/service.ts", source: "interface Handler { handle(): void }\nexport class RequestHandler implements Handler { constructor(private readonly store: TaskStore) {} handle(): void { this.store.handle(); } }" }], focusPath: "src/service.ts", expectedCount: 0, public: true },
     { id: "concrete-injected-service", title: "Do not expose only the concrete service", outcome: "match", files: [{ path: "src/service.ts", source: "export class RequestHandler { constructor(private readonly store: TaskStore) {} handle(): void { this.store.handle(); } }" }], focusPath: "src/service.ts", expectedCount: 1, public: true }
@@ -791,6 +794,8 @@ var readConstructor = (ctor, declared, typeParameters) => {
   const storedFieldsFrom = /* @__PURE__ */ new Map();
   const storedMemberFieldsFrom = /* @__PURE__ */ new Map();
   const constructedFieldNames = /* @__PURE__ */ new Set();
+  const writtenFieldNames = /* @__PURE__ */ new Set();
+  const unstableFieldNames = /* @__PURE__ */ new Set();
   const localBindings2 = /* @__PURE__ */ new Set();
   let constructedFields = 0;
   if (body2 !== null && body2 !== void 0) scanStoredFields(body2);
@@ -799,14 +804,18 @@ var readConstructor = (ctor, declared, typeParameters) => {
     function recordStoredField(current) {
       if (current.type === AST_NODE_TYPES3.ArrowFunctionExpression || current.type === AST_NODE_TYPES3.FunctionExpression || current.type === AST_NODE_TYPES3.FunctionDeclaration || current.type === AST_NODE_TYPES3.ClassExpression || current.type === AST_NODE_TYPES3.ClassDeclaration) return;
       if (current.type === AST_NODE_TYPES3.VariableDeclarator && current.id.type === AST_NODE_TYPES3.Identifier) localBindings2.add(current.id.name);
-      const expression = current.type === AST_NODE_TYPES3.ExpressionStatement ? current.expression : null;
-      const storedField = expression?.type === AST_NODE_TYPES3.AssignmentExpression && expression.left.type === AST_NODE_TYPES3.MemberExpression && expression.left.object.type === AST_NODE_TYPES3.ThisExpression ? staticMemberName(expression.left) : null;
+      const expression = current.type === AST_NODE_TYPES3.AssignmentExpression ? current : null;
+      const storedField = writtenInstanceField(current);
+      if (storedField !== null) {
+        if (writtenFieldNames.has(storedField)) unstableFieldNames.add(storedField);
+        writtenFieldNames.add(storedField);
+        if (expression?.operator !== "=" || expression.parent.type !== AST_NODE_TYPES3.ExpressionStatement || expression.parent.parent !== body3) unstableFieldNames.add(storedField);
+      }
       if (expression?.type !== AST_NODE_TYPES3.AssignmentExpression || !STORAGE_ASSIGNMENT_OPERATORS.has(expression.operator) || expression.left.type !== AST_NODE_TYPES3.MemberExpression || expression.left.object.type !== AST_NODE_TYPES3.ThisExpression || storedField === null) {
         enqueueChildren(current);
         return;
       }
-      let source = expression.right;
-      while (source.type === AST_NODE_TYPES3.TSNonNullExpression || source.type === AST_NODE_TYPES3.TSAsExpression || source.type === AST_NODE_TYPES3.TSSatisfiesExpression || source.type === AST_NODE_TYPES3.TSTypeAssertion) source = source.expression;
+      const source = unwrapExpression(expression.right);
       if (source.type === AST_NODE_TYPES3.NewExpression) {
         constructedFields += 1;
         constructedFieldNames.add(storedField);
@@ -827,6 +836,7 @@ var readConstructor = (ctor, declared, typeParameters) => {
           storedMemberFieldsFrom.set(source.object.name, members);
         }
       }
+      enqueueChildren(current);
     }
     function enqueueChildren(current) {
       forEachOwnAstChild(current, (child) => {
@@ -844,16 +854,15 @@ var readConstructor = (ctor, declared, typeParameters) => {
     for (const reference of parameterCollaborators(parameter, declared, storedMemberFieldsFrom)) {
       if (localBindings2.has(reference.name)) continue;
       let fields = reference.fields;
-      if (parameter.type === AST_NODE_TYPES3.TSParameterProperty) fields = [reference.name];
-      else if (fields.length === 0) fields = [...storedFieldsFrom.get(reference.name) ?? []];
-      const injectedFields = fields.filter((field) => !constructedFieldNames.has(field));
+      if (parameter.type === AST_NODE_TYPES3.TSParameterProperty) {
+        if (writtenFieldNames.has(reference.name)) continue;
+        fields = [reference.name];
+      } else if (fields.length === 0) fields = [...storedFieldsFrom.get(reference.name) ?? []];
+      const injectedFields = fields.filter((field) => !constructedFieldNames.has(field) && !unstableFieldNames.has(field));
       if (injectedFields.length === 0) continue;
       if (CONFIGISH_TYPE_RE.test(reference.typeName)) continue;
       if (CONFIGISH_NAME_RE.test(reference.name)) continue;
-      if (typeParameters.has(reference.typeName)) continue;
-      if (BUILTIN_CONTAINER_TYPE_RE.test(reference.typeName)) continue;
-      if (VALUE_TYPE_RE.test(reference.typeName)) continue;
-      if (declared().functionAliases.has(reference.typeName)) continue;
+      if (typeParameters.has(reference.typeName) || BUILTIN_CONTAINER_TYPE_RE.test(reference.typeName) || VALUE_TYPE_RE.test(reference.typeName) || declared().functionAliases.has(reference.typeName)) continue;
       collaborators.push({ ...reference, fields: injectedFields });
     }
   }
@@ -964,6 +973,29 @@ var instanceField = (candidate2) => {
   while (node.type === AST_NODE_TYPES3.ChainExpression || node.type === AST_NODE_TYPES3.TSAsExpression || node.type === AST_NODE_TYPES3.TSNonNullExpression || node.type === AST_NODE_TYPES3.TSSatisfiesExpression || node.type === AST_NODE_TYPES3.TSTypeAssertion) node = node.expression;
   return node.type === AST_NODE_TYPES3.MemberExpression && node.object.type === AST_NODE_TYPES3.ThisExpression ? staticMemberName(node) : null;
 };
+function writtenInstanceField(node) {
+  if (node.type === AST_NODE_TYPES3.AssignmentExpression || node.type === AST_NODE_TYPES3.ForOfStatement || node.type === AST_NODE_TYPES3.ForInStatement) return instanceField(node.left);
+  if (node.type === AST_NODE_TYPES3.UpdateExpression) return instanceField(node.argument);
+  if (node.type === AST_NODE_TYPES3.UnaryExpression && node.operator === "delete") return instanceField(node.argument);
+  if (node.type === AST_NODE_TYPES3.MemberExpression && isDestructuredWriteTarget(node)) return instanceField(node);
+  return null;
+}
+function isDestructuredWriteTarget(node) {
+  const access = outerExpression(node);
+  let target = access;
+  for (; ; ) {
+    const parent = target.parent;
+    if (parent.type === AST_NODE_TYPES3.Property && parent.value === target && parent.parent.type === AST_NODE_TYPES3.ObjectPattern) {
+      target = parent.parent;
+      continue;
+    }
+    if (parent.type === AST_NODE_TYPES3.ArrayPattern || parent.type === AST_NODE_TYPES3.ObjectPattern || parent.type === AST_NODE_TYPES3.RestElement && parent.argument === target || parent.type === AST_NODE_TYPES3.AssignmentPattern && parent.left === target) {
+      target = parent;
+      continue;
+    }
+    return target !== access && (parent.type === AST_NODE_TYPES3.AssignmentExpression || parent.type === AST_NODE_TYPES3.ForOfStatement || parent.type === AST_NODE_TYPES3.ForInStatement) && parent.left === target;
+  }
+}
 var behaviorallyInvokedFields = (body2) => {
   const invoked = /* @__PURE__ */ new Set();
   const visit = (current) => {
@@ -1280,13 +1312,23 @@ function createServiceOperationResolver(program) {
 }
 function serviceOperationBodies(node) {
   const bodies = /* @__PURE__ */ new Map();
+  const written = /* @__PURE__ */ new Set();
+  const pending = [node.body];
+  while (pending.length > 0) {
+    const current = pending.pop();
+    if (current === void 0) break;
+    const name = writtenInstanceField(current);
+    if (name !== null) written.add(name);
+    forEachOwnAstChild(current, (child) => {
+      pending.push(child);
+    });
+  }
   for (const member of node.body.body) {
     if (member.type !== AST_NODE_TYPES3.MethodDefinition && member.type !== AST_NODE_TYPES3.PropertyDefinition) continue;
-    if (member.static || member.decorators.length > 0) continue;
-    if (member.type === AST_NODE_TYPES3.MethodDefinition && member.kind !== "method") continue;
+    if (member.static || member.decorators.length > 0 || member.type === AST_NODE_TYPES3.MethodDefinition && member.kind !== "method") continue;
     if (member.value?.type !== AST_NODE_TYPES3.FunctionExpression && member.value?.type !== AST_NODE_TYPES3.ArrowFunctionExpression) continue;
     const name = declaredMemberName(member);
-    if (name !== null && member.value.body !== null) bodies.set(name, member.value.body);
+    if (name !== null && !written.has(name) && member.value.body !== null) bodies.set(name, member.value.body);
   }
   return bodies;
 }
@@ -1399,6 +1441,7 @@ var REQUIRE_EXPLICIT_SERVICE_CONTRACT_DOCUMENTATION = {
     "The rule checks service, store, and provider class declarations whose constructor stores a typed behavioral collaborator and whose public method reaches that collaborator.",
     "Existing local interfaces, type aliases, and inherited contracts can cover the operations; the compiler owns signature compatibility.",
     "Imported or dynamic base classes with unavailable declarations and decorated classes or operations are unresolved and do not produce a finding.",
+    "Constructor retention requires an untouched parameter property or one direct, unconditional assignment. Written or replaced operation members do not prove their declared bodies execute; external aliases, mutators, and callbacks are not resolved.",
     "Generated files and JavaScript without implements syntax are excluded."
   ],
   examples: [
@@ -7549,7 +7592,8 @@ var NO_IMPOSSIBLE_ZOD_LITERAL_BOUNDS_DOCUMENTATION = {
   remediation: "Choose compatible lower and upper bounds, or remove the constraint that does not express the intended domain.",
   category: "correctness",
   limitations: [
-    "Only finite numeric literals in a single number, string, or array schema chain are compared.",
+    "Only finite numeric literals in a single number, string, or array schema chain are compared; explicit int() chains also require an admitted integer.",
+    "Integer-domain comparisons abstain near the JavaScript safe-integer boundary.",
     "Chains with dynamic bounds, non-bound validators, transforms, pipes, or preprocessors are skipped.",
     "Test and generated files are excluded."
   ],
@@ -7588,6 +7632,7 @@ var KINDS = /* @__PURE__ */ new Set(["array", "number", "string"]);
 var NUMBER_METHODS = /* @__PURE__ */ new Set([
   "gt",
   "gte",
+  "int",
   "lt",
   "lte",
   "max",
@@ -7629,9 +7674,20 @@ function strongerUpper(current, candidate2) {
   }
   return current;
 }
-function isEmpty(lower, upper) {
+function isEmpty(lower, upper, integer) {
   if (lower === null || upper === null) return false;
-  return lower.value > upper.value || lower.value === upper.value && (lower.exclusive || upper.exclusive);
+  const realEmpty = lower.value > upper.value || lower.value === upper.value && (lower.exclusive || upper.exclusive);
+  if (integer) {
+    if (realEmpty) return false;
+    const safeMargin = Number.MAX_SAFE_INTEGER - 1;
+    if (Math.abs(lower.value) >= safeMargin || Math.abs(upper.value) >= safeMargin) {
+      return false;
+    }
+    const minimum = lower.exclusive ? Math.floor(lower.value) + 1 : Math.ceil(lower.value);
+    const maximum = upper.exclusive ? Math.ceil(upper.value) - 1 : Math.floor(upper.value);
+    return minimum > maximum;
+  }
+  return realEmpty;
 }
 function isOutermostCall(node) {
   const parent = node.parent;
@@ -7725,6 +7781,7 @@ var no_impossible_zod_literal_bounds_default = createRule({
       const allowed = chain.kind === "number" ? NUMBER_METHODS : LENGTH_METHODS;
       let lower = null;
       let upper = null;
+      let integer = false;
       function addBound(method, semantic, value) {
         const label = `${method}(${String(value)})`;
         if (semantic !== null) {
@@ -7760,6 +7817,11 @@ var no_impossible_zod_literal_bounds_default = createRule({
       }
       for (const { method, node } of chain.calls) {
         if (!allowed.has(method)) return null;
+        if (method === "int") {
+          if (node.arguments.length !== 0) return null;
+          integer = true;
+          continue;
+        }
         const semantic = zeroBoundSemantic(method);
         const value = semantic?.value ?? finiteNumber(node.arguments[0]);
         if (value === null) return null;
@@ -7769,7 +7831,7 @@ var no_impossible_zod_literal_bounds_default = createRule({
         if (semantic !== null && node.arguments.length !== 0) return null;
         addBound(method, semantic, value);
       }
-      return isEmpty(lower, upper) && lower !== null && upper !== null ? { lower, upper } : null;
+      return isEmpty(lower, upper, integer) && lower !== null && upper !== null ? { lower, upper } : null;
     }
     return {
       ImportDeclaration(node) {

package/package.json

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