@kamaal111/oxlint-plugin-anti-slop 0.0.2 → 0.0.3

package/README.md

@@ -4,7 +4,56 @@
 
 Opinionated Oxlint rules that reject low-evidence and low-signal TypeScript and JavaScript patterns.
 
-This project is meant to be vendored, not treated as a fixed npm dependency. Copy the rules into your repository, read them, and change them to match your team's standards. The bundled agent skill handles the initial copy and configuration; after that, the vendored files are yours to maintain and make your own.
+Published as `@kamaal111/oxlint-plugin-anti-slop` for repositories that want to track upstream releases as a normal npm dependency. If you'd rather read, tweak, and own the rules directly, vendor the source instead — the bundled agent skill handles the initial copy and configuration.
+
+## Install as an npm dependency
+
+```bash
+npm install --save-dev @kamaal111/oxlint-plugin-anti-slop
+```
+
+Register it in `oxlint.config.ts`:
+
+```ts
+import { defineConfig } from "oxlint";
+
+export default defineConfig({
+  jsPlugins: [
+    { name: "anti-slop", specifier: "@kamaal111/oxlint-plugin-anti-slop" },
+  ],
+  rules: {
+    "anti-slop/no-chained-type-assertions": "error",
+    "anti-slop/no-conditional-empty-object-spread": "error",
+    "anti-slop/no-known-value-widening": "error",
+    "anti-slop/no-module-mocking": "error",
+    "anti-slop/no-object-parameters": "error",
+    "anti-slop/no-reflect-apply": "error",
+    "anti-slop/no-reflect-get": "error",
+    "anti-slop/no-runtime-typeof": "error",
+    "anti-slop/no-shape-in-symbol-names": "error",
+    "anti-slop/no-unknown-parameters": "error",
+    "anti-slop/no-unknown-returns": "error",
+    "anti-slop/no-unknown-type-aliases": "error",
+    "anti-slop/no-unsafe-dictionary-type": "error",
+    "anti-slop/no-widen-then-assert": "error",
+    "anti-slop/require-safety-comment-for-type-assertion": "error"
+  }
+});
+```
+
+The optional Effect rules live at the `@kamaal111/oxlint-plugin-anti-slop/effect` subpath:
+
+```ts
+export default defineConfig({
+  jsPlugins: [
+    { name: "anti-slop", specifier: "@kamaal111/oxlint-plugin-anti-slop" },
+    { name: "anti-slop-effect", specifier: "@kamaal111/oxlint-plugin-anti-slop/effect" }
+  ],
+  rules: {
+    "anti-slop-effect/no-service-constructor-imports": "error"
+  }
+});
+```
 
 ## Install with an agent skill
 

package/dist/effect/index.d.ts

@@ -0,0 +1,4 @@
+/** Opt-in Oxlint rules for Effect service and Layer architecture. */
+declare const antiSlopEffectPlugin: import("@oxlint/plugins").Plugin;
+export default antiSlopEffectPlugin;
+//# sourceMappingURL=index.d.ts.map

package/dist/effect/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/effect/index.ts"],"names":[],"mappings":"AAIA,qEAAqE;AACrE,QAAA,MAAM,oBAAoB,kCAKxB,CAAC;eAEY,oBAAoB"}

package/{src/effect/index.ts → dist/effect/index.js}

@@ -1,13 +1,11 @@
 import { eslintCompatPlugin } from "@oxlint/plugins";
-
-import { noServiceConstructorImportsRule } from "./rules/no-service-constructor-imports.ts";
-
+import { noServiceConstructorImportsRule } from "./rules/no-service-constructor-imports.js";
 /** Opt-in Oxlint rules for Effect service and Layer architecture. */
 const antiSlopEffectPlugin = eslintCompatPlugin({
-	meta: { name: "anti-slop-effect" },
-	rules: {
-		"no-service-constructor-imports": noServiceConstructorImportsRule,
-	},
+    meta: { name: "anti-slop-effect" },
+    rules: {
+        "no-service-constructor-imports": noServiceConstructorImportsRule,
+    },
 });
-
 export default antiSlopEffectPlugin;
+//# sourceMappingURL=index.js.map

package/dist/effect/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/effect/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAErD,OAAO,EAAE,+BAA+B,EAAE,MAAM,2CAA2C,CAAC;AAE5F,qEAAqE;AACrE,MAAM,oBAAoB,GAAG,kBAAkB,CAAC;IAC/C,IAAI,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE;IAClC,KAAK,EAAE;QACN,gCAAgC,EAAE,+BAA+B;KACjE;CACD,CAAC,CAAC;AAEH,eAAe,oBAAoB,CAAC"}

package/dist/effect/rules/no-service-constructor-imports.d.ts

@@ -0,0 +1,3 @@
+/** Keep dependency-bearing Effect service constructors local to their owning capability modules. */
+export declare const noServiceConstructorImportsRule: import("@oxlint/plugins").Rule;
+//# sourceMappingURL=no-service-constructor-imports.d.ts.map

package/dist/effect/rules/no-service-constructor-imports.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-service-constructor-imports.d.ts","sourceRoot":"","sources":["../../../src/effect/rules/no-service-constructor-imports.ts"],"names":[],"mappings":"AAgBA,oGAAoG;AACpG,eAAO,MAAM,+BAA+B,gCAkC1C,CAAC"}

package/dist/effect/rules/no-service-constructor-imports.js

@@ -0,0 +1,45 @@
+import { defineRule } from "@oxlint/plugins";
+const SERVICE_CONSTRUCTOR_NAME = /^make[A-Z]/u;
+const TEST_FILE = /\.(?:test|spec)\.[cm]?[jt]sx?$/u;
+function isProjectLocalImport(source) {
+    return source.startsWith("./") || source.startsWith("../");
+}
+function getImportedName(specifier) {
+    if (specifier.imported.type === "Identifier")
+        return specifier.imported.name;
+    return specifier.imported.value;
+}
+/** Keep dependency-bearing Effect service constructors local to their owning capability modules. */
+export const noServiceConstructorImportsRule = defineRule({
+    meta: {
+        type: "problem",
+        docs: {
+            description: "Disallow project-local make<CapabilityName> imports outside test and spec files.",
+        },
+        messages: {
+            serviceConstructorImport: 'Do not import Effect service constructor "{{name}}" into runtime code. Import the owning Layer, yield the contextual service, and allow its requirements to propagate to the composition root.',
+        },
+    },
+    create(context) {
+        const isTestFile = TEST_FILE.test(context.filename.replaceAll("\\", "/"));
+        return {
+            ImportDeclaration(node) {
+                if (isTestFile || !isProjectLocalImport(node.source.value))
+                    return;
+                for (const specifier of node.specifiers) {
+                    if (specifier.type !== "ImportSpecifier")
+                        continue;
+                    const importedName = getImportedName(specifier);
+                    if (!SERVICE_CONSTRUCTOR_NAME.test(importedName))
+                        continue;
+                    context.report({
+                        node: specifier,
+                        messageId: "serviceConstructorImport",
+                        data: { name: importedName },
+                    });
+                }
+            },
+        };
+    },
+});
+//# sourceMappingURL=no-service-constructor-imports.js.map

package/dist/effect/rules/no-service-constructor-imports.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-service-constructor-imports.js","sourceRoot":"","sources":["../../../src/effect/rules/no-service-constructor-imports.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAI7C,MAAM,wBAAwB,GAAG,aAAa,CAAC;AAC/C,MAAM,SAAS,GAAG,iCAAiC,CAAC;AAEpD,SAAS,oBAAoB,CAAC,MAAc;IAC3C,OAAO,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,eAAe,CAAC,SAAiC;IACzD,IAAI,SAAS,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC7E,OAAO,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC;AACjC,CAAC;AAED,oGAAoG;AACpG,MAAM,CAAC,MAAM,+BAA+B,GAAG,UAAU,CAAC;IACzD,IAAI,EAAE;QACL,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACL,WAAW,EACV,kFAAkF;SACnF;QACD,QAAQ,EAAE;YACT,wBAAwB,EACvB,gMAAgM;SACjM;KACD;IACD,MAAM,CAAC,OAAO;QACb,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;QAE1E,OAAO;YACN,iBAAiB,CAAC,IAAI;gBACrB,IAAI,UAAU,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;oBAAE,OAAO;gBAEnE,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;oBACzC,IAAI,SAAS,CAAC,IAAI,KAAK,iBAAiB;wBAAE,SAAS;oBAEnD,MAAM,YAAY,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;oBAChD,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,YAAY,CAAC;wBAAE,SAAS;oBAE3D,OAAO,CAAC,MAAM,CAAC;wBACd,IAAI,EAAE,SAAS;wBACf,SAAS,EAAE,0BAA0B;wBACrC,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;qBAC5B,CAAC,CAAC;gBACJ,CAAC;YACF,CAAC;SACD,CAAC;IACH,CAAC;CACD,CAAC,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,4 @@
+/** Generic Oxlint rules that reject low-evidence and low-signal implementation patterns. */
+declare const antiSlopPlugin: import("@oxlint/plugins").Plugin;
+export default antiSlopPlugin;
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAkBA,4FAA4F;AAC5F,QAAA,MAAM,cAAc,kCAmBlB,CAAC;eAEY,cAAc"}

package/dist/index.js

@@ -0,0 +1,39 @@
+import { eslintCompatPlugin } from "@oxlint/plugins";
+import { noChainedTypeAssertionsRule } from "./rules/no-chained-type-assertions.js";
+import { noConditionalEmptyObjectSpreadRule } from "./rules/no-conditional-empty-object-spread.js";
+import { noKnownValueWideningRule } from "./rules/no-known-value-widening.js";
+import { noModuleMockingRule } from "./rules/no-module-mocking.js";
+import { noObjectParametersRule } from "./rules/no-object-parameters.js";
+import { noReflectApplyRule } from "./rules/no-reflect-apply.js";
+import { noReflectGetRule } from "./rules/no-reflect-get.js";
+import { noRuntimeTypeofRule } from "./rules/no-runtime-typeof.js";
+import { noForbiddenTermInSymbolNamesRule } from "./rules/no-shape-in-symbol-names.js";
+import { noUnknownParametersRule } from "./rules/no-unknown-parameters.js";
+import { noUnknownReturnsRule } from "./rules/no-unknown-returns.js";
+import { noUnknownTypeAliasesRule } from "./rules/no-unknown-type-aliases.js";
+import { noUnsafeDictionaryTypeRule } from "./rules/no-unsafe-dictionary-type.js";
+import { noWidenThenAssertRule } from "./rules/no-widen-then-assert.js";
+import { requireSafetyCommentForTypeAssertionRule } from "./rules/require-safety-comment-for-type-assertion.js";
+/** Generic Oxlint rules that reject low-evidence and low-signal implementation patterns. */
+const 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,
+    },
+});
+export default antiSlopPlugin;
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAErD,OAAO,EAAE,2BAA2B,EAAE,MAAM,uCAAuC,CAAC;AACpF,OAAO,EAAE,kCAAkC,EAAE,MAAM,+CAA+C,CAAC;AACnG,OAAO,EAAE,wBAAwB,EAAE,MAAM,oCAAoC,CAAC;AAC9E,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,EAAE,gCAAgC,EAAE,MAAM,qCAAqC,CAAC;AACvF,OAAO,EAAE,uBAAuB,EAAE,MAAM,kCAAkC,CAAC;AAC3E,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,EAAE,wBAAwB,EAAE,MAAM,oCAAoC,CAAC;AAC9E,OAAO,EAAE,0BAA0B,EAAE,MAAM,sCAAsC,CAAC;AAClF,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AACxE,OAAO,EAAE,wCAAwC,EAAE,MAAM,sDAAsD,CAAC;AAEhH,4FAA4F;AAC5F,MAAM,cAAc,GAAG,kBAAkB,CAAC;IACzC,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE;IAC3B,KAAK,EAAE;QACN,4BAA4B,EAAE,2BAA2B;QACzD,oCAAoC,EAAE,kCAAkC;QACxE,yBAAyB,EAAE,wBAAwB;QACnD,mBAAmB,EAAE,mBAAmB;QACxC,sBAAsB,EAAE,sBAAsB;QAC9C,kBAAkB,EAAE,kBAAkB;QACtC,gBAAgB,EAAE,gBAAgB;QAClC,mBAAmB,EAAE,mBAAmB;QACxC,2BAA2B,EAAE,0BAA0B;QACvD,0BAA0B,EAAE,gCAAgC;QAC5D,uBAAuB,EAAE,uBAAuB;QAChD,oBAAoB,EAAE,oBAAoB;QAC1C,yBAAyB,EAAE,wBAAwB;QACnD,sBAAsB,EAAE,qBAAqB;QAC7C,2CAA2C,EAAE,wCAAwC;KACrF;CACD,CAAC,CAAC;AAEH,eAAe,cAAc,CAAC"}

package/dist/rules/no-chained-type-assertions.d.ts

@@ -0,0 +1,3 @@
+/** Disallow nested TypeScript type assertions, while permitting chains made only of const assertions. */
+export declare const noChainedTypeAssertionsRule: import("@oxlint/plugins").Rule;
+//# sourceMappingURL=no-chained-type-assertions.d.ts.map

package/dist/rules/no-chained-type-assertions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-chained-type-assertions.d.ts","sourceRoot":"","sources":["../../src/rules/no-chained-type-assertions.ts"],"names":[],"mappings":"AAoDA,yGAAyG;AACzG,eAAO,MAAM,2BAA2B,gCAuBtC,CAAC"}

package/dist/rules/no-chained-type-assertions.js

@@ -0,0 +1,61 @@
+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;
+}
+/** Disallow nested TypeScript type assertions, while permitting chains made only of const assertions. */
+export const 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,
+        };
+    },
+});
+//# sourceMappingURL=no-chained-type-assertions.js.map

package/dist/rules/no-chained-type-assertions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-chained-type-assertions.js","sourceRoot":"","sources":["../../src/rules/no-chained-type-assertions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAK7C,SAAS,yBAAyB,CAAC,IAAiB;IAClD,OAAO,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,CAAC;AAC3E,CAAC;AAED,SAAS,6BAA6B,CAAC,UAA6B;IAClE,IAAI,OAAO,GAAG,UAAU,CAAC;IACzB,OAAO,OAAO,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;QAClD,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IAC/B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,gBAAgB,CAAC,IAA6B;IACrD,MAAM,EAAE,cAAc,EAAE,GAAG,IAAI,CAAC;IAChC,OAAO,CACL,cAAc,CAAC,IAAI,KAAK,iBAAiB;QACzC,cAAc,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY;QAC7C,cAAc,CAAC,QAAQ,CAAC,IAAI,KAAK,OAAO,CACzC,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAAC,IAA6B;IAChE,IAAI,OAAO,GAAsB,IAAI,CAAC;IACtC,IAAI,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAEzB,OAAO,MAAM,CAAC,IAAI,KAAK,yBAAyB,IAAI,MAAM,CAAC,UAAU,KAAK,OAAO,EAAE,CAAC;QAClF,OAAO,GAAG,MAAM,CAAC;QACjB,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IACzB,CAAC;IAED,OAAO,CAAC,yBAAyB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,OAAO,CAAC;AAC7E,CAAC;AAED,SAAS,yBAAyB,CAAC,IAA6B;IAC9D,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,IAAI,oBAAoB,GAAG,KAAK,CAAC;IACjC,IAAI,OAAO,GAAsB,IAAI,CAAC;IAEtC,OAAO,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1C,cAAc,IAAI,CAAC,CAAC;QACpB,oBAAoB,KAAK,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;QACpD,OAAO,GAAG,6BAA6B,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAC9D,CAAC;IAED,OAAO,cAAc,GAAG,CAAC,IAAI,oBAAoB,CAAC;AACpD,CAAC;AAED,yGAAyG;AACzG,MAAM,CAAC,MAAM,2BAA2B,GAAG,UAAU,CAAC;IACpD,IAAI,EAAE;QACJ,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,WAAW,EACT,8FAA8F;SACjG;QACD,QAAQ,EAAE;YACR,OAAO,EACL,4IAA4I;SAC/I;KACF;IACD,UAAU,CAAC,OAAO;QAChB,MAAM,kBAAkB,GAAG,CAAC,IAA6B,EAAE,EAAE;YAC3D,IAAI,CAAC,2BAA2B,CAAC,IAAI,CAAC,IAAI,CAAC,yBAAyB,CAAC,IAAI,CAAC;gBAAE,OAAO;YACnF,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC;QACjD,CAAC,CAAC;QAEF,OAAO;YACL,cAAc,EAAE,kBAAkB;YAClC,eAAe,EAAE,kBAAkB;SACpC,CAAC;IACJ,CAAC;CACF,CAAC,CAAC"}

package/dist/rules/no-conditional-empty-object-spread.d.ts

@@ -0,0 +1,3 @@
+/** Ban conditional empty-object spreads without changing their omission semantics. */
+export declare const noConditionalEmptyObjectSpreadRule: import("@oxlint/plugins").Rule;
+//# sourceMappingURL=no-conditional-empty-object-spread.d.ts.map

package/dist/rules/no-conditional-empty-object-spread.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-conditional-empty-object-spread.d.ts","sourceRoot":"","sources":["../../src/rules/no-conditional-empty-object-spread.ts"],"names":[],"mappings":"AAwBA,sFAAsF;AACtF,eAAO,MAAM,kCAAkC,gCAuB7C,CAAC"}

package/dist/rules/no-conditional-empty-object-spread.js

@@ -0,0 +1,41 @@
+import { defineRule } 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)));
+}
+/** Ban conditional empty-object spreads without changing their omission semantics. */
+export const noConditionalEmptyObjectSpreadRule = defineRule({
+    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" });
+                }
+            },
+        };
+    },
+});
+//# sourceMappingURL=no-conditional-empty-object-spread.js.map

package/dist/rules/no-conditional-empty-object-spread.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-conditional-empty-object-spread.js","sourceRoot":"","sources":["../../src/rules/no-conditional-empty-object-spread.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAG7C,SAAS,iBAAiB,CAAC,IAAuB;IAChD,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OAAO,OAAO,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;QAClD,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IAC/B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAuB;IACtD,OAAO,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,8BAA8B,CAAC,IAAuB;IAC7D,MAAM,WAAW,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAC5C,OAAO,CACL,WAAW,CAAC,IAAI,KAAK,uBAAuB;QAC5C,CAAC,uBAAuB,CAAC,WAAW,CAAC,UAAU,CAAC;YAC9C,uBAAuB,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAClD,CAAC;AACJ,CAAC;AAED,sFAAsF;AACtF,MAAM,CAAC,MAAM,kCAAkC,GAAG,UAAU,CAAC;IAC3D,IAAI,EAAE;QACJ,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE;YACJ,WAAW,EACT,mFAAmF;SACtF;QACD,QAAQ,EAAE;YACR,KAAK,EACH,yJAAyJ;SAC5J;KACF;IACD,UAAU,CAAC,OAAO;QAChB,OAAO;YACL,aAAa,CAAC,IAAI;gBAChB,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB;oBAAE,OAAO;gBAEpD,IAAI,8BAA8B,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAClD,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC;gBAC/C,CAAC;YACH,CAAC;SACF,CAAC;IACJ,CAAC;CACF,CAAC,CAAC"}

package/dist/rules/no-known-value-widening.d.ts

@@ -0,0 +1,3 @@
+/** Detect sound syntactic cases where a known value is explicitly widened and loses evidence. */
+export declare const noKnownValueWideningRule: import("@oxlint/plugins").Rule;
+//# sourceMappingURL=no-known-value-widening.d.ts.map

package/dist/rules/no-known-value-widening.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-known-value-widening.d.ts","sourceRoot":"","sources":["../../src/rules/no-known-value-widening.ts"],"names":[],"mappings":"AAoIA,iGAAiG;AACjG,eAAO,MAAM,wBAAwB,gCAiHnC,CAAC"}

package/dist/rules/no-known-value-widening.js

@@ -0,0 +1,184 @@
+import { defineRule } from "@oxlint/plugins";
+import { classifyWideningTarget, createTypeEnvironment, isKnownEvidenceExpression, } from "../shared/dictionary-types.js";
+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 isEmptyObjectExpression(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";
+}
+/** Detect sound syntactic cases where a known value is explicitly widened and loses evidence. */
+export const noKnownValueWideningRule = defineRule({
+    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) &&
+                isEmptyObjectExpression(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");
+            },
+        };
+    },
+});
+//# sourceMappingURL=no-known-value-widening.js.map

package/dist/rules/no-known-value-widening.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-known-value-widening.js","sourceRoot":"","sources":["../../src/rules/no-known-value-widening.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7C,OAAO,EACN,sBAAsB,EACtB,qBAAqB,EACrB,yBAAyB,GAGzB,MAAM,+BAA+B,CAAC;AAMvC,SAAS,gBAAgB,CAAC,UAA6B;IACtD,IAAI,OAAO,GAAG,UAAU,CAAC;IACzB,OACC,OAAO,CAAC,IAAI,KAAK,yBAAyB;QAC1C,OAAO,CAAC,IAAI,KAAK,gBAAgB;QACjC,OAAO,CAAC,IAAI,KAAK,uBAAuB;QACxC,OAAO,CAAC,IAAI,KAAK,iBAAiB;QAClC,OAAO,CAAC,IAAI,KAAK,qBAAqB,EACrC,CAAC;QACF,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IAC9B,CAAC;IACD,OAAO,OAAO,CAAC;AAChB,CAAC;AAED,SAAS,eAAe,CACvB,UAAsB,EACtB,UAAsC;IAEtC,IAAI,KAAK,GAAiB,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IAC1D,OAAO,KAAK,KAAK,IAAI,EAAE,CAAC;QACvB,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAChD,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,QAAQ,CAAC;QAC5C,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IACrB,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED,SAAS,kBAAkB,CAAC,QAAkB;IAC7C,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5C,MAAM,CAAC,UAAU,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC;IACnC,OAAO,UAAU,EAAE,IAAI,KAAK,UAAU,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,oBAAoB;QACtF,CAAC,CAAC,UAAU,CAAC,IAAI;QACjB,CAAC,CAAC,IAAI,CAAC;AACT,CAAC;AAED,SAAS,qBAAqB,CAAC,QAAkB,EAAE,UAAqC;IACvF,OAAO,CACN,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,qBAAqB;QAChD,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO;QAClC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAChF,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CACxB,UAAsB,EACtB,UAA6B,EAC7B,gBAAgB,GAAG,IAAI,GAAG,EAAY;IAEtC,IAAI,yBAAyB,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IACvD,MAAM,SAAS,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAC/C,IAAI,SAAS,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,KAAK,CAAC;IAClD,MAAM,QAAQ,GAAG,eAAe,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IACxD,IAAI,QAAQ,KAAK,IAAI,IAAI,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IACtE,MAAM,UAAU,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IAChD,IACC,UAAU,KAAK,IAAI;QACnB,UAAU,CAAC,IAAI,KAAK,IAAI;QACxB,CAAC,qBAAqB,CAAC,QAAQ,EAAE,UAAU,CAAC,EAC3C,CAAC;QACF,OAAO,KAAK,CAAC;IACd,CAAC;IACD,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC/B,OAAO,gBAAgB,CAAC,UAAU,EAAE,UAAU,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,gBAAgB,CACxB,UAAsD,EACtD,WAA4B;IAE5B,OAAO,UAAU,KAAK,IAAI,IAAI,UAAU,KAAK,SAAS;QACrD,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,sBAAsB,CAAC,UAAU,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAiB;IAC3C,IAAI,OAAO,GAAuB,IAAI,CAAC,MAAM,CAAC;IAC9C,OAAO,OAAO,KAAK,IAAI,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACvD,IACC,OAAO,CAAC,IAAI,KAAK,yBAAyB;YAC1C,OAAO,CAAC,IAAI,KAAK,qBAAqB;YACtC,OAAO,CAAC,IAAI,KAAK,oBAAoB,EACpC,CAAC;YACF,OAAO,OAAO,CAAC;QAChB,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC1B,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED,SAAS,aAAa,CAAC,UAAsB,EAAE,GAAuB;IACrE,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,GAAG,CAAC,IAAI,KAAK,mBAAmB;QAAE,OAAO,GAAG,CAAC,IAAI,CAAC;IACnF,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACrD,OAAO,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,YAAY,CAAC,UAAsB,EAAE,KAAgC;IAC7E,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,oBAAoB,CAAC;IAChD,IAAI,KAAK,CAAC,EAAE,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC;IAC5C,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC5B,IAAI,MAAM,CAAC,IAAI,KAAK,oBAAoB,IAAI,MAAM,CAAC,EAAE,CAAC,IAAI,KAAK,YAAY;QAC1E,OAAO,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC;IACvB,IAAI,MAAM,CAAC,IAAI,KAAK,kBAAkB;QAAE,OAAO,aAAa,CAAC,UAAU,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;IACrF,OAAO,oBAAoB,CAAC;AAC7B,CAAC;AAED,SAAS,uBAAuB,CAAC,UAA6B;IAC7D,MAAM,SAAS,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAC/C,OAAO,SAAS,CAAC,IAAI,KAAK,kBAAkB,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC;AACnF,CAAC;AAED,SAAS,6BAA6B,CAAC,WAA2B;IACjE,OAAO,WAAW,CAAC,IAAI,KAAK,iBAAiB,IAAI,WAAW,CAAC,IAAI,KAAK,mBAAmB,CAAC;AAC3F,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAiB;IAC5C,OAAO,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,gBAAgB,IAAI,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,iBAAiB,CAAC;AAC1F,CAAC;AAED,iGAAiG;AACjG,MAAM,CAAC,MAAM,wBAAwB,GAAG,UAAU,CAAC;IAClD,IAAI,EAAE;QACL,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACL,WAAW,EACV,sIAAsI;SACvI;QACD,QAAQ,EAAE;YACT,QAAQ,EACP,qJAAqJ;SACtJ;KACD;IACD,UAAU,CAAC,OAAO;QACjB,IAAI,WAAW,GAA2B,IAAI,CAAC;QAE/C,MAAM,UAAU,GAAG,CAClB,UAA6B,EAC7B,WAAkC,EAClC,OAAe,EACd,EAAE;YACH,IAAI,WAAW,KAAK,IAAI;gBAAE,OAAO;YACjC,IACC,6BAA6B,CAAC,WAAW,CAAC;gBAC1C,uBAAuB,CAAC,UAAU,CAAC,EAClC,CAAC;gBACF,OAAO;YACR,CAAC;YACD,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,UAAU,EAAE,UAAU,CAAC;gBAAE,OAAO;YAC9D,OAAO,CAAC,MAAM,CAAC;gBACd,IAAI,EAAE,UAAU;gBAChB,SAAS,EAAE,UAAU;gBACrB,IAAI,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,IAAI,EAAE;aAC3C,CAAC,CAAC;QACJ,CAAC,CAAC;QAEF,MAAM,oBAAoB,GAAG,CAAC,UAAsD,EAAE,EAAE,CACvF,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;QAEzE,OAAO;YACN,OAAO,CAAC,IAAI;gBACX,WAAW,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;YAC3C,CAAC;YACD,kBAAkB,CAAC,IAAI;gBACtB,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,YAAY;oBAAE,OAAO;gBAChE,UAAU,CACT,IAAI,CAAC,IAAI,EACT,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,EAC5C,aAAa,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,CAC7B,CAAC;YACH,CAAC;YACD,kBAAkB,CAAC,IAAI;gBACtB,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI;oBAAE,OAAO;gBAChC,UAAU,CACT,IAAI,CAAC,KAAK,EACV,oBAAoB,CAAC,IAAI,CAAC,cAAc,CAAC,EACzC,cAAc,aAAa,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAC7D,CAAC;YACH,CAAC;YACD,gBAAgB,CAAC,IAAI;gBACpB,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI;oBAAE,OAAO;gBAChC,UAAU,CACT,IAAI,CAAC,KAAK,EACV,oBAAoB,CAAC,IAAI,CAAC,cAAc,CAAC,EACzC,cAAc,aAAa,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAC7D,CAAC;YACH,CAAC;YACD,oBAAoB,CAAC,IAAI;gBACxB,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY;oBAAE,OAAO;gBACrE,MAAM,QAAQ,GAAG,eAAe,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBAChE,IAAI,QAAQ,KAAK,IAAI;oBAAE,OAAO;gBAC9B,MAAM,UAAU,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;gBAChD,IAAI,UAAU,KAAK,IAAI,IAAI,UAAU,CAAC,EAAE,CAAC,IAAI,KAAK,YAAY;oBAAE,OAAO;gBACvE,UAAU,CACT,IAAI,CAAC,KAAK,EACV,oBAAoB,CAAC,UAAU,CAAC,EAAE,CAAC,cAAc,CAAC,EAClD,aAAa,UAAU,CAAC,EAAE,CAAC,IAAI,IAAI,CACnC,CAAC;YACH,CAAC;YACD,eAAe,CAAC,IAAI;gBACnB,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI;oBAAE,OAAO;gBACnC,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;gBACtC,UAAU,CACT,IAAI,CAAC,QAAQ,EACb,oBAAoB,CAAC,KAAK,EAAE,UAAU,CAAC,EACvC,qBAAqB,YAAY,CAAC,OAAO,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,CAChE,CAAC;YACH,CAAC;YACD,uBAAuB,CAAC,IAAI;gBAC3B,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB;oBAAE,OAAO;gBAChD,UAAU,CACT,IAAI,CAAC,IAAI,EACT,oBAAoB,CAAC,IAAI,CAAC,UAAU,CAAC,EACrC,qBAAqB,YAAY,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAC/D,CAAC;YACH,CAAC;YACD,cAAc,CAAC,IAAI;gBAClB,IAAI,WAAW,KAAK,IAAI,IAAI,kBAAkB,CAAC,IAAI,CAAC;oBAAE,OAAO;gBAC7D,UAAU,CACT,IAAI,CAAC,UAAU,EACf,sBAAsB,CAAC,IAAI,CAAC,cAAc,EAAE,WAAW,CAAC,EACxD,WAAW,CACX,CAAC;YACH,CAAC;YACD,eAAe,CAAC,IAAI;gBACnB,IAAI,WAAW,KAAK,IAAI,IAAI,kBAAkB,CAAC,IAAI,CAAC;oBAAE,OAAO;gBAC7D,UAAU,CACT,IAAI,CAAC,UAAU,EACf,sBAAsB,CAAC,IAAI,CAAC,cAAc,EAAE,WAAW,CAAC,EACxD,WAAW,CACX,CAAC;YACH,CAAC;SACD,CAAC;IACH,CAAC;CACD,CAAC,CAAC"}

package/dist/rules/no-module-mocking.d.ts

@@ -0,0 +1,3 @@
+/** Ban test framework module mocking in favor of real dependency seams. */
+export declare const noModuleMockingRule: import("@oxlint/plugins").Rule;
+//# sourceMappingURL=no-module-mocking.d.ts.map

package/dist/rules/no-module-mocking.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-module-mocking.d.ts","sourceRoot":"","sources":["../../src/rules/no-module-mocking.ts"],"names":[],"mappings":"AAmEA,2EAA2E;AAC3E,eAAO,MAAM,mBAAmB,gCAsB9B,CAAC"}

package/dist/rules/no-module-mocking.js

@@ -0,0 +1,79 @@
+import { defineRule } from "@oxlint/plugins";
+const moduleMockMethods = new Set(["doMock", "mock", "unstable_mockModule"]);
+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 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 = resolveVariable(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);
+}
+/** Ban test framework module mocking in favor of real dependency seams. */
+export const noModuleMockingRule = defineRule({
+    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" });
+                }
+            },
+        };
+    },
+});
+//# sourceMappingURL=no-module-mocking.js.map