anti-slop

README の言葉では対象は low-evidence（根拠が薄い）かつ low-signal（情報量が乏しい）なパターン。型検査が通ることと、その型が何かを保証していることは別だ、という前提に立っている。ルールのエラーメッセージはどれも「代わりに何をすべきか」まで書かれている。

この一本道から外れる動きが、そのまま検出対象になる。

• 型を広げる: 分かっている値をわざわざ unknown / object / Record<string, unknown> へ落とす。
• 広げてから戻す: 広げた値を後から as で元の型に戻し、根拠のない「証拠」を作る。
• 境界を持たない: パースの代わりに typeof でその場しのぎに絞り込む。
• 型を迂回する: Reflect.get / Reflect.apply で型付きアクセスを回避する。
• 構造で名づける: UserShape のように役割ではなく形で命名する。
• 依存を偽装する: モジュールモックでシームの設計をごまかす。

すべて "error" で有効にする想定。オプションを持つのは no-runtime-typeof だけ。

no-widen-then-assert — 精度のある値を一度 unknown に落とし、後で as で復元する流れ。アサーションは何も検査していないので、実質「元の型を書き直しただけ」になる。

const loaded: User = loadUser();
const stored: unknown = loaded;
const user = stored as User;

const user = loadUser();
// 初期化時の型をそのまま使用箇所まで運ぶ

no-known-value-widening — リテラルで書いたキーが分かっているのに、広い注釈を付けて推論結果を捨てている。

const handlers: Record<string, Handler> = {
  start: startHandler,
};

const handlers = {
  start: startHandler,
} satisfies Record<string, Handler>;

satisfies なら制約は検査したまま、start というキーの情報が残る。

no-runtime-typeof / no-unknown-parameters — typeof は「表現」を絞るだけで「契約」を作らない。入力は境界で 1 回デコードし、以降はドメイン型で扱う。

function handle(input: unknown) {
  if (typeof input === "string") {
    useName(input);
  }
}

// 境界: 受信直後に一度だけパースする
const command = parseCommand(payload);

function handle(command: Command) {
  useName(command.name);
}

require-safety-comment-for-type-assertion — アサーションを全面禁止にはせず、「TypeScript が表現できない不変条件を人が書く」ことを要求する。SAFETY: はアサーション本体、またはそれを含む文（VariableDeclaration / ReturnStatement など）の直前コメントとして探索される。

const userId = value as UserId;

// SAFETY: parseUserId validated the identifier before branding it.
const userId = value as UserId;

残りの代表例。いずれも「型はあるが、その値について何も分からない」形をしている。

// no-unsafe-dictionary-type
type Metadata = Record<string, unknown>;
type OtherMetadata = { [key: string]: object };

// no-conditional-empty-object-spread
const options = {
  ...(timeout !== undefined ? { timeout } : {}),
};

// no-shape-in-symbol-names
interface UserShape { id: string }

// no-chained-type-assertions
const user = input as object as User;

// no-module-mocking
vi.mock("./user-store");

// スキーマ由来の値型を持つ辞書
type Metadata = Record<MetadataKey, MetadataValue>;

// 条件は文として書く
const options: RequestOptions = { url };
if (timeout !== undefined) options.timeout = timeout;

// 役割で名づける
interface User { id: UserId }

// 境界でパースしてから使う
const user = parseUser(input);

// 実インターフェイス経由で差し替える
const store = createInMemoryUserStore();

同梱の install-anti-slop スキルを取得し、コーディングエージェントに「このリポジトリに anti-slop を入れて」と頼む。スキルはプラグインのコピー、Oxlint 依存のインストール、既存 lint 設定へのマージ、全ルールの有効化、検証までを 1 手順として扱う。

npx skills add dmmulroy/anti-slop --skill install-anti-slop

# 先に中身を確認したいとき
npx skills add dmmulroy/anti-slop --list

スキルの手順は、バージョンを記憶に頼らないよう npm view oxlint version / npm view @oxlint/plugins version で現行版を調べ、同じバージョンを揃えて入れることまで指示している。既存の anti-slop がある場合は差分を見ずに上書きしない。

src/ を対象リポジトリ（例: tools/oxlint/anti-slop/）へコピーし、oxlint と @oxlint/plugins を同じバージョンで devDependency に入れる。コピー先のエントリポイントを設定に登録する。

import { defineConfig } from "oxlint";

export default defineConfig({
  ignorePatterns: [
    ".agent/**", ".agents/**", ".claude/**", ".codex/**",
    ".continue/**", ".cursor/**", ".gemini/**", ".opencode/**",
    ".pi/**", ".roo/**", ".windsurf/**",
    "tools/oxlint/anti-slop/**",
  ],
  jsPlugins: [
    { name: "anti-slop", specifier: "./tools/oxlint/anti-slop/index.ts" },
  ],
  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"
  }
});

• ignorePatterns は追記する。 既存の除外を消さない。エージェントツールのディレクトリは「インストール物」として除外し、ドット始まりを一律で無視しない（自前のソースを置いているリポジトリがあるため）。
• Vite+ の場合: 同じ内容を lint.ignorePatterns / lint.jsPlugins に置き、加えて fmt.ignorePatterns にも同じパターンを入れる。そうしないと vp check が vendoring したプラグインを整形してしまう。
• プラグイン自体も lint 対象外にする。 コピー先パスを ignorePatterns の最後に合わせる。

コピーしたファイルは利用側の資産になる。チームの基準に合わせて読み・変え・育てることが想定された配布形態で、上流に追随し続ける義務はない。

• 古い自前コピーを置き換えるときは、上書き前にルールと診断メッセージを突き合わせる。
• プロジェクト固有のルールは別プラグインに置く。anti-slop 側は汎用のまま保つ。
• 指摘の解消は as ではなく、推論・as const・satisfies・名前付き契約・境界でのパースで行う。

• GitHub: dmmulroy/anti-slop — 本体リポジトリ（README にルール別の違反例あり）
• skills.sh: dmmulroy/anti-slop — install-anti-slop スキルの配布ページ
• Oxlint ドキュメント — リンタ本体と JS プラグインの仕組み
• TypeScript: satisfies 演算子 — 推論を保ったまま制約を検査する
• Vite+ — lint / fmt 設定へのマージ先として言及されているツールチェーン