@nielspeter/eess 0.1.0

package/dist/index.d.ts

@@ -0,0 +1,42 @@
+export type { Predicate } from './predicate.js';
+export type { Condition, ConditionContext } from './condition.js';
+export { not, and, or } from './combinators.js';
+export type { Matcher } from './combinators.js';
+export type { ArchViolation, ArchFix } from './violation.js';
+export { applyFixes } from './apply-fixes.js';
+export type { ApplyResult } from './apply-fixes.js';
+export { RuleBuilder } from './rule-builder.js';
+export { TerminalBuilder } from './terminal-builder.js';
+export { ArchRuleError } from './errors.js';
+export type { RuleMetadata } from './rule-metadata.js';
+export type { RuleDescription } from './rule-description.js';
+export { generateCodeFrame } from './code-frame.js';
+export type { CodeFrameOptions } from './code-frame.js';
+export { formatViolations, formatViolationsPlain } from './format.js';
+export type { FormatOptions } from './format.js';
+export { formatViolationsJson } from './format-json.js';
+export { formatViolationsGitHub } from './format-github.js';
+export type { CheckOptions, OutputFormat, BaselineFilter, DiffFilterLike } from './check-options.js';
+export { detectFormat, isCI } from './environment.js';
+export { definePredicate, defineCondition } from './define.js';
+export { dispatchRule, validateOverrides, throwIfViolations } from './preset-dispatch.js';
+export { reportViolations, finishPreset } from './report.js';
+export type { ReportMode, ReportOptions, PresetReportOptions } from './report.js';
+export type { RuleSeverity, PresetBaseOptions } from './preset-dispatch.js';
+export { matchSelections } from './matching.js';
+export type { Pair, MatchResult, MatchOptions } from './matching.js';
+export { correspondence, CorrespondenceBuilder } from './correspondence.js';
+export type { Selection, ElementInfo, Direction, RelationSpec, CorrespondenceOptions, KeyBy, } from './correspondence.js';
+export { applyFilters } from './execute-rule.js';
+export { escapeGitHub } from './format-github.js';
+export { hashViolation } from './baseline.js';
+export { bold, red, dim, yellow, cyan, gray } from './ansi.js';
+export { parseExclusionComments, isExcludedByComment } from './exclusion-comments.js';
+export type { ExclusionComment, ExclusionWarning, ParseResult } from './exclusion-comments.js';
+export { silent } from './silent-exclusion.js';
+export type { SilentExclusion } from './silent-exclusion.js';
+export { withBaseline, generateBaseline, Baseline } from './baseline.js';
+export type { BaselineEntry, BaselineFile } from './baseline.js';
+export { collectViolations } from './baseline-generator.js';
+export { diffAware, DiffFilter } from './diff-aware.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAQA,YAAY,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC/C,YAAY,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAA;AACjE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAA;AAC/C,YAAY,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAA;AAG/C,YAAY,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAA;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAC7C,YAAY,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAGnD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAC3C,YAAY,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACtD,YAAY,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAG5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAA;AACnD,YAAY,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA;AACvD,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAA;AACrE,YAAY,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAChD,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAA;AACvD,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAA;AAG3D,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAA;AACpG,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAGrD,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,aAAa,CAAA;AAG9D,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AACzF,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAC5D,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AACjF,YAAY,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AAG3E,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAA;AAC/C,YAAY,EAAE,IAAI,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,eAAe,CAAA;AAGpE,OAAO,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAA;AAC3E,YAAY,EACV,SAAS,EACT,WAAW,EACX,SAAS,EACT,YAAY,EACZ,qBAAqB,EACrB,KAAK,GACN,MAAM,qBAAqB,CAAA;AAG5B,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAA;AAC7C,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAG9D,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AACrF,YAAY,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAA;AAC9F,OAAO,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAA;AAC9C,YAAY,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAG5D,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AACxE,YAAY,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,eAAe,CAAA;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAC3D,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA"}

package/dist/index.js

@@ -0,0 +1,40 @@
+// @nielspeter/eess — the dialect-independent kernel.
+//
+// RuleBuilder<T, P>, Predicate<T>, Condition<T>, the violation model, baseline
+// and diff-aware machinery, exclusions, formatters, and the definePredicate /
+// defineCondition extension points. Nothing here depends on ts-morph or any
+// dialect-specific parser.
+export { not, and, or } from './combinators.js';
+export { applyFixes } from './apply-fixes.js';
+// Rule builder, terminal builder, error
+export { RuleBuilder } from './rule-builder.js';
+export { TerminalBuilder } from './terminal-builder.js';
+export { ArchRuleError } from './errors.js';
+// Code frame & formatting
+export { generateCodeFrame } from './code-frame.js';
+export { formatViolations, formatViolationsPlain } from './format.js';
+export { formatViolationsJson } from './format-json.js';
+export { formatViolationsGitHub } from './format-github.js';
+export { detectFormat, isCI } from './environment.js';
+// Custom predicate/condition factories
+export { definePredicate, defineCondition } from './define.js';
+// Preset dispatch — generic per-rule severity/override infrastructure for presets
+export { dispatchRule, validateOverrides, throwIfViolations } from './preset-dispatch.js';
+export { reportViolations, finishPreset } from './report.js';
+// Matching engine — shared by correspondence() and eess-ts's crossLayer
+export { matchSelections } from './matching.js';
+// Cross-validation — bind two element Selections and assert they correspond
+export { correspondence, CorrespondenceBuilder } from './correspondence.js';
+// Lower-level building blocks (used by dialects and covered by kernel tests)
+export { applyFilters } from './execute-rule.js';
+export { escapeGitHub } from './format-github.js';
+export { hashViolation } from './baseline.js';
+export { bold, red, dim, yellow, cyan, gray } from './ansi.js';
+// Exclusions
+export { parseExclusionComments, isExcludedByComment } from './exclusion-comments.js';
+export { silent } from './silent-exclusion.js';
+// Baseline & diff-aware
+export { withBaseline, generateBaseline, Baseline } from './baseline.js';
+export { collectViolations } from './baseline-generator.js';
+export { diffAware, DiffFilter } from './diff-aware.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,qDAAqD;AACrD,EAAE;AACF,+EAA+E;AAC/E,8EAA8E;AAC9E,4EAA4E;AAC5E,2BAA2B;AAK3B,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAA;AAK/C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAG7C,wCAAwC;AACxC,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAI3C,0BAA0B;AAC1B,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAA;AAEnD,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAA;AAErE,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAA;AACvD,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAA;AAI3D,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAErD,uCAAuC;AACvC,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,aAAa,CAAA;AAE9D,kFAAkF;AAClF,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AACzF,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAI5D,wEAAwE;AACxE,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAA;AAG/C,4EAA4E;AAC5E,OAAO,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAA;AAU3E,6EAA6E;AAC7E,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAA;AAC7C,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAE9D,aAAa;AACb,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AAErF,OAAO,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAA;AAG9C,wBAAwB;AACxB,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAExE,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAC3D,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA"}

package/dist/matching.d.ts

@@ -0,0 +1,31 @@
+/**
+ * The single matching engine shared by `correspondence()` and `eess-ts`'s
+ * `crossLayer` — "given two element sets and how to match them, which pairs
+ * form and which elements are left unmatched." Extracting this removes the
+ * duplicate pair-matching implementations the two builders used to carry.
+ */
+export interface Pair<L, R> {
+    readonly left: L;
+    readonly right: R;
+}
+export interface MatchResult<L, R> {
+    /** Every matched (left, right) pair. */
+    readonly pairs: Pair<L, R>[];
+    /** Left elements with no matching right. */
+    readonly leftUnmatched: L[];
+    /** Right elements with no matching left. */
+    readonly rightUnmatched: R[];
+    /** Left elements that matched more than one right (ambiguous correspondence). */
+    readonly leftAmbiguous: L[];
+}
+export interface MatchOptions<L, R> {
+    /** Arbitrary predicate — O(n×m) Cartesian matching. */
+    readonly matchBy?: (left: L, right: R) => boolean;
+    /** Join key per left element — O(n+m) indexed matching (with `rightKey`). */
+    readonly leftKey?: (element: L) => string;
+    /** Join key per right element. */
+    readonly rightKey?: (element: R) => string;
+}
+/** Match two element sets by key (fast) or predicate (fallback). */
+export declare function matchSelections<L, R>(left: readonly L[], right: readonly R[], opts: MatchOptions<L, R>): MatchResult<L, R>;
+//# sourceMappingURL=matching.d.ts.map

package/dist/matching.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"matching.d.ts","sourceRoot":"","sources":["../src/matching.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,MAAM,WAAW,IAAI,CAAC,CAAC,EAAE,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;IAChB,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAClB;AAED,MAAM,WAAW,WAAW,CAAC,CAAC,EAAE,CAAC;IAC/B,wCAAwC;IACxC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAA;IAC5B,4CAA4C;IAC5C,QAAQ,CAAC,aAAa,EAAE,CAAC,EAAE,CAAA;IAC3B,4CAA4C;IAC5C,QAAQ,CAAC,cAAc,EAAE,CAAC,EAAE,CAAA;IAC5B,iFAAiF;IACjF,QAAQ,CAAC,aAAa,EAAE,CAAC,EAAE,CAAA;CAC5B;AAED,MAAM,WAAW,YAAY,CAAC,CAAC,EAAE,CAAC;IAChC,uDAAuD;IACvD,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,OAAO,CAAA;IACjD,6EAA6E;IAC7E,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,MAAM,CAAA;IACzC,kCAAkC;IAClC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,MAAM,CAAA;CAC3C;AAaD,oEAAoE;AACpE,wBAAgB,eAAe,CAAC,CAAC,EAAE,CAAC,EAClC,IAAI,EAAE,SAAS,CAAC,EAAE,EAClB,KAAK,EAAE,SAAS,CAAC,EAAE,EACnB,IAAI,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,GACvB,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CA4CnB"}

package/dist/matching.js

@@ -0,0 +1,64 @@
+/**
+ * The single matching engine shared by `correspondence()` and `eess-ts`'s
+ * `crossLayer` — "given two element sets and how to match them, which pairs
+ * form and which elements are left unmatched." Extracting this removes the
+ * duplicate pair-matching implementations the two builders used to carry.
+ */
+function indexByKey(elements, key) {
+    const map = new Map();
+    for (const el of elements) {
+        const k = key(el);
+        const list = map.get(k);
+        if (list)
+            list.push(el);
+        else
+            map.set(k, [el]);
+    }
+    return map;
+}
+/** Match two element sets by key (fast) or predicate (fallback). */
+export function matchSelections(left, right, opts) {
+    if (opts.matchBy) {
+        const matchBy = opts.matchBy;
+        const pairs = [];
+        const matchedLeft = new Set();
+        const matchedRight = new Set();
+        const leftMatchCount = new Map();
+        for (const l of left) {
+            for (const r of right) {
+                if (matchBy(l, r)) {
+                    pairs.push({ left: l, right: r });
+                    matchedLeft.add(l);
+                    matchedRight.add(r);
+                    leftMatchCount.set(l, (leftMatchCount.get(l) ?? 0) + 1);
+                }
+            }
+        }
+        return {
+            pairs,
+            leftUnmatched: left.filter((l) => !matchedLeft.has(l)),
+            rightUnmatched: right.filter((r) => !matchedRight.has(r)),
+            leftAmbiguous: left.filter((l) => (leftMatchCount.get(l) ?? 0) > 1),
+        };
+    }
+    const leftKey = opts.leftKey;
+    const rightKey = opts.rightKey;
+    if (!leftKey || !rightKey) {
+        throw new TypeError('matchSelections requires either matchBy or both leftKey and rightKey');
+    }
+    const rightByKey = indexByKey(right, rightKey);
+    const leftByKey = indexByKey(left, leftKey);
+    const pairs = [];
+    for (const l of left) {
+        for (const r of rightByKey.get(leftKey(l)) ?? []) {
+            pairs.push({ left: l, right: r });
+        }
+    }
+    return {
+        pairs,
+        leftUnmatched: left.filter((l) => (rightByKey.get(leftKey(l))?.length ?? 0) === 0),
+        rightUnmatched: right.filter((r) => (leftByKey.get(rightKey(r))?.length ?? 0) === 0),
+        leftAmbiguous: left.filter((l) => (rightByKey.get(leftKey(l))?.length ?? 0) > 1),
+    };
+}
+//# sourceMappingURL=matching.js.map

package/dist/matching.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"matching.js","sourceRoot":"","sources":["../src/matching.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AA2BH,SAAS,UAAU,CAAI,QAAsB,EAAE,GAAsB;IACnE,MAAM,GAAG,GAAG,IAAI,GAAG,EAAe,CAAA;IAClC,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;QAC1B,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC,CAAA;QACjB,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;QACvB,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;;YAClB,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACvB,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,eAAe,CAC7B,IAAkB,EAClB,KAAmB,EACnB,IAAwB;IAExB,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAA;QAC5B,MAAM,KAAK,GAAiB,EAAE,CAAA;QAC9B,MAAM,WAAW,GAAG,IAAI,GAAG,EAAK,CAAA;QAChC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAK,CAAA;QACjC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAa,CAAA;QAC3C,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;gBACtB,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;oBAClB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAA;oBACjC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;oBAClB,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;oBACnB,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;gBACzD,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO;YACL,KAAK;YACL,aAAa,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACtD,cAAc,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACzD,aAAa,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;SACpE,CAAA;IACH,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAA;IAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAA;IAC9B,IAAI,CAAC,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC1B,MAAM,IAAI,SAAS,CAAC,sEAAsE,CAAC,CAAA;IAC7F,CAAC;IACD,MAAM,UAAU,GAAG,UAAU,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;IAC9C,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;IAC3C,MAAM,KAAK,GAAiB,EAAE,CAAA;IAC9B,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YACjD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAA;QACnC,CAAC;IACH,CAAC;IACD,OAAO;QACL,KAAK;QACL,aAAa,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC;QAClF,cAAc,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC;QACpF,aAAa,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;KACjF,CAAA;AACH,CAAC"}

package/dist/predicate.d.ts

@@ -0,0 +1,11 @@
+/**
+ * A predicate that tests whether an architectural element matches a condition.
+ * Used in `.that()` clauses to filter elements before rule evaluation.
+ */
+export interface Predicate<T> {
+    /** Human-readable description for violation messages, e.g. "have name matching /^parse/" */
+    readonly description: string;
+    /** Returns true if the element matches this predicate. */
+    test(element: T): boolean;
+}
+//# sourceMappingURL=predicate.d.ts.map

package/dist/predicate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"predicate.d.ts","sourceRoot":"","sources":["../src/predicate.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,MAAM,WAAW,SAAS,CAAC,CAAC;IAC1B,4FAA4F;IAC5F,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,0DAA0D;IAC1D,IAAI,CAAC,OAAO,EAAE,CAAC,GAAG,OAAO,CAAA;CAC1B"}

package/dist/predicate.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=predicate.js.map

package/dist/predicate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"predicate.js","sourceRoot":"","sources":["../src/predicate.ts"],"names":[],"mappings":""}

package/dist/preset-dispatch.d.ts

@@ -0,0 +1,46 @@
+import type { ArchViolation } from './violation.js';
+import type { RuleMetadata } from './rule-metadata.js';
+import { type PresetReportOptions } from './report.js';
+/** Per-rule severity within a preset. */
+export type RuleSeverity = 'error' | 'warn' | 'off';
+/**
+ * Base options every preset accepts: per-rule severity overrides, plus the
+ * reporting controls (`report` / `format`) from ADR-008 — so every preset that
+ * extends this can `{ report: 'return' }` without its own plumbing.
+ */
+export interface PresetBaseOptions extends PresetReportOptions {
+    overrides?: Record<string, RuleSeverity>;
+}
+/**
+ * Anything with `.rule()` and `.violations()` — works with both
+ * `RuleBuilder<T, P>` and `TerminalBuilder` hierarchies, across all dialects.
+ */
+interface Dispatchable {
+    rule(m: RuleMetadata): {
+        violations(): ArchViolation[];
+    };
+    violations(): ArchViolation[];
+}
+/**
+ * Dispatch a single rule within a preset.
+ *
+ * - `'off'`: skip entirely
+ * - `'warn'`: log violations to stderr, do not collect for aggregated throw
+ * - `'error'`: collect violations for aggregated throw
+ */
+export declare function dispatchRule(builder: Dispatchable, ruleId: string, defaultSeverity: RuleSeverity, overrides: Record<string, RuleSeverity> | undefined): ArchViolation[];
+/**
+ * Validate override keys against known rule IDs. Warns for unrecognized keys
+ * (likely typos).
+ */
+export declare function validateOverrides(overrides: Record<string, RuleSeverity> | undefined, knownIds: string[]): void;
+/**
+ * Emit (stderr text) and throw a single `ArchRuleError` with all aggregated
+ * violations, if any. Kept for backward compatibility; it is now `finishPreset`
+ * in the default `throw` mode. New presets take `PresetReportOptions` and call
+ * `finishPreset` so a caller can opt into `report: 'return'` / `--format json`
+ * (plan 0070).
+ */
+export declare function throwIfViolations(violations: ArchViolation[]): void;
+export {};
+//# sourceMappingURL=preset-dispatch.d.ts.map

package/dist/preset-dispatch.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"preset-dispatch.d.ts","sourceRoot":"","sources":["../src/preset-dispatch.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AACnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAEtD,OAAO,EAAgB,KAAK,mBAAmB,EAAE,MAAM,aAAa,CAAA;AAEpE,yCAAyC;AACzC,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,MAAM,GAAG,KAAK,CAAA;AAEnD;;;;GAIG;AACH,MAAM,WAAW,iBAAkB,SAAQ,mBAAmB;IAC5D,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;CACzC;AAED;;;GAGG;AACH,UAAU,YAAY;IACpB,IAAI,CAAC,CAAC,EAAE,YAAY,GAAG;QAAE,UAAU,IAAI,aAAa,EAAE,CAAA;KAAE,CAAA;IACxD,UAAU,IAAI,aAAa,EAAE,CAAA;CAC9B;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,OAAO,EAAE,YAAY,EACrB,MAAM,EAAE,MAAM,EACd,eAAe,EAAE,YAAY,EAC7B,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,GAAG,SAAS,GAClD,aAAa,EAAE,CAcjB;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAC/B,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,GAAG,SAAS,EACnD,QAAQ,EAAE,MAAM,EAAE,GACjB,IAAI,CAWN;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,aAAa,EAAE,GAAG,IAAI,CAEnE"}

package/dist/preset-dispatch.js

@@ -0,0 +1,48 @@
+import { formatViolations } from './format.js';
+import { finishPreset } from './report.js';
+/**
+ * Dispatch a single rule within a preset.
+ *
+ * - `'off'`: skip entirely
+ * - `'warn'`: log violations to stderr, do not collect for aggregated throw
+ * - `'error'`: collect violations for aggregated throw
+ */
+export function dispatchRule(builder, ruleId, defaultSeverity, overrides) {
+    const effective = overrides?.[ruleId] ?? defaultSeverity;
+    if (effective === 'off')
+        return [];
+    const violations = builder.rule({ id: ruleId }).violations();
+    if (effective === 'warn') {
+        if (violations.length > 0) {
+            console.warn(formatViolations(violations));
+        }
+        return [];
+    }
+    return violations;
+}
+/**
+ * Validate override keys against known rule IDs. Warns for unrecognized keys
+ * (likely typos).
+ */
+export function validateOverrides(overrides, knownIds) {
+    if (!overrides)
+        return;
+    const knownSet = new Set(knownIds);
+    for (const key of Object.keys(overrides)) {
+        if (!knownSet.has(key)) {
+            console.warn(`[eess] Override key '${key}' does not match any rule in this preset. ` +
+                `Available rules: ${knownIds.join(', ')}`);
+        }
+    }
+}
+/**
+ * Emit (stderr text) and throw a single `ArchRuleError` with all aggregated
+ * violations, if any. Kept for backward compatibility; it is now `finishPreset`
+ * in the default `throw` mode. New presets take `PresetReportOptions` and call
+ * `finishPreset` so a caller can opt into `report: 'return'` / `--format json`
+ * (plan 0070).
+ */
+export function throwIfViolations(violations) {
+    finishPreset(violations, { report: 'throw' });
+}
+//# sourceMappingURL=preset-dispatch.js.map

package/dist/preset-dispatch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"preset-dispatch.js","sourceRoot":"","sources":["../src/preset-dispatch.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAA;AAC9C,OAAO,EAAE,YAAY,EAA4B,MAAM,aAAa,CAAA;AAuBpE;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAC1B,OAAqB,EACrB,MAAc,EACd,eAA6B,EAC7B,SAAmD;IAEnD,MAAM,SAAS,GAAG,SAAS,EAAE,CAAC,MAAM,CAAC,IAAI,eAAe,CAAA;IACxD,IAAI,SAAS,KAAK,KAAK;QAAE,OAAO,EAAE,CAAA;IAElC,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,UAAU,EAAE,CAAA;IAE5D,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;QACzB,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAA;QAC5C,CAAC;QACD,OAAO,EAAE,CAAA;IACX,CAAC;IAED,OAAO,UAAU,CAAA;AACnB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAC/B,SAAmD,EACnD,QAAkB;IAElB,IAAI,CAAC,SAAS;QAAE,OAAM;IACtB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAA;IAClC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,OAAO,CAAC,IAAI,CACV,wBAAwB,GAAG,4CAA4C;gBACrE,oBAAoB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC5C,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,UAA2B;IAC3D,YAAY,CAAC,UAAU,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAA;AAC/C,CAAC"}

package/dist/report.d.ts

@@ -0,0 +1,38 @@
+import type { ArchViolation } from './violation.js';
+import type { OutputFormat } from './check-options.js';
+/**
+ * How a preset delivers its violations (plan 0070, ADR-008):
+ * - `throw` (default) — emit, then throw `ArchRuleError` (today's behavior)
+ * - `return` — return the violations, emit nothing (the caller owns reporting)
+ * - `warn` — emit as a report, but do not throw
+ */
+export type ReportMode = 'throw' | 'return' | 'warn';
+/** Emission options shared by the reporter and the preset finisher. */
+export interface ReportOptions {
+    /** Output format. Default `terminal` (rich text to stderr). */
+    readonly format?: OutputFormat;
+    /** Rationale threaded into the emitted output. */
+    readonly reason?: string;
+}
+/** Reporting controls a preset accepts, on top of its own options. */
+export interface PresetReportOptions extends ReportOptions {
+    /** Delivery mode. Default `throw`. */
+    readonly report?: ReportMode;
+}
+/**
+ * The single place that knows how to *emit* violations — text (stderr), JSON,
+ * or GitHub annotations (stdout). No throw, no filtering, no control flow: just
+ * emission. `executeCheck` (the `.check()` path) and `finishPreset` (the preset
+ * path) both delegate here, so the two reporting paths can no longer diverge
+ * (plan 0070). Emits nothing for an empty set.
+ */
+export declare function reportViolations(violations: ArchViolation[], options?: ReportOptions): void;
+/**
+ * Finish a preset: deliver its aggregated violations per the requested mode
+ * (plan 0070). `throw` (default) emits then throws — backward-compatible with
+ * `throwIfViolations`; `return` hands the violations back untouched (the caller
+ * owns emission and control flow); `warn` emits without throwing. Always
+ * returns the violations, so a caller can inspect them regardless of mode.
+ */
+export declare function finishPreset(violations: ArchViolation[], options?: PresetReportOptions): ArchViolation[];
+//# sourceMappingURL=report.d.ts.map

package/dist/report.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"report.d.ts","sourceRoot":"","sources":["../src/report.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AACnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAMtD;;;;;GAKG;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,QAAQ,GAAG,MAAM,CAAA;AAEpD,uEAAuE;AACvE,MAAM,WAAW,aAAa;IAC5B,+DAA+D;IAC/D,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,CAAA;IAC9B,kDAAkD;IAClD,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CACzB;AAED,sEAAsE;AACtE,MAAM,WAAW,mBAAoB,SAAQ,aAAa;IACxD,sCAAsC;IACtC,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,CAAA;CAC7B;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,aAAa,EAAE,EAAE,OAAO,GAAE,aAAkB,GAAG,IAAI,CAY/F;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,UAAU,EAAE,aAAa,EAAE,EAC3B,OAAO,GAAE,mBAAwB,GAChC,aAAa,EAAE,CAQjB"}

package/dist/report.js

@@ -0,0 +1,45 @@
+import { ArchRuleError } from './errors.js';
+import { formatViolations } from './format.js';
+import { formatViolationsJson } from './format-json.js';
+import { formatViolationsGitHub } from './format-github.js';
+/**
+ * The single place that knows how to *emit* violations — text (stderr), JSON,
+ * or GitHub annotations (stdout). No throw, no filtering, no control flow: just
+ * emission. `executeCheck` (the `.check()` path) and `finishPreset` (the preset
+ * path) both delegate here, so the two reporting paths can no longer diverge
+ * (plan 0070). Emits nothing for an empty set.
+ */
+export function reportViolations(violations, options = {}) {
+    if (violations.length === 0)
+        return;
+    const format = options.format ?? 'terminal';
+    if (format === 'json') {
+        process.stdout.write(formatViolationsJson(violations, options.reason) + '\n');
+    }
+    else if (format === 'github') {
+        process.stdout.write(formatViolationsGitHub(violations, 'error') + '\n');
+    }
+    else {
+        // Rich text to stderr — test runners show the plain-text Error message,
+        // while stderr carries the colorized Why/Fix/Docs output.
+        process.stderr.write(formatViolations(violations, options.reason) + '\n');
+    }
+}
+/**
+ * Finish a preset: deliver its aggregated violations per the requested mode
+ * (plan 0070). `throw` (default) emits then throws — backward-compatible with
+ * `throwIfViolations`; `return` hands the violations back untouched (the caller
+ * owns emission and control flow); `warn` emits without throwing. Always
+ * returns the violations, so a caller can inspect them regardless of mode.
+ */
+export function finishPreset(violations, options = {}) {
+    const mode = options.report ?? 'throw';
+    if (mode === 'return')
+        return violations;
+    reportViolations(violations, options);
+    if (mode === 'throw' && violations.length > 0) {
+        throw new ArchRuleError(violations, options.reason);
+    }
+    return violations;
+}
+//# sourceMappingURL=report.js.map

package/dist/report.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"report.js","sourceRoot":"","sources":["../src/report.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAC3C,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAA;AAC9C,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAA;AACvD,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAA;AAwB3D;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB,CAAC,UAA2B,EAAE,UAAyB,EAAE;IACvF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAM;IACnC,MAAM,MAAM,GAAiB,OAAO,CAAC,MAAM,IAAI,UAAU,CAAA;IACzD,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACtB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAA;IAC/E,CAAC;SAAM,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC/B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,sBAAsB,CAAC,UAAU,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC,CAAA;IAC1E,CAAC;SAAM,CAAC;QACN,wEAAwE;QACxE,0DAA0D;QAC1D,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAA;IAC3E,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAC1B,UAA2B,EAC3B,UAA+B,EAAE;IAEjC,MAAM,IAAI,GAAe,OAAO,CAAC,MAAM,IAAI,OAAO,CAAA;IAClD,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,UAAU,CAAA;IACxC,gBAAgB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IACrC,IAAI,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;IACrD,CAAC;IACD,OAAO,UAAU,CAAA;AACnB,CAAC"}

package/dist/rule-builder.d.ts

@@ -0,0 +1,188 @@
+import type { Predicate } from './predicate.js';
+import type { Condition, ConditionContext } from './condition.js';
+import type { ArchViolation } from './violation.js';
+import type { CheckOptions } from './check-options.js';
+import type { RuleMetadata } from './rule-metadata.js';
+import type { RuleDescription } from './rule-description.js';
+import type { SilentExclusion } from './silent-exclusion.js';
+import type { Selection, ElementInfo } from './correspondence.js';
+/**
+ * Abstract base class for all rule builders.
+ *
+ * Concrete entry points (plans 0007+) extend this and:
+ * 1. Implement `getElements()` to return the elements to check
+ * 2. Add predicate methods that call `addPredicate()`
+ * 3. Add condition methods that call `addCondition()`
+ *
+ * The builder accumulates predicates and conditions. Nothing executes
+ * until a terminal method (`.check()`, `.warn()`, `.severity()`) is called.
+ */
+export declare abstract class RuleBuilder<T, P = unknown> {
+    protected readonly project: P;
+    protected _predicates: Predicate<T>[];
+    protected _conditions: Condition<T>[];
+    protected _reason?: string;
+    protected _metadata?: RuleMetadata;
+    protected _exclusions: (string | RegExp)[];
+    protected _silentIndices: Set<number>;
+    protected _phase: 'predicate' | 'condition';
+    constructor(project: P);
+    /**
+     * Begin the predicate phase. Returns `this` for chaining.
+     * Purely a readability marker — `.that().haveNameMatching(...)` reads like English.
+     * Explicitly resets phase to 'predicate' — defensive against `.should().that()` misuse.
+     */
+    that(): this;
+    /**
+     * Add another predicate (AND). Returns `this` for chaining.
+     * `.that().extend('Base').and().resideInFolder('src/repos/**')` means both must match.
+     */
+    and(): this;
+    /**
+     * Begin the condition phase. Returns a forked builder for named selection safety.
+     * Creates a fresh builder with the same predicates but empty conditions.
+     * Sets phase to 'condition' so dual-use methods dispatch correctly.
+     */
+    should(): this;
+    /**
+     * Add another condition that must ALSO pass (AND).
+     * `.should().notContain(call('x')).andShould().notContain(call('y'))` means both must hold.
+     */
+    andShould(): this;
+    /**
+     * Plug in a custom predicate or condition.
+     *
+     * After `.that()` — pass a `Predicate<T>` to filter elements.
+     * After `.should()` — pass a `Condition<T>` to assert against filtered elements.
+     *
+     * Dispatch is structural: if the object has a `test` method it is treated
+     * as a predicate; if it has `evaluate` it is treated as a condition.
+     */
+    satisfy(custom: Predicate<T> | Condition<T>): this;
+    /**
+     * Attach a human-readable rationale to the rule.
+     * Included in violation messages when `.check()` throws.
+     */
+    because(reason: string): this;
+    /**
+     * Attach rich metadata to the rule.
+     * Provides educational context in violation output: why, how to fix, docs link.
+     *
+     * If `metadata.because` is set, it also sets the reason (same as `.because()`).
+     */
+    rule(metadata: RuleMetadata): this;
+    /**
+     * Exclude specific violations from reporting by matching against
+     * the violation's `element`, `file`, or `message` fields.
+     *
+     * Matched violations are silently suppressed. Use for permanent,
+     * intentional exceptions — not for temporary violations (use baseline for those).
+     *
+     * Patterns are matched against all three fields. Prefer anchored regexes
+     * or full string matches over short substrings, especially for `message`
+     * matching, to avoid accidentally suppressing unrelated violations whose
+     * messages happen to contain the same text.
+     *
+     * Emits a warning if an exclusion matches zero violations — so renamed
+     * or deleted exceptions don't silently stay in the rule.
+     *
+     * For narrowing a rule's scope at the predicate phase (so the rule never
+     * evaluates the excluded element), use `satisfy(not(<predicate>))` instead.
+     * See the "Excluding a file from a rule's scope" recipe in docs/recipes.md.
+     *
+     * @example
+     * // Exclude by element name (fully qualified)
+     * .excluding('Asset.getImageUrl')
+     *
+     * @example
+     * // Exclude by file path (regex anchored to suffix)
+     * .excluding(/repositories\/index\.ts$/)
+     *
+     * @example
+     * // Multiple exclusions, mixed forms
+     * .excluding('Asset.getImageUrl', /\/legacy\//, /generated/)
+     */
+    excluding(...patterns: (string | RegExp | SilentExclusion)[]): this;
+    /**
+     * Return the predicate-filtered elements as a labelled `Selection<T>` for
+     * cross-validation (`correspondence()`). The set is exactly the elements this
+     * rule would evaluate — the same filtering `.check()` applies.
+     *
+     * @param opts.label - human-readable name of this side ("diagram class")
+     * @param opts.identify - map an element to its message metadata (name/file/line)
+     */
+    select(opts: {
+        label: string;
+        identify: (element: T) => ElementInfo;
+    }): Selection<T>;
+    /**
+     * Return a structured description of this rule without executing it.
+     * Used by the `explain` CLI subcommand.
+     */
+    describeRule(): RuleDescription;
+    /**
+     * Execute the rule and return violations after exclusion filtering.
+     * Does not throw — use for programmatic access (presets, aggregation).
+     */
+    violations(): ArchViolation[];
+    /**
+     * Execute the rule and throw `ArchRuleError` if any violations are found.
+     * This is the primary terminal method — use in test assertions.
+     *
+     * @param options - Optional baseline and diff filtering
+     */
+    check(options?: CheckOptions): void;
+    /**
+     * Execute the rule and log violations to stderr. Does not throw.
+     * Use for rules that should warn but not fail CI.
+     *
+     * @param options - Optional baseline and diff filtering
+     */
+    warn(options?: CheckOptions): void;
+    /**
+     * Execute the rule with the given severity.
+     * `.severity('error')` is equivalent to `.check()`.
+     * `.severity('warn')` is equivalent to `.warn()`.
+     */
+    severity(level: 'error' | 'warn'): void;
+    /**
+     * Register a predicate. Called by concrete builder methods like
+     * `.haveNameMatching()`, `.extend()`, etc.
+     */
+    protected addPredicate(predicate: Predicate<T>): this;
+    /**
+     * Register a condition. Called by concrete builder methods like
+     * `.notContain()`, `.notExist()`, etc.
+     */
+    protected addCondition(condition: Condition<T>): this;
+    /**
+     * Subclasses implement this to return the elements to check.
+     * Called lazily during `.check()` / `.warn()`.
+     */
+    protected abstract getElements(): T[];
+    /**
+     * Create a fork of this builder with the same predicates but empty conditions.
+     * Used by `.should()` to support named selections without mutation.
+     *
+     * Subclasses with additional constructor args MUST override this method.
+     */
+    protected fork(): this;
+    /**
+     * Build the rule description from predicates and conditions.
+     */
+    private buildRuleDescription;
+    /**
+     * Execute the full pipeline: filter elements with predicates,
+     * evaluate conditions, return violations.
+     */
+    private evaluate;
+    /**
+     * Build the `ConditionContext` passed to each condition.
+     *
+     * Subclasses with builder-specific context fields (e.g. `CallRuleBuilder`'s
+     * `_identifyByArgument`) override this to extend the base context.
+     * Call `super.buildConditionContext()` and spread the result.
+     */
+    protected buildConditionContext(): ConditionContext;
+}
+//# sourceMappingURL=rule-builder.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rule-builder.d.ts","sourceRoot":"","sources":["../src/rule-builder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC/C,OAAO,KAAK,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAA;AACjE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AACnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACtD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACtD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAC5D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAG5D,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AAEjE;;;;;;;;;;GAUG;AACH,8BAAsB,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,OAAO;IASlC,SAAS,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;IARzC,SAAS,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAK;IAC1C,SAAS,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAK;IAC1C,SAAS,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;IAC1B,SAAS,CAAC,SAAS,CAAC,EAAE,YAAY,CAAA;IAClC,SAAS,CAAC,WAAW,EAAE,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAK;IAC/C,SAAS,CAAC,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,CAAY;IACjD,SAAS,CAAC,MAAM,EAAE,WAAW,GAAG,WAAW,CAAc;gBAE1B,OAAO,EAAE,CAAC;IAIzC;;;;OAIG;IACH,IAAI,IAAI,IAAI;IAKZ;;;OAGG;IACH,GAAG,IAAI,IAAI;IAIX;;;;OAIG;IACH,MAAM,IAAI,IAAI;IAMd;;;OAGG;IACH,SAAS,IAAI,IAAI;IAIjB;;;;;;;;OAQG;IACH,OAAO,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI;IAOlD;;;OAGG;IACH,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAK7B;;;;;OAKG;IACH,IAAI,CAAC,QAAQ,EAAE,YAAY,GAAG,IAAI;IAQlC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA8BG;IACH,SAAS,CAAC,GAAG,QAAQ,EAAE,CAAC,MAAM,GAAG,MAAM,GAAG,eAAe,CAAC,EAAE,GAAG,IAAI;IAcnE;;;;;;;OAOG;IACH,MAAM,CAAC,IAAI,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,WAAW,CAAA;KAAE,GAAG,SAAS,CAAC,CAAC,CAAC;IAOpF;;;OAGG;IACH,YAAY,IAAI,eAAe;IAU/B;;;OAGG;IACH,UAAU,IAAI,aAAa,EAAE;IAU7B;;;;;OAKG;IACH,KAAK,CAAC,OAAO,CAAC,EAAE,YAAY,GAAG,IAAI;IAcnC;;;;;OAKG;IACH,IAAI,CAAC,OAAO,CAAC,EAAE,YAAY,GAAG,IAAI;IAclC;;;;OAIG;IACH,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI;IAUvC;;;OAGG;IACH,SAAS,CAAC,YAAY,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI;IAKrD;;;OAGG;IACH,SAAS,CAAC,YAAY,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI;IAKrD;;;OAGG;IACH,SAAS,CAAC,QAAQ,CAAC,WAAW,IAAI,CAAC,EAAE;IAErC;;;;;OAKG;IACH,SAAS,CAAC,IAAI,IAAI,IAAI;IAkBtB;;OAEG;IACH,OAAO,CAAC,oBAAoB;IAS5B;;;OAGG;IACH,OAAO,CAAC,QAAQ;IAwChB;;;;;;OAMG;IACH,SAAS,CAAC,qBAAqB,IAAI,gBAAgB;CASpD"}