@nielspeter/eess 0.2.1 → 0.4.0

package/dist/format.js

@@ -1,16 +1,37 @@
+import { remedyRepeatsMessage } from './violation.js';
 import { bold, red, cyan, dim } from './ansi.js';
 import path from 'node:path';
 /** Format a single violation into a rich terminal section. */
 function formatSingleViolation(v, index, total, cwd, showCodeFrames, reason) {
     const counter = bold(red(`Architecture Violation [${String(index + 1)} of ${String(total)}]`));
     const ruleLine = `  ${dim('Rule:')} ${v.rule}`;
-    const relativePath = path.relative(cwd, v.file);
-    const locationRef = cyan(relativePath + ':' + String(v.line));
-    const location = `  ${locationRef} ${dim('—')} ${v.element}`;
+    // `message` is printed for BOTH shapes, and it used to be printed for neither
+    // — a located violation rendered only `file:line — element`, so the one
+    // sentence saying what is actually wrong was dropped from the default surface
+    // for every ordinary violation. Nothing failed when this was fixed, because
+    // nothing pinned it either way; `formatViolationsPlain` had always printed it,
+    // so the two formatters disagreed about what a violation IS.
+    //
+    // A config-level finding has no source location: `path.relative(cwd, '')`
+    // renders as the cwd and ':0' is noise, so it gets the message alone.
+    const location = v.file
+        ? `  ${v.message}\n  ${cyan(path.relative(cwd, v.file) + ':' + String(v.line))} ${dim('—')} ${v.element}`
+        : `  ${v.message}`;
     const codeLine = showCodeFrames && v.codeFrame ? `\n${v.codeFrame}` : '';
     const whyText = v.because ?? reason;
     const whyLine = whyText ? `  ${dim('Why:')} ${whyText}` : '';
-    const fixLine = v.suggestion ? `  ${dim('Fix:')} ${v.suggestion}` : '';
+    // Suppressed whenever the `location` slot above already printed this exact
+    // text, which is now BOTH shapes — see the note there. It used to be
+    // `!v.file && remedyRepeatsMessage(v)`, and that asymmetry was load-bearing
+    // and pinned, because a located violation did not render `message` at all: its
+    // `Fix:` line was the remedy's only appearance. Rendering `message` for both
+    // shapes removed the premise, and the `!v.file` half became a defect —
+    // measured, two occurrences of the remedy for a located finding whose
+    // suggestion is its message.
+    //
+    // So do not "restore" the asymmetry from the old comment: check whether this
+    // formatter still prints `message` for a located violation first.
+    const fixLine = v.suggestion && !remedyRepeatsMessage(v) ? `  ${dim('Fix:')} ${v.suggestion}` : '';
     const docsLine = v.docs ? `  ${dim('Docs:')} ${v.docs}` : '';
     const parts = [counter, '', ruleLine, '', location];
     if (codeLine)
@@ -41,8 +62,10 @@ export function formatViolations(violations, reason, options) {
 /**
  * Format violations into a plain-text string (no ANSI codes).
  *
- * Used by ArchRuleError.message — error messages should be plain text
- * since they may be captured by test runners, serialized, or logged to files.
+ * Public export, for callers that aggregate violations themselves and need
+ * output free of ANSI codes — serialized, logged to a file, or embedded in
+ * another tool's report. `ArchRuleError.message` is a one-line summary and does
+ * not use this; the run's detail is written by `writeReport`.
  */
 export function formatViolationsPlain(violations, reason) {
     if (violations.length === 0)
@@ -51,12 +74,21 @@ export function formatViolationsPlain(violations, reason) {
     const reasonLine = reason ? `\nReason: ${reason}` : '';
     const details = violations
         .map((v, i) => {
+        // A configuration finding has no source location — it reports that a RULE
+        // enforces nothing, not that a line is wrong — so it carries `file: ''`
+        // and a `line` that means nothing. Rendering it produced a bare `(:1)`
+        // (bug 0047). The rich formatter and the GitHub formatter
+        // (`format-github.ts:58`) both already special-case this; plain and JSON
+        // were the two that did not.
+        const where = v.file === '' ? '' : ` (${v.file}:${String(v.line)})`;
         const parts = [
-            `  [${String(i + 1)}/${String(violations.length)}] ${v.element}: ${v.message} (${v.file}:${String(v.line)})`,
+            `  [${String(i + 1)}/${String(violations.length)}] ${v.element}: ${v.message}${where}`,
         ];
         if (v.codeFrame)
             parts.push(v.codeFrame);
-        if (v.suggestion)
+        // This format always renders `message`, so a remedy identical to it is
+        // already shown — see `remedyRepeatsMessage`.
+        if (v.suggestion && !remedyRepeatsMessage(v))
             parts.push(`  Fix: ${v.suggestion}`);
         return parts.join('\n');
     })

package/dist/format.js.map

@@ -1 +1 @@
-{"version":3,"file":"format.js","sourceRoot":"","sources":["../src/format.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,WAAW,CAAA;AAChD,OAAO,IAAI,MAAM,WAAW,CAAA;AAY5B,8DAA8D;AAC9D,SAAS,qBAAqB,CAC5B,CAAgB,EAChB,KAAa,EACb,KAAa,EACb,GAAW,EACX,cAAuB,EACvB,MAA0B;IAE1B,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,2BAA2B,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,OAAO,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAA;IAC9F,MAAM,QAAQ,GAAG,KAAK,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAA;IAC9C,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAA;IAC/C,MAAM,WAAW,GAAG,IAAI,CAAC,YAAY,GAAG,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;IAC7D,MAAM,QAAQ,GAAG,KAAK,WAAW,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAA;IAC5D,MAAM,QAAQ,GAAG,cAAc,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;IAExE,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,IAAI,MAAM,CAAA;IACnC,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;IAC5D,MAAM,OAAO,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;IACtE,MAAM,QAAQ,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;IAE5D,MAAM,KAAK,GAAG,CAAC,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAA;IACnD,IAAI,QAAQ;QAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IAClC,IAAI,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IAChC,IAAI,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IAChC,IAAI,QAAQ;QAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IAElC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACzB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAC9B,UAA2B,EAC3B,MAAe,EACf,OAAuB;IAEvB,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAA;IAEtC,MAAM,GAAG,GAAG,OAAO,EAAE,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,CAAA;IACzC,MAAM,cAAc,GAAG,OAAO,EAAE,UAAU,IAAI,IAAI,CAAA;IAClD,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAA;IAE/B,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACvC,qBAAqB,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,cAAc,EAAE,MAAM,CAAC,CAChE,CAAA;IAED,OAAO,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;AAC9B,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,UAA2B,EAAE,MAAe;IAChF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAA;IAEtC,MAAM,MAAM,GAAG,yBAAyB,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,SAAS,CAAA;IACjH,MAAM,UAAU,GAAG,MAAM,CAAC,CAAC,CAAC,aAAa,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;IAEtD,MAAM,OAAO,GAAG,UAAU;SACvB,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACZ,MAAM,KAAK,GAAG;YACZ,MAAM,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG;SAC7G,CAAA;QACD,IAAI,CAAC,CAAC,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;QACxC,IAAI,CAAC,CAAC,UAAU;YAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,UAAU,EAAE,CAAC,CAAA;QACtD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACzB,CAAC,CAAC;SACD,IAAI,CAAC,MAAM,CAAC,CAAA;IAEf,OAAO,GAAG,MAAM,GAAG,UAAU,OAAO,OAAO,EAAE,CAAA;AAC/C,CAAC"}
+{"version":3,"file":"format.js","sourceRoot":"","sources":["../src/format.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAA;AACrD,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,WAAW,CAAA;AAChD,OAAO,IAAI,MAAM,WAAW,CAAA;AAY5B,8DAA8D;AAC9D,SAAS,qBAAqB,CAC5B,CAAgB,EAChB,KAAa,EACb,KAAa,EACb,GAAW,EACX,cAAuB,EACvB,MAA0B;IAE1B,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,2BAA2B,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,OAAO,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAA;IAC9F,MAAM,QAAQ,GAAG,KAAK,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAA;IAC9C,8EAA8E;IAC9E,wEAAwE;IACxE,8EAA8E;IAC9E,4EAA4E;IAC5E,+EAA+E;IAC/E,6DAA6D;IAC7D,EAAE;IACF,0EAA0E;IAC1E,sEAAsE;IACtE,MAAM,QAAQ,GAAG,CAAC,CAAC,IAAI;QACrB,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,OAAO,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE;QACzG,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAA;IACpB,MAAM,QAAQ,GAAG,cAAc,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;IAExE,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,IAAI,MAAM,CAAA;IACnC,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;IAC5D,2EAA2E;IAC3E,qEAAqE;IACrE,4EAA4E;IAC5E,+EAA+E;IAC/E,6EAA6E;IAC7E,uEAAuE;IACvE,sEAAsE;IACtE,6BAA6B;IAC7B,EAAE;IACF,6EAA6E;IAC7E,kEAAkE;IAClE,MAAM,OAAO,GAAG,CAAC,CAAC,UAAU,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;IAClG,MAAM,QAAQ,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;IAE5D,MAAM,KAAK,GAAG,CAAC,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAA;IACnD,IAAI,QAAQ;QAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IAClC,IAAI,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IAChC,IAAI,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IAChC,IAAI,QAAQ;QAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IAElC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACzB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAC9B,UAA2B,EAC3B,MAAe,EACf,OAAuB;IAEvB,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAA;IAEtC,MAAM,GAAG,GAAG,OAAO,EAAE,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,CAAA;IACzC,MAAM,cAAc,GAAG,OAAO,EAAE,UAAU,IAAI,IAAI,CAAA;IAClD,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAA;IAE/B,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACvC,qBAAqB,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,cAAc,EAAE,MAAM,CAAC,CAChE,CAAA;IAED,OAAO,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;AAC9B,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,qBAAqB,CAAC,UAA2B,EAAE,MAAe;IAChF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAA;IAEtC,MAAM,MAAM,GAAG,yBAAyB,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,SAAS,CAAA;IACjH,MAAM,UAAU,GAAG,MAAM,CAAC,CAAC,CAAC,aAAa,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;IAEtD,MAAM,OAAO,GAAG,UAAU;SACvB,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACZ,0EAA0E;QAC1E,wEAAwE;QACxE,uEAAuE;QACvE,0DAA0D;QAC1D,yEAAyE;QACzE,6BAA6B;QAC7B,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAA;QACnE,MAAM,KAAK,GAAG;YACZ,MAAM,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,GAAG,KAAK,EAAE;SACvF,CAAA;QACD,IAAI,CAAC,CAAC,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;QACxC,uEAAuE;QACvE,8CAA8C;QAC9C,IAAI,CAAC,CAAC,UAAU,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,UAAU,EAAE,CAAC,CAAA;QAClF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACzB,CAAC,CAAC;SACD,IAAI,CAAC,MAAM,CAAC,CAAA;IAEf,OAAO,GAAG,MAAM,GAAG,UAAU,OAAO,OAAO,EAAE,CAAA;AAC/C,CAAC"}

package/dist/glob-site.d.ts

@@ -0,0 +1,232 @@
+/**
+ * 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.
+ */
+/**
+ * Which string a glob is matched against.
+ *
+ * This names **the target**, never the API. `SmellBuilder.inFolder()` matches
+ * the full file path despite its name (`src/smells/duplicate-bodies.ts`), and
+ * exactly one selector in `src/` — `resideInFolder` — matches a directory.
+ * Two revisions of the plan's own census got this wrong by reading the method
+ * name, and each time reported a vacuous rule as satisfiable.
+ *
+ * - `file-path`   — the whole absolute path of the file
+ * - `parent-dir`  — the immediate parent directory of the file, and only the
+ *                   immediate parent: `resideInFolder` tests
+ *                   `filePath.substring(0, filePath.lastIndexOf('/'))`
+ * - `import-target` — a resolved module path or a bare specifier. Never
+ *                   checked against the path universe: `node_modules` is
+ *                   outside the project by construction, so checking it would
+ *                   fail every correct dependency rule in existence
+ * - `specifier`   — a raw module specifier
+ * - `literal`     — matched against source text, not a path
+ */
+export type GlobKind = 'file-path' | 'parent-dir' | 'import-target' | 'specifier' | 'literal';
+/**
+ * Where in a rule the glob was written, which decides whether being
+ * unsatisfiable is a fault.
+ *
+ * - `selector`  — narrows the subject set. Unsatisfiable ⇒ the rule can never
+ *                 have subjects
+ * - `discovery` — defines a population (slices, layers, boundary folders).
+ *                 Unsatisfiable ⇒ nothing to check
+ * - `condition` — asserts something about subjects. Unsatisfiable is
+ *                 indistinguishable from an armed tripwire that has not fired
+ * - `exclusion` — subtracts. An exclusion matching zero is remedy-optional
+ *                 (proposal 006) and never a fault
+ */
+export type GlobPosition = 'selector' | 'discovery' | 'condition' | 'exclusion';
+/**
+ * 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 declare function isFaultPosition(position: GlobPosition): boolean;
+/**
+ * Which set of paths the glob is written against.
+ *
+ * **This affects the verdict**, and the earlier claim here that it was
+ * message-only is withdrawn. Satisfiability is still taken against the union
+ * of the views for the glob's `kind`, but the ANCHOR check consults `base`:
+ * an unanchored glob can never match an absolute path, so for
+ * `base: 'absolute'` it is dead however the project is shaped — while for a
+ * base whose entry point rewrites or relativises the glob, an unanchored
+ * spelling is correct and telling the author to anchor it would break a
+ * working rule.
+ *
+ * The union alone was tried and was a false green on the commonest real
+ * mistake: the tsconfig-relative view accepts `'src/domain/**'`, which
+ * `resideInFolder` can never match. Unanchored globs are the entire subject of
+ * the 0.18.1 release, so a design that quietly calls them satisfiable defeats
+ * its own purpose.
+ *
+ * So a mis-declared `base` CAN cause a red build. It is set beside `kind` by
+ * the same code, from what the entry point does rather than from intent, and
+ * `tests/core/glob-declaration.test.ts` asserts the equivalent spellings agree.
+ */
+export type GlobBase = 'absolute' | 'tsconfig-relative' | 'normalized';
+/**
+ * A glob as a predicate, condition or builder declares it.
+ *
+ * This is the author-facing half. `position` and `origin` are deliberately
+ * absent: the code that mints a site — inside `resideInFolder()`, several
+ * frames below any builder — cannot know either, and the builder stamps them
+ * on. Exposing them here would also let a rule author write
+ * `position: 'exclusion'` and permanently exempt their own predicate from the
+ * check, with no signal that they had.
+ */
+export interface DeclaredGlob {
+    readonly glob: string;
+    readonly kind: GlobKind;
+    /** Defaults to `'positive'`. A negative site can never be dead — see `GlobNode`. */
+    readonly polarity?: 'positive' | 'negative';
+    /**
+     * Defaults to `'absolute'`. **Affects the verdict** — see `GlobBase`. An
+     * unanchored glob is dead for `'absolute'` and correct for a base whose
+     * entry point rewrites or relativises it.
+     */
+    readonly base?: GlobBase;
+}
+/** A declared glob after a builder has stamped on what only it knows. */
+export type GlobSite = DeclaredGlob & {
+    readonly position: GlobPosition;
+    /** For the message: `resideInFolder("**\/src/x/**") in rule "adr005/no-any"`. */
+    readonly origin: string;
+};
+/**
+ * A predicate or condition that declares no globs.
+ *
+ * Retained in the tree rather than dropped, and never dead. Dropping is safe
+ * under `all` — `some(dead)` is monotone — but `not()` turns an `all` into an
+ * `any`, and under `any` dropping an opaque child is what makes
+ * `or(deadGlob, exportSymbolNamed('Foo'))` red a working rule. Since most
+ * predicates declare no globs, that would have been the commonest failure of
+ * the whole mechanism.
+ *
+ * Retaining it costs no detection, removes the need for a separate `or()`
+ * propagation rule, and makes an empty node unreachable — which matters
+ * because `[].every()` is `true` and would otherwise fault a rule containing
+ * no globs at all. Verified exhaustively by
+ * `spikes/0069-tree-model-check.mjs`: 0 false reds and 0 missed emptiness
+ * across every expression of at most three combinator nodes.
+ */
+export interface OpaqueGlob {
+    readonly opaque: true;
+}
+/** A leaf of a glob tree: a declaration of some kind, or an opaque input. */
+export type GlobLeaf<L> = L | OpaqueGlob;
+/**
+ * How a set of globs combines.
+ *
+ * - `all` — every child must match for the whole to match, so the whole is
+ *   dead if **any** child is dead. `and()`.
+ * - `any` — one child matching is enough, so the whole is dead only if
+ *   **every** child is dead. `or()`, a variadic predicate
+ *   (`importFrom(...globs)` is `matchers.some`), repeated `.inFolder()` calls.
+ *
+ * A preset's option list is **not** an `any` node: both shipped presets fan
+ * out one rule per glob (`src/presets/layered.ts`, `src/presets/boundaries.ts`),
+ * so one dead layer glob is one vacuous rule, and `any` would say "no fault
+ * unless every layer is dead" — a false green inside a preset. Each generated
+ * builder declares its own root instead.
+ */
+export interface GlobTree<L> {
+    readonly op: 'any' | 'all';
+    readonly children: readonly (GlobTree<L> | GlobLeaf<L>)[];
+}
+/**
+ * What a predicate, condition or builder method declares.
+ *
+ * Its leaves are `DeclaredGlob`, which has no `position` and no `origin`, so
+ * a rule author **cannot** express "this is an exclusion" and thereby exempt
+ * their own predicate from the check. That is a type-level guarantee rather
+ * than a convention.
+ */
+export type DeclaredGlobs = GlobTree<DeclaredGlob>;
+/** A declared tree after a builder has stamped position and origin onto it. */
+export type GlobNode = GlobTree<GlobSite>;
+/** How many real declarations a tree holds. Opaque leaves do not count. */
+export declare function countDeclaredGlobs<L extends object>(tree: GlobTree<L>): number;
+/** Narrow a tree position to an interior node. */
+export declare function isGlobNode<L extends object>(value: GlobTree<L> | GlobLeaf<L>): value is GlobTree<L>;
+/** Narrow a leaf to the opaque case. */
+export declare function isOpaqueGlob<L extends object>(value: GlobTree<L> | GlobLeaf<L>): value is OpaqueGlob;
+/**
+ * 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 declare function globAnyOf(globs: readonly string[], kind: GlobKind, base?: GlobBase): DeclaredGlobs;
+/** A single declaration as a one-element `any` tree. */
+export declare function globNode<L extends object>(leaf: L): GlobTree<L>;
+/**
+ * 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 declare function stampGlobs(declared: DeclaredGlobs, position: GlobPosition, origin: (glob: DeclaredGlob) => string): GlobNode;
+/**
+ * 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 declare function negateGlobs<L extends DeclaredGlob>(tree: GlobTree<L>): GlobTree<L>;
+/**
+ * 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 declare function combineGlobs<L extends object>(op: 'any' | 'all', inputs: readonly (GlobTree<L> | undefined)[]): GlobTree<L>;
+//# sourceMappingURL=glob-site.d.ts.map

package/dist/glob-site.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"glob-site.d.ts","sourceRoot":"","sources":["../src/glob-site.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,QAAQ,GAAG,WAAW,GAAG,YAAY,GAAG,eAAe,GAAG,WAAW,GAAG,SAAS,CAAA;AAE7F;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,YAAY,GAAG,UAAU,GAAG,WAAW,GAAG,WAAW,GAAG,WAAW,CAAA;AAE/E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,wBAAgB,eAAe,CAAC,QAAQ,EAAE,YAAY,GAAG,OAAO,CAe/D;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,MAAM,QAAQ,GAAG,UAAU,GAAG,mBAAmB,GAAG,YAAY,CAAA;AAEtE;;;;;;;;;GASG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,oFAAoF;IACpF,QAAQ,CAAC,QAAQ,CAAC,EAAE,UAAU,GAAG,UAAU,CAAA;IAC3C;;;;OAIG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAA;CACzB;AAED,yEAAyE;AACzE,MAAM,MAAM,QAAQ,GAAG,YAAY,GAAG;IACpC,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAA;IAC/B,iFAAiF;IACjF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB,CAAA;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAA;CACtB;AAED,6EAA6E;AAC7E,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,CAAA;AAExC;;;;;;;;;;;;;;GAcG;AACH,MAAM,WAAW,QAAQ,CAAC,CAAC;IACzB,QAAQ,CAAC,EAAE,EAAE,KAAK,GAAG,KAAK,CAAA;IAC1B,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;CAC1D;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAA;AAElD,+EAA+E;AAC/E,MAAM,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAA;AAEzC,2EAA2E;AAC3E,wBAAgB,kBAAkB,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,MAAM,CAO9E;AAED,kDAAkD;AAClD,wBAAgB,UAAU,CAAC,CAAC,SAAS,MAAM,EACzC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,GAC/B,KAAK,IAAI,QAAQ,CAAC,CAAC,CAAC,CAEtB;AAED,wCAAwC;AACxC,wBAAgB,YAAY,CAAC,CAAC,SAAS,MAAM,EAC3C,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,GAC/B,KAAK,IAAI,UAAU,CAErB;AAED;;;;;;GAMG;AACH,wBAAgB,SAAS,CACvB,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,IAAI,EAAE,QAAQ,EACd,IAAI,CAAC,EAAE,QAAQ,GACd,aAAa,CAEf;AAED,wDAAwD;AACxD,wBAAgB,QAAQ,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAE/D;AAED;;;;;;GAMG;AACH,wBAAgB,UAAU,CACxB,QAAQ,EAAE,aAAa,EACvB,QAAQ,EAAE,YAAY,EACtB,MAAM,EAAE,CAAC,IAAI,EAAE,YAAY,KAAK,MAAM,GACrC,QAAQ,CASV;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,WAAW,CAAC,CAAC,SAAS,YAAY,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAOlF;AAUD;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,CAAC,SAAS,MAAM,EAC3C,EAAE,EAAE,KAAK,GAAG,KAAK,EACjB,MAAM,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,EAAE,GAC3C,QAAQ,CAAC,CAAC,CAAC,CAKb"}

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"}