@nielspeter/eess 0.2.2 → 0.5.0

package/dist/correspondence.js

@@ -1,5 +1,7 @@
+import { collectResult } from './collect-result.js';
 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 +35,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 collectResult(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. */
@@ -124,4 +159,38 @@ function relations(o, spec, ruleId) {
     }
     return out;
 }
+/**
+ * The elements a rule's predicates admit, as a `Selection`.
+ *
+ * A free function over the elements and the predicates rather than a method,
+ * for the same reason as `recordExclusions`: the two builders that need it sit
+ * in incompatible hierarchies — `eess-ts` has three levels where the kernel has
+ * two — so there is no common base to hold it. The two copies were
+ * byte-identical.
+ */
+export function selectMatching(elements, predicates, opts) {
+    return {
+        elements: matchingElements(elements, predicates),
+        label: opts.label,
+        identify: opts.identify,
+    };
+}
+/**
+ * The elements every predicate admits.
+ *
+ * The same conjunction as `selectMatching`, without a `Selection` around it —
+ * split out because `eess-ts`'s two GraphQL builders want the ARRAY, to memoise
+ * it as the one set both `check()` and `diagnose()` read (plan 0096). They each
+ * carried this filter inline, byte for byte, which `no-copy-paste` reported at
+ * 100%; folding them onto `selectMatching` was not open, since a `Selection`
+ * carries a label and an `identify` neither of them has at that point.
+ *
+ * Sharing it with `selectMatching` matters beyond the duplicate count: "the
+ * elements a rule selected" must be ONE answer, or a builder's `.select()` side
+ * and its condition side can disagree about which elements the predicates
+ * admitted — the divergence ADR-010 exists to make impossible.
+ */
+export function matchingElements(elements, predicates) {
+    return elements.filter((element) => predicates.every((predicate) => predicate.test(element)));
+}
 //# sourceMappingURL=correspondence.js.map

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,aAAa,EAAE,MAAM,qBAAqB,CAAA;AAEnD,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,aAAa,CAAC,UAAU,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAA;IAChD,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;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,cAAc,CAC5B,QAAsB,EACtB,UAAmC,EACnC,IAA8D;IAE9D,OAAO;QACL,QAAQ,EAAE,gBAAgB,CAAC,QAAQ,EAAE,UAAU,CAAC;QAChD,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,QAAQ,EAAE,IAAI,CAAC,QAAQ;KACxB,CAAA;AACH,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,gBAAgB,CAC9B,QAAsB,EACtB,UAAmC;IAEnC,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;AAC/F,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;AAenD;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,GAAG,aAAa,EAAE,CAsC1F"}

package/dist/dedupe-config-findings.js

@@ -0,0 +1,101 @@
+// The ids that are never collapsed — see `keyFor`. Imported rather than
+// re-listed: `emitter-findings.ts` declares them and owns the set, so the next
+// id is added in one place. A second local list here is how this guard would
+// silently stop covering a fifth id.
+import { EMITTER_IDS } from './emitter-findings.js';
+/** 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;
+    // An emitter finding is about a VERDICT, not about a rule's narrowing, so the
+    // collapse's premise — one authored option fanned out by a preset — never
+    // holds for it. Each one stands for a different builder that hands back no
+    // evidence, and each is its own edit in its own place.
+    //
+    // It cannot be told apart by shape: `emitter-findings.ts` sets
+    // `element: ruleId` (the fault is the verdict, so there is no place in anyone's
+    // code to point at) and `file: ''`, so the key degenerates to `('' , id, id)`
+    // and every occurrence in a run merges. Measured before this guard: three
+    // hand-rolled builders in one rule file reported as ONE finding whose note said
+    // they were "one edit". They are three edits — the case 0069's appendix decides
+    // the other way ("two different `shared` entries that both match nothing are
+    // two findings, because they are two edits").
+    //
+    // **Keyed on the id set, not on the `element === identity` shape.** A first cut
+    // refused a key whenever the element repeated the identity, and that is too
+    // broad: a real rule with a real narrowing and no glob to name does the same,
+    // and two instances of it genuinely ARE one edit — `the-floor.test.ts`'s
+    // "CONTROL: genuinely identical findings still collapse" reds on it, over
+    // `smells.duplicateBodies(p).minLines(500)`.
+    if (EMITTER_IDS.has(identity))
+        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":"AAgDA,wEAAwE;AACxE,+EAA+E;AAC/E,6EAA6E;AAC7E,qCAAqC;AACrC,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAA;AAEnD,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,8EAA8E;IAC9E,0EAA0E;IAC1E,2EAA2E;IAC3E,uDAAuD;IACvD,EAAE;IACF,+DAA+D;IAC/D,gFAAgF;IAChF,8EAA8E;IAC9E,0EAA0E;IAC1E,gFAAgF;IAChF,gFAAgF;IAChF,6EAA6E;IAC7E,8CAA8C;IAC9C,EAAE;IACF,gFAAgF;IAChF,4EAA4E;IAC5E,8EAA8E;IAC9E,yEAAyE;IACzE,0EAA0E;IAC1E,6CAA6C;IAC7C,IAAI,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAA;IAC/C,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"}

package/dist/define.js

@@ -12,9 +12,41 @@
  *
  * 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 function definePredicate(description, test) {
-    return { description, test };
+export function definePredicate(description, test, globs) {
+    return { description, test, globs };
 }
 /**
  * Create a custom condition for use in `.should().satisfy()` chains.
@@ -35,8 +67,17 @@ export function definePredicate(description, test) {
  *
  * 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 function defineCondition(description, evaluate) {
-    return { description, evaluate };
+export function defineCondition(description, evaluate, globs) {
+    return { description, evaluate, globs };
 }
 //# sourceMappingURL=define.js.map

package/dist/define.js.map

@@ -1 +1 @@
-{"version":3,"file":"define.js","sourceRoot":"","sources":["../src/define.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,eAAe,CAC7B,WAAmB,EACnB,IAA6B;IAE7B,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,CAAA;AAC9B,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,eAAe,CAC7B,WAAmB,EACnB,QAAuE;IAEvE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAA;AAClC,CAAC"}
+{"version":3,"file":"define.js","sourceRoot":"","sources":["../src/define.ts"],"names":[],"mappings":"AAKA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AACH,MAAM,UAAU,eAAe,CAC7B,WAAmB,EACnB,IAA6B,EAC7B,KAAqB;IAErB,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,CAAA;AACrC,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,MAAM,UAAU,eAAe,CAC7B,WAAmB,EACnB,QAAuE,EACvE,KAAqB;IAErB,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAA;AACzC,CAAC"}

package/dist/diff-aware.d.ts

@@ -10,7 +10,14 @@ import type { ArchViolation } from './violation.js';
  */
 export declare class DiffFilter {
     private readonly changedFiles;
-    constructor(changedFiles: Set<string> | null);
+    /**
+     * The branch this filter diffed against, for the suppression notice plan
+     * 0071 added. Defaulted rather than required: the constructor is public API
+     * (`src/index.ts` exports `DiffFilter`), so an existing
+     * `new DiffFilter(files)` must keep compiling.
+     */
+    readonly baseBranch: string;
+    constructor(changedFiles: Set<string> | null, baseBranch?: string);
     /**
      * Filter violations to only those in changed files.
      * If changedFiles is null (git error), returns all violations unfiltered.

package/dist/diff-aware.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"diff-aware.d.ts","sourceRoot":"","sources":["../src/diff-aware.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAEnD;;;;;;;;GAQG;AACH,qBAAa,UAAU;IACrB,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAoB;gBAErC,YAAY,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI;IAI5C;;;OAGG;IACH,eAAe,CAAC,UAAU,EAAE,aAAa,EAAE,GAAG,aAAa,EAAE;IAM7D,kEAAkE;IAClE,IAAI,IAAI,IAAI,MAAM,CAEjB;CACF;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,SAAS,CAAC,UAAU,GAAE,MAAe,GAAG,UAAU,CA6BjE"}
+{"version":3,"file":"diff-aware.d.ts","sourceRoot":"","sources":["../src/diff-aware.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAGnD;;;;;;;;GAQG;AACH,qBAAa,UAAU;IACrB,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAoB;IAEjD;;;;;OAKG;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;gBAEf,YAAY,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,EAAE,UAAU,GAAE,MAA0B;IAKpF;;;OAGG;IACH,eAAe,CAAC,UAAU,EAAE,aAAa,EAAE,GAAG,aAAa,EAAE;IA0B7D,kEAAkE;IAClE,IAAI,IAAI,IAAI,MAAM,CAEjB;CACF;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,SAAS,CAAC,UAAU,GAAE,MAAe,GAAG,UAAU,CAiCjE"}

package/dist/diff-aware.js

@@ -1,5 +1,6 @@
 import { execFileSync } from 'node:child_process';
 import path from 'node:path';
+import { writeStderr } from './stderr.js';
 /**
  * A diff filter that restricts violation reporting to files
  * changed since a base branch.
@@ -11,8 +12,16 @@ import path from 'node:path';
  */
 export class DiffFilter {
     changedFiles;
-    constructor(changedFiles) {
+    /**
+     * The branch this filter diffed against, for the suppression notice plan
+     * 0071 added. Defaulted rather than required: the constructor is public API
+     * (`src/index.ts` exports `DiffFilter`), so an existing
+     * `new DiffFilter(files)` must keep compiling.
+     */
+    baseBranch;
+    constructor(changedFiles, baseBranch = 'the base branch') {
         this.changedFiles = changedFiles;
+        this.baseBranch = baseBranch;
     }
     /**
      * Filter violations to only those in changed files.
@@ -22,7 +31,24 @@ export class DiffFilter {
         const files = this.changedFiles;
         if (files === null)
             return violations;
-        return violations.filter((v) => files.has(v.file));
+        // Config-level meta-findings (empty selector/discovery) have no changed file
+        // to attribute to — never filter them out (ADR-008; plan 0067).
+        //
+        // Kept from the kernel's copy when the two were unified, because it is the
+        // half that says WHY: a `bypassFilters` configuration finding (ADR-010's
+        // zero-examined / expired-`.expectEmpty()` violations) has `file: ''` and can
+        // never be a member of `changedFiles`. Without this branch, "unsuppressable"
+        // was false for the most realistic adoption path — a rule whose instrument
+        // silently broke reported nothing at all under `--changed`, with no
+        // diagnostic that anything had been hidden.
+        // `relatedFiles` (bug 0239): a finding about a RELATIONSHIP concerns several
+        // files and can only be reported at one of them. Keeping it when any of them
+        // changed is what makes `--changed` honest for it — the alternative measured
+        // in 0239 was that the developer who introduced a duplicate saw nothing,
+        // because the finding was anchored on the file they had not edited.
+        return violations.filter((v) => v.bypassFilters === true ||
+            files.has(v.file) ||
+            (v.relatedFiles?.some((f) => files.has(f)) ?? false));
     }
     /** Number of changed files detected, or -1 if diff unavailable */
     get size() {
@@ -53,17 +79,21 @@ export function diffAware(baseBranch = 'main') {
             stdio: ['pipe', 'pipe', 'pipe'],
         }).trim();
     }
-    catch (err) {
-        // Not a git repo, or base branch doesn't exist — skip filtering (report all violations)
-        const detail = err instanceof Error ? ` (${err.message.split('\n')[0] ?? ''})` : '';
-        console.warn(`[eess] Could not run git diff against '${baseBranch}'${detail}. All violations will be reported.`);
-        return new DiffFilter(null);
+    catch (error) {
+        // Not a git repo, or the base branch doesn't exist — skip filtering (report
+        // all violations). The cause is named: "could not run git diff" alone sends
+        // a reader looking for a missing branch when the real answer may be that git
+        // is not installed, or that the cwd is not a repository at all.
+        writeStderr(`[eess] Could not run git diff against '${baseBranch}' ` +
+            `(${error instanceof Error ? error.message.split('\n')[0] : String(error)}). ` +
+            'All violations will be reported.');
+        return new DiffFilter(null, baseBranch);
     }
     if (output === '') {
         // No changes — empty set means nothing is "changed", so all violations are filtered out
-        return new DiffFilter(new Set());
+        return new DiffFilter(new Set(), baseBranch);
     }
     const changedFiles = new Set(output.split('\n').map((relativePath) => path.resolve(cwd, relativePath)));
-    return new DiffFilter(changedFiles);
+    return new DiffFilter(changedFiles, baseBranch);
 }
 //# sourceMappingURL=diff-aware.js.map

package/dist/diff-aware.js.map

@@ -1 +1 @@
-{"version":3,"file":"diff-aware.js","sourceRoot":"","sources":["../src/diff-aware.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,IAAI,MAAM,WAAW,CAAA;AAG5B;;;;;;;;GAQG;AACH,MAAM,OAAO,UAAU;IACJ,YAAY,CAAoB;IAEjD,YAAY,YAAgC;QAC1C,IAAI,CAAC,YAAY,GAAG,YAAY,CAAA;IAClC,CAAC;IAED;;;OAGG;IACH,eAAe,CAAC,UAA2B;QACzC,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAA;QAC/B,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,UAAU,CAAA;QACrC,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;IACpD,CAAC;IAED,kEAAkE;IAClE,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAA;IACjE,CAAC;CACF;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,SAAS,CAAC,aAAqB,MAAM;IACnD,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,CAAA;IAEzB,IAAI,MAAc,CAAA;IAClB,IAAI,CAAC;QACH,MAAM,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,aAAa,EAAE,GAAG,UAAU,SAAS,CAAC,EAAE;YAC5E,QAAQ,EAAE,OAAO;YACjB,GAAG;YACH,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC;SAChC,CAAC,CAAC,IAAI,EAAE,CAAA;IACX,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,wFAAwF;QACxF,MAAM,MAAM,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAA;QACnF,OAAO,CAAC,IAAI,CACV,0CAA0C,UAAU,IAAI,MAAM,oCAAoC,CACnG,CAAA;QACD,OAAO,IAAI,UAAU,CAAC,IAAI,CAAC,CAAA;IAC7B,CAAC;IAED,IAAI,MAAM,KAAK,EAAE,EAAE,CAAC;QAClB,wFAAwF;QACxF,OAAO,IAAI,UAAU,CAAC,IAAI,GAAG,EAAE,CAAC,CAAA;IAClC,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,CAC1B,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC,CAC1E,CAAA;IAED,OAAO,IAAI,UAAU,CAAC,YAAY,CAAC,CAAA;AACrC,CAAC"}
+{"version":3,"file":"diff-aware.js","sourceRoot":"","sources":["../src/diff-aware.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,IAAI,MAAM,WAAW,CAAA;AAE5B,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AAEzC;;;;;;;;GAQG;AACH,MAAM,OAAO,UAAU;IACJ,YAAY,CAAoB;IAEjD;;;;;OAKG;IACM,UAAU,CAAQ;IAE3B,YAAY,YAAgC,EAAE,aAAqB,iBAAiB;QAClF,IAAI,CAAC,YAAY,GAAG,YAAY,CAAA;QAChC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAA;IAC9B,CAAC;IAED;;;OAGG;IACH,eAAe,CAAC,UAA2B;QACzC,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAA;QAC/B,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,UAAU,CAAA;QACrC,6EAA6E;QAC7E,gEAAgE;QAChE,EAAE;QACF,2EAA2E;QAC3E,yEAAyE;QACzE,8EAA8E;QAC9E,6EAA6E;QAC7E,2EAA2E;QAC3E,oEAAoE;QACpE,4CAA4C;QAC5C,6EAA6E;QAC7E,6EAA6E;QAC7E,6EAA6E;QAC7E,yEAAyE;QACzE,oEAAoE;QACpE,OAAO,UAAU,CAAC,MAAM,CACtB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,aAAa,KAAK,IAAI;YACxB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YACjB,CAAC,CAAC,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CACvD,CAAA;IACH,CAAC;IAED,kEAAkE;IAClE,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAA;IACjE,CAAC;CACF;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,SAAS,CAAC,aAAqB,MAAM;IACnD,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,CAAA;IAEzB,IAAI,MAAc,CAAA;IAClB,IAAI,CAAC;QACH,MAAM,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,aAAa,EAAE,GAAG,UAAU,SAAS,CAAC,EAAE;YAC5E,QAAQ,EAAE,OAAO;YACjB,GAAG;YACH,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC;SAChC,CAAC,CAAC,IAAI,EAAE,CAAA;IACX,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,4EAA4E;QAC5E,4EAA4E;QAC5E,6EAA6E;QAC7E,gEAAgE;QAChE,WAAW,CACT,0CAA0C,UAAU,IAAI;YACtD,IAAI,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK;YAC9E,kCAAkC,CACrC,CAAA;QACD,OAAO,IAAI,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;IACzC,CAAC;IAED,IAAI,MAAM,KAAK,EAAE,EAAE,CAAC;QAClB,wFAAwF;QACxF,OAAO,IAAI,UAAU,CAAC,IAAI,GAAG,EAAE,EAAE,UAAU,CAAC,CAAA;IAC9C,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,CAC1B,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC,CAC1E,CAAA;IAED,OAAO,IAAI,UAAU,CAAC,YAAY,EAAE,UAAU,CAAC,CAAA;AACjD,CAAC"}

package/dist/diff-disclosure.d.ts

@@ -0,0 +1,72 @@
+/**
+ * What diff-aware mode suppressed, said out loud.
+ *
+ * Plan 0071's first instrument. `--changed` (and `check({ diff })`) filter
+ * **reporting**, not evaluation — so a run with every finding suppressed is
+ * indistinguishable from a clean run: exit 0, no output, `total: 0`. That is
+ * the false green ADR-008 exists to prevent, and it is worse here than
+ * elsewhere because the reader chose the flag and then forgot it: CI configures
+ * `--changed` once and every subsequent run reads as clean.
+ *
+ * **The count is derived by the caller, never self-reported.** Each call site
+ * computes `before.length - after.length` around its own `filterToChanged`
+ * call. `DiffFilter` could keep that tally itself, and it deliberately does
+ * not: `CheckOptions.diff` is a structural interface (`DiffFilterLike`), so a
+ * consumer can pass any object with a `filterToChanged` method, and a filter
+ * that under-reports its own suppression would produce exactly the silence
+ * this module exists to break. Caller-side subtraction is a differently-derived
+ * value (ADR-009 rule 5) and it works for filters we did not write.
+ *
+ * **Two surfaces, because only one of them can count.**
+ *
+ * | surface                                  | disclosure           |
+ * | ---------------------------------------- | -------------------- |
+ * | CLI `check --changed`                    | `suppressionNotice`  |
+ * | `checkAll([...])`                        | `suppressionNotice`  |
+ * | `.check({ diff })` / `.warn({ diff })`   | `activeNotice`, once |
+ *
+ * The first two filter once over every collected violation, so they know the
+ * whole number. The per-rule terminals do not: `filterToChanged` is called
+ * once per rule (`execute-rule.ts`), and a diff-aware suite with 79 rules
+ * would print 79 lines — on the channel v0.26.0 made unconditionally visible.
+ * There is no per-run aggregation point on that path, so those terminals state
+ * the **configuration** instead, once per process. A configuration statement
+ * cannot be wrong; a per-rule count presented as a run total would be.
+ *
+ * A `process.on('exit')` flush was considered and rejected: it would let the
+ * per-rule path print one complete total, but a library that installs an exit
+ * hook to deliver a correctness-relevant message has made that message
+ * dependent on stderr surviving process teardown — untestable in the shape the
+ * rest of this project asserts (a real child `vitest run`, bug 0024) without
+ * asserting a race. Stating the configuration is weaker and honest.
+ */
+/**
+ * One line naming what was suppressed, or `undefined` when nothing was.
+ *
+ * `undefined` rather than an empty string so a call site cannot print a blank
+ * line by forgetting to check — the two callers both feed this straight into
+ * `writeStderr`.
+ *
+ * @param suppressed - `before.length - after.length`, computed by the caller.
+ * @param changedFiles - How many files the filter considered changed, when the
+ *   filter exposes it. A user-supplied `DiffFilterLike` need not, in which case
+ *   the sentence drops that clause rather than guessing.
+ * @param baseBranch - The branch diffed against, when known.
+ */
+export declare function suppressionNotice(suppressed: number, changedFiles?: number, baseBranch?: string): string | undefined;
+/**
+ * State that diff-aware filtering is on, once per process. Returns `undefined`
+ * on every call after the first, and whenever nothing was suppressed.
+ *
+ * Keyed on a call that actually suppressed something: a diff-aware run whose
+ * findings all happen to be in changed files has hidden nothing, and a notice
+ * there would train the reader to skip the line that matters.
+ */
+export declare function activeNotice(suppressed: number, changedFiles?: number, baseBranch?: string): string | undefined;
+/**
+ * Forget that {@link activeNotice} has spoken. **Tests only** — a suite
+ * asserting the once-per-process contract has to observe the first call, and
+ * whichever earlier test filtered first would otherwise have consumed it.
+ */
+export declare function resetDiffDisclosureForTests(): void;
+//# sourceMappingURL=diff-disclosure.d.ts.map

package/dist/diff-disclosure.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff-disclosure.d.ts","sourceRoot":"","sources":["../src/diff-disclosure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AAKH;;;;;;;;;;;;GAYG;AACH,wBAAgB,iBAAiB,CAC/B,UAAU,EAAE,MAAM,EAClB,YAAY,CAAC,EAAE,MAAM,EACrB,UAAU,CAAC,EAAE,MAAM,GAClB,MAAM,GAAG,SAAS,CAkBpB;AAYD;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAC1B,UAAU,EAAE,MAAM,EAClB,YAAY,CAAC,EAAE,MAAM,EACrB,UAAU,CAAC,EAAE,MAAM,GAClB,MAAM,GAAG,SAAS,CAepB;AAED;;;;GAIG;AACH,wBAAgB,2BAA2B,IAAI,IAAI,CAElD"}