@nielspeter/eess-ts 0.2.1 → 0.4.0

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

@@ -1,9 +1,12 @@
-import { RuleBuilder } from '@nielspeter/eess';
+import { RuleBuilder } from '../core/rule-builder.js';
 import { areInterfaces, areTypeAliases, haveProperty, havePropertyOfType, extendType, } from '../predicates/type.js';
 import { havePropertyType } from '../conditions/type-level.js';
 import { havePropertyNamed as memberHavePropertyNamed, notHavePropertyNamed as memberNotHavePropertyNamed, havePropertyMatching as memberHavePropertyMatching, notHavePropertyMatching as memberNotHavePropertyMatching, haveOnlyReadonlyProperties as memberHaveOnlyReadonlyProperties, maxProperties as memberMaxProperties, } from '../conditions/members.js';
 import { beExported as conditionBeExported, notExist as conditionNotExist, haveNameMatching as conditionHaveNameMatching, resideInFile as conditionResideInFile, resideInFolder as conditionResideInFolder, } from '../conditions/structural.js';
+import { createElementCache, SOLE_POPULATION } from '../core/element-cache.js';
 import { haveNameMatching as identityHaveNameMatching, resideInFile as identityResideInFile, resideInFolder as identityResideInFolder, areExported as identityAreExported, areNotExported as identityAreNotExported, } from '../predicates/identity.js';
+/** One collection per project, shared by every rule built from it (plan 0075). */
+const cache = createElementCache();
 /**
  * Rule builder for interface and type alias declarations.
  *
@@ -26,58 +29,93 @@ export class TypeRuleBuilder extends RuleBuilder {
      * from all source files in the project.
      */
     getElements() {
-        const elements = [];
-        for (const sf of this.project.getSourceFiles()) {
-            elements.push(...sf.getInterfaces());
-            elements.push(...sf.getTypeAliases());
-        }
-        return elements;
+        return cache.get(this.project, SOLE_POPULATION, () => {
+            const elements = [];
+            for (const sf of this.project.getSourceFiles()) {
+                elements.push(...sf.getInterfaces());
+                elements.push(...sf.getTypeAliases());
+            }
+            return elements;
+        });
     }
     // --- Type-specific predicates ---
-    /** Filter to interface declarations only (excludes type aliases). */
+    /**
+     * Narrows the selection to types that are interfaces.
+     *
+     * **Predicate only**, unlike the dual-use methods on this builder: it never
+     * becomes an assertion. Written after `.should()` it still filters, and the
+     * assertion gate reports it as a misplaced predicate rather than letting the
+     * rule pass having asserted nothing.
+     */
     areInterfaces() {
         return this.addPredicate(areInterfaces());
     }
-    /** Filter to type alias declarations only (excludes interfaces). */
+    /**
+     * Narrows the selection to types that are type aliases.
+     *
+     * **Predicate only**, unlike the dual-use methods on this builder: it never
+     * becomes an assertion. Written after `.should()` it still filters, and the
+     * assertion gate reports it as a misplaced predicate rather than letting the
+     * rule pass having asserted nothing.
+     */
     areTypeAliases() {
         return this.addPredicate(areTypeAliases());
     }
     /**
-     * Filter to types that have a property with the given name. Resolves
-     * through the type system, so it works for both interfaces and aliases.
+     * Narrows the selection to types that have a property named `name`.
+     *
+     * **Predicate only**, unlike the dual-use methods on this builder: it never
+     * becomes an assertion. Written after `.should()` it still filters, and the
+     * assertion gate reports it as a misplaced predicate rather than letting the
+     * rule pass having asserted nothing.
      */
     haveProperty(name) {
         return this.addPredicate(haveProperty(name));
     }
     /**
-     * Filter to types whose named property has a type satisfying the matcher.
-     * Resolves through aliases and mapped types (`Partial<>`, `Pick<>`, ...).
+     * Narrows the selection to types that have property `name` of a type matching `matcher`.
+     *
+     * **Predicate only**, unlike the dual-use methods on this builder: it never
+     * becomes an assertion. Written after `.should()` it still filters, and the
+     * assertion gate reports it as a misplaced predicate rather than letting the
+     * rule pass having asserted nothing.
      */
     havePropertyOfType(name, matcher) {
         return this.addPredicate(havePropertyOfType(name, matcher));
     }
     /**
-     * Filter to types that extend/reference the named type. Interfaces are
-     * matched by their `extends` clause; type aliases by a reference to the
-     * name in the resolved type text.
+     * Narrows the selection to types that extend the type `name`.
+     *
+     * **Predicate only**, unlike the dual-use methods on this builder: it never
+     * becomes an assertion. Written after `.should()` it still filters, and the
+     * assertion gate reports it as a misplaced predicate rather than letting the
+     * rule pass having asserted nothing.
      */
     extendType(name) {
         return this.addPredicate(extendType(name));
     }
     // --- Type-specific conditions ---
     /**
-     * Assert that the named property's type satisfies the matcher. Types
-     * lacking the property are skipped (no violation) — pair with
-     * `haveProperty()` to require it.
+     * Asserts that the selected types have property `name` of a type matching `matcher`.
+     *
+     * **Condition only** — this is the assertion, so it belongs after `.should()`.
      */
     havePropertyType(name, matcher) {
         return this.addCondition(havePropertyType(name, matcher));
     }
-    /** Assert that matched types are exported from their module. */
+    /**
+     * Asserts that the selected types are exported.
+     *
+     * **Condition only** — this is the assertion, so it belongs after `.should()`.
+     */
     beExported() {
         return this.addCondition(conditionBeExported());
     }
-    /** Assert that the filtered type set is empty (no matched type may exist). */
+    /**
+     * Asserts that the selected types do not exist.
+     *
+     * **Condition only** — this is the assertion, so it belongs after `.should()`.
+     */
     notExist() {
         return this.addCondition(conditionNotExist());
     }
@@ -86,27 +124,51 @@ export class TypeRuleBuilder extends RuleBuilder {
         return this.addCondition(conditionHaveNameMatching(pattern));
     }
     // --- Member property conditions (plan 0030) ---
-    /** Assert that every matched type has all of the named properties (one violation per missing name). */
+    /**
+     * Asserts that the selected types have a property named by each of `names`.
+     *
+     * **Condition only** — this is the assertion, so it belongs after `.should()`.
+     */
     havePropertyNamed(...names) {
         return this.addCondition(memberHavePropertyNamed(...names));
     }
-    /** Assert that no matched type has any of the named properties (one violation per forbidden name found). */
+    /**
+     * Asserts that the selected types do not have a property named by any of `names`.
+     *
+     * **Condition only** — this is the assertion, so it belongs after `.should()`.
+     */
     notHavePropertyNamed(...names) {
         return this.addCondition(memberNotHavePropertyNamed(...names));
     }
-    /** Assert that every matched type has at least one property whose name matches the regex. */
+    /**
+     * Asserts that the selected types have a property matching `pattern`.
+     *
+     * **Condition only** — this is the assertion, so it belongs after `.should()`.
+     */
     havePropertyMatching(pattern) {
         return this.addCondition(memberHavePropertyMatching(pattern));
     }
-    /** Assert that no matched type has a property whose name matches the regex (one violation per match). */
+    /**
+     * Asserts that the selected types do not have a property matching `pattern`.
+     *
+     * **Condition only** — this is the assertion, so it belongs after `.should()`.
+     */
     notHavePropertyMatching(pattern) {
         return this.addCondition(memberNotHavePropertyMatching(pattern));
     }
-    /** Assert that every property of each matched type is `readonly` (resolves `Readonly<T>` too). */
+    /**
+     * Asserts that the selected types have only readonly properties.
+     *
+     * **Condition only** — this is the assertion, so it belongs after `.should()`.
+     */
     haveOnlyReadonlyProperties() {
         return this.addCondition(memberHaveOnlyReadonlyProperties());
     }
-    /** Assert that no matched type has more than `max` properties (guards against oversized DTOs). */
+    /**
+     * Asserts that the selected types have at most `max` properties.
+     *
+     * **Condition only** — this is the assertion, so it belongs after `.should()`.
+     */
     maxProperties(max) {
         return this.addCondition(memberMaxProperties(max));
     }
@@ -122,11 +184,25 @@ export class TypeRuleBuilder extends RuleBuilder {
         }
         return this.addPredicate(identityHaveNameMatching(pattern));
     }
-    /** Filter to types that are exported from their module. */
+    /**
+     * Narrows the selection to types that are exported.
+     *
+     * **Predicate only**, unlike the dual-use methods on this builder: it never
+     * becomes an assertion. Written after `.should()` it still filters, and the
+     * assertion gate reports it as a misplaced predicate rather than letting the
+     * rule pass having asserted nothing.
+     */
     areExported() {
         return this.addPredicate(identityAreExported());
     }
-    /** Filter to types that are NOT exported from their module. */
+    /**
+     * Narrows the selection to types that are not exported.
+     *
+     * **Predicate only**, unlike the dual-use methods on this builder: it never
+     * becomes an assertion. Written after `.should()` it still filters, and the
+     * assertion gate reports it as a misplaced predicate rather than letting the
+     * rule pass having asserted nothing.
+     */
     areNotExported() {
         return this.addPredicate(identityAreNotExported());
     }

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

@@ -1 +1 @@
-{"version":3,"file":"type-rule-builder.js","sourceRoot":"","sources":["../../src/builders/type-rule-builder.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAE9C,OAAO,EACL,aAAa,EACb,cAAc,EACd,YAAY,EACZ,kBAAkB,EAClB,UAAU,GAEX,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AAC9D,OAAO,EACL,iBAAiB,IAAI,uBAAuB,EAC5C,oBAAoB,IAAI,0BAA0B,EAClD,oBAAoB,IAAI,0BAA0B,EAClD,uBAAuB,IAAI,6BAA6B,EACxD,0BAA0B,IAAI,gCAAgC,EAC9D,aAAa,IAAI,mBAAmB,GACrC,MAAM,0BAA0B,CAAA;AACjC,OAAO,EACL,UAAU,IAAI,mBAAmB,EACjC,QAAQ,IAAI,iBAAiB,EAC7B,gBAAgB,IAAI,yBAAyB,EAC7C,YAAY,IAAI,qBAAqB,EACrC,cAAc,IAAI,uBAAuB,GAC1C,MAAM,6BAA6B,CAAA;AACpC,OAAO,EACL,gBAAgB,IAAI,wBAAwB,EAC5C,YAAY,IAAI,oBAAoB,EACpC,cAAc,IAAI,sBAAsB,EACxC,WAAW,IAAI,mBAAmB,EAClC,cAAc,IAAI,sBAAsB,GACzC,MAAM,2BAA2B,CAAA;AAElC;;;;;;;;;;;;GAYG;AACH,MAAM,OAAO,eAAgB,SAAQ,WAAyC;IAC5E,YAAY,OAAoB;QAC9B,KAAK,CAAC,OAAO,CAAC,CAAA;IAChB,CAAC;IAED;;;OAGG;IACO,WAAW;QACnB,MAAM,QAAQ,GAAsB,EAAE,CAAA;QACtC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;YAC/C,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,aAAa,EAAE,CAAC,CAAA;YACpC,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,EAAE,CAAC,CAAA;QACvC,CAAC;QACD,OAAO,QAAQ,CAAA;IACjB,CAAC;IAED,mCAAmC;IAEnC,qEAAqE;IACrE,aAAa;QACX,OAAO,IAAI,CAAC,YAAY,CAAC,aAAa,EAAE,CAAC,CAAA;IAC3C,CAAC;IAED,oEAAoE;IACpE,cAAc;QACZ,OAAO,IAAI,CAAC,YAAY,CAAC,cAAc,EAAE,CAAC,CAAA;IAC5C,CAAC;IAED;;;OAGG;IACH,YAAY,CAAC,IAAY;QACvB,OAAO,IAAI,CAAC,YAAY,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAA;IAC9C,CAAC;IAED;;;OAGG;IACH,kBAAkB,CAAC,IAAY,EAAE,OAAoB;QACnD,OAAO,IAAI,CAAC,YAAY,CAAC,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAA;IAC7D,CAAC;IAED;;;;OAIG;IACH,UAAU,CAAC,IAAY;QACrB,OAAO,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAA;IAC5C,CAAC;IAED,mCAAmC;IAEnC;;;;OAIG;IACH,gBAAgB,CAAC,IAAY,EAAE,OAAoB;QACjD,OAAO,IAAI,CAAC,YAAY,CAAC,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAA;IAC3D,CAAC;IAED,gEAAgE;IAChE,UAAU;QACR,OAAO,IAAI,CAAC,YAAY,CAAC,mBAAmB,EAAE,CAAC,CAAA;IACjD,CAAC;IAED,8EAA8E;IAC9E,QAAQ;QACN,OAAO,IAAI,CAAC,YAAY,CAAC,iBAAiB,EAAE,CAAC,CAAA;IAC/C,CAAC;IAED,sEAAsE;IACtE,yBAAyB,CAAC,OAAe;QACvC,OAAO,IAAI,CAAC,YAAY,CAAC,yBAAyB,CAAC,OAAO,CAAC,CAAC,CAAA;IAC9D,CAAC;IAED,iDAAiD;IAEjD,uGAAuG;IACvG,iBAAiB,CAAC,GAAG,KAAe;QAClC,OAAO,IAAI,CAAC,YAAY,CAAC,uBAAuB,CAAC,GAAG,KAAK,CAAC,CAAC,CAAA;IAC7D,CAAC;IAED,4GAA4G;IAC5G,oBAAoB,CAAC,GAAG,KAAe;QACrC,OAAO,IAAI,CAAC,YAAY,CAAC,0BAA0B,CAAC,GAAG,KAAK,CAAC,CAAC,CAAA;IAChE,CAAC;IAED,6FAA6F;IAC7F,oBAAoB,CAAC,OAAe;QAClC,OAAO,IAAI,CAAC,YAAY,CAAC,0BAA0B,CAAC,OAAO,CAAC,CAAC,CAAA;IAC/D,CAAC;IAED,yGAAyG;IACzG,uBAAuB,CAAC,OAAe;QACrC,OAAO,IAAI,CAAC,YAAY,CAAC,6BAA6B,CAAC,OAAO,CAAC,CAAC,CAAA;IAClE,CAAC;IAED,kGAAkG;IAClG,0BAA0B;QACxB,OAAO,IAAI,CAAC,YAAY,CAAC,gCAAgC,EAAE,CAAC,CAAA;IAC9D,CAAC;IAED,kGAAkG;IAClG,aAAa,CAAC,GAAW;QACvB,OAAO,IAAI,CAAC,YAAY,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAA;IACpD,CAAC;IAED,qDAAqD;IAErD;;;OAGG;IACH,gBAAgB,CAAC,OAAwB;QACvC,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAA;YACzE,OAAO,IAAI,CAAC,YAAY,CAAC,yBAAyB,CAAC,KAAK,CAAC,CAAC,CAAA;QAC5D,CAAC;QACD,OAAO,IAAI,CAAC,YAAY,CAAC,wBAAwB,CAAC,OAAO,CAAC,CAAC,CAAA;IAC7D,CAAC;IAED,2DAA2D;IAC3D,WAAW;QACT,OAAO,IAAI,CAAC,YAAY,CAAC,mBAAmB,EAAE,CAAC,CAAA;IACjD,CAAC;IAED,+DAA+D;IAC/D,cAAc;QACZ,OAAO,IAAI,CAAC,YAAY,CAAC,sBAAsB,EAAE,CAAC,CAAA;IACpD,CAAC;IAED;;;OAGG;IACH,YAAY,CAAC,IAAY;QACvB,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC,YAAY,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAA;QACvD,CAAC;QACD,OAAO,IAAI,CAAC,YAAY,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAA;IACtD,CAAC;IAED;;;OAGG;IACH,cAAc,CAAC,IAAY;QACzB,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC,YAAY,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAA;QACzD,CAAC;QACD,OAAO,IAAI,CAAC,YAAY,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAA;IACxD,CAAC;CACF;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,KAAK,CAAC,CAAc;IAClC,OAAO,IAAI,eAAe,CAAC,CAAC,CAAC,CAAA;AAC/B,CAAC"}
+{"version":3,"file":"type-rule-builder.js","sourceRoot":"","sources":["../../src/builders/type-rule-builder.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAA;AAErD,OAAO,EACL,aAAa,EACb,cAAc,EACd,YAAY,EACZ,kBAAkB,EAClB,UAAU,GAEX,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AAC9D,OAAO,EACL,iBAAiB,IAAI,uBAAuB,EAC5C,oBAAoB,IAAI,0BAA0B,EAClD,oBAAoB,IAAI,0BAA0B,EAClD,uBAAuB,IAAI,6BAA6B,EACxD,0BAA0B,IAAI,gCAAgC,EAC9D,aAAa,IAAI,mBAAmB,GACrC,MAAM,0BAA0B,CAAA;AACjC,OAAO,EACL,UAAU,IAAI,mBAAmB,EACjC,QAAQ,IAAI,iBAAiB,EAC7B,gBAAgB,IAAI,yBAAyB,EAC7C,YAAY,IAAI,qBAAqB,EACrC,cAAc,IAAI,uBAAuB,GAC1C,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAA;AAC9E,OAAO,EACL,gBAAgB,IAAI,wBAAwB,EAC5C,YAAY,IAAI,oBAAoB,EACpC,cAAc,IAAI,sBAAsB,EACxC,WAAW,IAAI,mBAAmB,EAClC,cAAc,IAAI,sBAAsB,GACzC,MAAM,2BAA2B,CAAA;AAElC,kFAAkF;AAClF,MAAM,KAAK,GAAG,kBAAkB,EAAmB,CAAA;AAEnD;;;;;;;;;;;;GAYG;AACH,MAAM,OAAO,eAAgB,SAAQ,WAA4B;IAC/D,YAAY,OAAoB;QAC9B,KAAK,CAAC,OAAO,CAAC,CAAA;IAChB,CAAC;IAED;;;OAGG;IACO,WAAW;QACnB,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,eAAe,EAAE,GAAG,EAAE;YACnD,MAAM,QAAQ,GAAsB,EAAE,CAAA;YACtC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;gBAC/C,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,aAAa,EAAE,CAAC,CAAA;gBACpC,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,EAAE,CAAC,CAAA;YACvC,CAAC;YACD,OAAO,QAAQ,CAAA;QACjB,CAAC,CAAC,CAAA;IACJ,CAAC;IAED,mCAAmC;IAEnC;;;;;;;OAOG;IACH,aAAa;QACX,OAAO,IAAI,CAAC,YAAY,CAAC,aAAa,EAAE,CAAC,CAAA;IAC3C,CAAC;IAED;;;;;;;OAOG;IACH,cAAc;QACZ,OAAO,IAAI,CAAC,YAAY,CAAC,cAAc,EAAE,CAAC,CAAA;IAC5C,CAAC;IAED;;;;;;;OAOG;IACH,YAAY,CAAC,IAAY;QACvB,OAAO,IAAI,CAAC,YAAY,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAA;IAC9C,CAAC;IAED;;;;;;;OAOG;IACH,kBAAkB,CAAC,IAAY,EAAE,OAAoB;QACnD,OAAO,IAAI,CAAC,YAAY,CAAC,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAA;IAC7D,CAAC;IAED;;;;;;;OAOG;IACH,UAAU,CAAC,IAAY;QACrB,OAAO,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAA;IAC5C,CAAC;IAED,mCAAmC;IAEnC;;;;OAIG;IACH,gBAAgB,CAAC,IAAY,EAAE,OAAoB;QACjD,OAAO,IAAI,CAAC,YAAY,CAAC,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAA;IAC3D,CAAC;IAED;;;;OAIG;IACH,UAAU;QACR,OAAO,IAAI,CAAC,YAAY,CAAC,mBAAmB,EAAE,CAAC,CAAA;IACjD,CAAC;IAED;;;;OAIG;IACH,QAAQ;QACN,OAAO,IAAI,CAAC,YAAY,CAAC,iBAAiB,EAAE,CAAC,CAAA;IAC/C,CAAC;IAED,sEAAsE;IACtE,yBAAyB,CAAC,OAAe;QACvC,OAAO,IAAI,CAAC,YAAY,CAAC,yBAAyB,CAAC,OAAO,CAAC,CAAC,CAAA;IAC9D,CAAC;IAED,iDAAiD;IAEjD;;;;OAIG;IACH,iBAAiB,CAAC,GAAG,KAAe;QAClC,OAAO,IAAI,CAAC,YAAY,CAAC,uBAAuB,CAAC,GAAG,KAAK,CAAC,CAAC,CAAA;IAC7D,CAAC;IAED;;;;OAIG;IACH,oBAAoB,CAAC,GAAG,KAAe;QACrC,OAAO,IAAI,CAAC,YAAY,CAAC,0BAA0B,CAAC,GAAG,KAAK,CAAC,CAAC,CAAA;IAChE,CAAC;IAED;;;;OAIG;IACH,oBAAoB,CAAC,OAAe;QAClC,OAAO,IAAI,CAAC,YAAY,CAAC,0BAA0B,CAAC,OAAO,CAAC,CAAC,CAAA;IAC/D,CAAC;IAED;;;;OAIG;IACH,uBAAuB,CAAC,OAAe;QACrC,OAAO,IAAI,CAAC,YAAY,CAAC,6BAA6B,CAAC,OAAO,CAAC,CAAC,CAAA;IAClE,CAAC;IAED;;;;OAIG;IACH,0BAA0B;QACxB,OAAO,IAAI,CAAC,YAAY,CAAC,gCAAgC,EAAE,CAAC,CAAA;IAC9D,CAAC;IAED;;;;OAIG;IACH,aAAa,CAAC,GAAW;QACvB,OAAO,IAAI,CAAC,YAAY,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAA;IACpD,CAAC;IAED,qDAAqD;IAErD;;;OAGG;IACH,gBAAgB,CAAC,OAAwB;QACvC,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAA;YACzE,OAAO,IAAI,CAAC,YAAY,CAAC,yBAAyB,CAAC,KAAK,CAAC,CAAC,CAAA;QAC5D,CAAC;QACD,OAAO,IAAI,CAAC,YAAY,CAAC,wBAAwB,CAAC,OAAO,CAAC,CAAC,CAAA;IAC7D,CAAC;IAED;;;;;;;OAOG;IACH,WAAW;QACT,OAAO,IAAI,CAAC,YAAY,CAAC,mBAAmB,EAAE,CAAC,CAAA;IACjD,CAAC;IAED;;;;;;;OAOG;IACH,cAAc;QACZ,OAAO,IAAI,CAAC,YAAY,CAAC,sBAAsB,EAAE,CAAC,CAAA;IACpD,CAAC;IAED;;;OAGG;IACH,YAAY,CAAC,IAAY;QACvB,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC,YAAY,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAA;QACvD,CAAC;QACD,OAAO,IAAI,CAAC,YAAY,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAA;IACtD,CAAC;IAED;;;OAGG;IACH,cAAc,CAAC,IAAY;QACzB,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC,YAAY,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAA;QACzD,CAAC;QACD,OAAO,IAAI,CAAC,YAAY,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAA;IACxD,CAAC;CACF;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,KAAK,CAAC,CAAc;IAClC,OAAO,IAAI,eAAe,CAAC,CAAC,CAAC,CAAA;AAC/B,CAAC"}

package/dist/{helpers → builders}/within.d.ts

@@ -1,5 +1,5 @@
-import type { CallRuleBuilder } from '../builders/call-rule-builder.js';
-import { ScopedFunctionRuleBuilder } from '../builders/scoped-function-rule-builder.js';
+import type { CallRuleBuilder } from './call-rule-builder.js';
+import { ScopedFunctionRuleBuilder } from './scoped-function-rule-builder.js';
 /**
  * A scoped context that restricts entry points to elements found
  * inside the callback arguments of matched call expressions.

package/dist/builders/within.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"within.d.ts","sourceRoot":"","sources":["../../src/builders/within.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAA;AAC7D,OAAO,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAA;AAE7E;;;;;;GAMG;AACH,MAAM,WAAW,aAAa;IAC5B;;;OAGG;IACH,SAAS,IAAI,yBAAyB,CAAA;CACvC;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,MAAM,CAAC,SAAS,EAAE,eAAe,GAAG,aAAa,CAMhE"}

package/dist/{helpers → builders}/within.js

@@ -1,4 +1,4 @@
-import { ScopedFunctionRuleBuilder } from '../builders/scoped-function-rule-builder.js';
+import { ScopedFunctionRuleBuilder } from './scoped-function-rule-builder.js';
 /**
  * Scope rules to a call selection context.
  *

package/dist/builders/within.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"within.js","sourceRoot":"","sources":["../../src/builders/within.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAA;AAiB7E;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,MAAM,CAAC,SAA0B;IAC/C,OAAO;QACL,SAAS;YACP,OAAO,IAAI,yBAAyB,CAAC,SAAS,CAAC,CAAA;QACjD,CAAC;KACF,CAAA;AACH,CAAC"}

package/dist/cli/commands/baseline.d.ts

@@ -1,4 +1,4 @@
-export interface BaselineArgs {
+interface BaselineArgs {
     ruleFiles: string[];
     output: string;
 }
@@ -7,5 +7,6 @@ export interface BaselineArgs {
  *
  * Wraps existing APIs: collectViolations + generateBaseline.
  */
-export declare function runBaseline(args: BaselineArgs): Promise<void>;
+export declare function runBaseline(args: BaselineArgs): Promise<number>;
+export {};
 //# sourceMappingURL=baseline.d.ts.map

package/dist/cli/commands/baseline.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"baseline.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/baseline.ts"],"names":[],"mappings":"AAKA,MAAM,WAAW,YAAY;IAC3B,SAAS,EAAE,MAAM,EAAE,CAAA;IACnB,MAAM,EAAE,MAAM,CAAA;CACf;AAED;;;;GAIG;AACH,wBAAsB,WAAW,CAAC,IAAI,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAQnE"}
+{"version":3,"file":"baseline.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/baseline.ts"],"names":[],"mappings":"AAMA,UAAU,YAAY;IACpB,SAAS,EAAE,MAAM,EAAE,CAAA;IACnB,MAAM,EAAE,MAAM,CAAA;CACf;AAED;;;;GAIG;AACH,wBAAsB,WAAW,CAAC,IAAI,EAAE,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,CAwErE"}

package/dist/cli/commands/baseline.js

@@ -1,16 +1,78 @@
-import { collectViolations } from '@nielspeter/eess';
-import { generateBaseline } from '@nielspeter/eess';
+import { collectViolations } from '../../helpers/baseline-generator.js';
+import { formatBaselineDelta, generateBaseline } from '../../helpers/baseline.js';
 import { loadRuleFiles } from '../load-rules.js';
+import { attributeToRuleFile, failureOrViolations } from '../rule-file-findings.js';
 /**
  * Generate a baseline file from current rule violations.
  *
  * Wraps existing APIs: collectViolations + generateBaseline.
  */
 export async function runBaseline(args) {
-    const builders = await loadRuleFiles(args.ruleFiles);
-    const violations = collectViolations(...builders);
-    generateBaseline(violations, args.output);
-    process.stdout.write(`Baseline generated: ${String(violations.length)} violations recorded\n`);
+    // Per-file parity with runCheck: a user rule file that self-executes a
+    // throwing `.check()` at import surfaces its own violations without discarding
+    // the other files' rules. (Presets no longer throw at import — returning form.)
+    const violations = [];
+    const total = args.ruleFiles.length;
+    for (const file of args.ruleFiles) {
+        // Same two boundaries as `runCheck`, for the same reason (bug 0025). Here it
+        // matters twice over: a rethrow left NO baseline file at all, so one
+        // malformed rule made the whole command unusable rather than producing a
+        // partial baseline the user could finish.
+        let builders;
+        try {
+            builders = await loadRuleFiles([file]);
+        }
+        catch (error) {
+            violations.push(...failureOrViolations(file, error, total));
+            continue;
+        }
+        for (const builder of builders) {
+            try {
+                // Same attribution as `runCheck` (bug 0026): the findings this command
+                // REFUSES to baseline are printed for the user to fix, and "which rule
+                // file" is the first thing they need.
+                violations.push(...attributeToRuleFile(collectViolations(builder), file));
+            }
+            catch (error) {
+                violations.push(...failureOrViolations(file, error, total));
+            }
+        }
+    }
+    const delta = generateBaseline(violations, args.output);
+    // Report what was actually WRITTEN, not what was collected. Config-level findings
+    // are deliberately not baselineable (they report that a rule enforces nothing), so
+    // printing the pre-filter count told users they had accepted findings that CI would
+    // still fail on, with no hint why.
+    const refused = violations.filter((v) => v.bypassFilters === true);
+    // The delta first: it is the number the 0.28.0 upgrade recipe depends on, and a
+    // reader who stops after one line should have read the one that matters (plan
+    // 0071). The count comes from `delta`, not recomputed here: this used to be
+    // `violations.length - refused.length`, which is the same number derived a
+    // second way, and two derivations of one fact in two files drift. The
+    // cross-check lives in the test instead, against the entry count of the file
+    // that was actually written.
+    process.stdout.write(`${formatBaselineDelta(delta)}\n`);
     process.stdout.write(`Written to: ${args.output}\n`);
+    if (refused.length > 0) {
+        process.stdout.write(`\n${String(refused.length)} finding(s) could NOT be baselined — each reports a rule ` +
+            `that currently enforces nothing, so accepting it would hide the gap. Fix these:\n`);
+        for (const violation of refused) {
+            // The rule file first when there is one. Attributing the finding
+            // (bug 0026) is pointless if the command that prints it drops the field:
+            // "which rule file" is the first thing the reader needs, and with two
+            // files holding the same vacuous rule the description alone is the same
+            // sentence twice.
+            const where = violation.file === '' ? '' : `${violation.file}: `;
+            process.stdout.write(`  - ${where}${violation.rule}: ${violation.message}\n`);
+        }
+    }
+    // Non-zero when something could not be baselined, for the same reason
+    // `doctor` exits non-zero: an agent reads `exit 0` as "nothing to do", and
+    // this command sits on the documented 0.23.0 upgrade path. Exiting 0 here
+    // meant `npm run arch:baseline` reported the blocker, succeeded, got
+    // committed, and the next `arch` job failed on findings the baseline was
+    // supposed to have covered. The file is still written — the findings that
+    // COULD be baselined are recorded, so re-running after the fix is cheap.
+    return refused.length > 0 ? 1 : 0;
 }
 //# sourceMappingURL=baseline.js.map

package/dist/cli/commands/baseline.js.map

@@ -1 +1 @@
-{"version":3,"file":"baseline.js","sourceRoot":"","sources":["../../../src/cli/commands/baseline.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AACpD,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AAQhD;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,IAAkB;IAClD,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IACpD,MAAM,UAAU,GAAG,iBAAiB,CAAC,GAAG,QAAQ,CAAC,CAAA;IAEjD,gBAAgB,CAAC,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;IAEzC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,uBAAuB,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,wBAAwB,CAAC,CAAA;IAC9F,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,eAAe,IAAI,CAAC,MAAM,IAAI,CAAC,CAAA;AACtD,CAAC"}
+{"version":3,"file":"baseline.js","sourceRoot":"","sources":["../../../src/cli/commands/baseline.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,qCAAqC,CAAA;AACvE,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAA;AAEjF,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AAChD,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAA;AAOnF;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,IAAkB;IAClD,uEAAuE;IACvE,+EAA+E;IAC/E,gFAAgF;IAChF,MAAM,UAAU,GAAoB,EAAE,CAAA;IACtC,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAA;IACnC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QAClC,6EAA6E;QAC7E,qEAAqE;QACrE,yEAAyE;QACzE,0CAA0C;QAC1C,IAAI,QAAQ,CAAA;QACZ,IAAI,CAAC;YACH,QAAQ,GAAG,MAAM,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;QACxC,CAAC;QAAC,OAAO,KAAc,EAAE,CAAC;YACxB,UAAU,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;YAC3D,SAAQ;QACV,CAAC;QACD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,IAAI,CAAC;gBACH,uEAAuE;gBACvE,uEAAuE;gBACvE,sCAAsC;gBACtC,UAAU,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,CAAA;YAC3E,CAAC;YAAC,OAAO,KAAc,EAAE,CAAC;gBACxB,UAAU,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;YAC7D,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,gBAAgB,CAAC,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;IAEvD,kFAAkF;IAClF,mFAAmF;IACnF,oFAAoF;IACpF,mCAAmC;IACnC,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,IAAI,CAAC,CAAA;IAElE,gFAAgF;IAChF,8EAA8E;IAC9E,4EAA4E;IAC5E,2EAA2E;IAC3E,sEAAsE;IACtE,6EAA6E;IAC7E,6BAA6B;IAC7B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,mBAAmB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IACvD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,eAAe,IAAI,CAAC,MAAM,IAAI,CAAC,CAAA;IAEpD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,KAAK,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,2DAA2D;YACpF,mFAAmF,CACtF,CAAA;QACD,KAAK,MAAM,SAAS,IAAI,OAAO,EAAE,CAAC;YAChC,iEAAiE;YACjE,yEAAyE;YACzE,sEAAsE;YACtE,wEAAwE;YACxE,kBAAkB;YAClB,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,IAAI,IAAI,CAAA;YAChE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,KAAK,GAAG,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,OAAO,IAAI,CAAC,CAAA;QAC/E,CAAC;IACH,CAAC;IAED,sEAAsE;IACtE,2EAA2E;IAC3E,0EAA0E;IAC1E,qEAAqE;IACrE,yEAAyE;IACzE,0EAA0E;IAC1E,yEAAyE;IACzE,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AACnC,CAAC"}

package/dist/cli/commands/check.d.ts

@@ -1,5 +1,5 @@
 import type { OutputFormat } from '@nielspeter/eess';
-export interface CheckArgs {
+interface CheckArgs {
     ruleFiles: string[];
     baseline?: string;
     changed: boolean;
@@ -15,7 +15,12 @@ export interface CheckArgs {
 /**
  * Run architecture rules from the specified rule files.
  *
- * Wraps existing programmatic APIs: withBaseline, diffAware, detectFormat.
+ * Unified pipeline (plan 0060): collect `.violations()` across every builder
+ * (each stamped with its severity), apply baseline/diff, report ONCE, and set
+ * the exit code from the error-severity count. Warns are reported but do not
+ * fail. A rule file that throws `ArchRuleError` on import (a bare self-executing
+ * preset call) is handled by a best-effort catch — error-severity only.
  */
 export declare function runCheck(args: CheckArgs): Promise<number>;
+export {};
 //# sourceMappingURL=check.d.ts.map

package/dist/cli/commands/check.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/check.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAgB,YAAY,EAAiB,MAAM,kBAAkB,CAAA;AAKjF,MAAM,WAAW,SAAS;IACxB,SAAS,EAAE,MAAM,EAAE,CAAA;IACnB,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,OAAO,EAAE,OAAO,CAAA;IAChB,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,YAAY,GAAG,MAAM,CAAA;IAC7B,wDAAwD;IACxD,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,uEAAuE;IACvE,GAAG,CAAC,EAAE,OAAO,CAAA;IACb,8DAA8D;IAC9D,KAAK,CAAC,EAAE,OAAO,CAAA;CAChB;AAED;;;;GAIG;AACH,wBAAsB,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAgD/D"}
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/check.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAkBpD,UAAU,SAAS;IACjB,SAAS,EAAE,MAAM,EAAE,CAAA;IACnB,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,OAAO,EAAE,OAAO,CAAA;IAChB,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,YAAY,GAAG,MAAM,CAAA;IAC7B,wDAAwD;IACxD,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,uEAAuE;IACvE,GAAG,CAAC,EAAE,OAAO,CAAA;IACb,8DAA8D;IAC9D,KAAK,CAAC,EAAE,OAAO,CAAA;CAChB;AAED;;;;;;;;GAQG;AACH,wBAAsB,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CA4B/D"}