@nielspeter/eess-ts 0.1.0

package/dist/builders/module-rule-builder.d.ts

@@ -0,0 +1,159 @@
+import type { SourceFile } from 'ts-morph';
+import { RuleBuilder } from '@nielspeter/eess';
+import type { ArchProject } from '../core/project.js';
+import type { ImportOptions } from '../core/import-options.js';
+import type { ExpressionMatcher } from '../helpers/matchers.js';
+import type { ModuleBodyOptions } from '../helpers/body-traversal.js';
+/**
+ * Rule builder for module-level (SourceFile) architecture rules.
+ *
+ * Each .ts file in the project is treated as a module. Predicates filter
+ * which modules to check, conditions assert constraints on their imports.
+ *
+ * @example
+ * modules(project)
+ *   .that().resideInFolder('** /domain/** ')
+ *   .should().onlyImportFrom('** /domain/** ', '** /shared/** ')
+ *   .because('domain must not depend on infrastructure')
+ *   .check()
+ */
+export declare class ModuleRuleBuilder extends RuleBuilder<SourceFile, ArchProject> {
+    protected getElements(): SourceFile[];
+    /**
+     * Filter modules whose file name matches the given regex.
+     * The regex is tested against the base file name (e.g., "user-service.ts").
+     */
+    haveNameMatching(pattern: RegExp | string): this;
+    /**
+     * After `.that()`: filter modules that reside in a file matching the given glob.
+     * After `.should()`: assert modules reside in a file matching the given glob.
+     * Matched against the absolute file path.
+     */
+    resideInFile(glob: string): this;
+    /**
+     * After `.that()`: filter modules that reside in a folder matching the given glob.
+     * After `.should()`: assert modules reside in a folder matching the given glob.
+     * Matched against the directory portion of the absolute file path.
+     */
+    resideInFolder(glob: string): this;
+    /**
+     * Filter modules that import from a path matching any of the given globs.
+     * Pass `{ ignoreTypeImports: true }` to exclude type-only imports.
+     */
+    importFrom(...globs: string[]): this;
+    /**
+     * Filter modules that import from a path matching any of the given globs,
+     * with options to control type-import handling.
+     */
+    importFromWithOptions(globs: string[], options: ImportOptions): this;
+    /**
+     * After `.that()`: filter modules that do NOT import from matching globs.
+     * After `.should()`: assert that no import resolves to a matching glob.
+     */
+    notImportFrom(...globs: string[]): this;
+    /**
+     * After `.that()`: filter modules that do NOT import from matching globs.
+     * After `.should()`: assert that no import resolves to a matching glob.
+     * With options to control type-import handling.
+     */
+    notImportFromWithOptions(globs: string[], options: ImportOptions): this;
+    /**
+     * Filter modules that export a symbol with the given name.
+     */
+    exportSymbolNamed(name: string): this;
+    /**
+     * Filter modules whose file path matches the given glob.
+     */
+    havePathMatching(glob: string): this;
+    /**
+     * Every import must resolve to a path matching at least one of the globs.
+     * Pass `{ ignoreTypeImports: true }` to exclude type-only imports.
+     */
+    onlyImportFrom(...globs: string[]): this;
+    /**
+     * Every import must resolve to a path matching at least one of the globs,
+     * with options to control type-import handling.
+     */
+    onlyImportFromWithOptions(globs: string[], options: ImportOptions): this;
+    /**
+     * @deprecated Use `notImportFrom()` after `.should()` instead — it now dispatches
+     * as a condition automatically in the condition phase.
+     */
+    notImportFromCondition(...globs: string[]): this;
+    /**
+     * @deprecated Use `notImportFromWithOptions()` after `.should()` instead — it now
+     * dispatches as a condition automatically in the condition phase.
+     */
+    notImportFromConditionWithOptions(globs: string[], options: ImportOptions): this;
+    /**
+     * No import may use an aliased specifier (`import { x as y }`).
+     */
+    notHaveAliasedImports(): this;
+    /**
+     * Imports from matching paths must use `import type`.
+     */
+    onlyHaveTypeImportsFrom(...globs: string[]): this;
+    /**
+     * The filtered module set must be empty.
+     */
+    notExist(): this;
+    /**
+     * Assert that the module contains at least one match for the matcher.
+     * Default: searches the entire file including class/function bodies.
+     * With `{ scopeToModule: true }`: only searches top-level module-scope code.
+     */
+    contain(matcher: ExpressionMatcher, options?: ModuleBodyOptions): this;
+    /**
+     * Assert that the module does NOT contain any match for the matcher.
+     * Default: searches the entire file including class/function bodies.
+     * With `{ scopeToModule: true }`: only searches top-level module-scope code.
+     */
+    notContain(matcher: ExpressionMatcher, options?: ModuleBodyOptions): this;
+    /**
+     * Assert: module must NOT contain 'bad' AND must contain 'good'.
+     */
+    useInsteadOf(bad: ExpressionMatcher, good: ExpressionMatcher, options?: ModuleBodyOptions): this;
+    /**
+     * Assert that matched modules do NOT have a default export.
+     */
+    notHaveDefaultExport(): this;
+    /**
+     * Assert that matched modules have a default export.
+     */
+    haveDefaultExport(): this;
+    /**
+     * Assert that matched modules have at most `max` named exports.
+     * Default exports are not counted.
+     */
+    haveMaxExports(max: number): this;
+    /**
+     * Assert that every file importing this module matches at least one glob.
+     * Enforces barrel/facade patterns. Modules with zero importers pass vacuously.
+     */
+    onlyBeImportedVia(...globs: string[]): this;
+    /**
+     * Assert that at least one other module in the project imports this module.
+     * Detects dead/orphaned files. Use `.excluding()` to skip entry points.
+     */
+    beImported(): this;
+    /**
+     * Assert that every named export is referenced by at least one other file.
+     * Detects unused exports. More expensive than file-level checks — scope
+     * with `.that().resideInFolder()` to limit the search space.
+     */
+    haveNoUnusedExports(): this;
+}
+/**
+ * Entry point: create a module-level rule builder.
+ *
+ * @param p - The loaded ArchProject
+ * @returns A ModuleRuleBuilder operating on all source files in the project
+ *
+ * @example
+ * modules(project)
+ *   .that().resideInFolder('** /services/** ')
+ *   .should().onlyImportFrom('** /services/** ', '** /shared/** ')
+ *   .check()
+ */
+export declare function modules(p: ArchProject): ModuleRuleBuilder;
+//# sourceMappingURL=module-rule-builder.d.ts.map

package/dist/builders/module-rule-builder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-rule-builder.d.ts","sourceRoot":"","sources":["../../src/builders/module-rule-builder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAC1C,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAiBrD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AAM9D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAA;AAC/D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAA;AAiBrE;;;;;;;;;;;;GAYG;AACH,qBAAa,iBAAkB,SAAQ,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC;IACzE,SAAS,CAAC,WAAW,IAAI,UAAU,EAAE;IAMrC;;;OAGG;IACH,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI;IAQhD;;;;OAIG;IACH,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAOhC;;;;OAIG;IACH,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IASlC;;;OAGG;IACH,UAAU,CAAC,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI;IAIpC;;;OAGG;IACH,qBAAqB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,aAAa,GAAG,IAAI;IAIpE;;;OAGG;IACH,aAAa,CAAC,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI;IAOvC;;;;OAIG;IACH,wBAAwB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,aAAa,GAAG,IAAI;IAOvE;;OAEG;IACH,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAIrC;;OAEG;IACH,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAMpC;;;OAGG;IACH,cAAc,CAAC,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI;IAIxC;;;OAGG;IACH,yBAAyB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,aAAa,GAAG,IAAI;IAIxE;;;OAGG;IACH,sBAAsB,CAAC,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI;IAIhD;;;OAGG;IACH,iCAAiC,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,aAAa,GAAG,IAAI;IAIhF;;OAEG;IACH,qBAAqB,IAAI,IAAI;IAI7B;;OAEG;IACH,uBAAuB,CAAC,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI;IAIjD;;OAEG;IACH,QAAQ,IAAI,IAAI;IAMhB;;;;OAIG;IACH,OAAO,CAAC,OAAO,EAAE,iBAAiB,EAAE,OAAO,CAAC,EAAE,iBAAiB,GAAG,IAAI;IAItE;;;;OAIG;IACH,UAAU,CAAC,OAAO,EAAE,iBAAiB,EAAE,OAAO,CAAC,EAAE,iBAAiB,GAAG,IAAI;IAIzE;;OAEG;IACH,YAAY,CAAC,GAAG,EAAE,iBAAiB,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,CAAC,EAAE,iBAAiB,GAAG,IAAI;IAMhG;;OAEG;IACH,oBAAoB,IAAI,IAAI;IAI5B;;OAEG;IACH,iBAAiB,IAAI,IAAI;IAIzB;;;OAGG;IACH,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI;IAMjC;;;OAGG;IACH,iBAAiB,CAAC,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI;IAI3C;;;OAGG;IACH,UAAU,IAAI,IAAI;IAIlB;;;;OAIG;IACH,mBAAmB,IAAI,IAAI;CAG5B;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,WAAW,GAAG,iBAAiB,CAEzD"}

package/dist/builders/module-rule-builder.js

@@ -0,0 +1,237 @@
+import { RuleBuilder } from '@nielspeter/eess';
+import { resideInFile as resideInFilePredicate, resideInFolder as resideInFolderPredicate, } from '../predicates/identity.js';
+import { importFrom as importFromPredicate, notImportFrom as notImportFromPredicate, exportSymbolNamed as exportSymbolNamedPredicate, havePathMatching as havePathMatchingPredicate, } from '../predicates/module.js';
+import { onlyImportFrom as onlyImportFromCondition, notImportFrom as notImportFromCondition, onlyHaveTypeImportsFrom as onlyHaveTypeImportsFromCondition, notHaveAliasedImports as notHaveAliasedImportsCondition, } from '../conditions/dependency.js';
+import { notExist, resideInFile as resideInFileCondition, resideInFolder as resideInFolderCondition, } from '../conditions/structural.js';
+import { moduleContain, moduleNotContain, moduleUseInsteadOf, } from '../conditions/body-analysis-module.js';
+import { notHaveDefaultExport as notHaveDefaultExportCondition, haveDefaultExport as haveDefaultExportCondition, haveMaxExports as haveMaxExportsCondition, } from '../conditions/exports.js';
+import { onlyBeImportedVia as onlyBeImportedViaCondition, beImported as beImportedCondition, haveNoUnusedExports as haveNoUnusedExportsCondition, } from '../conditions/reverse-dependency.js';
+/**
+ * Rule builder for module-level (SourceFile) architecture rules.
+ *
+ * Each .ts file in the project is treated as a module. Predicates filter
+ * which modules to check, conditions assert constraints on their imports.
+ *
+ * @example
+ * modules(project)
+ *   .that().resideInFolder('** /domain/** ')
+ *   .should().onlyImportFrom('** /domain/** ', '** /shared/** ')
+ *   .because('domain must not depend on infrastructure')
+ *   .check()
+ */
+export class ModuleRuleBuilder extends RuleBuilder {
+    getElements() {
+        return this.project.getSourceFiles();
+    }
+    // --- Identity predicates (from predicates/identity.ts) ---
+    /**
+     * Filter modules whose file name matches the given regex.
+     * The regex is tested against the base file name (e.g., "user-service.ts").
+     */
+    haveNameMatching(pattern) {
+        const regex = typeof pattern === 'string' ? new RegExp(pattern) : pattern;
+        return this.addPredicate({
+            description: `have name matching ${String(regex)}`,
+            test: (sf) => regex.test(sf.getBaseName()),
+        });
+    }
+    /**
+     * After `.that()`: filter modules that reside in a file matching the given glob.
+     * After `.should()`: assert modules reside in a file matching the given glob.
+     * Matched against the absolute file path.
+     */
+    resideInFile(glob) {
+        if (this._phase === 'condition') {
+            return this.addCondition(resideInFileCondition(glob));
+        }
+        return this.addPredicate(resideInFilePredicate(glob));
+    }
+    /**
+     * After `.that()`: filter modules that reside in a folder matching the given glob.
+     * After `.should()`: assert modules reside in a folder matching the given glob.
+     * Matched against the directory portion of the absolute file path.
+     */
+    resideInFolder(glob) {
+        if (this._phase === 'condition') {
+            return this.addCondition(resideInFolderCondition(glob));
+        }
+        return this.addPredicate(resideInFolderPredicate(glob));
+    }
+    // --- Module-specific predicates (from predicates/module.ts) ---
+    /**
+     * Filter modules that import from a path matching any of the given globs.
+     * Pass `{ ignoreTypeImports: true }` to exclude type-only imports.
+     */
+    importFrom(...globs) {
+        return this.addPredicate(importFromPredicate(...globs));
+    }
+    /**
+     * Filter modules that import from a path matching any of the given globs,
+     * with options to control type-import handling.
+     */
+    importFromWithOptions(globs, options) {
+        return this.addPredicate(importFromPredicate(globs, options));
+    }
+    /**
+     * After `.that()`: filter modules that do NOT import from matching globs.
+     * After `.should()`: assert that no import resolves to a matching glob.
+     */
+    notImportFrom(...globs) {
+        if (this._phase === 'condition') {
+            return this.addCondition(notImportFromCondition(...globs));
+        }
+        return this.addPredicate(notImportFromPredicate(...globs));
+    }
+    /**
+     * After `.that()`: filter modules that do NOT import from matching globs.
+     * After `.should()`: assert that no import resolves to a matching glob.
+     * With options to control type-import handling.
+     */
+    notImportFromWithOptions(globs, options) {
+        if (this._phase === 'condition') {
+            return this.addCondition(notImportFromCondition(globs, options));
+        }
+        return this.addPredicate(notImportFromPredicate(globs, options));
+    }
+    /**
+     * Filter modules that export a symbol with the given name.
+     */
+    exportSymbolNamed(name) {
+        return this.addPredicate(exportSymbolNamedPredicate(name));
+    }
+    /**
+     * Filter modules whose file path matches the given glob.
+     */
+    havePathMatching(glob) {
+        return this.addPredicate(havePathMatchingPredicate(glob));
+    }
+    // --- Dependency conditions (from conditions/dependency.ts) ---
+    /**
+     * Every import must resolve to a path matching at least one of the globs.
+     * Pass `{ ignoreTypeImports: true }` to exclude type-only imports.
+     */
+    onlyImportFrom(...globs) {
+        return this.addCondition(onlyImportFromCondition(...globs));
+    }
+    /**
+     * Every import must resolve to a path matching at least one of the globs,
+     * with options to control type-import handling.
+     */
+    onlyImportFromWithOptions(globs, options) {
+        return this.addCondition(onlyImportFromCondition(globs, options));
+    }
+    /**
+     * @deprecated Use `notImportFrom()` after `.should()` instead — it now dispatches
+     * as a condition automatically in the condition phase.
+     */
+    notImportFromCondition(...globs) {
+        return this.addCondition(notImportFromCondition(...globs));
+    }
+    /**
+     * @deprecated Use `notImportFromWithOptions()` after `.should()` instead — it now
+     * dispatches as a condition automatically in the condition phase.
+     */
+    notImportFromConditionWithOptions(globs, options) {
+        return this.addCondition(notImportFromCondition(globs, options));
+    }
+    /**
+     * No import may use an aliased specifier (`import { x as y }`).
+     */
+    notHaveAliasedImports() {
+        return this.addCondition(notHaveAliasedImportsCondition());
+    }
+    /**
+     * Imports from matching paths must use `import type`.
+     */
+    onlyHaveTypeImportsFrom(...globs) {
+        return this.addCondition(onlyHaveTypeImportsFromCondition(...globs));
+    }
+    /**
+     * The filtered module set must be empty.
+     */
+    notExist() {
+        return this.addCondition(notExist());
+    }
+    // --- Body analysis conditions (plan 0041 phase 2) ---
+    /**
+     * Assert that the module contains at least one match for the matcher.
+     * Default: searches the entire file including class/function bodies.
+     * With `{ scopeToModule: true }`: only searches top-level module-scope code.
+     */
+    contain(matcher, options) {
+        return this.addCondition(moduleContain(matcher, options));
+    }
+    /**
+     * Assert that the module does NOT contain any match for the matcher.
+     * Default: searches the entire file including class/function bodies.
+     * With `{ scopeToModule: true }`: only searches top-level module-scope code.
+     */
+    notContain(matcher, options) {
+        return this.addCondition(moduleNotContain(matcher, options));
+    }
+    /**
+     * Assert: module must NOT contain 'bad' AND must contain 'good'.
+     */
+    useInsteadOf(bad, good, options) {
+        return this.addCondition(moduleUseInsteadOf(bad, good, options));
+    }
+    // --- Export conditions (plan 0041 phase 3) ---
+    /**
+     * Assert that matched modules do NOT have a default export.
+     */
+    notHaveDefaultExport() {
+        return this.addCondition(notHaveDefaultExportCondition());
+    }
+    /**
+     * Assert that matched modules have a default export.
+     */
+    haveDefaultExport() {
+        return this.addCondition(haveDefaultExportCondition());
+    }
+    /**
+     * Assert that matched modules have at most `max` named exports.
+     * Default exports are not counted.
+     */
+    haveMaxExports(max) {
+        return this.addCondition(haveMaxExportsCondition(max));
+    }
+    // --- Reverse dependency conditions (plan 0041 phase 4) ---
+    /**
+     * Assert that every file importing this module matches at least one glob.
+     * Enforces barrel/facade patterns. Modules with zero importers pass vacuously.
+     */
+    onlyBeImportedVia(...globs) {
+        return this.addCondition(onlyBeImportedViaCondition(...globs));
+    }
+    /**
+     * Assert that at least one other module in the project imports this module.
+     * Detects dead/orphaned files. Use `.excluding()` to skip entry points.
+     */
+    beImported() {
+        return this.addCondition(beImportedCondition());
+    }
+    /**
+     * Assert that every named export is referenced by at least one other file.
+     * Detects unused exports. More expensive than file-level checks — scope
+     * with `.that().resideInFolder()` to limit the search space.
+     */
+    haveNoUnusedExports() {
+        return this.addCondition(haveNoUnusedExportsCondition());
+    }
+}
+/**
+ * Entry point: create a module-level rule builder.
+ *
+ * @param p - The loaded ArchProject
+ * @returns A ModuleRuleBuilder operating on all source files in the project
+ *
+ * @example
+ * modules(project)
+ *   .that().resideInFolder('** /services/** ')
+ *   .should().onlyImportFrom('** /services/** ', '** /shared/** ')
+ *   .check()
+ */
+export function modules(p) {
+    return new ModuleRuleBuilder(p);
+}
+//# sourceMappingURL=module-rule-builder.js.map

package/dist/builders/module-rule-builder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-rule-builder.js","sourceRoot":"","sources":["../../src/builders/module-rule-builder.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAE9C,OAAO,EACL,YAAY,IAAI,qBAAqB,EACrC,cAAc,IAAI,uBAAuB,GAC1C,MAAM,2BAA2B,CAAA;AAClC,OAAO,EACL,UAAU,IAAI,mBAAmB,EACjC,aAAa,IAAI,sBAAsB,EACvC,iBAAiB,IAAI,0BAA0B,EAC/C,gBAAgB,IAAI,yBAAyB,GAC9C,MAAM,yBAAyB,CAAA;AAChC,OAAO,EACL,cAAc,IAAI,uBAAuB,EACzC,aAAa,IAAI,sBAAsB,EACvC,uBAAuB,IAAI,gCAAgC,EAC3D,qBAAqB,IAAI,8BAA8B,GACxD,MAAM,6BAA6B,CAAA;AAEpC,OAAO,EACL,QAAQ,EACR,YAAY,IAAI,qBAAqB,EACrC,cAAc,IAAI,uBAAuB,GAC1C,MAAM,6BAA6B,CAAA;AAGpC,OAAO,EACL,aAAa,EACb,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,uCAAuC,CAAA;AAC9C,OAAO,EACL,oBAAoB,IAAI,6BAA6B,EACrD,iBAAiB,IAAI,0BAA0B,EAC/C,cAAc,IAAI,uBAAuB,GAC1C,MAAM,0BAA0B,CAAA;AACjC,OAAO,EACL,iBAAiB,IAAI,0BAA0B,EAC/C,UAAU,IAAI,mBAAmB,EACjC,mBAAmB,IAAI,4BAA4B,GACpD,MAAM,qCAAqC,CAAA;AAE5C;;;;;;;;;;;;GAYG;AACH,MAAM,OAAO,iBAAkB,SAAQ,WAAoC;IAC/D,WAAW;QACnB,OAAO,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,CAAA;IACtC,CAAC;IAED,4DAA4D;IAE5D;;;OAGG;IACH,gBAAgB,CAAC,OAAwB;QACvC,MAAM,KAAK,GAAG,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAA;QACzE,OAAO,IAAI,CAAC,YAAY,CAAC;YACvB,WAAW,EAAE,sBAAsB,MAAM,CAAC,KAAK,CAAC,EAAE;YAClD,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC;SAC3C,CAAC,CAAA;IACJ,CAAC;IAED;;;;OAIG;IACH,YAAY,CAAC,IAAY;QACvB,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC,YAAY,CAAC,qBAAqB,CAAa,IAAI,CAAC,CAAC,CAAA;QACnE,CAAC;QACD,OAAO,IAAI,CAAC,YAAY,CAAC,qBAAqB,CAAa,IAAI,CAAC,CAAC,CAAA;IACnE,CAAC;IAED;;;;OAIG;IACH,cAAc,CAAC,IAAY;QACzB,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC,YAAY,CAAC,uBAAuB,CAAa,IAAI,CAAC,CAAC,CAAA;QACrE,CAAC;QACD,OAAO,IAAI,CAAC,YAAY,CAAC,uBAAuB,CAAa,IAAI,CAAC,CAAC,CAAA;IACrE,CAAC;IAED,iEAAiE;IAEjE;;;OAGG;IACH,UAAU,CAAC,GAAG,KAAe;QAC3B,OAAO,IAAI,CAAC,YAAY,CAAC,mBAAmB,CAAC,GAAG,KAAK,CAAC,CAAC,CAAA;IACzD,CAAC;IAED;;;OAGG;IACH,qBAAqB,CAAC,KAAe,EAAE,OAAsB;QAC3D,OAAO,IAAI,CAAC,YAAY,CAAC,mBAAmB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAA;IAC/D,CAAC;IAED;;;OAGG;IACH,aAAa,CAAC,GAAG,KAAe;QAC9B,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC,YAAY,CAAC,sBAAsB,CAAC,GAAG,KAAK,CAAC,CAAC,CAAA;QAC5D,CAAC;QACD,OAAO,IAAI,CAAC,YAAY,CAAC,sBAAsB,CAAC,GAAG,KAAK,CAAC,CAAC,CAAA;IAC5D,CAAC;IAED;;;;OAIG;IACH,wBAAwB,CAAC,KAAe,EAAE,OAAsB;QAC9D,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC,YAAY,CAAC,sBAAsB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAA;QAClE,CAAC;QACD,OAAO,IAAI,CAAC,YAAY,CAAC,sBAAsB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAA;IAClE,CAAC;IAED;;OAEG;IACH,iBAAiB,CAAC,IAAY;QAC5B,OAAO,IAAI,CAAC,YAAY,CAAC,0BAA0B,CAAC,IAAI,CAAC,CAAC,CAAA;IAC5D,CAAC;IAED;;OAEG;IACH,gBAAgB,CAAC,IAAY;QAC3B,OAAO,IAAI,CAAC,YAAY,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAA;IAC3D,CAAC;IAED,gEAAgE;IAEhE;;;OAGG;IACH,cAAc,CAAC,GAAG,KAAe;QAC/B,OAAO,IAAI,CAAC,YAAY,CAAC,uBAAuB,CAAC,GAAG,KAAK,CAAC,CAAC,CAAA;IAC7D,CAAC;IAED;;;OAGG;IACH,yBAAyB,CAAC,KAAe,EAAE,OAAsB;QAC/D,OAAO,IAAI,CAAC,YAAY,CAAC,uBAAuB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAA;IACnE,CAAC;IAED;;;OAGG;IACH,sBAAsB,CAAC,GAAG,KAAe;QACvC,OAAO,IAAI,CAAC,YAAY,CAAC,sBAAsB,CAAC,GAAG,KAAK,CAAC,CAAC,CAAA;IAC5D,CAAC;IAED;;;OAGG;IACH,iCAAiC,CAAC,KAAe,EAAE,OAAsB;QACvE,OAAO,IAAI,CAAC,YAAY,CAAC,sBAAsB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAA;IAClE,CAAC;IAED;;OAEG;IACH,qBAAqB;QACnB,OAAO,IAAI,CAAC,YAAY,CAAC,8BAA8B,EAAE,CAAC,CAAA;IAC5D,CAAC;IAED;;OAEG;IACH,uBAAuB,CAAC,GAAG,KAAe;QACxC,OAAO,IAAI,CAAC,YAAY,CAAC,gCAAgC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAA;IACtE,CAAC;IAED;;OAEG;IACH,QAAQ;QACN,OAAO,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAc,CAAC,CAAA;IAClD,CAAC;IAED,uDAAuD;IAEvD;;;;OAIG;IACH,OAAO,CAAC,OAA0B,EAAE,OAA2B;QAC7D,OAAO,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAA;IAC3D,CAAC;IAED;;;;OAIG;IACH,UAAU,CAAC,OAA0B,EAAE,OAA2B;QAChE,OAAO,IAAI,CAAC,YAAY,CAAC,gBAAgB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAA;IAC9D,CAAC;IAED;;OAEG;IACH,YAAY,CAAC,GAAsB,EAAE,IAAuB,EAAE,OAA2B;QACvF,OAAO,IAAI,CAAC,YAAY,CAAC,kBAAkB,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAA;IAClE,CAAC;IAED,gDAAgD;IAEhD;;OAEG;IACH,oBAAoB;QAClB,OAAO,IAAI,CAAC,YAAY,CAAC,6BAA6B,EAAE,CAAC,CAAA;IAC3D,CAAC;IAED;;OAEG;IACH,iBAAiB;QACf,OAAO,IAAI,CAAC,YAAY,CAAC,0BAA0B,EAAE,CAAC,CAAA;IACxD,CAAC;IAED;;;OAGG;IACH,cAAc,CAAC,GAAW;QACxB,OAAO,IAAI,CAAC,YAAY,CAAC,uBAAuB,CAAC,GAAG,CAAC,CAAC,CAAA;IACxD,CAAC;IAED,4DAA4D;IAE5D;;;OAGG;IACH,iBAAiB,CAAC,GAAG,KAAe;QAClC,OAAO,IAAI,CAAC,YAAY,CAAC,0BAA0B,CAAC,GAAG,KAAK,CAAC,CAAC,CAAA;IAChE,CAAC;IAED;;;OAGG;IACH,UAAU;QACR,OAAO,IAAI,CAAC,YAAY,CAAC,mBAAmB,EAAE,CAAC,CAAA;IACjD,CAAC;IAED;;;;OAIG;IACH,mBAAmB;QACjB,OAAO,IAAI,CAAC,YAAY,CAAC,4BAA4B,EAAE,CAAC,CAAA;IAC1D,CAAC;CACF;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,OAAO,CAAC,CAAc;IACpC,OAAO,IAAI,iBAAiB,CAAC,CAAC,CAAC,CAAA;AACjC,CAAC"}

package/dist/builders/scoped-function-rule-builder.d.ts

@@ -0,0 +1,21 @@
+import { FunctionRuleBuilder } from './function-rule-builder.js';
+import type { CallRuleBuilder } from './call-rule-builder.js';
+import type { ArchFunction } from '../models/arch-function.js';
+/**
+ * A FunctionRuleBuilder that only examines callback functions
+ * inside matched call expressions.
+ *
+ * Created by `within(selection).functions()`. Inherits all predicates,
+ * conditions, and chain methods from FunctionRuleBuilder --- the only
+ * difference is the element source.
+ */
+export declare class ScopedFunctionRuleBuilder extends FunctionRuleBuilder {
+    private readonly callSelection;
+    constructor(callSelection: CallRuleBuilder);
+    /**
+     * Override: instead of scanning all source files, extract callbacks
+     * from the matched call expressions.
+     */
+    protected getElements(): ArchFunction[];
+}
+//# sourceMappingURL=scoped-function-rule-builder.d.ts.map

package/dist/builders/scoped-function-rule-builder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scoped-function-rule-builder.d.ts","sourceRoot":"","sources":["../../src/builders/scoped-function-rule-builder.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAA;AAChE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAA;AAC7D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAA;AAG9D;;;;;;;GAOG;AACH,qBAAa,yBAA0B,SAAQ,mBAAmB;IAChE,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAiB;gBAEnC,aAAa,EAAE,eAAe;IAK1C;;;OAGG;cACgB,WAAW,IAAI,YAAY,EAAE;CAMjD"}

package/dist/builders/scoped-function-rule-builder.js

@@ -0,0 +1,26 @@
+import { FunctionRuleBuilder } from './function-rule-builder.js';
+import { extractCallbacks } from '../helpers/callback-extractor.js';
+/**
+ * A FunctionRuleBuilder that only examines callback functions
+ * inside matched call expressions.
+ *
+ * Created by `within(selection).functions()`. Inherits all predicates,
+ * conditions, and chain methods from FunctionRuleBuilder --- the only
+ * difference is the element source.
+ */
+export class ScopedFunctionRuleBuilder extends FunctionRuleBuilder {
+    callSelection;
+    constructor(callSelection) {
+        super(callSelection.getProject());
+        this.callSelection = callSelection;
+    }
+    /**
+     * Override: instead of scanning all source files, extract callbacks
+     * from the matched call expressions.
+     */
+    getElements() {
+        const matchedCalls = this.callSelection.getMatchedCalls();
+        return matchedCalls.flatMap((archCall) => extractCallbacks(archCall.getNode()).map((ec) => ec.fn));
+    }
+}
+//# sourceMappingURL=scoped-function-rule-builder.js.map

package/dist/builders/scoped-function-rule-builder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scoped-function-rule-builder.js","sourceRoot":"","sources":["../../src/builders/scoped-function-rule-builder.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAA;AAGhE,OAAO,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAA;AAEnE;;;;;;;GAOG;AACH,MAAM,OAAO,yBAA0B,SAAQ,mBAAmB;IAC/C,aAAa,CAAiB;IAE/C,YAAY,aAA8B;QACxC,KAAK,CAAC,aAAa,CAAC,UAAU,EAAE,CAAC,CAAA;QACjC,IAAI,CAAC,aAAa,GAAG,aAAa,CAAA;IACpC,CAAC;IAED;;;OAGG;IACgB,WAAW;QAC5B,MAAM,YAAY,GAAG,IAAI,CAAC,aAAa,CAAC,eAAe,EAAE,CAAA;QACzD,OAAO,YAAY,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CACvC,gBAAgB,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CACxD,CAAA;IACH,CAAC;CACF"}

package/dist/builders/slice-rule-builder.d.ts

@@ -0,0 +1,85 @@
+import type { ArchProject } from '../core/project.js';
+import type { ArchViolation } from '../core/violation.js';
+import { TerminalBuilder } from '@nielspeter/eess';
+import type { SliceDefinition } from '../models/slice.js';
+/**
+ * Rule builder for slice-level architecture rules.
+ *
+ * Unlike other builders that extend RuleBuilder<T>, SliceRuleBuilder
+ * has its own chain because the grouping step (matching/assignedFrom)
+ * replaces the predicate phase entirely.
+ *
+ * Usage:
+ *   slices(project).matching(glob).should().beFreeOfCycles().check()
+ *   slices(project).assignedFrom(def).should().respectLayerOrder(...).check()
+ */
+export declare class SliceRuleBuilder extends TerminalBuilder {
+    private readonly project;
+    private _slices;
+    private readonly _conditions;
+    constructor(project: ArchProject);
+    /**
+     * Define slices by glob matching. Each directory matching the glob
+     * becomes a slice named after that directory.
+     *
+     * @param glob - A glob pattern where the wildcard segment identifies slices
+     *
+     * @example
+     * slices(project).matching('src/features/*\/')
+     * // Slices: auth, billing, orders, etc.
+     */
+    matching(glob: string): this;
+    /**
+     * Define slices from an explicit name-to-glob mapping.
+     *
+     * @param definition - Map of slice names to glob patterns
+     *
+     * @example
+     * slices(project).assignedFrom({
+     *   presentation: 'src/controllers/**',
+     *   domain: 'src/domain/**',
+     * })
+     */
+    assignedFrom(definition: SliceDefinition): this;
+    /**
+     * Begin the condition phase. Returns `this` for chaining.
+     */
+    should(): this;
+    /**
+     * Add another condition (AND).
+     */
+    andShould(): this;
+    /**
+     * Assert that no circular dependencies exist between slices.
+     */
+    beFreeOfCycles(): this;
+    /**
+     * Assert that slices respect a layered dependency order.
+     * Layer N may depend on layers N+1, N+2, ... but NOT on layers with lower index.
+     *
+     * @param layers - Ordered layer names from highest to lowest
+     */
+    respectLayerOrder(...layers: string[]): this;
+    /**
+     * Assert that no slice depends on any of the listed slices.
+     *
+     * @param sliceNames - Names of forbidden dependency targets
+     */
+    notDependOn(...sliceNames: string[]): this;
+    protected collectViolations(): ArchViolation[];
+    private buildRuleDescription;
+}
+/**
+ * Entry point: create a slice-level rule builder.
+ *
+ * @param p - The loaded ArchProject
+ * @returns A SliceRuleBuilder — call `.matching()` or `.assignedFrom()` next
+ *
+ * @example
+ * slices(project)
+ *   .matching('src/features/*\/')
+ *   .should().beFreeOfCycles()
+ *   .check()
+ */
+export declare function slices(p: ArchProject): SliceRuleBuilder;
+//# sourceMappingURL=slice-rule-builder.d.ts.map

package/dist/builders/slice-rule-builder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"slice-rule-builder.d.ts","sourceRoot":"","sources":["../../src/builders/slice-rule-builder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AACrD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AAEzD,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAClD,OAAO,KAAK,EAAS,eAAe,EAAE,MAAM,oBAAoB,CAAA;AAQhE;;;;;;;;;;GAUG;AACH,qBAAa,gBAAiB,SAAQ,eAAe;IAIvC,OAAO,CAAC,QAAQ,CAAC,OAAO;IAHpC,OAAO,CAAC,OAAO,CAAc;IAC7B,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAyB;gBAExB,OAAO,EAAE,WAAW;IAIjD;;;;;;;;;OASG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAK5B;;;;;;;;;;OAUG;IACH,YAAY,CAAC,UAAU,EAAE,eAAe,GAAG,IAAI;IAK/C;;OAEG;IACH,MAAM,IAAI,IAAI;IAId;;OAEG;IACH,SAAS,IAAI,IAAI;IAIjB;;OAEG;IACH,cAAc,IAAI,IAAI;IAKtB;;;;;OAKG;IACH,iBAAiB,CAAC,GAAG,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI;IAK5C;;;;OAIG;IACH,WAAW,CAAC,GAAG,UAAU,EAAE,MAAM,EAAE,GAAG,IAAI;IAK1C,SAAS,CAAC,iBAAiB,IAAI,aAAa,EAAE;IA8B9C,OAAO,CAAC,oBAAoB;CAK7B;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,WAAW,GAAG,gBAAgB,CAEvD"}