@nielspeter/eess-ts 0.2.1 → 0.4.0

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

@@ -1,8 +1,12 @@
-import { RuleBuilder } from '@nielspeter/eess';
+import { RuleBuilder } from '../core/rule-builder.js';
 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 { importFrom as importFromPredicate, notImportFrom as notImportFromPredicate, exportSymbolNamed as exportSymbolNamedPredicate, } from '../predicates/module.js';
+import { havePathMatching as havePathMatchingPredicate } from '../predicates/identity.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 { createElementCache, SOLE_POPULATION } from '../core/element-cache.js';
+/** One collection per project, shared by every rule built from it (plan 0075). */
+const cache = createElementCache();
 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';
@@ -21,7 +25,12 @@ import { onlyBeImportedVia as onlyBeImportedViaCondition, beImported as beImport
  */
 export class ModuleRuleBuilder extends RuleBuilder {
     getElements() {
-        return this.project.getSourceFiles();
+        // Cached for uniformity rather than for speed: measured, 5 × `modules()`
+        // issues zero descendant queries and costs ~1ms, because this is a direct
+        // read of ts-morph's own accessor. Included so the population rule is
+        // "every RuleBuilder subclass that derives elements from the project",
+        // which a test can check, rather than a judgement call per builder.
+        return cache.get(this.project, SOLE_POPULATION, () => this.project.getSourceFiles());
     }
     // --- Identity predicates (from predicates/identity.ts) ---
     /**

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

@@ -1 +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"}
+{"version":3,"file":"module-rule-builder.js","sourceRoot":"","sources":["../../src/builders/module-rule-builder.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAA;AAErD,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,GAChD,MAAM,yBAAyB,CAAA;AAChC,OAAO,EAAE,gBAAgB,IAAI,yBAAyB,EAAE,MAAM,2BAA2B,CAAA;AACzF,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,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAA;AAE9E,kFAAkF;AAClF,MAAM,KAAK,GAAG,kBAAkB,EAAc,CAAA;AAC9C,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,WAAuB;IAClD,WAAW;QACnB,yEAAyE;QACzE,0EAA0E;QAC1E,sEAAsE;QACtE,uEAAuE;QACvE,oEAAoE;QACpE,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC,CAAA;IACtF,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

@@ -1,6 +1,7 @@
 import { FunctionRuleBuilder } from './function-rule-builder.js';
 import type { CallRuleBuilder } from './call-rule-builder.js';
 import type { ArchFunction } from '../models/arch-function.js';
+import type { GlobNode } from '@nielspeter/eess';
 /**
  * A FunctionRuleBuilder that only examines callback functions
  * inside matched call expressions.
@@ -17,5 +18,15 @@ export declare class ScopedFunctionRuleBuilder extends FunctionRuleBuilder {
      * from the matched call expressions.
      */
     protected getElements(): ArchFunction[];
+    /**
+     * This builder's own globs, plus the wrapped call selection's.
+     *
+     * `within(selection).functions()` draws its subjects from `selection`, so a
+     * dead glob in the selection empties this rule just as surely as a dead
+     * glob on the rule itself — and inheriting `RuleBuilder.globs()` unchanged
+     * would report only half of that. The composition follows the element
+     * source, which is what `getElements()` above already does for subjects.
+     */
+    globs(): readonly GlobNode[];
 }
 //# sourceMappingURL=scoped-function-rule-builder.d.ts.map

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

@@ -1 +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"}
+{"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;AAC9D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAA;AAGhD;;;;;;;GAOG;AACH,qBAAa,yBAA0B,SAAQ,mBAAmB;IAChE,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAiB;gBAEnC,aAAa,EAAE,eAAe;IAK1C;;;OAGG;cACgB,WAAW,IAAI,YAAY,EAAE;IAOhD;;;;;;;;OAQG;IACM,KAAK,IAAI,SAAS,QAAQ,EAAE;CAGtC"}

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

@@ -22,5 +22,17 @@ export class ScopedFunctionRuleBuilder extends FunctionRuleBuilder {
         const matchedCalls = this.callSelection.getMatchedCalls();
         return matchedCalls.flatMap((archCall) => extractCallbacks(archCall.getNode()).map((ec) => ec.fn));
     }
+    /**
+     * This builder's own globs, plus the wrapped call selection's.
+     *
+     * `within(selection).functions()` draws its subjects from `selection`, so a
+     * dead glob in the selection empties this rule just as surely as a dead
+     * glob on the rule itself — and inheriting `RuleBuilder.globs()` unchanged
+     * would report only half of that. The composition follows the element
+     * source, which is what `getElements()` above already does for subjects.
+     */
+    globs() {
+        return [...this.callSelection.globs(), ...super.globs()];
+    }
 }
 //# sourceMappingURL=scoped-function-rule-builder.js.map

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

@@ -1 +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"}
+{"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;AAIhE,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;IAED;;;;;;;;OAQG;IACM,KAAK;QACZ,OAAO,CAAC,GAAG,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,EAAE,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC,CAAA;IAC1D,CAAC;CACF"}

package/dist/builders/slice-discovery-message.d.ts

@@ -0,0 +1,36 @@
+import type { ArchViolation } from '@nielspeter/eess';
+import type { ArchProject } from '../core/project.js';
+import type { DiscoverySource } from './slice-rule-builder.js';
+/**
+ * What a slice rule says when its discovery found nothing.
+ *
+ * Split from the builder because composing the explanation is not deciding one
+ * is warranted — and it is the larger half. The two inputs the family reads,
+ * the project and the discovery declaration, arrive as arguments.
+ */
+/**
+ * The remedy for empty discovery, derived from how slices were sourced *and*
+ * from the globs actually given.
+ *
+ * Bug 0009 was a single hardcoded remedy that was correct for one source and
+ * false for the other. Branching only on the source is not enough: telling a
+ * caller to add a `**\/` prefix they already have, or to check a directory that
+ * plainly exists, is the same defect one level down. So each branch below is
+ * reachable only when its advice is actually true (ADR-008).
+ */
+export declare function emptyDiscoveryMessage(project: ArchProject, discovery: DiscoverySource | undefined): string;
+/**
+ * A config-level finding: the rule is misconfigured, so it checks nothing.
+ *
+ * Deliberately does NOT carry the rule author's `suggestion`/`docs`. Those
+ * describe how to fix a *real* violation of the rule ("Split the cycle"), and the
+ * formatter renders `suggestion` under `Fix:` — the field an agent obeys. Pairing
+ * a configuration message with an unrelated `Fix:` is a false remedy by
+ * juxtaposition, no matter how accurate each half is on its own.
+ */
+export declare function metaViolation(message: string, metadata: {
+    id?: string;
+    suggestion?: string;
+    docs?: string;
+} | undefined, reason: string | undefined): ArchViolation;
+//# sourceMappingURL=slice-discovery-message.d.ts.map

package/dist/builders/slice-discovery-message.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"slice-discovery-message.d.ts","sourceRoot":"","sources":["../../src/builders/slice-discovery-message.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AACrD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AACrD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA;AA0B9D;;;;;;GAMG;AAEH;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,WAAW,EACpB,SAAS,EAAE,eAAe,GAAG,SAAS,GACrC,MAAM,CA0BR;AAwHD;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAC3B,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE;IAAE,EAAE,CAAC,EAAE,MAAM,CAAC;IAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,SAAS,EACzE,MAAM,EAAE,MAAM,GAAG,SAAS,GACzB,aAAa,CAuBf"}

package/dist/builders/slice-discovery-message.js

@@ -0,0 +1,181 @@
+import { emptyProjectAdvice, loadedNothing } from '../core/empty-project-advice.js';
+import { matchingGlobPrefix } from '../models/slice.js';
+import { FAULT_ADVICE, GLOB_DOCS, syntacticFault } from '../core/glob-diagnosis.js';
+import { isProjectRelative } from '../core/project-relative.js';
+/** How many causes a group names before it summarises the rest. */
+const MAX_NAMED_CAUSES_PER_GROUP = 4;
+/**
+ * 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()
+ */
+/** The shared advice starts lowercase for `diagnose`; here it opens a sentence. */
+function capitalize(text) {
+    return text.charAt(0).toUpperCase() + text.slice(1);
+}
+/**
+ * What a slice rule says when its discovery found nothing.
+ *
+ * Split from the builder because composing the explanation is not deciding one
+ * is warranted — and it is the larger half. The two inputs the family reads,
+ * the project and the discovery declaration, arrive as arguments.
+ */
+/**
+ * The remedy for empty discovery, derived from how slices were sourced *and*
+ * from the globs actually given.
+ *
+ * Bug 0009 was a single hardcoded remedy that was correct for one source and
+ * false for the other. Branching only on the source is not enough: telling a
+ * caller to add a `**\/` prefix they already have, or to check a directory that
+ * plainly exists, is the same defect one level down. So each branch below is
+ * reachable only when its advice is actually true (ADR-008).
+ */
+export function emptyDiscoveryMessage(project, discovery) {
+    const tail = 'A slice rule that discovers nothing enforces nothing.';
+    if (!discovery) {
+        return ('No slice source: call .matching(glob) or .assignedFrom(definition) ' +
+            `before .should(). ${tail}`);
+    }
+    // Nothing can match when the project loaded no files at all — blaming the
+    // glob would send the caller to the wrong file entirely.
+    if (loadedNothing(project)) {
+        // The SAME string `diagnose()` reports, from the one place that owns it.
+        // These were two texts for one state and had already diverged: this copy
+        // said only "check that this tsconfig includes your sources", which is
+        // not actionable for a config that has no `include` at all — and this is
+        // the copy a failing build prints.
+        return `${capitalize(emptyProjectAdvice(project))}. ${tail}`;
+    }
+    if (discovery.mode === 'matching') {
+        return matchingDiscoveryMessage(project, discovery.glob, tail);
+    }
+    return assignedFromDiscoveryMessage(discovery.entries, tail);
+}
+/**
+ * Why a `matching(glob)` discovery resolved no slices.
+ *
+ * Its own method because the two discovery modes are two independent fault
+ * ladders that share only the closing sentence — `emptyDiscoveryMessage` was
+ * both of them plus the guards, and read as one method only by adjacency.
+ *
+ * Takes the glob rather than re-reading `discovery`: the caller has
+ * already narrowed the mode, and narrowing twice is how the two copies drift.
+ */
+function matchingDiscoveryMessage(project, glob, tail) {
+    const prefix = matchingGlobPrefix(glob);
+    // No literal directory prefix at all ('src', '*', '{a,b}/x/*'). Telling the
+    // caller to "check the prefix" would send them to inspect something that does
+    // not exist — the false-remedy shape this guard keeps relapsing into.
+    if (prefix === '') {
+        return (`matching(${JSON.stringify(glob)}) has no literal directory prefix, so there is ` +
+            'nothing to locate in your file paths. It needs at least one plain directory ' +
+            `segment before the wildcard, e.g. "src/features/*". ${tail}`);
+    }
+    // Check the claim before making it. The prefix is located with a literal
+    // `indexOf` while the pattern goes through picomatch, and the two disagree
+    // for prefixes containing `(`, `{` or `!` — so "the prefix was not found"
+    // was a verifiable falsehood on exactly the route-group directory names this
+    // parser is careful to treat as literal elsewhere.
+    const prefixExists = project.getSourceFiles().some((file) => file.getFilePath().includes(prefix));
+    if (prefixExists) {
+        return (`matching(${JSON.stringify(glob)}) resolved no slices even though the prefix ` +
+            `${JSON.stringify(prefix)} does occur in this project's files, so the rest of the ` +
+            'glob matched nothing. If a path segment contains "(", ")", "{", "}" or "!", those ' +
+            'are pattern syntax rather than literal characters here — match that level with ' +
+            `"*" instead. ${tail}`);
+    }
+    return (`matching(${JSON.stringify(glob)}) resolved no slices: the prefix ` +
+        `${JSON.stringify(prefix)} was not found in any of this project's ` +
+        `${String(project.getSourceFiles().length)} file paths. Compare it against a ` +
+        'real path — the segment after the prefix names each slice (a directory when files ' +
+        `are nested under it, otherwise each matching file name). ${tail}`);
+}
+/**
+ * Why an `assignedFrom(...)` discovery resolved no slices.
+ *
+ * Reports EVERY entry, grouped by its own cause — reporting one group and
+ * stopping, or applying one group's advice to all of them, is what made each
+ * earlier version of this message false for somebody.
+ */
+function assignedFromDiscoveryMessage(entries, tail) {
+    if (entries.length === 0) {
+        return ('assignedFrom() was given no entries, so there are no slices to check. Pass at ' +
+            `least one name-to-glob mapping, e.g. { services: "**/src/services/**" }. ${tail}`);
+    }
+    // Every entry is at fault (all slices are empty), so every entry is reported,
+    // grouped by its own cause. Reporting one group and stopping — or applying one
+    // group's advice to all of them — is what made each earlier version of this
+    // message false for somebody.
+    const clauses = faultGroups(entries).map((group) => {
+        // Cap per group, never across groups, so no cause is hidden entirely — and
+        // always keep an entry whose key the docs single out as error-prone.
+        const notable = group.list.filter((entry) => /shared/i.test(entry.name));
+        const ordered = [...notable, ...group.list.filter((entry) => !notable.includes(entry))];
+        const head = ordered.slice(0, MAX_NAMED_CAUSES_PER_GROUP);
+        const rest = ordered.length - head.length;
+        const named = head.map((entry) => `${entry.name}: ${JSON.stringify(entry.glob)}`).join(', ') +
+            (rest > 0 ? `, and ${String(rest)} more` : '');
+        return `${FAULT_ADVICE[group.fault]}: ${named}`;
+    });
+    return `Every slice in assignedFrom(...) is empty. ${clauses.join('. Separately, ')}. ${tail}`;
+}
+/**
+ * The entries, grouped by the fault that explains them, in reporting order.
+ *
+ * Syntactic only: this runs while explaining why EVERY slice is empty, so
+ * "matched no file" is already established and the useful split is between the
+ * two causes with a verifiable fix.
+ */
+function faultGroups(entries) {
+    const FAULT_ORDER = ['dot-segment', 'unanchored', 'no-match'];
+    return FAULT_ORDER.map((fault) => ({
+        fault,
+        list: entries.filter((entry) => 
+        // The SAME base the declaration uses (bug 0033). With the default
+        // `'absolute'`, a project-relative glob is classified `unanchored` and
+        // the message tells the author to prefix `"**/"` — advice that stopped
+        // being true when this entry point started resolving one against the
+        // project root. It would now send them to change a glob whose spelling
+        // is fine and whose folder is simply missing.
+        (syntacticFault(entry.glob, 'file-path', isProjectRelative(entry.glob) ? 'normalized' : 'absolute') ?? 'no-match') === fault),
+    })).filter((group) => group.list.length > 0);
+}
+/**
+ * A config-level finding: the rule is misconfigured, so it checks nothing.
+ *
+ * Deliberately does NOT carry the rule author's `suggestion`/`docs`. Those
+ * describe how to fix a *real* violation of the rule ("Split the cycle"), and the
+ * formatter renders `suggestion` under `Fix:` — the field an agent obeys. Pairing
+ * a configuration message with an unrelated `Fix:` is a false remedy by
+ * juxtaposition, no matter how accurate each half is on its own.
+ */
+export function metaViolation(message, metadata, reason) {
+    const id = metadata?.id ?? 'slices';
+    return {
+        rule: id,
+        ruleId: metadata?.id,
+        element: id,
+        file: '',
+        line: 0,
+        message,
+        because: reason,
+        // Its own remedy, not the rule author's (bug 0021). Deliberately generic:
+        // the specific, per-branch diagnosis is already in `message`, where
+        // `emptyDiscoveryMessage` derives it and — per the comment there — each
+        // branch is reachable only when its advice is actually true. Restating that
+        // in `suggestion` would mean two texts to keep in agreement, which is the
+        // drift this project keeps paying for. So the `Fix:` line names the two
+        // actions that hold in every branch and points at the diagnosis.
+        suggestion: 'A slice rule that discovers nothing cannot enforce anything: correct the cause ' +
+            'named in the message, or remove the rule.',
+        docs: GLOB_DOCS,
+        bypassFilters: true,
+    };
+}
+//# sourceMappingURL=slice-discovery-message.js.map

package/dist/builders/slice-discovery-message.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"slice-discovery-message.js","sourceRoot":"","sources":["../../src/builders/slice-discovery-message.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,kBAAkB,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAA;AACnF,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAA;AACvD,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAA;AAEnF,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAA;AAE/D,mEAAmE;AACnE,MAAM,0BAA0B,GAAG,CAAC,CAAA;AAEpC;;;;;;;;;;GAUG;AACH,mFAAmF;AACnF,SAAS,UAAU,CAAC,IAAY;IAC9B,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;AACrD,CAAC;AAED;;;;;;GAMG;AAEH;;;;;;;;;GASG;AACH,MAAM,UAAU,qBAAqB,CACnC,OAAoB,EACpB,SAAsC;IAEtC,MAAM,IAAI,GAAG,uDAAuD,CAAA;IAEpE,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,CACL,qEAAqE;YACrE,qBAAqB,IAAI,EAAE,CAC5B,CAAA;IACH,CAAC;IAED,0EAA0E;IAC1E,yDAAyD;IACzD,IAAI,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3B,yEAAyE;QACzE,yEAAyE;QACzE,uEAAuE;QACvE,yEAAyE;QACzE,mCAAmC;QACnC,OAAO,GAAG,UAAU,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,EAAE,CAAA;IAC9D,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAClC,OAAO,wBAAwB,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IAChE,CAAC;IAED,OAAO,4BAA4B,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;AAC9D,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,wBAAwB,CAAC,OAAoB,EAAE,IAAY,EAAE,IAAY;IAChF,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAA;IAEvC,4EAA4E;IAC5E,8EAA8E;IAC9E,sEAAsE;IACtE,IAAI,MAAM,KAAK,EAAE,EAAE,CAAC;QAClB,OAAO,CACL,YAAY,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,iDAAiD;YACjF,8EAA8E;YAC9E,uDAAuD,IAAI,EAAE,CAC9D,CAAA;IACH,CAAC;IAED,yEAAyE;IACzE,2EAA2E;IAC3E,0EAA0E;IAC1E,6EAA6E;IAC7E,mDAAmD;IACnD,MAAM,YAAY,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAA;IAEjG,IAAI,YAAY,EAAE,CAAC;QACjB,OAAO,CACL,YAAY,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,8CAA8C;YAC9E,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,0DAA0D;YACnF,oFAAoF;YACpF,iFAAiF;YACjF,gBAAgB,IAAI,EAAE,CACvB,CAAA;IACH,CAAC;IAED,OAAO,CACL,YAAY,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,mCAAmC;QACnE,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,0CAA0C;QACnE,GAAG,MAAM,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC,MAAM,CAAC,oCAAoC;QAC9E,oFAAoF;QACpF,4DAA4D,IAAI,EAAE,CACnE,CAAA;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAS,4BAA4B,CACnC,OAAoE,EACpE,IAAY;IAEZ,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,CACL,gFAAgF;YAChF,4EAA4E,IAAI,EAAE,CACnF,CAAA;IACH,CAAC;IAED,8EAA8E;IAC9E,+EAA+E;IAC/E,4EAA4E;IAC5E,8BAA8B;IAC9B,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACjD,2EAA2E;QAC3E,qEAAqE;QACrE,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;QACxE,MAAM,OAAO,GAAG,CAAC,GAAG,OAAO,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;QACvF,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,0BAA0B,CAAC,CAAA;QACzD,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAA;QACzC,MAAM,KAAK,GACT,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YAC9E,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QAChD,OAAO,GAAG,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,EAAE,CAAA;IACjD,CAAC,CAAC,CAAA;IAEF,OAAO,8CAA8C,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,KAAK,IAAI,EAAE,CAAA;AAChG,CAAC;AAED;;;;;;GAMG;AACH,SAAS,WAAW,CAClB,OAAoE;IAEpE,MAAM,WAAW,GAAyB,CAAC,aAAa,EAAE,YAAY,EAAE,UAAU,CAAC,CAAA;IACnF,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACjC,KAAK;QACL,IAAI,EAAE,OAAO,CAAC,MAAM,CAClB,CAAC,KAAK,EAAE,EAAE;QACR,kEAAkE;QAClE,uEAAuE;QACvE,uEAAuE;QACvE,qEAAqE;QACrE,uEAAuE;QACvE,8CAA8C;QAC9C,CAAC,cAAc,CACb,KAAK,CAAC,IAAI,EACV,WAAW,EACX,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAC1D,IAAI,UAAU,CAAC,KAAK,KAAK,CAC7B;KACF,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;AAC9C,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,aAAa,CAC3B,OAAe,EACf,QAAyE,EACzE,MAA0B;IAE1B,MAAM,EAAE,GAAG,QAAQ,EAAE,EAAE,IAAI,QAAQ,CAAA;IACnC,OAAO;QACL,IAAI,EAAE,EAAE;QACR,MAAM,EAAE,QAAQ,EAAE,EAAE;QACpB,OAAO,EAAE,EAAE;QACX,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,CAAC;QACP,OAAO;QACP,OAAO,EAAE,MAAM;QACf,0EAA0E;QAC1E,oEAAoE;QACpE,wEAAwE;QACxE,4EAA4E;QAC5E,0EAA0E;QAC1E,wEAAwE;QACxE,iEAAiE;QACjE,UAAU,EACR,iFAAiF;YACjF,2CAA2C;QAC7C,IAAI,EAAE,SAAS;QACf,aAAa,EAAE,IAAI;KACpB,CAAA;AACH,CAAC"}

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

@@ -1,22 +1,55 @@
+import type { RuleDescription } from '@nielspeter/eess';
+import type { CollectResult } from '../core/terminal-builder.js';
 import type { ArchProject } from '../core/project.js';
-import type { ArchViolation } from '../core/violation.js';
-import { TerminalBuilder } from '@nielspeter/eess';
+import type { GlobNode } from '@nielspeter/eess';
+import { TerminalBuilder } from '../core/terminal-builder.js';
 import type { SliceDefinition } from '../models/slice.js';
+import type { ImportOptions } from '../core/import-options.js';
+/**
+ * How many causes one group names before it truncates to "and N more".
+ *
+ * Per GROUP, never across groups, so no cause is hidden entirely — see the call
+ * site. Four is a readability budget, not a semantic limit.
+ */
+/**
+ * How slices were sourced. Recorded so an empty-discovery failure can state the
+ * remedy that actually works: `matching()` takes one glob whose literal prefix
+ * locates the slices, `assignedFrom()` takes globs matched against the whole
+ * absolute path, and their failure modes differ — so one generic hint would
+ * misdirect half of all callers (ADR-008 — a failure must carry its sanctioned
+ * fix). Declared before the class's own doc block so it does not detach it.
+ */
+export type DiscoverySource = {
+    readonly mode: 'matching';
+    readonly glob: string;
+} | {
+    readonly mode: 'assignedFrom';
+    readonly entries: readonly {
+        readonly name: string;
+        readonly glob: string;
+    }[];
+};
 /**
  * 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.
+ * Unlike the builders that extend `RuleBuilder<T>`, this one has its own chain:
+ * the grouping step (`matching` / `assignedFrom`) replaces the predicate phase
+ * entirely, because a slice is defined by how files are grouped rather than by a
+ * predicate over already-selected subjects.
  *
- * Usage:
- *   slices(project).matching(glob).should().beFreeOfCycles().check()
- *   slices(project).assignedFrom(def).should().respectLayerOrder(...).check()
+ * ```ts
+ * slices(project).matching(glob).should().beFreeOfCycles().check()
+ * slices(project).assignedFrom(def).should().respectLayerOrder(...).check()
+ * ```
+ *
+ * This class carried a docblock on `main` and lost it when the file was split
+ * for `eess/max-class-lines`; it is restored rather than rewritten.
  */
 export declare class SliceRuleBuilder extends TerminalBuilder {
     private readonly project;
     private _slices;
-    private readonly _conditions;
+    private _discovery?;
+    private _conditions;
     constructor(project: ArchProject);
     /**
      * Define slices by glob matching. Each directory matching the glob
@@ -41,6 +74,32 @@ export declare class SliceRuleBuilder extends TerminalBuilder {
      * })
      */
     assignedFrom(definition: SliceDefinition): this;
+    /** The project this rule was built against. See `RuleBuilder.getProject`. */
+    getProject(): ArchProject;
+    /**
+     * The discovery globs this rule was scoped with.
+     *
+     * `assignedFrom` fans out into one slice per entry, so each entry is its own
+     * tree: one dead layer glob is one empty slice, and folding them into an
+     * `any` node would say "no fault unless every slice is empty" — a false
+     * green. This is the same reason a preset's option list is not an `any`
+     * node.
+     *
+     * `matching()` needs no `base` special case, because it declares the glob
+     * `parseMatchingGlob` produces rather than the one the author wrote — and
+     * that one is already anchored. Declaring the author's spelling and
+     * exempting it via `base` was the earlier design, and it reported every
+     * nested-layout rule as dead while looking correct on a flat fixture.
+     */
+    globs(): readonly GlobNode[];
+    /**
+     * An independent copy, carrying the condition list and the resolved slices.
+     *
+     * `_slices` is replaced wholesale by both discovery methods, so only the
+     * condition array needs its own copy — but it is listed here anyway, because
+     * the next person to add a field will read this method, not the two callers.
+     */
+    protected copy(): this;
     /**
      * Begin the condition phase. Returns `this` for chaining.
      */
@@ -52,22 +111,102 @@ export declare class SliceRuleBuilder extends TerminalBuilder {
     /**
      * Assert that no circular dependencies exist between slices.
      */
-    beFreeOfCycles(): this;
+    /**
+     * @param options - `ignoreTypeImports` defaults to **true**: a type-only import
+     *   is erased at compile time and creates no runtime dependency, so counting it
+     *   as a cycle edge reports cycles that cannot exist (plan 0084). Pass
+     *   `{ ignoreTypeImports: false }` to count type-only edges too.
+     *   NOT a way back to the pre-0.47 graph: since v0.48.0 re-exports are counted as
+     *   well, so type edges plus re-export edges is WIDER than 0.46.1 ever was.
+     */
+    beFreeOfCycles(options?: ImportOptions): 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[], options: ImportOptions): this;
     respectLayerOrder(...layers: string[]): this;
     /**
      * Assert that no slice depends on any of the listed slices.
      *
-     * @param sliceNames - Names of forbidden dependency targets
+     * **Type-only edges COUNT by default here**, unlike `beFreeOfCycles()`. It looks
+     * inconsistent and it is deliberate: a cycle is about runtime module-initialization
+     * order, so an erased edge cannot contribute to one — but isolation is about
+     * *coupling*, and a type-only dependency on `legacy` is still a dependency on
+     * `legacy` that breaks when `legacy` is deleted. This matches `dependOn` and
+     * `notImportFrom` as shipped. Pass `{ ignoreTypeImports: true }` to disagree.
+     *
+     * Counts every edge kind `notImportFrom()` counts, including `import('…')` and
+     * `type X = import('…').Y`. `require()` is not counted (ESM-only, ADR-004).
+     *
+     * @param args - Forbidden slice names, or `(names[], options)`
+     *
+     * @example
+     * .should().notDependOn('legacy', 'deprecated')
+     * .should().notDependOn(['legacy'], { ignoreTypeImports: true })
      */
+    notDependOn(sliceNames: string[], options: ImportOptions): this;
     notDependOn(...sliceNames: string[]): this;
-    protected collectViolations(): ArchViolation[];
+    /**
+     * Whether this rule states an assertion at all — the assertion gate's question.
+     *
+     * True once a condition has been added; a slice selection with none can never fail.
+     *
+     * Overrides the `TerminalBuilder` default (`true`), whose JSDoc carries the
+     * contract and the reason this is public rather than protected.
+     */
+    assertsSomething(): boolean;
+    /**
+     * The remedy for this builder's assertion-less state, as one string.
+     *
+     * One channel, so `diagnose()`'s advice and the finding's own message cannot
+     * disagree. Overrides `TerminalBuilder`'s generic text with wording specific to
+     * what this builder is missing.
+     */
+    assertionAdvice(): string;
+    /**
+     * Named by id when one is set, else by the rule description (plan 0070 §4).
+     * The inherited root version says 'unnamed' for every id-less rule, which
+     * made three of the assertion hooks unlocatable in a doctor report.
+     */
+    describeRule(): RuleDescription;
+    /**
+     * Slice discovery is not per-tree, so the gate must stay out (plan 0080).
+     *
+     * `assignedFrom` fans out one glob tree per entry, and a single dead entry among
+     * populated siblings is a dead *tree* — which the gate would report. That guard
+     * was written and **withdrawn before release** for firing on legitimate
+     * projects (see `collectViolations` below): a layer not created yet, and the
+     * `strict-boundaries` scaffold itself.
+     *
+     * The all-empty case is handled here too, with a message the gate cannot match
+     * — it names the discovery mode and its remedy (bug 0009's corpus). So this
+     * builder owns both halves.
+     *
+     * **Why this is a builder-level `true` while `PairFinalBuilder` asks its
+     * condition** (`owns-empty-discovery.ts`, plan 0081): there, ownership varies by
+     * condition, and a blanket `true` once suppressed the gate for the one condition
+     * that did not self-report. Here nothing varies — the reason is a property of
+     * `assignedFrom`'s fan-out, identical for every condition reachable through this
+     * builder. The asymmetry reflects the discovery models, not an oversight.
+     */
+    protected ownsDiscoveryDiagnosis(): boolean;
+    /**
+     * Slices holding at least one file — plan 0098.
+     *
+     * Counting `_slices.length` would count the SHAPE of the discovery rather than
+     * what was examined: `assignedFrom()` returns one slice per key whether or not
+     * anything matched, so the empty case is "every slice has no files", never "no
+     * slices" (arch-014 I1) — which is the same condition this family already
+     * fails closed on.
+     */
+    examinedUnits(): number;
+    protected collectViolations(): CollectResult;
     private buildRuleDescription;
+    /** Config-level meta-finding for empty slice discovery (plan 0067). */
+    private emptyDiscoveryViolation;
 }
 /**
  * Entry point: create a slice-level rule builder.

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

@@ -1 +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"}
+{"version":3,"file":"slice-rule-builder.d.ts","sourceRoot":"","sources":["../../src/builders/slice-rule-builder.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AACvD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAA;AAChE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAGrD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAA;AAEhD,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAA;AAC7D,OAAO,KAAK,EAAS,eAAe,EAAE,MAAM,oBAAoB,CAAA;AAOhE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AAS9D;;;;;GAKG;AAEH;;;;;;;GAOG;AACH,MAAM,MAAM,eAAe,GACvB;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACpD;IACE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;IAC7B,QAAQ,CAAC,OAAO,EAAE,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAA;CAC9E,CAAA;AAEL;;;;;;;;;;;;;;;GAeG;AACH,qBAAa,gBAAiB,SAAQ,eAAe;IAKvC,OAAO,CAAC,QAAQ,CAAC,OAAO;IAJpC,OAAO,CAAC,OAAO,CAAc;IAC7B,OAAO,CAAC,UAAU,CAAC,CAAiB;IACpC,OAAO,CAAC,WAAW,CAAyB;gBAEf,OAAO,EAAE,WAAW;IAIjD;;;;;;;;;OASG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAO5B;;;;;;;;;;OAUG;IACH,YAAY,CAAC,UAAU,EAAE,eAAe,GAAG,IAAI;IAQ/C,6EAA6E;IAC7E,UAAU,IAAI,WAAW;IAIzB;;;;;;;;;;;;;;OAcG;IACM,KAAK,IAAI,SAAS,QAAQ,EAAE;IA4CrC;;;;;;OAMG;cACgB,IAAI,IAAI,IAAI;IAO/B;;OAEG;IACH,MAAM,IAAI,IAAI;IAId;;OAEG;IACH,SAAS,IAAI,IAAI;IAIjB;;OAEG;IACH;;;;;;;OAOG;IACH,cAAc,CAAC,OAAO,CAAC,EAAE,aAAa,GAAG,IAAI;IAM7C;;;;;OAKG;IACH,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,aAAa,GAAG,IAAI;IACjE,iBAAiB,CAAC,GAAG,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI;IAqB5C;;;;;;;;;;;;;;;;;;OAkBG;IACH,WAAW,CAAC,UAAU,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,aAAa,GAAG,IAAI;IAC/D,WAAW,CAAC,GAAG,UAAU,EAAE,MAAM,EAAE,GAAG,IAAI;IAiB1C;;;;;;;OAOG;IACM,gBAAgB,IAAI,OAAO;IAIpC;;;;;;OAMG;IACM,eAAe,IAAI,MAAM;IAQlC;;;;OAIG;IACM,YAAY,IAAI,eAAe;IAaxC;;;;;;;;;;;;;;;;;;;OAmBG;cACgB,sBAAsB,IAAI,OAAO;IAIpD;;;;;;;;OAQG;IACH,aAAa,IAAI,MAAM;IAIvB,SAAS,CAAC,iBAAiB,IAAI,aAAa;IAmD5C,OAAO,CAAC,oBAAoB;IAM5B,uEAAuE;IACvE,OAAO,CAAC,uBAAuB;CAOhC;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,WAAW,GAAG,gBAAgB,CAEvD"}