@goodbones/core 0.1.0-beta.1

package/build/esm/core/graph.js

@@ -0,0 +1,259 @@
+import * as Result from "effect/Result";
+import { compilePatterns } from "./patterns.js";
+export const EMPTY_GRAPH_RULES = { cycles: [], orphans: [], reach: [] };
+export const hasGraphRules = (rules) => rules.cycles.length + rules.orphans.length + rules.reach.length > 0;
+const compileFields = (ruleName, fields) => {
+    const compiled = [];
+    for (const [field, patterns] of fields) {
+        const one = compilePatterns(ruleName, field, patterns);
+        if (Result.isFailure(one))
+            return Result.fail(one.failure);
+        compiled.push(one.success);
+    }
+    return Result.succeed(compiled);
+};
+const compileCycle = (rule) => {
+    const fields = compileFields(rule.name, [
+        ["within", rule.within],
+        ["withinNot", rule.withinNot],
+    ]);
+    if (Result.isFailure(fields))
+        return Result.fail(fields.failure);
+    const [within = [], withinNot = []] = fields.success;
+    return Result.succeed({
+        name: rule.name,
+        message: rule.message,
+        probe: rule.probe,
+        within,
+        withinNot,
+    });
+};
+const compileOrphan = (rule) => {
+    const fields = compileFields(rule.name, [
+        ["within", rule.within],
+        ["withinNot", rule.withinNot],
+        ["entry", rule.entry],
+    ]);
+    if (Result.isFailure(fields))
+        return Result.fail(fields.failure);
+    const [within = [], withinNot = [], entry = []] = fields.success;
+    return Result.succeed({
+        name: rule.name,
+        message: rule.message,
+        probe: rule.probe,
+        within,
+        withinNot,
+        entry,
+    });
+};
+const compileReach = (rule) => {
+    const fields = compileFields(rule.name, [
+        ["from", rule.from],
+        ["fromNot", rule.fromNot],
+        ["to", rule.to],
+        ["toNot", rule.toNot],
+        ["via", rule.via],
+    ]);
+    if (Result.isFailure(fields))
+        return Result.fail(fields.failure);
+    const [from = [], fromNot = [], to = [], toNot = [], via = []] = fields.success;
+    return Result.succeed({
+        name: rule.name,
+        message: rule.message,
+        probe: rule.probe,
+        from,
+        fromNot,
+        to,
+        toNot,
+        via,
+    });
+};
+export const compileGraphRules = (config) => {
+    const cycles = [];
+    for (const rule of config?.cycles ?? []) {
+        const one = compileCycle(rule);
+        if (Result.isFailure(one))
+            return Result.fail(one.failure);
+        cycles.push(one.success);
+    }
+    const orphans = [];
+    for (const rule of config?.orphans ?? []) {
+        const one = compileOrphan(rule);
+        if (Result.isFailure(one))
+            return Result.fail(one.failure);
+        orphans.push(one.success);
+    }
+    const reach = [];
+    for (const rule of config?.reach ?? []) {
+        const one = compileReach(rule);
+        if (Result.isFailure(one))
+            return Result.fail(one.failure);
+        reach.push(one.success);
+    }
+    return Result.succeed({ cycles, orphans, reach });
+};
+const anyMatches = (patterns, value) => patterns.some((pattern) => pattern.test(value));
+const inScope = (scope, file) => anyMatches(scope.within, file) && !anyMatches(scope.withinNot, file);
+// Sorted adjacency, so every traversal below is deterministic and a subject
+// rendered from it is the same on every run.
+const neighboursOf = (graph, file) => [...(graph.edges.get(file) ?? [])].sort();
+// Tarjan's strongly connected components over the subgraph a rule is about.
+// A component of one node is a cycle only if that node imports itself.
+const stronglyConnected = (nodes, graph) => {
+    const members = new Set(nodes);
+    const index = new Map();
+    const low = new Map();
+    const onStack = new Set();
+    const stack = [];
+    const components = [];
+    let next = 0;
+    const visit = (node) => {
+        index.set(node, next);
+        low.set(node, next);
+        next += 1;
+        stack.push(node);
+        onStack.add(node);
+        for (const target of neighboursOf(graph, node)) {
+            if (!members.has(target))
+                continue;
+            if (!index.has(target)) {
+                visit(target);
+                low.set(node, Math.min(low.get(node) ?? 0, low.get(target) ?? 0));
+            }
+            else if (onStack.has(target)) {
+                low.set(node, Math.min(low.get(node) ?? 0, index.get(target) ?? 0));
+            }
+        }
+        if (low.get(node) === index.get(node)) {
+            const component = [];
+            let popped;
+            do {
+                popped = stack.pop();
+                if (popped === undefined)
+                    break;
+                onStack.delete(popped);
+                component.push(popped);
+            } while (popped !== node);
+            components.push(component.sort());
+        }
+    };
+    for (const node of [...nodes].sort())
+        if (!index.has(node))
+            visit(node);
+    return components;
+};
+const evaluateCycles = (rule, graph) => {
+    const nodes = graph.files.filter((file) => inScope(rule, file));
+    const violations = [];
+    for (const component of stronglyConnected(nodes, graph)) {
+        const [first] = component;
+        if (first === undefined)
+            continue;
+        const isCycle = component.length > 1 || (graph.edges.get(first) ?? []).includes(first);
+        if (!isCycle)
+            continue;
+        // The subject is the component as a set, so the entry survives an edge
+        // added or removed elsewhere in the same cycle.
+        violations.push({
+            kind: "graph",
+            ruleName: rule.name,
+            message: rule.message,
+            file: first,
+            subject: component.join(" ↔ "),
+        });
+    }
+    return violations;
+};
+const evaluateOrphans = (rule, graph) => {
+    const imported = new Set();
+    for (const targets of graph.edges.values())
+        for (const target of targets)
+            imported.add(target);
+    return graph.files
+        .filter((file) => inScope(rule, file) && !anyMatches(rule.entry, file) && !imported.has(file))
+        .map((file) => ({
+        kind: "graph",
+        ruleName: rule.name,
+        message: rule.message,
+        file,
+        subject: null,
+    }));
+};
+// Breadth-first from each `from` file, never stepping onto a `via` node, so a
+// `to` reached is one reached without passing through the tier that was
+// supposed to mediate. The route is put in the message, not the subject: the
+// fingerprint is (from, to), which survives the route changing.
+const evaluateReach = (rule, graph) => {
+    const violations = [];
+    const isTarget = (file) => anyMatches(rule.to, file) && !anyMatches(rule.toNot, file);
+    for (const origin of graph.files) {
+        if (!anyMatches(rule.from, origin) || anyMatches(rule.fromNot, origin))
+            continue;
+        const parent = new Map();
+        const queue = [origin];
+        const seen = new Set([origin]);
+        const reported = new Set();
+        while (queue.length > 0) {
+            const node = queue.shift();
+            if (node === undefined)
+                break;
+            for (const target of neighboursOf(graph, node)) {
+                if (seen.has(target))
+                    continue;
+                if (anyMatches(rule.via, target))
+                    continue;
+                seen.add(target);
+                parent.set(target, node);
+                if (isTarget(target) && !reported.has(target)) {
+                    reported.add(target);
+                    const route = [target];
+                    let step = target;
+                    while (step !== undefined && step !== origin) {
+                        step = parent.get(step);
+                        if (step !== undefined)
+                            route.unshift(step);
+                    }
+                    violations.push({
+                        kind: "graph",
+                        ruleName: rule.name,
+                        message: `${rule.message} (route: ${route.join(" → ")})`,
+                        file: origin,
+                        subject: target,
+                    });
+                }
+                queue.push(target);
+            }
+        }
+    }
+    return violations;
+};
+export const evaluateGraph = (rules, graph) => [
+    ...rules.cycles.flatMap((rule) => evaluateCycles(rule, graph)),
+    ...rules.orphans.flatMap((rule) => evaluateOrphans(rule, graph)),
+    ...rules.reach.flatMap((rule) => evaluateReach(rule, graph)),
+];
+// A probe is a small synthetic graph the rule must report on.
+export const graphOf = (probe) => {
+    const edges = new Map();
+    const files = new Set(probe.files ?? []);
+    for (const [from, to] of probe.edges) {
+        files.add(from);
+        files.add(to);
+        const targets = edges.get(from) ?? [];
+        targets.push(to);
+        edges.set(from, targets);
+    }
+    return { files: [...files].sort(), edges };
+};
+export const graphRulesFailingTheirProbe = (rules) => [
+    ...rules.cycles
+        .filter((rule) => evaluateCycles(rule, graphOf(rule.probe)).length === 0)
+        .map((rule) => rule.name),
+    ...rules.orphans
+        .filter((rule) => evaluateOrphans(rule, graphOf(rule.probe)).length === 0)
+        .map((rule) => rule.name),
+    ...rules.reach
+        .filter((rule) => evaluateReach(rule, graphOf(rule.probe)).length === 0)
+        .map((rule) => rule.name),
+];
+//# sourceMappingURL=graph.js.map

package/build/esm/core/graph.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"graph.js","sourceRoot":"","sources":["../../../src/core/graph.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAWxC,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAuChD,MAAM,CAAC,MAAM,iBAAiB,GAAkB,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;AAEvF,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,KAAoB,EAAW,EAAE,CAC7D,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;AAItE,MAAM,aAAa,GAAG,CACpB,QAAgB,EAChB,MAAc,EACuD,EAAE;IACvE,MAAM,QAAQ,GAAiC,EAAE,CAAC;IAClD,KAAK,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,MAAM,EAAE,CAAC;QACvC,MAAM,GAAG,GAAG,eAAe,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;QACvD,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC;YAAE,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC3D,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;AAClC,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CACnB,IAAoB,EACmC,EAAE;IACzD,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE;QACtC,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QACvB,CAAC,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC;KAC9B,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACjE,MAAM,CAAC,MAAM,GAAG,EAAE,EAAE,SAAS,GAAG,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC;IACrD,OAAO,MAAM,CAAC,OAAO,CAAC;QACpB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,MAAM;QACN,SAAS;KACV,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,IAAqB,EACmC,EAAE;IAC1D,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE;QACtC,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QACvB,CAAC,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC;QAC7B,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC;KACtB,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACjE,MAAM,CAAC,MAAM,GAAG,EAAE,EAAE,SAAS,GAAG,EAAE,EAAE,KAAK,GAAG,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC;IACjE,OAAO,MAAM,CAAC,OAAO,CAAC;QACpB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,MAAM;QACN,SAAS;QACT,KAAK;KACN,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CACnB,IAAoB,EACmC,EAAE;IACzD,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE;QACtC,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC;QACnB,CAAC,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC;QACzB,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;QACf,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC;QACrB,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC;KAClB,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACjE,MAAM,CAAC,IAAI,GAAG,EAAE,EAAE,OAAO,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,KAAK,GAAG,EAAE,EAAE,GAAG,GAAG,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC;IAChF,OAAO,MAAM,CAAC,OAAO,CAAC;QACpB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,IAAI;QACJ,OAAO;QACP,EAAE;QACF,KAAK;QACL,GAAG;KACJ,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,MAA+B,EACe,EAAE;IAChD,MAAM,MAAM,GAAkC,EAAE,CAAC;IACjD,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,MAAM,IAAI,EAAE,EAAE,CAAC;QACxC,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC;YAAE,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC3D,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC3B,CAAC;IACD,MAAM,OAAO,GAAmC,EAAE,CAAC;IACnD,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,OAAO,IAAI,EAAE,EAAE,CAAC;QACzC,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC;YAAE,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC3D,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC5B,CAAC;IACD,MAAM,KAAK,GAAkC,EAAE,CAAC;IAChD,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,KAAK,IAAI,EAAE,EAAE,CAAC;QACvC,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC;YAAE,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC3D,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;AACpD,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,QAA+B,EAAE,KAAa,EAAW,EAAE,CAC7E,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AAElD,MAAM,OAAO,GAAG,CACd,KAA4F,EAC5F,IAAY,EACH,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;AAEnF,4EAA4E;AAC5E,6CAA6C;AAC7C,MAAM,YAAY,GAAG,CAAC,KAAY,EAAE,IAAY,EAAyB,EAAE,CACzE,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAE5C,4EAA4E;AAC5E,uEAAuE;AACvE,MAAM,iBAAiB,GAAG,CACxB,KAA4B,EAC5B,KAAY,EAC0B,EAAE;IACxC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IAC/B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,KAAK,GAAkB,EAAE,CAAC;IAChC,MAAM,UAAU,GAAiC,EAAE,CAAC;IACpD,IAAI,IAAI,GAAG,CAAC,CAAC;IAEb,MAAM,KAAK,GAAG,CAAC,IAAY,EAAQ,EAAE;QACnC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACtB,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACpB,IAAI,IAAI,CAAC,CAAC;QACV,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAElB,KAAK,MAAM,MAAM,IAAI,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;YAC/C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,SAAS;YACnC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBACvB,KAAK,CAAC,MAAM,CAAC,CAAC;gBACd,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACpE,CAAC;iBAAM,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC/B,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACtE,CAAC;QACH,CAAC;QAED,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,MAAM,SAAS,GAAkB,EAAE,CAAC;YACpC,IAAI,MAA0B,CAAC;YAC/B,GAAG,CAAC;gBACF,MAAM,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;gBACrB,IAAI,MAAM,KAAK,SAAS;oBAAE,MAAM;gBAChC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBACvB,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACzB,CAAC,QAAQ,MAAM,KAAK,IAAI,EAAE;YAC1B,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;QACpC,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE;QAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IACxE,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CAAC,IAA4B,EAAE,KAAY,EAA4B,EAAE;IAC9F,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IAChE,MAAM,UAAU,GAAqB,EAAE,CAAC;IACxC,KAAK,MAAM,SAAS,IAAI,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;QACxD,MAAM,CAAC,KAAK,CAAC,GAAG,SAAS,CAAC;QAC1B,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACvF,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,uEAAuE;QACvE,gDAAgD;QAChD,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,IAAI,CAAC,IAAI;YACnB,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,IAAI,EAAE,KAAK;YACX,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC;SAC/B,CAAC,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,IAA6B,EAAE,KAAY,EAA4B,EAAE;IAChG,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE;QAAE,KAAK,MAAM,MAAM,IAAI,OAAO;YAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAE/F,OAAO,KAAK,CAAC,KAAK;SACf,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;SAC7F,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACd,IAAI,EAAE,OAAO;QACb,QAAQ,EAAE,IAAI,CAAC,IAAI;QACnB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,IAAI;QACJ,OAAO,EAAE,IAAI;KACd,CAAC,CAAC,CAAC;AACR,CAAC,CAAC;AAEF,8EAA8E;AAC9E,wEAAwE;AACxE,6EAA6E;AAC7E,gEAAgE;AAChE,MAAM,aAAa,GAAG,CAAC,IAA4B,EAAE,KAAY,EAA4B,EAAE;IAC7F,MAAM,UAAU,GAAqB,EAAE,CAAC;IACxC,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAE9F,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QACjC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC;YAAE,SAAS;QAEjF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;QACzC,MAAM,KAAK,GAAkB,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,CAAC,MAAM,CAAC,CAAC,CAAC;QACvC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QAEnC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;YAC3B,IAAI,IAAI,KAAK,SAAS;gBAAE,MAAM;YAC9B,KAAK,MAAM,MAAM,IAAI,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;gBAC/C,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;oBAAE,SAAS;gBAC/B,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC;oBAAE,SAAS;gBAC3C,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACjB,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;gBACzB,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC9C,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;oBACrB,MAAM,KAAK,GAAkB,CAAC,MAAM,CAAC,CAAC;oBACtC,IAAI,IAAI,GAAuB,MAAM,CAAC;oBACtC,OAAO,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;wBAC7C,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;wBACxB,IAAI,IAAI,KAAK,SAAS;4BAAE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;oBAC9C,CAAC;oBACD,UAAU,CAAC,IAAI,CAAC;wBACd,IAAI,EAAE,OAAO;wBACb,QAAQ,EAAE,IAAI,CAAC,IAAI;wBACnB,OAAO,EAAE,GAAG,IAAI,CAAC,OAAO,YAAY,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG;wBACxD,IAAI,EAAE,MAAM;wBACZ,OAAO,EAAE,MAAM;qBAChB,CAAC,CAAC;gBACL,CAAC;gBACD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACrB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,KAAoB,EAAE,KAAY,EAA4B,EAAE,CAAC;IAC7F,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC9D,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAChE,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;CAC7D,CAAC;AAEF,8DAA8D;AAC9D,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,KAAiB,EAAS,EAAE;IAClD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC/C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;IACjD,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QACrC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChB,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACd,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACtC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC;AAC7C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,KAAoB,EAAyB,EAAE,CAAC;IAC1F,GAAG,KAAK,CAAC,MAAM;SACZ,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;SACxE,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;IAC3B,GAAG,KAAK,CAAC,OAAO;SACb,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;SACzE,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;IAC3B,GAAG,KAAK,CAAC,KAAK;SACX,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;SACvE,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;CAC5B,CAAC"}

package/build/esm/core/imports.js

@@ -0,0 +1,103 @@
+import * as Result from "effect/Result";
+import { compilePatterns, firstFromMatch, sourcesOf, targetAllowed, validateTargetPatterns, } from "./patterns.js";
+export const compileImportRule = (rule) => {
+    const from = compilePatterns(rule.name, "from", rule.from);
+    if (Result.isFailure(from))
+        return Result.fail(from.failure);
+    const fromNot = compilePatterns(rule.name, "fromNot", rule.fromNot);
+    if (Result.isFailure(fromNot))
+        return Result.fail(fromNot.failure);
+    const targets = validateTargetPatterns(rule.name, [
+        ["to", rule.to],
+        ["toNot", rule.toNot],
+    ]);
+    if (Result.isFailure(targets))
+        return Result.fail(targets.failure);
+    return Result.succeed({
+        name: rule.name,
+        message: rule.message,
+        probe: rule.probe,
+        from: from.success,
+        fromNot: fromNot.success,
+        to: sourcesOf(rule.to),
+        toNot: sourcesOf(rule.toNot),
+        externals: new Set(rule.externals ?? []),
+        dependencyKind: rule.dependencyKind ?? null,
+    });
+};
+export const compileImportRules = (rules) => {
+    const compiled = [];
+    for (const rule of rules) {
+        const one = compileImportRule(rule);
+        if (Result.isFailure(one))
+            return Result.fail(one.failure);
+        compiled.push(one.success);
+    }
+    return Result.succeed(compiled);
+};
+// Returns the rules whose `from` side selects this file. A file no rule selects
+// never needs its imports resolved, which is what keeps resolution off the hot
+// path for the bulk of the repo.
+export const rulesSelecting = (rules, importer) => {
+    const selected = [];
+    for (const rule of rules) {
+        const captures = firstFromMatch(rule, importer);
+        if (captures !== null)
+            selected.push([rule, captures]);
+    }
+    return selected;
+};
+// Whether the rule reports this target. The kind comes from the resolver, an
+// external is judged by its package name, and only then do the path patterns
+// speak — so a rule never has to know where a language keeps its packages.
+const reports = (rule, captures, target) => {
+    if (rule.dependencyKind !== null && rule.dependencyKind !== target.kind)
+        return false;
+    if (target.kind === "external" &&
+        target.package !== undefined &&
+        rule.externals.has(target.package)) {
+        return false;
+    }
+    return targetAllowed(rule, captures, target.path);
+};
+export const evaluateSelectedEdge = (selected, resolver, edge) => {
+    if (selected.length === 0)
+        return Result.succeed([]);
+    const resolved = resolver.resolve(edge.importer, edge.specifier);
+    if (Result.isFailure(resolved))
+        return Result.fail(resolved.failure);
+    const target = resolved.success;
+    const violations = [];
+    for (const [rule, captures] of selected) {
+        if (reports(rule, captures, target)) {
+            violations.push({
+                kind: "import",
+                ruleName: rule.name,
+                message: rule.message,
+                file: edge.importer,
+                subject: target.path,
+            });
+        }
+    }
+    return Result.succeed(violations);
+};
+export const evaluateImportEdge = (rules, resolver, edge) => evaluateSelectedEdge(rulesSelecting(rules, edge.importer), resolver, edge);
+// A probe states its target in one of three forms, and the form is the kind —
+// so the probe never has to know how a language spells an external's path.
+export const probeTargetOf = (to) => {
+    if (typeof to === "string")
+        return { path: to, kind: "local" };
+    if ("external" in to)
+        return { path: to.external, kind: "external", package: to.external };
+    return { path: to.builtin, kind: "builtin" };
+};
+// Every rule must report its own probe. A rule that does not is enforcing
+// nothing while still looking configured and still passing a clean lint run —
+// the one failure mode a linter cannot surface on its own.
+export const rulesFailingTheirProbe = (rules) => rules.filter((rule) => {
+    const captures = firstFromMatch(rule, rule.probe.from);
+    if (captures === null)
+        return true;
+    return !reports(rule, captures, probeTargetOf(rule.probe.to));
+});
+//# sourceMappingURL=imports.js.map

package/build/esm/core/imports.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"imports.js","sourceRoot":"","sources":["../../../src/core/imports.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAMxC,OAAO,EACL,eAAe,EACf,cAAc,EACd,SAAS,EACT,aAAa,EACb,sBAAsB,GACvB,MAAM,eAAe,CAAC;AAmBvB,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAAgB,EACmC,EAAE;IACrD,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7D,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACpE,IAAI,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAEnE,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE;QAChD,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;QACf,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC;KACtB,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAEnE,OAAO,MAAM,CAAC,OAAO,CAAC;QACpB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,IAAI,EAAE,IAAI,CAAC,OAAO;QAClB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,EAAE,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACtB,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC;QAC5B,SAAS,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC;QACxC,cAAc,EAAE,IAAI,CAAC,cAAc,IAAI,IAAI;KAC5C,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,KAAgC,EACkC,EAAE;IACpE,MAAM,QAAQ,GAA8B,EAAE,CAAC;IAC/C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC;YAAE,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC3D,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;AAClC,CAAC,CAAC;AASF,gFAAgF;AAChF,+EAA+E;AAC/E,iCAAiC;AACjC,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,KAAwC,EACxC,QAAgB,EACa,EAAE;IAC/B,MAAM,QAAQ,GAAwB,EAAE,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAChD,IAAI,QAAQ,KAAK,IAAI;YAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,6EAA6E;AAC7E,6EAA6E;AAC7E,2EAA2E;AAC3E,MAAM,OAAO,GAAG,CAAC,IAAwB,EAAE,QAAyB,EAAE,MAAsB,EAAE,EAAE;IAC9F,IAAI,IAAI,CAAC,cAAc,KAAK,IAAI,IAAI,IAAI,CAAC,cAAc,KAAK,MAAM,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACtF,IACE,MAAM,CAAC,IAAI,KAAK,UAAU;QAC1B,MAAM,CAAC,OAAO,KAAK,SAAS;QAC5B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,EAClC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;AACpD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,QAAqC,EACrC,QAAwB,EACxB,IAAgB,EAC2C,EAAE;IAC7D,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAErD,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IACjE,IAAI,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IACrE,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC;IAEhC,MAAM,UAAU,GAAqB,EAAE,CAAC;IACxC,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,QAAQ,EAAE,CAAC;QACxC,IAAI,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;YACpC,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,IAAI,CAAC,IAAI;gBACnB,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,IAAI,EAAE,IAAI,CAAC,QAAQ;gBACnB,OAAO,EAAE,MAAM,CAAC,IAAI;aACrB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,KAAwC,EACxC,QAAwB,EACxB,IAAgB,EAC2C,EAAE,CAC7D,oBAAoB,CAAC,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;AAE7E,8EAA8E;AAC9E,2EAA2E;AAC3E,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,EAAqB,EAAkB,EAAE;IACrE,IAAI,OAAO,EAAE,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC/D,IAAI,UAAU,IAAI,EAAE;QAAE,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,CAAC,QAAQ,EAAE,CAAC;IAC3F,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAC/C,CAAC,CAAC;AAEF,0EAA0E;AAC1E,8EAA8E;AAC9E,2DAA2D;AAC3D,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,KAAwC,EACL,EAAE,CACrC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;IACpB,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACvD,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACnC,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;AAChE,CAAC,CAAC,CAAC"}

package/build/esm/core/members.js

@@ -0,0 +1,106 @@
+import * as Result from "effect/Result";
+import { compilePatterns, firstFromMatch } from "./patterns.js";
+export const compileMemberRule = (rule) => {
+    const fields = [
+        ["from", rule.from],
+        ["fromNot", rule.fromNot],
+        ["in", rule.in],
+        ["match", rule.match],
+        ["matchNot", rule.matchNot],
+        ["allow", rule.allow],
+    ];
+    const compiled = [];
+    for (const [field, patterns] of fields) {
+        const one = compilePatterns(rule.name, field, patterns);
+        if (Result.isFailure(one))
+            return Result.fail(one.failure);
+        compiled.push(one.success);
+    }
+    const [from, fromNot, inside, match, matchNot, allow] = compiled;
+    return Result.succeed({
+        name: rule.name,
+        message: rule.message,
+        probe: rule.probe,
+        subject: rule.subject,
+        from,
+        fromNot,
+        in: inside,
+        declares: rule.declares === undefined ? null : [...rule.declares],
+        match,
+        matchNot,
+        allow,
+    });
+};
+export const compileMemberRules = (rules) => {
+    const compiled = [];
+    for (const rule of rules) {
+        const one = compileMemberRule(rule);
+        if (Result.isFailure(one))
+            return Result.fail(one.failure);
+        compiled.push(one.success);
+    }
+    return Result.succeed(compiled);
+};
+const anyMatches = (patterns, value) => patterns.some((pattern) => pattern.test(value));
+export const memberRulesSelecting = (rules, file) => rules.filter((rule) => firstFromMatch(rule, file) !== null);
+const governs = (rule, site) => {
+    if (rule.subject !== site.subject)
+        return false;
+    if (rule.in.length > 0 && (site.in === undefined || !anyMatches(rule.in, site.in)))
+        return false;
+    if (rule.declares !== null &&
+        (site.declares === undefined || !rule.declares.includes(site.declares))) {
+        return false;
+    }
+    if (rule.match.length > 0 && !anyMatches(rule.match, site.name))
+        return false;
+    if (rule.matchNot.length > 0 && anyMatches(rule.matchNot, site.name))
+        return false;
+    return true;
+};
+export const evaluateMemberSite = (selected, site) => {
+    const violations = [];
+    for (const rule of selected) {
+        if (!governs(rule, site))
+            continue;
+        if (anyMatches(rule.allow, site.name))
+            continue;
+        violations.push({
+            kind: "member",
+            ruleName: rule.name,
+            message: rule.message,
+            file: site.file,
+            subject: site.name,
+        });
+    }
+    return violations;
+};
+// A probe with a `source` is checked through the parser: the snippet must
+// yield a site named `probe.name` that the rule reports. That is the check a
+// synthetic site cannot make — a rule about a declaration shape the extractor
+// does not read passes its synthetic probe and reports nothing. A probe
+// without a source is checked against the rule's patterns alone, as a site
+// declared in the first kind the rule speaks to.
+export const memberRulesFailingTheirProbe = (rules, extractor) => rules.filter((rule) => {
+    if (firstFromMatch(rule, rule.probe.from) === null)
+        return true;
+    const sites = rule.probe.source === undefined
+        ? [
+            {
+                file: rule.probe.from,
+                subject: rule.subject,
+                name: rule.probe.name,
+                ...(rule.probe.in === undefined ? {} : { in: rule.probe.in }),
+                ...(rule.probe.declares === undefined
+                    ? rule.declares === null
+                        ? {}
+                        : { declares: rule.declares[0] }
+                    : { declares: rule.probe.declares }),
+            },
+        ]
+        : extractor
+            .factsOf(rule.probe.from, rule.probe.source)
+            .memberSites.filter((site) => site.name === rule.probe.name);
+    return !sites.some((site) => evaluateMemberSite([rule], site).length > 0);
+});
+//# sourceMappingURL=members.js.map

package/build/esm/core/members.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"members.js","sourceRoot":"","sources":["../../../src/core/members.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAYxC,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAmBhE,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAAgB,EACmC,EAAE;IACrD,MAAM,MAAM,GAAG;QACb,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC;QACnB,CAAC,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC;QACzB,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;QACf,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC;QACrB,CAAC,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC;QAC3B,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC;KACb,CAAC;IAEX,MAAM,QAAQ,GAAiC,EAAE,CAAC;IAClD,KAAK,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,MAAM,EAAE,CAAC;QACvC,MAAM,GAAG,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;QACxD,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC;YAAE,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC3D,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC;IACD,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,GAAG,QAOvD,CAAC;IAEF,OAAO,MAAM,CAAC,OAAO,CAAC;QACpB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,IAAI;QACJ,OAAO;QACP,EAAE,EAAE,MAAM;QACV,QAAQ,EAAE,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC;QACjE,KAAK;QACL,QAAQ;QACR,KAAK;KACN,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,KAAgC,EACkC,EAAE;IACpE,MAAM,QAAQ,GAA8B,EAAE,CAAC;IAC/C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC;YAAE,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC3D,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;AAClC,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,QAA+B,EAAE,KAAa,EAAW,EAAE,CAC7E,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AAElD,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,KAAwC,EACxC,IAAY,EACuB,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;AAEpG,MAAM,OAAO,GAAG,CAAC,IAAwB,EAAE,IAAgB,EAAW,EAAE;IACtE,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAChD,IAAI,IAAI,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACjG,IACE,IAAI,CAAC,QAAQ,KAAK,IAAI;QACtB,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,EACvE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9E,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACnF,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,QAA2C,EAC3C,IAAgB,EACU,EAAE;IAC5B,MAAM,UAAU,GAAqB,EAAE,CAAC;IACxC,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC;YAAE,SAAS;QACnC,IAAI,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS;QAEhD,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,IAAI,CAAC,IAAI;YACnB,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,OAAO,EAAE,IAAI,CAAC,IAAI;SACnB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF,0EAA0E;AAC1E,6EAA6E;AAC7E,8EAA8E;AAC9E,wEAAwE;AACxE,2EAA2E;AAC3E,iDAAiD;AACjD,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,KAAwC,EACxC,SAAwB,EACW,EAAE,CACrC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;IACpB,IAAI,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAEhE,MAAM,KAAK,GACT,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS;QAC7B,CAAC,CAAC;YACE;gBACE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI;gBACrB,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI;gBACrB,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;gBAC7D,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS;oBACnC,CAAC,CAAC,IAAI,CAAC,QAAQ,KAAK,IAAI;wBACtB,CAAC,CAAC,EAAE;wBACJ,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE;oBAClC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;aACvC;SACF;QACH,CAAC,CAAC,SAAS;aACN,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;aAC3C,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAErE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AAC5E,CAAC,CAAC,CAAC"}

package/build/esm/core/patterns.js

@@ -0,0 +1,75 @@
+import * as Result from "effect/Result";
+import { patternsOf } from "../domain/architecture-config.js";
+import { PatternInvalid } from "../domain/architecture-error.js";
+const BACKREFERENCE = /\$([1-9])/g;
+// Validation-only stand-in so `new RegExp` sees a syntactically complete pattern
+// where a backreference will later be spliced.
+const withPlaceholderCaptures = (pattern) => pattern.replaceAll(BACKREFERENCE, "x");
+const compilePattern = (ruleName, field, pattern) => {
+    try {
+        return Result.succeed(new RegExp(pattern));
+    }
+    catch (cause) {
+        return Result.fail(new PatternInvalid({ ruleName, field, pattern, detail: String(cause) }));
+    }
+};
+export const compilePatterns = (ruleName, field, patterns) => {
+    const sources = patterns === undefined ? [] : patternsOf(patterns);
+    const compiled = [];
+    for (const source of sources) {
+        const one = compilePattern(ruleName, field, source);
+        if (Result.isFailure(one))
+            return Result.fail(one.failure);
+        compiled.push(one.success);
+    }
+    return Result.succeed(compiled);
+};
+// Target patterns are compiled per edge (a `$1` is only known once the `from`
+// side has matched), so they are validated separately at load. A typo in a
+// `toNot` must fail the config, not lie dormant until some file happens to
+// select the rule.
+export const validateTargetPatterns = (ruleName, fields) => {
+    for (const [field, patterns] of fields) {
+        const validated = compilePatterns(ruleName, field, patterns === undefined ? undefined : patternsOf(patterns).map(withPlaceholderCaptures));
+        if (Result.isFailure(validated))
+            return Result.fail(validated.failure);
+    }
+    return Result.succeed(undefined);
+};
+export const sourcesOf = (patterns) => (patterns === undefined ? [] : [...patternsOf(patterns)]);
+// A capture is one path segment from the importer, spliced into a target
+// pattern as `$1`. It is data, not pattern syntax: a folder named `my.module`
+// must match itself, not "my" plus any character plus "module".
+const REGEX_METACHARACTER = /[.*+?^${}()|[\]\\]/g;
+const substitute = (pattern, captures) => pattern.replaceAll(BACKREFERENCE, (whole, index) => {
+    const capture = captures[Number(index)];
+    return capture === undefined ? whole : capture.replace(REGEX_METACHARACTER, "\\$&");
+});
+const targetCache = new Map();
+const compiledTarget = (pattern) => {
+    const cached = targetCache.get(pattern);
+    if (cached !== undefined)
+        return cached;
+    const compiled = new RegExp(pattern);
+    targetCache.set(pattern, compiled);
+    return compiled;
+};
+export const matchesAny = (patterns, captures, value) => patterns.some((pattern) => compiledTarget(substitute(pattern, captures)).test(value));
+export const firstFromMatch = (rule, importer) => {
+    if (rule.fromNot.some((pattern) => pattern.test(importer)))
+        return null;
+    for (const pattern of rule.from) {
+        const captures = pattern.exec(importer);
+        if (captures !== null)
+            return captures;
+    }
+    return null;
+};
+export const targetAllowed = (rule, captures, targetPath) => {
+    if (rule.to.length > 0 && !matchesAny(rule.to, captures, targetPath))
+        return false;
+    if (rule.toNot.length > 0 && matchesAny(rule.toNot, captures, targetPath))
+        return false;
+    return true;
+};
+//# sourceMappingURL=patterns.js.map

package/build/esm/core/patterns.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"patterns.js","sourceRoot":"","sources":["../../../src/core/patterns.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,EAAE,UAAU,EAAE,MAAM,kCAAkC,CAAC;AAC9D,OAAO,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AAEjE,MAAM,aAAa,GAAG,YAAY,CAAC;AAEnC,iFAAiF;AACjF,+CAA+C;AAC/C,MAAM,uBAAuB,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;AAEpG,MAAM,cAAc,GAAG,CACrB,QAAgB,EAChB,KAAa,EACb,OAAe,EACwB,EAAE;IACzC,IAAI,CAAC;QACH,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IAC7C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9F,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,QAAgB,EAChB,KAAa,EACb,QAAoD,EACE,EAAE;IACxD,MAAM,OAAO,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IACnE,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,cAAc,CAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QACpD,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC;YAAE,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC3D,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;AAClC,CAAC,CAAC;AAEF,8EAA8E;AAC9E,2EAA2E;AAC3E,2EAA2E;AAC3E,mBAAmB;AACnB,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,QAAgB,EAChB,MAAoF,EAC/C,EAAE;IACvC,KAAK,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,MAAM,EAAE,CAAC;QACvC,MAAM,SAAS,GAAG,eAAe,CAC/B,QAAQ,EACR,KAAK,EACL,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,uBAAuB,CAAC,CACvF,CAAC;QACF,IAAI,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC;YAAE,OAAO,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;AACnC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,QAAoD,EAC7B,EAAE,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AAEtF,yEAAyE;AACzE,8EAA8E;AAC9E,gEAAgE;AAChE,MAAM,mBAAmB,GAAG,qBAAqB,CAAC;AAElD,MAAM,UAAU,GAAG,CAAC,OAAe,EAAE,QAAyB,EAAU,EAAE,CACxE,OAAO,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC,KAAK,EAAE,KAAa,EAAE,EAAE;IACzD,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IACxC,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,mBAAmB,EAAE,MAAM,CAAC,CAAC;AACtF,CAAC,CAAC,CAAC;AAEL,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;AAE9C,MAAM,cAAc,GAAG,CAAC,OAAe,EAAU,EAAE;IACjD,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACxC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACxC,MAAM,QAAQ,GAAG,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC;IACrC,WAAW,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACnC,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,QAA+B,EAC/B,QAAyB,EACzB,KAAa,EACJ,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,cAAc,CAAC,UAAU,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AAOpG,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,IAAgB,EAAE,QAAgB,EAA0B,EAAE;IAC3F,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACxE,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACxC,IAAI,QAAQ,KAAK,IAAI;YAAE,OAAO,QAAQ,CAAC;IACzC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAOF,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,IAAc,EACd,QAAyB,EACzB,UAAkB,EACT,EAAE;IACX,IAAI,IAAI,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,UAAU,CAAC;QAAE,OAAO,KAAK,CAAC;IACnF,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC;QAAE,OAAO,KAAK,CAAC;IACxF,OAAO,IAAI,CAAC;AACd,CAAC,CAAC"}