@victor-software-house/anti-slop

Oxlint JS-plugin rules that reject low-evidence TypeScript: broad unknown / object contracts, discarded inference, module mocks, and assertion chains that invent precision.

Install the package. Do not copy src/ into a consumer.

Install

bun add -D @victor-software-house/anti-slop oxlint @oxlint/plugins

Pin oxlint and @oxlint/plugins to the same major. JSON and TypeScript oxlint configs cannot coexist; prefer oxlint.config.ts.

Usage

import { defineConfig } from 'oxlint';

export default defineConfig({
	jsPlugins: [
		{
			name: 'anti-slop',
			specifier: '@victor-software-house/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',
	},
});

JS plugins have no type-checker APIs. These rules are syntactic.

Effect

Register the Effect entry only in Effect repos. Its meta.name is anti-slop-effect:

jsPlugins: [
	{
		name: 'anti-slop',
		specifier: '@victor-software-house/anti-slop',
	},
	{
		name: 'anti-slop-effect',
		specifier: '@victor-software-house/anti-slop/effect',
	},
],
rules: {
	'anti-slop-effect/no-service-constructor-imports': 'error',
},

Rules

| Rule | Rejects | | --- | --- | | no-chained-type-assertions | Nested as / angle-bracket assertions | | no-conditional-empty-object-spread | ...(cond ? { field } : {}) omission | | no-known-value-widening | Known values annotated as unknown, object, open dictionaries, or anonymous objects | | no-module-mocking | vi.mock / jest.mock | | no-object-parameters | object on function inputs | | no-reflect-apply | Reflect.apply | | no-reflect-get | Reflect.get | | no-runtime-typeof | Ad hoc typeof instead of boundary parsing | | no-shape-in-symbol-names | shape in symbol names | | no-unknown-parameters | unknown parameters except cause | | no-unknown-returns | unknown / Promise<unknown> return contracts | | no-unknown-type-aliases | Aliases that hide unknown | | no-unsafe-dictionary-type | Dictionary values of unknown, any, object, {}, or unions of those | | no-widen-then-assert | Widen a known value, then assert it back | | require-safety-comment-for-type-assertion | Non-const assertions without a nearby SAFETY: comment |

no-runtime-typeof accepts { allowInTypeGuards: true } so typeof may appear inside type predicates. Default is false. This repository enables it.

Effect

| Rule | Rejects | | --- | --- | | no-service-constructor-imports | Project-local make<Capability> imports outside *.test.* / *.spec.* |

Import the owning Layer and yield the service. Package imports and static constructors such as WorkspaceName.make are out of scope.

Attribution

Rule ideas originated in dmmulroy/anti-slop. This package is owned, published, and maintained by Victor Software House.

License

MIT. Dillon Mulroy's copyright notice is retained. Victor Araújo's is listed under it. See LICENSE.