@nielspeter/eess-ts 0.2.1 → 0.5.0

package/dist/smells/variation.d.ts

@@ -0,0 +1,47 @@
+import type { Fingerprint } from './fingerprint.js';
+/**
+ * One way two similar bodies differ: a text that appears in A where B has
+ * another, at structurally-aligned positions.
+ *
+ * `occurrences` is how many aligned positions carry this same substitution. A
+ * systematic rename — `cls` to `fn` throughout — is ONE axis with many
+ * occurrences, which is the whole point: it is one decision a reader has to
+ * evaluate, not twelve.
+ */
+export interface VariationAxis {
+    readonly from: string;
+    readonly to: string;
+    readonly occurrences: number;
+}
+/** What varies between two aligned bodies, and how much of them is shared. */
+export interface Variation {
+    /** Distinct substitutions, most frequent first. */
+    readonly axes: readonly VariationAxis[];
+    /** Aligned text-bearing positions whose texts are identical. */
+    readonly sharedTexts: number;
+    /** Aligned text-bearing positions compared in total. */
+    readonly comparedTexts: number;
+    /**
+     * `true` when the bodies were too large to align, so the result is a declared
+     * non-answer rather than a computed zero (ADR-010: a pass is constructed from
+     * evidence, never from a default).
+     */
+    readonly skipped: boolean;
+}
+/**
+ * What varies between two structurally-similar bodies.
+ *
+ * The detector's score answers "how alike are these shapes". It cannot answer
+ * the question a reader actually has — "should I consolidate them" — and that
+ * turns almost entirely on HOW MANY things vary:
+ *
+ * - one axis (`executeCheck` to `executeWarn`) — extract a parameter, clearly
+ * - three axes (a measure, a name, a message) — extract, probably
+ * - nine axes (every property name differs) — a shared idiom; leave it
+ *
+ * All three score alike today and read alike on screen, which is why triaging a
+ * finding means opening both files. This returns what the reader would have gone
+ * looking for.
+ */
+export declare function variationBetween(a: Fingerprint, b: Fingerprint): Variation;
+//# sourceMappingURL=variation.d.ts.map

package/dist/smells/variation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"variation.d.ts","sourceRoot":"","sources":["../../src/smells/variation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAEnD;;;;;;;;GAQG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAC7B;AAED,8EAA8E;AAC9E,MAAM,WAAW,SAAS;IACxB,mDAAmD;IACnD,QAAQ,CAAC,IAAI,EAAE,SAAS,aAAa,EAAE,CAAA;IACvC,gEAAgE;IAChE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,wDAAwD;IACxD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;IAC9B;;;;OAIG;IACH,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAC1B;AAiDD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,GAAG,SAAS,CA2B1E"}

package/dist/smells/variation.js

@@ -0,0 +1,90 @@
+/**
+ * Bodies larger than this are not aligned. Traceback needs the full O(n*m)
+ * matrix, unlike `computeSimilarity`'s two-row form, so a pathological pair
+ * would allocate hundreds of MB. At the cap the matrix is 1200*1200 Int32 =
+ * ~5.8MB, allocated one pair at a time and only for pairs already REPORTED —
+ * never on the hot path that compares every pair.
+ */
+const MAX_ALIGN = 1200;
+/**
+ * Which positions of `a` and `b` the LCS pairs up.
+ *
+ * `computeSimilarity` throws its alignment away and keeps only the length. The
+ * alignment is the thing worth having: it is what lets a caller ask "at the
+ * places these two bodies agree structurally, do they say the same words?" —
+ * the question that separates a copy-paste from a shared idiom.
+ */
+function alignByKind(a, b) {
+    const m = a.length;
+    const n = b.length;
+    const dp = new Int32Array((m + 1) * (n + 1));
+    const at = (i, j) => i * (n + 1) + j;
+    for (let i = 1; i <= m; i++) {
+        for (let j = 1; j <= n; j++) {
+            dp[at(i, j)] =
+                a[i - 1] === b[j - 1]
+                    ? (dp[at(i - 1, j - 1)] ?? 0) + 1
+                    : Math.max(dp[at(i - 1, j)] ?? 0, dp[at(i, j - 1)] ?? 0);
+        }
+    }
+    const pairs = [];
+    let i = m;
+    let j = n;
+    while (i > 0 && j > 0) {
+        if (a[i - 1] === b[j - 1]) {
+            pairs.push([i - 1, j - 1]);
+            i--;
+            j--;
+        }
+        else if ((dp[at(i - 1, j)] ?? 0) >= (dp[at(i, j - 1)] ?? 0)) {
+            i--;
+        }
+        else {
+            j--;
+        }
+    }
+    return pairs.reverse();
+}
+/**
+ * What varies between two structurally-similar bodies.
+ *
+ * The detector's score answers "how alike are these shapes". It cannot answer
+ * the question a reader actually has — "should I consolidate them" — and that
+ * turns almost entirely on HOW MANY things vary:
+ *
+ * - one axis (`executeCheck` to `executeWarn`) — extract a parameter, clearly
+ * - three axes (a measure, a name, a message) — extract, probably
+ * - nine axes (every property name differs) — a shared idiom; leave it
+ *
+ * All three score alike today and read alike on screen, which is why triaging a
+ * finding means opening both files. This returns what the reader would have gone
+ * looking for.
+ */
+export function variationBetween(a, b) {
+    if (a.kinds.length > MAX_ALIGN || b.kinds.length > MAX_ALIGN) {
+        return { axes: [], sharedTexts: 0, comparedTexts: 0, skipped: true };
+    }
+    const alignment = alignByKind(a.kinds, b.kinds);
+    const counts = new Map();
+    let shared = 0;
+    let compared = 0;
+    for (const [i, j] of alignment) {
+        const ta = a.texts[i];
+        const tb = b.texts[j];
+        if (ta === undefined && tb === undefined)
+            continue;
+        compared += 1;
+        if (ta === tb) {
+            shared += 1;
+            continue;
+        }
+        const from = ta ?? '';
+        const to = tb ?? '';
+        const key = `${from}\0${to}`;
+        const prev = counts.get(key);
+        counts.set(key, { from, to, occurrences: (prev?.occurrences ?? 0) + 1 });
+    }
+    const axes = [...counts.values()].sort((x, y) => y.occurrences - x.occurrences || x.from.localeCompare(y.from));
+    return { axes, sharedTexts: shared, comparedTexts: compared, skipped: false };
+}
+//# sourceMappingURL=variation.js.map

package/dist/smells/variation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"variation.js","sourceRoot":"","sources":["../../src/smells/variation.ts"],"names":[],"mappings":"AAiCA;;;;;;GAMG;AACH,MAAM,SAAS,GAAG,IAAI,CAAA;AAEtB;;;;;;;GAOG;AACH,SAAS,WAAW,CAAC,CAAoB,EAAE,CAAoB;IAC7D,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAA;IAClB,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAA;IAClB,MAAM,EAAE,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IAC5C,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,CAAS,EAAU,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAA;IAC5D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACV,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;oBACnB,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC;oBACjC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;QAC9D,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAAqC,EAAE,CAAA;IAClD,IAAI,CAAC,GAAG,CAAC,CAAA;IACT,IAAI,CAAC,GAAG,CAAC,CAAA;IACT,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;YAC1B,CAAC,EAAE,CAAA;YACH,CAAC,EAAE,CAAA;QACL,CAAC;aAAM,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YAC9D,CAAC,EAAE,CAAA;QACL,CAAC;aAAM,CAAC;YACN,CAAC,EAAE,CAAA;QACL,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,OAAO,EAAE,CAAA;AACxB,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,gBAAgB,CAAC,CAAc,EAAE,CAAc;IAC7D,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,SAAS,EAAE,CAAC;QAC7D,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAA;IACtE,CAAC;IACD,MAAM,SAAS,GAAG,WAAW,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAA;IAC/C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyB,CAAA;IAC/C,IAAI,MAAM,GAAG,CAAC,CAAA;IACd,IAAI,QAAQ,GAAG,CAAC,CAAA;IAChB,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,SAAS,EAAE,CAAC;QAC/B,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;QACrB,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;QACrB,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS;YAAE,SAAQ;QAClD,QAAQ,IAAI,CAAC,CAAA;QACb,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YACd,MAAM,IAAI,CAAC,CAAA;YACX,SAAQ;QACV,CAAC;QACD,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,CAAA;QACrB,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,CAAA;QACnB,MAAM,GAAG,GAAG,GAAG,IAAI,KAAK,EAAE,EAAE,CAAA;QAC5B,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAC5B,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC,IAAI,EAAE,WAAW,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IAC1E,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CACpC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CACxE,CAAA;IACD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,CAAA;AAC/E,CAAC"}

package/dist/tsconfig/index.d.ts

@@ -0,0 +1,19 @@
+import type { ArchProject } from '../core/project.js';
+import { TsconfigBuilder } from './tsconfig-builder.js';
+/**
+ * Assert facts about a project's resolved TypeScript compiler options.
+ *
+ * Returns a builder with the same `.because()` / `.rule()` / `.excluding()` /
+ * `.check()` / `.warn()` / `.asSeverity()` / `.violations()` surface as every
+ * other rule. A flat top-level entry point like `project` — deliberately NOT a
+ * `config` namespace, which would collide with the tool's own
+ * `defineConfig` / `CliConfig` ("configure the tool") surface.
+ *
+ * @example
+ * tsconfig(p)
+ *   .requires({ strict: true, noUncheckedIndexedAccess: true })
+ *   .because('ADR-001 requires strict mode')
+ *   .check()
+ */
+export declare function tsconfig(project: ArchProject): TsconfigBuilder;
+//# sourceMappingURL=index.d.ts.map

package/dist/tsconfig/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/tsconfig/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AACrD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAEvD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,QAAQ,CAAC,OAAO,EAAE,WAAW,GAAG,eAAe,CAE9D"}

package/dist/tsconfig/index.js

@@ -0,0 +1,20 @@
+import { TsconfigBuilder } from './tsconfig-builder.js';
+/**
+ * Assert facts about a project's resolved TypeScript compiler options.
+ *
+ * Returns a builder with the same `.because()` / `.rule()` / `.excluding()` /
+ * `.check()` / `.warn()` / `.asSeverity()` / `.violations()` surface as every
+ * other rule. A flat top-level entry point like `project` — deliberately NOT a
+ * `config` namespace, which would collide with the tool's own
+ * `defineConfig` / `CliConfig` ("configure the tool") surface.
+ *
+ * @example
+ * tsconfig(p)
+ *   .requires({ strict: true, noUncheckedIndexedAccess: true })
+ *   .because('ADR-001 requires strict mode')
+ *   .check()
+ */
+export function tsconfig(project) {
+    return new TsconfigBuilder(project);
+}
+//# sourceMappingURL=index.js.map

package/dist/tsconfig/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/tsconfig/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAEvD;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,QAAQ,CAAC,OAAoB;IAC3C,OAAO,IAAI,eAAe,CAAC,OAAO,CAAC,CAAA;AACrC,CAAC"}

package/dist/tsconfig/tsconfig-builder.d.ts

@@ -1,7 +1,8 @@
+import type { RuleDescription } from '@nielspeter/eess';
+import type { CollectResult } from '../core/terminal-builder.js';
 import type { CompilerOptions } from 'ts-morph';
-import { TerminalBuilder } from '@nielspeter/eess';
 import type { ArchProject } from '../core/project.js';
-import type { ArchViolation } from '../core/violation.js';
+import { TerminalBuilder } from '../core/terminal-builder.js';
 /**
  * Asserts that a project's resolved TypeScript compiler options match a
  * user-supplied spec. A non-iterating rule (one project → one options object),
@@ -19,14 +20,46 @@ export declare class TsconfigBuilder extends TerminalBuilder {
      * Each present key must equal the project's resolved value (strict-family
      * flags are resolved through `strict: true` the way tsc resolves them).
      * Multiple `.requires()` calls merge additively; later keys win on conflict.
+     *
+     * Copy-on-write (bug 0016): a held `tsconfig(p)` is not edited by this call.
+     * No `copy()` override is needed because the merge builds a fresh object
+     * rather than mutating the inherited reference.
      */
     requires(spec: Partial<CompilerOptions>): this;
-    protected collectViolations(): ArchViolation[];
+    /**
+     * Whether this rule states an assertion at all — the assertion gate's question.
+     *
+     * True once a requirement has been declared; `tsconfig()` with none asserts nothing.
+     *
+     * Overrides the `TerminalBuilder` default (`true`), whose JSDoc carries the
+     * contract and the reason this is public rather than protected.
+     */
+    assertsSomething(): boolean;
+    /**
+     * The remedy for this builder's assertion-less state, as one string.
+     *
+     * One channel, so `diagnose()`'s advice and the finding's own message cannot
+     * disagree. Overrides `TerminalBuilder`'s generic text with wording specific to
+     * what this builder is missing.
+     */
+    assertionAdvice(): string;
+    /** Named by id or the fixed rule description, not 'unnamed' (plan 0070 §4). */
+    describeRule(): RuleDescription;
+    /**
+     * Requirements this rule declared — plan 0098.
+     *
+     * This family examines a CONFIG, not a corpus, so its unit is not a subject
+     * count. Zero means `.require({})`: a tsconfig rule that asserts nothing,
+     * which is this family's shape of the vacuity every other family expresses as
+     * an empty selection.
+     */
+    examinedUnits(): number;
+    protected collectViolations(): CollectResult;
+    /**
+     * Prefer the public `getCompilerOptions()` (implemented by `project()` /
+     * `workspace()`); fall back to the internal ts-morph project so a bare
+     * `ArchProject` literal (e.g. a test double) still works.
+     */
+    private getOptions;
 }
-/**
- * Entry point for a tsconfig config-assertion rule. Mirrors `project()` /
- * `smells` — a flat top-level entry returning a builder that composes with
- * `.because()` / `.excluding()` / `.check()` / `.warn()`.
- */
-export declare function tsconfig(p: ArchProject): TsconfigBuilder;
 //# sourceMappingURL=tsconfig-builder.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"tsconfig-builder.d.ts","sourceRoot":"","sources":["../../src/tsconfig/tsconfig-builder.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,UAAU,CAAA;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAClD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AACrD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AAKzD;;;;;;;GAOG;AACH,qBAAa,eAAgB,SAAQ,eAAe;IAGtC,OAAO,CAAC,QAAQ,CAAC,OAAO;IAFpC,OAAO,CAAC,aAAa,CAA+B;gBAEvB,OAAO,EAAE,WAAW;IAIjD;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,eAAe,CAAC,GAAG,IAAI;IAK9C,SAAS,CAAC,iBAAiB,IAAI,aAAa,EAAE;CAyB/C;AAED;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,WAAW,GAAG,eAAe,CAExD"}
+{"version":3,"file":"tsconfig-builder.d.ts","sourceRoot":"","sources":["../../src/tsconfig/tsconfig-builder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAEvD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAA;AAGhE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,UAAU,CAAA;AAC/C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAErD,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAA;AAK7D;;;;;;;GAOG;AACH,qBAAa,eAAgB,SAAQ,eAAe;IAGtC,OAAO,CAAC,QAAQ,CAAC,OAAO;IAFpC,OAAO,CAAC,aAAa,CAA+B;gBAEvB,OAAO,EAAE,WAAW;IAIjD;;;;;;;;;OASG;IACH,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,eAAe,CAAC,GAAG,IAAI;IAM9C;;;;;;;OAOG;IACM,gBAAgB,IAAI,OAAO;IAIpC;;;;;;OAMG;IACM,eAAe,IAAI,MAAM;IAOlC,+EAA+E;IACtE,YAAY,IAAI,eAAe;IAOxC;;;;;;;OAOG;IACH,aAAa,IAAI,MAAM;IAIvB,SAAS,CAAC,iBAAiB,IAAI,aAAa;IA+B5C;;;;OAIG;IACH,OAAO,CAAC,UAAU;CAGnB"}

package/dist/tsconfig/tsconfig-builder.js

@@ -1,5 +1,7 @@
+import { collectResult } from '@nielspeter/eess';
+import { isRecord } from '@nielspeter/eess/internal';
 import { ScriptTarget, ModuleKind, ModuleResolutionKind } from 'ts-morph';
-import { TerminalBuilder } from '@nielspeter/eess';
+import { TerminalBuilder } from '../core/terminal-builder.js';
 import { isStrictFamily, resolveFlag } from './strict-family.js';
 const RULE_DESCRIPTION = 'tsconfig compiler options must satisfy requirements';
 /**
@@ -22,13 +24,58 @@ export class TsconfigBuilder extends TerminalBuilder {
      * Each present key must equal the project's resolved value (strict-family
      * flags are resolved through `strict: true` the way tsc resolves them).
      * Multiple `.requires()` calls merge additively; later keys win on conflict.
+     *
+     * Copy-on-write (bug 0016): a held `tsconfig(p)` is not edited by this call.
+     * No `copy()` override is needed because the merge builds a fresh object
+     * rather than mutating the inherited reference.
      */
     requires(spec) {
-        this._requirements = { ...this._requirements, ...spec };
-        return this;
+        const next = this.copy();
+        next._requirements = { ...this._requirements, ...spec };
+        return next;
+    }
+    /**
+     * Whether this rule states an assertion at all — the assertion gate's question.
+     *
+     * True once a requirement has been declared; `tsconfig()` with none asserts nothing.
+     *
+     * Overrides the `TerminalBuilder` default (`true`), whose JSDoc carries the
+     * contract and the reason this is public rather than protected.
+     */
+    assertsSomething() {
+        return Object.keys(this._requirements).length > 0;
+    }
+    /**
+     * The remedy for this builder's assertion-less state, as one string.
+     *
+     * One channel, so `diagnose()`'s advice and the finding's own message cannot
+     * disagree. Overrides `TerminalBuilder`'s generic text with wording specific to
+     * what this builder is missing.
+     */
+    assertionAdvice() {
+        return ('this rule has no requirements, so it asserts nothing and can never fail. Add ' +
+            '.requires({...}) with at least one compiler option, or delete the rule.');
+    }
+    /** Named by id or the fixed rule description, not 'unnamed' (plan 0070 §4). */
+    describeRule() {
+        return {
+            ...super.describeRule(),
+            rule: this._metadata?.id ?? RULE_DESCRIPTION,
+        };
+    }
+    /**
+     * Requirements this rule declared — plan 0098.
+     *
+     * This family examines a CONFIG, not a corpus, so its unit is not a subject
+     * count. Zero means `.require({})`: a tsconfig rule that asserts nothing,
+     * which is this family's shape of the vacuity every other family expresses as
+     * an empty selection.
+     */
+    examinedUnits() {
+        return Object.keys(this._requirements).length;
     }
     collectViolations() {
-        const opts = this.project._project.getCompilerOptions();
+        const opts = this.getOptions();
         const file = this.project.tsConfigPath;
         const violations = [];
         for (const key of Object.keys(this._requirements)) {
@@ -48,16 +95,21 @@ export class TsconfigBuilder extends TerminalBuilder {
                 suggestion: fixSuggestion(key, expected, strictFamily, opts),
             });
         }
-        return violations;
+        // Plan 0098. This family examines a CONFIG, not a corpus, so its unit is the
+        // requirements the author declared — the loop above is over exactly these.
+        // Zero means `.require({})`: a tsconfig rule that asserts nothing, which is
+        // this family's shape of the vacuity every other family expresses as an
+        // empty selection.
+        return collectResult(violations, { examined: this.examinedUnits() });
+    }
+    /**
+     * Prefer the public `getCompilerOptions()` (implemented by `project()` /
+     * `workspace()`); fall back to the internal ts-morph project so a bare
+     * `ArchProject` literal (e.g. a test double) still works.
+     */
+    getOptions() {
+        return this.project.getCompilerOptions?.() ?? this.project._project.getCompilerOptions();
     }
-}
-/**
- * Entry point for a tsconfig config-assertion rule. Mirrors `project()` /
- * `smells` — a flat top-level entry returning a builder that composes with
- * `.because()` / `.excluding()` / `.check()` / `.warn()`.
- */
-export function tsconfig(p) {
-    return new TsconfigBuilder(p);
 }
 /**
  * Human-readable fix hint for a mismatched flag. Enum-backed values are rendered
@@ -143,7 +195,4 @@ function deepEqual(a, b) {
     }
     return false;
 }
-function isRecord(value) {
-    return value !== null && typeof value === 'object' && !Array.isArray(value);
-}
 //# sourceMappingURL=tsconfig-builder.js.map

package/dist/tsconfig/tsconfig-builder.js.map

@@ -1 +1 @@
-{"version":3,"file":"tsconfig-builder.js","sourceRoot":"","sources":["../../src/tsconfig/tsconfig-builder.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,oBAAoB,EAAE,MAAM,UAAU,CAAA;AAEzE,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAGlD,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAEhE,MAAM,gBAAgB,GAAG,qDAAqD,CAAA;AAE9E;;;;;;;GAOG;AACH,MAAM,OAAO,eAAgB,SAAQ,eAAe;IAGrB;IAFrB,aAAa,GAA6B,EAAE,CAAA;IAEpD,YAA6B,OAAoB;QAC/C,KAAK,EAAE,CAAA;QADoB,YAAO,GAAP,OAAO,CAAa;IAEjD,CAAC;IAED;;;;;OAKG;IACH,QAAQ,CAAC,IAA8B;QACrC,IAAI,CAAC,aAAa,GAAG,EAAE,GAAG,IAAI,CAAC,aAAa,EAAE,GAAG,IAAI,EAAE,CAAA;QACvD,OAAO,IAAI,CAAA;IACb,CAAC;IAES,iBAAiB;QACzB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,kBAAkB,EAAE,CAAA;QACvD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAA;QACtC,MAAM,UAAU,GAAoB,EAAE,CAAA;QAEtC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;YAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAA;YACxC,MAAM,YAAY,GAAG,cAAc,CAAC,GAAG,CAAC,CAAA;YACxC,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YAChE,IAAI,WAAW,CAAC,GAAG,EAAE,QAAQ,EAAE,MAAM,CAAC;gBAAE,SAAQ;YAEhD,MAAM,YAAY,GAAG,YAAY,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAA;YAChD,MAAM,UAAU,GAAG,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;YAC5C,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,GAAG;gBACZ,IAAI;gBACJ,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,oBAAoB,GAAG,eAAe,YAAY,YAAY,UAAU,EAAE;gBACnF,UAAU,EAAE,aAAa,CAAC,GAAG,EAAE,QAAQ,EAAE,YAAY,EAAE,IAAI,CAAC;aAC7D,CAAC,CAAA;QACJ,CAAC;QAED,OAAO,UAAU,CAAA;IACnB,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,CAAc;IACrC,OAAO,IAAI,eAAe,CAAC,CAAC,CAAC,CAAA;AAC/B,CAAC;AAED;;;GAGG;AACH,SAAS,aAAa,CACpB,GAAW,EACX,QAAiB,EACjB,YAAqB,EACrB,IAAqB;IAErB,MAAM,IAAI,GAAG,QAAQ,GAAG,MAAM,iBAAiB,CAAC,GAAG,EAAE,QAAQ,CAAC,sBAAsB,CAAA;IACpF,IAAI,YAAY,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtC,4EAA4E;QAC5E,uCAAuC;QACvC,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,KAAK,EAAE,CAAC;YAChD,OAAO,wBAAwB,GAAG,2DAA2D,CAAA;QAC/F,CAAC;QACD,OAAO,GAAG,IAAI,sBAAsB,CAAA;IACtC,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,mFAAmF;AACnF,SAAS,iBAAiB,CAAC,GAAW,EAAE,KAAc;IACpD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;QACjC,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,IAAI,GAAG,CAAA;IAC5C,CAAC;IACD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;AAC9B,CAAC;AAED;;;;GAIG;AACH,SAAS,YAAY,CAAC,GAAW,EAAE,KAAc;IAC/C,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IACzC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAA;IAC3E,IAAI,OAAO,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAA;IACjF,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAA;IAC3C,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA,CAAC,wBAAwB;AACvD,CAAC;AAED,SAAS,QAAQ,CAAC,GAAW,EAAE,KAAa;IAC1C,IAAI,GAAG,KAAK,QAAQ;QAAE,OAAO,YAAY,CAAC,KAAK,CAAC,CAAA;IAChD,IAAI,GAAG,KAAK,QAAQ;QAAE,OAAO,UAAU,CAAC,KAAK,CAAC,CAAA;IAC9C,IAAI,GAAG,KAAK,kBAAkB;QAAE,OAAO,oBAAoB,CAAC,KAAK,CAAC,CAAA;IAClE,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,4EAA4E;AAC5E,MAAM,eAAe,GAAwB,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAA;AAEtE;;;;GAIG;AACH,SAAS,WAAW,CAAC,GAAW,EAAE,CAAU,EAAE,CAAU;IACtD,IAAI,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACrE,OAAO,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACvB,CAAC;IACD,OAAO,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AACxB,CAAC;AAED,SAAS,QAAQ,CAAC,CAAY,EAAE,CAAY;IAC1C,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;QAAE,OAAO,KAAK,CAAA;IACvC,MAAM,IAAI,GAAG,CAAC,GAAc,EAAY,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;IACnF,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;IAClB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;IAClB,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;AACxC,CAAC;AAED,SAAS,SAAS,CAAC,CAAU,EAAE,CAAU;IACvC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IACxB,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACzC,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACvE,CAAC;IACD,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/B,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACzB,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACzB,OAAO,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAC1E,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;AAC7E,CAAC"}
+{"version":3,"file":"tsconfig-builder.js","sourceRoot":"","sources":["../../src/tsconfig/tsconfig-builder.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AAEhD,OAAO,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAA;AACpD,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,oBAAoB,EAAE,MAAM,UAAU,CAAA;AAIzE,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAA;AAC7D,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAEhE,MAAM,gBAAgB,GAAG,qDAAqD,CAAA;AAE9E;;;;;;;GAOG;AACH,MAAM,OAAO,eAAgB,SAAQ,eAAe;IAGrB;IAFrB,aAAa,GAA6B,EAAE,CAAA;IAEpD,YAA6B,OAAoB;QAC/C,KAAK,EAAE,CAAA;QADoB,YAAO,GAAP,OAAO,CAAa;IAEjD,CAAC;IAED;;;;;;;;;OASG;IACH,QAAQ,CAAC,IAA8B;QACrC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAA;QACxB,IAAI,CAAC,aAAa,GAAG,EAAE,GAAG,IAAI,CAAC,aAAa,EAAE,GAAG,IAAI,EAAE,CAAA;QACvD,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;;;;;;OAOG;IACM,gBAAgB;QACvB,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,MAAM,GAAG,CAAC,CAAA;IACnD,CAAC;IAED;;;;;;OAMG;IACM,eAAe;QACtB,OAAO,CACL,+EAA+E;YAC/E,yEAAyE,CAC1E,CAAA;IACH,CAAC;IAED,+EAA+E;IACtE,YAAY;QACnB,OAAO;YACL,GAAG,KAAK,CAAC,YAAY,EAAE;YACvB,IAAI,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE,IAAI,gBAAgB;SAC7C,CAAA;IACH,CAAC;IAED;;;;;;;OAOG;IACH,aAAa;QACX,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,MAAM,CAAA;IAC/C,CAAC;IAES,iBAAiB;QACzB,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,EAAE,CAAA;QAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAA;QACtC,MAAM,UAAU,GAAoB,EAAE,CAAA;QAEtC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;YAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAA;YACxC,MAAM,YAAY,GAAG,cAAc,CAAC,GAAG,CAAC,CAAA;YACxC,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YAChE,IAAI,WAAW,CAAC,GAAG,EAAE,QAAQ,EAAE,MAAM,CAAC;gBAAE,SAAQ;YAEhD,MAAM,YAAY,GAAG,YAAY,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAA;YAChD,MAAM,UAAU,GAAG,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;YAC5C,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,GAAG;gBACZ,IAAI;gBACJ,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,oBAAoB,GAAG,eAAe,YAAY,YAAY,UAAU,EAAE;gBACnF,UAAU,EAAE,aAAa,CAAC,GAAG,EAAE,QAAQ,EAAE,YAAY,EAAE,IAAI,CAAC;aAC7D,CAAC,CAAA;QACJ,CAAC;QAED,6EAA6E;QAC7E,2EAA2E;QAC3E,4EAA4E;QAC5E,wEAAwE;QACxE,mBAAmB;QACnB,OAAO,aAAa,CAAC,UAAU,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC,CAAA;IACtE,CAAC;IAED;;;;OAIG;IACK,UAAU;QAChB,OAAO,IAAI,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,kBAAkB,EAAE,CAAA;IAC1F,CAAC;CACF;AAED;;;GAGG;AACH,SAAS,aAAa,CACpB,GAAW,EACX,QAAiB,EACjB,YAAqB,EACrB,IAAqB;IAErB,MAAM,IAAI,GAAG,QAAQ,GAAG,MAAM,iBAAiB,CAAC,GAAG,EAAE,QAAQ,CAAC,sBAAsB,CAAA;IACpF,IAAI,YAAY,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtC,4EAA4E;QAC5E,uCAAuC;QACvC,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,KAAK,EAAE,CAAC;YAChD,OAAO,wBAAwB,GAAG,2DAA2D,CAAA;QAC/F,CAAC;QACD,OAAO,GAAG,IAAI,sBAAsB,CAAA;IACtC,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,mFAAmF;AACnF,SAAS,iBAAiB,CAAC,GAAW,EAAE,KAAc;IACpD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;QACjC,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,IAAI,GAAG,CAAA;IAC5C,CAAC;IACD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;AAC9B,CAAC;AAED;;;;GAIG;AACH,SAAS,YAAY,CAAC,GAAW,EAAE,KAAc;IAC/C,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IACzC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAA;IAC3E,IAAI,OAAO,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAA;IACjF,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAA;IAC3C,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA,CAAC,wBAAwB;AACvD,CAAC;AAED,SAAS,QAAQ,CAAC,GAAW,EAAE,KAAa;IAC1C,IAAI,GAAG,KAAK,QAAQ;QAAE,OAAO,YAAY,CAAC,KAAK,CAAC,CAAA;IAChD,IAAI,GAAG,KAAK,QAAQ;QAAE,OAAO,UAAU,CAAC,KAAK,CAAC,CAAA;IAC9C,IAAI,GAAG,KAAK,kBAAkB;QAAE,OAAO,oBAAoB,CAAC,KAAK,CAAC,CAAA;IAClE,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,4EAA4E;AAC5E,MAAM,eAAe,GAAwB,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAA;AAEtE;;;;GAIG;AACH,SAAS,WAAW,CAAC,GAAW,EAAE,CAAU,EAAE,CAAU;IACtD,IAAI,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACrE,OAAO,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACvB,CAAC;IACD,OAAO,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AACxB,CAAC;AAED,SAAS,QAAQ,CAAC,CAAY,EAAE,CAAY;IAC1C,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;QAAE,OAAO,KAAK,CAAA;IACvC,MAAM,IAAI,GAAG,CAAC,GAAc,EAAY,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;IACnF,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;IAClB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;IAClB,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;AACxC,CAAC;AAED,SAAS,SAAS,CAAC,CAAU,EAAE,CAAU;IACvC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IACxB,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACzC,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACvE,CAAC;IACD,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/B,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACzB,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACzB,OAAO,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAC1E,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@nielspeter/eess-ts",
-  "version": "0.2.1",
+  "version": "0.5.0",
   "description": "Architecture testing for TypeScript — the TS dialect of the eess family (formerly ts-archunit)",
   "type": "module",
   "exports": {
@@ -79,9 +79,11 @@
   "author": "Niels Peter",
   "scripts": {
     "prepublishOnly": "npm run build",
+    "prebuild": "rm -rf dist",
     "build": "tsc -p tsconfig.build.json && chmod +x dist/cli/bin.js",
     "test": "vitest run",
     "test:watch": "vitest",
+    "test:matrix": "npm run build && vitest run --config vitest.matrix.config.ts",
     "typecheck": "tsc --noEmit"
   },
   "keywords": [
@@ -113,7 +115,7 @@
     }
   },
   "dependencies": {
-    "@nielspeter/eess": "^0.2.1",
+    "@nielspeter/eess": "^0.5.0",
     "jiti": "^2.6.1",
     "picomatch": "^4.0.4",
     "ts-morph": "^27.0.2"

package/dist/core/module-dependencies.d.ts

@@ -1,28 +0,0 @@
-import type { ImportDeclaration, ExportDeclaration, SourceFile } from 'ts-morph';
-/**
- * A module dependency edge — an `import … from` or an `export … from` re-export.
- */
-export type DependencyDecl = ImportDeclaration | ExportDeclaration;
-/**
- * Every module dependency edge of a source file: its import declarations plus
- * its `export … from` re-exports.
- *
- * A re-export is a real dependency — `export { x } from './y'` makes this module
- * depend on `./y` exactly as an `import` would — so dependency-direction rules
- * (`importFrom` / `notImportFrom` / `onlyImportFrom` / `dependOn`) must see it.
- * ts-morph's `getImportDeclarations()` alone misses re-exports, which lets a
- * forbidden edge hide behind `export … from` and pass a rule that should fail.
- * A bare `export { x }` with no `from` has no target module and is skipped.
- */
-export declare function getDependencyDecls(sf: SourceFile): DependencyDecl[];
-/**
- * Resolve a dependency edge to an absolute path (when the target resolves to a
- * file in the project) or its raw specifier (for external packages).
- */
-export declare function resolveDependencyPath(decl: DependencyDecl): string;
-/**
- * Is this dependency edge type-only? `import type …` / `export type … from …`,
- * or an import whose every named specifier is inline `type`.
- */
-export declare function isTypeOnlyDependency(decl: DependencyDecl): boolean;
-//# sourceMappingURL=module-dependencies.d.ts.map

package/dist/core/module-dependencies.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"module-dependencies.d.ts","sourceRoot":"","sources":["../../src/core/module-dependencies.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAGhF;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,iBAAiB,GAAG,iBAAiB,CAAA;AAElE;;;;;;;;;;GAUG;AACH,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,UAAU,GAAG,cAAc,EAAE,CAKnE;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,cAAc,GAAG,MAAM,CAGlE;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAElE"}

package/dist/core/module-dependencies.js

@@ -1,35 +0,0 @@
-import { Node } from 'ts-morph';
-import { isTypeOnlyImport } from './import-options.js';
-/**
- * Every module dependency edge of a source file: its import declarations plus
- * its `export … from` re-exports.
- *
- * A re-export is a real dependency — `export { x } from './y'` makes this module
- * depend on `./y` exactly as an `import` would — so dependency-direction rules
- * (`importFrom` / `notImportFrom` / `onlyImportFrom` / `dependOn`) must see it.
- * ts-morph's `getImportDeclarations()` alone misses re-exports, which lets a
- * forbidden edge hide behind `export … from` and pass a rule that should fail.
- * A bare `export { x }` with no `from` has no target module and is skipped.
- */
-export function getDependencyDecls(sf) {
-    const reexports = sf
-        .getExportDeclarations()
-        .filter((d) => d.getModuleSpecifierValue() !== undefined);
-    return [...sf.getImportDeclarations(), ...reexports];
-}
-/**
- * Resolve a dependency edge to an absolute path (when the target resolves to a
- * file in the project) or its raw specifier (for external packages).
- */
-export function resolveDependencyPath(decl) {
-    const resolved = decl.getModuleSpecifierSourceFile();
-    return resolved ? resolved.getFilePath() : (decl.getModuleSpecifierValue() ?? '');
-}
-/**
- * Is this dependency edge type-only? `import type …` / `export type … from …`,
- * or an import whose every named specifier is inline `type`.
- */
-export function isTypeOnlyDependency(decl) {
-    return Node.isImportDeclaration(decl) ? isTypeOnlyImport(decl) : decl.isTypeOnly();
-}
-//# sourceMappingURL=module-dependencies.js.map

package/dist/core/module-dependencies.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"module-dependencies.js","sourceRoot":"","sources":["../../src/core/module-dependencies.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAA;AAE/B,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AAOtD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,kBAAkB,CAAC,EAAc;IAC/C,MAAM,SAAS,GAAG,EAAE;SACjB,qBAAqB,EAAE;SACvB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,uBAAuB,EAAE,KAAK,SAAS,CAAC,CAAA;IAC3D,OAAO,CAAC,GAAG,EAAE,CAAC,qBAAqB,EAAE,EAAE,GAAG,SAAS,CAAC,CAAA;AACtD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAoB;IACxD,MAAM,QAAQ,GAAG,IAAI,CAAC,4BAA4B,EAAE,CAAA;IACpD,OAAO,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,uBAAuB,EAAE,IAAI,EAAE,CAAC,CAAA;AACnF,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAoB;IACvD,OAAO,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,EAAE,CAAA;AACpF,CAAC"}

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

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

package/dist/helpers/within.js.map

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