@lucasacoutinho/archer 0.2.0 → 0.3.0

package/dist/config/rules.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules.d.ts","sourceRoot":"","sources":["../../src/config/rules.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAC1F,OAAO,KAAK,EAAE,SAAS,EAAE,oBAAoB,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAA;AAEzF,wDAAwD;AACxD,MAAM,MAAM,aAAa,GACrB,MAAM,GACN,aAAa,CAAC,aAAa,CAAC,GAC5B;IAAE,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAA;CAAE,GAC/B;IAAE,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC,aAAa,CAAC,CAAA;CAAE,CAAA;AAElD,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAA;IAC5B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CACzB;AAED,MAAM,WAAW,WAAY,SAAQ,WAAW;IAC9C,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAC9C,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAA;IAC7B,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAA;CAC7B;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,uDAAuD;IACvD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB;AAED,MAAM,MAAM,WAAW,GAAG,CAAC,OAAO,EAAE,aAAa,KAAK,aAAa,CAAC,MAAM,CAAC,CAAA;AAE3E,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAA;IAC5B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAA;IAC/B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,aAAa,CAAC,CAAA;IAC5C,+EAA+E;IAC/E,QAAQ,CAAC,KAAK,CAAC,EAAE,WAAW,CAAA;CAC7B;AAeD,MAAM,MAAM,SAAS,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,aAAa,EAAE,OAAO,CAAC,EAAE,WAAW,KAAK,QAAQ,CAAA;AAEtH,MAAM,MAAM,WAAW,GAAG,CACxB,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,aAAa,EACtB,OAAO,CAAC,EAAE,WAAW,GAAG;IAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAE,KACtD,QAAQ,CAAA;AAEb,MAAM,MAAM,cAAc,GAAG,CAC3B,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,aAAa,EACtB,OAAO,CAAC,EAAE,WAAW,GAAG;IAAE,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAA;CAAE,KACzD,QAAQ,CAAA;AAEb,MAAM,MAAM,YAAY,GAAG,CACzB,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,aAAa,EACtB,SAAS,EAAE,oBAAoB,EAC/B,OAAO,CAAC,EAAE,WAAW,KAClB,QAAQ,CAAA;AAEb,MAAM,MAAM,eAAe,GAAG,CAC5B,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,aAAa,EACtB,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,EAC5B,OAAO,CAAC,EAAE,WAAW,KAClB,QAAQ,CAAA;AAEb,MAAM,MAAM,QAAQ,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,WAAW,KAAK,QAAQ,CAAA;AAE5G,MAAM,MAAM,SAAS,GAAG,CACtB,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,aAAa,EACtB,KAAK,EAAE,MAAM,EACb,OAAO,CAAC,EAAE,WAAW,GAAG;IAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAA;CAAE,KAClD,QAAQ,CAAA;AAEb,MAAM,MAAM,YAAY,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,WAAW,KAAK,QAAQ,CAAA;AAE/G,MAAM,MAAM,UAAU,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,CAAC,EAAE,WAAW,KAAK,QAAQ,CAAA;AAEpH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAA;IAC3B,QAAQ,CAAC,YAAY,EAAE,SAAS,CAAA;IAChC,QAAQ,CAAC,gBAAgB,EAAE,SAAS,CAAA;IACpC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,CAAA;IACrC,QAAQ,CAAC,gBAAgB,EAAE,SAAS,CAAA;IACpC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAA;IAC7B,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAA;IACnC,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAA;IAC/B,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAA;IACnC,QAAQ,CAAC,WAAW,EAAE,eAAe,CAAA;IACrC,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAA;IAC5B,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAA;IAC7B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;IAC1B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;IAC1B,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAA;IAC/B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAA;CAC5B;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,KAAK,EAAE,aAAa,CAAC,eAAe,CAAC,KAAK,oBAAoB,CAAA;IACjF,QAAQ,CAAC,QAAQ,EAAE,oBAAoB,CAAA;IACvC,QAAQ,CAAC,QAAQ,EAAE,oBAAoB,CAAA;IACvC,QAAQ,CAAC,kBAAkB,EAAE,oBAAoB,CAAA;IACjD,QAAQ,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,oBAAoB,CAAA;IACxD,QAAQ,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,oBAAoB,CAAA;IAC3D,QAAQ,CAAC,SAAS,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,oBAAoB,CAAA;IAC1D,QAAQ,CAAC,UAAU,EAAE,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC,EAAE,UAAU,KAAK,oBAAoB,CAAA;IACpG,QAAQ,CAAC,iBAAiB,EAAE,oBAAoB,CAAA;IAChD,QAAQ,CAAC,GAAG,EAAE,CAAC,GAAG,UAAU,EAAE,aAAa,CAAC,oBAAoB,CAAC,KAAK,oBAAoB,CAAA;CAC3F;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAA;IAC/B,QAAQ,CAAC,OAAO,EAAE,CAAC,GAAG,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,KAAK,OAAO,CAAA;IAC9D,QAAQ,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,KAAK,OAAO,CAAA;CAChF;AAED,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;CAC9C;AAuDD,8FAA8F;AAC9F,eAAO,MAAM,CAAC,EAAE,gBAyDf,CAAA;AAQD,oEAAoE;AACpE,eAAO,MAAM,CAAC,EAAE,qBAYf,CAAA;AAED,iDAAiD;AACjD,eAAO,MAAM,GAAG,EAAE,eAMjB,CAAA;AAED,eAAO,MAAM,OAAO,EAAE,OAGrB,CAAA"}

package/dist/config/rules.js

@@ -0,0 +1,130 @@
+const allKinds = ["static", "type", "require", "dynamic"];
+const meta = (options) => ({
+    ...(options?.severity === undefined ? {} : { severity: options.severity }),
+    ...(options?.reason === undefined ? {} : { reason: options.reason }),
+});
+const edges = (options, transitive) => ({
+    kinds: options?.kinds ?? allKinds,
+    localOnly: options?.localOnly ?? false,
+    transitive: options?.transitive ?? transitive,
+});
+const reach = (direction, relation, negate) => (id, subject, object, options) => ({
+    id,
+    ...meta(options),
+    subject,
+    assertion: {
+        _tag: "Reach",
+        direction,
+        relation,
+        object: negate ? { not: object } : object,
+        edges: edges(options, false),
+    },
+});
+const named = (affix) => (id, subject, value, options) => ({
+    id,
+    ...meta(options),
+    subject,
+    assertion: { _tag: "Named", relation: options?.forbid === true ? "forbid" : "require", affix, value },
+});
+const declares = (quantifier) => (id, subject, predicate, options) => ({
+    id,
+    ...meta(options),
+    subject,
+    assertion: { _tag: "Declares", quantifier, predicate },
+});
+const uses = (relation) => (id, subject, use, options) => ({
+    id,
+    ...meta(options),
+    subject,
+    assertion: { _tag: "Uses", relation, use },
+});
+/** Rule constructors. Each returns plain data; the first argument is the rule's stable ID. */
+export const r = {
+    /** The subject must not reach the object. A computed import is always forbidden. */
+    forbid: reach("outgoing", "forbid", false),
+    /** The subject must reach something the object selects. */
+    require: reach("outgoing", "require", false),
+    /** The subject may reach only what the object selects. */
+    onlyDependOn: reach("outgoing", "forbid", true),
+    /** No source file the object selects may reach the subject. */
+    forbidDependents: reach("incoming", "forbid", false),
+    /** Some source file the object selects must reach the subject. */
+    requireDependents: reach("incoming", "require", false),
+    /** Only source files the object selects may reach the subject. */
+    onlyDependedOnBy: reach("incoming", "forbid", true),
+    acyclic: (id, subject, options) => ({
+        id,
+        ...meta(options),
+        subject,
+        assertion: {
+            _tag: "Acyclic",
+            edges: edges(options, true),
+            ...(options?.folderDepth === undefined ? {} : { folderDepth: options.folderDepth }),
+        },
+    }),
+    resolvable: (id, subject, options) => ({
+        id,
+        ...meta(options),
+        subject,
+        assertion: { _tag: "Resolvable", allowComputed: options?.allowComputed ?? false },
+    }),
+    /** Every declaration of the subject satisfies the predicate. A file without declarations passes. */
+    declares: declares("every"),
+    /** No declaration of the subject satisfies the predicate. */
+    declaresNone: declares("none"),
+    exportsOnly: (id, subject, names, options) => ({
+        id,
+        ...meta(options),
+        subject,
+        assertion: { _tag: "ExportsOnly", names },
+    }),
+    forbidUse: uses("forbid"),
+    requireUse: uses("require"),
+    prefix: named("prefix"),
+    suffix: named("suffix"),
+    maxLines: (id, subject, max, options) => ({
+        id,
+        ...meta(options),
+        subject,
+        assertion: { _tag: "MaxLines", max },
+    }),
+    /** A check written in code. It returns one message per finding; a throw becomes one finding. */
+    custom: (id, subject, check, options) => ({
+        id,
+        ...meta(options),
+        subject,
+        assertion: { _tag: "Custom", name: id },
+        check,
+    }),
+};
+const abstract = { _tag: "Abstract" };
+const exported = { _tag: "Exported" };
+const readonlyProperties = { _tag: "ReadonlyProperties" };
+const onlyPublicMethods = { _tag: "OnlyPublicMethods" };
+const looseEquality = { _tag: "LooseEquality" };
+/** Declaration predicates for `r.declares` and `r.declaresNone`. */
+export const p = {
+    kind: (...kinds) => ({ _tag: "Kind", kinds }),
+    abstract,
+    exported,
+    readonlyProperties,
+    extends: (name) => ({ _tag: "Extends", name }),
+    implements: (name) => ({ _tag: "Implements", name }),
+    decorator: (name) => ({ _tag: "Decorator", name }),
+    hasMethods: (names, visibility) => visibility === undefined ? { _tag: "HasMethods", names } : { _tag: "HasMethods", names, visibility },
+    onlyPublicMethods,
+    all: (...predicates) => ({ _tag: "All", predicates }),
+};
+/** Uses for `r.forbidUse` and `r.requireUse`. */
+export const use = {
+    looseEquality,
+    /** Calls of these names that resolve to no declaration. */
+    globals: (...names) => ({ _tag: "Globals", names }),
+    /** Calls that resolve to these exports of `source`. */
+    imported: (source, ...names) => ({ _tag: "Imported", source, names }),
+};
+export const presets = {
+    /** No cycles among source files, and every import resolves. */
+    recommended: [r.acyclic("archer/acyclic", "**"), r.resolvable("archer/resolvable", "**")],
+};
+//# sourceMappingURL=rules.js.map

package/dist/config/rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules.js","sourceRoot":"","sources":["../../src/config/rules.ts"],"names":[],"mappings":"AAuCA,MAAM,QAAQ,GAAkC,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,CAAC,CAAA;AAiGxF,MAAM,IAAI,GAAG,CAAC,OAAgC,EAAQ,EAAE,CAAC,CAAC;IACxD,GAAG,CAAC,OAAO,EAAE,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC;IAC1E,GAAG,CAAC,OAAO,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;CACrE,CAAC,CAAA;AAEF,MAAM,KAAK,GAAG,CAAC,OAAgC,EAAE,UAAmB,EAAS,EAAE,CAAC,CAAC;IAC/E,KAAK,EAAE,OAAO,EAAE,KAAK,IAAI,QAAQ;IACjC,SAAS,EAAE,OAAO,EAAE,SAAS,IAAI,KAAK;IACtC,UAAU,EAAE,OAAO,EAAE,UAAU,IAAI,UAAU;CAC9C,CAAC,CAAA;AAEF,MAAM,KAAK,GACT,CAAC,SAAkC,EAAE,QAA8B,EAAE,MAAe,EAAa,EAAE,CACnG,CAAC,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;IACjC,EAAE;IACF,GAAG,IAAI,CAAC,OAAO,CAAC;IAChB,OAAO;IACP,SAAS,EAAE;QACT,IAAI,EAAE,OAAO;QACb,SAAS;QACT,QAAQ;QACR,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM;QACzC,KAAK,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC;KAC7B;CACF,CAAC,CAAA;AAEJ,MAAM,KAAK,GACT,CAAC,KAA0B,EAAa,EAAE,CAC1C,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;IAChC,EAAE;IACF,GAAG,IAAI,CAAC,OAAO,CAAC;IAChB,OAAO;IACP,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE;CACtG,CAAC,CAAA;AAEJ,MAAM,QAAQ,GACZ,CAAC,UAA4B,EAAgB,EAAE,CAC/C,CAAC,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;IACpC,EAAE;IACF,GAAG,IAAI,CAAC,OAAO,CAAC;IAChB,OAAO;IACP,SAAS,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE;CACvD,CAAC,CAAA;AAEJ,MAAM,IAAI,GACR,CAAC,QAA8B,EAAY,EAAE,CAC7C,CAAC,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;IAC9B,EAAE;IACF,GAAG,IAAI,CAAC,OAAO,CAAC;IAChB,OAAO;IACP,SAAS,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE;CAC3C,CAAC,CAAA;AAEJ,8FAA8F;AAC9F,MAAM,CAAC,MAAM,CAAC,GAAqB;IACjC,oFAAoF;IACpF,MAAM,EAAE,KAAK,CAAC,UAAU,EAAE,QAAQ,EAAE,KAAK,CAAC;IAC1C,2DAA2D;IAC3D,OAAO,EAAE,KAAK,CAAC,UAAU,EAAE,SAAS,EAAE,KAAK,CAAC;IAC5C,0DAA0D;IAC1D,YAAY,EAAE,KAAK,CAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,CAAC;IAC/C,+DAA+D;IAC/D,gBAAgB,EAAE,KAAK,CAAC,UAAU,EAAE,QAAQ,EAAE,KAAK,CAAC;IACpD,kEAAkE;IAClE,iBAAiB,EAAE,KAAK,CAAC,UAAU,EAAE,SAAS,EAAE,KAAK,CAAC;IACtD,kEAAkE;IAClE,gBAAgB,EAAE,KAAK,CAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,CAAC;IACnD,OAAO,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;QAClC,EAAE;QACF,GAAG,IAAI,CAAC,OAAO,CAAC;QAChB,OAAO;QACP,SAAS,EAAE;YACT,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC;YAC3B,GAAG,CAAC,OAAO,EAAE,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC;SACpF;KACF,CAAC;IACF,UAAU,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;QACrC,EAAE;QACF,GAAG,IAAI,CAAC,OAAO,CAAC;QAChB,OAAO;QACP,SAAS,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,aAAa,EAAE,OAAO,EAAE,aAAa,IAAI,KAAK,EAAE;KAClF,CAAC;IACF,oGAAoG;IACpG,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC;IAC3B,6DAA6D;IAC7D,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC;IAC9B,WAAW,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;QAC7C,EAAE;QACF,GAAG,IAAI,CAAC,OAAO,CAAC;QAChB,OAAO;QACP,SAAS,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE;KAC1C,CAAC;IACF,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC;IACzB,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC;IAC3B,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC;IACvB,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC;IACvB,QAAQ,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;QACxC,EAAE;QACF,GAAG,IAAI,CAAC,OAAO,CAAC;QAChB,OAAO;QACP,SAAS,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE;KACrC,CAAC;IACF,gGAAgG;IAChG,MAAM,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;QACxC,EAAE;QACF,GAAG,IAAI,CAAC,OAAO,CAAC;QAChB,OAAO;QACP,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE;QACvC,KAAK;KACN,CAAC;CACH,CAAA;AAED,MAAM,QAAQ,GAAyB,EAAE,IAAI,EAAE,UAAU,EAAE,CAAA;AAC3D,MAAM,QAAQ,GAAyB,EAAE,IAAI,EAAE,UAAU,EAAE,CAAA;AAC3D,MAAM,kBAAkB,GAAyB,EAAE,IAAI,EAAE,oBAAoB,EAAE,CAAA;AAC/E,MAAM,iBAAiB,GAAyB,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAA;AAC7E,MAAM,aAAa,GAAY,EAAE,IAAI,EAAE,eAAe,EAAE,CAAA;AAExD,oEAAoE;AACpE,MAAM,CAAC,MAAM,CAAC,GAA0B;IACtC,IAAI,EAAE,CAAC,GAAG,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IAC7C,QAAQ;IACR,QAAQ;IACR,kBAAkB;IAClB,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IAC9C,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;IACpD,SAAS,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;IAClD,UAAU,EAAE,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,CAChC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE;IACtG,iBAAiB;IACjB,GAAG,EAAE,CAAC,GAAG,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;CACtD,CAAA;AAED,iDAAiD;AACjD,MAAM,CAAC,MAAM,GAAG,GAAoB;IAClC,aAAa;IACb,2DAA2D;IAC3D,OAAO,EAAE,CAAC,GAAG,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;IACnD,uDAAuD;IACvD,QAAQ,EAAE,CAAC,MAAM,EAAE,GAAG,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;CACtE,CAAA;AAED,MAAM,CAAC,MAAM,OAAO,GAAY;IAC9B,+DAA+D;IAC/D,WAAW,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,mBAAmB,EAAE,IAAI,CAAC,CAAC;CAC1F,CAAA"}

package/dist/core/baseline.d.ts

@@ -0,0 +1,16 @@
+/** Port of `record` and `apply` in lean/Archer/Impl/Baseline.lean. */
+import { Schema } from "effect";
+import { Fingerprint } from "./fingerprint.ts";
+import { Violation } from "./rule.ts";
+export interface Applied {
+    readonly kept: ReadonlyArray<Violation>;
+    readonly suppressed: ReadonlyArray<Violation>;
+    /** Baseline entries that no current violation has. */
+    readonly stale: ReadonlyArray<Fingerprint>;
+}
+export declare const Applied: Schema.Codec<Applied>;
+/** The fingerprints of the violations, once each, in order of first occurrence. */
+export declare const record: (violations: ReadonlyArray<Violation>) => Array<Fingerprint>;
+/** Splits violations by a baseline. */
+export declare const apply: (baseline: ReadonlyArray<Fingerprint>, violations: ReadonlyArray<Violation>) => Applied;
+//# sourceMappingURL=baseline.d.ts.map

package/dist/core/baseline.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"baseline.d.ts","sourceRoot":"","sources":["../../src/core/baseline.ts"],"names":[],"mappings":"AAAA,sEAAsE;AACtE,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,EAAE,WAAW,EAAe,MAAM,kBAAkB,CAAA;AAC3D,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAGrC,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,SAAS,CAAC,CAAA;IACvC,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,SAAS,CAAC,CAAA;IAC7C,sDAAsD;IACtD,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,WAAW,CAAC,CAAA;CAC3C;AAED,eAAO,MAAM,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAKxC,CAAA;AAEF,mFAAmF;AACnF,eAAO,MAAM,MAAM,eAAgB,aAAa,CAAC,SAAS,CAAC,KAAG,KAAK,CAAC,WAAW,CACjC,CAAA;AAE9C,uCAAuC;AACvC,eAAO,MAAM,KAAK,aAAc,aAAa,CAAC,WAAW,CAAC,cAAc,aAAa,CAAC,SAAS,CAAC,KAAG,OASlG,CAAA"}

package/dist/core/baseline.js

@@ -0,0 +1,25 @@
+/** Port of `record` and `apply` in lean/Archer/Impl/Baseline.lean. */
+import { Schema } from "effect";
+import { Fingerprint, fingerprint } from "./fingerprint.js";
+import { Violation } from "./rule.js";
+import { dedupStructural, structuralKey } from "./structural.js";
+export const Applied = Schema.Struct({
+    kept: Schema.Array(Violation),
+    suppressed: Schema.Array(Violation),
+    /** Baseline entries that no current violation has. */
+    stale: Schema.Array(Fingerprint),
+});
+/** The fingerprints of the violations, once each, in order of first occurrence. */
+export const record = (violations) => dedupStructural(violations.map(fingerprint));
+/** Splits violations by a baseline. */
+export const apply = (baseline, violations) => {
+    const baselineKeys = new Set(baseline.map(structuralKey));
+    const current = violations.map((violation) => structuralKey(fingerprint(violation)));
+    const currentKeys = new Set(current);
+    return {
+        kept: violations.filter((_, index) => !baselineKeys.has(current[index] ?? "")),
+        suppressed: violations.filter((_, index) => baselineKeys.has(current[index] ?? "")),
+        stale: dedupStructural(baseline).filter((entry) => !currentKeys.has(structuralKey(entry))),
+    };
+};
+//# sourceMappingURL=baseline.js.map

package/dist/core/baseline.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"baseline.js","sourceRoot":"","sources":["../../src/core/baseline.ts"],"names":[],"mappings":"AAAA,sEAAsE;AACtE,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC3D,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AACrC,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AAShE,MAAM,CAAC,MAAM,OAAO,GAA0B,MAAM,CAAC,MAAM,CAAC;IAC1D,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC;IAC7B,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC;IACnC,sDAAsD;IACtD,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC;CACjC,CAAC,CAAA;AAEF,mFAAmF;AACnF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,UAAoC,EAAsB,EAAE,CACjF,eAAe,CAAC,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAA;AAE9C,uCAAuC;AACvC,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,QAAoC,EAAE,UAAoC,EAAW,EAAE;IAC3G,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAA;IACzD,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,aAAa,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;IACpF,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAA;IACpC,OAAO;QACL,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QAC9E,UAAU,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QACnF,KAAK,EAAE,eAAe,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;KAC3F,CAAA;AACH,CAAC,CAAA"}

package/dist/core/check.d.ts

@@ -0,0 +1,16 @@
+import { type EdgeFilter, type FilePath, type Graph, type Target } from "./model.ts";
+import { type ReachFn } from "./reach.ts";
+import { type CustomRules, type Policy, type Rule, type Violation, type Edge } from "./rule.ts";
+/** Lean `dedupByKey`: drop every violation whose key an earlier violation has. */
+export declare const dedupByKey: (violations: ReadonlyArray<Violation>) => Array<Violation>;
+/** The witness for one target. It must equal the witness that the check's `ReachFn` reports for it. */
+export type ReachTargetFn = (graph: Graph, filter: EdgeFilter, source: FilePath, target: Target) => ReadonlyArray<Edge> | undefined;
+export declare const cycleGraph: (graph: Graph, rule: Rule, depth: number | undefined) => Graph;
+export declare const cycleFilter: (filter: EdgeFilter) => EdgeFilter;
+/** Lean `checkWith`: every rule's violations in policy order, deduplicated by key. */
+export declare const checkWith: (reachFn: ReachFn, reachTargetFn?: ReachTargetFn) => ((custom: CustomRules, policy: Policy, graph: Graph) => Array<Violation>);
+export declare const check: (custom: CustomRules, policy: Policy, graph: Graph) => Array<Violation>;
+export declare const emptySubjects: (policy: Policy, graph: Graph) => Array<string>;
+/** Lean `emptyObjects`: dependency rules whose object names files by a glob but selects none. */
+export declare const emptyObjects: (policy: Policy, graph: Graph) => Array<string>;
+//# sourceMappingURL=check.d.ts.map

package/dist/core/check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/core/check.ts"],"names":[],"mappings":"AAKA,OAAO,EAEL,KAAK,UAAU,EACf,KAAK,QAAQ,EACb,KAAK,KAAK,EAIV,KAAK,MAAM,EACZ,MAAM,YAAY,CAAA;AAEnB,OAAO,EAA2B,KAAK,OAAO,EAAe,MAAM,YAAY,CAAA;AAC/E,OAAO,EAKL,KAAK,WAAW,EAIhB,KAAK,MAAM,EAIX,KAAK,IAAI,EAET,KAAK,SAAS,EAGd,KAAK,IAAI,EACV,MAAM,WAAW,CAAA;AAIlB,kFAAkF;AAClF,eAAO,MAAM,UAAU,eAAgB,aAAa,CAAC,SAAS,CAAC,KAAG,KAAK,CAAC,SAAS,CAQhF,CAAA;AAgDD,uGAAuG;AACvG,MAAM,MAAM,aAAa,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,KAAK,aAAa,CAAC,IAAI,CAAC,GAAG,SAAS,CAAA;AA2FnI,eAAO,MAAM,UAAU,UAAW,KAAK,QAAQ,IAAI,SAAS,MAAM,GAAG,SAAS,KAAG,KAGhF,CAAA;AAED,eAAO,MAAM,WAAW,WAAY,UAAU,KAAG,UAA+C,CAAA;AAsMhG,sFAAsF;AACtF,eAAO,MAAM,SAAS,YAET,OAAO,kBACA,aAAa,KAC5B,CAAC,CAAC,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,KAAK,KAAK,CAAC,SAAS,CAAC,CAK1E,CAAA;AAEH,eAAO,MAAM,KAAK,EAAE,CAAC,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,KAAK,KAAK,CAAC,SAAS,CAAiC,CAAA;AAE3H,eAAO,MAAM,aAAa,WAAY,MAAM,SAAS,KAAK,KAAG,KAAK,CAAC,MAAM,CACmB,CAAA;AAe5F,iGAAiG;AACjG,eAAO,MAAM,YAAY,WAAY,MAAM,SAAS,KAAK,KAAG,KAAK,CAAC,MAAM,CAgB7C,CAAA"}

package/dist/core/check.js

@@ -0,0 +1,271 @@
+/**
+ * Port of lean/Archer/Impl/Check.lean. Evidence order is documented there:
+ * rules in policy order, subjects in graph file order, then per-assertion order.
+ */
+import { Match } from "effect";
+import { admits, graphPaths, } from "./model.js";
+import { filterKey, pathKey, targetKey } from "./keys.js";
+import { find, reach, reachTarget } from "./reach.js";
+import { affixHolds, basename, collapse, holds, matchesUse, restrict, violationKey, } from "./rule.js";
+import { selects, subjects } from "./selector.js";
+import { structuralKey } from "./structural.js";
+/** Lean `dedupByKey`: drop every violation whose key an earlier violation has. */
+export const dedupByKey = (violations) => {
+    const seen = new Set();
+    return violations.filter((violation) => {
+        const key = structuralKey(violationKey(violation));
+        if (seen.has(key))
+            return false;
+        seen.add(key);
+        return true;
+    });
+};
+const fileTarget = (path) => ({ _tag: "File", path });
+const forbidden = (object, target) => selects(object, target) || target._tag === "Computed";
+const unresolvable = (allowComputed, target) => Match.valueTags(target, {
+    Unresolved: () => true,
+    Computed: () => !allowComputed,
+    File: () => false,
+    Package: () => false,
+    Builtin: () => false,
+});
+/** `reach` is pure, so one check computes each graph, filter, and source once. */
+const memoize = (reachFn) => {
+    const results = new WeakMap();
+    return (graph, filter, source) => {
+        let byKey = results.get(graph);
+        if (byKey === undefined) {
+            byKey = new Map();
+            results.set(graph, byKey);
+        }
+        const key = filterKey(filter) + pathKey(source);
+        const cached = byKey.get(key);
+        if (cached !== undefined)
+            return cached;
+        const found = reachFn(graph, filter, source);
+        byKey.set(key, found);
+        return found;
+    };
+};
+const walks = new WeakMap();
+/** The witness `found` reports for `target`; `reach` reports each target once. */
+const walkTo = (found, target) => {
+    let index = walks.get(found);
+    if (index === undefined) {
+        index = new Map(found.map(([reached, edges]) => [targetKey(reached), edges]));
+        walks.set(found, index);
+    }
+    return index.get(targetKey(target));
+};
+const fromReach = (reachFn) => (graph, filter, source, target) => walkTo(reachFn(graph, filter, source), target);
+/** Candidate dependents of an incoming rule, in graph file order. The subject itself is removed per subject. */
+const candidates = (graph, object) => graph.files.filter((file) => selects(object, fileTarget(file.path)));
+const others = (files, subject) => {
+    const key = pathKey(subject);
+    return files.filter((file) => pathKey(file.path) !== key);
+};
+/** The admitted import sites of `files`, by target, in file order then dependency order. */
+const importersByTarget = (files, filter) => {
+    const index = new Map();
+    for (const dependent of files) {
+        for (const dependency of dependent.dependencies) {
+            if (!admits(filter, dependency))
+                continue;
+            const key = targetKey(dependency.target);
+            const sites = index.get(key);
+            if (sites === undefined)
+                index.set(key, [{ dependent, dependency }]);
+            else
+                sites.push({ dependent, dependency });
+        }
+    }
+    return index;
+};
+const outgoingForbid = (reachFn, graph, rule, object, filter) => subjects(graph, rule.subject).flatMap((file) => filter.transitive
+    ? reachFn(graph, filter, file.path)
+        .filter(([target]) => forbidden(object, target))
+        .map(([target, edges]) => [file.path, { _tag: "Walk", target, edges }])
+    : file.dependencies
+        .filter((dependency) => admits(filter, dependency) && forbidden(object, dependency.target))
+        .map((dependency) => [
+        file.path,
+        { _tag: "Dependency", edge: { source: file.path, dependency } },
+    ]));
+const outgoingRequire = (reachFn, graph, rule, object, filter) => subjects(graph, rule.subject)
+    .filter((file) => !reachFn(graph, filter, file.path).some(([target]) => target._tag !== "Computed" && selects(object, target)))
+    .map((file) => [file.path, { _tag: "Missing" }]);
+const incomingForbid = (reachFn, graph, rule, object, filter) => {
+    const dependents = candidates(graph, object);
+    if (!filter.transitive) {
+        const importers = importersByTarget(dependents, filter);
+        return subjects(graph, rule.subject).flatMap((file) => {
+            const key = pathKey(file.path);
+            return (importers.get(targetKey(fileTarget(file.path))) ?? [])
+                .filter(({ dependent }) => pathKey(dependent.path) !== key)
+                .map(({ dependent, dependency }) => [
+                file.path,
+                { _tag: "Dependency", edge: { source: dependent.path, dependency } },
+            ]);
+        });
+    }
+    return subjects(graph, rule.subject).flatMap((file) => others(dependents, file.path).flatMap((dependent) => {
+        const edges = walkTo(reachFn(graph, filter, dependent.path), fileTarget(file.path));
+        return edges === undefined ? [] : [[file.path, { _tag: "Walk", target: fileTarget(dependent.path), edges }]];
+    }));
+};
+const incomingRequire = (reachFn, graph, rule, object, filter) => {
+    const dependents = candidates(graph, object);
+    return subjects(graph, rule.subject)
+        .filter((file) => others(dependents, file.path).every((dependent) => walkTo(reachFn(graph, filter, dependent.path), fileTarget(file.path)) === undefined))
+        .map((file) => [file.path, { _tag: "Missing" }]);
+};
+export const cycleGraph = (graph, rule, depth) => {
+    const restricted = restrict(graph, (path) => selects(rule.subject, fileTarget(path)));
+    return depth === undefined ? restricted : collapse(restricted, depth);
+};
+export const cycleFilter = (filter) => ({ ...filter, transitive: true });
+/**
+ * The files that lie on a cycle: those in a strongly connected component
+ * with more than one file, or that import themselves. Only they can reach
+ * themselves, so the cycle rule searches from no other file.
+ */
+const onCycles = (graph, filter) => {
+    const nodes = new Map(graph.files.map((file) => [file, { file, successors: [], order: -1, low: 0, stacked: false }]));
+    for (const node of nodes.values()) {
+        node.successors = node.file.dependencies.flatMap((dependency) => {
+            if (!admits(filter, dependency) || dependency.target._tag !== "File")
+                return [];
+            const next = find(graph, dependency.target.path);
+            const successor = next === undefined ? undefined : nodes.get(next);
+            return successor === undefined ? [] : [successor];
+        });
+    }
+    const cyclic = new Set();
+    const stack = [];
+    let counter = 0;
+    const enter = (node) => {
+        node.order = node.low = counter++;
+        node.stacked = true;
+        stack.push(node);
+    };
+    for (const root of nodes.values()) {
+        if (root.order !== -1)
+            continue;
+        enter(root);
+        const work = [{ node: root, next: 0 }];
+        for (let frame = work.at(-1); frame !== undefined; frame = work.at(-1)) {
+            const successor = frame.node.successors[frame.next];
+            if (successor !== undefined) {
+                frame.next += 1;
+                if (successor.order === -1) {
+                    enter(successor);
+                    work.push({ node: successor, next: 0 });
+                }
+                else if (successor.stacked) {
+                    frame.node.low = Math.min(frame.node.low, successor.order);
+                }
+                continue;
+            }
+            work.pop();
+            const parent = work.at(-1);
+            if (parent !== undefined)
+                parent.node.low = Math.min(parent.node.low, frame.node.low);
+            if (frame.node.low !== frame.node.order)
+                continue;
+            const component = [];
+            for (let member = stack.pop(); member !== undefined; member = member === frame.node ? undefined : stack.pop()) {
+                member.stacked = false;
+                component.push(member);
+            }
+            if (component.length > 1 || frame.node.successors.includes(frame.node)) {
+                for (const member of component)
+                    cyclic.add(pathKey(member.file.path));
+            }
+        }
+    }
+    return cyclic;
+};
+const acyclicFindings = (reachTargetFn, graph, rule, filter, depth) => {
+    const cycles = cycleGraph(graph, rule, depth);
+    const cyclic = onCycles(cycles, cycleFilter(filter));
+    return graphPaths(cycles)
+        .filter((path) => cyclic.has(pathKey(path)))
+        .flatMap((path) => {
+        const edges = reachTargetFn(cycles, cycleFilter(filter), path, fileTarget(path));
+        return edges === undefined ? [] : [[path, { _tag: "Cycle", edges }]];
+    });
+};
+const resolvableFindings = (graph, rule, allowComputed) => subjects(graph, rule.subject).flatMap((file) => file.dependencies
+    .filter((dependency) => unresolvable(allowComputed, dependency.target))
+    .map((dependency) => [file.path, { _tag: "Dependency", edge: { source: file.path, dependency } }]));
+const violatingPredicateValue = (quantifier) => Match.value(quantifier).pipe(Match.when("every", () => false), Match.when("none", () => true), Match.exhaustive);
+const violatingAffixValue = (relation) => Match.value(relation).pipe(Match.when("require", () => false), Match.when("forbid", () => true), Match.exhaustive);
+const declaresFindings = (graph, rule, quantifier, predicate) => subjects(graph, rule.subject).flatMap((file) => file.declarations
+    .filter((declaration) => holds(predicate, declaration) === violatingPredicateValue(quantifier))
+    .map((declaration) => [
+    file.path,
+    { _tag: "Declaration", name: declaration.name, location: declaration.location },
+]));
+const exportsOnlyFindings = (graph, rule, names) => subjects(graph, rule.subject).flatMap((file) => file.exports.filter((name) => !names.includes(name)).map((name) => [file.path, { _tag: "Export", name }]));
+const usesForbidFindings = (graph, rule, spec) => subjects(graph, rule.subject).flatMap((file) => file.uses.filter((use) => matchesUse(spec, use)).map((use) => [file.path, { _tag: "Use", use }]));
+const usesRequireFindings = (graph, rule, spec) => subjects(graph, rule.subject)
+    .filter((file) => file.uses.every((use) => !matchesUse(spec, use)))
+    .map((file) => [file.path, { _tag: "Missing" }]);
+const namedFindings = (graph, rule, relation, affix, value) => subjects(graph, rule.subject)
+    .filter((file) => affixHolds(affix, value, basename(file.path)) === violatingAffixValue(relation))
+    .map((file) => [file.path, { _tag: "Name", basename: basename(file.path) }]);
+const maxLinesFindings = (graph, rule, max) => subjects(graph, rule.subject)
+    .filter((file) => max < file.lines)
+    .map((file) => [file.path, { _tag: "Lines", count: file.lines }]);
+const customFindings = (custom, graph, rule, name) => subjects(graph, rule.subject).flatMap((file) => custom(name, graph, file.path).map((message) => [file.path, { _tag: "Custom", message }]));
+const findings = (reachFn, reachTargetFn, custom, graph, rule) => Match.valueTags(rule.assertion, {
+    Reach: ({ direction, relation, object, edges }) => Match.value({ direction, relation }).pipe(Match.when({ direction: "outgoing", relation: "forbid" }, () => outgoingForbid(reachFn, graph, rule, object, edges)), Match.when({ direction: "outgoing", relation: "require" }, () => outgoingRequire(reachFn, graph, rule, object, edges)), Match.when({ direction: "incoming", relation: "forbid" }, () => incomingForbid(reachFn, graph, rule, object, edges)), Match.when({ direction: "incoming", relation: "require" }, () => incomingRequire(reachFn, graph, rule, object, edges)), Match.exhaustive),
+    Acyclic: ({ edges, folderDepth }) => acyclicFindings(reachTargetFn, graph, rule, edges, folderDepth),
+    Resolvable: ({ allowComputed }) => resolvableFindings(graph, rule, allowComputed),
+    Declares: ({ quantifier, predicate }) => declaresFindings(graph, rule, quantifier, predicate),
+    ExportsOnly: ({ names }) => exportsOnlyFindings(graph, rule, names),
+    Uses: ({ relation, use }) => Match.value(relation).pipe(Match.when("forbid", () => usesForbidFindings(graph, rule, use)), Match.when("require", () => usesRequireFindings(graph, rule, use)), Match.exhaustive),
+    Named: ({ relation, affix, value }) => namedFindings(graph, rule, relation, affix, value),
+    MaxLines: ({ max }) => maxLinesFindings(graph, rule, max),
+    Custom: ({ name }) => customFindings(custom, graph, rule, name),
+});
+const ruleViolations = (reachFn, reachTargetFn, custom, graph, rule) => findings(reachFn, reachTargetFn, custom, graph, rule).map(([subject, evidence]) => ({
+    ruleId: rule.id,
+    severity: rule.severity,
+    subject,
+    evidence,
+}));
+/** Lean `checkWith`: every rule's violations in policy order, deduplicated by key. */
+export const checkWith = (reachFn, reachTargetFn) => (custom, policy, graph) => {
+    const memoized = memoize(reachFn);
+    const target = reachTargetFn ?? fromReach(memoized);
+    return dedupByKey(policy.flatMap((rule) => ruleViolations(memoized, target, custom, graph, rule)));
+};
+export const check = checkWith(reach, reachTarget);
+export const emptySubjects = (policy, graph) => policy.filter((rule) => subjects(graph, rule.subject).length === 0).map((rule) => rule.id);
+/** Lean `Selector.mentionsGlob`: only positive occurrences, since a typo under `not` matches more, not less. */
+const mentionsGlob = (selector) => Match.valueTags(selector, {
+    Glob: () => true,
+    Package: () => false,
+    Builtin: () => false,
+    Unresolved: () => false,
+    Computed: () => false,
+    Any: ({ selectors }) => selectors.some(mentionsGlob),
+    All: ({ selectors }) => selectors.some(mentionsGlob),
+    Not: () => false,
+});
+/** Lean `emptyObjects`: dependency rules whose object names files by a glob but selects none. */
+export const emptyObjects = (policy, graph) => policy
+    .filter((rule) => Match.valueTags(rule.assertion, {
+    Reach: ({ object }) => mentionsGlob(object) && graph.files.every((file) => !selects(object, fileTarget(file.path))),
+    Acyclic: () => false,
+    Resolvable: () => false,
+    Declares: () => false,
+    ExportsOnly: () => false,
+    Uses: () => false,
+    Named: () => false,
+    MaxLines: () => false,
+    Custom: () => false,
+}))
+    .map((rule) => rule.id);
+//# sourceMappingURL=check.js.map

package/dist/core/check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.js","sourceRoot":"","sources":["../../src/core/check.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAC9B,OAAO,EACL,MAAM,EAIN,UAAU,GAIX,MAAM,YAAY,CAAA;AACnB,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AACzD,OAAO,EAAE,IAAI,EAAc,KAAK,EAAgB,WAAW,EAAE,MAAM,YAAY,CAAA;AAC/E,OAAO,EACL,UAAU,EACV,QAAQ,EACR,QAAQ,EAIR,KAAK,EACL,UAAU,EAIV,QAAQ,EAIR,YAAY,GAGb,MAAM,WAAW,CAAA;AAClB,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AACjD,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AAE/C,kFAAkF;AAClF,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,UAAoC,EAAoB,EAAE;IACnF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE;QACrC,MAAM,GAAG,GAAG,aAAa,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,CAAA;QAClD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAA;QAC/B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACb,OAAO,IAAI,CAAA;IACb,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA;AAID,MAAM,UAAU,GAAG,CAAC,IAAc,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAA;AAEvE,MAAM,SAAS,GAAG,CAAC,MAAgB,EAAE,MAAc,EAAW,EAAE,CAC9D,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAA;AAEvD,MAAM,YAAY,GAAG,CAAC,aAAsB,EAAE,MAAc,EAAW,EAAE,CACvE,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE;IACtB,UAAU,EAAE,GAAG,EAAE,CAAC,IAAI;IACtB,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,aAAa;IAC9B,IAAI,EAAE,GAAG,EAAE,CAAC,KAAK;IACjB,OAAO,EAAE,GAAG,EAAE,CAAC,KAAK;IACpB,OAAO,EAAE,GAAG,EAAE,CAAC,KAAK;CACrB,CAAC,CAAA;AAEJ,kFAAkF;AAClF,MAAM,OAAO,GAAG,CAAC,OAAgB,EAAW,EAAE;IAC5C,MAAM,OAAO,GAAG,IAAI,OAAO,EAA6B,CAAA;IACxD,OAAO,CAAC,KAAY,EAAE,MAAkB,EAAE,MAAgB,EAAS,EAAE;QACnE,IAAI,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QAC9B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,KAAK,GAAG,IAAI,GAAG,EAAE,CAAA;YACjB,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAC3B,CAAC;QACD,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA;QAC/C,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAC7B,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAA;QACvC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;QAC5C,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;QACrB,OAAO,KAAK,CAAA;IACd,CAAC,CAAA;AACH,CAAC,CAAA;AAED,MAAM,KAAK,GAAqD,IAAI,OAAO,EAA2C,CAAA;AAEtH,kFAAkF;AAClF,MAAM,MAAM,GAAG,CAAC,KAAY,EAAE,MAAc,EAAmC,EAAE;IAC/E,IAAI,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IAC5B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,KAAK,CAAU,CAAC,CAAC,CAAA;QACtF,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;IACzB,CAAC;IACD,OAAO,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAA;AACrC,CAAC,CAAA;AAKD,MAAM,SAAS,GACb,CAAC,OAAgB,EAAiB,EAAE,CACpC,CAAC,KAAY,EAAE,MAAkB,EAAE,MAAgB,EAAE,MAAc,EAAmC,EAAE,CACtG,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,CAAA;AAElD,gHAAgH;AAChH,MAAM,UAAU,GAAG,CAAC,KAAY,EAAE,MAAgB,EAAqB,EAAE,CACvE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;AAEtE,MAAM,MAAM,GAAG,CAAC,KAAgC,EAAE,OAAiB,EAAqB,EAAE;IACxF,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;IAC5B,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAA;AAC3D,CAAC,CAAA;AAOD,4FAA4F;AAC5F,MAAM,iBAAiB,GAAG,CAAC,KAAgC,EAAE,MAAkB,EAAgC,EAAE;IAC/G,MAAM,KAAK,GAAG,IAAI,GAAG,EAA2B,CAAA;IAChD,KAAK,MAAM,SAAS,IAAI,KAAK,EAAE,CAAC;QAC9B,KAAK,MAAM,UAAU,IAAI,SAAS,CAAC,YAAY,EAAE,CAAC;YAChD,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC;gBAAE,SAAQ;YACzC,MAAM,GAAG,GAAG,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,CAAA;YACxC,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YAC5B,IAAI,KAAK,KAAK,SAAS;gBAAE,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC,CAAC,CAAA;;gBAC/D,KAAK,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC,CAAA;QAC5C,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED,MAAM,cAAc,GAAG,CAAC,OAAgB,EAAE,KAAY,EAAE,IAAU,EAAE,MAAgB,EAAE,MAAkB,EAAkB,EAAE,CAC1H,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAkB,EAAE,CAC7D,MAAM,CAAC,UAAU;IACf,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC;SAC9B,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;SAC/C,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;IAC3E,CAAC,CAAC,IAAI,CAAC,YAAY;SACd,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;SAC1F,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC;QACnB,IAAI,CAAC,IAAI;QACT,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE;KAChE,CAAC,CACT,CAAA;AAEH,MAAM,eAAe,GAAG,CAAC,OAAgB,EAAE,KAAY,EAAE,IAAU,EAAE,MAAgB,EAAE,MAAkB,EAAkB,EAAE,CAC3H,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC;KAC1B,MAAM,CACL,CAAC,IAAI,EAAE,EAAE,CACP,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAC/G;KACA,GAAG,CAAC,CAAC,IAAI,EAAW,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAA;AAE7D,MAAM,cAAc,GAAG,CAAC,OAAgB,EAAE,KAAY,EAAE,IAAU,EAAE,MAAgB,EAAE,MAAkB,EAAkB,EAAE;IAC1H,MAAM,UAAU,GAAG,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IAC5C,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;QACvB,MAAM,SAAS,GAAG,iBAAiB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAA;QACvD,OAAO,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAkB,EAAE;YACpE,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAC9B,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;iBAC3D,MAAM,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC;iBAC1D,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,EAAW,EAAE,CAAC;gBAC3C,IAAI,CAAC,IAAI;gBACT,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE;aACrE,CAAC,CAAA;QACN,CAAC,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CACpD,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,EAAkB,EAAE;QAClE,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAA;QACnF,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;IAC9G,CAAC,CAAC,CACH,CAAA;AACH,CAAC,CAAA;AAED,MAAM,eAAe,GAAG,CAAC,OAAgB,EAAE,KAAY,EAAE,IAAU,EAAE,MAAgB,EAAE,MAAkB,EAAkB,EAAE;IAC3H,MAAM,UAAU,GAAG,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IAC5C,OAAO,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC;SACjC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CACf,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CACjC,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,SAAS,CACnG,CACF;SACA,GAAG,CAAC,CAAC,IAAI,EAAW,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAA;AAC7D,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAY,EAAE,IAAU,EAAE,KAAyB,EAAS,EAAE;IACvF,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACrF,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC,CAAA;AACvE,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,MAAkB,EAAc,EAAE,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAA;AAEhG;;;;GAIG;AACH,MAAM,QAAQ,GAAG,CAAC,KAAY,EAAE,MAAkB,EAAe,EAAE;IAQjE,MAAM,KAAK,GAAG,IAAI,GAAG,CACnB,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAU,CAAC,CACxG,CAAA;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;QAClC,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,UAAU,EAAe,EAAE;YAC3E,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM;gBAAE,OAAO,EAAE,CAAA;YAC/E,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;YAChD,MAAM,SAAS,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YAClE,OAAO,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;QACnD,CAAC,CAAC,CAAA;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAA;IAChC,MAAM,KAAK,GAAgB,EAAE,CAAA;IAC7B,IAAI,OAAO,GAAG,CAAC,CAAA;IACf,MAAM,KAAK,GAAG,CAAC,IAAU,EAAQ,EAAE;QACjC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,GAAG,OAAO,EAAE,CAAA;QACjC,IAAI,CAAC,OAAO,GAAG,IAAI,CAAA;QACnB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAClB,CAAC,CAAA;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;QAClC,IAAI,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC;YAAE,SAAQ;QAC/B,KAAK,CAAC,IAAI,CAAC,CAAA;QACX,MAAM,IAAI,GAAiD,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAA;QACpF,KAAK,IAAI,KAAK,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,SAAS,EAAE,KAAK,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACvE,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;YACnD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,KAAK,CAAC,IAAI,IAAI,CAAC,CAAA;gBACf,IAAI,SAAS,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;oBAC3B,KAAK,CAAC,SAAS,CAAC,CAAA;oBAChB,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAA;gBACzC,CAAC;qBAAM,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;oBAC7B,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,KAAK,CAAC,CAAA;gBAC5D,CAAC;gBACD,SAAQ;YACV,CAAC;YACD,IAAI,CAAC,GAAG,EAAE,CAAA;YACV,MAAM,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;YAC1B,IAAI,MAAM,KAAK,SAAS;gBAAE,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YACrF,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,KAAK,CAAC,IAAI,CAAC,KAAK;gBAAE,SAAQ;YACjD,MAAM,SAAS,GAAgB,EAAE,CAAA;YACjC,KAAK,IAAI,MAAM,GAAG,KAAK,CAAC,GAAG,EAAE,EAAE,MAAM,KAAK,SAAS,EAAE,MAAM,GAAG,MAAM,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC;gBAC9G,MAAM,CAAC,OAAO,GAAG,KAAK,CAAA;gBACtB,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;YACxB,CAAC;YACD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvE,KAAK,MAAM,MAAM,IAAI,SAAS;oBAAE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAA;YACvE,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAED,MAAM,eAAe,GAAG,CACtB,aAA4B,EAC5B,KAAY,EACZ,IAAU,EACV,MAAkB,EAClB,KAAyB,EACT,EAAE;IAClB,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;IAC7C,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAA;IACpD,OAAO,UAAU,CAAC,MAAM,CAAC;SACtB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;SAC3C,OAAO,CAAC,CAAC,IAAI,EAAkB,EAAE;QAChC,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAA;QAChF,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;IACtE,CAAC,CAAC,CAAA;AACN,CAAC,CAAA;AAED,MAAM,kBAAkB,GAAG,CAAC,KAAY,EAAE,IAAU,EAAE,aAAsB,EAAkB,EAAE,CAC9F,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAC7C,IAAI,CAAC,YAAY;KACd,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,YAAY,CAAC,aAAa,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;KACtE,GAAG,CAAC,CAAC,UAAU,EAAW,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC,CAC9G,CAAA;AAEH,MAAM,uBAAuB,GAAG,CAAC,UAAsB,EAAW,EAAE,CAClE,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,IAAI,CAC1B,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,EAChC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,EAC9B,KAAK,CAAC,UAAU,CACjB,CAAA;AAEH,MAAM,mBAAmB,GAAG,CAAC,QAAkB,EAAW,EAAE,CAC1D,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,CACxB,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,EAClC,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,EAChC,KAAK,CAAC,UAAU,CACjB,CAAA;AAEH,MAAM,gBAAgB,GAAG,CAAC,KAAY,EAAE,IAAU,EAAE,UAAsB,EAAE,SAA+B,EAAkB,EAAE,CAC7H,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAC7C,IAAI,CAAC,YAAY;KACd,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,EAAE,WAAW,CAAC,KAAK,uBAAuB,CAAC,UAAU,CAAC,CAAC;KAC9F,GAAG,CAAC,CAAC,WAAW,EAAW,EAAE,CAAC;IAC7B,IAAI,CAAC,IAAI;IACT,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,QAAQ,EAAE;CAChF,CAAC,CACL,CAAA;AAEH,MAAM,mBAAmB,GAAG,CAAC,KAAY,EAAE,IAAU,EAAE,KAA4B,EAAkB,EAAE,CACrG,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAC7C,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAW,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CACnH,CAAA;AAEH,MAAM,kBAAkB,GAAG,CAAC,KAAY,EAAE,IAAU,EAAE,IAAa,EAAkB,EAAE,CACrF,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAC7C,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAW,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAC1G,CAAA;AAEH,MAAM,mBAAmB,GAAG,CAAC,KAAY,EAAE,IAAU,EAAE,IAAa,EAAkB,EAAE,CACtF,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC;KAC1B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;KAClE,GAAG,CAAC,CAAC,IAAI,EAAW,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAA;AAE7D,MAAM,aAAa,GAAG,CAAC,KAAY,EAAE,IAAU,EAAE,QAAkB,EAAE,KAAY,EAAE,KAAa,EAAkB,EAAE,CAClH,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC;KAC1B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,mBAAmB,CAAC,QAAQ,CAAC,CAAC;KACjG,GAAG,CAAC,CAAC,IAAI,EAAW,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAA;AAEzF,MAAM,gBAAgB,GAAG,CAAC,KAAY,EAAE,IAAU,EAAE,GAAW,EAAkB,EAAE,CACjF,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC;KAC1B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC;KAClC,GAAG,CAAC,CAAC,IAAI,EAAW,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;AAE9E,MAAM,cAAc,GAAG,CAAC,MAAmB,EAAE,KAAY,EAAE,IAAU,EAAE,IAAY,EAAkB,EAAE,CACrG,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAC7C,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAW,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,CACnG,CAAA;AAEH,MAAM,QAAQ,GAAG,CACf,OAAgB,EAChB,aAA4B,EAC5B,MAAmB,EACnB,KAAY,EACZ,IAAU,EACc,EAAE,CAC1B,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE;IAC9B,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,CAChD,KAAK,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,CACvC,KAAK,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,CAC7D,cAAc,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CACpD,EACD,KAAK,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,GAAG,EAAE,CAC9D,eAAe,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CACrD,EACD,KAAK,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,CAC7D,cAAc,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CACpD,EACD,KAAK,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,GAAG,EAAE,CAC9D,eAAe,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CACrD,EACD,KAAK,CAAC,UAAU,CACjB;IACH,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,eAAe,CAAC,aAAa,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,CAAC;IACpG,UAAU,EAAE,CAAC,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK,EAAE,IAAI,EAAE,aAAa,CAAC;IACjF,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,CAAC;IAC7F,WAAW,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,mBAAmB,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC;IACnE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,EAAE,CAC1B,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,CACxB,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,kBAAkB,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,EAChE,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,mBAAmB,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,EAClE,KAAK,CAAC,UAAU,CACjB;IACH,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC;IACzF,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC;IACzD,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,cAAc,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC;CAChE,CAAC,CAAA;AAEJ,MAAM,cAAc,GAAG,CACrB,OAAgB,EAChB,aAA4B,EAC5B,MAAmB,EACnB,KAAY,EACZ,IAAU,EACQ,EAAE,CACpB,QAAQ,CAAC,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;IAClF,MAAM,EAAE,IAAI,CAAC,EAAE;IACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;IACvB,OAAO;IACP,QAAQ;CACT,CAAC,CAAC,CAAA;AAEL,sFAAsF;AACtF,MAAM,CAAC,MAAM,SAAS,GACpB,CACE,OAAgB,EAChB,aAA6B,EAC8C,EAAE,CAC/E,CAAC,MAAmB,EAAE,MAAc,EAAE,KAAY,EAAoB,EAAE;IACtE,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;IACjC,MAAM,MAAM,GAAG,aAAa,IAAI,SAAS,CAAC,QAAQ,CAAC,CAAA;IACnD,OAAO,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;AACpG,CAAC,CAAA;AAEH,MAAM,CAAC,MAAM,KAAK,GAA4E,SAAS,CAAC,KAAK,EAAE,WAAW,CAAC,CAAA;AAE3H,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,MAAc,EAAE,KAAY,EAAiB,EAAE,CAC3E,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;AAE5F,gHAAgH;AAChH,MAAM,YAAY,GAAG,CAAC,QAAkB,EAAW,EAAE,CACnD,KAAK,CAAC,SAAS,CAAC,QAAQ,EAAE;IACxB,IAAI,EAAE,GAAY,EAAE,CAAC,IAAI;IACzB,OAAO,EAAE,GAAY,EAAE,CAAC,KAAK;IAC7B,OAAO,EAAE,GAAY,EAAE,CAAC,KAAK;IAC7B,UAAU,EAAE,GAAY,EAAE,CAAC,KAAK;IAChC,QAAQ,EAAE,GAAY,EAAE,CAAC,KAAK;IAC9B,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,EAAW,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC;IAC7D,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,EAAW,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC;IAC7D,GAAG,EAAE,GAAY,EAAE,CAAC,KAAK;CAC1B,CAAC,CAAA;AAEJ,iGAAiG;AACjG,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,MAAc,EAAE,KAAY,EAAiB,EAAE,CAC1E,MAAM;KACH,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CACf,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE;IAC9B,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,EAAW,EAAE,CAC7B,YAAY,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9F,OAAO,EAAE,GAAY,EAAE,CAAC,KAAK;IAC7B,UAAU,EAAE,GAAY,EAAE,CAAC,KAAK;IAChC,QAAQ,EAAE,GAAY,EAAE,CAAC,KAAK;IAC9B,WAAW,EAAE,GAAY,EAAE,CAAC,KAAK;IACjC,IAAI,EAAE,GAAY,EAAE,CAAC,KAAK;IAC1B,KAAK,EAAE,GAAY,EAAE,CAAC,KAAK;IAC3B,QAAQ,EAAE,GAAY,EAAE,CAAC,KAAK;IAC9B,MAAM,EAAE,GAAY,EAAE,CAAC,KAAK;CAC7B,CAAC,CACH;KACA,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA"}

package/dist/core/config.d.ts

@@ -0,0 +1,72 @@
+/** Schemas and definitions of lean/Archer/Config.lean. */
+import { Schema } from "effect";
+import { type EdgeFilter, Selector } from "./model.ts";
+import { type RuleOf } from "./rule.ts";
+/** A selector that can also refer to a layer by name (`layer:domain`). */
+export type ConfigSelector = {
+    readonly _tag: "Base";
+    readonly selector: Selector;
+} | {
+    readonly _tag: "Layer";
+    readonly name: string;
+} | {
+    readonly _tag: "Any";
+    readonly selectors: ReadonlyArray<ConfigSelector>;
+} | {
+    readonly _tag: "All";
+    readonly selectors: ReadonlyArray<ConfigSelector>;
+} | {
+    readonly _tag: "Not";
+    readonly selector: ConfigSelector;
+};
+export declare const ConfigSelector: Schema.Codec<ConfigSelector>;
+export declare const layerNames: (selector: ConfigSelector) => Array<string>;
+export interface Layer {
+    readonly name: string;
+    readonly selector: Selector;
+}
+export declare const Layer: Schema.Codec<Layer>;
+/** Lean `lookupLayer`: the first layer with that name. */
+export declare const lookupLayer: (layers: ReadonlyArray<Layer>, name: string) => Selector | undefined;
+export interface PublicApi {
+    readonly layer: string;
+    /** The files of the layer that other layers may import. */
+    readonly entry: Selector;
+}
+export declare const PublicApi: Schema.Codec<PublicApi>;
+export interface Config {
+    readonly layers: ReadonlyArray<Layer>;
+    /** Top to bottom: each layer may depend on the layers listed after it. */
+    readonly stack: ReadonlyArray<string>;
+    /** Further layers each layer may depend on. */
+    readonly allow: ReadonlyArray<readonly [string, ReadonlyArray<string>]>;
+    readonly publicApis: ReadonlyArray<PublicApi>;
+    readonly rules: ReadonlyArray<RuleOf<ConfigSelector>>;
+}
+export declare const Config: Schema.Codec<Config>;
+export type ConfigError = {
+    readonly _tag: "DuplicateLayer";
+    readonly name: string;
+} | {
+    readonly _tag: "UnknownLayer";
+    readonly name: string;
+} | {
+    readonly _tag: "DuplicateRuleId";
+    readonly id: string;
+} | {
+    readonly _tag: "EmptyPolicy";
+};
+export declare const ConfigError: Schema.Codec<ConfigError>;
+/** A layer is constrained when the stack or the allow table mentions it as the depending layer. */
+export declare const constrained: (config: Config, name: string) => boolean;
+/** The layers a constrained layer may depend on, besides itself. */
+export declare const allowed: (config: Config, name: string) => Array<string>;
+/** Direct dependencies on source files, of every kind. */
+export declare const layerEdges: EdgeFilter;
+export declare const layerRuleId: (name: string) => string;
+export declare const publicApiRuleId: (name: string) => string;
+/** Every layer name the configuration refers to. */
+export declare const referencedLayers: (config: Config) => Array<string>;
+/** The rule IDs the lowered policy has. */
+export declare const ruleIds: (config: Config) => Array<string>;
+//# sourceMappingURL=config.d.ts.map

package/dist/core/config.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../src/core/config.ts"],"names":[],"mappings":"AAAA,0DAA0D;AAC1D,OAAO,EAAS,MAAM,EAAE,MAAM,QAAQ,CAAA;AACtC,OAAO,EAAE,KAAK,UAAU,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AACtD,OAAO,EAA8B,KAAK,MAAM,EAAE,MAAM,WAAW,CAAA;AAEnE,0EAA0E;AAC1E,MAAM,MAAM,cAAc,GACtB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,GACtD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACjD;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;CAAE,GAC3E;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;CAAE,GAC3E;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAA;CAAE,CAAA;AAE/D,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,KAAK,CAAC,cAAc,CAUtD,CAAA;AAEF,eAAO,MAAM,UAAU,aAAc,cAAc,KAAG,KAAK,CAAC,MAAM,CAO9D,CAAA;AAEJ,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;CAC5B;AAED,eAAO,MAAM,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAA8D,CAAA;AAEpG,0DAA0D;AAC1D,eAAO,MAAM,WAAW,WAAY,aAAa,CAAC,KAAK,CAAC,QAAQ,MAAM,KAAG,QAAQ,GAAG,SAC7B,CAAA;AAEvD,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,2DAA2D;IAC3D,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;CACzB;AAED,eAAO,MAAM,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,SAAS,CAI5C,CAAA;AAEF,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,CAAA;IACrC,0EAA0E;IAC1E,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACrC,+CAA+C;IAC/C,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IACvE,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,SAAS,CAAC,CAAA;IAC7C,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAA;CACtD;AAED,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAMtC,CAAA;AAEF,MAAM,MAAM,WAAW,GACnB;IAAE,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC1D;IAAE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACxD;IAAE,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GACzD;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;CAAE,CAAA;AAEpC,eAAO,MAAM,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,WAAW,CAKhD,CAAA;AAEF,mGAAmG;AACnG,eAAO,MAAM,WAAW,WAAY,MAAM,QAAQ,MAAM,KAAG,OACkB,CAAA;AAE7E,oEAAoE;AACpE,eAAO,MAAM,OAAO,WAAY,MAAM,QAAQ,MAAM,KAAG,KAAK,CAAC,MAAM,CAMlE,CAAA;AAED,0DAA0D;AAC1D,eAAO,MAAM,UAAU,EAAE,UAIxB,CAAA;AAED,eAAO,MAAM,WAAW,SAAU,MAAM,KAAG,MAAyB,CAAA;AAEpE,eAAO,MAAM,eAAe,SAAU,MAAM,KAAG,MAA8B,CAAA;AAE7E,oDAAoD;AACpD,eAAO,MAAM,gBAAgB,WAAY,MAAM,KAAG,KAAK,CAAC,MAAM,CAQ7D,CAAA;AAED,2CAA2C;AAC3C,eAAO,MAAM,OAAO,WAAY,MAAM,KAAG,KAAK,CAAC,MAAM,CAIpD,CAAA"}