@nielspeter/eess-ts 0.2.1 → 0.5.0

package/dist/conditions/reverse-dependency.js

@@ -1,6 +1,9 @@
 import picomatch from 'picomatch';
-import nodePath from 'node:path';
-import { Node, SyntaxKind } from 'ts-morph';
+import { Node } from 'ts-morph';
+import { moduleEdges } from '../core/module-edges.js';
+import { recordEdgeCoverage } from '@nielspeter/eess/internal';
+import { globAnyOf } from '@nielspeter/eess';
+import { relativeToRoot } from '../core/project-relative.js';
 const graphCache = new WeakMap();
 /**
  * Build or retrieve the reverse import graph for a project.
@@ -11,93 +14,26 @@ const graphCache = new WeakMap();
  * when resetProjectCache() creates new ArchProject instances (WeakMap GC).
  */
 /**
- * Add an edge to the reverse import graph: targetPath is imported by sf.
- * Deduplicates entries when `deduplicate` is true (used for re-exports
- * where the same file may appear via both import and export declarations).
+ * Add an edge to the reverse import graph: `targetPath` is referenced by `sf`.
+ *
+ * **Always deduplicated, on `(importer, target)`.** It used to take a flag, and
+ * static imports passed `false`: one target, one importer, two static imports
+ * produced **two byte-identical violations at the same `file:line`** — measured —
+ * and therefore two identical baseline hashes for one fact. The flag existed
+ * because re-exports were indexed in a second pass that could re-add the same
+ * pair; now that every kind comes from one `edgesOf` pass, one file referencing
+ * one target N ways is one reverse edge.
  */
-function addToGraph(graph, targetPath, sf, deduplicate) {
+function addToGraph(graph, targetPath, sf) {
     const existing = graph.get(targetPath);
     if (existing) {
-        if (!deduplicate || !existing.includes(sf)) {
+        if (!existing.includes(sf))
             existing.push(sf);
-        }
     }
     else {
         graph.set(targetPath, [sf]);
     }
 }
-/**
- * Resolve a dynamic import specifier to a project source file.
- *
- * Handles relative specifiers with ESM extension mappings (.js→.ts, .jsx→.tsx,
- * .mjs→.mts) and directory index imports. Non-relative specifiers (bare packages)
- * are skipped — they resolve to node_modules, which are outside the project.
- */
-function resolveDynamicImport(fromFile, specifier) {
-    if (!specifier.startsWith('.'))
-        return undefined;
-    const dirPath = fromFile.getDirectory().getPath();
-    const project = fromFile.getProject();
-    // Try the specifier as-is, with ESM extension mappings, and as a directory index
-    const candidates = [
-        specifier,
-        specifier.replace(/\.js$/, '.ts'),
-        specifier.replace(/\.jsx$/, '.tsx'),
-        specifier.replace(/\.mjs$/, '.mts'),
-        specifier + '.ts',
-        specifier + '.tsx',
-        specifier + '/index.ts',
-        specifier + '/index.tsx',
-    ];
-    for (const candidate of candidates) {
-        const absolutePath = nodePath.resolve(dirPath, candidate);
-        const resolved = project.getSourceFile(absolutePath);
-        if (resolved)
-            return resolved;
-    }
-    return undefined;
-}
-/** Index static import declarations from a source file into the reverse graph. */
-function indexStaticImports(graph, sf) {
-    for (const decl of sf.getImportDeclarations()) {
-        const resolved = decl.getModuleSpecifierSourceFile();
-        if (!resolved)
-            continue;
-        addToGraph(graph, resolved.getFilePath(), sf, false);
-    }
-}
-/** Index re-export declarations from a source file into the reverse graph. */
-function indexReExports(graph, sf) {
-    for (const decl of sf.getExportDeclarations()) {
-        const resolved = decl.getModuleSpecifierSourceFile();
-        if (!resolved)
-            continue;
-        addToGraph(graph, resolved.getFilePath(), sf, true);
-    }
-}
-/** Index dynamic import() expressions from a source file into the reverse graph. */
-function indexDynamicImports(graph, sf) {
-    for (const callExpr of sf.getDescendantsOfKind(SyntaxKind.CallExpression)) {
-        if (callExpr.getExpression().getKind() !== SyntaxKind.ImportKeyword)
-            continue;
-        const args = callExpr.getArguments();
-        if (args.length === 0)
-            continue;
-        const arg = args[0];
-        if (!arg)
-            continue;
-        let specifier;
-        if (Node.isStringLiteral(arg) || Node.isNoSubstitutionTemplateLiteral(arg)) {
-            specifier = arg.getLiteralValue();
-        }
-        if (specifier === undefined)
-            continue;
-        const resolved = resolveDynamicImport(sf, specifier);
-        if (resolved) {
-            addToGraph(graph, resolved.getFilePath(), sf, true);
-        }
-    }
-}
 function getReverseImportGraph(sourceFiles) {
     if (sourceFiles.length === 0)
         return new Map();
@@ -109,10 +45,32 @@ function getReverseImportGraph(sourceFiles) {
     if (cached)
         return cached;
     const graph = new Map();
-    for (const sf of sourceFiles) {
-        indexStaticImports(graph, sf);
-        indexReExports(graph, sf);
-        indexDynamicImports(graph, sf);
+    // **Every kind counts here, `require` and `type-expression` included** — the
+    // opposite of the forward conditions, and deliberately so. The two directions
+    // ask different questions:
+    //
+    // | direction | question                                   | a `require` edge means          |
+    // | --------- | ------------------------------------------ | ------------------------------- |
+    // | forward   | does this file depend on something banned? | a finding with no usable remedy |
+    // | reverse   | is anything referencing this file?          | **yes** — it is not dead        |
+    //
+    // Excluding `require` here would report a module that CJS code requires as an
+    // orphan, and excluding `type-expression` would report one that only a type
+    // position references — both false positives, and deleting either module breaks
+    // the build. The forward exclusion avoids an unactionable finding; the same
+    // exclusion here would manufacture a wrong one.
+    //
+    // The one caller that genuinely has a file SET, so it is the one that uses the
+    // bulk entry point. `moduleEdges` was previously called by nothing in `src/` —
+    // every site used the per-file `edgesOf`, including this loop — which made its
+    // "one crossing rather than N" docstring a claim about code that did not exist.
+    const byFile = moduleEdges(sourceFiles);
+    for (const importer of sourceFiles) {
+        for (const edge of byFile.get(importer.getFilePath()) ?? []) {
+            if (edge.resolvedPath === undefined)
+                continue;
+            addToGraph(graph, edge.resolvedPath, importer);
+        }
     }
     graphCache.set(project, graph);
     return graph;
@@ -127,13 +85,27 @@ function getReverseImportGraph(sourceFiles) {
  * Modules with zero importers pass vacuously. Chain `.andShould().beImported()`
  * if you also want to catch orphaned files.
  *
- * Both static `import` declarations and dynamic `import()` expressions with
- * string-literal specifiers are resolved. `require()` calls are not resolved.
+ * **Every kind of reference counts here**: `import`, `export … from`, `import()`,
+ * `type X = import('…').Y`, and **`require()`** — both `require('s')` in a `.js`
+ * file and `import x = require('s')`. Only a computed specifier
+ * (`import('./' + name)`) is invisible, because there is no specifier to
+ * resolve, along with a `declare module './rel.js'` augmentation.
+ *
+ * That is wider than the *forward* dependency conditions, which exclude
+ * `require` — deliberately, and see `indexEdges` for why the same exclusion
+ * would be wrong here.
  */
 export function onlyBeImportedVia(...globs) {
     const matchers = globs.map((g) => picomatch(g));
     const quotedGlobs = globs.map((g) => `"${g}"`).join(', ');
     return {
+        // `file-path`, NOT `import-target` — and this is the row to get right. The glob
+        // names the FILES ALLOWED TO IMPORT the subject, matched against an importer's own
+        // path, so unlike the four dependency conditions it is a genuine path glob with
+        // real path-universe views. Declaring it as `import-target` would hand a checkable
+        // glob to machinery that has no views for that kind, which fails silently in the
+        // direction that looks fine (plan 0073).
+        globs: globAnyOf(globs, 'file-path'),
         description: `only be imported via ${quotedGlobs}`,
         evaluate(elements, context) {
             // Build graph from ALL project files, not just the filtered elements
@@ -141,22 +113,61 @@ export function onlyBeImportedVia(...globs) {
             const allFiles = first ? first.getProject().getSourceFiles() : [];
             const graph = getReverseImportGraph(allFiles);
             const violations = [];
+            // Bug 0015: the mirror case — a module with no importers passes however
+            // broken the allowlist. This condition already documented the behaviour
+            // ("Modules with zero importers pass vacuously") without treating it as a
+            // gap; the tally is what turns that note into something a reader sees.
+            let tested = 0;
             for (const sf of elements) {
                 const importers = graph.get(sf.getFilePath()) ?? [];
                 for (const importer of importers) {
+                    tested++;
                     const importerPath = importer.getFilePath();
-                    if (!matchers.some((m) => m(importerPath))) {
+                    // Also the importer's path named from the project root — bug 0036.
+                    // This glob is matched against an ABSOLUTE path, so a
+                    // project-relative one could never match and every importer was
+                    // reported: measured, `onlyBeImportedVia('src/**')` produced 5
+                    // violations where `'**/src/**'` produced none. A false red, the same
+                    // shape as bug 0037 one layer over.
+                    const fromRoot = relativeToRoot(importer, importerPath);
+                    const matched = matchers.some((m) => m(importerPath)) ||
+                        (fromRoot !== undefined && matchers.some((m) => m(fromRoot)));
+                    if (!matched) {
                         violations.push({
                             rule: context.rule,
                             element: sf.getBaseName(),
                             file: sf.getFilePath(),
                             line: 1,
-                            message: `${sf.getBaseName()} is imported by ${importer.getBaseName()} which does not match [${globs.join(', ')}]`,
+                            // The importer by PATH, not by basename — and the message is the only place it
+                            // can appear, because `element`, `file` and `line` all describe the TARGET.
+                            //
+                            // Two importers sharing a filename produced findings that were byte-identical on
+                            // screen: same element, same file, same line, same message. Measured, and worse
+                            // in the two surfaces that matter most — `check --format json` emitted two
+                            // identical objects, and `format-github` emitted two identical `::error` lines,
+                            // which GitHub renders as ONE annotation, so in a PR's Files view the second
+                            // finding did not exist at all.
+                            //
+                            // That was survivable while the two shared a baseline entry and only one was
+                            // ever reported. Once `disambiguateIdentities` gives them separate entries the
+                            // hidden sibling surfaces — and an adopter is handed a red identical to one they
+                            // already accepted, pointing at the victim rather than the offender, with no way
+                            // to tell which importer is new. The release that makes a finding visible owns
+                            // making it readable.
+                            //
+                            // `element` is deliberately left as the basename: `.excluding()` matches on
+                            // `element`/`file`/`message`, so promoting it to a path would silently break
+                            // every `.excluding('index.ts')` in the wild. Changing the MESSAGE breaks an
+                            // exact-string message exclusion, which surfaces as an unused-pattern warning
+                            // rather than failing open — the acceptable direction, and stated in the
+                            // upgrading row.
+                            message: `${sf.getBaseName()} is imported by ${fromRoot ?? importerPath} which does not match [${globs.join(', ')}]`,
                             because: context.because,
                         });
                     }
                 }
             }
+            recordEdgeCoverage(context.rule, elements.length, tested);
             return violations;
         },
     };
@@ -167,9 +178,15 @@ export function onlyBeImportedVia(...globs) {
  * Detects dead/orphaned modules that nobody references.
  * Use `.excluding('index.ts', 'main.ts')` to skip entry points.
  *
- * Both static `import` declarations and dynamic `import()` expressions with
- * string-literal specifiers are resolved. Modules loaded via `require()` or
- * dynamic imports with computed specifiers will still be falsely reported.
+ * **A module referenced by any kind of edge is not dead**, including
+ * `export … from`, `import()`, a type-only reference, and `require()` in either
+ * spelling. Since v0.28.0 that means **fewer** false orphans than before — if
+ * you carry `.excluding()` entries for modules only reachable via `require()` or
+ * a re-export, they are no longer needed.
+ *
+ * Two shapes are still invisible and will be falsely reported: a computed
+ * specifier (`import('./' + name)`), and a module referenced only from a
+ * `declare module './rel.js'` augmentation.
  */
 export function beImported() {
     return {
@@ -208,6 +225,51 @@ export function beImported() {
  * **Note:** Default exports are excluded from this check. Use `beImported()` for
  * file-level dead code detection. Only named exports are analyzed.
  */
+/**
+ * The line a finding about export `name` of `sf` is anchored at — bug 0265.
+ *
+ * `getExportedDeclarations()` follows a re-export to the DECLARING node in the
+ * other file, so that node's line is a line of the other file. A finding whose
+ * `file` is the barrel must carry a line of the barrel: the `export { name }
+ * from` specifier, the `export * as name from` statement, or the `export *`
+ * statement that forwards it. An own declaration keeps its own line. Measured
+ * before this existed: a one-line barrel reported its re-export at line 5,
+ * where the code frame pointed at nothing and an `// eess-exclude` on the
+ * barrel's real line did not apply (the 0242 shape, fail-closed).
+ */
+function exportSiteLine(sf, name, declaration) {
+    if (Node.isNode(declaration) && declaration.getSourceFile() === sf) {
+        return declaration.getStartLineNumber();
+    }
+    let star;
+    for (const exportDecl of sf.getExportDeclarations()) {
+        const specifier = exportDecl
+            .getNamedExports()
+            .find((s) => (s.getAliasNode()?.getText() ?? s.getName()) === name);
+        if (specifier !== undefined)
+            return specifier.getStartLineNumber();
+        // `getNamespaceExport()`, NOT `isNamespaceExport()`. The latter is
+        // `!hasNamedExports()`, so it is TRUE for a bare `export * from 's'` — and
+        // the first cut of this function tested it, took the namespace branch for
+        // the star form, matched no name, and fell through to the declaring file's
+        // line. Measured on the isolated star fixture: line 5 under a two-line
+        // barrel, which is the exact defect this function exists to remove.
+        const namespaceExport = exportDecl.getNamespaceExport();
+        if (namespaceExport !== undefined) {
+            if (namespaceExport.getName() === name)
+                return exportDecl.getStartLineNumber();
+        }
+        else if (exportDecl.getNamedExports().length === 0 &&
+            exportDecl.getModuleSpecifier() !== undefined) {
+            // `export * from 's'` forwards every name of the target, so it is the site
+            // for any name no specifier above claimed. First one wins, in source order.
+            star ??= exportDecl.getStartLineNumber();
+        }
+    }
+    if (star !== undefined)
+        return star;
+    return Node.isNode(declaration) ? declaration.getStartLineNumber() : 1;
+}
 /**
  * Scan a single source file for unused named exports, returning violations.
  */
@@ -217,11 +279,11 @@ function findUnusedExportsInFile(sf, context) {
     for (const [name, declarations] of exportMap) {
         if (name === 'default')
             continue;
-        const firstDecl = declarations[0];
+        const [firstDecl] = declarations;
         if (firstDecl === undefined)
             continue;
         if (!hasExternalReference(firstDecl, sf)) {
-            const line = Node.isNode(firstDecl) ? firstDecl.getStartLineNumber() : 1;
+            const line = exportSiteLine(sf, name, firstDecl);
             violations.push({
                 rule: context.rule,
                 element: sf.getBaseName(),

package/dist/conditions/reverse-dependency.js.map

@@ -1 +1 @@
-{"version":3,"file":"reverse-dependency.js","sourceRoot":"","sources":["../../src/conditions/reverse-dependency.ts"],"names":[],"mappings":"AAAA,OAAO,SAAS,MAAM,WAAW,CAAA;AACjC,OAAO,QAAQ,MAAM,WAAW,CAAA;AAChC,OAAO,EAAiC,IAAI,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAQ1E,MAAM,UAAU,GAAG,IAAI,OAAO,EAA+B,CAAA;AAE7D;;;;;;;GAOG;AACH;;;;GAIG;AACH,SAAS,UAAU,CACjB,KAAyB,EACzB,UAAkB,EAClB,EAAc,EACd,WAAoB;IAEpB,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IACtC,IAAI,QAAQ,EAAE,CAAC;QACb,IAAI,CAAC,WAAW,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;YAC3C,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACnB,CAAC;IACH,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC7B,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAS,oBAAoB,CAAC,QAAoB,EAAE,SAAiB;IACnE,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAA;IAEhD,MAAM,OAAO,GAAG,QAAQ,CAAC,YAAY,EAAE,CAAC,OAAO,EAAE,CAAA;IACjD,MAAM,OAAO,GAAG,QAAQ,CAAC,UAAU,EAAE,CAAA;IAErC,iFAAiF;IACjF,MAAM,UAAU,GAAG;QACjB,SAAS;QACT,SAAS,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC;QACjC,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC;QACnC,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC;QACnC,SAAS,GAAG,KAAK;QACjB,SAAS,GAAG,MAAM;QAClB,SAAS,GAAG,WAAW;QACvB,SAAS,GAAG,YAAY;KACzB,CAAA;IAED,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAA;QACzD,MAAM,QAAQ,GAAG,OAAO,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;QACpD,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAA;IAC/B,CAAC;IAED,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,kFAAkF;AAClF,SAAS,kBAAkB,CAAC,KAAyB,EAAE,EAAc;IACnE,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,qBAAqB,EAAE,EAAE,CAAC;QAC9C,MAAM,QAAQ,GAAG,IAAI,CAAC,4BAA4B,EAAE,CAAA;QACpD,IAAI,CAAC,QAAQ;YAAE,SAAQ;QACvB,UAAU,CAAC,KAAK,EAAE,QAAQ,CAAC,WAAW,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,CAAA;IACtD,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,SAAS,cAAc,CAAC,KAAyB,EAAE,EAAc;IAC/D,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,qBAAqB,EAAE,EAAE,CAAC;QAC9C,MAAM,QAAQ,GAAG,IAAI,CAAC,4BAA4B,EAAE,CAAA;QACpD,IAAI,CAAC,QAAQ;YAAE,SAAQ;QACvB,UAAU,CAAC,KAAK,EAAE,QAAQ,CAAC,WAAW,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,CAAA;IACrD,CAAC;AACH,CAAC;AAED,oFAAoF;AACpF,SAAS,mBAAmB,CAAC,KAAyB,EAAE,EAAc;IACpE,KAAK,MAAM,QAAQ,IAAI,EAAE,CAAC,oBAAoB,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;QAC1E,IAAI,QAAQ,CAAC,aAAa,EAAE,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,aAAa;YAAE,SAAQ;QAC7E,MAAM,IAAI,GAAG,QAAQ,CAAC,YAAY,EAAE,CAAA;QACpC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,SAAQ;QAE/B,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QACnB,IAAI,CAAC,GAAG;YAAE,SAAQ;QAClB,IAAI,SAA6B,CAAA;QACjC,IAAI,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,+BAA+B,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3E,SAAS,GAAG,GAAG,CAAC,eAAe,EAAE,CAAA;QACnC,CAAC;QAED,IAAI,SAAS,KAAK,SAAS;YAAE,SAAQ;QAErC,MAAM,QAAQ,GAAG,oBAAoB,CAAC,EAAE,EAAE,SAAS,CAAC,CAAA;QACpD,IAAI,QAAQ,EAAE,CAAC;YACb,UAAU,CAAC,KAAK,EAAE,QAAQ,CAAC,WAAW,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,CAAA;QACrD,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,WAAyB;IACtD,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,GAAG,EAAE,CAAA;IAE9C,MAAM,SAAS,GAAG,WAAW,CAAC,CAAC,CAAC,CAAA;IAChC,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,GAAG,EAAE,CAAA;IAChC,MAAM,OAAO,GAAG,SAAS,CAAC,UAAU,EAAE,CAAA;IACtC,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;IACtC,IAAI,MAAM;QAAE,OAAO,MAAM,CAAA;IAEzB,MAAM,KAAK,GAAuB,IAAI,GAAG,EAAE,CAAA;IAE3C,KAAK,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC;QAC7B,kBAAkB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;QAC7B,cAAc,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;QACzB,mBAAmB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;IAChC,CAAC;IAED,UAAU,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IAC9B,OAAO,KAAK,CAAA;AACd,CAAC;AAED,oEAAoE;AAEpE;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAG,KAAe;IAClD,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/C,MAAM,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACzD,OAAO;QACL,WAAW,EAAE,wBAAwB,WAAW,EAAE;QAClD,QAAQ,CAAC,QAAsB,EAAE,OAAyB;YACxD,qEAAqE;YACrE,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;YACzB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;YACjE,MAAM,KAAK,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAA;YAC7C,MAAM,UAAU,GAAoB,EAAE,CAAA;YAEtC,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;gBAC1B,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAA;gBACnD,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;oBACjC,MAAM,YAAY,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAA;oBAC3C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;wBAC3C,UAAU,CAAC,IAAI,CAAC;4BACd,IAAI,EAAE,OAAO,CAAC,IAAI;4BAClB,OAAO,EAAE,EAAE,CAAC,WAAW,EAAE;4BACzB,IAAI,EAAE,EAAE,CAAC,WAAW,EAAE;4BACtB,IAAI,EAAE,CAAC;4BACP,OAAO,EAAE,GAAG,EAAE,CAAC,WAAW,EAAE,mBAAmB,QAAQ,CAAC,WAAW,EAAE,0BAA0B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;4BAClH,OAAO,EAAE,OAAO,CAAC,OAAO;yBACzB,CAAC,CAAA;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;YAED,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,UAAU;IACxB,OAAO;QACL,WAAW,EAAE,0CAA0C;QACvD,QAAQ,CAAC,QAAsB,EAAE,OAAyB;YACxD,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;YACzB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;YACjE,MAAM,KAAK,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAA;YAC7C,MAAM,UAAU,GAAoB,EAAE,CAAA;YAEtC,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;gBAC1B,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAA;gBACnD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC3B,UAAU,CAAC,IAAI,CAAC;wBACd,IAAI,EAAE,OAAO,CAAC,IAAI;wBAClB,OAAO,EAAE,EAAE,CAAC,WAAW,EAAE;wBACzB,IAAI,EAAE,EAAE,CAAC,WAAW,EAAE;wBACtB,IAAI,EAAE,CAAC;wBACP,OAAO,EAAE,GAAG,EAAE,CAAC,WAAW,EAAE,sCAAsC;wBAClE,OAAO,EAAE,OAAO,CAAC,OAAO;qBACzB,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;YAED,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAED;;;;;;;;;;;GAWG;AACH;;GAEG;AACH,SAAS,uBAAuB,CAAC,EAAc,EAAE,OAAyB;IACxE,MAAM,UAAU,GAAoB,EAAE,CAAA;IACtC,MAAM,SAAS,GAAG,EAAE,CAAC,uBAAuB,EAAE,CAAA;IAE9C,KAAK,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,SAAS,EAAE,CAAC;QAC7C,IAAI,IAAI,KAAK,SAAS;YAAE,SAAQ;QAEhC,MAAM,SAAS,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;QACjC,IAAI,SAAS,KAAK,SAAS;YAAE,SAAQ;QACrC,IAAI,CAAC,oBAAoB,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC;YACzC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;YACxE,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,OAAO,EAAE,EAAE,CAAC,WAAW,EAAE;gBACzB,IAAI,EAAE,EAAE,CAAC,WAAW,EAAE;gBACtB,IAAI;gBACJ,OAAO,EAAE,GAAG,EAAE,CAAC,WAAW,EAAE,aAAa,IAAI,6CAA6C;gBAC1F,OAAO,EAAE,OAAO,CAAC,OAAO;aACzB,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAA;AACnB,CAAC;AAED,MAAM,UAAU,mBAAmB;IACjC,OAAO;QACL,WAAW,EAAE,wBAAwB;QACrC,QAAQ,CAAC,QAAsB,EAAE,OAAyB;YACxD,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;gBAC1B,UAAU,CAAC,IAAI,CAAC,GAAG,uBAAuB,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAA;YAC1D,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAS,oBAAoB,CAAC,WAAiB,EAAE,UAAsB;IACrE,MAAM,QAAQ,GAAG,UAAU,CAAC,WAAW,EAAE,CAAA;IACzC,MAAM,eAAe,GAAG,UAAU,CAAC,UAAU,EAAE,CAAC,kBAAkB,EAAE,CAAA;IAEpE,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,eAAe,CAAC,qBAAqB,CAAC,WAAW,CAAC,CAAA;QAC/D,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,IAAI,GAAG,CAAC,aAAa,EAAE,CAAC,WAAW,EAAE,KAAK,QAAQ,EAAE,CAAC;gBACnD,OAAO,IAAI,CAAA,CAAC,gBAAgB;YAC9B,CAAC;QACH,CAAC;IACH,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,KAAK,GAAG,CAAA,CAAC,oDAAoD;QAC7D,2EAA2E;QAC3E,iDAAiD;QACjD,OAAO,IAAI,CAAA;IACb,CAAC;IAED,OAAO,KAAK,CAAA;AACd,CAAC"}
+{"version":3,"file":"reverse-dependency.js","sourceRoot":"","sources":["../../src/conditions/reverse-dependency.ts"],"names":[],"mappings":"AAAA,OAAO,SAAS,MAAM,WAAW,CAAA;AACjC,OAAO,EAA4D,IAAI,EAAE,MAAM,UAAU,CAAA;AAGzF,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAA;AACrD,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAA;AAC9D,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAA;AAC5C,OAAO,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAA;AAM5D,MAAM,UAAU,GAAG,IAAI,OAAO,EAA+B,CAAA;AAE7D;;;;;;;GAOG;AACH;;;;;;;;;;GAUG;AACH,SAAS,UAAU,CAAC,KAAyB,EAAE,UAAkB,EAAE,EAAc;IAC/E,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IACtC,IAAI,QAAQ,EAAE,CAAC;QACb,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAC/C,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC7B,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,WAAyB;IACtD,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,GAAG,EAAE,CAAA;IAE9C,MAAM,SAAS,GAAG,WAAW,CAAC,CAAC,CAAC,CAAA;IAChC,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,GAAG,EAAE,CAAA;IAChC,MAAM,OAAO,GAAG,SAAS,CAAC,UAAU,EAAE,CAAA;IACtC,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;IACtC,IAAI,MAAM;QAAE,OAAO,MAAM,CAAA;IAEzB,MAAM,KAAK,GAAuB,IAAI,GAAG,EAAE,CAAA;IAE3C,6EAA6E;IAC7E,8EAA8E;IAC9E,2BAA2B;IAC3B,EAAE;IACF,+FAA+F;IAC/F,+FAA+F;IAC/F,+FAA+F;IAC/F,gGAAgG;IAChG,EAAE;IACF,8EAA8E;IAC9E,4EAA4E;IAC5E,gFAAgF;IAChF,4EAA4E;IAC5E,gDAAgD;IAChD,EAAE;IACF,+EAA+E;IAC/E,+EAA+E;IAC/E,+EAA+E;IAC/E,gFAAgF;IAChF,MAAM,MAAM,GAAG,WAAW,CAAC,WAAW,CAAC,CAAA;IACvC,KAAK,MAAM,QAAQ,IAAI,WAAW,EAAE,CAAC;QACnC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;YAC5D,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS;gBAAE,SAAQ;YAC7C,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAA;QAChD,CAAC;IACH,CAAC;IAED,UAAU,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IAC9B,OAAO,KAAK,CAAA;AACd,CAAC;AAED,oEAAoE;AAEpE;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAG,KAAe;IAClD,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/C,MAAM,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACzD,OAAO;QACL,gFAAgF;QAChF,mFAAmF;QACnF,gFAAgF;QAChF,mFAAmF;QACnF,iFAAiF;QACjF,yCAAyC;QACzC,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,WAAW,CAAC;QACpC,WAAW,EAAE,wBAAwB,WAAW,EAAE;QAClD,QAAQ,CAAC,QAAsB,EAAE,OAAyB;YACxD,qEAAqE;YACrE,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;YACzB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;YACjE,MAAM,KAAK,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAA;YAC7C,MAAM,UAAU,GAAoB,EAAE,CAAA;YAEtC,wEAAwE;YACxE,wEAAwE;YACxE,0EAA0E;YAC1E,uEAAuE;YACvE,IAAI,MAAM,GAAG,CAAC,CAAA;YACd,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;gBAC1B,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAA;gBACnD,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;oBACjC,MAAM,EAAE,CAAA;oBACR,MAAM,YAAY,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAA;oBAC3C,mEAAmE;oBACnE,sDAAsD;oBACtD,gEAAgE;oBAChE,+DAA+D;oBAC/D,sEAAsE;oBACtE,oCAAoC;oBACpC,MAAM,QAAQ,GAAG,cAAc,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAA;oBACvD,MAAM,OAAO,GACX,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;wBACrC,CAAC,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;oBAC/D,IAAI,CAAC,OAAO,EAAE,CAAC;wBACb,UAAU,CAAC,IAAI,CAAC;4BACd,IAAI,EAAE,OAAO,CAAC,IAAI;4BAClB,OAAO,EAAE,EAAE,CAAC,WAAW,EAAE;4BACzB,IAAI,EAAE,EAAE,CAAC,WAAW,EAAE;4BACtB,IAAI,EAAE,CAAC;4BACP,+EAA+E;4BAC/E,4EAA4E;4BAC5E,EAAE;4BACF,iFAAiF;4BACjF,gFAAgF;4BAChF,2EAA2E;4BAC3E,gFAAgF;4BAChF,6EAA6E;4BAC7E,gCAAgC;4BAChC,EAAE;4BACF,6EAA6E;4BAC7E,+EAA+E;4BAC/E,iFAAiF;4BACjF,iFAAiF;4BACjF,+EAA+E;4BAC/E,sBAAsB;4BACtB,EAAE;4BACF,4EAA4E;4BAC5E,6EAA6E;4BAC7E,6EAA6E;4BAC7E,8EAA8E;4BAC9E,yEAAyE;4BACzE,iBAAiB;4BACjB,OAAO,EAAE,GAAG,EAAE,CAAC,WAAW,EAAE,mBAAmB,QAAQ,IAAI,YAAY,0BAA0B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;4BACpH,OAAO,EAAE,OAAO,CAAC,OAAO;yBACzB,CAAC,CAAA;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;YAED,kBAAkB,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;YACzD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,UAAU;IACxB,OAAO;QACL,WAAW,EAAE,0CAA0C;QACvD,QAAQ,CAAC,QAAsB,EAAE,OAAyB;YACxD,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;YACzB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;YACjE,MAAM,KAAK,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAA;YAC7C,MAAM,UAAU,GAAoB,EAAE,CAAA;YAEtC,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;gBAC1B,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAA;gBACnD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC3B,UAAU,CAAC,IAAI,CAAC;wBACd,IAAI,EAAE,OAAO,CAAC,IAAI;wBAClB,OAAO,EAAE,EAAE,CAAC,WAAW,EAAE;wBACzB,IAAI,EAAE,EAAE,CAAC,WAAW,EAAE;wBACtB,IAAI,EAAE,CAAC;wBACP,OAAO,EAAE,GAAG,EAAE,CAAC,WAAW,EAAE,sCAAsC;wBAClE,OAAO,EAAE,OAAO,CAAC,OAAO;qBACzB,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;YAED,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAED;;;;;;;;;;;GAWG;AACH;;;;;;;;;;;GAWG;AACH,SAAS,cAAc,CAAC,EAAc,EAAE,IAAY,EAAE,WAAiC;IACrF,IAAI,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,aAAa,EAAE,KAAK,EAAE,EAAE,CAAC;QACnE,OAAO,WAAW,CAAC,kBAAkB,EAAE,CAAA;IACzC,CAAC;IACD,IAAI,IAAwB,CAAA;IAC5B,KAAK,MAAM,UAAU,IAAI,EAAE,CAAC,qBAAqB,EAAE,EAAE,CAAC;QACpD,MAAM,SAAS,GAAG,UAAU;aACzB,eAAe,EAAE;aACjB,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,KAAK,IAAI,CAAC,CAAA;QACrE,IAAI,SAAS,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC,kBAAkB,EAAE,CAAA;QAClE,mEAAmE;QACnE,2EAA2E;QAC3E,0EAA0E;QAC1E,2EAA2E;QAC3E,uEAAuE;QACvE,oEAAoE;QACpE,MAAM,eAAe,GAAG,UAAU,CAAC,kBAAkB,EAAE,CAAA;QACvD,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;YAClC,IAAI,eAAe,CAAC,OAAO,EAAE,KAAK,IAAI;gBAAE,OAAO,UAAU,CAAC,kBAAkB,EAAE,CAAA;QAChF,CAAC;aAAM,IACL,UAAU,CAAC,eAAe,EAAE,CAAC,MAAM,KAAK,CAAC;YACzC,UAAU,CAAC,kBAAkB,EAAE,KAAK,SAAS,EAC7C,CAAC;YACD,2EAA2E;YAC3E,4EAA4E;YAC5E,IAAI,KAAK,UAAU,CAAC,kBAAkB,EAAE,CAAA;QAC1C,CAAC;IACH,CAAC;IACD,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAA;IACnC,OAAO,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;AACxE,CAAC;AAED;;GAEG;AACH,SAAS,uBAAuB,CAAC,EAAc,EAAE,OAAyB;IACxE,MAAM,UAAU,GAAoB,EAAE,CAAA;IACtC,MAAM,SAAS,GAAG,EAAE,CAAC,uBAAuB,EAAE,CAAA;IAE9C,KAAK,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,SAAS,EAAE,CAAC;QAC7C,IAAI,IAAI,KAAK,SAAS;YAAE,SAAQ;QAChC,MAAM,CAAC,SAAS,CAAC,GAAG,YAAY,CAAA;QAChC,IAAI,SAAS,KAAK,SAAS;YAAE,SAAQ;QACrC,IAAI,CAAC,oBAAoB,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC;YACzC,MAAM,IAAI,GAAG,cAAc,CAAC,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC,CAAA;YAChD,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,OAAO,EAAE,EAAE,CAAC,WAAW,EAAE;gBACzB,IAAI,EAAE,EAAE,CAAC,WAAW,EAAE;gBACtB,IAAI;gBACJ,OAAO,EAAE,GAAG,EAAE,CAAC,WAAW,EAAE,aAAa,IAAI,6CAA6C;gBAC1F,OAAO,EAAE,OAAO,CAAC,OAAO;aACzB,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAA;AACnB,CAAC;AAED,MAAM,UAAU,mBAAmB;IACjC,OAAO;QACL,WAAW,EAAE,wBAAwB;QACrC,QAAQ,CAAC,QAAsB,EAAE,OAAyB;YACxD,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;gBAC1B,UAAU,CAAC,IAAI,CAAC,GAAG,uBAAuB,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAA;YAC1D,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAS,oBAAoB,CAAC,WAAiB,EAAE,UAAsB;IACrE,MAAM,QAAQ,GAAG,UAAU,CAAC,WAAW,EAAE,CAAA;IACzC,MAAM,eAAe,GAAG,UAAU,CAAC,UAAU,EAAE,CAAC,kBAAkB,EAAE,CAAA;IAEpE,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,eAAe,CAAC,qBAAqB,CAAC,WAAW,CAAC,CAAA;QAC/D,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,IAAI,GAAG,CAAC,aAAa,EAAE,CAAC,WAAW,EAAE,KAAK,QAAQ,EAAE,CAAC;gBACnD,OAAO,IAAI,CAAA,CAAC,gBAAgB;YAC9B,CAAC;QACH,CAAC;IACH,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,KAAK,GAAG,CAAA,CAAC,oDAAoD;QAC7D,2EAA2E;QAC3E,iDAAiD;QACjD,OAAO,IAAI,CAAA;IACb,CAAC;IAED,OAAO,KAAK,CAAA;AACd,CAAC"}

package/dist/conditions/slice.d.ts

@@ -1,9 +1,10 @@
 import type { Condition } from '@nielspeter/eess';
 import type { Slice } from '../models/slice.js';
+import type { ImportOptions } from '../core/import-options.js';
 /**
  * Assert that no circular dependencies exist between slices.
  *
- * Builds a directed dependency graph from import declarations,
+ * Builds a directed dependency graph from imports and re-exports,
  * then runs Tarjan's SCC algorithm to detect cycles.
  * Each cycle produces a violation listing the cycle path.
  *
@@ -13,10 +14,82 @@ import type { Slice } from '../models/slice.js';
  *   .should().beFreeOfCycles()
  *   .check()
  */
-export declare function beFreeOfCycles(): Condition<Slice>;
+/**
+ * `canonicalizeCycle` lived here, and sorting replaced it — bug 0056.
+ *
+ * It rotated an SCC to start at its lexicographically smallest member, for a real reason:
+ * Tarjan emits membership in traversal order, traversal follows the file walk, and the same
+ * cycle therefore had two identities on two machines. That is the concern
+ * [ts-archunit bug 0010](https://github.com/nielspeter/ts-archunit/blob/main/bugs/fixed/0010-violation-identity-embeds-absolute-paths.md) introduced
+ * the `identity` field for — the original docstring cited it here, a little loosely, since
+ * 0010 itself is about absolute paths rather than about cycles.
+ *
+ * Rotation was necessary and **not sufficient**, and the reason is in its own docstring's
+ * final claim — *"Direction is NOT normalized, because `a -> b -> c -> a` and
+ * `a -> c -> b -> a` traverse different edges and are genuinely different cycles"*. That
+ * premise requires the array to be an edge-ordered PATH. It is not, for any component of
+ * three or more: measured, a real ring `a→b→c→d→a` came out as `a -> d -> c -> b -> a`,
+ * every arrow reversed. So the preserved "direction" was information about the traversal,
+ * not about the graph — and reordering two imports moved the element from `[a, c, b]` to
+ * `[a, b, c]`, reddening CI on a cosmetic edit.
+ *
+ * Sorting subsumes rotation for a set and adds the missing half. If a future change
+ * recovers a REAL path (bug 0055's fuller fix), direction becomes genuine information
+ * again — and then the right shape is a sorted member set for the identity with the path
+ * carried in the message, not a return to rotation.
+ *
+ * **`identity`/`element` moved off the member set entirely — plan 0104.** One violation
+ * per SCC (keyed by the sorted member set above) let `.excluding()` waive a whole tangled
+ * component with one pattern, so a brand-new edge between two already-waived members was
+ * silently absorbed — a second, doubly fail-open bug in the same family. Each internal
+ * edge of the component now gets its own violation, `identity`, and `element`
+ * (`cycle-edge::${from}->${to}`, `${from} -> ${to}`) — every such edge provably lies on
+ * some cycle, because the component's own connectivity supplies a return path. The sorted
+ * `members` set computed above still exists and is still load-bearing: it now serves the
+ * MESSAGE's "part of a cycle with: ..." context only, not identity or element.
+ */
+/**
+ * Every slice must be free of dependency cycles.
+ *
+ * **The graph counts eager static dependencies: `import` declarations AND
+ * re-exports.** Since v0.48.0 `export { x } from './b.js'` and `export * from
+ * './b.js'` are edges — they emit an import of the module, so it is evaluated — which
+ * means a **barrel cycle** (`a → barrel → a`) is detected. It was not before v0.48.0,
+ * and that was the commonest cycle shape there is.
+ *
+ * Not counted, each for a reason: **dynamic `import()`** (lazy, so it cannot deadlock
+ * initialization, and it is usually the deliberate *fix* for a cycle), **`require()`**
+ * (CJS; this is an ESM-only package), and **type positions** like
+ * `type X = import('./b.js').Y` (erased).
+ *
+ * Type-only imports and re-exports are dropped by default — see `ignoreTypeImports`
+ * below, and note the default differs from `notDependOn`/`respectLayerOrder` on
+ * purpose: a cycle asks whether the module is *evaluated*, those ask whether the code
+ * is *coupled*.
+ *
+ * **This docstring said the opposite until v0.49.1.** It described the re-export
+ * blindness as permanent, and it argued for its own importance on the ground that "this
+ * docstring is read when the rule fails, and a changelog is read once" — then v0.48.0
+ * updated the changelog and left this text standing, along with the same claim in two
+ * shipped preset `because` strings that are **printed inside every finding**. Found by
+ * review, not by the suite; nothing pins prose against behaviour.
+ */
+export declare function beFreeOfCycles(options?: ImportOptions): Condition<Slice>;
 /**
  * Assert that slices respect a layered dependency order.
  *
+ * **Which edges count:** every kind `notImportFrom()` and `onlyImportFrom()` count — plain
+ * imports, re-exports, `import('…')` and `type X = import('…').Y` — because this is a
+ * **coupling** question and a lazy import of a forbidden slice is still a forbidden
+ * dependency. `require()` is not counted (ESM-only package, ADR-004). Contrast
+ * `beFreeOfCycles`, which counts only the eager kinds because a cycle is a deadlock in
+ * initialization order.
+ *
+ * Stated here rather than only in `docs/slices.md` because this docstring is what an IDE
+ * and an agent read. The same omission stood from v0.48.0 to v0.49.1 and nothing pinned
+ * prose against behaviour then either
+ * ([ts-archunit bug 0059](https://github.com/nielspeter/ts-archunit/blob/main/bugs/fixed/0059-slice-conditions-and-module-conditions-disagree-about-a-dependency.md)).
+ *
  * Given layers ['presentation', 'application', 'persistence', 'domain'],
  * layer N may depend on layers N+1, N+2, ... but NOT on layers N-1, N-2, ...
  * That is, dependencies must flow downward (toward higher indices) only.
@@ -31,10 +104,20 @@ export declare function beFreeOfCycles(): Condition<Slice>;
  *   .should().respectLayerOrder('presentation', 'application', 'persistence', 'domain')
  *   .check()
  */
+export declare function respectLayerOrder(layers: string[], options: ImportOptions): Condition<Slice>;
 export declare function respectLayerOrder(...layers: string[]): Condition<Slice>;
 /**
  * Assert that no slice depends on any of the listed slices.
  *
+ * **Which edges count:** every kind `notImportFrom()` and `onlyImportFrom()` count — plain
+ * imports, re-exports, `import('…')` and `type X = import('…').Y` — because this is a
+ * **coupling** question: a lazy import of a forbidden slice is still a forbidden dependency.
+ * `require()` is not counted (ESM-only, ADR-004). Contrast `beFreeOfCycles`, which counts
+ * only the eager kinds because a cycle is a deadlock in initialization order. Dynamic and
+ * type-expression edges were invisible here until
+ * [ts-archunit bug 0059](https://github.com/nielspeter/ts-archunit/blob/main/bugs/fixed/0059-slice-conditions-and-module-conditions-disagree-about-a-dependency.md);
+ * this note exists because that docstring said nothing either way.
+ *
  * Use for explicit isolation rules, e.g., "no slice may depend on legacy".
  *
  * @param forbiddenSlices - Names of slices that must not be depended upon
@@ -45,5 +128,6 @@ export declare function respectLayerOrder(...layers: string[]): Condition<Slice>
  *   .should().notDependOn('legacy', 'deprecated')
  *   .check()
  */
+export declare function notDependOn(forbiddenSlices: string[], options: ImportOptions): Condition<Slice>;
 export declare function notDependOn(...forbiddenSlices: string[]): Condition<Slice>;
 //# sourceMappingURL=slice.d.ts.map

package/dist/conditions/slice.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"slice.d.ts","sourceRoot":"","sources":["../../src/conditions/slice.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAoB,MAAM,kBAAkB,CAAA;AAEnE,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAA;AAQ/C;;;;;;;;;;;;GAYG;AACH,wBAAgB,cAAc,IAAI,SAAS,CAAC,KAAK,CAAC,CAmDjD;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,MAAM,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC,KAAK,CAAC,CAsCvE;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,WAAW,CAAC,GAAG,eAAe,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC,KAAK,CAAC,CA6B1E"}
+{"version":3,"file":"slice.d.ts","sourceRoot":"","sources":["../../src/conditions/slice.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAoB,MAAM,kBAAkB,CAAA;AAEnE,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAA;AAC/C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AAQ9D;;;;;;;;;;;;GAYG;AACH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAgB,cAAc,CAAC,OAAO,CAAC,EAAE,aAAa,GAAG,SAAS,CAAC,KAAK,CAAC,CAwIxE;AAoDD;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,aAAa,GAAG,SAAS,CAAC,KAAK,CAAC,CAAA;AAC7F,wBAAgB,iBAAiB,CAAC,GAAG,MAAM,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC,KAAK,CAAC,CAAA;AAmDxE;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,WAAW,CAAC,eAAe,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,aAAa,GAAG,SAAS,CAAC,KAAK,CAAC,CAAA;AAChG,wBAAgB,WAAW,CAAC,GAAG,eAAe,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC,KAAK,CAAC,CAAA"}