@gobing-ai/ts-rule-engine 0.2.7 → 0.2.9

package/dist/config/loader.js

@@ -1,7 +1,7 @@
-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 { ConstraintRuleFileSchema, ConstraintRuleSchema, PresetDefinitionSchema, } from '../types.js';
+import { collectExtensions } from './extensions.js';
 /**
  * Load and normalize a preset by name, resolving across one or more rule roots.
  *
@@ -9,59 +9,111 @@ import { ConstraintRuleFileSchema, ConstraintRuleSchema, PresetDefinitionSchema,
  * 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, options) {
+export async function loadPreset(name, options) {
     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));
+        return { rules: [], extensions: [] };
+    const preset = PresetDefinitionSchema.parse(await readStructuredFile(presetPath, options));
     const rules = [];
+    const extensions = collectExtensions(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));
-    for (const rule of normalized) {
-        const override = preset.overrides?.[rule.id];
+    return { rules: applyPresetControls(preset.name, rules, preset.disable, preset.overrides), extensions };
+}
+/** Collapse rules sharing an id to a single entry; later definitions win (last-wins merge). */
+function dedupeById(rules) {
+    const byId = new Map();
+    for (const rule of rules)
+        byId.set(rule.id, rule);
+    return [...byId.values()];
+}
+/** Apply a preset's local disable and override controls after composing its children. */
+function applyPresetControls(presetName, rules, disabledIds, overrides) {
+    const disabled = new Set(disabledIds ?? []);
+    const controlled = dedupeById(rules).filter((rule) => !disabled.has(rule.id));
+    for (const rule of controlled) {
+        const override = overrides?.[rule.id];
         if (override?.fix !== undefined) {
+            assertFixModeNotPromoted(presetName, rule, override.fix.mode);
             rule.fix = { ...(rule.fix ?? { mode: 'none' }), ...override.fix };
         }
     }
-    return normalized;
+    return controlled;
+}
+/** Fix-mode authority ordering; an override may lower but never raise a rule's mode. */
+const FIX_MODE_AUTHORITY = { none: 0, suggest: 1, auto: 2 };
+/** Throw when a preset override would escalate a rule's fix authority above its authored level. */
+function assertFixModeNotPromoted(presetName, rule, overrideMode) {
+    const ruleMode = rule.fix?.mode ?? 'none';
+    if (FIX_MODE_AUTHORITY[overrideMode] > FIX_MODE_AUTHORITY[ruleMode]) {
+        throw new Error(`Preset "${presetName}" override for rule "${rule.id}" raises fix mode from "${ruleMode}" to "${overrideMode}"; overrides may only lower fix authority`);
+    }
 }
-/** Load a direct rule file from disk. */
-export async function loadRuleFile(filePath) {
-    return normalizeRuleFile(await readStructuredFile(resolve(filePath)), dirname(resolve(filePath)));
+export async function loadPresetRules(name, options) {
+    return (await loadPreset(name, options)).rules;
+}
+/**
+ * Load a direct rule file from disk.
+ *
+ * Returns the normalized rules plus any extension modules the file declares in an
+ * `extensions` block, resolved to absolute paths. Rule-file extensions are treated
+ * exactly like preset extensions — pass the refs to {@link loadExtensionsIntoHost},
+ * which enforces the same `allowExtensions` trust gate. A single-rule file (one rule
+ * object, not a `rules:` array) cannot declare extensions and yields `extensions: []`.
+ */
+export async function loadRuleFile(filePath, options = {}) {
+    const resolved = resolve(filePath);
+    const raw = await readStructuredFile(resolved, options);
+    const rules = normalizeRuleFile(raw, resolved);
+    const parsed = ConstraintRuleFileSchema.safeParse(raw);
+    const extensions = parsed.success
+        ? collectExtensions(basename(resolved), dirname(resolved), parsed.data.extensions)
+        : [];
+    return { rules, extensions };
 }
-async function loadPresetEntry(merged, entry, seen) {
+async function loadPresetEntry(merged, entry, seen, options) {
     // Sub-preset reference — recurse, erroring on a genuine cycle.
     const presetPath = findMergedPreset(merged, entry);
     if (presetPath !== null) {
         if (seen.has(entry)) {
             throw new Error(`Circular preset dependency detected: ${[...seen, entry].join(' → ')}`);
         }
-        seen.add(entry);
-        const preset = PresetDefinitionSchema.safeParse(await readStructuredFile(presetPath));
+        const nextSeen = new Set([...seen, entry]);
+        const preset = PresetDefinitionSchema.safeParse(await readStructuredFile(presetPath, options));
         if (preset.success) {
             const rules = [];
-            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 = collectExtensions(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: applyPresetControls(preset.data.name, rules, preset.data.disable, preset.data.overrides),
+                extensions,
+            };
         }
     }
     // Category folder reference — load every winning file under that prefix.
     if (merged.categories.has(entry)) {
         const rules = [];
         for (const absPath of mergedFilesInCategory(merged, entry)) {
-            rules.push(...(await loadRuleFile(absPath)));
+            rules.push(...normalizeRuleFile(await readStructuredFile(absPath, options), 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);
-    return [];
+        return {
+            rules: normalizeRuleFile(await readStructuredFile(subPath, options), subPath),
+            extensions: [],
+        };
+    return { rules: [], extensions: [] };
 }
 /**
  * Build the merged view across ordered roots.
@@ -155,27 +207,45 @@ async function listImmediateDirs(fs, dir) {
     }
     return dirs;
 }
-async function readStructuredFile(path) {
-    const content = await new NodeFileSystem().readFile(path);
-    return extname(path) === '.json' ? JSON.parse(content) : parse(content);
+async function readStructuredFile(path, options = {}) {
+    return await loadStructuredConfig(path, {
+        validateSchema: options.validateSchema,
+        fetch: options.fetch,
+    });
 }
-function normalizeRuleFile(raw, sourceDir) {
+function normalizeRuleFile(raw, filePath) {
+    const sourceDir = dirname(filePath);
     const maybeFile = ConstraintRuleFileSchema.safeParse(raw);
     if (maybeFile.success)
         return normalizeFileRules(maybeFile.data, sourceDir);
     const maybeRule = ConstraintRuleSchema.safeParse(raw);
     if (maybeRule.success)
-        return [normalizeRule(maybeRule.data, {}, sourceDir)];
-    throw new Error(`Invalid rule file: ${basename(sourceDir)}`);
+        return [normalizeRule(maybeRule.data, sourceDir)];
+    // Surface the schema diagnostics that best fit the input: a `rules:` array means
+    // the author intended a rule file, so report against that schema; otherwise the
+    // single-rule schema. Include field paths so the offending key is obvious.
+    const isRuleFileShape = typeof raw === 'object' && raw !== null && 'rules' in raw;
+    const issues = (isRuleFileShape ? maybeFile.error : maybeRule.error).issues;
+    throw new Error(`Invalid rule file "${basename(filePath)}": ${formatIssues(issues)}`);
+}
+/** Render Zod issues as `path: message` fragments for actionable diagnostics. */
+function formatIssues(issues) {
+    return issues
+        .map((issue) => {
+        const path = issue.path.map(String).join('.');
+        return path.length > 0 ? `${path}: ${issue.message}` : issue.message;
+    })
+        .join('; ');
 }
 function normalizeFileRules(file, sourceDir) {
     return file.rules.map((rule) => normalizeRule({
         ...rule,
-        severity: rule.severity ?? file.severity ?? 'error',
+        // Rule-level severity wins, then the file-level default, then 'error'.
+        severity: rule.severity ?? file.severity,
         include: rule.include ?? file.include,
         // File-level excludes always apply; a rule's own excludes add to (not replace) them.
         exclude: mergeExcludes(file.exclude, rule.exclude),
-    }, {}, sourceDir));
+    }, sourceDir));
 }
 /** Union of file-level and rule-level excludes, de-duplicated. Returns undefined when both empty. */
 function mergeExcludes(fileExclude, ruleExclude) {
@@ -183,7 +253,7 @@ function mergeExcludes(fileExclude, ruleExclude) {
         return undefined;
     return [...new Set([...(fileExclude ?? []), ...(ruleExclude ?? [])])];
 }
-function normalizeRule(rule, _defaults, _sourceDir) {
+function normalizeRule(rule, _sourceDir) {
     return {
         ...rule,
         enabled: rule.enabled ?? true,

package/dist/engine.d.ts

@@ -18,7 +18,14 @@ export declare class RuleEngine {
     constructor(options?: RuleEngineOptions);
     /** Register or replace an evaluator. */
     registerEvaluator(type: string, evaluator: RuleEvaluator): void;
-    /** Evaluate all enabled rules against a working directory. */
+    /**
+     * Evaluate all enabled rules against a working directory.
+     *
+     * Thin delegate to {@link evaluateWithFixes} with `maxFixMode = 'none'`; the fix
+     * branch in that path is short-circuited by `effectiveFixMode` so callers see only
+     * findings, never auto-generated fixes. Keeps the rule loop and error-finding
+     * semantics in one place.
+     */
     evaluate(rules: ConstraintRule[], workdir: string): Promise<RuleEngineResult>;
     /**
      * Evaluate all enabled rules and collect candidate fixes.

package/dist/engine.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../src/engine.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAKH,KAAK,oBAAoB,EAE5B,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,KAAK,EAAqB,cAAc,EAAE,GAAG,EAAE,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAGhH,6CAA6C;AAC7C,MAAM,WAAW,iBAAiB;IAC9B,+DAA+D;IAC/D,eAAe,CAAC,EAAE,eAAe,CAAC;IAClC,mCAAmC;IACnC,IAAI,CAAC,EAAE,cAAc,CAAC;CACzB;AAED,4EAA4E;AAC5E,qBAAa,UAAU;IACnB,2CAA2C;IAC3C,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAE9B,+CAA+C;IAC/C,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAiC;gBAE5C,OAAO,GAAE,iBAAsB;IAM3C,wCAAwC;IACxC,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,aAAa,GAAG,IAAI;IAI/D,8DAA8D;IACxD,QAAQ,CAAC,KAAK,EAAE,cAAc,EAAE,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAqBnF;;;;;;;;;;;OAWG;IACG,iBAAiB,CACnB,KAAK,EAAE,cAAc,EAAE,EACvB,OAAO,EAAE,MAAM,EACf,UAAU,GAAE,OAAgB,GAC7B,OAAO,CAAC,gBAAgB,CAAC;IAkD5B;;;;;;;OAOG;IACG,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,GAAG,EAAE,EAAE,MAAM,UAAQ,GAAG,OAAO,CAAC,oBAAoB,CAAC;CAG1G"}
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../src/engine.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAKH,KAAK,oBAAoB,EAE5B,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,KAAK,EAAqB,cAAc,EAAE,GAAG,EAAE,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAGhH,6CAA6C;AAC7C,MAAM,WAAW,iBAAiB;IAC9B,+DAA+D;IAC/D,eAAe,CAAC,EAAE,eAAe,CAAC;IAClC,mCAAmC;IACnC,IAAI,CAAC,EAAE,cAAc,CAAC;CACzB;AAED,4EAA4E;AAC5E,qBAAa,UAAU;IACnB,2CAA2C;IAC3C,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAE9B,+CAA+C;IAC/C,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAiC;gBAE5C,OAAO,GAAE,iBAAsB;IAM3C,wCAAwC;IACxC,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,aAAa,GAAG,IAAI;IAI/D;;;;;;;OAOG;IACG,QAAQ,CAAC,KAAK,EAAE,cAAc,EAAE,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAInF;;;;;;;;;;;OAWG;IACG,iBAAiB,CACnB,KAAK,EAAE,cAAc,EAAE,EACvB,OAAO,EAAE,MAAM,EACf,UAAU,GAAE,OAAgB,GAC7B,OAAO,CAAC,gBAAgB,CAAC;IAkD5B;;;;;;;OAOG;IACG,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,GAAG,EAAE,EAAE,MAAM,UAAQ,GAAG,OAAO,CAAC,oBAAoB,CAAC;CAG1G"}

package/dist/engine.js

@@ -17,26 +17,16 @@ export class RuleEngine {
     registerEvaluator(type, evaluator) {
         this.host.evaluators.register(type, evaluator, 'extension');
     }
-    /** Evaluate all enabled rules against a working directory. */
+    /**
+     * Evaluate all enabled rules against a working directory.
+     *
+     * Thin delegate to {@link evaluateWithFixes} with `maxFixMode = 'none'`; the fix
+     * branch in that path is short-circuited by `effectiveFixMode` so callers see only
+     * findings, never auto-generated fixes. Keeps the rule loop and error-finding
+     * semantics in one place.
+     */
     async evaluate(rules, workdir) {
-        const findings = [];
-        const fixes = [];
-        for (const rule of rules) {
-            if (rule.enabled === false)
-                continue;
-            try {
-                const result = await this.host.evaluators.get(rule.evaluator.type).evaluate(rule, { rule, workdir });
-                findings.push(...result.findings);
-                fixes.push(...result.fixes);
-            }
-            catch (error) {
-                findings.push(createFinding(rule, error instanceof Error ? error.message : String(error), null, {
-                    code: `evaluator:${rule.evaluator.type}`,
-                    kind: 'error',
-                }));
-            }
-        }
-        return { findings, fixes };
+        return this.evaluateWithFixes(rules, workdir, 'none');
     }
     /**
      * Evaluate all enabled rules and collect candidate fixes.

package/dist/evaluators/coverage-gate-evaluator.js

@@ -77,18 +77,27 @@ function parseLcov(raw) {
             linesHit = 0;
         }
         else if (trimmed.startsWith('LF:')) {
-            linesFound = Number(trimmed.slice(3));
+            linesFound = parseCount(trimmed.slice(3));
         }
         else if (trimmed.startsWith('LH:')) {
-            linesHit = Number(trimmed.slice(3));
+            linesHit = parseCount(trimmed.slice(3));
         }
         else if (trimmed === 'end_of_record' && file !== null) {
-            result.set(file, { linesFound, linesHit });
+            // Skip records with malformed counts: a non-numeric LF:/LH: would
+            // otherwise yield NaN coverage and a spurious below-threshold finding.
+            if (linesFound !== null && linesHit !== null) {
+                result.set(file, { linesFound, linesHit });
+            }
             file = null;
         }
     }
     return result;
 }
+/** Parse an lcov count field; return null for non-finite or negative values. */
+function parseCount(raw) {
+    const value = Number(raw);
+    return Number.isFinite(value) && value >= 0 ? value : null;
+}
 /** Standard exclusions applied regardless of config (tests, generated, deps). */
 function isAlwaysExcluded(filePath) {
     return (filePath.includes('node_modules') ||

package/dist/evaluators/file-utils.d.ts

@@ -14,6 +14,46 @@ export interface SourceDiscoveryOptions {
 export declare function discoverFiles(options: SourceDiscoveryOptions): Promise<string[]>;
 /** Read a file from a workdir-relative path. */
 export declare function readWorkdirFile(workdir: string, filePath: string, fs?: NodeFileSystem): Promise<string>;
+/** A discovered in-scope file paired with its contents. */
+export interface ScannedFile {
+    /** Workdir-relative path. */
+    readonly file: string;
+    /** Full file contents. */
+    readonly content: string;
+}
+/** How `scanFiles` matches `include` / `exclude` against discovered paths. */
+export type ScanMatchMode = 'loose' | 'glob';
+/** Options for {@link scanFiles}. */
+export interface ScanFilesOptions {
+    /** Working directory to walk. */
+    workdir: string;
+    /** Include patterns; semantics depend on `matchMode`. Undefined/empty = all files. */
+    include?: string[];
+    /** Exclude patterns; semantics depend on `matchMode`. */
+    exclude?: string[];
+    /**
+     * Scope matching policy:
+     * - `loose` — substring/suffix fragments via {@link matchesAny} (back-compat for
+     *   evaluators that historically accepted bare fragments like `.ts` or `src/`).
+     * - `glob` — anchored `**`/`*` globs via {@link matchesGlob}.
+     *
+     * The two are NOT interchangeable: a bare `src/` matches different sets under each.
+     * Each evaluator declares the mode that preserves its existing behavior.
+     */
+    matchMode: ScanMatchMode;
+    /** Filesystem adapter. */
+    fs?: FileSystem;
+}
+/**
+ * Discover in-scope files and read each once — the shared scaffolding behind the
+ * line-scanning evaluators. Owns discovery, scope filtering (per `matchMode`), and
+ * reads, so each evaluator is left with only its own matcher.
+ *
+ * Scope is a parameter, not assumed one-per-rule: callers that scan under several
+ * scopes (e.g. import boundaries) pass no `include` here and apply their own globs to
+ * the returned paths.
+ */
+export declare function scanFiles(options: ScanFilesOptions): Promise<ScannedFile[]>;
 /** Ensure a path is workdir-relative for findings. */
 export declare function relativeToWorkdir(workdir: string, path: string): string;
 /** Return parent directory for a workdir-relative path. */
@@ -28,4 +68,19 @@ export declare function matchesAny(path: string, patterns: string[] | undefined)
  * (coverage scoping, test-file location) where a loose match would change findings.
  */
 export declare function matchesGlob(path: string, pattern: string): boolean;
+/** Escape a string for safe literal use inside a `RegExp` source. */
+export declare function escapeRegExp(value: string): string;
+/** Return the value as a `string[]` when every item is a string, otherwise undefined. */
+export declare function stringArray(value: unknown): string[] | undefined;
+/**
+ * Split a leading ripgrep/PCRE-style `(?flags)` inline group off a regex source.
+ *
+ * Returns the JS-relevant flags found in the group (filtered to `imsu`) and the
+ * remaining source with the group removed. When no leading group is present, returns
+ * empty flags and the source unchanged. Shared by evaluators that accept inline flags.
+ */
+export declare function parseInlineFlags(source: string): {
+    flags: string;
+    rest: string;
+};
 //# sourceMappingURL=file-utils.d.ts.map

package/dist/evaluators/file-utils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"file-utils.d.ts","sourceRoot":"","sources":["../../src/evaluators/file-utils.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,UAAU,EAAE,cAAc,EAAW,MAAM,uBAAuB,CAAC;AAEjF,yCAAyC;AACzC,MAAM,WAAW,sBAAsB;IACnC,yBAAyB;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,0CAA0C;IAC1C,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,8BAA8B;IAC9B,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,0BAA0B;IAC1B,EAAE,CAAC,EAAE,UAAU,CAAC;CACnB;AAID,qFAAqF;AACrF,wBAAsB,aAAa,CAAC,OAAO,EAAE,sBAAsB,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAWtF;AAED,gDAAgD;AAChD,wBAAsB,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,iBAAuB,GAAG,OAAO,CAAC,MAAM,CAAC,CAEnH;AAED,sDAAsD;AACtD,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAEvE;AAED,2DAA2D;AAC3D,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAGnD;AAED,uEAAuE;AACvE,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,SAAS,GAAG,OAAO,CAMhF;AAED;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAUlE"}
+{"version":3,"file":"file-utils.d.ts","sourceRoot":"","sources":["../../src/evaluators/file-utils.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,UAAU,EAAE,cAAc,EAAW,MAAM,uBAAuB,CAAC;AAEjF,yCAAyC;AACzC,MAAM,WAAW,sBAAsB;IACnC,yBAAyB;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,0CAA0C;IAC1C,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,8BAA8B;IAC9B,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,0BAA0B;IAC1B,EAAE,CAAC,EAAE,UAAU,CAAC;CACnB;AAID,qFAAqF;AACrF,wBAAsB,aAAa,CAAC,OAAO,EAAE,sBAAsB,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAWtF;AAED,gDAAgD;AAChD,wBAAsB,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,iBAAuB,GAAG,OAAO,CAAC,MAAM,CAAC,CAEnH;AAED,2DAA2D;AAC3D,MAAM,WAAW,WAAW;IACxB,6BAA6B;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,0BAA0B;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC5B;AAED,8EAA8E;AAC9E,MAAM,MAAM,aAAa,GAAG,OAAO,GAAG,MAAM,CAAC;AAE7C,qCAAqC;AACrC,MAAM,WAAW,gBAAgB;IAC7B,iCAAiC;IACjC,OAAO,EAAE,MAAM,CAAC;IAChB,sFAAsF;IACtF,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,yDAAyD;IACzD,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB;;;;;;;;OAQG;IACH,SAAS,EAAE,aAAa,CAAC;IACzB,0BAA0B;IAC1B,EAAE,CAAC,EAAE,UAAU,CAAC;CACnB;AAED;;;;;;;;GAQG;AACH,wBAAsB,SAAS,CAAC,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC,CAWjF;AAeD,sDAAsD;AACtD,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAEvE;AAED,2DAA2D;AAC3D,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAGnD;AAED,uEAAuE;AACvE,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,SAAS,GAAG,OAAO,CAMhF;AAED;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAUlE;AAqBD,qEAAqE;AACrE,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAElD;AAED,yFAAyF;AACzF,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,GAAG,SAAS,CAEhE;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAKhF"}

package/dist/evaluators/file-utils.js

@@ -15,6 +15,33 @@ export async function discoverFiles(options) {
 export async function readWorkdirFile(workdir, filePath, fs = new NodeFileSystem()) {
     return await fs.readFile(resolve(workdir, filePath));
 }
+/**
+ * Discover in-scope files and read each once — the shared scaffolding behind the
+ * line-scanning evaluators. Owns discovery, scope filtering (per `matchMode`), and
+ * reads, so each evaluator is left with only its own matcher.
+ *
+ * Scope is a parameter, not assumed one-per-rule: callers that scan under several
+ * scopes (e.g. import boundaries) pass no `include` here and apply their own globs to
+ * the returned paths.
+ */
+export async function scanFiles(options) {
+    const fs = options.fs ?? new NodeFileSystem();
+    const files = options.matchMode === 'loose'
+        ? await discoverFiles({ workdir: options.workdir, include: options.include, exclude: options.exclude, fs })
+        : await discoverFilesByGlob(options.workdir, options.include, options.exclude, fs);
+    const scanned = [];
+    for (const file of files) {
+        scanned.push({ file, content: await readWorkdirFile(options.workdir, file, fs) });
+    }
+    return scanned;
+}
+/** Discover files then filter with anchored globs (strict mode for {@link scanFiles}). */
+async function discoverFilesByGlob(workdir, include, exclude, fs) {
+    const all = await discoverFiles({ workdir, fs });
+    return all
+        .filter((file) => include === undefined || include.length === 0 || include.some((g) => matchesGlob(file, g)))
+        .filter((file) => exclude === undefined || !exclude.some((g) => matchesGlob(file, g)));
+}
 /** Ensure a path is workdir-relative for findings. */
 export function relativeToWorkdir(workdir, path) {
     return relative(workdir, resolve(path));
@@ -73,3 +100,25 @@ function matchSegment(segment, pattern) {
     const escaped = pattern.replace(/[.+^${}()|[\]\\]/g, '\\$&').replaceAll('*', '[^/]*');
     return new RegExp(`^${escaped}$`).test(segment);
 }
+/** Escape a string for safe literal use inside a `RegExp` source. */
+export function escapeRegExp(value) {
+    return value.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+}
+/** Return the value as a `string[]` when every item is a string, otherwise undefined. */
+export function stringArray(value) {
+    return Array.isArray(value) && value.every((item) => typeof item === 'string') ? value : undefined;
+}
+/**
+ * Split a leading ripgrep/PCRE-style `(?flags)` inline group off a regex source.
+ *
+ * Returns the JS-relevant flags found in the group (filtered to `imsu`) and the
+ * remaining source with the group removed. When no leading group is present, returns
+ * empty flags and the source unchanged. Shared by evaluators that accept inline flags.
+ */
+export function parseInlineFlags(source) {
+    const match = /^\(\?([a-z]+)\)/.exec(source);
+    if (!match)
+        return { flags: '', rest: source };
+    const flags = [...(match[1] ?? '')].filter((flag) => 'imsu'.includes(flag)).join('');
+    return { flags, rest: source.slice(match[0].length) };
+}

package/dist/evaluators/forbidden-import-evaluator.d.ts

@@ -9,6 +9,11 @@ import { type ConstraintRule, type RuleContext, type RuleEvaluationResult, type
  *   entry is an exact `specifier` (also matching require/dynamic forms unless
  *   `includeRequire:false`) or a raw `pattern`, scoped by `scope.include` /
  *   `scope.exclude` globs.
+ *
+ * Trust assumption: rule config is trusted input. A raw `pattern` is compiled with
+ * `new RegExp` and run per line without a backtracking bound, so a
+ * catastrophic-backtracking pattern is the rule author's responsibility. Runtime
+ * ReDoS hardening is deferred (see task 0003).
  */
 export declare class ForbiddenImportEvaluator implements RuleEvaluator {
     /** Evaluate import/usage against the configured forbidden set. */

package/dist/evaluators/forbidden-import-evaluator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"forbidden-import-evaluator.d.ts","sourceRoot":"","sources":["../../src/evaluators/forbidden-import-evaluator.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,KAAK,cAAc,EAEnB,KAAK,WAAW,EAChB,KAAK,oBAAoB,EACzB,KAAK,aAAa,EACrB,MAAM,UAAU,CAAC;AAclB;;;;;;;;;;GAUG;AACH,qBAAa,wBAAyB,YAAW,aAAa;IAC1D,kEAAkE;IAC5D,QAAQ,CAAC,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,WAAW,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAOzF,0FAA0F;YAC5E,cAAc;IA+B5B,4EAA4E;YAC9D,kBAAkB;CAoCnC"}
+{"version":3,"file":"forbidden-import-evaluator.d.ts","sourceRoot":"","sources":["../../src/evaluators/forbidden-import-evaluator.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,KAAK,cAAc,EAEnB,KAAK,WAAW,EAChB,KAAK,oBAAoB,EACzB,KAAK,aAAa,EACrB,MAAM,UAAU,CAAC;AAclB;;;;;;;;;;;;;;;GAeG;AACH,qBAAa,wBAAyB,YAAW,aAAa;IAC1D,kEAAkE;IAC5D,QAAQ,CAAC,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,WAAW,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAOzF,0FAA0F;YAC5E,cAAc;IAgC5B,4EAA4E;YAC9D,kBAAkB;CAiCnC"}

package/dist/evaluators/forbidden-import-evaluator.js

@@ -1,5 +1,5 @@
 import { createFinding, } from '../types.js';
-import { discoverFiles, matchesGlob, readWorkdirFile } from './file-utils.js';
+import { escapeRegExp, scanFiles, stringArray } from './file-utils.js';
 /**
  * Detects forbidden imports / API usage.
  *
@@ -10,6 +10,11 @@ import { discoverFiles, matchesGlob, readWorkdirFile } from './file-utils.js';
  *   entry is an exact `specifier` (also matching require/dynamic forms unless
  *   `includeRequire:false`) or a raw `pattern`, scoped by `scope.include` /
  *   `scope.exclude` globs.
+ *
+ * Trust assumption: rule config is trusted input. A raw `pattern` is compiled with
+ * `new RegExp` and run per line without a backtracking bound, so a
+ * catastrophic-backtracking pattern is the rule author's responsibility. Runtime
+ * ReDoS hardening is deferred (see task 0003).
  */
 export class ForbiddenImportEvaluator {
     /** Evaluate import/usage against the configured forbidden set. */
@@ -22,14 +27,15 @@ export class ForbiddenImportEvaluator {
     /** Legacy path: `{ patterns: string[] }`, substring-matched against import specifiers. */
     async evaluateSimple(rule, context, config) {
         const forbidden = arrayConfig(config, 'patterns');
-        const files = await discoverFiles({
+        const files = await scanFiles({
             workdir: context.workdir,
             include: rule.include ?? ['.ts', '.tsx', '.js', '.jsx'],
             exclude: rule.exclude,
+            matchMode: 'loose',
         });
         const findings = [];
-        for (const file of files) {
-            const lines = (await readWorkdirFile(context.workdir, file)).split('\n');
+        for (const { file, content } of files) {
+            const lines = content.split('\n');
             for (const [index, line] of lines.entries()) {
                 const imported = importSpecifier(line);
                 if (imported === undefined)
@@ -54,14 +60,11 @@ export class ForbiddenImportEvaluator {
         }
         const exclude = stringArray(scope?.exclude) ?? [];
         const entries = config.forbidden.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)));
+        // Anchored `**`-glob scoping: scanFiles' 'glob' mode applies matchesGlob precisely.
+        const files = await scanFiles({ workdir: context.workdir, include, exclude, matchMode: 'glob' });
         const findings = [];
-        for (const file of files) {
-            const lines = (await readWorkdirFile(context.workdir, file)).split('\n');
+        for (const { file, content } of files) {
+            const lines = content.split('\n');
             for (const [index, line] of lines.entries()) {
                 const hit = entries.find((entry) => entry.regex.test(line));
                 if (hit !== undefined) {
@@ -91,9 +94,6 @@ function compileEntry(entry) {
     }
     return { regex: new RegExp(entry.pattern), label: entry.pattern };
 }
-function escapeRegExp(value) {
-    return value.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
-}
 function arrayConfig(config, key) {
     const value = config[key];
     if (Array.isArray(value) && value.every((item) => typeof item === 'string'))
@@ -102,6 +102,3 @@ function arrayConfig(config, key) {
         return [value];
     throw new Error(`forbidden-import evaluator requires string[] config "${key}"`);
 }
-function stringArray(value) {
-    return Array.isArray(value) && value.every((item) => typeof item === 'string') ? value : undefined;
-}

package/dist/evaluators/import-boundary-evaluator.d.ts

@@ -11,6 +11,11 @@ import { type ConstraintRule, type RuleContext, type RuleEvaluationResult, type
  *   - `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.
+ *
+ * Trust assumption: rule config is trusted input. A `pattern` is compiled with
+ * `new RegExp` and run per line without a backtracking bound, so a
+ * catastrophic-backtracking pattern is the rule author's responsibility. Runtime
+ * ReDoS hardening is deferred (see task 0003).
  */
 export declare class ImportBoundaryEvaluator implements RuleEvaluator {
     /** Evaluate import boundaries across all in-scope files. */

package/dist/evaluators/import-boundary-evaluator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"import-boundary-evaluator.d.ts","sourceRoot":"","sources":["../../src/evaluators/import-boundary-evaluator.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,KAAK,cAAc,EAEnB,KAAK,WAAW,EAChB,KAAK,oBAAoB,EACzB,KAAK,aAAa,EACrB,MAAM,UAAU,CAAC;AA4BlB;;;;;;;;;;;;GAYG;AACH,qBAAa,uBAAwB,YAAW,aAAa;IACzD,4DAA4D;IACtD,QAAQ,CAAC,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,WAAW,GAAG,OAAO,CAAC,oBAAoB,CAAC;CAuC5F"}
+{"version":3,"file":"import-boundary-evaluator.d.ts","sourceRoot":"","sources":["../../src/evaluators/import-boundary-evaluator.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,KAAK,cAAc,EAEnB,KAAK,WAAW,EAChB,KAAK,oBAAoB,EACzB,KAAK,aAAa,EACrB,MAAM,UAAU,CAAC;AAUlB;;;;;;;;;;;;;;;;;GAiBG;AACH,qBAAa,uBAAwB,YAAW,aAAa;IACzD,4DAA4D;IACtD,QAAQ,CAAC,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,WAAW,GAAG,OAAO,CAAC,oBAAoB,CAAC;CAsC5F"}