@nielspeter/eess-ts 0.2.1 → 0.5.0

package/dist/conditions/cross-layer.js

@@ -1,17 +1,199 @@
+import { setCorrespondence } from '@nielspeter/eess';
+import { UNSUPPRESSABLE } from '@nielspeter/eess/internal';
+import { marksOwnEmptyDiscovery } from '@nielspeter/eess/internal';
 /**
  * Every element in the left layer must have at least one match in the right layer.
  *
  * Produces a violation for each left-layer file that has no matching pair.
  * "Match" is determined by the mapping function provided via `.mapping()`.
  *
- * @param layers - The resolved layers, needed to identify unmatched left files
+ * This is an existence/coverage check, so it shares the set-difference +
+ * non-vacuity core (`setCorrespondence`, F2) with `crossProject()` — the two
+ * "every X has a matching Y" engines cannot drift, and neither can silently
+ * green on an empty side: a left layer that matched **zero** files is a
+ * mis-globbed layer that enforces nothing, so it now fails (ADR-008) rather
+ * than passing vacuously.
+ *
+ * @param explicitLayers - Optional, and kept only so existing callers compile.
+ *   The builder supplies its own resolved layers through the context, and those
+ *   win — see `PairConditionContext`.
+ */
+/**
+ * The finding for a layer that resolved no files, shared by all three conditions.
+ *
+ * A layer with no files makes every pair through it unchecked, so the condition
+ * enforces nothing — [ts-archunit bug 0040](https://github.com/nielspeter/ts-archunit/blob/main/bugs/fixed/0040-a-crosslayer-rule-reports-nothing-when-its-layer-resolves-nothing.md).
+ * `haveMatchingCounterpart` guarded this from the start; `haveConsistentExports`
+ * and `satisfyPairCondition` did not, and measured **4 violations → 0** on a dead
+ * layer. Now one helper, so a fourth condition cannot arrive without it and the
+ * three cannot drift.
+ *
+ * ## Why here and not in the dead-glob gate
+ *
+ * The gate can see that a `.layer()` glob is dead, and plan 0080 admits discovery
+ * globs to it for exactly that reason. But the gate short-circuits before the
+ * condition runs, so it would **replace** this finding — and this one is better:
+ * it names the layer, and its remedy has been corrected three times to point at
+ * the `.layer()` call the reader must edit (bug 0042). `PairFinalBuilder`
+ * therefore declares `ownsDiscoveryDiagnosis()`, and the knowledge stays with the
+ * code that has it.
+ */
+function emptyLayerFinding(layer, layerCount, context) {
+    return {
+        rule: context.rule,
+        element: layer.name,
+        file: '',
+        line: 1,
+        message: `Layer "${layer.name}" matched 0 files — a pairing over an empty layer enforces nothing. Fix the layer glob.`,
+        because: context.because,
+        ruleId: context.ruleId,
+        // Its own remedy, never the author's (bug 0042, a live recurrence of
+        // bug 0021). This used to be `suggestion: context.suggestion` /
+        // `docs: context.docs`, which failed two ways at once. With author
+        // metadata it printed the author's fix for a real violation as this
+        // finding's `Fix:` — measured, an empty-layer finding advising "Split
+        // the cycle by extracting a shared module." With none, `suggestion` is
+        // optional on `ConditionContext`, so the finding shipped with no remedy
+        // at all — the only producer in the census that could. (It said "of the
+        // thirteen" until the census grew to fifteen. The count is derived in
+        // `tests/core/every-config-finding-is-classified.test.ts`; repeating it
+        // here only created something to go stale.)
+        //
+        // `execute-rule.ts`'s bug-0021 guard cannot help here. It withholds the
+        // author's text from producers that leave the field unset; this one
+        // assigned it, so there was nothing to withhold. Same escape
+        // `correspondence-builder.ts` closed with a producer-side remedy.
+        //
+        // `ruleId` and `because` are **redundant with enrichment**, which
+        // backfills both — removing either leaves the suite green, measured.
+        // Kept for locality: a reader of this producer should see the whole
+        // finding, and `terminal-builder.ts` documents the same discovery.
+        // Neither claims a cause, which is why they are safe to carry where
+        // `suggestion` and `docs` are not.
+        //
+        // The removal clause is COMPUTED, because no fixed text is true for
+        // both chain lengths — and the first version of this remedy shipped
+        // the false one. "Or remove the layer from the chain" is impossible
+        // on a two-layer chain: `.mapping()` throws `RangeError` below two
+        // layers (`cross-layer-builder.ts:111`) and this finding cannot fire
+        // below two either (`:27`), so the advice was unreachable on exactly
+        // the shape that produces it. Measured. That is bug 0017's shape, in
+        // the change whose subject was bug 0017's shape — which is the best
+        // argument in this file for rule 2's behavioural corollary: a remedy
+        // is a claim, and reading well is not evidence.
+        //
+        // **Third** version of this sentence. Each earlier one was wrong, and
+        // each was wrong in a way worth keeping written down:
+        //
+        //  1. "or remove the layer from the chain" — impossible on a
+        //     two-layer chain, which is the only shape that produces this
+        //     finding. Replaced by the computed clause below.
+        //  2. "in the `Layer[]` passed to this condition" — true only while
+        //     the condition judged a caller-supplied copy. Bug 0040 removed
+        //     that array, so the remedy came to point at something that no
+        //     longer exists.
+        //
+        // Both were bug 0017's shape, and neither was catchable by asserting
+        // the message's content: the guard checked that it named the layer,
+        // which all three versions do. Only applying the fix found them.
+        //
+        // The glob named here IS now the `.layer()` glob, so the remedy names
+        // the call the reader has to edit.
+        suggestion: `Fix the .layer("${layer.name}", "${layer.pattern}") glob so it matches at ` +
+            `least one file.` +
+            (layerCount >= 3
+                ? ` Or drop the layer: ${String(layerCount - 1)} would remain, still a valid chain.`
+                : ` Dropping the layer is not available here — a chain needs two, and this one has` +
+                    ` ${String(layerCount)}. Delete the rule instead if the layer should not exist.`) +
+            ` Until then every pair through this layer is unchecked, so the rule reports` +
+            ` nothing whether the code complies or not. ${UNSUPPRESSABLE}`,
+        // Config-level meta-finding: no source file, so it must survive
+        // diff-aware/baseline or the guard re-greens under standard CI.
+        bypassFilters: true,
+    };
+}
+/**
+ * The finding for a layer set too small to judge, shared by all three conditions.
+ *
+ * A pair condition needs two layers. Below that all three used to `return []` —
+ * **silently**, which is the exact false green this library exists to remove,
+ * inside the library. Review measured the divergence that exposed it: with an
+ * empty `context.layers` and a two-layer argument, `haveMatchingCounterpart`
+ * reported 2 findings and its two siblings reported 0.
+ *
+ * Unreachable through the DSL — `.mapping()` throws below two layers
+ * (`cross-layer-builder.ts:111`) — so this is the direct-`evaluate()` path, which
+ * is public: `PairCondition` is an interface external code can call and the
+ * conditions are exported. Same reachability as the defect fixed in v0.43.1.
+ *
+ * A finding rather than a `throw`, because a condition that throws takes down the
+ * whole run and this is recoverable information about one rule.
  */
-export function haveMatchingCounterpart(layers) {
+function unusableLayersFinding(count, context) {
     return {
+        rule: context.rule,
+        element: '(layer set)',
+        file: '',
+        line: 1,
+        message: `A pair condition was evaluated against ${String(count)} layer(s) — it needs two, ` +
+            `so it judged nothing.`,
+        because: context.because,
+        ruleId: context.ruleId,
+        // Its own remedy, never the author's (bug 0021/0042).
+        suggestion: `Build the rule through crossLayer(project).layer(...).layer(...).mapping(...), which ` +
+            `guarantees at least two layers. If you are calling evaluate() directly, pass a ` +
+            `PairConditionContext whose \`layers\` holds every layer the pairs were drawn from — ` +
+            `with fewer than two there are no pairs to judge, so the condition reports nothing ` +
+            `whether the code complies or not. ${UNSUPPRESSABLE}`,
+        bypassFilters: true,
+    };
+}
+export function haveMatchingCounterpart(explicitLayers) {
+    // Registers itself as owning the empty-layer diagnosis (plan 0081).
+    return marksOwnEmptyDiscovery({
         description: 'have a matching counterpart in the paired layer',
         evaluate(pairs, context) {
+            // The BUILDER's layers by default (bug 0040). The argument is kept, and
+            // optional, so every existing caller still compiles — but the context
+            // wins, because a hand-built array is a second copy of the builder's
+            // resolution and judging the copy is the defect.
+            //
+            // Note the silent semantic change this implies, and it is the fix rather
+            // than a side effect: a caller who deliberately passed a NARROWER array
+            // now gets the builder's. Pinned by a precedence test.
+            // `>= 2`, not `> 0`. A pair condition needs two layers to mean anything, so
+            // a context carrying ONE must not win over a usable argument: with
+            // `> 0` it did, and the condition then returned `[]` at the guard below —
+            // a silent vacuous pass, which is the class ADR-008 exists for. Measured:
+            // context 1 layer + argument 2 layers → 0 findings.
+            //
+            // Safe for every builder path, and that is why the threshold can move: the
+            // builder cannot produce fewer than two, because `.mapping()` throws below
+            // two (`cross-layer-builder.ts:111`). So this cannot let the argument win
+            // over a real builder resolution — the defect bug 0040 fixed — it only
+            // removes the unusable-context case.
+            const fromContext = context.layers.length >= 2 ? context.layers : undefined;
+            const layers = fromContext ?? explicitLayers ?? [];
             if (layers.length < 2)
-                return [];
+                return [unusableLayersFinding(layers.length, context)];
+            // EVERY layer, before the pair loop — including the last one.
+            //
+            // This check used to live inside the loop below, which walks `layers[i]` for
+            // `i < length - 1`, so the **final** layer was never examined. Bug 0040
+            // named that its "missing case" and rated it worse than the silence, and it
+            // is: measured on a dead final layer, this condition produced **0**
+            // configuration findings and **2** ordinary ones reading *"has no matching
+            // counterpart in layer ghost"*. An agent obeying that writes files into a
+            // layer whose glob is wrong, they still do not match, and it improvises —
+            // bug 0017's shape.
+            //
+            // Its two siblings already checked all layers, so the three disagreed about
+            // the same input. Hoisting it here makes them consistent and closes the
+            // missing case with one code path rather than three.
+            const empty = layers.filter((layer) => layer.files.length === 0);
+            if (empty.length > 0) {
+                return empty.map((layer) => emptyLayerFinding(layer, layers.length, context));
+            }
             const violations = [];
             // Check consecutive layer pairs
             for (let i = 0; i < layers.length - 1; i++) {
@@ -26,26 +208,28 @@ export function haveMatchingCounterpart(layers) {
                         matchedLeftFiles.add(pair.left.getFilePath());
                     }
                 }
-                // Find unmatched left files
+                // Find unmatched left files via the shared set-difference core (F2).
+                const { missing } = setCorrespondence(leftLayer.files.map((file) => file.getFilePath()), matchedLeftFiles);
+                const missingPaths = new Set(missing);
                 for (const file of leftLayer.files) {
-                    if (!matchedLeftFiles.has(file.getFilePath())) {
-                        violations.push({
-                            rule: context.rule,
-                            element: file.getBaseName(),
-                            file: file.getFilePath(),
-                            line: 1,
-                            message: `File "${file.getBaseName()}" in layer "${leftLayer.name}" has no matching counterpart in layer "${rightLayer.name}"`,
-                            because: context.because,
-                            ruleId: context.ruleId,
-                            suggestion: context.suggestion,
-                            docs: context.docs,
-                        });
-                    }
+                    if (!missingPaths.has(file.getFilePath()))
+                        continue;
+                    violations.push({
+                        rule: context.rule,
+                        element: file.getBaseName(),
+                        file: file.getFilePath(),
+                        line: 1,
+                        message: `File "${file.getBaseName()}" in layer "${leftLayer.name}" has no matching counterpart in layer "${rightLayer.name}"`,
+                        because: context.because,
+                        ruleId: context.ruleId,
+                        suggestion: context.suggestion,
+                        docs: context.docs,
+                    });
                 }
             }
             return violations;
         },
-    };
+    });
 }
 /**
  * The matched pair must have consistent exported symbol names.
@@ -54,10 +238,20 @@ export function haveMatchingCounterpart(layers) {
  * Every symbol extracted from the left file must appear in the right file.
  */
 export function haveConsistentExports(extractLeft, extractRight) {
-    return {
+    // Registers itself as owning the empty-layer diagnosis (plan 0081).
+    return marksOwnEmptyDiscovery({
         description: 'have consistent exports between paired layers',
         evaluate(pairs, context) {
             const violations = [];
+            // The guard `haveMatchingCounterpart` had and this did not. Measured on a
+            // dead left layer: **4 violations → 0**, a false green (bug 0040).
+            if (context.layers.length < 2) {
+                return [unusableLayersFinding(context.layers.length, context)];
+            }
+            const empty = context.layers.filter((layer) => layer.files.length === 0);
+            if (empty.length > 0) {
+                return empty.map((layer) => emptyLayerFinding(layer, context.layers.length, context));
+            }
             for (const pair of pairs) {
                 const leftSymbols = extractLeft(pair.left);
                 const rightSymbols = new Set(extractRight(pair.right));
@@ -79,7 +273,7 @@ export function haveConsistentExports(extractLeft, extractRight) {
             }
             return violations;
         },
-    };
+    });
 }
 /**
  * Custom pair assertion — shorthand for inline PairCondition.
@@ -88,9 +282,19 @@ export function haveConsistentExports(extractLeft, extractRight) {
  * to signal failure, or `null` if the pair is consistent.
  */
 export function satisfyPairCondition(description, fn) {
-    return {
+    // Registers itself as owning the empty-layer diagnosis (plan 0081).
+    return marksOwnEmptyDiscovery({
         description,
-        evaluate(pairs, _context) {
+        evaluate(pairs, context) {
+            // Same guard, same reason (bug 0040). A custom pair assertion over an empty
+            // layer is asserted about nothing, whatever the callback does.
+            if (context.layers.length < 2) {
+                return [unusableLayersFinding(context.layers.length, context)];
+            }
+            const empty = context.layers.filter((layer) => layer.files.length === 0);
+            if (empty.length > 0) {
+                return empty.map((layer) => emptyLayerFinding(layer, context.layers.length, context));
+            }
             const violations = [];
             for (const pair of pairs) {
                 const result = fn(pair);
@@ -100,6 +304,6 @@ export function satisfyPairCondition(description, fn) {
             }
             return violations;
         },
-    };
+    });
 }
 //# sourceMappingURL=cross-layer.js.map

package/dist/conditions/cross-layer.js.map

@@ -1 +1 @@
-{"version":3,"file":"cross-layer.js","sourceRoot":"","sources":["../../src/conditions/cross-layer.ts"],"names":[],"mappings":"AAMA;;;;;;;GAOG;AACH,MAAM,UAAU,uBAAuB,CAAC,MAAe;IACrD,OAAO;QACL,WAAW,EAAE,iDAAiD;QAC9D,QAAQ,CAAC,KAAkB,EAAE,OAAyB;YACpD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,EAAE,CAAA;YAEhC,MAAM,UAAU,GAAoB,EAAE,CAAA;YAEtC,gCAAgC;YAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3C,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,CAAA;gBAC3B,MAAM,UAAU,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;gBAChC,IAAI,CAAC,SAAS,IAAI,CAAC,UAAU;oBAAE,SAAQ;gBAEvC,0DAA0D;gBAC1D,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAA;gBAC1C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,IAAI,IAAI,IAAI,CAAC,UAAU,KAAK,UAAU,CAAC,IAAI,EAAE,CAAC;wBAC7E,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAA;oBAC/C,CAAC;gBACH,CAAC;gBAED,4BAA4B;gBAC5B,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;oBACnC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC;wBAC9C,UAAU,CAAC,IAAI,CAAC;4BACd,IAAI,EAAE,OAAO,CAAC,IAAI;4BAClB,OAAO,EAAE,IAAI,CAAC,WAAW,EAAE;4BAC3B,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE;4BACxB,IAAI,EAAE,CAAC;4BACP,OAAO,EAAE,SAAS,IAAI,CAAC,WAAW,EAAE,eAAe,SAAS,CAAC,IAAI,2CAA2C,UAAU,CAAC,IAAI,GAAG;4BAC9H,OAAO,EAAE,OAAO,CAAC,OAAO;4BACxB,MAAM,EAAE,OAAO,CAAC,MAAM;4BACtB,UAAU,EAAE,OAAO,CAAC,UAAU;4BAC9B,IAAI,EAAE,OAAO,CAAC,IAAI;yBACnB,CAAC,CAAA;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;YAED,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CACnC,WAA2C,EAC3C,YAA4C;IAE5C,OAAO;QACL,WAAW,EAAE,+CAA+C;QAC5D,QAAQ,CAAC,KAAkB,EAAE,OAAyB;YACpD,MAAM,UAAU,GAAoB,EAAE,CAAA;YAEtC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,WAAW,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBAC1C,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;gBAEtD,KAAK,MAAM,MAAM,IAAI,WAAW,EAAE,CAAC;oBACjC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;wBAC9B,UAAU,CAAC,IAAI,CAAC;4BACd,IAAI,EAAE,OAAO,CAAC,IAAI;4BAClB,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE;4BAChC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE;4BAC7B,IAAI,EAAE,CAAC;4BACP,OAAO,EAAE,WAAW,MAAM,SAAS,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,IAAI,CAAC,SAAS,4BAA4B,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,MAAM,IAAI,CAAC,UAAU,GAAG;4BAC1J,OAAO,EAAE,OAAO,CAAC,OAAO;4BACxB,MAAM,EAAE,OAAO,CAAC,MAAM;4BACtB,UAAU,EAAE,OAAO,CAAC,UAAU;4BAC9B,IAAI,EAAE,OAAO,CAAC,IAAI;yBACnB,CAAC,CAAA;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;YAED,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAClC,WAAmB,EACnB,EAA6C;IAE7C,OAAO;QACL,WAAW;QACX,QAAQ,CAAC,KAAkB,EAAE,QAA0B;YACrD,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,MAAM,GAAG,EAAE,CAAC,IAAI,CAAC,CAAA;gBACvB,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;oBACpB,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;gBACzB,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC"}
+{"version":3,"file":"cross-layer.js","sourceRoot":"","sources":["../../src/conditions/cross-layer.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAA;AAC1D,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAA;AAElE;;;;;;;;;;;;;;;;GAgBG;AACH;;;;;;;;;;;;;;;;;;;GAmBG;AACH,SAAS,iBAAiB,CACxB,KAAY,EACZ,UAAkB,EAClB,OAA6B;IAE7B,OAAO;QACL,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,OAAO,EAAE,KAAK,CAAC,IAAI;QACnB,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,CAAC;QACP,OAAO,EAAE,UAAU,KAAK,CAAC,IAAI,yFAAyF;QACtH,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,qEAAqE;QACrE,gEAAgE;QAChE,mEAAmE;QACnE,oEAAoE;QACpE,sEAAsE;QACtE,uEAAuE;QACvE,wEAAwE;QACxE,wEAAwE;QACxE,sEAAsE;QACtE,wEAAwE;QACxE,4CAA4C;QAC5C,EAAE;QACF,wEAAwE;QACxE,oEAAoE;QACpE,6DAA6D;QAC7D,kEAAkE;QAClE,EAAE;QACF,kEAAkE;QAClE,qEAAqE;QACrE,oEAAoE;QACpE,mEAAmE;QACnE,oEAAoE;QACpE,mCAAmC;QACnC,EAAE;QACF,oEAAoE;QACpE,oEAAoE;QACpE,oEAAoE;QACpE,mEAAmE;QACnE,qEAAqE;QACrE,qEAAqE;QACrE,qEAAqE;QACrE,oEAAoE;QACpE,qEAAqE;QACrE,gDAAgD;QAChD,EAAE;QACF,sEAAsE;QACtE,sDAAsD;QACtD,EAAE;QACF,6DAA6D;QAC7D,kEAAkE;QAClE,sDAAsD;QACtD,oEAAoE;QACpE,oEAAoE;QACpE,mEAAmE;QACnE,qBAAqB;QACrB,EAAE;QACF,qEAAqE;QACrE,oEAAoE;QACpE,iEAAiE;QACjE,EAAE;QACF,sEAAsE;QACtE,mCAAmC;QACnC,UAAU,EACR,mBAAmB,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,OAAO,2BAA2B;YAC5E,iBAAiB;YACjB,CAAC,UAAU,IAAI,CAAC;gBACd,CAAC,CAAC,uBAAuB,MAAM,CAAC,UAAU,GAAG,CAAC,CAAC,qCAAqC;gBACpF,CAAC,CAAC,iFAAiF;oBACjF,IAAI,MAAM,CAAC,UAAU,CAAC,0DAA0D,CAAC;YACrF,6EAA6E;YAC7E,8CAA8C,cAAc,EAAE;QAChE,gEAAgE;QAChE,gEAAgE;QAChE,aAAa,EAAE,IAAI;KACpB,CAAA;AACH,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,SAAS,qBAAqB,CAAC,KAAa,EAAE,OAA6B;IACzE,OAAO;QACL,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,OAAO,EAAE,aAAa;QACtB,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,CAAC;QACP,OAAO,EACL,0CAA0C,MAAM,CAAC,KAAK,CAAC,4BAA4B;YACnF,uBAAuB;QACzB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,sDAAsD;QACtD,UAAU,EACR,uFAAuF;YACvF,iFAAiF;YACjF,sFAAsF;YACtF,oFAAoF;YACpF,qCAAqC,cAAc,EAAE;QACvD,aAAa,EAAE,IAAI;KACpB,CAAA;AACH,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,cAAwB;IAC9D,oEAAoE;IACpE,OAAO,sBAAsB,CAAC;QAC5B,WAAW,EAAE,iDAAiD;QAC9D,QAAQ,CAAC,KAAkB,EAAE,OAA6B;YACxD,wEAAwE;YACxE,sEAAsE;YACtE,qEAAqE;YACrE,iDAAiD;YACjD,EAAE;YACF,yEAAyE;YACzE,wEAAwE;YACxE,uDAAuD;YACvD,4EAA4E;YAC5E,mEAAmE;YACnE,0EAA0E;YAC1E,0EAA0E;YAC1E,oDAAoD;YACpD,EAAE;YACF,2EAA2E;YAC3E,2EAA2E;YAC3E,0EAA0E;YAC1E,uEAAuE;YACvE,qCAAqC;YACrC,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAA;YAC3E,MAAM,MAAM,GAAG,WAAW,IAAI,cAAc,IAAI,EAAE,CAAA;YAClD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,CAAC,qBAAqB,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;YAE7E,8DAA8D;YAC9D,EAAE;YACF,6EAA6E;YAC7E,wEAAwE;YACxE,4EAA4E;YAC5E,oEAAoE;YACpE,2EAA2E;YAC3E,0EAA0E;YAC1E,0EAA0E;YAC1E,oBAAoB;YACpB,EAAE;YACF,4EAA4E;YAC5E,wEAAwE;YACxE,qDAAqD;YACrD,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAA;YAChE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,iBAAiB,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;YAC/E,CAAC;YAED,MAAM,UAAU,GAAoB,EAAE,CAAA;YAEtC,gCAAgC;YAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3C,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,CAAA;gBAC3B,MAAM,UAAU,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;gBAChC,IAAI,CAAC,SAAS,IAAI,CAAC,UAAU;oBAAE,SAAQ;gBAEvC,0DAA0D;gBAC1D,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAA;gBAC1C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,IAAI,IAAI,IAAI,CAAC,UAAU,KAAK,UAAU,CAAC,IAAI,EAAE,CAAC;wBAC7E,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAA;oBAC/C,CAAC;gBACH,CAAC;gBAED,qEAAqE;gBACrE,MAAM,EAAE,OAAO,EAAE,GAAG,iBAAiB,CACnC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,EACjD,gBAAgB,CACjB,CAAA;gBACD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAA;gBACrC,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;oBACnC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;wBAAE,SAAQ;oBACnD,UAAU,CAAC,IAAI,CAAC;wBACd,IAAI,EAAE,OAAO,CAAC,IAAI;wBAClB,OAAO,EAAE,IAAI,CAAC,WAAW,EAAE;wBAC3B,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE;wBACxB,IAAI,EAAE,CAAC;wBACP,OAAO,EAAE,SAAS,IAAI,CAAC,WAAW,EAAE,eAAe,SAAS,CAAC,IAAI,2CAA2C,UAAU,CAAC,IAAI,GAAG;wBAC9H,OAAO,EAAE,OAAO,CAAC,OAAO;wBACxB,MAAM,EAAE,OAAO,CAAC,MAAM;wBACtB,UAAU,EAAE,OAAO,CAAC,UAAU;wBAC9B,IAAI,EAAE,OAAO,CAAC,IAAI;qBACnB,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;YAED,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAC,CAAA;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CACnC,WAA2C,EAC3C,YAA4C;IAE5C,oEAAoE;IACpE,OAAO,sBAAsB,CAAC;QAC5B,WAAW,EAAE,+CAA+C;QAC5D,QAAQ,CAAC,KAAkB,EAAE,OAA6B;YACxD,MAAM,UAAU,GAAoB,EAAE,CAAA;YAEtC,0EAA0E;YAC1E,mEAAmE;YACnE,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC9B,OAAO,CAAC,qBAAqB,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;YAChE,CAAC;YAED,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAA;YACxE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,iBAAiB,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;YACvF,CAAC;YAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,WAAW,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBAC1C,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;gBAEtD,KAAK,MAAM,MAAM,IAAI,WAAW,EAAE,CAAC;oBACjC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;wBAC9B,UAAU,CAAC,IAAI,CAAC;4BACd,IAAI,EAAE,OAAO,CAAC,IAAI;4BAClB,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE;4BAChC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE;4BAC7B,IAAI,EAAE,CAAC;4BACP,OAAO,EAAE,WAAW,MAAM,SAAS,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,IAAI,CAAC,SAAS,4BAA4B,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,MAAM,IAAI,CAAC,UAAU,GAAG;4BAC1J,OAAO,EAAE,OAAO,CAAC,OAAO;4BACxB,MAAM,EAAE,OAAO,CAAC,MAAM;4BACtB,UAAU,EAAE,OAAO,CAAC,UAAU;4BAC9B,IAAI,EAAE,OAAO,CAAC,IAAI;yBACnB,CAAC,CAAA;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;YAED,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAC,CAAA;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAClC,WAAmB,EACnB,EAA6C;IAE7C,oEAAoE;IACpE,OAAO,sBAAsB,CAAC;QAC5B,WAAW;QACX,QAAQ,CAAC,KAAkB,EAAE,OAA6B;YACxD,4EAA4E;YAC5E,+DAA+D;YAC/D,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC9B,OAAO,CAAC,qBAAqB,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;YAChE,CAAC;YAED,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAA;YACxE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,iBAAiB,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;YACvF,CAAC;YAED,MAAM,UAAU,GAAoB,EAAE,CAAA;YACtC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,MAAM,GAAG,EAAE,CAAC,IAAI,CAAC,CAAA;gBACvB,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;oBACpB,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;gBACzB,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAC,CAAA;AACJ,CAAC"}

package/dist/conditions/dependency.d.ts

@@ -3,8 +3,9 @@ import type { Condition } from '@nielspeter/eess';
 export type { ImportOptions } from '../core/import-options.js';
 import type { ImportOptions } from '../core/import-options.js';
 /**
- * Every import in the module must resolve to a path matching at least one of the globs.
- * Imports that don't match any glob produce violations.
+ * Every import in the module must match at least one of the globs — against its
+ * resolved path or, for a non-relative specifier, the specifier as written.
+ * Imports that match no glob produce violations.
  *
  * @example
  * modules(p)
@@ -15,7 +16,8 @@ import type { ImportOptions } from '../core/import-options.js';
 export declare function onlyImportFrom(globs: string[], options: ImportOptions): Condition<SourceFile>;
 export declare function onlyImportFrom(...globs: string[]): Condition<SourceFile>;
 /**
- * No import in the module may resolve to a path matching any of the globs.
+ * No import in the module may match any of the globs — against its resolved
+ * path or, for a non-relative specifier, the specifier as written.
  * Imports that match a glob produce violations.
  *
  * @example
@@ -31,9 +33,36 @@ export declare function notImportFrom(...globs: string[]): Condition<SourceFile>
  * Completes the import-condition family: onlyImportFrom (all),
  * notImportFrom (none), dependOn (at least one).
  *
- * Only considers static `import` declarations. Dynamic `import()`
- * expressions are not checked — use `beImported()` for import-graph
- * analysis that includes dynamic imports.
+ * **Sees every kind of module edge**, not just static imports: `import`,
+ * `export … from`, `import()` and `type X = import('…').Y`. (CJS `require` is
+ * classified and deliberately not enforced — see `DEPENDENCY_KINDS`.)
+ *
+ * **What counts as a dependency differs per kind, and the asymmetry is
+ * deliberate.** This is the only condition in the library where it does:
+ *
+ * | edge                              | satisfies `dependOn`?              |
+ * | --------------------------------- | ---------------------------------- |
+ * | `import { x } from '…'`           | yes                                |
+ * | `import type { X } from '…'`      | **yes** — unchanged; opt out with `{ ignoreTypeImports: true }` |
+ * | `export { x } from '…'`           | yes                                |
+ * | `export type { X } from '…'`      | **no** — erased, so nothing loads  |
+ * | `await import('…')`               | yes                                |
+ * | `type X = import('…').Y`          | **no** — erased                    |
+ *
+ * For `kind === 'import'` the behaviour is exactly what it was before v0.28.0:
+ * an `import type` of the target satisfies the rule, and `{ ignoreTypeImports:
+ * true }` is the shipped opt-in that makes it fail. Requiring runtime there
+ * would be a green→red change to a contract that already has an opt-out.
+ *
+ * For the other kinds it requires **runtime**, because the alternative creates a
+ * new false green: `export type { SecurityConfig } from './security.js'` would
+ * satisfy `dependOn('**\/security/**')` while the server installs nothing — and
+ * on the baseline side that reads as "the violation was fixed".
+ *
+ * **This is a red→green reversal from v0.27.0.** Before v0.28.0 a runtime
+ * re-export or dynamic import left this condition *unsatisfied*, so rules that
+ * failed may now pass. That is the fix, not a regression: the dependency was
+ * always there and the condition could not see it.
  *
  * @example
  * modules(p)

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

@@ -1 +1 @@
-{"version":3,"file":"dependency.d.ts","sourceRoot":"","sources":["../../src/conditions/dependency.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAqB,MAAM,UAAU,CAAA;AAC7D,OAAO,KAAK,EAAE,SAAS,EAAoB,MAAM,kBAAkB,CAAA;AAUnE,YAAY,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AAC9D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AA8B9D;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,aAAa,GAAG,SAAS,CAAC,UAAU,CAAC,CAAA;AAC9F,wBAAgB,cAAc,CAAC,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC,UAAU,CAAC,CAAA;AAqCzE;;;;;;;;;GASG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,aAAa,GAAG,SAAS,CAAC,UAAU,CAAC,CAAA;AAC7F,wBAAgB,aAAa,CAAC,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC,UAAU,CAAC,CAAA;AAqCxE;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,aAAa,GAAG,SAAS,CAAC,UAAU,CAAC,CAAA;AACxF,wBAAgB,QAAQ,CAAC,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC,UAAU,CAAC,CAAA;AAqCnE;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,qBAAqB,IAAI,SAAS,CAAC,UAAU,CAAC,CAyB7D;AAED;;;;;;;;;GASG;AACH,wBAAgB,uBAAuB,CAAC,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC,UAAU,CAAC,CAyBjF"}
+{"version":3,"file":"dependency.d.ts","sourceRoot":"","sources":["../../src/conditions/dependency.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAqB,MAAM,UAAU,CAAA;AAC7D,OAAO,KAAK,EAAE,SAAS,EAAoB,MAAM,kBAAkB,CAAA;AAkBnE,YAAY,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AAC9D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AA+K9D;;;;;;;;;;GAUG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,aAAa,GAAG,SAAS,CAAC,UAAU,CAAC,CAAA;AAC9F,wBAAgB,cAAc,CAAC,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC,UAAU,CAAC,CAAA;AA+DzE;;;;;;;;;;GAUG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,aAAa,GAAG,SAAS,CAAC,UAAU,CAAC,CAAA;AAC7F,wBAAgB,aAAa,CAAC,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC,UAAU,CAAC,CAAA;AA4CxE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AACH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,aAAa,GAAG,SAAS,CAAC,UAAU,CAAC,CAAA;AACxF,wBAAgB,QAAQ,CAAC,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC,UAAU,CAAC,CAAA;AAiFnE;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,qBAAqB,IAAI,SAAS,CAAC,UAAU,CAAC,CA4B7D;AAED;;;;;;;;;GASG;AACH,wBAAgB,uBAAuB,CAAC,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC,UAAU,CAAC,CAoEjF"}