@alint-js/plugin-simplicity 0.0.32 → 0.0.34

package/dist/index.d.mts

@@ -85,7 +85,627 @@ interface SourceText {
   text: string;
 }
 //#endregion
-//#region ../core/dist/types-CR_Grd6q.d.mts
+//#region ../../node_modules/.pnpm/valibot@1.4.2_typescript@6.0.3/node_modules/valibot/dist/index.d.mts
+//#endregion
+//#region src/types/metadata.d.ts
+/**
+ * Base metadata interface.
+ */
+interface BaseMetadata$1<TInput$1> {
+  /**
+   * The object kind.
+   */
+  readonly kind: "metadata";
+  /**
+   * The metadata type.
+   */
+  readonly type: string;
+  /**
+   * The metadata reference.
+   */
+  readonly reference: (...args: any[]) => BaseMetadata$1<any>;
+  /**
+   * The input, output and issue type.
+   *
+   * @internal
+   */
+  readonly "~types"?: {
+    readonly input: TInput$1;
+    readonly output: TInput$1;
+    readonly issue: never;
+  } | undefined;
+}
+//#endregion
+//#region src/types/dataset.d.ts
+/**
+ * Unknown dataset interface.
+ */
+interface UnknownDataset$1 {
+  /**
+   * Whether is's typed.
+   */
+  typed?: false;
+  /**
+   * The dataset value.
+   */
+  value: unknown;
+  /**
+   * The dataset issues.
+   */
+  issues?: undefined;
+}
+/**
+ * Success dataset interface.
+ */
+interface SuccessDataset$1<TValue$1> {
+  /**
+   * Whether is's typed.
+   */
+  typed: true;
+  /**
+   * The dataset value.
+   */
+  value: TValue$1;
+  /**
+   * The dataset issues.
+   */
+  issues?: undefined;
+}
+/**
+ * Partial dataset interface.
+ */
+interface PartialDataset$1<TValue$1, TIssue extends BaseIssue$1<unknown>> {
+  /**
+   * Whether is's typed.
+   */
+  typed: true;
+  /**
+   * The dataset value.
+   */
+  value: TValue$1;
+  /**
+   * The dataset issues.
+   */
+  issues: [TIssue, ...TIssue[]];
+}
+/**
+ * Failure dataset interface.
+ */
+interface FailureDataset$1<TIssue extends BaseIssue$1<unknown>> {
+  /**
+   * Whether is's typed.
+   */
+  typed: false;
+  /**
+   * The dataset value.
+   */
+  value: unknown;
+  /**
+   * The dataset issues.
+   */
+  issues: [TIssue, ...TIssue[]];
+}
+/**
+ * Output dataset type.
+ */
+type OutputDataset$1<TValue$1, TIssue extends BaseIssue$1<unknown>> = SuccessDataset$1<TValue$1> | PartialDataset$1<TValue$1, TIssue> | FailureDataset$1<TIssue>;
+//#endregion
+//#region src/types/standard.d.ts
+/**
+ * The Standard Schema properties interface.
+ */
+interface StandardProps$1<TInput$1, TOutput$1> {
+  /**
+   * The version number of the standard.
+   */
+  readonly version: 1;
+  /**
+   * The vendor name of the schema library.
+   */
+  readonly vendor: "valibot";
+  /**
+   * Validates unknown input values.
+   */
+  readonly validate: (value: unknown) => StandardResult$1<TOutput$1> | Promise<StandardResult$1<TOutput$1>>;
+  /**
+   * Inferred types associated with the schema.
+   */
+  readonly types?: StandardTypes$1<TInput$1, TOutput$1> | undefined;
+}
+/**
+ * The result interface of the validate function.
+ */
+type StandardResult$1<TOutput$1> = StandardSuccessResult$1<TOutput$1> | StandardFailureResult$1;
+/**
+ * The result interface if validation succeeds.
+ */
+interface StandardSuccessResult$1<TOutput$1> {
+  /**
+   * The typed output value.
+   */
+  readonly value: TOutput$1;
+  /**
+   * The non-existent issues.
+   */
+  readonly issues?: undefined;
+}
+/**
+ * The result interface if validation fails.
+ */
+interface StandardFailureResult$1 {
+  /**
+   * The issues of failed validation.
+   */
+  readonly issues: readonly StandardIssue$1[];
+}
+/**
+ * The issue interface of the failure output.
+ */
+interface StandardIssue$1 {
+  /**
+   * The error message of the issue.
+   */
+  readonly message: string;
+  /**
+   * The path of the issue, if any.
+   */
+  readonly path?: readonly (PropertyKey | StandardPathItem$1)[] | undefined;
+}
+/**
+ * The path item interface of the issue.
+ */
+interface StandardPathItem$1 {
+  /**
+   * The key of the path item.
+   */
+  readonly key: PropertyKey;
+}
+/**
+ * The Standard Schema types interface.
+ */
+interface StandardTypes$1<TInput$1, TOutput$1> {
+  /**
+   * The input type of the schema.
+   */
+  readonly input: TInput$1;
+  /**
+   * The output type of the schema.
+   */
+  readonly output: TOutput$1;
+}
+//#endregion
+//#region src/types/schema.d.ts
+/**
+ * Base schema interface.
+ */
+interface BaseSchema$1<TInput$1, TOutput$1, TIssue extends BaseIssue$1<unknown>> {
+  /**
+   * The object kind.
+   */
+  readonly kind: "schema";
+  /**
+   * The schema type.
+   */
+  readonly type: string;
+  /**
+   * The schema reference.
+   */
+  readonly reference: (...args: any[]) => BaseSchema$1<unknown, unknown, BaseIssue$1<unknown>>;
+  /**
+   * The expected property.
+   */
+  readonly expects: string;
+  /**
+   * Whether it's async.
+   */
+  readonly async: false;
+  /**
+   * The Standard Schema properties.
+   *
+   * @internal
+   */
+  readonly "~standard": StandardProps$1<TInput$1, TOutput$1>;
+  /**
+   * Parses unknown input values.
+   *
+   * @param dataset The input dataset.
+   * @param config The configuration.
+   *
+   * @returns The output dataset.
+   *
+   * @internal
+   */
+  readonly "~run": (dataset: UnknownDataset$1, config: Config$1<BaseIssue$1<unknown>>) => OutputDataset$1<TOutput$1, TIssue>;
+  /**
+   * The input, output and issue type.
+   *
+   * @internal
+   */
+  readonly "~types"?: {
+    readonly input: TInput$1;
+    readonly output: TOutput$1;
+    readonly issue: TIssue;
+  } | undefined;
+}
+/**
+ * Base schema async interface.
+ */
+interface BaseSchemaAsync$1<TInput$1, TOutput$1, TIssue extends BaseIssue$1<unknown>> extends Omit<BaseSchema$1<TInput$1, TOutput$1, TIssue>, "reference" | "async" | "~run"> {
+  /**
+   * The schema reference.
+   */
+  readonly reference: (...args: any[]) => BaseSchema$1<unknown, unknown, BaseIssue$1<unknown>> | BaseSchemaAsync$1<unknown, unknown, BaseIssue$1<unknown>>;
+  /**
+   * Whether it's async.
+   */
+  readonly async: true;
+  /**
+   * Parses unknown input values.
+   *
+   * @param dataset The input dataset.
+   * @param config The configuration.
+   *
+   * @returns The output dataset.
+   *
+   * @internal
+   */
+  readonly "~run": (dataset: UnknownDataset$1, config: Config$1<BaseIssue$1<unknown>>) => Promise<OutputDataset$1<TOutput$1, TIssue>>;
+}
+/**
+ * Generic schema type.
+ */
+type GenericSchema<TInput$1 = unknown, TOutput$1 = TInput$1, TIssue extends BaseIssue$1<unknown> = BaseIssue$1<unknown>> = BaseSchema$1<TInput$1, TOutput$1, TIssue>;
+//#endregion
+//#region src/types/transformation.d.ts
+/**
+ * Base transformation interface.
+ */
+interface BaseTransformation$1<TInput$1, TOutput$1, TIssue extends BaseIssue$1<unknown>> {
+  /**
+   * The object kind.
+   */
+  readonly kind: "transformation";
+  /**
+   * The transformation type.
+   */
+  readonly type: string;
+  /**
+   * The transformation reference.
+   */
+  readonly reference: (...args: any[]) => BaseTransformation$1<any, any, BaseIssue$1<unknown>>;
+  /**
+   * Whether it's async.
+   */
+  readonly async: false;
+  /**
+   * Transforms known input values.
+   *
+   * @param dataset The input dataset.
+   * @param config The configuration.
+   *
+   * @returns The output dataset.
+   *
+   * @internal
+   */
+  readonly "~run": (dataset: SuccessDataset$1<TInput$1>, config: Config$1<BaseIssue$1<unknown>>) => OutputDataset$1<TOutput$1, BaseIssue$1<unknown> | TIssue>;
+  /**
+   * The input, output and issue type.
+   *
+   * @internal
+   */
+  readonly "~types"?: {
+    readonly input: TInput$1;
+    readonly output: TOutput$1;
+    readonly issue: TIssue;
+  } | undefined;
+}
+/**
+ * Base transformation async interface.
+ */
+interface BaseTransformationAsync$1<TInput$1, TOutput$1, TIssue extends BaseIssue$1<unknown>> extends Omit<BaseTransformation$1<TInput$1, TOutput$1, TIssue>, "reference" | "async" | "~run"> {
+  /**
+   * The transformation reference.
+   */
+  readonly reference: (...args: any[]) => BaseTransformation$1<any, any, BaseIssue$1<unknown>> | BaseTransformationAsync$1<any, any, BaseIssue$1<unknown>>;
+  /**
+   * Whether it's async.
+   */
+  readonly async: true;
+  /**
+   * Transforms known input values.
+   *
+   * @param dataset The input dataset.
+   * @param config The configuration.
+   *
+   * @returns The output dataset.
+   *
+   * @internal
+   */
+  readonly "~run": (dataset: SuccessDataset$1<TInput$1>, config: Config$1<BaseIssue$1<unknown>>) => Promise<OutputDataset$1<TOutput$1, BaseIssue$1<unknown> | TIssue>>;
+}
+//#endregion
+//#region src/types/validation.d.ts
+/**
+ * Base validation interface.
+ */
+interface BaseValidation$1<TInput$1, TOutput$1, TIssue extends BaseIssue$1<unknown>> {
+  /**
+   * The object kind.
+   */
+  readonly kind: "validation";
+  /**
+   * The validation type.
+   */
+  readonly type: string;
+  /**
+   * The validation reference.
+   */
+  readonly reference: (...args: any[]) => BaseValidation$1<any, any, BaseIssue$1<unknown>>;
+  /**
+   * The expected property.
+   */
+  readonly expects: string | null;
+  /**
+   * Whether it's async.
+   */
+  readonly async: false;
+  /**
+   * Validates known input values.
+   *
+   * @param dataset The input dataset.
+   * @param config The configuration.
+   *
+   * @returns The output dataset.
+   *
+   * @internal
+   */
+  readonly "~run": (dataset: OutputDataset$1<TInput$1, BaseIssue$1<unknown>>, config: Config$1<BaseIssue$1<unknown>>) => OutputDataset$1<TOutput$1, BaseIssue$1<unknown> | TIssue>;
+  /**
+   * The input, output and issue type.
+   *
+   * @internal
+   */
+  readonly "~types"?: {
+    readonly input: TInput$1;
+    readonly output: TOutput$1;
+    readonly issue: TIssue;
+  } | undefined;
+}
+/**
+ * Base validation async interface.
+ */
+interface BaseValidationAsync$1<TInput$1, TOutput$1, TIssue extends BaseIssue$1<unknown>> extends Omit<BaseValidation$1<TInput$1, TOutput$1, TIssue>, "reference" | "async" | "~run"> {
+  /**
+   * The validation reference.
+   */
+  readonly reference: (...args: any[]) => BaseValidation$1<any, any, BaseIssue$1<unknown>> | BaseValidationAsync$1<any, any, BaseIssue$1<unknown>>;
+  /**
+   * Whether it's async.
+   */
+  readonly async: true;
+  /**
+   * Validates known input values.
+   *
+   * @param dataset The input dataset.
+   * @param config The configuration.
+   *
+   * @returns The output dataset.
+   *
+   * @internal
+   */
+  readonly "~run": (dataset: OutputDataset$1<TInput$1, BaseIssue$1<unknown>>, config: Config$1<BaseIssue$1<unknown>>) => Promise<OutputDataset$1<TOutput$1, BaseIssue$1<unknown> | TIssue>>;
+}
+/**
+ * Infer output type.
+ */
+type InferOutput$1<TItem$1 extends BaseSchema$1<unknown, unknown, BaseIssue$1<unknown>> | BaseSchemaAsync$1<unknown, unknown, BaseIssue$1<unknown>> | BaseValidation$1<any, unknown, BaseIssue$1<unknown>> | BaseValidationAsync$1<any, unknown, BaseIssue$1<unknown>> | BaseTransformation$1<any, unknown, BaseIssue$1<unknown>> | BaseTransformationAsync$1<any, unknown, BaseIssue$1<unknown>> | BaseMetadata$1<any>> = NonNullable<TItem$1["~types"]>["output"];
+/**
+ * Constructs a type that is maybe readonly.
+ */
+type MaybeReadonly$1<TValue$1> = TValue$1 | Readonly<TValue$1>;
+//#endregion
+//#region src/types/other.d.ts
+/**
+ * Error message type.
+ */
+type ErrorMessage$1<TIssue extends BaseIssue$1<unknown>> = ((issue: TIssue) => string) | string;
+//#endregion
+//#region src/types/issue.d.ts
+/**
+ * Array path item interface.
+ */
+interface ArrayPathItem$1 {
+  /**
+   * The path item type.
+   */
+  readonly type: "array";
+  /**
+   * The path item origin.
+   */
+  readonly origin: "value";
+  /**
+   * The path item input.
+   */
+  readonly input: MaybeReadonly$1<unknown[]>;
+  /**
+   * The path item key.
+   */
+  readonly key: number;
+  /**
+   * The path item value.
+   */
+  readonly value: unknown;
+}
+/**
+ * Map path item interface.
+ */
+interface MapPathItem$1 {
+  /**
+   * The path item type.
+   */
+  readonly type: "map";
+  /**
+   * The path item origin.
+   */
+  readonly origin: "key" | "value";
+  /**
+   * The path item input.
+   */
+  readonly input: Map<unknown, unknown>;
+  /**
+   * The path item key.
+   */
+  readonly key: unknown;
+  /**
+   * The path item value.
+   */
+  readonly value: unknown;
+}
+/**
+ * Object path item interface.
+ */
+interface ObjectPathItem$1 {
+  /**
+   * The path item type.
+   */
+  readonly type: "object";
+  /**
+   * The path item origin.
+   */
+  readonly origin: "key" | "value";
+  /**
+   * The path item input.
+   */
+  readonly input: Record<string, unknown>;
+  /**
+   * The path item key.
+   */
+  readonly key: string;
+  /**
+   * The path item value.
+   */
+  readonly value: unknown;
+}
+/**
+ * Set path item interface.
+ */
+interface SetPathItem$1 {
+  /**
+   * The path item type.
+   */
+  readonly type: "set";
+  /**
+   * The path item origin.
+   */
+  readonly origin: "value";
+  /**
+   * The path item input.
+   */
+  readonly input: Set<unknown>;
+  /**
+   * The path item key.
+   */
+  readonly key: null;
+  /**
+   * The path item key.
+   */
+  readonly value: unknown;
+}
+/**
+ * Unknown path item interface.
+ */
+interface UnknownPathItem$1 {
+  /**
+   * The path item type.
+   */
+  readonly type: "unknown";
+  /**
+   * The path item origin.
+   */
+  readonly origin: "key" | "value";
+  /**
+   * The path item input.
+   */
+  readonly input: unknown;
+  /**
+   * The path item key.
+   */
+  readonly key: unknown;
+  /**
+   * The path item value.
+   */
+  readonly value: unknown;
+}
+/**
+ * Issue path item type.
+ */
+type IssuePathItem$1 = ArrayPathItem$1 | MapPathItem$1 | ObjectPathItem$1 | SetPathItem$1 | UnknownPathItem$1;
+/**
+ * Base issue interface.
+ */
+interface BaseIssue$1<TInput$1> extends Config$1<BaseIssue$1<TInput$1>> {
+  /**
+   * The issue kind.
+   */
+  readonly kind: "schema" | "validation" | "transformation";
+  /**
+   * The issue type.
+   */
+  readonly type: string;
+  /**
+   * The raw input data.
+   */
+  readonly input: TInput$1;
+  /**
+   * The expected property.
+   */
+  readonly expected: string | null;
+  /**
+   * The received property.
+   */
+  readonly received: string;
+  /**
+   * The error message.
+   */
+  readonly message: string;
+  /**
+   * The input requirement.
+   */
+  readonly requirement?: unknown | undefined;
+  /**
+   * The issue path.
+   */
+  readonly path?: [IssuePathItem$1, ...IssuePathItem$1[]] | undefined;
+  /**
+   * The sub issues.
+   */
+  readonly issues?: [BaseIssue$1<TInput$1>, ...BaseIssue$1<TInput$1>[]] | undefined;
+}
+//#endregion
+//#region src/types/config.d.ts
+/**
+ * Config interface.
+ */
+interface Config$1<TIssue extends BaseIssue$1<unknown>> {
+  /**
+   * The selected language.
+   */
+  readonly lang?: string | undefined;
+  /**
+   * The error message.
+   */
+  readonly message?: ErrorMessage$1<TIssue> | undefined;
+  /**
+   * Whether it should be aborted early.
+   */
+  readonly abortEarly?: boolean | undefined;
+  /**
+   * Whether a pipe should be aborted early.
+   */
+  readonly abortPipeEarly?: boolean | undefined;
+}
+//#endregion
+//#region ../core/dist/types-m5T_UL76.d.mts
 //#region src/config/types.d.ts
 type ModelSize = 'large' | 'medium' | 'small';
 interface RunnerCacheConfig {
@@ -208,11 +828,11 @@ interface LanguageDefinition {
   extract: (file: SourceFile, context: LanguageContext) => Awaitable<SourceTarget[]>;
   name: string;
 }
-interface PluginDefinition {
+interface PluginDefinition<Rules extends Record<string, RuleDefinition<any>> = Record<string, RuleDefinition<any>>> {
   configs?: Record<string, AlintConfigInput>;
   languages?: Record<string, LanguageDefinition>;
   processors?: Record<string, ProcessorDefinition>;
-  rules?: Record<string, RuleDefinition>;
+  rules?: Rules;
 }
 interface ProcessorDefinition {
   postprocess?: (diagnostics: DiagnosticDescriptor[], context: ProcessorPostprocessContext) => Awaitable<DiagnosticDescriptor[]>;
@@ -227,8 +847,8 @@ interface ProjectTarget {
 type RuleCacheConfig = boolean | {
   level?: 'target';
 };
-type RuleConfigEntry = [RuleSeverity] | RuleSeverity;
-interface RuleContext {
+type RuleConfigEntry<Options extends readonly unknown[] = readonly []> = readonly [RuleSeverity, ...Partial<Options>] | RuleSeverity;
+interface RuleContext<Options extends readonly unknown[] = readonly []> {
   agent?: AgentAdapter;
   cwd: string;
   id: string;
@@ -240,6 +860,7 @@ interface RuleContext {
     recordUsage: (usage: RuleInferenceUsageRecord) => void;
   };
   model: (selector?: ModelRequirement | string) => Promise<ResolvedModel>;
+  options: Options;
   outputLanguage?: string;
   report: (diagnostic: DiagnosticDescriptor) => void;
   settings: Record<string, unknown>;
@@ -252,12 +873,13 @@ interface RuleContext {
   signal?: AbortSignal;
   src: SourceRuntime;
 }
-interface RuleDefinition {
+interface RuleDefinition<OptionsSchema extends RuleOptionsSchema = []> {
   cache?: RuleCacheConfig;
   /** Additional stable rule inputs, such as imported prompts, that invalidate cached results when changed. */
   cacheKey?: unknown;
-  create: (context: RuleContext) => RuleHandlers;
+  create: (context: RuleContext<RuleOptionsOutput<OptionsSchema>>) => RuleHandlers;
   model?: ModelRequirement;
+  options?: OptionsSchema;
 }
 type RuleHandlers = RuleSpecializedHandlers | RuleWithHandler;
 interface RuleInferenceUsageRecord {
@@ -270,6 +892,8 @@ interface RuleInferenceUsageRecord {
   ruleId?: string;
   totalTokens?: number;
 }
+type RuleOptionsOutput<OptionsSchema extends RuleOptionsSchema> = { readonly [Index in keyof OptionsSchema]: InferOutput$1<OptionsSchema[Index]>; };
+type RuleOptionsSchema = readonly GenericSchema[];
 type RuleSeverity = 'error' | 'off' | 'warn';
 interface RuleSpecializedHandlers {
   onTargetClass?: (target: ClassTarget) => Awaitable<void>;
@@ -344,114 +968,6 @@ declare function tokenize(text: string, commentRanges: readonly SourceRange[], i
 /** Shared token fraction of the larger bag. Ranks candidates, decides nothing. */
 declare function tokenOverlap(left: readonly string[], right: readonly string[]): number;
 //#endregion
-//#region ../core/dist/types-CR_Grd6q.d.mts
-/** Agent-agnostic tool definition. Each adapter translates it to its framework's tool format. */
-interface AgentTool {
-  description: string;
-  execute: (input: unknown) => Promise<unknown> | unknown;
-  name: string;
-  parameters: Record<string, unknown>;
-}
-//#endregion
-//#region src/rules/no-duplicated-helper/tools.d.ts
-interface AgentFinding {
-  helperId: string;
-  reason: string;
-  twinId: string;
-}
-interface DuplicateToolsOptions {
-  /** Mutated by `report_duplicate`; the caller reads it once the agent stops. */
-  findings: AgentFinding[];
-  index: RepoIndex;
-  /** Helpers of the file under review: the only ones the agent may report on. */
-  reviewing: readonly IndexedHelper[];
-}
-declare function createDuplicateTools(options: DuplicateToolsOptions): AgentTool[];
-//#endregion
-//#region src/repo/cache.d.ts
-interface ReviewCache {
-  /** A review is returned only to a run whose `fingerprint` matches the one it was decided against. */
-  get: (filePath: string) => AgentFinding[] | undefined;
-  set: (filePath: string, findings: AgentFinding[]) => Promise<void>;
-}
-declare function reviewCacheFor(ctx: RuleContext, options: {
-  cwd: string;
-  enabled: boolean;
-  fingerprint: string;
-}): Promise<ReviewCache>;
-//#endregion
-//#region src/repo/index.d.ts
-interface IndexedHelper {
-  alphaFingerprint: string;
-  /** Comments and formatting removed, names left alone, so `search_helper_bodies` searches real code. */
-  body: string;
-  bodyIsSingleExpression: boolean;
-  /** Statements in the body, not counting comments. */
-  bodyStatements: number;
-  exactFingerprint: string;
-  exported: boolean;
-  filePath: string;
-  /** `packages/cli/src/lint.ts:57`. Unique, and a model can quote it back. */
-  id: string;
-  language: ExtractLanguage;
-  line: number;
-  lines: number;
-  name: string;
-  text: string;
-  tokens: string[];
-  /**
-   * How often a function of this name is called across the workspace.
-   *
-   * Counted by NAME, not by binding, so two `isEmpty` helpers share a count and `x.isEmpty()` counts too.
-   * Only ever handed to the judge as an approximate fact.
-   */
-  usageCount: number;
-}
-interface RepoIndex {
-  byAlpha: Map<string, IndexedHelper[]>;
-  byExact: Map<string, IndexedHelper[]>;
-  byId: Map<string, IndexedHelper>;
-  /** Every helper in the workspace, in one hash. What a cached review is stamped with. */
-  fingerprint: string;
-  helpers: IndexedHelper[];
-}
-interface RepoIndexOptions {
-  cwd: string;
-  ignores: readonly string[];
-  maxLines: number;
-  minTokens: number;
-}
-/** Helpers of one file, in source order. */
-declare function helpersIn(index: RepoIndex, filePath: string): IndexedHelper[];
-declare function repoIndexFor(ctx: RuleContext, options: RepoIndexOptions): Promise<RepoIndex>;
-/** Every other helper sharing a fingerprint. A helper is never its own twin. */
-declare function twinsOf(index: RepoIndex, helper: IndexedHelper, kind: 'alpha' | 'exact'): IndexedHelper[];
-//#endregion
-//#region src/rules/no-duplicated-helper/prompt.d.ts
-declare const duplicatedHelperInstructions: string;
-/**
- * The nearest helpers are pasted in rather than fetched: measured, the agent spent three of its four steps discovering what to read,
- * and every step re-sends the system prompt and every tool schema.
- */
-declare function buildDuplicatedHelperPrompt(options: {
-  candidates: readonly IndexedHelper[];
-  filePath: string;
-  helpers: readonly IndexedHelper[];
-}): string;
-//#endregion
-//#region src/rules/no-duplicated-helper/rule.d.ts
-/**
- * Reports a small helper already implemented somewhere else in the workspace.
- *
- * Identical bodies and renamed-only copies are settled by AST fingerprints, with no model. What
- * a fingerprint cannot settle goes to an agent holding the whole index as tools.
- */
-declare const duplicatedHelperRule: RuleDefinition;
-//#endregion
-//#region src/rules/no-needless-helper/prompt.d.ts
-declare const needlessHelperPrompt: string;
-declare function buildNeedlessHelperPrompt(helpers: readonly IndexedHelper[]): string;
-//#endregion
 //#region ../../node_modules/.pnpm/valibot@1.4.2_typescript@6.0.3/node_modules/valibot/dist/index.d.mts
 //#endregion
 //#region src/methods/fallback/fallback.d.ts
@@ -2049,6 +2565,114 @@ interface ReadonlyAction<TInput$1> extends BaseTransformation<TInput$1, Readonly
  */
 declare function readonly<TInput$1>(): ReadonlyAction<TInput$1>;
 //#endregion
+//#region ../core/dist/types-m5T_UL76.d.mts
+/** Agent-agnostic tool definition. Each adapter translates it to its framework's tool format. */
+interface AgentTool {
+  description: string;
+  execute: (input: unknown) => Promise<unknown> | unknown;
+  name: string;
+  parameters: Record<string, unknown>;
+}
+//#endregion
+//#region src/rules/no-duplicated-helper/tools.d.ts
+interface AgentFinding {
+  helperId: string;
+  reason: string;
+  twinId: string;
+}
+interface DuplicateToolsOptions {
+  /** Mutated by `report_duplicate`; the caller reads it once the agent stops. */
+  findings: AgentFinding[];
+  index: RepoIndex;
+  /** Helpers of the file under review: the only ones the agent may report on. */
+  reviewing: readonly IndexedHelper[];
+}
+declare function createDuplicateTools(options: DuplicateToolsOptions): AgentTool[];
+//#endregion
+//#region src/repo/cache.d.ts
+interface ReviewCache {
+  /** A review is returned only to a run whose `fingerprint` matches the one it was decided against. */
+  get: (filePath: string) => AgentFinding[] | undefined;
+  set: (filePath: string, findings: AgentFinding[]) => Promise<void>;
+}
+declare function reviewCacheFor(ctx: RuleContext, options: {
+  cwd: string;
+  enabled: boolean;
+  fingerprint: string;
+}): Promise<ReviewCache>;
+//#endregion
+//#region src/repo/index.d.ts
+interface IndexedHelper {
+  alphaFingerprint: string;
+  /** Comments and formatting removed, names left alone, so `search_helper_bodies` searches real code. */
+  body: string;
+  bodyIsSingleExpression: boolean;
+  /** Statements in the body, not counting comments. */
+  bodyStatements: number;
+  exactFingerprint: string;
+  exported: boolean;
+  filePath: string;
+  /** `packages/cli/src/lint.ts:57`. Unique, and a model can quote it back. */
+  id: string;
+  language: ExtractLanguage;
+  line: number;
+  lines: number;
+  name: string;
+  text: string;
+  tokens: string[];
+  /**
+   * How often a function of this name is called across the workspace.
+   *
+   * Counted by NAME, not by binding, so two `isEmpty` helpers share a count and `x.isEmpty()` counts too.
+   * Only ever handed to the judge as an approximate fact.
+   */
+  usageCount: number;
+}
+interface RepoIndex {
+  byAlpha: Map<string, IndexedHelper[]>;
+  byExact: Map<string, IndexedHelper[]>;
+  byId: Map<string, IndexedHelper>;
+  /** Every helper in the workspace, in one hash. What a cached review is stamped with. */
+  fingerprint: string;
+  helpers: IndexedHelper[];
+}
+interface RepoIndexOptions {
+  cwd: string;
+  ignores: readonly string[];
+  maxLines: number;
+  minTokens: number;
+}
+/** Helpers of one file, in source order. */
+declare function helpersIn(index: RepoIndex, filePath: string): IndexedHelper[];
+declare function repoIndexFor(ctx: RuleContext, options: RepoIndexOptions): Promise<RepoIndex>;
+/** Every other helper sharing a fingerprint. A helper is never its own twin. */
+declare function twinsOf(index: RepoIndex, helper: IndexedHelper, kind: 'alpha' | 'exact'): IndexedHelper[];
+//#endregion
+//#region src/rules/no-duplicated-helper/prompt.d.ts
+declare const duplicatedHelperInstructions: string;
+/**
+ * The nearest helpers are pasted in rather than fetched: measured, the agent spent three of its four steps discovering what to read,
+ * and every step re-sends the system prompt and every tool schema.
+ */
+declare function buildDuplicatedHelperPrompt(options: {
+  candidates: readonly IndexedHelper[];
+  filePath: string;
+  helpers: readonly IndexedHelper[];
+}): string;
+//#endregion
+//#region src/rules/no-duplicated-helper/rule.d.ts
+/**
+ * Reports a small helper already implemented somewhere else in the workspace.
+ *
+ * Identical bodies and renamed-only copies are settled by AST fingerprints, with no model. What
+ * a fingerprint cannot settle goes to an agent holding the whole index as tools.
+ */
+declare const duplicatedHelperRule: RuleDefinition<[]>;
+//#endregion
+//#region src/rules/no-needless-helper/prompt.d.ts
+declare const needlessHelperPrompt: string;
+declare function buildNeedlessHelperPrompt(helpers: readonly IndexedHelper[]): string;
+//#endregion
 //#region src/rules/no-needless-helper/rule.d.ts
 declare const needlessHelperResponseSchema: ObjectSchema<{
   readonly findings: ArraySchema<ObjectSchema<{
@@ -2064,7 +2688,7 @@ declare const needlessHelperResponseSchema: ObjectSchema<{
  * should not exist. The deterministic half only finds candidates and gathers facts (usage
  * count, exported), which are given to the model rather than applied as filters.
  */
-declare const needlessHelperRule: RuleDefinition;
+declare const needlessHelperRule: RuleDefinition<[]>;
 //#endregion
 //#region src/rules/shared/settings.d.ts
 declare const settingsSchema: ObjectSchema<{
@@ -2082,6 +2706,9 @@ declare const settingsSchema: ObjectSchema<{
 type SimplicitySettings = InferOutput<typeof settingsSchema>;
 //#endregion
 //#region src/index.d.ts
-declare const simplicityPlugin: PluginDefinition;
+declare const simplicityPlugin: PluginDefinition<{
+  readonly 'no-duplicated-helper': RuleDefinition<[]>;
+  readonly 'no-needless-helper': RuleDefinition<[]>;
+}>;
 //#endregion
 export { type AgentFinding, type CallSite, type DuplicateToolsOptions, type ExtractLanguage, type ExtractedFunction, type IndexedHelper, type RepoIndex, type RepoIndexOptions, type ReviewCache, type SimplicitySettings, type SourceExtract, alphaFingerprint, buildDuplicatedHelperPrompt, buildNeedlessHelperPrompt, createDuplicateTools, simplicityPlugin as default, simplicityPlugin, duplicatedHelperInstructions, duplicatedHelperRule, exactFingerprint, extractSource, helpersIn, needlessHelperPrompt, needlessHelperResponseSchema, needlessHelperRule, normalizedBody, repoIndexFor, resolveExtractLanguage, reviewCacheFor, tokenOverlap, tokenize, twinsOf };

package/dist/index.mjs

@@ -125,7 +125,7 @@ const sleepWithAbort = async (ms, signal) => {
 	});
 };
 //#endregion
-//#region ../core/dist/agent-weXkvGkc.mjs
+//#region ../core/dist/agent-B6GG68NX.mjs
 function defineTool(tool) {
 	return tool;
 }

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@alint-js/plugin-simplicity",
   "type": "module",
-  "version": "0.0.32",
+  "version": "0.0.34",
   "exports": {
     ".": {
       "types": "./dist/index.d.mts",
@@ -21,10 +21,10 @@
     "typescript": "^6.0.3",
     "valibot": "^1.4.2",
     "web-tree-sitter": "^0.24.7",
-    "@alint-js/core": "0.0.32",
-    "@alint-js/agent-apeira": "0.0.32",
-    "@alint-js/plugin": "0.0.32",
-    "@alint-js/tools-fs": "0.0.32"
+    "@alint-js/agent-apeira": "0.0.34",
+    "@alint-js/core": "0.0.34",
+    "@alint-js/plugin": "0.0.34",
+    "@alint-js/tools-fs": "0.0.34"
   },
   "scripts": {
     "build": "tsdown",