@nielspeter/eess 0.2.2 → 0.5.0

package/dist/glob-site.js

@@ -0,0 +1,156 @@
+/**
+ * The declaration side of plan 0069: what a glob is, and how a set of globs
+ * combines, so that "this rule can never match anything" is answerable without
+ * running the rule.
+ *
+ * Nothing here evaluates. Evaluation lives in `glob-diagnosis.ts`, against the
+ * path universe; this module only describes.
+ */
+/**
+ * Is a dead glob at this position a **fault**?
+ *
+ * One owner for a decision that was written twice, inversely, and disagreed —
+ * [ts-archunit plan 0080](https://github.com/nielspeter/ts-archunit/blob/main/plans/completed/0080-admit-discovery-globs-to-the-dead-glob-gate.md).
+ *
+ * | site | said | i.e. |
+ * | --- | --- | --- |
+ * | `diagnose.ts` | skip `exclusion` and `condition` | selector **and discovery** are faults |
+ * | `terminal-builder.ts` | skip anything but `selector` | only selector is |
+ *
+ * So `doctor` reported a dead `discovery` glob and the check that gates the build
+ * did not — the divergence bug 0040's silence half is made of. Two hand-maintained
+ * inverse lists that must agree is the shape ADR-009 rule 5 keeps charging this
+ * project for; a shared predicate is the whole fix.
+ *
+ * **`selector` and `discovery` are faults.** Both name what a rule will judge, so
+ * a dead one means the rule judges nothing.
+ *
+ * **`condition` and `exclusion` are not.** A condition glob is an assertion
+ * *about* the subjects — `onlyImportFrom('**\/domain/**')` matching nothing is a
+ * satisfied rule, not a broken one (bug 0014) — and an exclusion glob matching
+ * nothing is an unused exemption, which `.excluding()` reports on its own terms.
+ *
+ * ## A `switch`, not an `||`, and that is the point
+ *
+ * It shipped as `position === 'selector' || position === 'discovery'` — an
+ * allow-list with no exhaustiveness check. Review measured the consequence: a
+ * **fifth** `GlobPosition` added to the union above compiles clean and leaves the
+ * whole suite green, silently a non-fault in all three consumers. A dead glob
+ * written at it would be invisible in `doctor` *and* in the build — which is the
+ * original divergence's failure direction, one level up, in the predicate that
+ * exists to remove it.
+ *
+ * The predicate's own test enumerates the four known values, which is a
+ * restatement of the implementation and structurally cannot cover a fifth. The
+ * `never` assignment below can, and it fails at compile time rather than at
+ * review time.
+ */
+export function isFaultPosition(position) {
+    switch (position) {
+        case 'selector':
+        case 'discovery':
+            return true;
+        case 'condition':
+        case 'exclusion':
+            return false;
+        default: {
+            // A new position must say which it is. Deciding by default is how the two
+            // inverse lists came to disagree in the first place.
+            const exhaustive = position;
+            return exhaustive;
+        }
+    }
+}
+/** How many real declarations a tree holds. Opaque leaves do not count. */
+export function countDeclaredGlobs(tree) {
+    let total = 0;
+    for (const child of tree.children) {
+        if (isGlobNode(child))
+            total += countDeclaredGlobs(child);
+        else if (!isOpaqueGlob(child))
+            total++;
+    }
+    return total;
+}
+/** Narrow a tree position to an interior node. */
+export function isGlobNode(value) {
+    return 'op' in value;
+}
+/** Narrow a leaf to the opaque case. */
+export function isOpaqueGlob(value) {
+    return 'opaque' in value;
+}
+/**
+ * A variadic declaration: any one of these globs matching is enough.
+ *
+ * `importFrom(...globs)` is `matchers.some`, so the set is dead only when
+ * every glob in it is — which is exactly `any`. Getting this wrong in the
+ * other direction is what the 0.18.1 withdrawal was.
+ */
+export function globAnyOf(globs, kind, base) {
+    return { op: 'any', children: globs.map((glob) => ({ glob, kind, base })) };
+}
+/** A single declaration as a one-element `any` tree. */
+export function globNode(leaf) {
+    return { op: 'any', children: [leaf] };
+}
+/**
+ * Stamp a declared tree with what only the builder knows.
+ *
+ * `origin` is a function of the declaration so each site can name itself —
+ * `resideInFolder("**\/src/x/**")` — rather than every site in one predicate
+ * sharing a single label.
+ */
+export function stampGlobs(declared, position, origin) {
+    return {
+        op: declared.op,
+        children: declared.children.map((child) => {
+            if (isGlobNode(child))
+                return stampGlobs(child, position, origin);
+            if (isOpaqueGlob(child))
+                return child;
+            return { ...child, position, origin: origin(child) };
+        }),
+    };
+}
+/**
+ * Negate a glob tree: invert `op` at every node **and** flip `polarity` at
+ * every site.
+ *
+ * A polarity flip alone is not enough, and the shortfall is not exotic — it is
+ * reachable through public exports, since `and()` returns a `Predicate<T>` and
+ * `not()` takes one. `not(and(live, not(dead)))` selects a non-empty set and
+ * would be reported dead; `not(or(live, not(dead)))` selects nothing and would
+ * be missed. Inverting `op` as well is the standard negation-normal-form
+ * push-down and fixes both directions, leaving every simpler case unchanged:
+ * `not(not(dead))` still faults, `not(and(a, b))` still does not.
+ */
+export function negateGlobs(tree) {
+    return {
+        op: tree.op === 'all' ? 'any' : 'all',
+        children: tree.children.map((child) => isGlobNode(child) ? negateGlobs(child) : negateLeaf(child)),
+    };
+}
+function negateLeaf(leaf) {
+    if (isOpaqueGlob(leaf))
+        return leaf;
+    return {
+        ...leaf,
+        polarity: (leaf.polarity ?? 'positive') === 'positive' ? 'negative' : 'positive',
+    };
+}
+/**
+ * Combine inputs into one node, treating a missing declaration as opaque.
+ *
+ * Every input contributes exactly one child, so the arity of the node always
+ * matches the arity of the combinator — which is what keeps `negateGlobs`
+ * sound and empty nodes unreachable.
+ */
+export function combineGlobs(op, inputs) {
+    return {
+        op,
+        children: inputs.map((input) => input ?? OPAQUE),
+    };
+}
+const OPAQUE = { opaque: true };
+//# sourceMappingURL=glob-site.js.map

package/dist/glob-site.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"glob-site.js","sourceRoot":"","sources":["../src/glob-site.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAuCH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,MAAM,UAAU,eAAe,CAAC,QAAsB;IACpD,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,IAAI,CAAA;QACb,KAAK,WAAW,CAAC;QACjB,KAAK,WAAW;YACd,OAAO,KAAK,CAAA;QACd,OAAO,CAAC,CAAC,CAAC;YACR,0EAA0E;YAC1E,qDAAqD;YACrD,MAAM,UAAU,GAAU,QAAQ,CAAA;YAClC,OAAO,UAAU,CAAA;QACnB,CAAC;IACH,CAAC;AACH,CAAC;AAiHD,2EAA2E;AAC3E,MAAM,UAAU,kBAAkB,CAAmB,IAAiB;IACpE,IAAI,KAAK,GAAG,CAAC,CAAA;IACb,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClC,IAAI,UAAU,CAAC,KAAK,CAAC;YAAE,KAAK,IAAI,kBAAkB,CAAC,KAAK,CAAC,CAAA;aACpD,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC;YAAE,KAAK,EAAE,CAAA;IACxC,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,kDAAkD;AAClD,MAAM,UAAU,UAAU,CACxB,KAAgC;IAEhC,OAAO,IAAI,IAAI,KAAK,CAAA;AACtB,CAAC;AAED,wCAAwC;AACxC,MAAM,UAAU,YAAY,CAC1B,KAAgC;IAEhC,OAAO,QAAQ,IAAI,KAAK,CAAA;AAC1B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,SAAS,CACvB,KAAwB,EACxB,IAAc,EACd,IAAe;IAEf,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAA;AAC7E,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,QAAQ,CAAmB,IAAO;IAChD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,EAAE,CAAA;AACxC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CACxB,QAAuB,EACvB,QAAsB,EACtB,MAAsC;IAEtC,OAAO;QACL,EAAE,EAAE,QAAQ,CAAC,EAAE;QACf,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;YACxC,IAAI,UAAU,CAAC,KAAK,CAAC;gBAAE,OAAO,UAAU,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAA;YACjE,IAAI,YAAY,CAAC,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAA;YACrC,OAAO,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAA;QACtD,CAAC,CAAC;KACH,CAAA;AACH,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,WAAW,CAAyB,IAAiB;IACnE,OAAO;QACL,EAAE,EAAE,IAAI,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK;QACrC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACpC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAC3D;KACF,CAAA;AACH,CAAC;AAED,SAAS,UAAU,CAAyB,IAAiB;IAC3D,IAAI,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAA;IACnC,OAAO;QACL,GAAG,IAAI;QACP,QAAQ,EAAE,CAAC,IAAI,CAAC,QAAQ,IAAI,UAAU,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU;KACjF,CAAA;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAC1B,EAAiB,EACjB,MAA4C;IAE5C,OAAO;QACL,EAAE;QACF,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,IAAI,MAAM,CAAC;KACjD,CAAA;AACH,CAAC;AAED,MAAM,MAAM,GAAe,EAAE,MAAM,EAAE,IAAI,EAAE,CAAA"}

package/dist/identity-root.d.ts

@@ -0,0 +1,55 @@
+/**
+ * Find the identity root for a baseline: the repository or workspace root
+ * containing `startDir`.
+ *
+ * Resolution order, all **nearest-first**:
+ *
+ * 1. `.git` — the definitive repository root. Tested with `existsSync`, not
+ *    `isDirectory`: in a worktree or submodule it is a *file* holding a gitdir
+ *    pointer, and a worktree is precisely the "same code, different absolute
+ *    path" case this module exists to survive.
+ * 2. a `package.json` declaring `workspaces` — a monorepo root without git.
+ * 3. any `package.json` — a single-package project.
+ * 4. `startDir` itself, when nothing is found. That degrades to the previous
+ *    behaviour for that one path rather than guessing.
+ *
+ * Nearest, **not** outermost. Outermost is tempting for monorepos, but it is
+ * wrong the moment any ancestor is also a repository — a home directory under
+ * dotfiles version control is the common case — because the root would then sit
+ * above the checkout and the "relative" path would still carry
+ * `Documents/Projects/…`, which differs per machine. It reproduces the bug it
+ * is meant to fix. The nearest `.git` is the repository root by definition, and
+ * in a monorepo that is already the workspace root, so nearest costs nothing.
+ */
+export declare function discoverIdentityRoot(startDir: string): string;
+/**
+ * Convert a filesystem path to its portable form: relative to the identity
+ * root, with forward slashes.
+ *
+ * A path outside the root is returned unchanged — relativising it would encode
+ * the root's *depth* (`../../..`), which varies by machine and would reproduce
+ * the very bug this fixes.
+ */
+export declare function toPortablePath(filePath: string, root: string): string;
+/**
+ * Replace every occurrence of the identity root inside free text with a stable
+ * token.
+ *
+ * Rule descriptions, element names and messages are prose: producers
+ * interpolate `getFilePath()` into them (`src/smells/duplicate-bodies.ts`,
+ * `src/presets/boundaries.ts`, and any user-written `defineCondition`). Since
+ * the text is unstructured, this substitutes the known root prefix rather than
+ * trying to parse paths out of it — a regex would also rewrite the `/src`
+ * inside a doubled-star glob, which is not a path at all, and relativising it
+ * would encode the root's depth.
+ *
+ * Substring replacement is sufficient because the only machine-dependent part
+ * of an interpolated path IS the root prefix; everything after it is a property
+ * of the repository.
+ *
+ * Only the *root* is separator-normalized, never the surrounding text: rule
+ * descriptions embed regex sources (`/\bparse/`), and rewriting their
+ * backslashes would let two distinct rules collide on one identity.
+ */
+export declare function normalizeIdentityText(text: string, root: string): string;
+//# sourceMappingURL=identity-root.d.ts.map

package/dist/identity-root.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"identity-root.d.ts","sourceRoot":"","sources":["../src/identity-root.ts"],"names":[],"mappings":"AAsBA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAuB7D;AAmDD;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAMrE;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAUxE"}

package/dist/identity-root.js

@@ -0,0 +1,170 @@
+import fs from 'node:fs';
+import path from 'node:path';
+/**
+ * Where the repository or workspace root is, and how to make a path portable
+ * relative to it.
+ *
+ * Lives in `core/` rather than `helpers/` because two things in `core/` need
+ * it — violation identity and the disk set behind `outside-project` — and the
+ * `core must not import from helpers` dogfood rule is right: core is the
+ * foundation. This module depends on nothing but `node:fs` and `node:path`, so
+ * it always belonged here; it was in `helpers/` only because `baseline.ts`
+ * happened to need it first. That rule caught the misplacement the same day it
+ * was introduced.
+ */
+/**
+ * Placeholder substituted for the identity root when hashing a violation.
+ * Chosen to be something no real path contains.
+ */
+const ROOT_TOKEN = '<root>';
+/**
+ * Find the identity root for a baseline: the repository or workspace root
+ * containing `startDir`.
+ *
+ * Resolution order, all **nearest-first**:
+ *
+ * 1. `.git` — the definitive repository root. Tested with `existsSync`, not
+ *    `isDirectory`: in a worktree or submodule it is a *file* holding a gitdir
+ *    pointer, and a worktree is precisely the "same code, different absolute
+ *    path" case this module exists to survive.
+ * 2. a `package.json` declaring `workspaces` — a monorepo root without git.
+ * 3. any `package.json` — a single-package project.
+ * 4. `startDir` itself, when nothing is found. That degrades to the previous
+ *    behaviour for that one path rather than guessing.
+ *
+ * Nearest, **not** outermost. Outermost is tempting for monorepos, but it is
+ * wrong the moment any ancestor is also a repository — a home directory under
+ * dotfiles version control is the common case — because the root would then sit
+ * above the checkout and the "relative" path would still carry
+ * `Documents/Projects/…`, which differs per machine. It reproduces the bug it
+ * is meant to fix. The nearest `.git` is the repository root by definition, and
+ * in a monorepo that is already the workspace root, so nearest costs nothing.
+ */
+export function discoverIdentityRoot(startDir) {
+    const resolved = path.resolve(startDir);
+    let nearestPackage;
+    let current = resolved;
+    for (;;) {
+        if (fs.existsSync(path.join(current, '.git')))
+            return current;
+        if (WORKSPACE_MARKERS.some((marker) => fs.existsSync(path.join(current, marker))))
+            return current;
+        const manifest = path.join(current, 'package.json');
+        if (fs.existsSync(manifest)) {
+            if (nearestPackage === undefined)
+                nearestPackage = current;
+            if (declaresWorkspaces(manifest))
+                return current;
+        }
+        const parent = path.dirname(current);
+        if (parent === current)
+            break;
+        current = parent;
+    }
+    return nearestPackage ?? resolved;
+}
+/**
+ * Files that mark a monorepo root for a tool other than npm/yarn/bun.
+ *
+ * Without these, a pnpm or Nx repo whose `.git` is absent — a Docker build
+ * (`.dockerignore` excludes `.git` in essentially every Node guide), a source
+ * tarball, `git archive`, a CI provider that ships a source artifact — falls
+ * through to the *nearest* `package.json`, i.e. the individual package. The
+ * developer machine has `.git` and resolves the workspace root, CI does not
+ * and resolves `packages/api`, the two roots disagree, and every hash differs.
+ *
+ * That is bug 0010's own symptom, reintroduced by the heuristic meant to fix
+ * it — and invisible, because both files carry the current hashVersion. Only
+ * npm/yarn/bun put workspaces in `package.json`; everyone else uses a file.
+ *
+ * Deliberately **root-only** files. `turbo.json` and `deno.json` are excluded
+ * even though they mark monorepos, because both are legal *inside* a package
+ * (Turborepo Package Configurations, per-package Deno config) and would anchor
+ * below the workspace root — the exact divergence this list exists to prevent.
+ * Turborepo is covered anyway: it runs on top of npm/pnpm/yarn workspaces, so
+ * one of the other markers is always present at the real root.
+ */
+const WORKSPACE_MARKERS = [
+    'pnpm-workspace.yaml',
+    'pnpm-workspace.yml',
+    'lerna.json',
+    'rush.json',
+    'nx.json',
+];
+/**
+ * Whether a package.json declares npm/yarn/bun workspaces, marking it as the
+ * root of a monorepo. An unreadable or malformed manifest is simply not a
+ * workspace root — it must not abort baseline loading.
+ */
+function declaresWorkspaces(manifestPath) {
+    try {
+        const parsed = JSON.parse(fs.readFileSync(manifestPath, 'utf-8'));
+        return parsed !== null && typeof parsed === 'object' && 'workspaces' in parsed;
+    }
+    catch (error) {
+        // A malformed or unreadable package.json is simply not a workspace root —
+        // it must not abort identity-root discovery (or baseline loading behind
+        // it) over a manifest this function doesn't even need to parse correctly.
+        // Deliberately unexamined: every failure mode (bad JSON, permissions, a
+        // symlink race) reduces to the same "not a workspace root" answer.
+        void error;
+        return false;
+    }
+}
+/**
+ * Convert a filesystem path to its portable form: relative to the identity
+ * root, with forward slashes.
+ *
+ * A path outside the root is returned unchanged — relativising it would encode
+ * the root's *depth* (`../../..`), which varies by machine and would reproduce
+ * the very bug this fixes.
+ */
+export function toPortablePath(filePath, root) {
+    const normalizedRoot = normalizeSeparators(root);
+    const normalizedPath = normalizeSeparators(filePath);
+    const prefix = normalizedRoot.endsWith('/') ? normalizedRoot : normalizedRoot + '/';
+    if (!normalizedPath.startsWith(prefix))
+        return normalizedPath;
+    return normalizedPath.slice(prefix.length);
+}
+/**
+ * Replace every occurrence of the identity root inside free text with a stable
+ * token.
+ *
+ * Rule descriptions, element names and messages are prose: producers
+ * interpolate `getFilePath()` into them (`src/smells/duplicate-bodies.ts`,
+ * `src/presets/boundaries.ts`, and any user-written `defineCondition`). Since
+ * the text is unstructured, this substitutes the known root prefix rather than
+ * trying to parse paths out of it — a regex would also rewrite the `/src`
+ * inside a doubled-star glob, which is not a path at all, and relativising it
+ * would encode the root's depth.
+ *
+ * Substring replacement is sufficient because the only machine-dependent part
+ * of an interpolated path IS the root prefix; everything after it is a property
+ * of the repository.
+ *
+ * Only the *root* is separator-normalized, never the surrounding text: rule
+ * descriptions embed regex sources (`/\bparse/`), and rewriting their
+ * backslashes would let two distinct rules collide on one identity.
+ */
+export function normalizeIdentityText(text, root) {
+    const posixRoot = normalizeSeparators(root);
+    if (posixRoot === '')
+        return text;
+    const win32Root = posixRoot.replaceAll('/', '\\');
+    const withToken = text.replaceAll(posixRoot, ROOT_TOKEN).replaceAll(win32Root, ROOT_TOKEN);
+    // Collapse `<root>/x` and `<root>x` so a root with and without a trailing
+    // separator produce identical identity.
+    return withToken
+        .replaceAll(ROOT_TOKEN + '/', ROOT_TOKEN)
+        .replaceAll(ROOT_TOKEN + '\\', ROOT_TOKEN);
+}
+/**
+ * Normalize Windows separators so a baseline generated on one OS matches on
+ * another. ts-morph already returns forward slashes; interpolated `path.*`
+ * output and the stored `file` field do not.
+ */
+function normalizeSeparators(value) {
+    return value.replaceAll('\\', '/');
+}
+//# sourceMappingURL=identity-root.js.map

package/dist/identity-root.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"identity-root.js","sourceRoot":"","sources":["../src/identity-root.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,SAAS,CAAA;AACxB,OAAO,IAAI,MAAM,WAAW,CAAA;AAE5B;;;;;;;;;;;GAWG;AAEH;;;GAGG;AACH,MAAM,UAAU,GAAG,QAAQ,CAAA;AAE3B;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,oBAAoB,CAAC,QAAgB;IACnD,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAA;IACvC,IAAI,cAAkC,CAAA;IAEtC,IAAI,OAAO,GAAG,QAAQ,CAAA;IACtB,SAAS,CAAC;QACR,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;YAAE,OAAO,OAAO,CAAA;QAE7D,IAAI,iBAAiB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;YAC/E,OAAO,OAAO,CAAA;QAEhB,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,cAAc,CAAC,CAAA;QACnD,IAAI,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5B,IAAI,cAAc,KAAK,SAAS;gBAAE,cAAc,GAAG,OAAO,CAAA;YAC1D,IAAI,kBAAkB,CAAC,QAAQ,CAAC;gBAAE,OAAO,OAAO,CAAA;QAClD,CAAC;QAED,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;QACpC,IAAI,MAAM,KAAK,OAAO;YAAE,MAAK;QAC7B,OAAO,GAAG,MAAM,CAAA;IAClB,CAAC;IAED,OAAO,cAAc,IAAI,QAAQ,CAAA;AACnC,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,iBAAiB,GAAG;IACxB,qBAAqB;IACrB,oBAAoB;IACpB,YAAY;IACZ,WAAW;IACX,SAAS;CACD,CAAA;AAEV;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,YAAoB;IAC9C,IAAI,CAAC;QACH,MAAM,MAAM,GAAY,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC,CAAA;QAC1E,OAAO,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,YAAY,IAAI,MAAM,CAAA;IAChF,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,0EAA0E;QAC1E,wEAAwE;QACxE,0EAA0E;QAC1E,wEAAwE;QACxE,mEAAmE;QACnE,KAAK,KAAK,CAAA;QACV,OAAO,KAAK,CAAA;IACd,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,QAAgB,EAAE,IAAY;IAC3D,MAAM,cAAc,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAA;IAChD,MAAM,cAAc,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAA;IACpD,MAAM,MAAM,GAAG,cAAc,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,cAAc,GAAG,GAAG,CAAA;IACnF,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,MAAM,CAAC;QAAE,OAAO,cAAc,CAAA;IAC7D,OAAO,cAAc,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;AAC5C,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAY,EAAE,IAAY;IAC9D,MAAM,SAAS,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAA;IAC3C,IAAI,SAAS,KAAK,EAAE;QAAE,OAAO,IAAI,CAAA;IACjC,MAAM,SAAS,GAAG,SAAS,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;IACjD,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,UAAU,CAAC,SAAS,EAAE,UAAU,CAAC,CAAA;IAC1F,0EAA0E;IAC1E,wCAAwC;IACxC,OAAO,SAAS;SACb,UAAU,CAAC,UAAU,GAAG,GAAG,EAAE,UAAU,CAAC;SACxC,UAAU,CAAC,UAAU,GAAG,IAAI,EAAE,UAAU,CAAC,CAAA;AAC9C,CAAC;AAED;;;;GAIG;AACH,SAAS,mBAAmB,CAAC,KAAa;IACxC,OAAO,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;AACpC,CAAC"}

package/dist/index.d.ts

@@ -3,11 +3,14 @@ export type { Condition, ConditionContext } from './condition.js';
 export { not, and, or } from './combinators.js';
 export type { Matcher } from './combinators.js';
 export type { ArchViolation, ArchFix } from './violation.js';
-export { applyFixes } from './apply-fixes.js';
-export type { ApplyResult } from './apply-fixes.js';
 export { RuleBuilder } from './rule-builder.js';
 export { TerminalBuilder } from './terminal-builder.js';
-export { ArchRuleError } from './errors.js';
+export type { CollectResult, Evidence } from './collect-result.js';
+export { collectResult, mergeCollectResults, hasEvidence } from './collect-result.js';
+export { EMITTER_NO_RECEIPT, EMITTER_PASS_WITHOUT_EVIDENCE, EMITTER_EXPIRED_DECLARATION, EMITTER_CONTRADICTORY_EVIDENCE, EMITTER_SOURCE_EMPTY, } from './emitter-findings.js';
+export { assertsCardinality } from './cardinality.js';
+export { ArchRuleError, isArchRuleError, ArchConfigError, isArchConfigError } from './errors.js';
+export type { PathUniverse } from './path-universe.js';
 export type { RuleMetadata } from './rule-metadata.js';
 export type { RuleDescription } from './rule-description.js';
 export { generateCodeFrame } from './code-frame.js';
@@ -19,24 +22,27 @@ export { formatViolationsGitHub } from './format-github.js';
 export type { CheckOptions, OutputFormat, BaselineFilter, DiffFilterLike } from './check-options.js';
 export { detectFormat, isCI } from './environment.js';
 export { definePredicate, defineCondition } from './define.js';
-export { dispatchRule, validateOverrides, throwIfViolations } from './preset-dispatch.js';
+export { dispatchRule, validateOverrides } from './preset-dispatch.js';
 export { reportViolations, finishPreset } from './report.js';
 export type { ReportMode, ReportOptions, PresetReportOptions } from './report.js';
 export type { RuleSeverity, PresetBaseOptions } from './preset-dispatch.js';
-export { matchSelections } from './matching.js';
-export type { Pair, MatchResult, MatchOptions } from './matching.js';
+export type { Dispatchable } from './preset-dispatch.js';
 export { correspondence, CorrespondenceBuilder } from './correspondence.js';
-export type { Selection, ElementInfo, Direction, RelationSpec, CorrespondenceOptions, KeyBy, } from './correspondence.js';
-export { applyFilters } from './execute-rule.js';
-export { escapeGitHub } from './format-github.js';
-export { hashViolation } from './baseline.js';
-export { bold, red, dim, yellow, cyan, gray } from './ansi.js';
+export type { Selection, ElementInfo, Direction } from './correspondence.js';
+export type { RelationSpec, CorrespondenceOptions, KeyBy } from './correspondence.js';
 export { parseExclusionComments, isExcludedByComment } from './exclusion-comments.js';
-export type { ExclusionComment, ExclusionWarning, ParseResult } from './exclusion-comments.js';
+export type { ExclusionComment, ExclusionWarning, ParseResult, MaskNonComment, ParseExclusionOptions, } from './exclusion-comments.js';
 export { silent } from './silent-exclusion.js';
 export type { SilentExclusion } from './silent-exclusion.js';
 export { withBaseline, generateBaseline, Baseline } from './baseline.js';
 export type { BaselineEntry, BaselineFile } from './baseline.js';
 export { collectViolations } from './baseline-generator.js';
 export { diffAware, DiffFilter } from './diff-aware.js';
+export type { UntestedReason, EdgeCoverage } from './edge-coverage.js';
+export type { GlobKind, GlobPosition, GlobBase, DeclaredGlob, GlobSite, OpaqueGlob, GlobLeaf, GlobTree, DeclaredGlobs, GlobNode, } from './glob-site.js';
+export type { ArchJsonViolation, ArchJsonSuppression, ArchJsonUntestedAllowlist, ArchJsonReport, } from './format-json.js';
+export type { CorrespondenceResult } from './correspondence-core.js';
+export { setCorrespondence } from './correspondence-core.js';
+export type { RuleBuilderLike } from './rule-builder-like.js';
+export { globAnyOf, globNode } from './glob-site.js';
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAQA,YAAY,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC/C,YAAY,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAA;AACjE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAA;AAC/C,YAAY,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAA;AAG/C,YAAY,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAA;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAC7C,YAAY,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAGnD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAC3C,YAAY,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACtD,YAAY,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAG5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAA;AACnD,YAAY,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA;AACvD,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAA;AACrE,YAAY,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAChD,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAA;AACvD,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAA;AAG3D,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAA;AACpG,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAGrD,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,aAAa,CAAA;AAG9D,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AACzF,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAC5D,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AACjF,YAAY,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AAG3E,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAA;AAC/C,YAAY,EAAE,IAAI,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,eAAe,CAAA;AAGpE,OAAO,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAA;AAC3E,YAAY,EACV,SAAS,EACT,WAAW,EACX,SAAS,EACT,YAAY,EACZ,qBAAqB,EACrB,KAAK,GACN,MAAM,qBAAqB,CAAA;AAG5B,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAA;AAC7C,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAG9D,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AACrF,YAAY,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAA;AAC9F,OAAO,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAA;AAC9C,YAAY,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAG5D,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AACxE,YAAY,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,eAAe,CAAA;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAC3D,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAQA,YAAY,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC/C,YAAY,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAA;AACjE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAA;AAC/C,YAAY,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAA;AAG/C,YAAY,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAA;AAG5D,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAGvD,YAAY,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AAClE,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AACrF,OAAO,EACL,kBAAkB,EAClB,6BAA6B,EAC7B,2BAA2B,EAC3B,8BAA8B,EAC9B,oBAAoB,GACrB,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAA;AACrD,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAA;AAKhG,YAAY,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACtD,YAAY,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACtD,YAAY,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAG5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAA;AACnD,YAAY,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA;AACvD,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAA;AACrE,YAAY,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAChD,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAA;AACvD,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAA;AAG3D,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAA;AACpG,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAGrD,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,aAAa,CAAA;AAG9D,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AACtE,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAC5D,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AACjF,YAAY,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AAK3E,YAAY,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAA;AAGxD,OAAO,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAA;AAC3E,YAAY,EAAE,SAAS,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAA;AAG5E,YAAY,EAAE,YAAY,EAAE,qBAAqB,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAA;AAGrF,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AACrF,YAAY,EACV,gBAAgB,EAChB,gBAAgB,EAChB,WAAW,EACX,cAAc,EACd,qBAAqB,GACtB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAA;AAC9C,YAAY,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAG5D,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AACxE,YAAY,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,eAAe,CAAA;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAC3D,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAGvD,YAAY,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAMtE,YAAY,EACV,QAAQ,EACR,YAAY,EACZ,QAAQ,EACR,YAAY,EACZ,QAAQ,EACR,UAAU,EACV,QAAQ,EACR,QAAQ,EACR,aAAa,EACb,QAAQ,GACT,MAAM,gBAAgB,CAAA;AACvB,YAAY,EACV,iBAAiB,EACjB,mBAAmB,EACnB,yBAAyB,EACzB,cAAc,GACf,MAAM,kBAAkB,CAAA;AACzB,YAAY,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAA;AACpE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAA;AAC5D,YAAY,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAA;AAO7D,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAA"}

package/dist/index.js

@@ -5,11 +5,13 @@
 // defineCondition extension points. Nothing here depends on ts-morph or any
 // dialect-specific parser.
 export { not, and, or } from './combinators.js';
-export { applyFixes } from './apply-fixes.js';
 // Rule builder, terminal builder, error
 export { RuleBuilder } from './rule-builder.js';
 export { TerminalBuilder } from './terminal-builder.js';
-export { ArchRuleError } from './errors.js';
+export { collectResult, mergeCollectResults, hasEvidence } from './collect-result.js';
+export { EMITTER_NO_RECEIPT, EMITTER_PASS_WITHOUT_EVIDENCE, EMITTER_EXPIRED_DECLARATION, EMITTER_CONTRADICTORY_EVIDENCE, EMITTER_SOURCE_EMPTY, } from './emitter-findings.js';
+export { assertsCardinality } from './cardinality.js';
+export { ArchRuleError, isArchRuleError, ArchConfigError, isArchConfigError } from './errors.js';
 // Code frame & formatting
 export { generateCodeFrame } from './code-frame.js';
 export { formatViolations, formatViolationsPlain } from './format.js';
@@ -19,17 +21,10 @@ export { detectFormat, isCI } from './environment.js';
 // Custom predicate/condition factories
 export { definePredicate, defineCondition } from './define.js';
 // Preset dispatch — generic per-rule severity/override infrastructure for presets
-export { dispatchRule, validateOverrides, throwIfViolations } from './preset-dispatch.js';
+export { dispatchRule, validateOverrides } from './preset-dispatch.js';
 export { reportViolations, finishPreset } from './report.js';
-// Matching engine — shared by correspondence() and eess-ts's crossLayer
-export { matchSelections } from './matching.js';
 // Cross-validation — bind two element Selections and assert they correspond
 export { correspondence, CorrespondenceBuilder } from './correspondence.js';
-// Lower-level building blocks (used by dialects and covered by kernel tests)
-export { applyFilters } from './execute-rule.js';
-export { escapeGitHub } from './format-github.js';
-export { hashViolation } from './baseline.js';
-export { bold, red, dim, yellow, cyan, gray } from './ansi.js';
 // Exclusions
 export { parseExclusionComments, isExcludedByComment } from './exclusion-comments.js';
 export { silent } from './silent-exclusion.js';
@@ -37,4 +32,11 @@ export { silent } from './silent-exclusion.js';
 export { withBaseline, generateBaseline, Baseline } from './baseline.js';
 export { collectViolations } from './baseline-generator.js';
 export { diffAware, DiffFilter } from './diff-aware.js';
+export { setCorrespondence } from './correspondence-core.js';
+// Glob declaration — the constructors a user-written `definePredicate` needs to
+// declare what it matches on. The types are above; these build them. ADR-011's
+// first cut moved them behind `/internal` and left `packages/ts/src/index.ts`'s
+// comment about them standing over the types alone, so the documented extension
+// path required the internal entry point.
+export { globAnyOf, globNode } from './glob-site.js';
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

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

package/dist/internal.d.ts

@@ -0,0 +1,55 @@
+export type { ApplyResult } from './apply-fixes.js';
+export type { Describable } from './rule-description.js';
+export type { OnDisk, DiskSet } from './disk-set.js';
+export type { Pair, MatchResult, MatchOptions } from './matching.js';
+export { DECLARE_INSTEAD } from './unsuppressable.js';
+export { UNSUPPRESSABLE } from './unsuppressable.js';
+export { UNSUPPRESSABLE_MECHANISMS } from './unsuppressable.js';
+export { applyFilters } from './execute-rule.js';
+export { applyFixes } from './apply-fixes.js';
+export { assertionLessViolation } from './terminal-builder.js';
+export { bold, red, dim, yellow, cyan, gray } from './ansi.js';
+export { byCodepoint, severityFor, remedyRepeatsMessage } from './violation.js';
+export { dedupeConfigFindings } from './dedupe-config-findings.js';
+export { isEmitterFinding, EMITTER_IDS } from './emitter-findings.js';
+export { disambiguateIdentities } from './violation.js';
+export { discoverIdentityRoot, normalizeIdentityText } from './identity-root.js';
+export { escapeGitHub } from './format-github.js';
+export { hashViolation } from './baseline.js';
+export { identityCollisions } from './violation.js';
+export { isAnchored, isProjectRelative } from './project-relative.js';
+export { isDescribable } from './rule-description.js';
+export { isFaultPosition, countDeclaredGlobs, isGlobNode, isOpaqueGlob, stampGlobs, negateGlobs, combineGlobs, } from './glob-site.js';
+export { isRecord, isNullaryCallable } from './type-guards.js';
+export { isSilent } from './silent-exclusion.js';
+export { marksAssertsCardinality } from './cardinality.js';
+export { marksOwnEmptyDiscovery, ownsEmptyDiscovery } from './owns-empty-discovery.js';
+export { matchSelections } from './matching.js';
+export { recordEdgeCoverage, untestedRules, edgeCoverageNotice, resetEdgeCoverage, } from './edge-coverage.js';
+export { registerCacheReset, clearRegisteredCaches } from './cache-registry.js';
+export { resetCommentSuppression, recordCommentSuppression, commentSuppressions, commentSuppressionNotice, } from './comment-suppression.js';
+export { resetIdentityCollisions } from './violation.js';
+export { resetStderrGuardForTests } from './stderr.js';
+export { selectionMemo } from './selection-memo.js';
+export { shallowClone } from './shallow-clone.js';
+export { subjectOf } from './violation.js';
+export { suppressionNotice, activeNotice, resetDiffDisclosureForTests } from './diff-disclosure.js';
+export { toPortablePath } from './identity-root.js';
+export { viewsFor } from './path-universe.js';
+export { pathSuffixIndex } from './path-suffix.js';
+export type { PathSuffixIndex, PathSuffixMatch } from './path-suffix.js';
+export { violationsEmittedCount } from './report.js';
+export { writeStderr } from './stderr.js';
+export { RunScheduler, watchAndRerun } from './watch.js';
+export type { WatchOptions } from './watch.js';
+export { findConfigFile, extractSharedConfig, isModuleFormatRefusal, requireRuleFiles, } from './cli-config.js';
+export type { SharedCliConfig } from './cli-config.js';
+export { walkFiles, toPosix } from './file-walk.js';
+export { declaredGlobsOf } from './rule-builder.js';
+export { recordExclusions } from './silent-exclusion.js';
+export { selectMatching, matchingElements } from './correspondence.js';
+export { recordPredicate } from './predicate.js';
+export { evaluateConditions, conditionContextFrom } from './condition.js';
+export { ruleDescriptionOf, ruleDescriptionFrom } from './rule-description.js';
+export { assertHomogeneous } from './combinators.js';
+//# sourceMappingURL=internal.d.ts.map

package/dist/internal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"internal.d.ts","sourceRoot":"","sources":["../src/internal.ts"],"names":[],"mappings":"AAeA,YAAY,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AACnD,YAAY,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAA;AACxD,YAAY,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AACpD,YAAY,EAAE,IAAI,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,eAAe,CAAA;AACpE,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAA;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AACpD,OAAO,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAA;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAC7C,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAA;AAC9D,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAC9D,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAA;AAC/E,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAA;AAOlE,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAA;AACrE,OAAO,EAAE,sBAAsB,EAAE,MAAM,gBAAgB,CAAA;AACvD,OAAO,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAA;AAChF,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAA;AAC7C,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AACnD,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAA;AACrE,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAA;AACrD,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,UAAU,EACV,YAAY,EACZ,UAAU,EACV,WAAW,EACX,YAAY,GACb,MAAM,gBAAgB,CAAA;AACvB,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AAC9D,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAA;AAChD,OAAO,EAAE,uBAAuB,EAAE,MAAM,kBAAkB,CAAA;AAC1D,OAAO,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAA;AACtF,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAA;AAC/C,OAAO,EACL,kBAAkB,EAClB,aAAa,EACb,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAA;AAC/E,OAAO,EACL,uBAAuB,EACvB,wBAAwB,EACxB,mBAAmB,EACnB,wBAAwB,GACzB,MAAM,0BAA0B,CAAA;AACjC,OAAO,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAA;AACxD,OAAO,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAA;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC1C,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,2BAA2B,EAAE,MAAM,sBAAsB,CAAA;AACnG,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAA;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAA;AAE7C,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAClD,YAAY,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AACxE,OAAO,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAA;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AAMzC,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA;AACxD,YAAY,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AAM9C,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,qBAAqB,EACrB,gBAAgB,GACjB,MAAM,iBAAiB,CAAA;AACxB,YAAY,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAA;AAKtD,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAA;AAInD,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAA;AAInD,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAA;AAIxD,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AAItE,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAA;AAIhD,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAA;AAIzE,OAAO,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAA;AAC9E,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA"}