@stupify/cli 0.0.6 → 0.0.8

package/dist/analysis.js

@@ -71,10 +71,14 @@ function uncheckedSearchMatches(value, contexts) {
                 targetId,
                 patternId: context.checkId,
                 reason: match.reason ?? "",
-                proof: match.proof ?? "",
+                proof: sourcePointer(context),
             }];
     });
 }
+function sourcePointer(context) {
+    const file = context.filePath ?? "(unknown)";
+    return `${file}::${context.entityKind || "entity"}::${context.entityName || context.entityId}`;
+}
 async function runJsonPrompt(model, prompt, schema, temperature) {
     return cachedJson("model-json", fingerprint({
         version: 1,

package/dist/checks.js

@@ -4,6 +4,7 @@ export const defaultChecks = [
         id: checkId("duplicated_schema"),
         name: "Duplicated schema",
         question: "Did the change duplicate an existing type, schema, payload, or DTO shape?",
+        why: "Duplicated shapes make it easier for AI-assisted changes to drift away from the real source of truth.",
         lookFor: [
             "local shape mirrors existing fields and maps them one-for-one",
             "new response, payload, schema, or DTO adds no filtering, renaming, validation, or versioning",
@@ -28,6 +29,7 @@ export const defaultChecks = [
         id: checkId("unnecessary_complexity"),
         name: "Unnecessary complexity",
         question: "Did the change add structure without buying clarity?",
+        why: "Extra indirection can hide simple decisions and make the code feel more designed than understood.",
         lookFor: [
             "helper, wrapper, service, layer, or extra file around simple logic without reuse",
         ],
@@ -68,6 +70,7 @@ Prefer no match over a weak match.`,
         id: checkId("fake_precision_windowing"),
         name: "Fake precision windowing",
         question: "Did the change add fake precision around model context?",
+        why: "Precise-looking bookkeeping can create confidence without improving the actual behavior.",
         lookFor: [
             "precise-looking counts, budgets, ratios, reports, or batching fields without useful behavior",
         ],
@@ -80,6 +83,7 @@ Prefer no match over a weak match.`,
         id: checkId("coauthored_slop"),
         name: "Coauthored slop",
         question: "Does author metadata contain co-author text?",
+        why: "Careless metadata is a cheap signal that the change may not have been reviewed with intent.",
         lookFor: [
             "author signal contains coauhtoried, coauthored, or co-authored text",
         ],
@@ -91,6 +95,7 @@ Prefer no match over a weak match.`,
         id: checkId("mega_file"),
         name: "Mega file",
         question: "Is a touched non-config file over 1000 LOC?",
+        why: "Large files make judgment harder by concentrating unrelated decisions in one place.",
         lookFor: [
             "touched non-config source file over 1000 LOC",
         ],
@@ -102,6 +107,7 @@ Prefer no match over a weak match.`,
         id: checkId("over_commenting"),
         name: "Over commenting",
         question: "Did the change add noisy comments?",
+        why: "Narrative comments can make routine code look deliberate without clarifying the underlying tradeoff.",
         lookFor: [
             "comments restate obvious code or narrate simple logic",
         ],
@@ -129,6 +135,7 @@ Prefer no match over a weak match.`,
         id: checkId("lint_bypass"),
         name: "Lint bypass",
         question: "Did the change bypass lint or type rules?",
+        why: "Unexplained suppressions remove useful feedback exactly where a change needs more scrutiny.",
         lookFor: [
             "adds suppressions, any, broad casts, or weakens lint/typecheck config",
         ],
@@ -152,6 +159,7 @@ Prefer no match over a weak match.`,
         id: checkId("inconsistent_patterns"),
         name: "Inconsistent patterns",
         question: "Does the change clash with nearby patterns?",
+        why: "Pattern drift can signal that a change followed generic suggestions instead of local codebase judgment.",
         lookFor: [
             "same job uses different naming, errors, state, imports, or layout than nearby files",
         ],
@@ -164,6 +172,7 @@ Prefer no match over a weak match.`,
         id: checkId("reinvented_utils"),
         name: "Reinvented utils",
         question: "Did the change recreate an existing utility?",
+        why: "Generic helper reinvention can be a sign that the change optimized for plausible code over local reuse.",
         lookFor: [
             "new helper duplicates local utility or standard library behavior",
         ],
@@ -173,7 +182,7 @@ Prefer no match over a weak match.`,
             "helper is domain-specific or used by multiple local call sites",
         ],
         hookMode: "warn",
-        searchPrompt: "Find only tiny generic utility functions that recreate common helpers such as clamp, debounce, throttle, slugify, group, sort, pick, omit, uniq, or shuffle without domain-specific behavior. Do not match resolve/parse/format helpers, domain formatting, feature constants, or helpers with multiple obvious call sites.",
+        searchPrompt: "Find only tiny generic utility functions that recreate common helpers such as clamp, debounce, throttle, slugify, sort, pick, omit, uniq, or shuffle without domain-specific behavior. Do not match group/resolve/parse/format helpers, domain formatting, feature constants, or helpers with multiple obvious call sites.",
         searchExamples: {
             match: [
                 "clampValue returns min, max, or value.",
@@ -188,6 +197,7 @@ Prefer no match over a weak match.`,
         id: checkId("operator_style_mismatch"),
         name: "Operator style mismatch",
         question: "Does the change read unlike the surrounding code?",
+        why: "Style mismatch can reveal generic generated code that was not reconciled with nearby conventions.",
         lookFor: [
             "generic or template-like names, abstractions, comments, or control flow clash with local style",
         ],

package/dist/constants.d.ts

@@ -1,4 +1,4 @@
-export declare const VERSION = "0.0.6";
+export declare const VERSION = "0.0.8";
 import type { ModelConfig, ModelId } from "./types.ts";
 export declare const DEFAULT_MODEL_ID: ModelId;
 export declare const MODEL_REGISTRY: Record<ModelId, ModelConfig>;

package/dist/constants.js

@@ -1,4 +1,4 @@
-export const VERSION = "0.0.6";
+export const VERSION = "0.0.8";
 export const DEFAULT_MODEL_ID = "gemma-4-e2b";
 export const MODEL_REGISTRY = {
     "gemma-4-e2b": {

package/dist/counter-scout.js

@@ -120,7 +120,7 @@ function lintBypassSignal(value) {
 }
 function reinventedUtilitySignal(change) {
     const name = change.entityName;
-    if (!/^(clamp|debounce|throttle|slug|slugify|group|sort|shuffle|memoize|pick|omit|uniq)/i.test(name))
+    if (!/^(clamp|debounce|throttle|slug|slugify|sort|shuffle|memoize|pick|omit|uniq)/i.test(name))
         return false;
     const content = change.afterContent ?? "";
     if (/currency|invoice|refund|subscription|tier|domain/i.test(`${name}\n${content}`))

package/dist/prompts.js

@@ -55,6 +55,7 @@ ${input.pack.text || "(none)"}`;
 }
 function formatSearchPattern(check) {
     return `Pattern: ${check.id} (${check.name})
+Why this matters: ${check.why}
 Question: ${check.searchPrompt ?? check.question}
 Look for:
 ${check.lookFor.map((signal) => `- ${signal}`).join("\n")}
@@ -81,6 +82,7 @@ function patternForContext(context, patterns) {
         id: context.checkId,
         name: context.checkId,
         question: `Does this target match ${context.checkId}?`,
+        why: "This pattern may indicate judgment-offload.",
         lookFor: [],
         ignoreWhen: [],
     };

package/dist/render.js

@@ -29,7 +29,8 @@ No judgment-offload signals found.`;
     return `🧙 stupify 🪄
 Possible judgment-offload detected:
 ${run.matches.map((match, index) => `${index + 1}. ${match.patternId}
-   ${match.reason}
+   Why: ${match.checkWhy ?? "This pattern may indicate judgment-offload."}
+   Match: ${match.reason}
    Proof: ${match.proof}`).join("\n")}
 Search mode is warn-only.`;
 }

package/dist/stupify.js

@@ -133,9 +133,18 @@ export async function runSearchCommand(command, startedAt) {
         const pack = profile?.context === "sem" || searchContexts.length === contexts.length
             ? initialPack
             : await repomixContextPack(changeSet.contextCwd, searchContexts, changeSet.changes, baseRepomixConfig);
-        const request = buildSearchRequest(changeSet, searchContexts, pack, checks, profile, command.includeCounterReasonInPrompt);
-        const estimatedInputTokens = estimatePromptTokens(request.prompt);
-        if (estimatedInputTokens > maxSearchInputTokens) {
+        const batches = await buildSearchBatches({
+            command,
+            changeSet,
+            contexts: searchContexts,
+            initialPack: pack,
+            checks,
+            profile,
+            includeCounterReasonInPrompt: command.includeCounterReasonInPrompt,
+            maxSearchInputTokens,
+            baseRepomixConfig,
+        });
+        if (batches.batches.length === 0) {
             return {
                 schemaVersion: "search.v1",
                 mode: "search",
@@ -145,7 +154,7 @@ export async function runSearchCommand(command, startedAt) {
                 stats: {
                     elapsedMs: Date.now() - startedAt,
                     modelCalls: 0,
-                    inputTokens: estimatedInputTokens,
+                    inputTokens: batches.estimatedInputTokens,
                     inputTokenCap: maxSearchInputTokens,
                     skipped: true,
                     skipReason: "input_too_large",
@@ -156,6 +165,8 @@ export async function runSearchCommand(command, startedAt) {
                     repomixFiles: pack.filePaths.length,
                     repomixTokens: pack.totalTokens,
                     repomixConfig: pack.config,
+                    searchBatches: 0,
+                    skippedTargets: batches.skippedTargets,
                     profileId: profile?.id,
                     targetsByPattern: countTargetsByPattern(searchContexts),
                     targetsPreview: previewTargets(searchContexts),
@@ -163,38 +174,33 @@ export async function runSearchCommand(command, startedAt) {
                 matches: [],
             };
         }
+        if (batches.wasSplit && !command.json) {
+            console.error(`Search input is large; queued ${batches.batches.length} smaller search batches.`);
+            if (batches.skippedTargets > 0) {
+                console.error(`Skipped ${batches.skippedTargets} oversized targets that could not fit alone.`);
+            }
+        }
         const modelPath = await firstRunModelBootstrap(command.model);
         const model = await loadLocalModel(modelPath, command.model, "scout");
-        const inputTokens = await countPromptTokens(model, request.prompt);
-        if (inputTokens > maxSearchInputTokens) {
-            return {
-                schemaVersion: "search.v1",
-                mode: "search",
-                source: command.source,
-                model: { id: command.model },
-                patterns: patternIds,
-                stats: {
-                    elapsedMs: Date.now() - startedAt,
-                    modelCalls: 0,
-                    inputTokens,
-                    inputTokenCap: maxSearchInputTokens,
-                    skipped: true,
-                    skipReason: "input_too_large",
-                    filesChanged: changeSet.summary.fileCount,
-                    entitiesScanned: changeSet.summary.total,
-                    candidates: contexts.length,
-                    searchTargets: searchContexts.length,
-                    repomixFiles: pack.filePaths.length,
-                    repomixTokens: pack.totalTokens,
-                    repomixConfig: pack.config,
-                    profileId: profile?.id,
-                    targetsByPattern: countTargetsByPattern(searchContexts),
-                    targetsPreview: previewTargets(searchContexts),
-                },
-                matches: [],
-            };
+        const matches = [];
+        let modelCalls = 0;
+        let inputTokens = 0;
+        let exactSkippedTargets = batches.skippedTargets;
+        for (const batch of batches.batches) {
+            const batchInputTokens = await countPromptTokens(model, batch.request.prompt);
+            inputTokens += batchInputTokens;
+            if (batchInputTokens > maxSearchInputTokens) {
+                exactSkippedTargets += batch.contexts.length;
+                if (!command.json) {
+                    console.error(`Skipped ${batch.contexts.length} targets after exact token count exceeded the limit.`);
+                }
+                continue;
+            }
+            const { value } = await t.trace("search.model", () => runSearch(model, batch.request), { count: (v) => v.length });
+            modelCalls += 1;
+            matches.push(...withCheckWhy(value, checks));
         }
-        const { value: matches } = await t.trace("search.model", () => runSearch(model, request), { count: (v) => v.length });
+        const uniqueMatches = dedupeMatches(matches);
         return {
             schemaVersion: "search.v1",
             mode: "search",
@@ -203,7 +209,7 @@ export async function runSearchCommand(command, startedAt) {
             patterns: patternIds,
             stats: {
                 elapsedMs: Date.now() - startedAt,
-                modelCalls: 1,
+                modelCalls,
                 inputTokens,
                 inputTokenCap: maxSearchInputTokens,
                 filesChanged: changeSet.summary.fileCount,
@@ -213,17 +219,98 @@ export async function runSearchCommand(command, startedAt) {
                 repomixFiles: pack.filePaths.length,
                 repomixTokens: pack.totalTokens,
                 repomixConfig: pack.config,
+                searchBatches: batches.batches.length,
+                skippedTargets: exactSkippedTargets,
                 profileId: profile?.id,
                 targetsByPattern: countTargetsByPattern(searchContexts),
                 targetsPreview: previewTargets(searchContexts),
             },
-            matches,
+            matches: uniqueMatches,
         };
     }
     finally {
         await changeSet.cleanup();
     }
 }
+function dedupeMatches(matches) {
+    const seen = new Set();
+    return matches.filter((match) => {
+        const key = `${match.patternId}\n${match.proof.trim()}`;
+        if (seen.has(key))
+            return false;
+        seen.add(key);
+        return true;
+    });
+}
+function withCheckWhy(matches, checks) {
+    const checksById = new Map(checks.map((check) => [check.id, check]));
+    return matches.map((match) => ({
+        ...match,
+        checkWhy: checksById.get(match.patternId)?.why,
+    }));
+}
+async function buildSearchBatches(input) {
+    const first = makeSearchBatch(input, input.contexts, input.initialPack);
+    if (first.estimatedInputTokens <= input.maxSearchInputTokens) {
+        return {
+            batches: [first],
+            estimatedInputTokens: first.estimatedInputTokens,
+            skippedTargets: 0,
+            wasSplit: false,
+        };
+    }
+    const batches = [];
+    let skippedTargets = 0;
+    let currentContexts = [];
+    let currentBatch = null;
+    for (const context of input.contexts) {
+        const candidateContexts = [...currentContexts, context];
+        const candidateBatch = await makeSearchBatchWithPack(input, candidateContexts);
+        if (candidateBatch.estimatedInputTokens <= input.maxSearchInputTokens) {
+            currentContexts = candidateContexts;
+            currentBatch = candidateBatch;
+            continue;
+        }
+        if (currentBatch) {
+            batches.push(currentBatch);
+            currentContexts = [];
+            currentBatch = null;
+        }
+        const singleBatch = candidateContexts.length === 1
+            ? candidateBatch
+            : await makeSearchBatchWithPack(input, [context]);
+        if (singleBatch.estimatedInputTokens <= input.maxSearchInputTokens) {
+            currentContexts = [context];
+            currentBatch = singleBatch;
+        }
+        else {
+            skippedTargets += 1;
+        }
+    }
+    if (currentBatch)
+        batches.push(currentBatch);
+    return {
+        batches,
+        estimatedInputTokens: first.estimatedInputTokens,
+        skippedTargets,
+        wasSplit: true,
+    };
+}
+function makeSearchBatch(input, contexts, pack) {
+    const request = buildSearchRequest(input.changeSet, contexts, pack, input.checks, input.profile, input.includeCounterReasonInPrompt);
+    return {
+        contexts,
+        pack,
+        request,
+        estimatedInputTokens: estimatePromptTokens(request.prompt),
+    };
+}
+async function makeSearchBatchWithPack(input, contexts) {
+    const pack = input.profile?.context === "sem"
+        ? emptyContextPack()
+        : await repomixContextPack(input.changeSet.contextCwd, contexts, input.changeSet.changes, input.baseRepomixConfig);
+    return makeSearchBatch(input, contexts, pack);
+}
 function buildSearchRequest(changeSet, contexts, pack, patterns, profile, includeCounterReasonInPrompt) {
     return searchRequest({
         changeSet,
@@ -261,7 +348,7 @@ function sourceLabel(command) {
     return "stdin diff";
 }
 function estimatePromptTokens(prompt) {
-    return Math.ceil(prompt.length / 4);
+    return Math.ceil(prompt.length / 3);
 }
 function countTargetsByPattern(contexts) {
     const counts = {};

package/dist/types.d.ts

@@ -68,6 +68,7 @@ export type StupifyCheck = Readonly<{
     id: CheckId;
     name: string;
     question: string;
+    why: string;
     lookFor: readonly string[];
     ignoreWhen: readonly string[];
     enabledByDefault?: boolean;
@@ -194,6 +195,7 @@ export type SearchProfile = Readonly<{
 export type SearchMatch = Readonly<{
     targetId: string;
     patternId: CheckId;
+    checkWhy?: string;
     reason: string;
     proof: string;
 }>;
@@ -219,6 +221,8 @@ export type SearchRunJson = Readonly<{
         repomixTokens?: number;
         repomixConfig?: RepomixSearchConfig;
         searchTargets?: number;
+        searchBatches?: number;
+        skippedTargets?: number;
         profileId?: string;
         targetsByPattern?: Readonly<Record<string, number>>;
         targetsPreview?: readonly SearchTargetPreview[];

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@stupify/cli",
-  "version": "0.0.6",
+  "version": "0.0.8",
   "description": "Local-only diagnostic CLI for checking whether AI is making you dumber.",
   "private": false,
   "type": "module",

package/src/analysis.ts

@@ -104,11 +104,16 @@ function uncheckedSearchMatches(value: unknown, contexts: readonly SemContext[])
       targetId,
       patternId: context.checkId,
       reason: match.reason ?? "",
-      proof: match.proof ?? "",
+      proof: sourcePointer(context),
     }];
   });
 }
 
+function sourcePointer(context: SemContext): string {
+  const file = context.filePath ?? "(unknown)";
+  return `${file}::${context.entityKind || "entity"}::${context.entityName || context.entityId}`;
+}
+
 async function runJsonPrompt(
   model: LocalModel,
   prompt: string,

package/src/checks.ts

@@ -5,6 +5,7 @@ export const defaultChecks: readonly StupifyCheck[] = [
     id: checkId("duplicated_schema"),
     name: "Duplicated schema",
     question: "Did the change duplicate an existing type, schema, payload, or DTO shape?",
+    why: "Duplicated shapes make it easier for AI-assisted changes to drift away from the real source of truth.",
     lookFor: [
       "local shape mirrors existing fields and maps them one-for-one",
       "new response, payload, schema, or DTO adds no filtering, renaming, validation, or versioning",
@@ -29,6 +30,7 @@ export const defaultChecks: readonly StupifyCheck[] = [
     id: checkId("unnecessary_complexity"),
     name: "Unnecessary complexity",
     question: "Did the change add structure without buying clarity?",
+    why: "Extra indirection can hide simple decisions and make the code feel more designed than understood.",
     lookFor: [
       "helper, wrapper, service, layer, or extra file around simple logic without reuse",
     ],
@@ -69,6 +71,7 @@ Prefer no match over a weak match.`,
     id: checkId("fake_precision_windowing"),
     name: "Fake precision windowing",
     question: "Did the change add fake precision around model context?",
+    why: "Precise-looking bookkeeping can create confidence without improving the actual behavior.",
     lookFor: [
       "precise-looking counts, budgets, ratios, reports, or batching fields without useful behavior",
     ],
@@ -81,6 +84,7 @@ Prefer no match over a weak match.`,
     id: checkId("coauthored_slop"),
     name: "Coauthored slop",
     question: "Does author metadata contain co-author text?",
+    why: "Careless metadata is a cheap signal that the change may not have been reviewed with intent.",
     lookFor: [
       "author signal contains coauhtoried, coauthored, or co-authored text",
     ],
@@ -92,6 +96,7 @@ Prefer no match over a weak match.`,
     id: checkId("mega_file"),
     name: "Mega file",
     question: "Is a touched non-config file over 1000 LOC?",
+    why: "Large files make judgment harder by concentrating unrelated decisions in one place.",
     lookFor: [
       "touched non-config source file over 1000 LOC",
     ],
@@ -103,6 +108,7 @@ Prefer no match over a weak match.`,
     id: checkId("over_commenting"),
     name: "Over commenting",
     question: "Did the change add noisy comments?",
+    why: "Narrative comments can make routine code look deliberate without clarifying the underlying tradeoff.",
     lookFor: [
       "comments restate obvious code or narrate simple logic",
     ],
@@ -130,6 +136,7 @@ Prefer no match over a weak match.`,
     id: checkId("lint_bypass"),
     name: "Lint bypass",
     question: "Did the change bypass lint or type rules?",
+    why: "Unexplained suppressions remove useful feedback exactly where a change needs more scrutiny.",
     lookFor: [
       "adds suppressions, any, broad casts, or weakens lint/typecheck config",
     ],
@@ -153,6 +160,7 @@ Prefer no match over a weak match.`,
     id: checkId("inconsistent_patterns"),
     name: "Inconsistent patterns",
     question: "Does the change clash with nearby patterns?",
+    why: "Pattern drift can signal that a change followed generic suggestions instead of local codebase judgment.",
     lookFor: [
       "same job uses different naming, errors, state, imports, or layout than nearby files",
     ],
@@ -165,6 +173,7 @@ Prefer no match over a weak match.`,
     id: checkId("reinvented_utils"),
     name: "Reinvented utils",
     question: "Did the change recreate an existing utility?",
+    why: "Generic helper reinvention can be a sign that the change optimized for plausible code over local reuse.",
     lookFor: [
       "new helper duplicates local utility or standard library behavior",
     ],
@@ -174,7 +183,7 @@ Prefer no match over a weak match.`,
       "helper is domain-specific or used by multiple local call sites",
     ],
     hookMode: "warn",
-    searchPrompt: "Find only tiny generic utility functions that recreate common helpers such as clamp, debounce, throttle, slugify, group, sort, pick, omit, uniq, or shuffle without domain-specific behavior. Do not match resolve/parse/format helpers, domain formatting, feature constants, or helpers with multiple obvious call sites.",
+    searchPrompt: "Find only tiny generic utility functions that recreate common helpers such as clamp, debounce, throttle, slugify, sort, pick, omit, uniq, or shuffle without domain-specific behavior. Do not match group/resolve/parse/format helpers, domain formatting, feature constants, or helpers with multiple obvious call sites.",
     searchExamples: {
       match: [
         "clampValue returns min, max, or value.",
@@ -189,6 +198,7 @@ Prefer no match over a weak match.`,
     id: checkId("operator_style_mismatch"),
     name: "Operator style mismatch",
     question: "Does the change read unlike the surrounding code?",
+    why: "Style mismatch can reveal generic generated code that was not reconciled with nearby conventions.",
     lookFor: [
       "generic or template-like names, abstractions, comments, or control flow clash with local style",
     ],

package/src/constants.ts

@@ -1,4 +1,4 @@
-export const VERSION = "0.0.6";
+export const VERSION = "0.0.8";
 import type { ModelConfig, ModelId } from "./types.ts";
 
 export const DEFAULT_MODEL_ID: ModelId = "gemma-4-e2b";

package/src/counter-scout.ts

@@ -140,7 +140,7 @@ function lintBypassSignal(value: string): boolean {
 
 function reinventedUtilitySignal(change: SemChange): boolean {
   const name = change.entityName;
-  if (!/^(clamp|debounce|throttle|slug|slugify|group|sort|shuffle|memoize|pick|omit|uniq)/i.test(name)) return false;
+  if (!/^(clamp|debounce|throttle|slug|slugify|sort|shuffle|memoize|pick|omit|uniq)/i.test(name)) return false;
   const content = change.afterContent ?? "";
   if (/currency|invoice|refund|subscription|tier|domain/i.test(`${name}\n${content}`)) return false;
   return true;

package/src/prompts.ts

@@ -64,6 +64,7 @@ ${input.pack.text || "(none)"}`;
 
 function formatSearchPattern(check: StupifyCheck): string {
   return `Pattern: ${check.id} (${check.name})
+Why this matters: ${check.why}
 Question: ${check.searchPrompt ?? check.question}
 Look for:
 ${check.lookFor.map((signal) => `- ${signal}`).join("\n")}
@@ -92,6 +93,7 @@ function patternForContext(context: SemContext, patterns: readonly StupifyCheck[
     id: context.checkId,
     name: context.checkId,
     question: `Does this target match ${context.checkId}?`,
+    why: "This pattern may indicate judgment-offload.",
     lookFor: [],
     ignoreWhen: [],
   };

package/src/render.ts

@@ -34,7 +34,8 @@ No judgment-offload signals found.`;
   return `🧙 stupify 🪄
 Possible judgment-offload detected:
 ${run.matches.map((match, index) => `${index + 1}. ${match.patternId}
-   ${match.reason}
+   Why: ${match.checkWhy ?? "This pattern may indicate judgment-offload."}
+   Match: ${match.reason}
    Proof: ${match.proof}`).join("\n")}
 Search mode is warn-only.`;
 }

package/src/stupify.ts

@@ -2,7 +2,7 @@
 
 import { realpathSync } from "node:fs";
 import { fileURLToPath } from "node:url";
-import { countPromptTokens, runSearch, searchRequest } from "./analysis.ts";
+import { countPromptTokens, runSearch, searchRequest, type SearchRequest } from "./analysis.ts";
 import { searchChecks } from "./checks.ts";
 import { parseCommand } from "./command.ts";
 import { counterScoutTargets } from "./counter-scout.ts";
@@ -20,7 +20,7 @@ import {
 } from "./search-profile.ts";
 import { semChangeSetForCommand } from "./sem-provider.ts";
 import { createTracer } from "./trace.ts";
-import type { SearchCommand, SearchProfile, SearchRunJson, SemContext, SemContextPack, StupifyCheck } from "./types.ts";
+import type { SearchCommand, SearchMatch, SearchProfile, SearchRunJson, SemContext, SemContextPack, StupifyCheck } from "./types.ts";
 
 export async function main(argv = process.argv.slice(2)): Promise<number> {
   const startedAt = Date.now();
@@ -153,17 +153,19 @@ export async function runSearchCommand(command: SearchCommand, startedAt: number
     const pack = profile?.context === "sem" || searchContexts.length === contexts.length
       ? initialPack
       : await repomixContextPack(changeSet.contextCwd, searchContexts, changeSet.changes, baseRepomixConfig);
-
-    const request = buildSearchRequest(
+    const batches = await buildSearchBatches({
+      command,
       changeSet,
-      searchContexts,
-      pack,
+      contexts: searchContexts,
+      initialPack: pack,
       checks,
       profile,
-      command.includeCounterReasonInPrompt,
-    );
-    const estimatedInputTokens = estimatePromptTokens(request.prompt);
-    if (estimatedInputTokens > maxSearchInputTokens) {
+      includeCounterReasonInPrompt: command.includeCounterReasonInPrompt,
+      maxSearchInputTokens,
+      baseRepomixConfig,
+    });
+
+    if (batches.batches.length === 0) {
       return {
         schemaVersion: "search.v1",
         mode: "search",
@@ -173,7 +175,7 @@ export async function runSearchCommand(command: SearchCommand, startedAt: number
         stats: {
           elapsedMs: Date.now() - startedAt,
           modelCalls: 0,
-          inputTokens: estimatedInputTokens,
+          inputTokens: batches.estimatedInputTokens,
           inputTokenCap: maxSearchInputTokens,
           skipped: true,
           skipReason: "input_too_large",
@@ -184,6 +186,8 @@ export async function runSearchCommand(command: SearchCommand, startedAt: number
           repomixFiles: pack.filePaths.length,
           repomixTokens: pack.totalTokens,
           repomixConfig: pack.config,
+          searchBatches: 0,
+          skippedTargets: batches.skippedTargets,
           profileId: profile?.id,
           targetsByPattern: countTargetsByPattern(searchContexts),
           targetsPreview: previewTargets(searchContexts),
@@ -192,43 +196,38 @@ export async function runSearchCommand(command: SearchCommand, startedAt: number
       };
     }
 
+    if (batches.wasSplit && !command.json) {
+      console.error(`Search input is large; queued ${batches.batches.length} smaller search batches.`);
+      if (batches.skippedTargets > 0) {
+        console.error(`Skipped ${batches.skippedTargets} oversized targets that could not fit alone.`);
+      }
+    }
+
     const modelPath = await firstRunModelBootstrap(command.model);
     const model = await loadLocalModel(modelPath, command.model, "scout");
-    const inputTokens = await countPromptTokens(model, request.prompt);
-    if (inputTokens > maxSearchInputTokens) {
-      return {
-        schemaVersion: "search.v1",
-        mode: "search",
-        source: command.source,
-        model: { id: command.model },
-        patterns: patternIds,
-        stats: {
-          elapsedMs: Date.now() - startedAt,
-          modelCalls: 0,
-          inputTokens,
-          inputTokenCap: maxSearchInputTokens,
-          skipped: true,
-          skipReason: "input_too_large",
-          filesChanged: changeSet.summary.fileCount,
-          entitiesScanned: changeSet.summary.total,
-          candidates: contexts.length,
-          searchTargets: searchContexts.length,
-          repomixFiles: pack.filePaths.length,
-          repomixTokens: pack.totalTokens,
-          repomixConfig: pack.config,
-          profileId: profile?.id,
-          targetsByPattern: countTargetsByPattern(searchContexts),
-          targetsPreview: previewTargets(searchContexts),
-        },
-        matches: [],
-      };
+    const matches = [];
+    let modelCalls = 0;
+    let inputTokens = 0;
+    let exactSkippedTargets = batches.skippedTargets;
+    for (const batch of batches.batches) {
+      const batchInputTokens = await countPromptTokens(model, batch.request.prompt);
+      inputTokens += batchInputTokens;
+      if (batchInputTokens > maxSearchInputTokens) {
+        exactSkippedTargets += batch.contexts.length;
+        if (!command.json) {
+          console.error(`Skipped ${batch.contexts.length} targets after exact token count exceeded the limit.`);
+        }
+        continue;
+      }
+      const { value } = await t.trace(
+        "search.model",
+        () => runSearch(model, batch.request),
+        { count: (v) => v.length },
+      );
+      modelCalls += 1;
+      matches.push(...withCheckWhy(value, checks));
     }
-
-    const { value: matches } = await t.trace(
-      "search.model",
-      () => runSearch(model, request),
-      { count: (v) => v.length },
-    );
+    const uniqueMatches = dedupeMatches(matches);
 
     return {
       schemaVersion: "search.v1",
@@ -238,7 +237,7 @@ export async function runSearchCommand(command: SearchCommand, startedAt: number
       patterns: patternIds,
       stats: {
         elapsedMs: Date.now() - startedAt,
-        modelCalls: 1,
+        modelCalls,
         inputTokens,
         inputTokenCap: maxSearchInputTokens,
         filesChanged: changeSet.summary.fileCount,
@@ -248,17 +247,154 @@ export async function runSearchCommand(command: SearchCommand, startedAt: number
         repomixFiles: pack.filePaths.length,
         repomixTokens: pack.totalTokens,
         repomixConfig: pack.config,
+        searchBatches: batches.batches.length,
+        skippedTargets: exactSkippedTargets,
         profileId: profile?.id,
         targetsByPattern: countTargetsByPattern(searchContexts),
         targetsPreview: previewTargets(searchContexts),
       },
-      matches,
+      matches: uniqueMatches,
     };
   } finally {
     await changeSet.cleanup();
   }
 }
 
+function dedupeMatches<T extends { targetId: string; patternId: string; proof: string }>(matches: readonly T[]): readonly T[] {
+  const seen = new Set<string>();
+  return matches.filter((match) => {
+    const key = `${match.patternId}\n${match.proof.trim()}`;
+    if (seen.has(key)) return false;
+    seen.add(key);
+    return true;
+  });
+}
+
+function withCheckWhy(matches: readonly SearchMatch[], checks: readonly StupifyCheck[]): readonly SearchMatch[] {
+  const checksById = new Map(checks.map((check) => [check.id, check]));
+  return matches.map((match) => ({
+    ...match,
+    checkWhy: checksById.get(match.patternId)?.why,
+  }));
+}
+
+type SearchBatch = Readonly<{
+  contexts: readonly SemContext[];
+  pack: SemContextPack;
+  request: SearchRequest;
+  estimatedInputTokens: number;
+}>;
+
+async function buildSearchBatches(input: Readonly<{
+  command: SearchCommand;
+  changeSet: Parameters<typeof searchRequest>[0]["changeSet"];
+  contexts: readonly SemContext[];
+  initialPack: SemContextPack;
+  checks: readonly StupifyCheck[];
+  profile: SearchProfile | null;
+  includeCounterReasonInPrompt: boolean;
+  maxSearchInputTokens: number;
+  baseRepomixConfig: Parameters<typeof repomixContextPack>[3];
+}>): Promise<Readonly<{
+  batches: readonly SearchBatch[];
+  estimatedInputTokens: number;
+  skippedTargets: number;
+  wasSplit: boolean;
+}>> {
+  const first = makeSearchBatch(input, input.contexts, input.initialPack);
+  if (first.estimatedInputTokens <= input.maxSearchInputTokens) {
+    return {
+      batches: [first],
+      estimatedInputTokens: first.estimatedInputTokens,
+      skippedTargets: 0,
+      wasSplit: false,
+    };
+  }
+
+  const batches: SearchBatch[] = [];
+  let skippedTargets = 0;
+  let currentContexts: readonly SemContext[] = [];
+  let currentBatch: SearchBatch | null = null;
+
+  for (const context of input.contexts) {
+    const candidateContexts = [...currentContexts, context];
+    const candidateBatch = await makeSearchBatchWithPack(input, candidateContexts);
+    if (candidateBatch.estimatedInputTokens <= input.maxSearchInputTokens) {
+      currentContexts = candidateContexts;
+      currentBatch = candidateBatch;
+      continue;
+    }
+
+    if (currentBatch) {
+      batches.push(currentBatch);
+      currentContexts = [];
+      currentBatch = null;
+    }
+
+    const singleBatch = candidateContexts.length === 1
+      ? candidateBatch
+      : await makeSearchBatchWithPack(input, [context]);
+    if (singleBatch.estimatedInputTokens <= input.maxSearchInputTokens) {
+      currentContexts = [context];
+      currentBatch = singleBatch;
+    } else {
+      skippedTargets += 1;
+    }
+  }
+
+  if (currentBatch) batches.push(currentBatch);
+
+  return {
+    batches,
+    estimatedInputTokens: first.estimatedInputTokens,
+    skippedTargets,
+    wasSplit: true,
+  };
+}
+
+function makeSearchBatch(
+  input: Readonly<{
+    changeSet: Parameters<typeof searchRequest>[0]["changeSet"];
+    checks: readonly StupifyCheck[];
+    profile: SearchProfile | null;
+    includeCounterReasonInPrompt: boolean;
+  }>,
+  contexts: readonly SemContext[],
+  pack: SemContextPack,
+): SearchBatch {
+  const request = buildSearchRequest(
+    input.changeSet,
+    contexts,
+    pack,
+    input.checks,
+    input.profile,
+    input.includeCounterReasonInPrompt,
+  );
+  return {
+    contexts,
+    pack,
+    request,
+    estimatedInputTokens: estimatePromptTokens(request.prompt),
+  };
+}
+
+async function makeSearchBatchWithPack(
+  input: Readonly<{
+    command: SearchCommand;
+    changeSet: Parameters<typeof searchRequest>[0]["changeSet"];
+    checks: readonly StupifyCheck[];
+    profile: SearchProfile | null;
+    includeCounterReasonInPrompt: boolean;
+    baseRepomixConfig: Parameters<typeof repomixContextPack>[3];
+  }>,
+  contexts: readonly SemContext[],
+): Promise<SearchBatch> {
+  const pack = input.profile?.context === "sem"
+    ? emptyContextPack()
+    : await repomixContextPack(input.changeSet.contextCwd, contexts, input.changeSet.changes, input.baseRepomixConfig);
+  return makeSearchBatch(input, contexts, pack);
+}
+
 function buildSearchRequest(
   changeSet: Parameters<typeof searchRequest>[0]["changeSet"],
   contexts: Parameters<typeof searchRequest>[0]["contexts"],
@@ -302,7 +438,7 @@ function sourceLabel(command: SearchCommand): string {
 }
 
 function estimatePromptTokens(prompt: string): number {
-  return Math.ceil(prompt.length / 4);
+  return Math.ceil(prompt.length / 3);
 }
 
 function countTargetsByPattern(contexts: readonly SemContext[]): Record<string, number> {

package/src/types.ts

@@ -51,6 +51,7 @@ export type StupifyCheck = Readonly<{
   id: CheckId;
   name: string;
   question: string;
+  why: string;
   lookFor: readonly string[];
   ignoreWhen: readonly string[];
   enabledByDefault?: boolean;
@@ -192,6 +193,7 @@ export type SearchProfile = Readonly<{
 export type SearchMatch = Readonly<{
   targetId: string;
   patternId: CheckId;
+  checkWhy?: string;
   reason: string;
   proof: string;
 }>;
@@ -216,6 +218,8 @@ export type SearchRunJson = Readonly<{
     repomixTokens?: number;
     repomixConfig?: RepomixSearchConfig;
     searchTargets?: number;
+    searchBatches?: number;
+    skippedTargets?: number;
     profileId?: string;
     targetsByPattern?: Readonly<Record<string, number>>;
     targetsPreview?: readonly SearchTargetPreview[];