@nielspeter/eess 0.2.2 → 0.4.0

package/dist/comment-suppression.d.ts

@@ -0,0 +1,60 @@
+/**
+ * What inline exclusion comments suppressed, said out loud.
+ *
+ * Every other filter in the pipeline discloses itself: `.excluding()` warns on
+ * a pattern that matched nothing (`execute-rule.ts`), diff-aware has
+ * `suppressionNotice`, the baseline has `unmatchedBaselineFinding`. The inline
+ * comment filter dropped violations and returned no count — and after
+ * [ts-archunit bug 0041](https://github.com/nielspeter/ts-archunit/blob/main/bugs/fixed/0041-an-exclusion-comment-is-a-no-op-for-most-conditions.md)
+ * made comments work for every condition family, it became the **widest** filter
+ * in the pipeline and the only silent one.
+ *
+ * `diff-disclosure.ts` states the principle this module inherits: *a run with
+ * every finding suppressed is indistinguishable from a clean run.* That is the
+ * false green ADR-008 exists to prevent, and it is worse here than for
+ * `--changed`, because a comment is written once and then read by nobody. The
+ * flag at least appears in the CI invocation.
+ *
+ * ## Identities, not a total (ADR-009 rule 4)
+ *
+ * The notice names **which rule in which file**, not just how many. A count is a
+ * snapshot: it moves when anything moves and tells the reader nothing about what
+ * to look at. `arch/no-cycles in src/legacy/gateway.ts` is an identity — it
+ * survives a renumbering and it is greppable.
+ *
+ * Capped, and the cap is disclosed rather than silent: a suite with hundreds of
+ * exemptions should not print hundreds of lines on every green run, but
+ * "and 47 more" is a very different statement from printing 3 and implying that
+ * is all of them.
+ *
+ * ## Why module state
+ *
+ * `applyFilters` runs once per rule and has no view of the run. This is the same
+ * shape `edge-coverage.ts` uses for the same reason: accumulate per rule, reset
+ * at the run boundary, render once. The two aggregating surfaces — CLI `check`
+ * and `checkAll` — both already call a reset and read a notice, so this hooks
+ * into a pattern that exists rather than inventing one.
+ *
+ * The per-rule terminals (`.check()` / `.warn()` on a single rule) have no run
+ * boundary, so they do not render it. Same honest limitation `diff-disclosure`
+ * documents and for the same reason: a per-rule count presented as a run total
+ * would be wrong, and 79 lines on a 79-rule suite is not disclosure.
+ */
+/** Start a run. Both aggregating surfaces call this before evaluating. */
+export declare function resetCommentSuppression(): void;
+/** Record that a comment suppressed a finding. Called from `applyFilters`. */
+export declare function recordCommentSuppression(ruleId: string, file: string): void;
+/** Every suppression recorded this run, for `--format json`. */
+export declare function commentSuppressions(): readonly {
+    ruleId: string;
+    file: string;
+}[];
+/**
+ * One or more lines naming what inline comments suppressed, or `undefined` when
+ * nothing was.
+ *
+ * `undefined` rather than `''` so a caller cannot print a blank line by
+ * forgetting to check — both call sites feed this straight to `writeStderr`.
+ */
+export declare function commentSuppressionNotice(): string | undefined;
+//# sourceMappingURL=comment-suppression.d.ts.map

package/dist/comment-suppression.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"comment-suppression.d.ts","sourceRoot":"","sources":["../src/comment-suppression.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AAaH,0EAA0E;AAC1E,wBAAgB,uBAAuB,IAAI,IAAI,CAE9C;AAED,8EAA8E;AAC9E,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAE3E;AAED,gEAAgE;AAChE,wBAAgB,mBAAmB,IAAI,SAAS;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,EAAE,CAEjF;AAED;;;;;;GAMG;AACH,wBAAgB,wBAAwB,IAAI,MAAM,GAAG,SAAS,CA0B7D"}

package/dist/comment-suppression.js

@@ -0,0 +1,89 @@
+/**
+ * What inline exclusion comments suppressed, said out loud.
+ *
+ * Every other filter in the pipeline discloses itself: `.excluding()` warns on
+ * a pattern that matched nothing (`execute-rule.ts`), diff-aware has
+ * `suppressionNotice`, the baseline has `unmatchedBaselineFinding`. The inline
+ * comment filter dropped violations and returned no count — and after
+ * [ts-archunit bug 0041](https://github.com/nielspeter/ts-archunit/blob/main/bugs/fixed/0041-an-exclusion-comment-is-a-no-op-for-most-conditions.md)
+ * made comments work for every condition family, it became the **widest** filter
+ * in the pipeline and the only silent one.
+ *
+ * `diff-disclosure.ts` states the principle this module inherits: *a run with
+ * every finding suppressed is indistinguishable from a clean run.* That is the
+ * false green ADR-008 exists to prevent, and it is worse here than for
+ * `--changed`, because a comment is written once and then read by nobody. The
+ * flag at least appears in the CI invocation.
+ *
+ * ## Identities, not a total (ADR-009 rule 4)
+ *
+ * The notice names **which rule in which file**, not just how many. A count is a
+ * snapshot: it moves when anything moves and tells the reader nothing about what
+ * to look at. `arch/no-cycles in src/legacy/gateway.ts` is an identity — it
+ * survives a renumbering and it is greppable.
+ *
+ * Capped, and the cap is disclosed rather than silent: a suite with hundreds of
+ * exemptions should not print hundreds of lines on every green run, but
+ * "and 47 more" is a very different statement from printing 3 and implying that
+ * is all of them.
+ *
+ * ## Why module state
+ *
+ * `applyFilters` runs once per rule and has no view of the run. This is the same
+ * shape `edge-coverage.ts` uses for the same reason: accumulate per rule, reset
+ * at the run boundary, render once. The two aggregating surfaces — CLI `check`
+ * and `checkAll` — both already call a reset and read a notice, so this hooks
+ * into a pattern that exists rather than inventing one.
+ *
+ * The per-rule terminals (`.check()` / `.warn()` on a single rule) have no run
+ * boundary, so they do not render it. Same honest limitation `diff-disclosure`
+ * documents and for the same reason: a per-rule count presented as a run total
+ * would be wrong, and 79 lines on a 79-rule suite is not disclosure.
+ */
+let suppressions = [];
+/** How many identities the notice lists before summarising the remainder. */
+const LISTED = 5;
+/** Start a run. Both aggregating surfaces call this before evaluating. */
+export function resetCommentSuppression() {
+    suppressions = [];
+}
+/** Record that a comment suppressed a finding. Called from `applyFilters`. */
+export function recordCommentSuppression(ruleId, file) {
+    suppressions.push({ ruleId, file });
+}
+/** Every suppression recorded this run, for `--format json`. */
+export function commentSuppressions() {
+    return suppressions;
+}
+/**
+ * One or more lines naming what inline comments suppressed, or `undefined` when
+ * nothing was.
+ *
+ * `undefined` rather than `''` so a caller cannot print a blank line by
+ * forgetting to check — both call sites feed this straight to `writeStderr`.
+ */
+export function commentSuppressionNotice() {
+    if (suppressions.length === 0)
+        return undefined;
+    const total = suppressions.length;
+    const findings = total === 1 ? 'finding' : 'findings';
+    const head = `[eess] ${String(total)} ${findings} suppressed by inline ` +
+        `// eess-exclude comments. They are exemptions, not passes:`;
+    // Deduplicate by identity so one rule silenced ten times in one file reads as
+    // one line with a count, rather than ten lines that look like ten problems.
+    const byIdentity = new Map();
+    for (const s of suppressions) {
+        const key = `${s.ruleId} in ${s.file === '' ? '(no file)' : s.file}`;
+        byIdentity.set(key, (byIdentity.get(key) ?? 0) + 1);
+    }
+    const entries = [...byIdentity.entries()];
+    const shown = entries.slice(0, LISTED);
+    const lines = shown.map(([key, n]) => `  - ${key}${n > 1 ? ` (${String(n)}×)` : ''}`);
+    // The cap is stated. A silent truncation reads as "that is all of them", which
+    // is the same lie as no disclosure at all.
+    if (entries.length > LISTED) {
+        lines.push(`  - …and ${String(entries.length - LISTED)} more`);
+    }
+    return [head, ...lines].join('\n');
+}
+//# sourceMappingURL=comment-suppression.js.map

package/dist/comment-suppression.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"comment-suppression.js","sourceRoot":"","sources":["../src/comment-suppression.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AAQH,IAAI,YAAY,GAAkB,EAAE,CAAA;AAEpC,6EAA6E;AAC7E,MAAM,MAAM,GAAG,CAAC,CAAA;AAEhB,0EAA0E;AAC1E,MAAM,UAAU,uBAAuB;IACrC,YAAY,GAAG,EAAE,CAAA;AACnB,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,wBAAwB,CAAC,MAAc,EAAE,IAAY;IACnE,YAAY,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAA;AACrC,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,mBAAmB;IACjC,OAAO,YAAY,CAAA;AACrB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,wBAAwB;IACtC,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAA;IAE/C,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAAA;IACjC,MAAM,QAAQ,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAA;IACrD,MAAM,IAAI,GACR,UAAU,MAAM,CAAC,KAAK,CAAC,IAAI,QAAQ,wBAAwB;QAC3D,4DAA4D,CAAA;IAE9D,8EAA8E;IAC9E,4EAA4E;IAC5E,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC5C,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,MAAM,OAAO,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;QACpE,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;IACrD,CAAC;IAED,MAAM,OAAO,GAAG,CAAC,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC,CAAA;IACzC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;IACtC,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IACrF,+EAA+E;IAC/E,2CAA2C;IAC3C,IAAI,OAAO,CAAC,MAAM,GAAG,MAAM,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,YAAY,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,CAAA;IAChE,CAAC;IACD,OAAO,CAAC,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACpC,CAAC"}

package/dist/condition.d.ts

@@ -1,4 +1,5 @@
 import type { ArchViolation } from './violation.js';
+import type { DeclaredGlobs } from './glob-site.js';
 /**
  * Context passed to conditions during evaluation.
  *
@@ -52,5 +53,10 @@ export interface Condition<T> {
      * @returns Violations for elements that don't satisfy the condition
      */
     evaluate(elements: T[], context: ConditionContext): ArchViolation[];
+    /**
+     * The path globs this condition matches against, if any. See
+     * `Predicate.globs` — same contract, stamped with `position: 'condition'`.
+     */
+    readonly globs?: DeclaredGlobs;
 }
 //# sourceMappingURL=condition.d.ts.map

package/dist/condition.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"condition.d.ts","sourceRoot":"","sources":["../src/condition.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAEnD;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,sEAAsE;IACtE,IAAI,EAAE,MAAM,CAAA;IACZ,iDAAiD;IACjD,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,gDAAgD;IAChD,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,2DAA2D;IAC3D,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,iDAAiD;IACjD,IAAI,CAAC,EAAE,MAAM,CAAA;IACb;;;;;;;;;;;;;OAaG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAA;CAC5B;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,SAAS,CAAC,CAAC;IAC1B,+DAA+D;IAC/D,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAE5B;;;;;;OAMG;IACH,QAAQ,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,gBAAgB,GAAG,aAAa,EAAE,CAAA;CACpE"}
+{"version":3,"file":"condition.d.ts","sourceRoot":"","sources":["../src/condition.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AACnD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAEnD;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,sEAAsE;IACtE,IAAI,EAAE,MAAM,CAAA;IACZ,iDAAiD;IACjD,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,gDAAgD;IAChD,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,2DAA2D;IAC3D,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,iDAAiD;IACjD,IAAI,CAAC,EAAE,MAAM,CAAA;IACb;;;;;;;;;;;;;OAaG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAA;CAC5B;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,SAAS,CAAC,CAAC;IAC1B,+DAA+D;IAC/D,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAE5B;;;;;;OAMG;IACH,QAAQ,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,gBAAgB,GAAG,aAAa,EAAE,CAAA;IAEnE;;;OAGG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAA;CAC/B"}

package/dist/correspondence-core.d.ts

@@ -0,0 +1,35 @@
+/**
+ * F2 — the shared set-difference + non-vacuity core.
+ *
+ * Pure and engine-neutral: it compares two key sets by **identity** and reports
+ * the asymmetric differences plus emptiness. It never counts and never decides
+ * policy — the caller chooses which differences are violations (coverage /
+ * orphans / bijection) and how to treat an empty side (non-vacuity).
+ *
+ * Both `correspondence()` (plan 0064+/proposal 017) and `crossLayer`'s
+ * existence check (`haveMatchingCounterpart`) build on this one function, so
+ * the two "every X has a matching Y" engines can never drift — and neither can
+ * silently green on an empty side (ADR-008).
+ */
+/** The identity comparison of two key sets. No counts — sets of keys. */
+export interface CorrespondenceResult {
+    /** Side-A keys with no match in side B — coverage gaps. */
+    readonly missing: readonly string[];
+    /** Side-B keys with no match in side A — orphans. */
+    readonly orphans: readonly string[];
+    /** True when side A contributed zero keys (non-vacuity signal). */
+    readonly aEmpty: boolean;
+    /** True when side B contributed zero keys (non-vacuity signal). */
+    readonly bEmpty: boolean;
+}
+/**
+ * Compare two key sets by identity.
+ *
+ * `missing` = A \ B (every A-key must have a B match for coverage).
+ * `orphans` = B \ A (every B-key must have an A source for no-orphans).
+ * Bijection holds iff both are empty. Duplicate keys within a side collapse
+ * (set semantics); order of `missing`/`orphans` follows first appearance in
+ * the respective input for stable, readable output.
+ */
+export declare function setCorrespondence(aKeys: Iterable<string>, bKeys: Iterable<string>): CorrespondenceResult;
+//# sourceMappingURL=correspondence-core.d.ts.map

package/dist/correspondence-core.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"correspondence-core.d.ts","sourceRoot":"","sources":["../src/correspondence-core.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,yEAAyE;AACzE,MAAM,WAAW,oBAAoB;IACnC,2DAA2D;IAC3D,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;IACnC,qDAAqD;IACrD,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;IACnC,mEAAmE;IACnE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IACxB,mEAAmE;IACnE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;CACzB;AAED;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,EACvB,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,GACtB,oBAAoB,CAetB"}

package/dist/correspondence-core.js

@@ -0,0 +1,38 @@
+/**
+ * F2 — the shared set-difference + non-vacuity core.
+ *
+ * Pure and engine-neutral: it compares two key sets by **identity** and reports
+ * the asymmetric differences plus emptiness. It never counts and never decides
+ * policy — the caller chooses which differences are violations (coverage /
+ * orphans / bijection) and how to treat an empty side (non-vacuity).
+ *
+ * Both `correspondence()` (plan 0064+/proposal 017) and `crossLayer`'s
+ * existence check (`haveMatchingCounterpart`) build on this one function, so
+ * the two "every X has a matching Y" engines can never drift — and neither can
+ * silently green on an empty side (ADR-008).
+ */
+/**
+ * Compare two key sets by identity.
+ *
+ * `missing` = A \ B (every A-key must have a B match for coverage).
+ * `orphans` = B \ A (every B-key must have an A source for no-orphans).
+ * Bijection holds iff both are empty. Duplicate keys within a side collapse
+ * (set semantics); order of `missing`/`orphans` follows first appearance in
+ * the respective input for stable, readable output.
+ */
+export function setCorrespondence(aKeys, bKeys) {
+    const a = new Set(aKeys);
+    const b = new Set(bKeys);
+    const missing = [];
+    for (const key of a) {
+        if (!b.has(key))
+            missing.push(key);
+    }
+    const orphans = [];
+    for (const key of b) {
+        if (!a.has(key))
+            orphans.push(key);
+    }
+    return { missing, orphans, aEmpty: a.size === 0, bEmpty: b.size === 0 };
+}
+//# sourceMappingURL=correspondence-core.js.map

package/dist/correspondence-core.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"correspondence-core.js","sourceRoot":"","sources":["../src/correspondence-core.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAcH;;;;;;;;GAQG;AACH,MAAM,UAAU,iBAAiB,CAC/B,KAAuB,EACvB,KAAuB;IAEvB,MAAM,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAA;IACxB,MAAM,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAA;IAExB,MAAM,OAAO,GAAa,EAAE,CAAA;IAC5B,KAAK,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;QACpB,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACpC,CAAC;IAED,MAAM,OAAO,GAAa,EAAE,CAAA;IAC5B,KAAK,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;QACpB,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACpC,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,KAAK,CAAC,EAAE,CAAA;AACzE,CAAC"}

package/dist/correspondence.d.ts

@@ -1,5 +1,4 @@
-import type { ArchViolation } from './violation.js';
-import { TerminalBuilder } from './terminal-builder.js';
+import { TerminalBuilder, type CollectResult } from './terminal-builder.js';
 /** How to identify an element for a two-sided violation message. */
 export interface ElementInfo {
     readonly name: string;
@@ -65,13 +64,36 @@ export declare class CorrespondenceBuilder<L, R> extends TerminalBuilder {
     should(): this;
     /** Chain another correspondence check (AND). */
     andShould(): this;
-    /** Every element on the named side(s) has a counterpart on the other. */
+    /**
+     * Every element on the named side(s) has a counterpart on the other. An
+     * absence assertion — "no element lacks a counterpart" — so it's marked
+     * cardinality-exempt (see `assertsCardinality()`).
+     */
     beComplete(opts?: {
         direction?: Direction;
     }): this;
-    /** Related endpoints on one side have matching relations on the other. */
+    /**
+     * Related endpoints on one side have matching relations on the other. Also
+     * an absence assertion — "no matched pair disagrees" — cardinality-exempt
+     * for the same reason `beComplete()` is.
+     */
     preserveRelations(spec: RelationSpec<L, R>): this;
-    protected collectViolations(): ArchViolation[];
+    protected collectViolations(): CollectResult;
+    /**
+     * ADR-010: mirrors `RuleBuilder.assertsCardinality()` — per-check, not a
+     * blanket class-wide exemption. `beComplete()`/`preserveRelations()` mark
+     * the function they push via `marksAssertsCardinality()`, the same
+     * unforgeable registry `.notExist()` uses, because both are absence
+     * assertions ("no element lacks a counterpart", "no matched pair
+     * disagrees") that can never produce a violation from an empty side — an
+     * empty selection here is the correctly computed input (e.g. release-gate's
+     * "no packages changed this diff" on a clean tree), not a broken instrument.
+     * `.every()`, not `.some()`, for the same reason `RuleBuilder` uses it: a
+     * future check type that isn't an absence assertion must not silently
+     * inherit this exemption just because it's chained alongside one that is.
+     * An empty `_checks` list is not exempt — nothing was asserted yet.
+     */
+    protected assertsCardinality(): boolean;
 }
 /** Bind two selections into a correspondence. */
 export declare function correspondence<L, R>(opts: CorrespondenceOptions<L, R>): CorrespondenceBuilder<L, R>;

package/dist/correspondence.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"correspondence.d.ts","sourceRoot":"","sources":["../src/correspondence.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AACnD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAGvD,oEAAoE;AACpE,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CACvB;AAED;;;GAGG;AACH,MAAM,WAAW,SAAS,CAAC,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,CAAA;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,WAAW,CAAA;CAC/C;AAED,MAAM,MAAM,SAAS,GAAG,eAAe,GAAG,eAAe,GAAG,MAAM,CAAA;AAElE,2EAA2E;AAC3E,MAAM,WAAW,YAAY,CAAC,CAAC,EAAE,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,SAAS,MAAM,EAAE,CAAA;IAChD,QAAQ,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,SAAS,MAAM,EAAE,CAAA;IACjD,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAA;CAC/B;AAED;;;;;;;;;;GAUG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,IAClB,CAAC,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAA;CAAE,CAAA;AAEzE,MAAM,WAAW,qBAAqB,CAAC,CAAC,EAAE,CAAC;IACzC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAA;IAC3B,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,CAAA;IAC5B,yFAAyF;IACzF,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC5B,mFAAmF;IACnF,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,OAAO,CAAA;IACjD,mEAAmE;IACnE,QAAQ,CAAC,OAAO,CAAC,EAAE;QACjB,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,MAAM,CAAA;QAClE,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,MAAM,CAAA;KACnE,CAAA;CACF;AAgBD;;;;;;GAMG;AACH,qBAAa,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAE,SAAQ,eAAe;IAGlD,OAAO,CAAC,QAAQ,CAAC,IAAI;IAFjC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAoB;gBAEf,IAAI,EAAE,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAC;IAI9D,2DAA2D;IAC3D,MAAM,IAAI,IAAI;IAId,gDAAgD;IAChD,SAAS,IAAI,IAAI;IAIjB,yEAAyE;IACzE,UAAU,CAAC,IAAI,GAAE;QAAE,SAAS,CAAC,EAAE,SAAS,CAAA;KAAO,GAAG,IAAI;IAKtD,0EAA0E;IAC1E,iBAAiB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI;IAKjD,SAAS,CAAC,iBAAiB,IAAI,aAAa,EAAE;CAI/C;AAED,iDAAiD;AACjD,wBAAgB,cAAc,CAAC,CAAC,EAAE,CAAC,EACjC,IAAI,EAAE,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAC,GAChC,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAC,CAE7B"}
+{"version":3,"file":"correspondence.d.ts","sourceRoot":"","sources":["../src/correspondence.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,KAAK,aAAa,EAAE,MAAM,uBAAuB,CAAA;AAO3E,oEAAoE;AACpE,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CACvB;AAED;;;GAGG;AACH,MAAM,WAAW,SAAS,CAAC,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,CAAA;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,WAAW,CAAA;CAC/C;AAED,MAAM,MAAM,SAAS,GAAG,eAAe,GAAG,eAAe,GAAG,MAAM,CAAA;AAElE,2EAA2E;AAC3E,MAAM,WAAW,YAAY,CAAC,CAAC,EAAE,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,SAAS,MAAM,EAAE,CAAA;IAChD,QAAQ,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,SAAS,MAAM,EAAE,CAAA;IACjD,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAA;CAC/B;AAED;;;;;;;;;;GAUG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,IAClB,CAAC,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAA;CAAE,CAAA;AAEzE,MAAM,WAAW,qBAAqB,CAAC,CAAC,EAAE,CAAC;IACzC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAA;IAC3B,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,CAAA;IAC5B,yFAAyF;IACzF,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC5B,mFAAmF;IACnF,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,OAAO,CAAA;IACjD,mEAAmE;IACnE,QAAQ,CAAC,OAAO,CAAC,EAAE;QACjB,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,MAAM,CAAA;QAClE,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,MAAM,CAAA;KACnE,CAAA;CACF;AAgBD;;;;;;GAMG;AACH,qBAAa,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAE,SAAQ,eAAe;IAGlD,OAAO,CAAC,QAAQ,CAAC,IAAI;IAFjC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAoB;gBAEf,IAAI,EAAE,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAC;IAI9D,2DAA2D;IAC3D,MAAM,IAAI,IAAI;IAId,gDAAgD;IAChD,SAAS,IAAI,IAAI;IAIjB;;;;OAIG;IACH,UAAU,CAAC,IAAI,GAAE;QAAE,SAAS,CAAC,EAAE,SAAS,CAAA;KAAO,GAAG,IAAI;IAStD;;;;OAIG;IACH,iBAAiB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI;IASjD,SAAS,CAAC,iBAAiB,IAAI,aAAa;IAW5C;;;;;;;;;;;;;OAaG;cACgB,kBAAkB,IAAI,OAAO;CAIjD;AAED,iDAAiD;AACjD,wBAAgB,cAAc,CAAC,CAAC,EAAE,CAAC,EACjC,IAAI,EAAE,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAC,GAChC,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAC,CAE7B"}

package/dist/correspondence.js

@@ -1,5 +1,6 @@
 import { TerminalBuilder } from './terminal-builder.js';
 import { matchSelections } from './matching.js';
+import { marksAssertsCardinality, assertsCardinality as checkAssertsCardinality, } from './cardinality.js';
 function violationFor(info, message, ruleId) {
     return {
         rule: 'correspondence',
@@ -33,19 +34,52 @@ export class CorrespondenceBuilder extends TerminalBuilder {
     andShould() {
         return this;
     }
-    /** Every element on the named side(s) has a counterpart on the other. */
+    /**
+     * Every element on the named side(s) has a counterpart on the other. An
+     * absence assertion — "no element lacks a counterpart" — so it's marked
+     * cardinality-exempt (see `assertsCardinality()`).
+     */
     beComplete(opts = {}) {
-        this._checks.push((o, ruleId) => completeness(o, opts.direction ?? 'both', ruleId));
+        this._checks.push(marksAssertsCardinality((o, ruleId) => completeness(o, opts.direction ?? 'both', ruleId)));
         return this;
     }
-    /** Related endpoints on one side have matching relations on the other. */
+    /**
+     * Related endpoints on one side have matching relations on the other. Also
+     * an absence assertion — "no matched pair disagrees" — cardinality-exempt
+     * for the same reason `beComplete()` is.
+     */
     preserveRelations(spec) {
-        this._checks.push((o, ruleId) => relations(o, spec, ruleId));
+        this._checks.push(marksAssertsCardinality((o, ruleId) => relations(o, spec, ruleId)));
         return this;
     }
     collectViolations() {
         const ruleId = this._metadata?.id;
-        return this._checks.flatMap((check) => check(this.opts, ruleId));
+        const violations = this._checks.flatMap((check) => check(this.opts, ruleId));
+        // ADR-010: the unit is the key sets of both sides — a correspondence over
+        // an empty left AND an empty right examined nothing, regardless of how
+        // many checks were chained; one side alone being empty is still real
+        // examination of the other.
+        const examined = this.opts.left.elements.length + this.opts.right.elements.length;
+        return { violations, examined };
+    }
+    /**
+     * ADR-010: mirrors `RuleBuilder.assertsCardinality()` — per-check, not a
+     * blanket class-wide exemption. `beComplete()`/`preserveRelations()` mark
+     * the function they push via `marksAssertsCardinality()`, the same
+     * unforgeable registry `.notExist()` uses, because both are absence
+     * assertions ("no element lacks a counterpart", "no matched pair
+     * disagrees") that can never produce a violation from an empty side — an
+     * empty selection here is the correctly computed input (e.g. release-gate's
+     * "no packages changed this diff" on a clean tree), not a broken instrument.
+     * `.every()`, not `.some()`, for the same reason `RuleBuilder` uses it: a
+     * future check type that isn't an absence assertion must not silently
+     * inherit this exemption just because it's chained alongside one that is.
+     * An empty `_checks` list is not exempt — nothing was asserted yet.
+     */
+    assertsCardinality() {
+        if (this._checks.length === 0)
+            return false;
+        return this._checks.every((check) => checkAssertsCardinality(check));
     }
 }
 /** Bind two selections into a correspondence. */

package/dist/correspondence.js.map

@@ -1 +1 @@
-{"version":3,"file":"correspondence.js","sourceRoot":"","sources":["../src/correspondence.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,eAAe,EAAqB,MAAM,eAAe,CAAA;AAyDlE,SAAS,YAAY,CAAC,IAAiB,EAAE,OAAe,EAAE,MAAe;IACvE,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,MAAM;QACN,OAAO,EAAE,IAAI,CAAC,IAAI;QAClB,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,aAAa;QAChC,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC;QACpB,OAAO;QACP,SAAS,EAAE,SAAS;KACrB,CAAA;AACH,CAAC;AAID;;;;;;GAMG;AACH,MAAM,OAAO,qBAA4B,SAAQ,eAAe;IAGjC;IAFZ,OAAO,GAAkB,EAAE,CAAA;IAE5C,YAA6B,IAAiC;QAC5D,KAAK,EAAE,CAAA;QADoB,SAAI,GAAJ,IAAI,CAA6B;IAE9D,CAAC;IAED,2DAA2D;IAC3D,MAAM;QACJ,OAAO,IAAI,CAAA;IACb,CAAC;IAED,gDAAgD;IAChD,SAAS;QACP,OAAO,IAAI,CAAA;IACb,CAAC;IAED,yEAAyE;IACzE,UAAU,CAAC,OAAkC,EAAE;QAC7C,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,IAAI,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;QACnF,OAAO,IAAI,CAAA;IACb,CAAC;IAED,0EAA0E;IAC1E,iBAAiB,CAAC,IAAwB;QACxC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAA;QAC5D,OAAO,IAAI,CAAA;IACb,CAAC;IAES,iBAAiB;QACzB,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,EAAE,CAAA;QACjC,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAA;IAClE,CAAC;CACF;AAED,iDAAiD;AACjD,MAAM,UAAU,cAAc,CAC5B,IAAiC;IAEjC,OAAO,IAAI,qBAAqB,CAAC,IAAI,CAAC,CAAA;AACxC,CAAC;AAED,6EAA6E;AAE7E,SAAS,YAAY,CAAO,CAA8B;IACxD,IAAI,CAAC,CAAC,OAAO;QAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAA;IAC5C,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;IAChC,2EAA2E;IAC3E,wEAAwE;IACxE,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO;YACL,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI;YACvC,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI;SAC1C,CAAA;IACH,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,UAAU,EAAE,CAAC;QAChC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAA;IAC5C,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,KAAK,EAAE,CAAA;AACvD,CAAC;AAED,SAAS,YAAY,CACnB,CAA8B,EAC9B,SAAoB,EACpB,MAAe;IAEf,MAAM,GAAG,GAAoB,EAAE,CAAA;IAC/B,MAAM,WAAW,GAAG,CAAC,CAAC,OAAO,EAAE,IAAI,CAAA;IACnC,MAAM,YAAY,GAAG,CAAC,CAAC,OAAO,EAAE,KAAK,CAAA;IACrC,MAAM,MAAM,GAAG,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;IAElF,IAAI,SAAS,KAAK,eAAe,EAAE,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;YAC/B,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,OAAO,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;YACpE,GAAG,CAAC,IAAI,CACN,YAAY,CACV,IAAI,EACJ,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,IAAI,qBAAqB,CAAC,CAAC,KAAK,CAAC,KAAK,GAAG,KAAK,EAAE,EACzE,MAAM,CACP,CACF,CAAA;QACH,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;YAC/B,GAAG,CAAC,IAAI,CACN,YAAY,CACV,IAAI,EACJ,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,IAAI,sBAAsB,CAAC,CAAC,KAAK,CAAC,KAAK,qCAAqC,EACrG,MAAM,CACP,CACF,CAAA;QACH,CAAC;IACH,CAAC;IACD,IAAI,SAAS,KAAK,eAAe,EAAE,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;YACtC,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;YAChC,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,OAAO,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;YACrE,GAAG,CAAC,IAAI,CACN,YAAY,CACV,IAAI,EACJ,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC,IAAI,qBAAqB,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,EAAE,EACzE,MAAM,CACP,CACF,CAAA;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,SAAS,SAAS,CAChB,CAA8B,EAC9B,IAAwB,EACxB,MAAe;IAEf,MAAM,GAAG,GAAoB,EAAE,CAAA;IAC/B,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,MAAM,CAAA;IAC1C,MAAM,MAAM,GAAG,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;IAElF,mEAAmE;IACnE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAA;IAChC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;QAC/B,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;;YACvB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAA;IACpC,CAAC;IAED,IAAI,SAAS,KAAK,eAAe,EAAE,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YAChC,MAAM,YAAY,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;YACxC,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAQ;YACvC,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;YAC1E,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;YAC/B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/B,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC7B,GAAG,CAAC,IAAI,CACN,YAAY,CACV,IAAI,EACJ,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,IAAI,iBAAiB,GAAG,aAAa,CAAC,CAAC,KAAK,CAAC,KAAK,uBAAuB,EAClG,MAAM,CACP,CACF,CAAA;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC"}
+{"version":3,"file":"correspondence.js","sourceRoot":"","sources":["../src/correspondence.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAsB,MAAM,uBAAuB,CAAA;AAC3E,OAAO,EAAE,eAAe,EAAqB,MAAM,eAAe,CAAA;AAClE,OAAO,EACL,uBAAuB,EACvB,kBAAkB,IAAI,uBAAuB,GAC9C,MAAM,kBAAkB,CAAA;AAyDzB,SAAS,YAAY,CAAC,IAAiB,EAAE,OAAe,EAAE,MAAe;IACvE,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,MAAM;QACN,OAAO,EAAE,IAAI,CAAC,IAAI;QAClB,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,aAAa;QAChC,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC;QACpB,OAAO;QACP,SAAS,EAAE,SAAS;KACrB,CAAA;AACH,CAAC;AAID;;;;;;GAMG;AACH,MAAM,OAAO,qBAA4B,SAAQ,eAAe;IAGjC;IAFZ,OAAO,GAAkB,EAAE,CAAA;IAE5C,YAA6B,IAAiC;QAC5D,KAAK,EAAE,CAAA;QADoB,SAAI,GAAJ,IAAI,CAA6B;IAE9D,CAAC;IAED,2DAA2D;IAC3D,MAAM;QACJ,OAAO,IAAI,CAAA;IACb,CAAC;IAED,gDAAgD;IAChD,SAAS;QACP,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;;;OAIG;IACH,UAAU,CAAC,OAAkC,EAAE;QAC7C,IAAI,CAAC,OAAO,CAAC,IAAI,CACf,uBAAuB,CAAC,CAAC,CAA8B,EAAE,MAAe,EAAE,EAAE,CAC1E,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,IAAI,MAAM,EAAE,MAAM,CAAC,CAClD,CACF,CAAA;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;;;OAIG;IACH,iBAAiB,CAAC,IAAwB;QACxC,IAAI,CAAC,OAAO,CAAC,IAAI,CACf,uBAAuB,CAAC,CAAC,CAA8B,EAAE,MAAe,EAAE,EAAE,CAC1E,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAC3B,CACF,CAAA;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IAES,iBAAiB;QACzB,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,EAAE,CAAA;QACjC,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAA;QAC5E,0EAA0E;QAC1E,uEAAuE;QACvE,qEAAqE;QACrE,4BAA4B;QAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAA;QACjF,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAA;IACjC,CAAC;IAED;;;;;;;;;;;;;OAaG;IACgB,kBAAkB;QACnC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAA;QAC3C,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,uBAAuB,CAAC,KAAK,CAAC,CAAC,CAAA;IACtE,CAAC;CACF;AAED,iDAAiD;AACjD,MAAM,UAAU,cAAc,CAC5B,IAAiC;IAEjC,OAAO,IAAI,qBAAqB,CAAC,IAAI,CAAC,CAAA;AACxC,CAAC;AAED,6EAA6E;AAE7E,SAAS,YAAY,CAAO,CAA8B;IACxD,IAAI,CAAC,CAAC,OAAO;QAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAA;IAC5C,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;IAChC,2EAA2E;IAC3E,wEAAwE;IACxE,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO;YACL,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI;YACvC,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI;SAC1C,CAAA;IACH,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,UAAU,EAAE,CAAC;QAChC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAA;IAC5C,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,KAAK,EAAE,CAAA;AACvD,CAAC;AAED,SAAS,YAAY,CACnB,CAA8B,EAC9B,SAAoB,EACpB,MAAe;IAEf,MAAM,GAAG,GAAoB,EAAE,CAAA;IAC/B,MAAM,WAAW,GAAG,CAAC,CAAC,OAAO,EAAE,IAAI,CAAA;IACnC,MAAM,YAAY,GAAG,CAAC,CAAC,OAAO,EAAE,KAAK,CAAA;IACrC,MAAM,MAAM,GAAG,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;IAElF,IAAI,SAAS,KAAK,eAAe,EAAE,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;YAC/B,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,OAAO,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;YACpE,GAAG,CAAC,IAAI,CACN,YAAY,CACV,IAAI,EACJ,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,IAAI,qBAAqB,CAAC,CAAC,KAAK,CAAC,KAAK,GAAG,KAAK,EAAE,EACzE,MAAM,CACP,CACF,CAAA;QACH,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;YAC/B,GAAG,CAAC,IAAI,CACN,YAAY,CACV,IAAI,EACJ,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,IAAI,sBAAsB,CAAC,CAAC,KAAK,CAAC,KAAK,qCAAqC,EACrG,MAAM,CACP,CACF,CAAA;QACH,CAAC;IACH,CAAC;IACD,IAAI,SAAS,KAAK,eAAe,EAAE,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;YACtC,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;YAChC,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,OAAO,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;YACrE,GAAG,CAAC,IAAI,CACN,YAAY,CACV,IAAI,EACJ,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC,IAAI,qBAAqB,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,EAAE,EACzE,MAAM,CACP,CACF,CAAA;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,SAAS,SAAS,CAChB,CAA8B,EAC9B,IAAwB,EACxB,MAAe;IAEf,MAAM,GAAG,GAAoB,EAAE,CAAA;IAC/B,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,MAAM,CAAA;IAC1C,MAAM,MAAM,GAAG,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;IAElF,mEAAmE;IACnE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAA;IAChC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;QAC/B,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;;YACvB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAA;IACpC,CAAC;IAED,IAAI,SAAS,KAAK,eAAe,EAAE,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YAChC,MAAM,YAAY,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;YACxC,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAQ;YACvC,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;YAC1E,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;YAC/B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/B,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC7B,GAAG,CAAC,IAAI,CACN,YAAY,CACV,IAAI,EACJ,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,IAAI,iBAAiB,GAAG,aAAa,CAAC,CAAC,KAAK,CAAC,KAAK,uBAAuB,EAClG,MAAM,CACP,CACF,CAAA;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC"}

package/dist/dedupe-config-findings.d.ts

@@ -0,0 +1,56 @@
+/**
+ * One option, one finding — plan 0074, deciding 0069's appendix item 4.
+ *
+ * A preset generates rules combinatorially. `strictBoundaries` emits one
+ * `shared-isolation` rule per (shared glob × boundary folder) pair, so one
+ * wrong character in one option produces a finding per pair — same id, same
+ * glob, same cause, same remedy.
+ *
+ * **Measured on this repository**, `strictBoundaries({ folders: '**\/src/*',
+ * shared: ['**\/src/not-built-yet/**'] })`: 84 rules, **83 configuration
+ * findings, 2 distinct messages**. (0069's appendix recorded 38 for the same
+ * shape; the repo has grown more boundary folders since.) Every one is *true*,
+ * which is why exempting them is wrong — bug 0018 is precisely a preset
+ * silently enforcing nothing. But a report shaped like that makes a one-line
+ * fix look like an 83-line disaster, and it contradicts this project's own rule
+ * that findings are **identities, never totals**.
+ *
+ * So the fan-out collapses to the identity that matches the edit: the option
+ * the user actually wrote. The count survives as *context on that finding*
+ * rather than as 83 rows — which is not the snapshot ADR-009 rule 4 bars,
+ * because it is attached to a named identity rather than standing in for one.
+ *
+ * ## What the key is, and why each part is in it
+ *
+ * `(rule file, rule id, offending glob)`.
+ *
+ * - **The glob, not the message.** 0069's appendix is explicit: two different
+ *   `shared` entries that both match nothing are **two findings, because they
+ *   are two edits**. Keying on the message would merge them whenever the
+ *   wording happened to coincide, and split them whenever it did not.
+ * - **The rule id**, so `shared-discovery` and `shared-isolation` stay
+ *   distinct: they are different faults about the same glob and have different
+ *   remedies.
+ * - **The rule file.** Two rule files that instantiate the same preset with the
+ *   same bad glob are two edits in two places, and collapsing them would hide
+ *   one. Empty in a test-file context, where every rule shares one origin, so
+ *   the key degrades to `(id, glob)` there rather than merging across files
+ *   that were never distinguished.
+ *
+ * ## What is deliberately NOT deduplicated
+ *
+ * Ordinary violations. Each names a distinct element at a distinct position and
+ * every one is a separate edit — collapsing them is the snapshot rule 4 bars,
+ * and it would hide real work. Only **configuration findings** fan out from a
+ * single authored mistake, and `bypassFilters` is exactly the flag that marks
+ * one.
+ */
+import type { ArchViolation } from './violation.js';
+/**
+ * Collapse each configuration finding that a preset fanned out.
+ *
+ * Order-preserving, keeping the **first** occurrence, so the report reads in
+ * the order the rules were declared rather than in hash order.
+ */
+export declare function dedupeConfigFindings(violations: readonly ArchViolation[]): ArchViolation[];
+//# sourceMappingURL=dedupe-config-findings.d.ts.map

package/dist/dedupe-config-findings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dedupe-config-findings.d.ts","sourceRoot":"","sources":["../src/dedupe-config-findings.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AACH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAUnD;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,GAAG,aAAa,EAAE,CAsC1F"}

package/dist/dedupe-config-findings.js

@@ -0,0 +1,74 @@
+/** How the surviving finding states the fan-out it stands for. */
+function affectedNote(count) {
+    return (` This one option generated ${String(count)} rules that cannot enforce anything; they are ` +
+        `not listed separately because they are one edit.`);
+}
+/**
+ * Collapse each configuration finding that a preset fanned out.
+ *
+ * Order-preserving, keeping the **first** occurrence, so the report reads in
+ * the order the rules were declared rather than in hash order.
+ */
+export function dedupeConfigFindings(violations) {
+    // Count first, then emit. A single pass that appends the note on first sight
+    // cannot know the total yet, and appending it on the last sight would reorder
+    // the report.
+    const counts = new Map();
+    for (const violation of violations) {
+        const key = keyFor(violation);
+        if (key === undefined)
+            continue;
+        counts.set(key, (counts.get(key) ?? 0) + 1);
+    }
+    const emitted = new Set();
+    const result = [];
+    for (const violation of violations) {
+        const key = keyFor(violation);
+        if (key === undefined) {
+            result.push(violation);
+            continue;
+        }
+        if (emitted.has(key))
+            continue;
+        emitted.add(key);
+        const total = counts.get(key) ?? 1;
+        if (total === 1) {
+            result.push(violation);
+            continue;
+        }
+        // The note goes on `message` AND `suggestion`. They are separate fields with
+        // separate consumers — the terminal prints `Fix:` from `suggestion`, and
+        // `--format json` carries both — and a reader who sees only one of them
+        // otherwise learns a different number of affected rules from each.
+        result.push({
+            ...violation,
+            message: violation.message + affectedNote(total),
+            suggestion: violation.suggestion === undefined ? undefined : violation.suggestion + affectedNote(total),
+        });
+    }
+    return result;
+}
+/**
+ * The dedupe key, or `undefined` for a finding that must never be collapsed.
+ *
+ * `undefined` for anything that is not a configuration finding, and for a
+ * configuration finding with no `element` to key on — a missing key must mean
+ * "keep it", never "merge everything that lacks one".
+ */
+function keyFor(violation) {
+    if (violation.bypassFilters !== true)
+        return undefined;
+    const identity = violation.ruleId ?? violation.rule;
+    // `'unnamed'` is `TerminalBuilder.describeRule()`'s SENTINEL, not an identity.
+    // A family that never overrides it gives every one of its rules the same key,
+    // so distinct rules merged and the survivor claimed they were "one edit" —
+    // measured on three different `duplicateBodies` detectors in plan 0099. A
+    // missing key must mean "keep it", never "merge everything that lacks one",
+    // which is the rule the empty-string guard beside this already follows.
+    if (identity === '' || identity === 'unnamed')
+        return undefined;
+    if (violation.element === '' || violation.element === 'unnamed')
+        return undefined;
+    return `${violation.file} ${identity} ${violation.element}`;
+}
+//# sourceMappingURL=dedupe-config-findings.js.map

package/dist/dedupe-config-findings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dedupe-config-findings.js","sourceRoot":"","sources":["../src/dedupe-config-findings.ts"],"names":[],"mappings":"AAiDA,kEAAkE;AAClE,SAAS,YAAY,CAAC,KAAa;IACjC,OAAO,CACL,8BAA8B,MAAM,CAAC,KAAK,CAAC,gDAAgD;QAC3F,kDAAkD,CACnD,CAAA;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,UAAoC;IACvE,6EAA6E;IAC7E,8EAA8E;IAC9E,cAAc;IACd,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAA;IACxC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,CAAA;QAC7B,IAAI,GAAG,KAAK,SAAS;YAAE,SAAQ;QAC/B,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;IAC7C,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;IACjC,MAAM,MAAM,GAAoB,EAAE,CAAA;IAClC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,CAAA;QAC7B,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;YACtB,SAAQ;QACV,CAAC;QACD,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAQ;QAC9B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAChB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QAClC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAChB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;YACtB,SAAQ;QACV,CAAC;QACD,6EAA6E;QAC7E,yEAAyE;QACzE,wEAAwE;QACxE,mEAAmE;QACnE,MAAM,CAAC,IAAI,CAAC;YACV,GAAG,SAAS;YACZ,OAAO,EAAE,SAAS,CAAC,OAAO,GAAG,YAAY,CAAC,KAAK,CAAC;YAChD,UAAU,EACR,SAAS,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,UAAU,GAAG,YAAY,CAAC,KAAK,CAAC;SAC9F,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED;;;;;;GAMG;AACH,SAAS,MAAM,CAAC,SAAwB;IACtC,IAAI,SAAS,CAAC,aAAa,KAAK,IAAI;QAAE,OAAO,SAAS,CAAA;IACtD,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,IAAI,SAAS,CAAC,IAAI,CAAA;IACnD,+EAA+E;IAC/E,8EAA8E;IAC9E,2EAA2E;IAC3E,0EAA0E;IAC1E,4EAA4E;IAC5E,wEAAwE;IACxE,IAAI,QAAQ,KAAK,EAAE,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IAC/D,IAAI,SAAS,CAAC,OAAO,KAAK,EAAE,IAAI,SAAS,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IACjF,OAAO,GAAG,SAAS,CAAC,IAAI,IAAI,QAAQ,IAAI,SAAS,CAAC,OAAO,EAAE,CAAA;AAC7D,CAAC"}

package/dist/define.d.ts

@@ -1,4 +1,5 @@
 import type { Predicate } from './predicate.js';
+import type { DeclaredGlobs } from './glob-site.js';
 import type { Condition, ConditionContext } from './condition.js';
 import type { ArchViolation } from './violation.js';
 /**
@@ -15,8 +16,40 @@ import type { ArchViolation } from './violation.js';
  *
  * classes(p).that().satisfy(isAbstract).should().beExported().check()
  * ```
+ *
+ * ## Declaring a glob
+ *
+ * If the predicate matches paths against a glob, pass it as `globs` — otherwise
+ * `doctor` cannot see it, and a typo'd glob narrows the selection to nothing
+ * while reporting a clean bill of health. This is a **selector**-position glob,
+ * the one position that is acted on today, which is why the omission was bug
+ * 0030's higher-severity half.
+ *
+ * @example
+ * ```ts
+ * const inGeneratedFolder = definePredicate<SourceFile>(
+ *   "reside in '**\/generated/**'",
+ *   (file) => picomatch('**\/generated/**')(file.getFilePath()),
+ *   globNode({ glob: '**\/generated/**', kind: 'file-path' }),
+ * )
+ * ```
+ *
+ * The `kind` must say what the glob is really matched against, because it
+ * selects which paths the glob is checked for satisfiability:
+ *
+ * - `file-path` — an **absolute** file path. Anchor the glob (`'**\/src/**'`,
+ *   not `'src/**'`), or it matches nothing.
+ * - `parent-dir` — the immediate parent directory of a file.
+ * - `import-target` — a resolved module path **or a bare specifier**.
+ *   Deliberately has no path universe, so `'fastify'` is never reported dead.
+ * - `specifier` / `literal` — a string in the source rather than a path.
+ *
+ * A wrong `kind` is believed: declaring a bare specifier as `file-path` earns a
+ * false dead-glob report, and declaring a real path as `import-target` silently
+ * exempts it from checking. When unsure, the honest choice is to declare
+ * nothing — the same position as before this parameter existed.
  */
-export declare function definePredicate<T>(description: string, test: (element: T) => boolean): Predicate<T>;
+export declare function definePredicate<T>(description: string, test: (element: T) => boolean, globs?: DeclaredGlobs): Predicate<T>;
 /**
  * Create a custom condition for use in `.should().satisfy()` chains.
  *
@@ -36,6 +69,15 @@ export declare function definePredicate<T>(description: string, test: (element:
  *
  * classes(p).that().extend('Base').should().satisfy(useSharedHelper).check()
  * ```
+ *
+ * ## Declaring a glob
+ *
+ * As with `definePredicate`, pass `globs` if the condition matches paths against
+ * one — see that function for the `kind` values and what a wrong one costs. The
+ * difference is what happens next: a **condition**-position glob is deliberately
+ * *not* reported when it matches nothing, because a denylist glob matching
+ * nothing is indistinguishable from a ban being respected. Declaring it makes it
+ * visible to `globs()` and `explain`; it does not make it a finding.
  */
-export declare function defineCondition<T>(description: string, evaluate: (elements: T[], context: ConditionContext) => ArchViolation[]): Condition<T>;
+export declare function defineCondition<T>(description: string, evaluate: (elements: T[], context: ConditionContext) => ArchViolation[], globs?: DeclaredGlobs): Condition<T>;
 //# sourceMappingURL=define.d.ts.map

package/dist/define.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"define.d.ts","sourceRoot":"","sources":["../src/define.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;AAEnD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAC/B,WAAW,EAAE,MAAM,EACnB,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,OAAO,GAC5B,SAAS,CAAC,CAAC,CAAC,CAEd;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAC/B,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,gBAAgB,KAAK,aAAa,EAAE,GACtE,SAAS,CAAC,CAAC,CAAC,CAEd"}
+{"version":3,"file":"define.d.ts","sourceRoot":"","sources":["../src/define.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC/C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AACnD,OAAO,KAAK,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAA;AACjE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAEnD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAC/B,WAAW,EAAE,MAAM,EACnB,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,OAAO,EAC7B,KAAK,CAAC,EAAE,aAAa,GACpB,SAAS,CAAC,CAAC,CAAC,CAEd;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAC/B,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,gBAAgB,KAAK,aAAa,EAAE,EACvE,KAAK,CAAC,EAAE,aAAa,GACpB,SAAS,CAAC,CAAC,CAAC,CAEd"}