@krak-stack/registry 0.1.11 → 0.1.14

package/dist/oxlint/anti-slop/index.js

@@ -0,0 +1,1592 @@
+// ../../tools/oxlint/anti-slop/index.ts
+import { eslintCompatPlugin } from "@oxlint/plugins";
+
+// ../../tools/oxlint/anti-slop/rules/no-chained-type-assertions.ts
+import { defineRule } from "@oxlint/plugins";
+function isTypeAssertionExpression(node) {
+  return node.type === "TSAsExpression" || node.type === "TSTypeAssertion";
+}
+function unwrapParenthesizedExpression(expression) {
+  let current = expression;
+  while (current.type === "ParenthesizedExpression") {
+    current = current.expression;
+  }
+  return current;
+}
+function isConstAssertion(node) {
+  const { typeAnnotation } = node;
+  return typeAnnotation.type === "TSTypeReference" && typeAnnotation.typeName.type === "Identifier" && typeAnnotation.typeName.name === "const";
+}
+function isOutermostAssertionInChain(node) {
+  let current = node;
+  let parent = node.parent;
+  while (parent.type === "ParenthesizedExpression" && parent.expression === current) {
+    current = parent;
+    parent = parent.parent;
+  }
+  return !isTypeAssertionExpression(parent) || parent.expression !== current;
+}
+function isForbiddenAssertionChain(node) {
+  let assertionCount = 0;
+  let hasNonConstAssertion = false;
+  let current = node;
+  while (isTypeAssertionExpression(current)) {
+    assertionCount += 1;
+    hasNonConstAssertion ||= !isConstAssertion(current);
+    current = unwrapParenthesizedExpression(current.expression);
+  }
+  return assertionCount > 1 && hasNonConstAssertion;
+}
+var noChainedTypeAssertionsRule = defineRule({
+  meta: {
+    type: "problem",
+    docs: {
+      description: "Disallow chained TypeScript as and angle-bracket assertions, including parenthesized chains."
+    },
+    messages: {
+      chained: "This assertion chain discards type evidence. Keep the original precise type, or parse untrusted input at its boundary before narrowing it."
+    }
+  },
+  createOnce(context) {
+    const checkTypeAssertion = (node) => {
+      if (!isOutermostAssertionInChain(node) || !isForbiddenAssertionChain(node))
+        return;
+      context.report({ node, messageId: "chained" });
+    };
+    return {
+      TSAsExpression: checkTypeAssertion,
+      TSTypeAssertion: checkTypeAssertion
+    };
+  }
+});
+
+// ../../tools/oxlint/anti-slop/rules/no-conditional-empty-object-spread.ts
+import { defineRule as defineRule2 } from "@oxlint/plugins";
+function unwrapParentheses(node) {
+  let current = node;
+  while (current.type === "ParenthesizedExpression") {
+    current = current.expression;
+  }
+  return current;
+}
+function isEmptyObjectExpression(node) {
+  return node.type === "ObjectExpression" && node.properties.length === 0;
+}
+function isConditionalEmptyObjectSpread(node) {
+  const conditional = unwrapParentheses(node);
+  return conditional.type === "ConditionalExpression" && (isEmptyObjectExpression(conditional.consequent) || isEmptyObjectExpression(conditional.alternate));
+}
+var noConditionalEmptyObjectSpreadRule = defineRule2({
+  meta: {
+    type: "suggestion",
+    docs: {
+      description: "Disallow object spreads that conditionally spread an empty object to omit fields."
+    },
+    messages: {
+      avoid: "This conditional spread hides property omission behind an empty object. Build the object in separate statements and add the property only when present."
+    }
+  },
+  createOnce(context) {
+    return {
+      SpreadElement(node) {
+        if (node.parent.type !== "ObjectExpression")
+          return;
+        if (isConditionalEmptyObjectSpread(node.argument)) {
+          context.report({ node, messageId: "avoid" });
+        }
+      }
+    };
+  }
+});
+
+// ../../tools/oxlint/anti-slop/rules/no-known-value-widening.ts
+import { defineRule as defineRule3 } from "@oxlint/plugins";
+
+// ../../tools/oxlint/anti-slop/shared/dictionary-types.ts
+var BUILT_INS = new Set([
+  "Record",
+  "Readonly",
+  "Partial",
+  "Required",
+  "Pick",
+  "Omit",
+  "PropertyKey",
+  "NonNullable"
+]);
+var TRANSPARENT_WRAPPERS = new Set([
+  "Readonly",
+  "Partial",
+  "Required",
+  "NonNullable"
+]);
+function declaredStatement(statement) {
+  return statement.type === "ExportNamedDeclaration" || statement.type === "ExportDefaultDeclaration" ? statement.declaration ?? null : statement;
+}
+function createTypeEnvironment(program) {
+  const aliases = new Map;
+  const interfaces = new Map;
+  const shadowedBuiltIns = new Set;
+  for (const statement of program.body) {
+    const declaration = declaredStatement(statement);
+    if (declaration?.type === "ImportDeclaration") {
+      for (const specifier of declaration.specifiers) {
+        if (BUILT_INS.has(specifier.local.name))
+          shadowedBuiltIns.add(specifier.local.name);
+      }
+      continue;
+    }
+    if (declaration?.type === "TSTypeAliasDeclaration") {
+      const existing = aliases.get(declaration.id.name);
+      if (existing === undefined)
+        aliases.set(declaration.id.name, declaration);
+      else
+        shadowedBuiltIns.add(declaration.id.name);
+      if (BUILT_INS.has(declaration.id.name))
+        shadowedBuiltIns.add(declaration.id.name);
+      continue;
+    }
+    if (declaration?.type === "TSInterfaceDeclaration") {
+      const declarations = interfaces.get(declaration.id.name) ?? [];
+      declarations.push(declaration);
+      interfaces.set(declaration.id.name, declarations);
+      if (BUILT_INS.has(declaration.id.name))
+        shadowedBuiltIns.add(declaration.id.name);
+      continue;
+    }
+    if (declaration?.type === "TSEnumDeclaration") {
+      if (BUILT_INS.has(declaration.id.name))
+        shadowedBuiltIns.add(declaration.id.name);
+      continue;
+    }
+    if ((declaration?.type === "ClassDeclaration" || declaration?.type === "FunctionDeclaration") && declaration.id !== null) {
+      if (BUILT_INS.has(declaration.id.name))
+        shadowedBuiltIns.add(declaration.id.name);
+    }
+  }
+  return { aliases, interfaces, shadowedBuiltIns };
+}
+function typeReferenceName(type) {
+  return type.typeName.type === "Identifier" ? type.typeName.name : null;
+}
+function isBuiltIn(name, environment) {
+  return BUILT_INS.has(name) && !environment.shadowedBuiltIns.has(name);
+}
+function isUnappliedReferenceTo(type, name) {
+  const unwrapped = unwrapTransparentType(type);
+  return unwrapped.type === "TSTypeReference" && typeReferenceName(unwrapped) === name && (unwrapped.typeArguments === null || unwrapped.typeArguments === undefined || unwrapped.typeArguments.params.length === 0);
+}
+function unwrapTransparentType(type) {
+  let current = type;
+  while (current.type === "TSParenthesizedType" || current.type === "TSTypeOperator" && current.operator === "readonly") {
+    current = current.typeAnnotation;
+  }
+  return current;
+}
+function isNeverType(type) {
+  return unwrapTransparentType(type).type === "TSNeverKeyword";
+}
+function isEffectivelyEmptyMember(member) {
+  return member.type === "TSPropertySignature" && member.optional === true && member.typeAnnotation !== null && member.typeAnnotation !== undefined && isNeverType(member.typeAnnotation.typeAnnotation);
+}
+function isEffectivelyEmptyTypeLiteral(type) {
+  return type.members.length === 0 || type.members.every(isEffectivelyEmptyMember);
+}
+function isEffectivelyEmptyInterface(declarations) {
+  if (declarations.length !== 1)
+    return false;
+  const [type] = declarations;
+  return type !== undefined && type.extends.length === 0 && (type.body.body.length === 0 || type.body.body.every(isEffectivelyEmptyMember));
+}
+function resolvedSubstitutionArgument(type, base, resolving = new Set) {
+  const unwrapped = unwrapTransparentType(type);
+  if (unwrapped.type !== "TSTypeReference")
+    return type;
+  const name = typeReferenceName(unwrapped);
+  if (name === null || resolving.has(name))
+    return type;
+  const substitution = base.get(name);
+  if (substitution === undefined)
+    return type;
+  const nextResolving = new Set(resolving);
+  nextResolving.add(name);
+  return resolvedSubstitutionArgument(substitution, base, nextResolving);
+}
+function aliasSubstitution(alias, type, base) {
+  const parameters = alias.typeParameters?.params ?? [];
+  const arguments_ = type.typeArguments?.params ?? [];
+  const next = new Map(base);
+  for (const [index, parameter] of parameters.entries()) {
+    const argument = arguments_[index] ?? parameter.default;
+    if (argument === null || argument === undefined)
+      return null;
+    next.set(parameter.name.name, resolvedSubstitutionArgument(argument, next));
+  }
+  return next;
+}
+function unsafeDirectValue(type, environment, substitutions, resolvingAliases) {
+  const unwrapped = unwrapTransparentType(type);
+  if (unwrapped.type === "TSUnknownKeyword")
+    return "unknown";
+  if (unwrapped.type === "TSAnyKeyword")
+    return "any";
+  if (unwrapped.type === "TSObjectKeyword")
+    return "object";
+  if (unwrapped.type === "TSTypeLiteral" && isEffectivelyEmptyTypeLiteral(unwrapped))
+    return "empty-object";
+  if (unwrapped.type === "TSUnionType") {
+    return unwrapped.types.some((member) => unsafeDirectValue(member, environment, substitutions, resolvingAliases) !== null) ? "union" : null;
+  }
+  if (unwrapped.type === "TSIntersectionType") {
+    const unsafeMembers = unwrapped.types.map((member) => unsafeDirectValue(member, environment, substitutions, resolvingAliases));
+    if (unsafeMembers.includes("any"))
+      return "any";
+    return unsafeMembers.length > 0 && unsafeMembers.every((member) => member !== null) ? unsafeMembers[0] : null;
+  }
+  if (unwrapped.type !== "TSTypeReference")
+    return null;
+  const name = typeReferenceName(unwrapped);
+  if (name === null)
+    return null;
+  if (TRANSPARENT_WRAPPERS.has(name) && isBuiltIn(name, environment)) {
+    const wrapped = unwrapped.typeArguments?.params[0];
+    return wrapped === undefined ? null : unsafeDirectValue(wrapped, environment, substitutions, resolvingAliases);
+  }
+  const substitution = substitutions.get(name);
+  if (substitution !== undefined) {
+    return isUnappliedReferenceTo(substitution, name) ? null : unsafeDirectValue(substitution, environment, substitutions, resolvingAliases);
+  }
+  const interfaceDeclarations = environment.interfaces.get(name);
+  if (interfaceDeclarations !== undefined) {
+    return isEffectivelyEmptyInterface(interfaceDeclarations) ? "empty-object" : null;
+  }
+  const alias = environment.aliases.get(name);
+  if (alias === undefined || resolvingAliases.has(name))
+    return null;
+  const nextSubstitutions = aliasSubstitution(alias, unwrapped, substitutions);
+  if (nextSubstitutions === null)
+    return null;
+  const nextResolving = new Set(resolvingAliases);
+  nextResolving.add(name);
+  return unsafeDirectValue(alias.typeAnnotation, environment, nextSubstitutions, nextResolving);
+}
+function dictionaryValueTypes(type, environment, substitutions, resolvingAliases) {
+  const unwrapped = unwrapTransparentType(type);
+  if (unwrapped.type === "TSTypeLiteral") {
+    return unwrapped.members.flatMap((member) => member.type === "TSIndexSignature" && member.typeAnnotation !== null ? [{ type: member.typeAnnotation.typeAnnotation, substitutions }] : []);
+  }
+  if (unwrapped.type === "TSMappedType") {
+    return unwrapped.typeAnnotation === null ? [] : [{ type: unwrapped.typeAnnotation, substitutions }];
+  }
+  if (unwrapped.type !== "TSTypeReference")
+    return [];
+  const name = typeReferenceName(unwrapped);
+  if (name === null)
+    return [];
+  const substitution = substitutions.get(name);
+  if (substitution !== undefined) {
+    return isUnappliedReferenceTo(substitution, name) ? [] : dictionaryValueTypes(substitution, environment, substitutions, resolvingAliases);
+  }
+  if (TRANSPARENT_WRAPPERS.has(name) && isBuiltIn(name, environment)) {
+    const wrapped = unwrapped.typeArguments?.params[0];
+    return wrapped === undefined ? [] : dictionaryValueTypes(wrapped, environment, substitutions, resolvingAliases);
+  }
+  if (name === "Record" && isBuiltIn(name, environment)) {
+    const value = unwrapped.typeArguments?.params[1] ?? null;
+    return value === null ? [] : [{ type: value, substitutions }];
+  }
+  if ((name === "Pick" || name === "Omit") && isBuiltIn(name, environment)) {
+    const source = unwrapped.typeArguments?.params[0];
+    return source === undefined ? [] : dictionaryValueTypes(source, environment, substitutions, resolvingAliases);
+  }
+  const alias = environment.aliases.get(name);
+  if (alias === undefined || resolvingAliases.has(name))
+    return [];
+  const nextSubstitutions = aliasSubstitution(alias, unwrapped, substitutions);
+  if (nextSubstitutions === null)
+    return [];
+  const nextResolving = new Set(resolvingAliases);
+  nextResolving.add(name);
+  return dictionaryValueTypes(alias.typeAnnotation, environment, nextSubstitutions, nextResolving);
+}
+function classifyUnsafeDictionaryValue(valueType, environment) {
+  const unsafeValue = unsafeDirectValue(valueType, environment, new Map, new Set);
+  return unsafeValue === null ? null : { kind: "unsafe-dictionary", unsafeValue };
+}
+function classifyUnsafeDictionary(type, environment) {
+  for (const valueType of dictionaryValueTypes(type, environment, new Map, new Set)) {
+    const unsafeValue = unsafeDirectValue(valueType.type, environment, valueType.substitutions, new Set);
+    if (unsafeValue !== null)
+      return { kind: "unsafe-dictionary", unsafeValue };
+  }
+  return null;
+}
+function resolvesToDictionary(type, environment, substitutions, resolvingAliases) {
+  return dictionaryValueTypes(type, environment, substitutions, resolvingAliases).length > 0;
+}
+function classifyWideningTarget(type, environment) {
+  const unwrapped = unwrapTransparentType(type);
+  if (unwrapped.type === "TSUnknownKeyword")
+    return { kind: "unknown" };
+  if (unwrapped.type === "TSObjectKeyword")
+    return { kind: "object" };
+  if (unwrapped.type === "TSTypeLiteral") {
+    return unwrapped.members.some((member) => member.type === "TSIndexSignature") ? { kind: "open dictionary" } : unwrapped.members.length > 0 ? { kind: "anonymous object" } : null;
+  }
+  if (unwrapped.type === "TSMappedType")
+    return { kind: "open dictionary" };
+  if (unwrapped.type !== "TSTypeReference")
+    return null;
+  const name = typeReferenceName(unwrapped);
+  if (name === null)
+    return null;
+  if (TRANSPARENT_WRAPPERS.has(name) && isBuiltIn(name, environment)) {
+    const wrapped = unwrapped.typeArguments?.params[0];
+    return wrapped === undefined ? null : classifyWideningTarget(wrapped, environment);
+  }
+  if (name === "Record" && isBuiltIn(name, environment))
+    return { kind: "open dictionary" };
+  const alias = environment.aliases.get(name);
+  if (alias === undefined)
+    return null;
+  if ((alias.typeParameters?.params.length ?? 0) > 0) {
+    const substitutions2 = aliasSubstitution(alias, unwrapped, new Map);
+    return substitutions2 !== null && resolvesToDictionary(alias.typeAnnotation, environment, substitutions2, new Set([name])) ? { kind: "generic container" } : null;
+  }
+  const substitutions = aliasSubstitution(alias, unwrapped, new Map);
+  if (substitutions === null)
+    return null;
+  const resolved = classifyAliasBroadTarget(alias.typeAnnotation, environment, substitutions, new Set([name]));
+  return resolved;
+}
+function isBroadMappedKey(type, environment, substitutions) {
+  const unwrapped = unwrapTransparentType(type);
+  if (unwrapped.type === "TSStringKeyword" || unwrapped.type === "TSNumberKeyword" || unwrapped.type === "TSSymbolKeyword") {
+    return true;
+  }
+  if (unwrapped.type === "TSUnionType") {
+    return unwrapped.types.every((member) => isBroadMappedKey(member, environment, substitutions));
+  }
+  if (unwrapped.type !== "TSTypeReference")
+    return false;
+  const name = typeReferenceName(unwrapped);
+  if (name === null)
+    return false;
+  const substitution = substitutions.get(name);
+  if (substitution !== undefined && !isUnappliedReferenceTo(substitution, name)) {
+    return isBroadMappedKey(substitution, environment, substitutions);
+  }
+  return name === "PropertyKey" && isBuiltIn(name, environment);
+}
+function classifyAliasBroadTarget(type, environment, substitutions, resolvingAliases) {
+  const unwrapped = unwrapTransparentType(type);
+  if (unwrapped.type === "TSUnknownKeyword")
+    return { kind: "unknown" };
+  if (unwrapped.type === "TSObjectKeyword")
+    return { kind: "object" };
+  if (unwrapped.type === "TSTypeLiteral") {
+    return unwrapped.members.some((member) => member.type === "TSIndexSignature") ? { kind: "open dictionary" } : null;
+  }
+  if (unwrapped.type === "TSMappedType") {
+    return isBroadMappedKey(unwrapped.constraint, environment, substitutions) ? { kind: "open dictionary" } : null;
+  }
+  if (unwrapped.type !== "TSTypeReference")
+    return null;
+  const name = typeReferenceName(unwrapped);
+  if (name === null)
+    return null;
+  const substitution = substitutions.get(name);
+  if (substitution !== undefined) {
+    return isUnappliedReferenceTo(substitution, name) ? null : classifyAliasBroadTarget(substitution, environment, substitutions, resolvingAliases);
+  }
+  if (TRANSPARENT_WRAPPERS.has(name) && isBuiltIn(name, environment)) {
+    const wrapped = unwrapped.typeArguments?.params[0];
+    return wrapped === undefined ? null : classifyAliasBroadTarget(wrapped, environment, substitutions, resolvingAliases);
+  }
+  if (name === "Record" && isBuiltIn(name, environment)) {
+    return { kind: "open dictionary" };
+  }
+  const alias = environment.aliases.get(name);
+  if (alias === undefined || resolvingAliases.has(name))
+    return null;
+  const nextSubstitutions = aliasSubstitution(alias, unwrapped, substitutions);
+  if (nextSubstitutions === null)
+    return null;
+  const nextResolving = new Set(resolvingAliases);
+  nextResolving.add(name);
+  return classifyAliasBroadTarget(alias.typeAnnotation, environment, nextSubstitutions, nextResolving);
+}
+function isKnownEvidenceExpression(expression) {
+  let current = expression;
+  while (current.type === "ParenthesizedExpression" || current.type === "TSAsExpression" || current.type === "TSTypeAssertion" || current.type === "TSNonNullExpression" || current.type === "TSSatisfiesExpression") {
+    current = current.expression;
+  }
+  if (current.type === "ObjectExpression")
+    return true;
+  return current.type === "ArrayExpression" || current.type === "ArrowFunctionExpression" || current.type === "ClassExpression" || current.type === "FunctionExpression" || current.type === "NewExpression" || current.type === "Literal" || current.type === "TemplateLiteral" || current.type === "UnaryExpression";
+}
+
+// ../../tools/oxlint/anti-slop/rules/no-known-value-widening.ts
+function unwrapExpression(expression) {
+  let current = expression;
+  while (current.type === "ParenthesizedExpression" || current.type === "TSAsExpression" || current.type === "TSSatisfiesExpression" || current.type === "TSTypeAssertion" || current.type === "TSNonNullExpression") {
+    current = current.expression;
+  }
+  return current;
+}
+function resolveVariable(sourceCode, identifier) {
+  let scope = sourceCode.getScope(identifier);
+  while (scope !== null) {
+    const variable = scope.set.get(identifier.name);
+    if (variable !== undefined)
+      return variable;
+    scope = scope.upper;
+  }
+  return null;
+}
+function variableDeclarator(variable) {
+  if (variable.defs.length !== 1)
+    return null;
+  const [definition] = variable.defs;
+  return definition?.type === "Variable" && definition.node.type === "VariableDeclarator" ? definition.node : null;
+}
+function isStableConstVariable(variable, declarator) {
+  return declarator.parent.type === "VariableDeclaration" && declarator.parent.kind === "const" && variable.references.every((reference) => reference.init || !reference.isWrite());
+}
+function hasKnownEvidence(sourceCode, expression, visitedVariables = new Set) {
+  if (isKnownEvidenceExpression(expression))
+    return true;
+  const unwrapped = unwrapExpression(expression);
+  if (unwrapped.type !== "Identifier")
+    return false;
+  const variable = resolveVariable(sourceCode, unwrapped);
+  if (variable === null || visitedVariables.has(variable))
+    return false;
+  const declarator = variableDeclarator(variable);
+  if (declarator === null || declarator.init === null || !isStableConstVariable(variable, declarator)) {
+    return false;
+  }
+  visitedVariables.add(variable);
+  return hasKnownEvidence(sourceCode, declarator.init, visitedVariables);
+}
+function annotationTarget(annotation, environment) {
+  return annotation === null || annotation === undefined ? null : classifyWideningTarget(annotation.typeAnnotation, environment);
+}
+function enclosingFunction(node) {
+  let current = node.parent;
+  while (current !== null && current.type !== "Program") {
+    if (current.type === "ArrowFunctionExpression" || current.type === "FunctionDeclaration" || current.type === "FunctionExpression") {
+      return current;
+    }
+    current = current.parent;
+  }
+  return null;
+}
+function sourceKeyName(sourceCode, key) {
+  if (key.type === "Identifier" || key.type === "PrivateIdentifier")
+    return key.name;
+  if (key.type === "Literal")
+    return String(key.value);
+  return sourceCode.getText(key);
+}
+function functionName(sourceCode, owner) {
+  if (owner === null)
+    return "anonymous function";
+  if (owner.id !== null)
+    return owner.id.name;
+  const parent = owner.parent;
+  if (parent.type === "VariableDeclarator" && parent.id.type === "Identifier")
+    return parent.id.name;
+  if (parent.type === "MethodDefinition")
+    return sourceKeyName(sourceCode, parent.key);
+  return "anonymous function";
+}
+function isEmptyObjectExpression2(expression) {
+  const unwrapped = unwrapExpression(expression);
+  return unwrapped.type === "ObjectExpression" && unwrapped.properties.length === 0;
+}
+function isDictionaryAccumulatorTarget(destination) {
+  return destination.kind === "open dictionary" || destination.kind === "generic container";
+}
+function hasParentAssertion(node) {
+  return node.parent?.type === "TSAsExpression" || node.parent?.type === "TSTypeAssertion";
+}
+var noKnownValueWideningRule = defineRule3({
+  meta: {
+    type: "problem",
+    docs: {
+      description: "Disallow syntactically established values from flowing into explicitly broad or anonymous target types that discard useful evidence."
+    },
+    messages: {
+      widening: "The explicit {{target}} type on {{subject}} discards known type evidence. Keep inference, validate with `satisfies`, or use a named owner contract."
+    }
+  },
+  createOnce(context) {
+    let environment = null;
+    const reportFlow = (expression, destination, subject) => {
+      if (destination === null)
+        return;
+      if (isDictionaryAccumulatorTarget(destination) && isEmptyObjectExpression2(expression)) {
+        return;
+      }
+      if (!hasKnownEvidence(context.sourceCode, expression))
+        return;
+      context.report({
+        node: expression,
+        messageId: "widening",
+        data: { subject, target: destination.kind }
+      });
+    };
+    const targetFromAnnotation = (annotation) => environment === null ? null : annotationTarget(annotation, environment);
+    return {
+      Program(node) {
+        environment = createTypeEnvironment(node);
+      },
+      VariableDeclarator(node) {
+        if (node.init === null || node.id.type !== "Identifier")
+          return;
+        reportFlow(node.init, targetFromAnnotation(node.id.typeAnnotation), `binding \`${node.id.name}\``);
+      },
+      PropertyDefinition(node) {
+        if (node.value === null)
+          return;
+        reportFlow(node.value, targetFromAnnotation(node.typeAnnotation), `property \`${sourceKeyName(context.sourceCode, node.key)}\``);
+      },
+      AccessorProperty(node) {
+        if (node.value === null)
+          return;
+        reportFlow(node.value, targetFromAnnotation(node.typeAnnotation), `property \`${sourceKeyName(context.sourceCode, node.key)}\``);
+      },
+      AssignmentExpression(node) {
+        if (node.operator !== "=" || node.left.type !== "Identifier")
+          return;
+        const variable = resolveVariable(context.sourceCode, node.left);
+        if (variable === null)
+          return;
+        const declarator = variableDeclarator(variable);
+        if (declarator === null || declarator.id.type !== "Identifier")
+          return;
+        reportFlow(node.right, targetFromAnnotation(declarator.id.typeAnnotation), `binding \`${declarator.id.name}\``);
+      },
+      ReturnStatement(node) {
+        if (node.argument === null)
+          return;
+        const owner = enclosingFunction(node);
+        reportFlow(node.argument, targetFromAnnotation(owner?.returnType), `return value of \`${functionName(context.sourceCode, owner)}\``);
+      },
+      ArrowFunctionExpression(node) {
+        if (node.body.type === "BlockStatement")
+          return;
+        reportFlow(node.body, targetFromAnnotation(node.returnType), `return value of \`${functionName(context.sourceCode, node)}\``);
+      },
+      TSAsExpression(node) {
+        if (environment === null || hasParentAssertion(node))
+          return;
+        reportFlow(node.expression, classifyWideningTarget(node.typeAnnotation, environment), "assertion");
+      },
+      TSTypeAssertion(node) {
+        if (environment === null || hasParentAssertion(node))
+          return;
+        reportFlow(node.expression, classifyWideningTarget(node.typeAnnotation, environment), "assertion");
+      }
+    };
+  }
+});
+
+// ../../tools/oxlint/anti-slop/rules/no-module-mocking.ts
+import { defineRule as defineRule4 } from "@oxlint/plugins";
+var moduleMockMethods = new Set(["doMock", "mock", "unstable_mockModule"]);
+function resolveVariable2(sourceCode, identifier) {
+  let scope = sourceCode.getScope(identifier);
+  while (scope !== null) {
+    const variable = scope.set.get(identifier.name);
+    if (variable !== undefined)
+      return variable;
+    scope = scope.upper;
+  }
+  return null;
+}
+function importedName(node) {
+  if (node.type !== "ImportSpecifier")
+    return null;
+  return node.imported.type === "Identifier" ? node.imported.name : node.imported.value;
+}
+function isTestFrameworkObject(sourceCode, expression) {
+  if (expression.type !== "Identifier")
+    return false;
+  if ((expression.name === "vi" || expression.name === "jest") && sourceCode.isGlobalReference(expression)) {
+    return true;
+  }
+  const variable = resolveVariable2(sourceCode, expression);
+  if (variable === null || variable.defs.length === 0) {
+    return expression.name === "vi" || expression.name === "jest";
+  }
+  return variable.defs.some((definition) => {
+    if (definition.type !== "ImportBinding" || definition.parent?.type !== "ImportDeclaration") {
+      return false;
+    }
+    const source = definition.parent.source.value;
+    const name = importedName(definition.node);
+    return source === "vitest" && name === "vi" || source === "@jest/globals" && name === "jest";
+  });
+}
+function moduleMockCall(sourceCode, callee) {
+  if (!("property" in callee) || !("object" in callee) || !("computed" in callee))
+    return false;
+  if (!isTestFrameworkObject(sourceCode, callee.object))
+    return false;
+  const property = callee.property;
+  const method = callee.computed ? property.type === "Literal" && (property.value === "doMock" || property.value === "mock" || property.value === "unstable_mockModule") ? property.value : null : property.type === "Identifier" ? property.name : null;
+  return method !== null && moduleMockMethods.has(method);
+}
+var noModuleMockingRule = defineRule4({
+  meta: {
+    type: "problem",
+    docs: {
+      description: "Disallow Vitest and Jest module mocking; tests must replace dependencies through real interfaces."
+    },
+    messages: {
+      moduleMock: "Replace module mocking with dependency injection through a real interface, service layer, or faithful test implementation."
+    }
+  },
+  createOnce(context) {
+    return {
+      CallExpression(node) {
+        if (node.callee.type === "Super" || node.callee.type === "V8IntrinsicExpression")
+          return;
+        if (moduleMockCall(context.sourceCode, node.callee)) {
+          context.report({ node, messageId: "moduleMock" });
+        }
+      }
+    };
+  }
+});
+
+// ../../tools/oxlint/anti-slop/rules/no-object-parameters.ts
+import { defineRule as defineRule5 } from "@oxlint/plugins";
+
+// ../../tools/oxlint/anti-slop/shared/lexical-type-parameters.ts
+function isNode(value) {
+  return typeof value === "object" && value !== null && "type" in value && typeof value.type === "string";
+}
+function collectInferTypeParameterNames(node, visitorKeys, names) {
+  if (node.type === "TSInferType")
+    names.add(node.typeParameter.name.name);
+  const record = node;
+  for (const key of visitorKeys[node.type] ?? []) {
+    const value = record[key];
+    if (isNode(value)) {
+      collectInferTypeParameterNames(value, visitorKeys, names);
+      continue;
+    }
+    if (!Array.isArray(value))
+      continue;
+    for (const child of value) {
+      if (isNode(child))
+        collectInferTypeParameterNames(child, visitorKeys, names);
+    }
+  }
+}
+function lexicalTypeParameterNames(node, visitorKeys) {
+  const names = new Set;
+  let descendant = node;
+  let current = node;
+  while (current !== null && current.type !== "Program") {
+    if ("typeParameters" in current) {
+      for (const parameter of current.typeParameters?.params ?? []) {
+        names.add(parameter.name.name);
+      }
+    }
+    if (current.type === "TSMappedType" && (descendant === current.nameType || descendant === current.typeAnnotation)) {
+      names.add(current.key.name);
+    }
+    if (current.type === "TSConditionalType" && descendant === current.trueType) {
+      collectInferTypeParameterNames(current.extendsType, visitorKeys, names);
+    }
+    descendant = current;
+    current = current.parent;
+  }
+  return names;
+}
+
+// ../../tools/oxlint/anti-slop/rules/no-object-parameters.ts
+function parameterAnnotation(parameter) {
+  if (parameter.type === "TSParameterProperty") {
+    return parameterAnnotation(parameter.parameter);
+  }
+  if (parameter.type === "RestElement") {
+    return parameter.typeAnnotation ?? parameterAnnotation(parameter.argument);
+  }
+  if (parameter.type === "AssignmentPattern") {
+    return parameter.typeAnnotation ?? parameter.left.typeAnnotation;
+  }
+  return parameter.typeAnnotation;
+}
+function parameterName(parameter, sourceCode) {
+  return parameter.type === "Identifier" ? parameter.name : sourceCode.getText(parameter).replace(/\s*:\s*object\s*$/u, "");
+}
+var noObjectParametersRule = defineRule5({
+  meta: {
+    type: "problem",
+    docs: {
+      description: "Disallow object function parameters; inputs must use an owner-provided type and be parsed at their boundary."
+    },
+    messages: {
+      objectParameter: "Parameter `{{parameter}}` uses the broad `object` type. Accept a named owner type; parse external input at its boundary before calling this function."
+    }
+  },
+  createOnce(context) {
+    const aliases = new Map;
+    const resolvesToObject = (type, shadowedAliases, visited = new Set) => {
+      if (type.type === "TSObjectKeyword")
+        return true;
+      if (type.type === "TSParenthesizedType")
+        return resolvesToObject(type.typeAnnotation, shadowedAliases, visited);
+      if (type.type === "TSUnionType") {
+        return type.types.some((member) => resolvesToObject(member, shadowedAliases, visited));
+      }
+      if (type.type !== "TSTypeReference" || type.typeName.type !== "Identifier" || type.typeArguments !== null && type.typeArguments !== undefined && type.typeArguments.params.length > 0 || visited.has(type.typeName.name) || shadowedAliases.has(type.typeName.name)) {
+        return false;
+      }
+      const alias = aliases.get(type.typeName.name);
+      if (alias === undefined)
+        return false;
+      const nextVisited = new Set(visited);
+      nextVisited.add(type.typeName.name);
+      return resolvesToObject(alias, shadowedAliases, nextVisited);
+    };
+    const checkParameters = (node) => {
+      const shadowedAliases = lexicalTypeParameterNames(node, context.sourceCode.visitorKeys);
+      for (const parameter of node.params) {
+        const annotation = parameterAnnotation(parameter);
+        if (annotation === null || annotation === undefined)
+          continue;
+        if (!resolvesToObject(annotation.typeAnnotation, shadowedAliases))
+          continue;
+        context.report({
+          node: annotation.typeAnnotation,
+          messageId: "objectParameter",
+          data: { parameter: parameterName(parameter, context.sourceCode) }
+        });
+      }
+    };
+    return {
+      Program(node) {
+        aliases.clear();
+        for (const statement of node.body) {
+          const declaration = statement.type === "ExportNamedDeclaration" ? statement.declaration : statement;
+          if (declaration?.type === "TSTypeAliasDeclaration" && (declaration.typeParameters === null || declaration.typeParameters === undefined)) {
+            aliases.set(declaration.id.name, declaration.typeAnnotation);
+          }
+        }
+      },
+      ArrowFunctionExpression: checkParameters,
+      FunctionDeclaration: checkParameters,
+      FunctionExpression: checkParameters,
+      TSCallSignatureDeclaration: checkParameters,
+      TSConstructSignatureDeclaration: checkParameters,
+      TSConstructorType: checkParameters,
+      TSDeclareFunction: checkParameters,
+      TSEmptyBodyFunctionExpression: checkParameters,
+      TSFunctionType: checkParameters,
+      TSMethodSignature: checkParameters
+    };
+  }
+});
+
+// ../../tools/oxlint/anti-slop/rules/no-reflect-apply.ts
+import { defineRule as defineRule6 } from "@oxlint/plugins";
+
+// ../../tools/oxlint/anti-slop/shared/reflect-method.ts
+function resolveVariable3(sourceCode, identifier) {
+  let scope = sourceCode.getScope(identifier);
+  while (scope !== null) {
+    const variable = scope.set.get(identifier.name);
+    if (variable !== undefined)
+      return variable;
+    scope = scope.upper;
+  }
+  return null;
+}
+function isGlobalReflect(sourceCode, expression) {
+  if (expression.type !== "Identifier" || expression.name !== "Reflect")
+    return false;
+  if (sourceCode.isGlobalReference(expression))
+    return true;
+  const variable = resolveVariable3(sourceCode, expression);
+  return variable === null || variable.defs.length === 0;
+}
+function isGlobalReflectMethodCall(sourceCode, callee, methodName) {
+  if (!("property" in callee) || !("object" in callee) || !("computed" in callee))
+    return false;
+  if (!isGlobalReflect(sourceCode, callee.object))
+    return false;
+  const property = callee.property;
+  return callee.computed ? property.type === "Literal" && property.value === methodName : property.type === "Identifier" && property.name === methodName;
+}
+
+// ../../tools/oxlint/anti-slop/rules/no-reflect-apply.ts
+var noReflectApplyRule = defineRule6({
+  meta: {
+    type: "problem",
+    docs: {
+      description: "Disallow Reflect.apply; call typed functions directly or model dynamic dispatch behind an interface."
+    },
+    messages: {
+      reflectApply: "Replace `Reflect.apply` with a typed function call. Model dynamic dispatch behind a named interface."
+    }
+  },
+  createOnce(context) {
+    return {
+      CallExpression(node) {
+        if (node.callee.type === "Super" || node.callee.type === "V8IntrinsicExpression")
+          return;
+        if (isGlobalReflectMethodCall(context.sourceCode, node.callee, "apply")) {
+          context.report({ node, messageId: "reflectApply" });
+        }
+      }
+    };
+  }
+});
+
+// ../../tools/oxlint/anti-slop/rules/no-reflect-get.ts
+import { defineRule as defineRule7 } from "@oxlint/plugins";
+var noReflectGetRule = defineRule7({
+  meta: {
+    type: "problem",
+    docs: {
+      description: "Disallow Reflect.get; use typed property access or parse dynamic input into a domain type."
+    },
+    messages: {
+      reflectGet: "Replace `Reflect.get` with typed property access. Parse dynamic input into a named domain type before reading it."
+    }
+  },
+  createOnce(context) {
+    return {
+      CallExpression(node) {
+        if (node.callee.type === "Super" || node.callee.type === "V8IntrinsicExpression")
+          return;
+        if (isGlobalReflectMethodCall(context.sourceCode, node.callee, "get")) {
+          context.report({ node, messageId: "reflectGet" });
+        }
+      }
+    };
+  }
+});
+
+// ../../tools/oxlint/anti-slop/rules/no-runtime-typeof.ts
+import { defineRule as defineRule8 } from "@oxlint/plugins";
+function isRuntimeFunction(node) {
+  return node.type === "ArrowFunctionExpression" || node.type === "FunctionDeclaration" || node.type === "FunctionExpression";
+}
+function isInsideTypeGuard(node) {
+  let current = node.parent;
+  while (current !== null && current.type !== "Program") {
+    if (isRuntimeFunction(current)) {
+      return current.returnType?.typeAnnotation.type === "TSTypePredicate";
+    }
+    current = current.parent;
+  }
+  return false;
+}
+var noRuntimeTypeofRule = defineRule8({
+  meta: {
+    type: "problem",
+    docs: {
+      description: "Disallow runtime typeof checks; external values must be decoded into meaningful types at their I/O boundary."
+    },
+    messages: {
+      runtimeTypeof: "A `typeof` check narrows a representation without establishing its contract. Parse input at its I/O boundary, then branch on the domain value."
+    },
+    schema: [
+      {
+        type: "object",
+        properties: {
+          allowInTypeGuards: { type: "boolean" }
+        },
+        additionalProperties: false
+      }
+    ],
+    defaultOptions: [{ allowInTypeGuards: false }]
+  },
+  createOnce(context) {
+    return {
+      UnaryExpression(node) {
+        const option = context.options?.[0];
+        const allowInTypeGuards = typeof option === "object" && option !== null && !Array.isArray(option) && option.allowInTypeGuards === true;
+        if (node.operator === "typeof" && (!allowInTypeGuards || !isInsideTypeGuard(node))) {
+          context.report({ node, messageId: "runtimeTypeof" });
+        }
+      }
+    };
+  }
+});
+
+// ../../tools/oxlint/anti-slop/rules/no-shape-in-symbol-names.ts
+import { defineRule as defineRule9 } from "@oxlint/plugins";
+var FORBIDDEN_SYMBOL_NAME = "shape";
+function containsForbiddenSymbolName(name) {
+  return name.toLowerCase().includes(FORBIDDEN_SYMBOL_NAME);
+}
+var noForbiddenTermInSymbolNamesRule = defineRule9({
+  meta: {
+    type: "problem",
+    docs: {
+      description: 'Disallow the case-insensitive substring "shape" in JavaScript, TypeScript, private, and JSX symbol names.'
+    },
+    messages: {
+      forbiddenSymbolName: 'Rename symbol "{{name}}" for its domain role; "shape" describes structure rather than ownership.'
+    }
+  },
+  createOnce(context) {
+    const reportForbiddenSymbolName = (node) => {
+      if (!containsForbiddenSymbolName(node.name))
+        return;
+      const parent = node.parent;
+      if (parent?.type === "ExportSpecifier" && parent.exported === node && parent.local.type === "Identifier" && parent.local.name !== node.name) {
+        return;
+      }
+      context.report({
+        node,
+        messageId: "forbiddenSymbolName",
+        data: { name: node.name }
+      });
+    };
+    return {
+      Identifier: reportForbiddenSymbolName,
+      PrivateIdentifier: reportForbiddenSymbolName,
+      JSXIdentifier: reportForbiddenSymbolName
+    };
+  }
+});
+
+// ../../tools/oxlint/anti-slop/rules/no-unknown-parameters.ts
+import { defineRule as defineRule10 } from "@oxlint/plugins";
+function parameterAnnotation2(parameter) {
+  if (parameter.type === "TSParameterProperty") {
+    return parameterAnnotation2(parameter.parameter);
+  }
+  if (parameter.type === "RestElement") {
+    return parameter.typeAnnotation ?? parameterAnnotation2(parameter.argument);
+  }
+  if (parameter.type === "AssignmentPattern") {
+    return parameter.typeAnnotation ?? parameter.left.typeAnnotation;
+  }
+  return parameter.typeAnnotation;
+}
+function parameterName2(parameter, sourceText) {
+  if (parameter.type === "TSParameterProperty") {
+    return parameterName2(parameter.parameter, sourceText);
+  }
+  if (parameter.type === "AssignmentPattern") {
+    return parameterName2(parameter.left, sourceText);
+  }
+  if (parameter.type === "RestElement") {
+    return parameterName2(parameter.argument, sourceText);
+  }
+  return parameter.type === "Identifier" ? parameter.name : sourceText.replace(/\s*:\s*unknown\s*$/u, "");
+}
+var noUnknownParametersRule = defineRule10({
+  meta: {
+    type: "problem",
+    docs: {
+      description: "Disallow explicitly unknown function parameters except `cause`; decode unknown input at its I/O boundary instead."
+    },
+    messages: {
+      unknownParameter: "Parameter `{{parameter}}` leaves input unparsed. Accept a named domain type; run the expected schema or parser at the I/O boundary before calling this function."
+    }
+  },
+  createOnce(context) {
+    const checkParameters = (node) => {
+      for (const parameter of node.params) {
+        const annotation = parameterAnnotation2(parameter);
+        if (annotation?.typeAnnotation.type !== "TSUnknownKeyword")
+          continue;
+        const name = parameterName2(parameter, context.sourceCode.getText(parameter));
+        if (name === "cause")
+          continue;
+        context.report({
+          node: annotation.typeAnnotation,
+          messageId: "unknownParameter",
+          data: { parameter: name }
+        });
+      }
+    };
+    return {
+      ArrowFunctionExpression: checkParameters,
+      FunctionDeclaration: checkParameters,
+      FunctionExpression: checkParameters,
+      TSCallSignatureDeclaration: checkParameters,
+      TSConstructSignatureDeclaration: checkParameters,
+      TSConstructorType: checkParameters,
+      TSDeclareFunction: checkParameters,
+      TSEmptyBodyFunctionExpression: checkParameters,
+      TSFunctionType: checkParameters,
+      TSMethodSignature: checkParameters
+    };
+  }
+});
+
+// ../../tools/oxlint/anti-slop/rules/no-unknown-returns.ts
+import { defineRule as defineRule11 } from "@oxlint/plugins";
+function referencedAliasName(type) {
+  if (type.type === "TSParenthesizedType")
+    return referencedAliasName(type.typeAnnotation);
+  if (type.type !== "TSTypeReference" || type.typeName.type !== "Identifier")
+    return null;
+  return type.typeArguments === null || type.typeArguments === undefined || type.typeArguments.params.length === 0 ? type.typeName.name : null;
+}
+var noUnknownReturnsRule = defineRule11({
+  meta: {
+    type: "problem",
+    docs: {
+      description: "Disallow functions whose explicit return contract is unknown or Promise<unknown>."
+    },
+    messages: {
+      unknownReturn: "This function exposes `unknown` to its caller. Parse the value at its boundary and return a named domain type."
+    }
+  },
+  createOnce(context) {
+    const aliases = new Map;
+    const resolvesToUnknown = (type, shadowedAliases, visited = new Set) => {
+      if (type.type === "TSUnknownKeyword")
+        return true;
+      if (type.type === "TSParenthesizedType") {
+        return resolvesToUnknown(type.typeAnnotation, shadowedAliases, visited);
+      }
+      if (type.type === "TSUnionType") {
+        return type.types.some((member) => resolvesToUnknown(member, shadowedAliases, visited));
+      }
+      if (type.type === "TSTypeReference" && type.typeName.type === "Identifier" && (type.typeName.name === "Promise" || type.typeName.name === "PromiseLike")) {
+        const value = type.typeArguments?.params[0];
+        return value !== undefined && resolvesToUnknown(value, shadowedAliases, visited);
+      }
+      const name = referencedAliasName(type);
+      if (name === null || visited.has(name) || shadowedAliases.has(name))
+        return false;
+      const alias = aliases.get(name);
+      if (alias === undefined || alias.typeParameters !== null && alias.typeParameters !== undefined) {
+        return false;
+      }
+      const nextVisited = new Set(visited);
+      nextVisited.add(name);
+      return resolvesToUnknown(alias.typeAnnotation, shadowedAliases, nextVisited);
+    };
+    const checkReturnType = (node) => {
+      const annotation = node.returnType;
+      if (annotation === null || annotation === undefined)
+        return;
+      if (!resolvesToUnknown(annotation.typeAnnotation, lexicalTypeParameterNames(node, context.sourceCode.visitorKeys))) {
+        return;
+      }
+      context.report({
+        node: annotation.typeAnnotation,
+        messageId: "unknownReturn"
+      });
+    };
+    return {
+      Program(node) {
+        aliases.clear();
+        for (const statement of node.body) {
+          const declaration = statement.type === "ExportNamedDeclaration" ? statement.declaration : statement;
+          if (declaration?.type === "TSTypeAliasDeclaration") {
+            aliases.set(declaration.id.name, declaration);
+          }
+        }
+      },
+      ArrowFunctionExpression: checkReturnType,
+      FunctionDeclaration: checkReturnType,
+      FunctionExpression: checkReturnType,
+      TSCallSignatureDeclaration: checkReturnType,
+      TSConstructSignatureDeclaration: checkReturnType,
+      TSConstructorType: checkReturnType,
+      TSDeclareFunction: checkReturnType,
+      TSEmptyBodyFunctionExpression: checkReturnType,
+      TSFunctionType: checkReturnType,
+      TSMethodSignature: checkReturnType
+    };
+  }
+});
+
+// ../../tools/oxlint/anti-slop/rules/no-unknown-type-aliases.ts
+import { defineRule as defineRule12 } from "@oxlint/plugins";
+function referencedAliasName2(type) {
+  if (type.type === "TSParenthesizedType")
+    return referencedAliasName2(type.typeAnnotation);
+  if (type.type !== "TSTypeReference" || type.typeName.type !== "Identifier")
+    return null;
+  return type.typeArguments === null || type.typeArguments === undefined || type.typeArguments.params.length === 0 ? type.typeName.name : null;
+}
+var noUnknownTypeAliasesRule = defineRule12({
+  meta: {
+    type: "problem",
+    docs: {
+      description: "Disallow type aliases whose resolved type is unknown; unknown must remain visible at an allowed boundary."
+    },
+    messages: {
+      unknownAlias: "Type alias `{{alias}}` hides `unknown`. Keep `unknown` explicit at the parsing boundary or on an allowed `cause` field; otherwise use the parsed owner type."
+    }
+  },
+  createOnce(context) {
+    const aliases = new Map;
+    const resolvesToUnknown = (type, visited = new Set) => {
+      if (type.type === "TSUnknownKeyword")
+        return true;
+      if (type.type === "TSParenthesizedType")
+        return resolvesToUnknown(type.typeAnnotation, visited);
+      const name = referencedAliasName2(type);
+      if (name === null || visited.has(name))
+        return false;
+      const alias = aliases.get(name);
+      if (alias === undefined || alias.typeParameters !== null && alias.typeParameters !== undefined) {
+        return false;
+      }
+      const nextVisited = new Set(visited);
+      nextVisited.add(name);
+      return resolvesToUnknown(alias.typeAnnotation, nextVisited);
+    };
+    return {
+      Program(node) {
+        aliases.clear();
+        for (const statement of node.body) {
+          const declaration = statement.type === "ExportNamedDeclaration" ? statement.declaration : statement;
+          if (declaration?.type === "TSTypeAliasDeclaration") {
+            aliases.set(declaration.id.name, declaration);
+          }
+        }
+        for (const alias of aliases.values()) {
+          if (!resolvesToUnknown(alias.typeAnnotation, new Set([alias.id.name])))
+            continue;
+          context.report({
+            node: alias.id,
+            messageId: "unknownAlias",
+            data: { alias: alias.id.name }
+          });
+        }
+      }
+    };
+  }
+});
+
+// ../../tools/oxlint/anti-slop/rules/no-unsafe-dictionary-type.ts
+import { defineRule as defineRule13 } from "@oxlint/plugins";
+var typeNodeKinds = new Set([
+  "JSDocNonNullableType",
+  "JSDocNullableType",
+  "JSDocUnknownType",
+  "TSAnyKeyword",
+  "TSArrayType",
+  "TSBigIntKeyword",
+  "TSBooleanKeyword",
+  "TSConditionalType",
+  "TSConstructorType",
+  "TSFunctionType",
+  "TSImportType",
+  "TSIndexedAccessType",
+  "TSInferType",
+  "TSIntersectionType",
+  "TSIntrinsicKeyword",
+  "TSLiteralType",
+  "TSMappedType",
+  "TSNamedTupleMember",
+  "TSNeverKeyword",
+  "TSNullKeyword",
+  "TSNumberKeyword",
+  "TSObjectKeyword",
+  "TSParenthesizedType",
+  "TSStringKeyword",
+  "TSSymbolKeyword",
+  "TSTemplateLiteralType",
+  "TSThisType",
+  "TSTupleType",
+  "TSTypeLiteral",
+  "TSTypeOperator",
+  "TSTypePredicate",
+  "TSTypeQuery",
+  "TSTypeReference",
+  "TSUndefinedKeyword",
+  "TSUnionType",
+  "TSUnknownKeyword",
+  "TSVoidKeyword"
+]);
+function isTypeNode(node) {
+  return typeNodeKinds.has(node.type);
+}
+function typeReferenceName2(type) {
+  return type.typeName.type === "Identifier" ? type.typeName.name : null;
+}
+function isInsideTypeAliasDeclaration(node) {
+  let current = node.parent;
+  while (current !== null && current.type !== "Program") {
+    if (current.type === "TSTypeAliasDeclaration")
+      return true;
+    current = current.parent;
+  }
+  return false;
+}
+function isPlainAliasConsumerUse(node, environment) {
+  if (node.type !== "TSTypeReference" || node.typeArguments?.params.length)
+    return false;
+  const name = typeReferenceName2(node);
+  return name !== null && environment.aliases.has(name) && !isInsideTypeAliasDeclaration(node);
+}
+function shouldReportType(node, environment) {
+  if (isPlainAliasConsumerUse(node, environment))
+    return false;
+  if (classifyUnsafeDictionary(node, environment) === null)
+    return false;
+  let current = node.parent;
+  while (current !== null && current.type !== "Program") {
+    if (isTypeNode(current) && classifyUnsafeDictionary(current, environment) !== null)
+      return false;
+    current = current.parent;
+  }
+  return true;
+}
+var noUnsafeDictionaryTypeRule = defineRule13({
+  meta: {
+    type: "problem",
+    docs: {
+      description: "Disallow object-dictionary contracts whose direct value type is unknown, any, object, {}, or a union/alias containing one of those escape hatches."
+    },
+    messages: {
+      unsafeDictionary: "This dictionary's {{value}} value type gives callers no concrete value contract. Use an owner/schema-derived value type; parse external payloads before insertion."
+    }
+  },
+  createOnce(context) {
+    let environment = null;
+    const report = (node, value) => {
+      context.report({ node, messageId: "unsafeDictionary", data: { value } });
+    };
+    const reportIfUnsafe = (node) => {
+      if (environment === null || !shouldReportType(node, environment))
+        return;
+      const unsafe = classifyUnsafeDictionary(node, environment);
+      if (unsafe === null)
+        return;
+      report(node, unsafe.unsafeValue);
+    };
+    return {
+      Program(node) {
+        environment = createTypeEnvironment(node);
+      },
+      TSTypeReference: reportIfUnsafe,
+      TSTypeLiteral: reportIfUnsafe,
+      TSMappedType: reportIfUnsafe,
+      TSIndexSignature(node) {
+        if (environment === null || node.typeAnnotation === null || node.parent.type === "TSTypeLiteral")
+          return;
+        const unsafe = classifyUnsafeDictionaryValue(node.typeAnnotation.typeAnnotation, environment);
+        if (unsafe !== null)
+          report(node, unsafe.unsafeValue);
+      }
+    };
+  }
+});
+
+// ../../tools/oxlint/anti-slop/rules/no-widen-then-assert.ts
+import { defineRule as defineRule14 } from "@oxlint/plugins";
+var functionBoundaryTypes = new Set([
+  "ArrowFunctionExpression",
+  "FunctionDeclaration",
+  "FunctionExpression",
+  "TSDeclareFunction",
+  "TSEmptyBodyFunctionExpression"
+]);
+function unwrapExpressionParentheses(expression) {
+  let current = expression;
+  while (current.type === "ParenthesizedExpression")
+    current = current.expression;
+  return current;
+}
+function unwrapTypeParentheses(type) {
+  let current = type;
+  while (current.type === "TSParenthesizedType")
+    current = current.typeAnnotation;
+  return current;
+}
+function typeReferenceName3(type) {
+  return type.typeName.type === "Identifier" ? type.typeName.name : null;
+}
+function isUnknownOrAnyType(type) {
+  const unwrapped = unwrapTypeParentheses(type);
+  return unwrapped.type === "TSUnknownKeyword" || unwrapped.type === "TSAnyKeyword";
+}
+function isBroadRecordKeyType(type) {
+  const unwrapped = unwrapTypeParentheses(type);
+  if (unwrapped.type === "TSStringKeyword" || unwrapped.type === "TSNumberKeyword" || unwrapped.type === "TSSymbolKeyword") {
+    return true;
+  }
+  if (unwrapped.type === "TSUnionType")
+    return unwrapped.types.every(isBroadRecordKeyType);
+  return unwrapped.type === "TSTypeReference" && typeReferenceName3(unwrapped) === "PropertyKey";
+}
+function isBroadRecordType(type) {
+  const unwrapped = unwrapTypeParentheses(type);
+  if (unwrapped.type === "TSTypeReference") {
+    if (typeReferenceName3(unwrapped) === "Readonly") {
+      const [inner] = unwrapped.typeArguments?.params ?? [];
+      return inner !== undefined && isBroadRecordType(inner);
+    }
+    if (typeReferenceName3(unwrapped) !== "Record")
+      return false;
+    const parameters = unwrapped.typeArguments?.params ?? [];
+    return parameters.length === 2 && parameters[0] !== undefined && parameters[1] !== undefined && isBroadRecordKeyType(parameters[0]) && isUnknownOrAnyType(parameters[1]);
+  }
+  if (unwrapped.type !== "TSTypeLiteral" || unwrapped.members.length !== 1)
+    return false;
+  const [member] = unwrapped.members;
+  const [parameter] = member?.type === "TSIndexSignature" ? member.parameters : [];
+  return member?.type === "TSIndexSignature" && member.parameters.length === 1 && parameter !== undefined && isBroadRecordKeyType(parameter.typeAnnotation.typeAnnotation) && isUnknownOrAnyType(member.typeAnnotation.typeAnnotation);
+}
+function broadTypeKind(type) {
+  const unwrapped = unwrapTypeParentheses(type);
+  if (unwrapped.type === "TSUnknownKeyword" || unwrapped.type === "TSAnyKeyword")
+    return "top";
+  if (unwrapped.type === "TSObjectKeyword")
+    return "object";
+  return isBroadRecordType(unwrapped) ? "record" : null;
+}
+function assertedExpression(node) {
+  return unwrapExpressionParentheses(node.expression);
+}
+function assertionFromExpression(expression) {
+  const unwrapped = unwrapExpressionParentheses(expression);
+  return unwrapped.type === "TSAsExpression" || unwrapped.type === "TSTypeAssertion" ? unwrapped : null;
+}
+function normalizedTypeText(sourceText, type) {
+  return sourceText.slice(type.start, type.end).replaceAll(/\s+/gu, "");
+}
+function typesHaveSameSyntax(sourceText, left, right) {
+  return left !== null && normalizedTypeText(sourceText, unwrapTypeParentheses(left)) === normalizedTypeText(sourceText, unwrapTypeParentheses(right));
+}
+function isDefinitelyObjectType(type) {
+  const unwrapped = unwrapTypeParentheses(type);
+  switch (unwrapped.type) {
+    case "TSArrayType":
+    case "TSConstructorType":
+    case "TSFunctionType":
+    case "TSMappedType":
+    case "TSObjectKeyword":
+    case "TSTupleType":
+      return true;
+    case "TSTypeLiteral":
+      return unwrapped.members.length > 0;
+    case "TSIntersectionType":
+      return unwrapped.types.every(isDefinitelyObjectType);
+    case "TSTypeOperator":
+      return unwrapped.operator === "readonly" && isDefinitelyObjectType(unwrapped.typeAnnotation);
+    default:
+      return false;
+  }
+}
+function isDefinitelyNarrowerRecordType(type) {
+  const unwrapped = unwrapTypeParentheses(type);
+  if (unwrapped.type === "TSTypeLiteral") {
+    return unwrapped.members.some((member) => member.type !== "TSIndexSignature");
+  }
+  if (unwrapped.type !== "TSTypeReference")
+    return false;
+  if (typeReferenceName3(unwrapped) === "Readonly") {
+    const [inner] = unwrapped.typeArguments?.params ?? [];
+    return inner !== undefined && isDefinitelyNarrowerRecordType(inner);
+  }
+  if (typeReferenceName3(unwrapped) !== "Record")
+    return false;
+  const parameters = unwrapped.typeArguments?.params ?? [];
+  return parameters.length === 2 && parameters[1] !== undefined && !isUnknownOrAnyType(parameters[1]);
+}
+function functionBoundary(node) {
+  let current = node.parent;
+  while (current !== null && current.type !== "Program") {
+    if (functionBoundaryTypes.has(current.type))
+      return current;
+    current = current.parent;
+  }
+  return null;
+}
+function resolvedVariableForIdentifier(scopes, identifier) {
+  for (const scope of scopes) {
+    const reference = scope.references.find((candidate) => candidate.identifier.start === identifier.start && candidate.identifier.end === identifier.end);
+    if (reference !== undefined)
+      return reference.resolved;
+  }
+  return null;
+}
+function variableDeclarator2(variable) {
+  for (const definition of variable.defs) {
+    if (definition.type === "Variable" && definition.node.type === "VariableDeclarator") {
+      return definition.node;
+    }
+  }
+  return null;
+}
+function knownValueEvidence(expression, scopes, boundary, visitedVariables) {
+  const unwrapped = unwrapExpressionParentheses(expression);
+  if (unwrapped.type === "TSAsExpression" || unwrapped.type === "TSTypeAssertion") {
+    if (broadTypeKind(unwrapped.typeAnnotation) !== null)
+      return null;
+    return { type: unwrapped.typeAnnotation };
+  }
+  if (unwrapped.type === "Literal" || unwrapped.type === "TemplateLiteral") {
+    return { type: null };
+  }
+  if (unwrapped.type === "ArrayExpression" || unwrapped.type === "ArrowFunctionExpression" || unwrapped.type === "ClassExpression" || unwrapped.type === "FunctionExpression" || unwrapped.type === "NewExpression" || unwrapped.type === "ObjectExpression") {
+    return { type: null };
+  }
+  if (unwrapped.type !== "Identifier")
+    return null;
+  const variable = resolvedVariableForIdentifier(scopes, unwrapped);
+  if (variable === null || visitedVariables.has(variable))
+    return null;
+  const annotatedIdentifier = variable.identifiers.find((identifier) => identifier.typeAnnotation !== null && identifier.typeAnnotation !== undefined);
+  const annotation = annotatedIdentifier?.typeAnnotation?.typeAnnotation;
+  if (annotation !== undefined && annotatedIdentifier !== undefined) {
+    if (functionBoundary(annotatedIdentifier) !== boundary || broadTypeKind(annotation) !== null) {
+      return null;
+    }
+    return { type: annotation };
+  }
+  const declarator = variableDeclarator2(variable);
+  if (declarator === null || declarator.parent.type !== "VariableDeclaration" || declarator.parent.kind !== "const" || declarator.init === null || variable.references.some((reference) => reference.isWrite() && !reference.init) || functionBoundary(declarator) !== boundary) {
+    return null;
+  }
+  return knownValueEvidence(declarator.init, scopes, boundary, new Set([...visitedVariables, variable]));
+}
+function widenedBinding(variable, scopes) {
+  const declarator = variableDeclarator2(variable);
+  if (declarator === null || declarator.parent.type !== "VariableDeclaration" || declarator.parent.kind !== "const" || declarator.id.type !== "Identifier" || declarator.init === null || variable.references.some((reference) => reference.isWrite() && !reference.init)) {
+    return null;
+  }
+  const boundary = functionBoundary(declarator);
+  const declaredType = declarator.id.typeAnnotation?.typeAnnotation;
+  const initializerAssertion = assertionFromExpression(declarator.init);
+  const initializerBroadKind = initializerAssertion === null ? null : broadTypeKind(initializerAssertion.typeAnnotation);
+  const declaredBroadKind = declaredType === undefined ? null : broadTypeKind(declaredType);
+  const broadKind = declaredBroadKind ?? initializerBroadKind;
+  if (broadKind === null)
+    return null;
+  const originalExpression = initializerAssertion !== null && initializerBroadKind !== null ? assertedExpression(initializerAssertion) : declarator.init;
+  const evidence = knownValueEvidence(originalExpression, scopes, boundary, new Set([variable]));
+  return evidence === null ? null : { broadKind, evidence, declaredAt: declarator.end, boundary };
+}
+function assertionIsNarrower(sourceText, broadKind, evidence, assertedType) {
+  if (broadTypeKind(assertedType) !== null)
+    return false;
+  if (broadKind === "top")
+    return true;
+  if (typesHaveSameSyntax(sourceText, evidence.type, assertedType))
+    return true;
+  if (broadKind === "object")
+    return isDefinitelyObjectType(assertedType);
+  return isDefinitelyNarrowerRecordType(assertedType);
+}
+var noWidenThenAssertRule = defineRule14({
+  meta: {
+    type: "problem",
+    docs: {
+      description: "Disallow local const flows that explicitly widen a known value before asserting the widened binding to a narrower type."
+    },
+    messages: {
+      widenThenAssert: 'Binding "{{name}}" discards type evidence and later recreates it with an assertion. Keep the precise type from initialization through use; parse boundary input once.'
+    }
+  },
+  createOnce(context) {
+    let scopes = [];
+    const checkAssertion = (node) => {
+      const expression = assertedExpression(node);
+      if (expression.type !== "Identifier")
+        return;
+      const variable = resolvedVariableForIdentifier(scopes, expression);
+      if (variable === null)
+        return;
+      const widened = widenedBinding(variable, scopes);
+      if (widened === null || node.start <= widened.declaredAt || functionBoundary(node) !== widened.boundary || !assertionIsNarrower(context.sourceCode.text, widened.broadKind, widened.evidence, node.typeAnnotation)) {
+        return;
+      }
+      context.report({
+        node,
+        messageId: "widenThenAssert",
+        data: { name: expression.name }
+      });
+    };
+    return {
+      Program() {
+        scopes = context.sourceCode.scopeManager.scopes;
+      },
+      TSAsExpression: checkAssertion,
+      TSTypeAssertion: checkAssertion
+    };
+  }
+});
+
+// ../../tools/oxlint/anti-slop/rules/require-safety-comment-for-type-assertion.ts
+import { defineRule as defineRule15 } from "@oxlint/plugins";
+var commentOwnerKinds = new Set([
+  "ExpressionStatement",
+  "PropertyDefinition",
+  "ReturnStatement",
+  "ThrowStatement",
+  "VariableDeclaration"
+]);
+function isConstAssertion2(node) {
+  return node.typeAnnotation.type === "TSTypeReference" && node.typeAnnotation.typeName.type === "Identifier" && node.typeAnnotation.typeName.name === "const";
+}
+function hasSafetyComment(sourceCode, node) {
+  let current = node;
+  while (true) {
+    if (sourceCode.getCommentsBefore(current).some((comment) => comment.end <= node.start && /\bSAFETY\s*:/u.test(comment.value))) {
+      return true;
+    }
+    if (commentOwnerKinds.has(current.type) || current.parent.type === "Program")
+      return false;
+    current = current.parent;
+  }
+}
+var requireSafetyCommentForTypeAssertionRule = defineRule15({
+  meta: {
+    type: "problem",
+    docs: {
+      description: "Require a nearby SAFETY comment for every TypeScript type assertion except const assertions."
+    },
+    messages: {
+      missingSafetyComment: "This type assertion has no `SAFETY:` justification. State the checked invariant immediately before the assertion or its containing statement."
+    }
+  },
+  createOnce(context) {
+    const checkAssertion = (node) => {
+      if (isConstAssertion2(node) || hasSafetyComment(context.sourceCode, node))
+        return;
+      context.report({ node, messageId: "missingSafetyComment" });
+    };
+    return {
+      TSAsExpression: checkAssertion,
+      TSTypeAssertion: checkAssertion
+    };
+  }
+});
+
+// ../../tools/oxlint/anti-slop/index.ts
+var antiSlopPlugin = eslintCompatPlugin({
+  meta: { name: "anti-slop" },
+  rules: {
+    "no-chained-type-assertions": noChainedTypeAssertionsRule,
+    "no-conditional-empty-object-spread": noConditionalEmptyObjectSpreadRule,
+    "no-known-value-widening": noKnownValueWideningRule,
+    "no-module-mocking": noModuleMockingRule,
+    "no-object-parameters": noObjectParametersRule,
+    "no-reflect-apply": noReflectApplyRule,
+    "no-reflect-get": noReflectGetRule,
+    "no-runtime-typeof": noRuntimeTypeofRule,
+    "no-unsafe-dictionary-type": noUnsafeDictionaryTypeRule,
+    "no-shape-in-symbol-names": noForbiddenTermInSymbolNamesRule,
+    "no-unknown-parameters": noUnknownParametersRule,
+    "no-unknown-returns": noUnknownReturnsRule,
+    "no-unknown-type-aliases": noUnknownTypeAliasesRule,
+    "no-widen-then-assert": noWidenThenAssertRule,
+    "require-safety-comment-for-type-assertion": requireSafetyCommentForTypeAssertionRule
+  }
+});
+var anti_slop_default = antiSlopPlugin;
+export {
+  anti_slop_default as default
+};