@gobing-ai/ts-rule-engine 0.2.6 → 0.2.8

package/src/config/loader.ts

@@ -1,6 +1,5 @@
-import { basename, dirname, extname, join, relative, resolve, sep } from 'node:path';
-import { NodeFileSystem } from '@gobing-ai/ts-runtime';
-import { parse } from 'yaml';
+import { basename, dirname, join, relative, resolve, sep } from 'node:path';
+import { loadStructuredConfig, NodeFileSystem } from '@gobing-ai/ts-runtime';
 import {
     type ConstraintRule,
     type ConstraintRuleFile,
@@ -9,6 +8,7 @@ import {
     type PresetDefinition,
     PresetDefinitionSchema,
 } from '../types';
+import { collectPresetExtensions, type ExtensionRef } from './extensions';
 
 /** Options for loading rule presets. */
 export interface RuleLoaderOptions {
@@ -20,6 +20,25 @@ export interface RuleLoaderOptions {
      * loader stays agnostic to any project layout convention.
      */
     roots: string[];
+    /** When true, honor top-level `$schema` refs in preset and rule files. Defaults to true. */
+    validateSchema?: boolean;
+    /** Optional fetch implementation for remote HTTP(S) schema refs. */
+    fetch?: (input: string) => Promise<Response>;
+}
+
+export interface RuleFileLoadOptions {
+    /** When true, honor top-level `$schema` refs. Defaults to true. */
+    validateSchema?: boolean;
+    /** Optional fetch implementation for remote HTTP(S) schema refs. */
+    fetch?: (input: string) => Promise<Response>;
+}
+
+/** Loaded preset rules plus extension module refs declared by composed presets. */
+export interface LoadedPreset {
+    /** Normalized rules after preset disable/override handling. */
+    readonly rules: ConstraintRule[];
+    /** Extension modules declared by the preset graph, resolved to absolute paths. */
+    readonly extensions: ExtensionRef[];
 }
 
 /** Merged view of rule roots: winning file per relative path, plus categories. */
@@ -37,14 +56,17 @@ interface MergedRoots {
  * so a caller can layer project-local rules over shared/global rules and inherit
  * the rest of a preset's categories from the lower-priority roots.
  */
-export async function loadPresetRules(name: string, options: RuleLoaderOptions): Promise<ConstraintRule[]> {
+export async function loadPreset(name: string, options: RuleLoaderOptions): Promise<LoadedPreset> {
     const merged = await buildMergedRoots(options.roots.map((root) => resolve(root)));
     const presetPath = findMergedPreset(merged, name);
-    if (presetPath === null) return [];
-    const preset = PresetDefinitionSchema.parse(await readStructuredFile(presetPath)) as PresetDefinition;
+    if (presetPath === null) return { rules: [], extensions: [] };
+    const preset = PresetDefinitionSchema.parse(await readStructuredFile(presetPath, options)) as PresetDefinition;
     const rules: ConstraintRule[] = [];
+    const extensions = collectPresetExtensions(preset.name, dirname(presetPath), preset.extensions);
     for (const entry of preset.extends) {
-        rules.push(...(await loadPresetEntry(merged, entry, new Set([name]))));
+        const loaded = await loadPresetEntry(merged, entry, new Set([name]), options);
+        rules.push(...loaded.rules);
+        extensions.push(...loaded.extensions);
     }
     const disabled = new Set(preset.disable ?? []);
     const normalized = rules.filter((rule) => !disabled.has(rule.id));
@@ -54,24 +76,42 @@ export async function loadPresetRules(name: string, options: RuleLoaderOptions):
             rule.fix = { ...(rule.fix ?? { mode: 'none' }), ...override.fix };
         }
     }
-    return normalized;
+    return { rules: normalized, extensions };
+}
+
+export async function loadPresetRules(name: string, options: RuleLoaderOptions): Promise<ConstraintRule[]> {
+    return (await loadPreset(name, options)).rules;
 }
 
 /** Load a direct rule file from disk. */
-export async function loadRuleFile(filePath: string): Promise<ConstraintRule[]> {
-    return normalizeRuleFile(await readStructuredFile(resolve(filePath)), dirname(resolve(filePath)));
+export async function loadRuleFile(filePath: string, options: RuleFileLoadOptions = {}): Promise<ConstraintRule[]> {
+    const resolved = resolve(filePath);
+    return normalizeRuleFile(await readStructuredFile(resolved, options), dirname(resolved));
 }
 
-async function loadPresetEntry(merged: MergedRoots, entry: string, seen: Set<string>): Promise<ConstraintRule[]> {
-    // Sub-preset reference — recurse (cycle-guarded).
+async function loadPresetEntry(
+    merged: MergedRoots,
+    entry: string,
+    seen: Set<string>,
+    options: Pick<RuleLoaderOptions, 'validateSchema' | 'fetch'>,
+): Promise<LoadedPreset> {
+    // Sub-preset reference — recurse, erroring on a genuine cycle.
     const presetPath = findMergedPreset(merged, entry);
-    if (presetPath !== null && !seen.has(entry)) {
-        seen.add(entry);
-        const preset = PresetDefinitionSchema.safeParse(await readStructuredFile(presetPath));
+    if (presetPath !== null) {
+        if (seen.has(entry)) {
+            throw new Error(`Circular preset dependency detected: ${[...seen, entry].join(' → ')}`);
+        }
+        const nextSeen = new Set([...seen, entry]);
+        const preset = PresetDefinitionSchema.safeParse(await readStructuredFile(presetPath, options));
         if (preset.success) {
             const rules: ConstraintRule[] = [];
-            for (const child of preset.data.extends) rules.push(...(await loadPresetEntry(merged, child, seen)));
-            return rules.filter((rule) => !(preset.data.disable ?? []).includes(rule.id));
+            const extensions = collectPresetExtensions(preset.data.name, dirname(presetPath), preset.data.extensions);
+            for (const child of preset.data.extends) {
+                const loaded = await loadPresetEntry(merged, child, nextSeen, options);
+                rules.push(...loaded.rules);
+                extensions.push(...loaded.extensions);
+            }
+            return { rules: rules.filter((rule) => !(preset.data.disable ?? []).includes(rule.id)), extensions };
         }
     }
 
@@ -79,16 +119,20 @@ async function loadPresetEntry(merged: MergedRoots, entry: string, seen: Set<str
     if (merged.categories.has(entry)) {
         const rules: ConstraintRule[] = [];
         for (const absPath of mergedFilesInCategory(merged, entry)) {
-            rules.push(...(await loadRuleFile(absPath)));
+            rules.push(...normalizeRuleFile(await readStructuredFile(absPath, options), dirname(absPath)));
         }
-        return rules;
+        return { rules, extensions: [] };
     }
 
     // Sub-path reference — a single winning rule file within a category.
     const subPath = findMergedFile(merged, entry);
-    if (subPath !== null) return loadRuleFile(subPath);
+    if (subPath !== null)
+        return {
+            rules: normalizeRuleFile(await readStructuredFile(subPath, options), dirname(subPath)),
+            extensions: [],
+        };
 
-    return [];
+    return { rules: [], extensions: [] };
 }
 
 /**
@@ -180,9 +224,14 @@ async function listImmediateDirs(fs: NodeFileSystem, dir: string): Promise<strin
     return dirs;
 }
 
-async function readStructuredFile(path: string): Promise<unknown> {
-    const content = await new NodeFileSystem().readFile(path);
-    return extname(path) === '.json' ? JSON.parse(content) : parse(content);
+async function readStructuredFile(
+    path: string,
+    options: Pick<RuleLoaderOptions, 'validateSchema' | 'fetch'> = {},
+): Promise<unknown> {
+    return await loadStructuredConfig(path, {
+        validateSchema: options.validateSchema,
+        fetch: options.fetch,
+    });
 }
 
 function normalizeRuleFile(raw: unknown, sourceDir: string): ConstraintRule[] {
@@ -200,7 +249,8 @@ function normalizeFileRules(file: ConstraintRuleFile, sourceDir: string): Constr
                 ...rule,
                 severity: rule.severity ?? file.severity ?? 'error',
                 include: rule.include ?? file.include,
-                exclude: rule.exclude ?? file.exclude,
+                // File-level excludes always apply; a rule's own excludes add to (not replace) them.
+                exclude: mergeExcludes(file.exclude, rule.exclude),
             },
             {},
             sourceDir,
@@ -208,6 +258,12 @@ function normalizeFileRules(file: ConstraintRuleFile, sourceDir: string): Constr
     );
 }
 
+/** Union of file-level and rule-level excludes, de-duplicated. Returns undefined when both empty. */
+function mergeExcludes(fileExclude?: string[], ruleExclude?: string[]): string[] | undefined {
+    if (fileExclude === undefined && ruleExclude === undefined) return undefined;
+    return [...new Set([...(fileExclude ?? []), ...(ruleExclude ?? [])])];
+}
+
 function normalizeRule(rule: ConstraintRule, _defaults: Partial<ConstraintRule>, _sourceDir: string): ConstraintRule {
     return {
         ...rule,

package/src/engine.ts

@@ -1,7 +1,15 @@
 import type { ProcessExecutor } from '@gobing-ai/ts-runtime';
+import {
+    applyFixes as applyFixesImpl,
+    builtInFixers,
+    type EffectiveFix,
+    FIX_MODE_RANK,
+    type FixApplicationResult,
+    type RuleFixerProvider,
+} from './fixers/fixers';
 import { registerBuiltins } from './host/builtins';
 import { RuleEngineHost } from './host/rule-engine-host';
-import type { ConstraintFinding, ConstraintRule, RuleEngineResult, RuleEvaluator } from './types';
+import type { ConstraintFinding, ConstraintRule, Fix, FixMode, RuleEngineResult, RuleEvaluator } from './types';
 import { createFinding } from './types';
 
 /** Options for constructing a RuleEngine. */
@@ -17,9 +25,13 @@ export class RuleEngine {
     /** Capability host used by this engine. */
     readonly host: RuleEngineHost;
 
+    /** Fixer providers keyed by evaluator type. */
+    private readonly fixers: Map<string, RuleFixerProvider>;
+
     constructor(options: RuleEngineOptions = {}) {
         this.host = options.host ?? new RuleEngineHost();
         registerBuiltins(this.host, options.processExecutor);
+        this.fixers = builtInFixers(this.host, options.processExecutor);
     }
 
     /** Register or replace an evaluator. */
@@ -30,7 +42,7 @@ export class RuleEngine {
     /** Evaluate all enabled rules against a working directory. */
     async evaluate(rules: ConstraintRule[], workdir: string): Promise<RuleEngineResult> {
         const findings: ConstraintFinding[] = [];
-        const fixes = [];
+        const fixes: Fix[] = [];
         for (const rule of rules) {
             if (rule.enabled === false) continue;
             try {
@@ -41,10 +53,95 @@ export class RuleEngine {
                 findings.push(
                     createFinding(rule, error instanceof Error ? error.message : String(error), null, {
                         code: `evaluator:${rule.evaluator.type}`,
+                        kind: 'error',
                     }),
                 );
             }
         }
         return { findings, fixes };
     }
+
+    /**
+     * Evaluate all enabled rules and collect candidate fixes.
+     *
+     * For each rule with findings and a non-none fix mode, looks up the fixer
+     * provider by evaluator type and calls `createFixes`. The effective fix mode
+     * is the minimum of the rule's configured mode and `maxFixMode`.
+     *
+     * @param rules - Normalized rule definitions to evaluate.
+     * @param workdir - Working directory to scan.
+     * @param maxFixMode - Highest fix authority requested by the caller.
+     * @returns Findings plus fixes allowed by the requested authority.
+     */
+    async evaluateWithFixes(
+        rules: ConstraintRule[],
+        workdir: string,
+        maxFixMode: FixMode = 'auto',
+    ): Promise<RuleEngineResult> {
+        const findings: ConstraintFinding[] = [];
+        const fixes: Fix[] = [];
+
+        for (const rule of rules) {
+            if (rule.enabled === false) continue;
+
+            let ruleFindings: ConstraintFinding[] = [];
+            let ruleEvalFixes: Fix[] = [];
+            try {
+                const result = await this.host.evaluators.get(rule.evaluator.type).evaluate(rule, { rule, workdir });
+                ruleFindings = result.findings;
+                ruleEvalFixes = result.fixes;
+            } catch (error) {
+                ruleFindings = [
+                    createFinding(rule, error instanceof Error ? error.message : String(error), null, {
+                        code: `evaluator:${rule.evaluator.type}`,
+                        kind: 'error',
+                    }),
+                ];
+            }
+
+            findings.push(...ruleFindings);
+            fixes.push(...ruleEvalFixes);
+
+            const ruleMode = rule.fix?.mode ?? 'none';
+            const effectiveMode = effectiveFixMode(ruleMode, maxFixMode);
+
+            if (effectiveMode !== 'none' && ruleFindings.length > 0) {
+                const provider = this.fixers.get(rule.evaluator.type);
+                if (provider) {
+                    const effectiveFix: EffectiveFix = {
+                        mode: effectiveMode,
+                        ...(rule.fix?.replacement !== undefined ? { replacement: rule.fix.replacement } : {}),
+                        ...(rule.fix?.params !== undefined ? { params: rule.fix.params } : {}),
+                    };
+                    const providerFixes = await provider.createFixes({
+                        rule,
+                        context: { rule, workdir },
+                        findings: ruleFindings,
+                        fix: effectiveFix,
+                    });
+                    fixes.push(...providerFixes);
+                }
+            }
+        }
+
+        return { findings, fixes };
+    }
+
+    /**
+     * Apply or preview candidate byte-range fixes.
+     *
+     * @param workdir - Working directory that fix file paths are relative to.
+     * @param fixes - Fixes to apply.
+     * @param dryRun - When true, return a diff without writing files.
+     * @returns Application details and optional diff.
+     */
+    async applyFixes(workdir: string, fixes: readonly Fix[], dryRun = false): Promise<FixApplicationResult> {
+        return applyFixesImpl(workdir, fixes, dryRun);
+    }
+}
+
+/** Return the lower-authority mode between what the rule requests and what the caller allows. */
+function effectiveFixMode(ruleMode: FixMode, requestedMode: FixMode): FixMode {
+    if (requestedMode === 'none' || ruleMode === 'none') return 'none';
+    return FIX_MODE_RANK[ruleMode] <= FIX_MODE_RANK[requestedMode] ? ruleMode : requestedMode;
 }

package/src/evaluators/exit-code-evaluator.ts

@@ -11,27 +11,45 @@ import {
 export class ExitCodeEvaluator implements RuleEvaluator {
     constructor(private readonly executor: ProcessExecutor = new NodeProcessExecutor()) {}
 
-    /** Run configured command and emit a finding on non-zero exit. */
+    /** Run configured command and emit a finding unless the exit code matches `successCode`. */
     async evaluate(rule: ConstraintRule, context: RuleContext): Promise<RuleEvaluationResult> {
         const config = rule.evaluator.config ?? {};
         const command = stringConfig(config, 'command');
         const args = arrayConfig(config, 'args', []);
-        const result = await this.executor.run({ command, args, cwd: context.workdir, rejectOnError: false });
-        if (result.exitCode === 0) return { findings: [], fixes: [] };
+        const successCode = numberConfig(config, 'successCode', 0);
+        const timeout = numberConfig(config, 'timeout', 60_000);
+        const result = await this.executor.run({
+            command,
+            args,
+            cwd: context.workdir,
+            timeout,
+            rejectOnError: false,
+            label: 'exit-code',
+        });
+        if (result.exitCode === successCode) return { findings: [], fixes: [] };
+
+        const template = stringConfig(
+            config,
+            'message',
+            `Command failed (exit {code}): ${command} ${args.join(' ')}`.trim(),
+        );
+        const message = template.replaceAll('{code}', String(result.exitCode));
         return {
-            findings: [
-                createFinding(rule, `Command failed: ${command} ${args.join(' ')}`.trim(), null, {
-                    code: 'exit-code:failed',
-                }),
-            ],
+            findings: [createFinding(rule, message, null, { code: 'exit-code:failed' })],
             fixes: [],
         };
     }
 }
 
-function stringConfig(config: Record<string, unknown>, key: string): string {
+function numberConfig(config: Record<string, unknown>, key: string, fallback: number): number {
+    const value = config[key];
+    return typeof value === 'number' && Number.isFinite(value) ? value : fallback;
+}
+
+function stringConfig(config: Record<string, unknown>, key: string, fallback?: string): string {
     const value = config[key];
     if (typeof value === 'string') return value;
+    if (fallback !== undefined) return fallback;
     throw new Error(`exit-code evaluator requires string config "${key}"`);
 }
 

package/src/evaluators/forbidden-import-evaluator.ts

@@ -5,15 +5,45 @@ import {
     type RuleEvaluationResult,
     type RuleEvaluator,
 } from '../types';
-import { discoverFiles, readWorkdirFile } from './file-utils';
+import { discoverFiles, matchesGlob, readWorkdirFile } from './file-utils';
 
-/** Detects imports matching forbidden package or path prefixes. */
-export class ForbiddenImportEvaluator implements RuleEvaluator {
-    constructor() {}
+/** A forbidden entry: either an exact import specifier or a raw source pattern. */
+type ForbiddenEntry =
+    | { specifier: string; includeRequire?: boolean }
+    | { pattern: string; matchMode?: 'import' | 'usage' };
+
+/** Compiled scan entry derived from config. */
+interface ScanEntry {
+    regex: RegExp;
+    label: string;
+}
 
-    /** Evaluate import declarations against configured forbidden prefixes. */
+/**
+ * Detects forbidden imports / API usage.
+ *
+ * Two config shapes are supported:
+ * - Simple: `{ patterns: string[] }` — substring match against any import specifier,
+ *   scoped by the rule's own `include` / `exclude`.
+ * - Structured: `{ forbidden: [...], scope: { include, exclude } }` — each forbidden
+ *   entry is an exact `specifier` (also matching require/dynamic forms unless
+ *   `includeRequire:false`) or a raw `pattern`, scoped by `scope.include` /
+ *   `scope.exclude` globs.
+ */
+export class ForbiddenImportEvaluator implements RuleEvaluator {
+    /** Evaluate import/usage against the configured forbidden set. */
     async evaluate(rule: ConstraintRule, context: RuleContext): Promise<RuleEvaluationResult> {
         const config = rule.evaluator.config ?? {};
+        return Array.isArray(config.forbidden)
+            ? this.evaluateStructured(rule, context, config)
+            : this.evaluateSimple(rule, context, config);
+    }
+
+    /** Legacy path: `{ patterns: string[] }`, substring-matched against import specifiers. */
+    private async evaluateSimple(
+        rule: ConstraintRule,
+        context: RuleContext,
+        config: Record<string, unknown>,
+    ): Promise<RuleEvaluationResult> {
         const forbidden = arrayConfig(config, 'patterns');
         const files = await discoverFiles({
             workdir: context.workdir,
@@ -24,8 +54,7 @@ export class ForbiddenImportEvaluator implements RuleEvaluator {
         for (const file of files) {
             const lines = (await readWorkdirFile(context.workdir, file)).split('\n');
             for (const [index, line] of lines.entries()) {
-                const imported = /(?:from\s+|import\s*\(|^\s*import\s*)['"](?<specifier>[^'"]+)['"]/.exec(line)?.groups
-                    ?.specifier;
+                const imported = importSpecifier(line);
                 if (imported === undefined) continue;
                 const matched = forbidden.find((pattern) => imported.includes(pattern));
                 if (matched !== undefined) {
@@ -40,6 +69,67 @@ export class ForbiddenImportEvaluator implements RuleEvaluator {
         }
         return { findings, fixes: [] };
     }
+
+    /** Structured path: `{ forbidden: [...], scope: { include, exclude } }`. */
+    private async evaluateStructured(
+        rule: ConstraintRule,
+        context: RuleContext,
+        config: Record<string, unknown>,
+    ): Promise<RuleEvaluationResult> {
+        const scope = config.scope as { include?: unknown; exclude?: unknown } | undefined;
+        const include = stringArray(scope?.include);
+        if (include === undefined) {
+            throw new Error('forbidden-import evaluator requires string[] config "scope.include"');
+        }
+        const exclude = stringArray(scope?.exclude) ?? [];
+        const entries = (config.forbidden as ForbiddenEntry[]).map(compileEntry);
+
+        // Discover all source files, then apply scope globs precisely (discoverFiles'
+        // include matching is intentionally loose, so it cannot do `**`-anchored scoping).
+        const files = (await discoverFiles({ workdir: context.workdir }))
+            .filter((file) => include.some((glob) => matchesGlob(file, glob)))
+            .filter((file) => !exclude.some((glob) => matchesGlob(file, glob)));
+
+        const findings = [];
+        for (const file of files) {
+            const lines = (await readWorkdirFile(context.workdir, file)).split('\n');
+            for (const [index, line] of lines.entries()) {
+                const hit = entries.find((entry) => entry.regex.test(line));
+                if (hit !== undefined) {
+                    findings.push(
+                        createFinding(rule, `Forbidden import/usage of "${hit.label}"`, file, {
+                            line: index + 1,
+                            code: 'import:forbidden',
+                        }),
+                    );
+                }
+            }
+        }
+        return { findings, fixes: [] };
+    }
+}
+
+/** Extract the specifier from an import/require/dynamic-import line, if any. */
+function importSpecifier(line: string): string | undefined {
+    return /(?:from\s+|import\s*\(|^\s*import\s*)['"](?<specifier>[^'"]+)['"]/.exec(line)?.groups?.specifier;
+}
+
+/** Compile a forbidden entry into a line-matching regex. */
+function compileEntry(entry: ForbiddenEntry): ScanEntry {
+    if ('specifier' in entry) {
+        const spec = escapeRegExp(entry.specifier);
+        const boundary = `(?:/|['"])`;
+        const source =
+            entry.includeRequire === false
+                ? `from\\s+['"]${spec}${boundary}`
+                : `(?:from\\s+|require\\(\\s*|import\\(\\s*)['"]${spec}${boundary}`;
+        return { regex: new RegExp(source), label: entry.specifier };
+    }
+    return { regex: new RegExp(entry.pattern), label: entry.pattern };
+}
+
+function escapeRegExp(value: string): string {
+    return value.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
 }
 
 function arrayConfig(config: Record<string, unknown>, key: string): string[] {
@@ -48,3 +138,7 @@ function arrayConfig(config: Record<string, unknown>, key: string): string[] {
     if (typeof value === 'string') return [value];
     throw new Error(`forbidden-import evaluator requires string[] config "${key}"`);
 }
+
+function stringArray(value: unknown): string[] | undefined {
+    return Array.isArray(value) && value.every((item) => typeof item === 'string') ? (value as string[]) : undefined;
+}

package/src/evaluators/import-boundary-evaluator.ts

@@ -0,0 +1,135 @@
+import {
+    type ConstraintRule,
+    createFinding,
+    type RuleContext,
+    type RuleEvaluationResult,
+    type RuleEvaluator,
+} from '../types';
+import { discoverFiles, matchesGlob, readWorkdirFile } from './file-utils';
+
+/**
+ * A forbidden entry within a boundary declaration.
+ *
+ * - String form: substring match against any import/export/require/dynamic-import specifier.
+ * - Object form: regex `pattern` matched against the full line (mode `usage`) or import lines
+ *   only (mode `import`).
+ */
+type ForbiddenEntry =
+    | string
+    | {
+          /** Regex pattern to match against lines. */
+          pattern: string;
+          /** `import` = restrict to import/export/require lines; `usage` = any line. Default: `import`. */
+          mode?: 'import' | 'usage';
+          /** Explicit syntax hint (informational, not enforced differently from `mode`). */
+          syntax?: string;
+      };
+
+/** A compiled boundary ready for file scanning. */
+interface CompiledBoundary {
+    scope: string;
+    excludePatterns: string[];
+    forbidden: Array<{ regex: RegExp; label: string; importOnly: boolean }>;
+}
+
+/**
+ * Enforces architectural import boundaries without spawning a subprocess.
+ *
+ * Files matching a boundary's `scope` glob are scanned in-memory. Each forbidden
+ * entry is either a string (matched as an import-specifier substring) or an object
+ * with a `pattern` regex and an optional `mode` (`import` | `usage`).
+ *
+ * ## Options (in `evaluator.config`)
+ * - `boundaries` — non-empty array of boundary declarations:
+ *   - `scope` — glob pattern selecting files this boundary applies to.
+ *   - `forbidden` — array of strings or `{ pattern, mode?, syntax? }` objects.
+ *   - `exclude` — optional globs within the scope to ignore.
+ */
+export class ImportBoundaryEvaluator implements RuleEvaluator {
+    /** Evaluate import boundaries across all in-scope files. */
+    async evaluate(rule: ConstraintRule, context: RuleContext): Promise<RuleEvaluationResult> {
+        const config = rule.evaluator.config ?? {};
+        const boundaries = config.boundaries;
+        if (!Array.isArray(boundaries) || boundaries.length === 0) {
+            throw new Error('import-boundary evaluator requires non-empty array config "boundaries"');
+        }
+
+        const compiled = (boundaries as unknown as BoundaryDecl[]).map((b) => compileBoundary(b));
+
+        // Discover all files once; filter per boundary below.
+        const allFiles = await discoverFiles({ workdir: context.workdir });
+
+        const findings = [];
+        for (const boundary of compiled) {
+            const inScope = allFiles
+                .filter((file) => matchesGlob(file, boundary.scope))
+                .filter((file) => !boundary.excludePatterns.some((ex) => matchesGlob(file, ex)));
+
+            for (const file of inScope) {
+                const content = await readWorkdirFile(context.workdir, file);
+                const lines = content.split('\n');
+                for (const [index, line] of lines.entries()) {
+                    for (const entry of boundary.forbidden) {
+                        if (entry.importOnly && !isImportLine(line)) continue;
+                        if (entry.regex.test(line)) {
+                            findings.push(
+                                createFinding(rule, `forbidden in boundary "${boundary.scope}": ${entry.label}`, file, {
+                                    line: index + 1,
+                                    code: 'import-boundary:violation',
+                                }),
+                            );
+                        }
+                    }
+                }
+            }
+        }
+
+        return { findings, fixes: [] };
+    }
+}
+
+/** Raw shape of one boundary declaration from the config. */
+interface BoundaryDecl {
+    scope: string;
+    forbidden: ForbiddenEntry[];
+    exclude?: string[];
+}
+
+/** Compile a raw boundary declaration into a scan-ready form. */
+function compileBoundary(decl: BoundaryDecl): CompiledBoundary {
+    return {
+        scope: decl.scope,
+        excludePatterns: decl.exclude ?? [],
+        forbidden: decl.forbidden.map((entry) => compileEntry(entry)),
+    };
+}
+
+/** Compile one forbidden entry into a regex + metadata. */
+function compileEntry(entry: ForbiddenEntry): { regex: RegExp; label: string; importOnly: boolean } {
+    if (typeof entry === 'string') {
+        // String form: match as an import specifier substring.
+        const escaped = escapeRegExp(entry);
+        return {
+            regex: new RegExp(`(?:from\\s+|require\\(\\s*|import\\(\\s*)['"](?:[^'"]*)?${escaped}(?:[^'"]*)?['"]`),
+            label: entry,
+            importOnly: true,
+        };
+    }
+
+    // Object form with `pattern`.
+    const importOnly = (entry.mode ?? 'import') !== 'usage';
+    return {
+        regex: new RegExp(entry.pattern),
+        label: entry.pattern,
+        importOnly,
+    };
+}
+
+/** Return true when a source line is an import/export/require/dynamic-import statement. */
+function isImportLine(line: string): boolean {
+    return /(?:^\s*import\b|^\s*export\b.*\bfrom\b|(?:from|require|import)\s*\(?\s*['"])/.test(line);
+}
+
+function escapeRegExp(value: string): string {
+    return value.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+}