@lucasacoutinho/archer 0.2.0 → 0.3.0

package/dist/core/config.js

@@ -0,0 +1,78 @@
+/** Schemas and definitions of lean/Archer/Config.lean. */
+import { Match, Schema } from "effect";
+import { Selector } from "./model.js";
+import { assertionSelectors, ruleOf } from "./rule.js";
+export const ConfigSelector = Schema.Union([
+    Schema.TaggedStruct("Base", { selector: Selector }),
+    Schema.TaggedStruct("Layer", { name: Schema.String }),
+    Schema.TaggedStruct("Any", {
+        selectors: Schema.Array(Schema.suspend(() => ConfigSelector)),
+    }),
+    Schema.TaggedStruct("All", {
+        selectors: Schema.Array(Schema.suspend(() => ConfigSelector)),
+    }),
+    Schema.TaggedStruct("Not", { selector: Schema.suspend(() => ConfigSelector) }),
+]);
+export const layerNames = (selector) => Match.valueTags(selector, {
+    Base: () => [],
+    Layer: ({ name }) => [name],
+    Any: ({ selectors }) => selectors.flatMap(layerNames),
+    All: ({ selectors }) => selectors.flatMap(layerNames),
+    Not: ({ selector: inner }) => layerNames(inner),
+});
+export const Layer = Schema.Struct({ name: Schema.String, selector: Selector });
+/** Lean `lookupLayer`: the first layer with that name. */
+export const lookupLayer = (layers, name) => layers.find((layer) => layer.name === name)?.selector;
+export const PublicApi = Schema.Struct({
+    layer: Schema.String,
+    /** The files of the layer that other layers may import. */
+    entry: Selector,
+});
+export const Config = Schema.Struct({
+    layers: Schema.Array(Layer),
+    stack: Schema.Array(Schema.String),
+    allow: Schema.Array(Schema.Tuple([Schema.String, Schema.Array(Schema.String)])),
+    publicApis: Schema.Array(PublicApi),
+    rules: Schema.Array(ruleOf(ConfigSelector)),
+});
+export const ConfigError = Schema.Union([
+    Schema.TaggedStruct("DuplicateLayer", { name: Schema.String }),
+    Schema.TaggedStruct("UnknownLayer", { name: Schema.String }),
+    Schema.TaggedStruct("DuplicateRuleId", { id: Schema.String }),
+    Schema.TaggedStruct("EmptyPolicy", {}),
+]);
+/** A layer is constrained when the stack or the allow table mentions it as the depending layer. */
+export const constrained = (config, name) => config.stack.includes(name) || config.allow.some(([from]) => from === name);
+/** The layers a constrained layer may depend on, besides itself. */
+export const allowed = (config, name) => {
+    const index = config.stack.indexOf(name);
+    return [
+        ...(index < 0 ? [] : config.stack.slice(index + 1)),
+        ...config.allow.filter(([from]) => from === name).flatMap(([, to]) => to),
+    ];
+};
+/** Direct dependencies on source files, of every kind. */
+export const layerEdges = {
+    kinds: ["static", "type", "require", "dynamic"],
+    localOnly: true,
+    transitive: false,
+};
+export const layerRuleId = (name) => `layer/${name}`;
+export const publicApiRuleId = (name) => `public-api/${name}`;
+/** Every layer name the configuration refers to. */
+export const referencedLayers = (config) => [
+    ...config.stack,
+    ...config.allow.flatMap(([name, names]) => [name, ...names]),
+    ...config.publicApis.map((api) => api.layer),
+    ...config.rules.flatMap((rule) => [
+        ...layerNames(rule.subject),
+        ...assertionSelectors(rule.assertion).flatMap(layerNames),
+    ]),
+];
+/** The rule IDs the lowered policy has. */
+export const ruleIds = (config) => [
+    ...config.rules.map((rule) => rule.id),
+    ...config.layers.filter((layer) => constrained(config, layer.name)).map((layer) => layerRuleId(layer.name)),
+    ...config.publicApis.map((api) => publicApiRuleId(api.layer)),
+];
+//# sourceMappingURL=config.js.map

package/dist/core/config.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"config.js","sourceRoot":"","sources":["../../src/core/config.ts"],"names":[],"mappings":"AAAA,0DAA0D;AAC1D,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACtC,OAAO,EAAmB,QAAQ,EAAE,MAAM,YAAY,CAAA;AACtD,OAAO,EAAE,kBAAkB,EAAE,MAAM,EAAe,MAAM,WAAW,CAAA;AAUnE,MAAM,CAAC,MAAM,cAAc,GAAiC,MAAM,CAAC,KAAK,CAAC;IACvE,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;IACnD,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IACrD,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE;QACzB,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,GAAiC,EAAE,CAAC,cAAc,CAAC,CAAC;KAC5F,CAAC;IACF,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE;QACzB,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,GAAiC,EAAE,CAAC,cAAc,CAAC,CAAC;KAC5F,CAAC;IACF,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,GAAiC,EAAE,CAAC,cAAc,CAAC,EAAE,CAAC;CAC7G,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,QAAwB,EAAiB,EAAE,CACpE,KAAK,CAAC,SAAS,CAAC,QAAQ,EAAE;IACxB,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE;IACd,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC;IAC3B,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC;IACrD,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC;IACrD,GAAG,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC;CAChD,CAAC,CAAA;AAOJ,MAAM,CAAC,MAAM,KAAK,GAAwB,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAA;AAEpG,0DAA0D;AAC1D,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,MAA4B,EAAE,IAAY,EAAwB,EAAE,CAC9F,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,QAAQ,CAAA;AAQvD,MAAM,CAAC,MAAM,SAAS,GAA4B,MAAM,CAAC,MAAM,CAAC;IAC9D,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,2DAA2D;IAC3D,KAAK,EAAE,QAAQ;CAChB,CAAC,CAAA;AAYF,MAAM,CAAC,MAAM,MAAM,GAAyB,MAAM,CAAC,MAAM,CAAC;IACxD,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;IAC3B,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IAClC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC/E,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC;IACnC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;CAC5C,CAAC,CAAA;AAQF,MAAM,CAAC,MAAM,WAAW,GAA8B,MAAM,CAAC,KAAK,CAAC;IACjE,MAAM,CAAC,YAAY,CAAC,gBAAgB,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IAC9D,MAAM,CAAC,YAAY,CAAC,cAAc,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IAC5D,MAAM,CAAC,YAAY,CAAC,iBAAiB,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IAC7D,MAAM,CAAC,YAAY,CAAC,aAAa,EAAE,EAAE,CAAC;CACvC,CAAC,CAAA;AAEF,mGAAmG;AACnG,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,MAAc,EAAE,IAAY,EAAW,EAAE,CACnE,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,CAAA;AAE7E,oEAAoE;AACpE,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,MAAc,EAAE,IAAY,EAAiB,EAAE;IACrE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;IACxC,OAAO;QACL,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QACnD,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;KAC1E,CAAA;AACH,CAAC,CAAA;AAED,0DAA0D;AAC1D,MAAM,CAAC,MAAM,UAAU,GAAe;IACpC,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,CAAC;IAC/C,SAAS,EAAE,IAAI;IACf,UAAU,EAAE,KAAK;CAClB,CAAA;AAED,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,SAAS,IAAI,EAAE,CAAA;AAEpE,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,cAAc,IAAI,EAAE,CAAA;AAE7E,oDAAoD;AACpD,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,MAAc,EAAiB,EAAE,CAAC;IACjE,GAAG,MAAM,CAAC,KAAK;IACf,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC;IAC5D,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC;IAC5C,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAChC,GAAG,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC;QAC3B,GAAG,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC;KAC1D,CAAC;CACH,CAAA;AAED,2CAA2C;AAC3C,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,MAAc,EAAiB,EAAE,CAAC;IACxD,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;IACtC,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC3G,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;CAC9D,CAAA"}

package/dist/core/fingerprint.d.ts

@@ -0,0 +1,54 @@
+/**
+ * Port of lean/Archer/Fingerprint.lean and the encoding in lean/Archer/Impl/Baseline.lean
+ * (grammar documented there). Escapes are ASCII, so working on UTF-16 units equals Lean's
+ * character-wise processing.
+ */
+import { Option, Schema } from "effect";
+import { DependencyKind, FilePath, Binding, Target, UseKind } from "./model.ts";
+import { type EvidenceKey, type Violation } from "./rule.ts";
+export type FingerprintKey = {
+    readonly _tag: "Target";
+    readonly target: Target;
+} | {
+    readonly _tag: "Missing";
+} | {
+    readonly _tag: "Cycle";
+} | {
+    readonly _tag: "Dependency";
+    readonly target: Target;
+    readonly specifier: string;
+    readonly kind: DependencyKind;
+} | {
+    readonly _tag: "Declaration";
+    readonly name: string;
+} | {
+    readonly _tag: "Export";
+    readonly name: string;
+} | {
+    readonly _tag: "Use";
+    readonly kind: UseKind;
+    readonly name: string;
+    readonly binding: Binding;
+} | {
+    readonly _tag: "Name";
+} | {
+    readonly _tag: "Lines";
+} | {
+    readonly _tag: "Custom";
+    readonly message: string;
+};
+export declare const FingerprintKey: Schema.Codec<FingerprintKey>;
+export interface Fingerprint {
+    readonly ruleId: string;
+    readonly subject: FilePath;
+    readonly key: FingerprintKey;
+}
+export declare const Fingerprint: Schema.Codec<Fingerprint>;
+/** Lean `EvidenceKey.stable`: drops locations. */
+export declare const stable: (key: EvidenceKey) => FingerprintKey;
+export declare const fingerprint: (violation: Violation) => Fingerprint;
+/** One line: the rule ID, the subject path, then the key. */
+export declare const encode: (fingerprint: Fingerprint) => string;
+/** A strict parser; `None` when the line is not an encoding. */
+export declare const decode: (line: string) => Option.Option<Fingerprint>;
+//# sourceMappingURL=fingerprint.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"fingerprint.d.ts","sourceRoot":"","sources":["../../src/core/fingerprint.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAS,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC9C,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AAC/E,OAAO,EAAE,KAAK,WAAW,EAAE,KAAK,SAAS,EAAe,MAAM,WAAW,CAAA;AAGzE,MAAM,MAAM,cAAc,GACtB;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACpD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAC1B;IACE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;CAC9B,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,GAClG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAA;AAEzD,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,KAAK,CAAC,cAAc,CAWtD,CAAA;AACF,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAA;IAC1B,QAAQ,CAAC,GAAG,EAAE,cAAc,CAAA;CAC7B;AAED,eAAO,MAAM,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,WAAW,CAIhD,CAAA;AAEF,kDAAkD;AAClD,eAAO,MAAM,MAAM,QAAS,WAAW,KAAG,cAiBtC,CAAA;AAEJ,eAAO,MAAM,WAAW,cAAe,SAAS,KAAG,WAIjD,CAAA;AAoNF,6DAA6D;AAC7D,eAAO,MAAM,MAAM,gBAAiB,WAAW,KAAG,MAC4D,CAAA;AAE9G,gEAAgE;AAChE,eAAO,MAAM,MAAM,SAAU,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,WAAW,CAQ9D,CAAA"}

package/dist/core/fingerprint.js

@@ -0,0 +1,182 @@
+/**
+ * Port of lean/Archer/Fingerprint.lean and the encoding in lean/Archer/Impl/Baseline.lean
+ * (grammar documented there). Escapes are ASCII, so working on UTF-16 units equals Lean's
+ * character-wise processing.
+ */
+import { Match, Option, Schema } from "effect";
+import { DependencyKind, FilePath, Binding, Target, UseKind } from "./model.js";
+import { evidenceKey } from "./rule.js";
+export const FingerprintKey = Schema.Union([
+    Schema.TaggedStruct("Target", { target: Target }),
+    Schema.TaggedStruct("Missing", {}),
+    Schema.TaggedStruct("Cycle", {}),
+    Schema.TaggedStruct("Dependency", { target: Target, specifier: Schema.String, kind: DependencyKind }),
+    Schema.TaggedStruct("Declaration", { name: Schema.String }),
+    Schema.TaggedStruct("Export", { name: Schema.String }),
+    Schema.TaggedStruct("Use", { kind: UseKind, name: Schema.String, binding: Binding }),
+    Schema.TaggedStruct("Name", {}),
+    Schema.TaggedStruct("Lines", {}),
+    Schema.TaggedStruct("Custom", { message: Schema.String }),
+]);
+export const Fingerprint = Schema.Struct({
+    ruleId: Schema.String,
+    subject: FilePath,
+    key: FingerprintKey,
+});
+/** Lean `EvidenceKey.stable`: drops locations. */
+export const stable = (key) => Match.valueTags(key, {
+    Target: ({ target }) => ({ _tag: "Target", target }),
+    Missing: () => ({ _tag: "Missing" }),
+    Cycle: () => ({ _tag: "Cycle" }),
+    Dependency: ({ edge }) => ({
+        _tag: "Dependency",
+        target: edge.dependency.target,
+        specifier: edge.dependency.specifier,
+        kind: edge.dependency.kind,
+    }),
+    Declaration: ({ name }) => ({ _tag: "Declaration", name }),
+    Export: ({ name }) => ({ _tag: "Export", name }),
+    Use: ({ use }) => ({ _tag: "Use", kind: use.kind, name: use.name, binding: use.binding }),
+    Name: () => ({ _tag: "Name" }),
+    Lines: () => ({ _tag: "Lines" }),
+    Custom: ({ message }) => ({ _tag: "Custom", message }),
+});
+export const fingerprint = (violation) => ({
+    ruleId: violation.ruleId,
+    subject: violation.subject,
+    key: stable(evidenceKey(violation.evidence)),
+});
+const fieldLevel = { separator: "|", escapeLetter: "p" };
+const pathLevel = { separator: "/", escapeLetter: "s" };
+const escape = (level, text) => Array.from(text, (char) => Match.value(char).pipe(Match.when("\\", () => "\\\\"), Match.when(level.separator, () => `\\${level.escapeLetter}`), Match.when("\n", () => "\\n"), Match.when("\r", () => "\\r"), Match.orElse(() => char))).join("");
+const unescapeChar = (level, char) => Match.value(char).pipe(Match.when("\\", () => "\\"), Match.when(level.escapeLetter, () => level.separator), Match.when("n", () => "\n"), Match.when("r", () => "\r"), Match.orElse(() => undefined));
+/** Undoes `escape`; `undefined` on a backslash sequence that `escape` never writes or a trailing backslash. */
+const unescape = (level, text) => {
+    let out = "";
+    let pending = false;
+    for (const char of text) {
+        if (pending) {
+            const decoded = unescapeChar(level, char);
+            if (decoded === undefined)
+                return undefined;
+            out += decoded;
+            pending = false;
+        }
+        else if (char === "\\") {
+            pending = true;
+        }
+        else {
+            out += char;
+        }
+    }
+    return pending ? undefined : out;
+};
+const unescapeAll = (level, texts) => {
+    const out = [];
+    for (const text of texts) {
+        const decoded = unescape(level, text);
+        if (decoded === undefined)
+            return undefined;
+        out.push(decoded);
+    }
+    return out;
+};
+const encodeSeq = (level, texts) => texts.map((text) => level.separator + escape(level, text)).join("");
+const decodeSeq = (level, text) => {
+    const [head, ...rest] = text.split(level.separator);
+    return head === "" ? unescapeAll(level, rest) : undefined;
+};
+const encodeFields = (level, [first, ...rest]) => escape(level, first) + encodeSeq(level, rest);
+const decodeFields = (level, text) => {
+    const [head = "", ...rest] = text.split(level.separator);
+    const first = unescape(level, head);
+    const others = unescapeAll(level, rest);
+    return first === undefined || others === undefined ? undefined : [first, ...others];
+};
+const pathText = (path) => encodeSeq(pathLevel, path);
+const parsePath = (text) => decodeSeq(pathLevel, text);
+const parseRuntime = (word) => Match.value(word).pipe(Match.when("node", () => "node"), Match.when("bun", () => "bun"), Match.orElse(() => undefined));
+const parseDependencyKind = (word) => Match.value(word).pipe(Match.when("static", () => "static"), Match.when("type", () => "type"), Match.when("require", () => "require"), Match.when("dynamic", () => "dynamic"), Match.orElse(() => undefined));
+const parseUseKind = (word) => Match.value(word).pipe(Match.when("call", () => "call"), Match.when("looseEquality", () => "looseEquality"), Match.orElse(() => undefined));
+const targetFields = (target) => Match.valueTags(target, {
+    File: ({ path }) => ["file", pathText(path)],
+    Package: ({ name, subpath }) => ["package", name, pathText(subpath)],
+    Builtin: ({ runtime, name }) => ["builtin", runtime, name],
+    Unresolved: ({ specifier }) => ["unresolved", specifier],
+    Computed: () => ["computed"],
+});
+/** Reads exactly the fields of one target. */
+const parseTarget = ([tag, ...args]) => {
+    const [a, b] = args;
+    return Match.value(tag).pipe(Match.when("file", () => {
+        const path = args.length === 1 && a !== undefined ? parsePath(a) : undefined;
+        return path === undefined ? undefined : { _tag: "File", path };
+    }), Match.when("package", () => {
+        const subpath = args.length === 2 && b !== undefined ? parsePath(b) : undefined;
+        return subpath === undefined || a === undefined ? undefined : { _tag: "Package", name: a, subpath };
+    }), Match.when("builtin", () => {
+        const runtime = args.length === 2 && a !== undefined ? parseRuntime(a) : undefined;
+        return runtime === undefined || b === undefined ? undefined : { _tag: "Builtin", runtime, name: b };
+    }), Match.when("unresolved", () => args.length === 1 && a !== undefined ? { _tag: "Unresolved", specifier: a } : undefined), Match.when("computed", () => (args.length === 0 ? { _tag: "Computed" } : undefined)), Match.orElse(() => undefined));
+};
+const bindingFields = (binding) => Match.valueTags(binding, {
+    Global: () => ["global"],
+    Local: () => ["local"],
+    Imported: ({ name }) => ["imported", name.source, name.name],
+});
+const parseBinding = ([tag, ...args]) => {
+    const [source, name] = args;
+    return Match.value(tag).pipe(Match.when("global", () => (args.length === 0 ? { _tag: "Global" } : undefined)), Match.when("local", () => (args.length === 0 ? { _tag: "Local" } : undefined)), Match.when("imported", () => args.length === 2 && source !== undefined && name !== undefined
+        ? { _tag: "Imported", name: { source, name } }
+        : undefined), Match.orElse(() => undefined));
+};
+const keyFields = (key) => Match.valueTags(key, {
+    Target: ({ target }) => ["target", ...targetFields(target)],
+    Missing: () => ["missing"],
+    Cycle: () => ["cycle"],
+    Dependency: ({ target, specifier, kind }) => ["dependency", kind, specifier, ...targetFields(target)],
+    Declaration: ({ name }) => ["declaration", name],
+    Export: ({ name }) => ["export", name],
+    Use: ({ kind, name, binding }) => ["use", kind, name, ...bindingFields(binding)],
+    Name: () => ["name"],
+    Lines: () => ["lines"],
+    Custom: ({ message }) => ["custom", message],
+});
+const parseKey = ([tag, ...args]) => {
+    const [first, second, ...more] = args;
+    return Match.value(tag).pipe(Match.when("target", () => {
+        const target = parseTarget(args);
+        return target === undefined ? undefined : { _tag: "Target", target };
+    }), Match.when("missing", () => (args.length === 0 ? { _tag: "Missing" } : undefined)), Match.when("cycle", () => (args.length === 0 ? { _tag: "Cycle" } : undefined)), Match.when("dependency", () => {
+        if (first === undefined || second === undefined)
+            return undefined;
+        const kind = parseDependencyKind(first);
+        const target = parseTarget(more);
+        return kind === undefined || target === undefined
+            ? undefined
+            : { _tag: "Dependency", target, specifier: second, kind };
+    }), Match.when("declaration", () => args.length === 1 && first !== undefined ? { _tag: "Declaration", name: first } : undefined), Match.when("export", () => args.length === 1 && first !== undefined ? { _tag: "Export", name: first } : undefined), Match.when("use", () => {
+        if (first === undefined || second === undefined)
+            return undefined;
+        const kind = parseUseKind(first);
+        const binding = parseBinding(more);
+        return kind === undefined || binding === undefined
+            ? undefined
+            : { _tag: "Use", kind, name: second, binding };
+    }), Match.when("name", () => (args.length === 0 ? { _tag: "Name" } : undefined)), Match.when("lines", () => (args.length === 0 ? { _tag: "Lines" } : undefined)), Match.when("custom", () => args.length === 1 && first !== undefined ? { _tag: "Custom", message: first } : undefined), Match.orElse(() => undefined));
+};
+/** One line: the rule ID, the subject path, then the key. */
+export const encode = (fingerprint) => encodeFields(fieldLevel, [fingerprint.ruleId, pathText(fingerprint.subject), ...keyFields(fingerprint.key)]);
+/** A strict parser; `None` when the line is not an encoding. */
+export const decode = (line) => {
+    const fields = decodeFields(fieldLevel, line);
+    if (fields === undefined)
+        return Option.none();
+    const [ruleId, subjectText, ...keyText] = fields;
+    if (ruleId === undefined || subjectText === undefined)
+        return Option.none();
+    const subject = parsePath(subjectText);
+    const key = parseKey(keyText);
+    return subject === undefined || key === undefined ? Option.none() : Option.some({ ruleId, subject, key });
+};
+//# sourceMappingURL=fingerprint.js.map

package/dist/core/fingerprint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fingerprint.js","sourceRoot":"","sources":["../../src/core/fingerprint.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC9C,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AAC/E,OAAO,EAAoC,WAAW,EAAE,MAAM,WAAW,CAAA;AAoBzE,MAAM,CAAC,MAAM,cAAc,GAAiC,MAAM,CAAC,KAAK,CAAC;IACvE,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IACjD,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,EAAE,CAAC;IAClC,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE,EAAE,CAAC;IAChC,MAAM,CAAC,YAAY,CAAC,YAAY,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC;IACrG,MAAM,CAAC,YAAY,CAAC,aAAa,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IAC3D,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IACtD,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IACpF,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;IAC/B,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE,EAAE,CAAC;IAChC,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;CAC1D,CAAC,CAAA;AAOF,MAAM,CAAC,MAAM,WAAW,GAA8B,MAAM,CAAC,MAAM,CAAC;IAClE,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,OAAO,EAAE,QAAQ;IACjB,GAAG,EAAE,cAAc;CACpB,CAAC,CAAA;AAEF,kDAAkD;AAClD,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,GAAgB,EAAkB,EAAE,CACzD,KAAK,CAAC,SAAS,CAAC,GAAG,EAAE;IACnB,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,EAAkB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;IACpE,OAAO,EAAE,GAAmB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACpD,KAAK,EAAE,GAAmB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAChD,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,EAAkB,EAAE,CAAC,CAAC;QACzC,IAAI,EAAE,YAAY;QAClB,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,MAAM;QAC9B,SAAS,EAAE,IAAI,CAAC,UAAU,CAAC,SAAS;QACpC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI;KAC3B,CAAC;IACF,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,EAAkB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC;IAC1E,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,EAAkB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAChE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,EAAkB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC;IACzG,IAAI,EAAE,GAAmB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC9C,KAAK,EAAE,GAAmB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAChD,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,EAAkB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;CACvE,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,SAAoB,EAAe,EAAE,CAAC,CAAC;IACjE,MAAM,EAAE,SAAS,CAAC,MAAM;IACxB,OAAO,EAAE,SAAS,CAAC,OAAO;IAC1B,GAAG,EAAE,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;CAC7C,CAAC,CAAA;AAOF,MAAM,UAAU,GAAU,EAAE,SAAS,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,CAAA;AAC/D,MAAM,SAAS,GAAU,EAAE,SAAS,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,CAAA;AAE9D,MAAM,MAAM,GAAG,CAAC,KAAY,EAAE,IAAY,EAAU,EAAE,CACpD,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CACxB,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CACpB,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,EAC9B,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,KAAK,KAAK,CAAC,YAAY,EAAE,CAAC,EAC5D,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,EAC7B,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,EAC7B,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CACzB,CACF,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;AAEZ,MAAM,YAAY,GAAG,CAAC,KAAY,EAAE,IAAY,EAAsB,EAAE,CACtE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CACpB,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,EAC5B,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,EACrD,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,EAC3B,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,EAC3B,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAC9B,CAAA;AAEH,+GAA+G;AAC/G,MAAM,QAAQ,GAAG,CAAC,KAAY,EAAE,IAAY,EAAsB,EAAE;IAClE,IAAI,GAAG,GAAG,EAAE,CAAA;IACZ,IAAI,OAAO,GAAG,KAAK,CAAA;IACnB,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;YACzC,IAAI,OAAO,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAA;YAC3C,GAAG,IAAI,OAAO,CAAA;YACd,OAAO,GAAG,KAAK,CAAA;QACjB,CAAC;aAAM,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YACzB,OAAO,GAAG,IAAI,CAAA;QAChB,CAAC;aAAM,CAAC;YACN,GAAG,IAAI,IAAI,CAAA;QACb,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAA;AAClC,CAAC,CAAA;AAED,MAAM,WAAW,GAAG,CAAC,KAAY,EAAE,KAA4B,EAA6B,EAAE;IAC5F,MAAM,GAAG,GAAkB,EAAE,CAAA;IAC7B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;QACrC,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,SAAS,CAAA;QAC3C,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IACnB,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC,CAAA;AAED,MAAM,SAAS,GAAG,CAAC,KAAY,EAAE,KAA4B,EAAU,EAAE,CACvE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,GAAG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;AAErE,MAAM,SAAS,GAAG,CAAC,KAAY,EAAE,IAAY,EAA6B,EAAE;IAC1E,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;IACnD,OAAO,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;AAC3D,CAAC,CAAA;AAED,MAAM,YAAY,GAAG,CAAC,KAAY,EAAE,CAAC,KAAK,EAAE,GAAG,IAAI,CAAsC,EAAU,EAAE,CACnG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;AAE/C,MAAM,YAAY,GAAG,CAAC,KAAY,EAAE,IAAY,EAA6B,EAAE;IAC7E,MAAM,CAAC,IAAI,GAAG,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;IACxD,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;IACnC,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;IACvC,OAAO,KAAK,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,MAAM,CAAC,CAAA;AACrF,CAAC,CAAA;AAED,MAAM,QAAQ,GAAG,CAAC,IAA2B,EAAU,EAAE,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,CAAC,CAAA;AAEpF,MAAM,SAAS,GAAG,CAAC,IAAY,EAA6B,EAAE,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,CAAC,CAAA;AAEzF,MAAM,YAAY,GAAG,CAAC,IAAY,EAAuB,EAAE,CACzD,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CACpB,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,MAAe,CAAC,EACzC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,KAAc,CAAC,EACvC,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAC9B,CAAA;AAEH,MAAM,mBAAmB,GAAG,CAAC,IAAY,EAA8B,EAAE,CACvE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CACpB,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,QAAiB,CAAC,EAC7C,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,MAAe,CAAC,EACzC,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,SAAkB,CAAC,EAC/C,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,SAAkB,CAAC,EAC/C,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAC9B,CAAA;AAEH,MAAM,YAAY,GAAG,CAAC,IAAY,EAAuB,EAAE,CACzD,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CACpB,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,MAAe,CAAC,EACzC,KAAK,CAAC,IAAI,CAAC,eAAe,EAAE,GAAG,EAAE,CAAC,eAAwB,CAAC,EAC3D,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAC9B,CAAA;AAEH,MAAM,YAAY,GAAG,CAAC,MAAc,EAAiB,EAAE,CACrD,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE;IACtB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC5C,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,SAAS,EAAE,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;IACpE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC;IAC1D,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,YAAY,EAAE,SAAS,CAAC;IACxD,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,UAAU,CAAC;CAC7B,CAAC,CAAA;AAEJ,8CAA8C;AAC9C,MAAM,WAAW,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,IAAI,CAAwB,EAAsB,EAAE;IAChF,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAA;IACnB,OAAO,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAC1B,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE;QACtB,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;QAC5E,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAY,CAAA;IAC3E,CAAC,CAAC,EACF,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE;QACzB,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;QAC/E,OAAO,OAAO,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAY,CAAA;IAChH,CAAC,CAAC,EACF,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE;QACzB,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;QAClF,OAAO,OAAO,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAY,CAAA;IAChH,CAAC,CAAC,EACF,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,EAAE,CAC5B,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC,EAAY,CAAC,CAAC,CAAC,SAAS,CACnG,EACD,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,UAAU,EAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAC/F,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAC9B,CAAA;AACH,CAAC,CAAA;AAED,MAAM,aAAa,GAAG,CAAC,OAAgB,EAAiB,EAAE,CACxD,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE;IACvB,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,QAAQ,CAAC;IACxB,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC;IACtB,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC;CAC7D,CAAC,CAAA;AAEJ,MAAM,YAAY,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,IAAI,CAAwB,EAAuB,EAAE;IAClF,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,IAAI,CAAA;IAC3B,OAAO,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAC1B,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,QAAQ,EAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAC3F,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,OAAO,EAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EACzF,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,CAC1B,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS;QAC7D,CAAC,CAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAY;QACzD,CAAC,CAAC,SAAS,CACd,EACD,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAC9B,CAAA;AACH,CAAC,CAAA;AAED,MAAM,SAAS,GAAG,CAAC,GAAmB,EAAiB,EAAE,CACvD,KAAK,CAAC,SAAS,CAAC,GAAG,EAAE;IACnB,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,QAAQ,EAAE,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IAC3D,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,SAAS,CAAC;IAC1B,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC;IACtB,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,YAAY,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACrG,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,aAAa,EAAE,IAAI,CAAC;IAChD,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC;IACtC,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IAChF,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC;IACpB,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC;IACtB,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC7C,CAAC,CAAA;AAEJ,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,IAAI,CAAwB,EAA8B,EAAE;IACrF,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAA;IACrC,OAAO,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAC1B,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE;QACxB,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,CAAA;QAChC,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAY,CAAA;IACjF,CAAC,CAAC,EACF,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,SAAS,EAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAC7F,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,OAAO,EAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EACzF,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,EAAE;QAC5B,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,SAAS,CAAA;QACjE,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAA;QACvC,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,CAAA;QAChC,OAAO,IAAI,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;YAC/C,CAAC,CAAC,SAAS;YACX,CAAC,CAAE,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAY,CAAA;IACxE,CAAC,CAAC,EACF,KAAK,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,EAAE,CAC7B,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,KAAK,SAAS,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,KAAK,EAAY,CAAC,CAAC,CAAC,SAAS,CACvG,EACD,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,CACxB,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,KAAK,SAAS,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAY,CAAC,CAAC,CAAC,SAAS,CAClG,EACD,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE;QACrB,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,SAAS,CAAA;QACjE,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,CAAA;QAChC,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,CAAA;QAClC,OAAO,IAAI,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS;YAChD,CAAC,CAAC,SAAS;YACX,CAAC,CAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAY,CAAA;IAC7D,CAAC,CAAC,EACF,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,MAAM,EAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EACvF,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,OAAO,EAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EACzF,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,CACxB,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,KAAK,SAAS,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAY,CAAC,CAAC,CAAC,SAAS,CACrG,EACD,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAC9B,CAAA;AACH,CAAC,CAAA;AAED,6DAA6D;AAC7D,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,WAAwB,EAAU,EAAE,CACzD,YAAY,CAAC,UAAU,EAAE,CAAC,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,GAAG,SAAS,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;AAE9G,gEAAgE;AAChE,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAY,EAA8B,EAAE;IACjE,MAAM,MAAM,GAAG,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC,CAAA;IAC7C,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,IAAI,EAAE,CAAA;IAC9C,MAAM,CAAC,MAAM,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,GAAG,MAAM,CAAA;IAChD,IAAI,MAAM,KAAK,SAAS,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,IAAI,EAAE,CAAA;IAC3E,MAAM,OAAO,GAAG,SAAS,CAAC,WAAW,CAAC,CAAA;IACtC,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAA;IAC7B,OAAO,OAAO,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAA;AAC3G,CAAC,CAAA"}

package/dist/core/keys.d.ts

@@ -0,0 +1,10 @@
+import type { EdgeFilter, FilePath, Target } from "./model.ts";
+/**
+ * Keys that are equal exactly when the values are structurally equal, like
+ * `structuralKey`, but without its key-sorting replacer: the hot loops of the
+ * check compare paths and targets many times per edge.
+ */
+export declare const pathKey: (path: FilePath) => string;
+export declare const targetKey: (target: Target) => string;
+export declare const filterKey: (filter: EdgeFilter) => string;
+//# sourceMappingURL=keys.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"keys.d.ts","sourceRoot":"","sources":["../../src/core/keys.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,YAAY,CAAA;AAE9D;;;;GAIG;AACH,eAAO,MAAM,OAAO,SAAU,QAAQ,KAAG,MAA8B,CAAA;AAEvE,eAAO,MAAM,SAAS,WAAY,MAAM,KAAG,MAOvC,CAAA;AAEJ,eAAO,MAAM,SAAS,WAAY,UAAU,KAAG,MACsB,CAAA"}

package/dist/core/keys.js

@@ -0,0 +1,16 @@
+import { Match } from "effect";
+/**
+ * Keys that are equal exactly when the values are structurally equal, like
+ * `structuralKey`, but without its key-sorting replacer: the hot loops of the
+ * check compare paths and targets many times per edge.
+ */
+export const pathKey = (path) => JSON.stringify(path);
+export const targetKey = (target) => Match.valueTags(target, {
+    File: ({ path }) => `F${JSON.stringify(path)}`,
+    Package: ({ name, subpath }) => `P${JSON.stringify([name, subpath])}`,
+    Builtin: ({ runtime, name }) => `B${JSON.stringify([runtime, name])}`,
+    Unresolved: ({ specifier }) => `U${JSON.stringify(specifier)}`,
+    Computed: () => "C",
+});
+export const filterKey = (filter) => JSON.stringify([filter.kinds, filter.localOnly, filter.transitive]);
+//# sourceMappingURL=keys.js.map

package/dist/core/keys.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"keys.js","sourceRoot":"","sources":["../../src/core/keys.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAG9B;;;;GAIG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,IAAc,EAAU,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;AAEvE,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,MAAc,EAAU,EAAE,CAClD,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE;IACtB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,EAAU,EAAE,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE;IACtD,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAU,EAAE,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,EAAE;IAC7E,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,EAAU,EAAE,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,EAAE;IAC7E,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,EAAU,EAAE,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE;IACtE,QAAQ,EAAE,GAAW,EAAE,CAAC,GAAG;CAC5B,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,MAAkB,EAAU,EAAE,CACtD,IAAI,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAA"}

package/dist/core/lower.d.ts

@@ -0,0 +1,13 @@
+/** Port of lean/Archer/Impl/Lower.lean. */
+import { Result } from "effect";
+import { type Config, type ConfigError, type ConfigSelector, type Layer } from "./config.ts";
+import type { Selector } from "./model.ts";
+import { type Policy } from "./rule.ts";
+/** The first validation error, in the order: duplicate layer, unknown layer, duplicate rule id, empty policy. */
+export declare const validate: (config: Config) => ConfigError | undefined;
+/** Substitute each `Layer n` by the selector of the first layer named `n`. */
+export declare const resolve: (layers: ReadonlyArray<Layer>, selector: ConfigSelector) => Selector;
+/** The policy of a valid configuration, in `ruleIds` order. */
+export declare const build: (config: Config) => Policy;
+export declare const lower: (config: Config) => Result.Result<Policy, ConfigError>;
+//# sourceMappingURL=lower.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"lower.d.ts","sourceRoot":"","sources":["../../src/core/lower.ts"],"names":[],"mappings":"AAAA,2CAA2C;AAC3C,OAAO,EAAS,MAAM,EAAE,MAAM,QAAQ,CAAA;AACtC,OAAO,EAEL,KAAK,MAAM,EACX,KAAK,WAAW,EAChB,KAAK,cAAc,EAEnB,KAAK,KAAK,EAQX,MAAM,aAAa,CAAA;AACpB,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAC1C,OAAO,EAAgB,KAAK,MAAM,EAA0B,MAAM,WAAW,CAAA;AAS7E,iHAAiH;AACjH,eAAO,MAAM,QAAQ,WAAY,MAAM,KAAG,WAAW,GAAG,SAUvD,CAAA;AAID,8EAA8E;AAC9E,eAAO,MAAM,OAAO,WAAY,aAAa,CAAC,KAAK,CAAC,YAAY,cAAc,KAAG,QAO7E,CAAA;AA8CJ,+DAA+D;AAC/D,eAAO,MAAM,KAAK,WAAY,MAAM,KAAG,MAItC,CAAA;AAED,eAAO,MAAM,KAAK,WAAY,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,CAGvE,CAAA"}

package/dist/core/lower.js

@@ -0,0 +1,82 @@
+/** Port of lean/Archer/Impl/Lower.lean. */
+import { Match, Result } from "effect";
+import { allowed, constrained, layerEdges, layerRuleId, lookupLayer, publicApiRuleId, referencedLayers, ruleIds, } from "./config.js";
+import { mapAssertion } from "./rule.js";
+/** The first element that occurs again later in the list. */
+const firstDup = (items) => items.find((item, index) => items.includes(item, index + 1));
+const firstUnknown = (names, refs) => refs.find((ref) => !names.includes(ref));
+/** The first validation error, in the order: duplicate layer, unknown layer, duplicate rule id, empty policy. */
+export const validate = (config) => {
+    const names = config.layers.map((layer) => layer.name);
+    const duplicateLayer = firstDup(names);
+    if (duplicateLayer !== undefined)
+        return { _tag: "DuplicateLayer", name: duplicateLayer };
+    const unknown = firstUnknown(names, referencedLayers(config));
+    if (unknown !== undefined)
+        return { _tag: "UnknownLayer", name: unknown };
+    const ids = ruleIds(config);
+    const duplicateId = firstDup(ids);
+    if (duplicateId !== undefined)
+        return { _tag: "DuplicateRuleId", id: duplicateId };
+    return ids.length === 0 ? { _tag: "EmptyPolicy" } : undefined;
+};
+const nothing = { _tag: "Any", selectors: [] };
+/** Substitute each `Layer n` by the selector of the first layer named `n`. */
+export const resolve = (layers, selector) => Match.valueTags(selector, {
+    Base: ({ selector: base }) => base,
+    Layer: ({ name }) => lookupLayer(layers, name) ?? nothing,
+    Any: ({ selectors }) => ({ _tag: "Any", selectors: selectors.map((inner) => resolve(layers, inner)) }),
+    All: ({ selectors }) => ({ _tag: "All", selectors: selectors.map((inner) => resolve(layers, inner)) }),
+    Not: ({ selector: inner }) => ({ _tag: "Not", selector: resolve(layers, inner) }),
+});
+const lowerRule = (layers, rule) => ({
+    id: rule.id,
+    severity: rule.severity,
+    subject: resolve(layers, rule.subject),
+    assertion: mapAssertion(rule.assertion, (selector) => resolve(layers, selector)),
+});
+/** Files of another layer that `name` may not depend on. */
+const disallowed = (config, name) => ({
+    _tag: "Any",
+    selectors: config.layers
+        .filter((layer) => layer.name !== name && !allowed(config, name).includes(layer.name))
+        .map((layer) => layer.selector),
+});
+const layerRule = (config, layer) => ({
+    id: layerRuleId(layer.name),
+    severity: "error",
+    subject: layer.selector,
+    assertion: {
+        _tag: "Reach",
+        direction: "outgoing",
+        relation: "forbid",
+        object: { _tag: "All", selectors: [disallowed(config, layer.name), { _tag: "Not", selector: layer.selector }] },
+        edges: layerEdges,
+    },
+});
+const publicApiRule = (config, api) => {
+    const layer = resolve(config.layers, { _tag: "Layer", name: api.layer });
+    return {
+        id: publicApiRuleId(api.layer),
+        severity: "error",
+        subject: { _tag: "Not", selector: layer },
+        assertion: {
+            _tag: "Reach",
+            direction: "outgoing",
+            relation: "forbid",
+            object: { _tag: "All", selectors: [layer, { _tag: "Not", selector: api.entry }] },
+            edges: layerEdges,
+        },
+    };
+};
+/** The policy of a valid configuration, in `ruleIds` order. */
+export const build = (config) => [
+    ...config.rules.map((rule) => lowerRule(config.layers, rule)),
+    ...config.layers.filter((layer) => constrained(config, layer.name)).map((layer) => layerRule(config, layer)),
+    ...config.publicApis.map((api) => publicApiRule(config, api)),
+];
+export const lower = (config) => {
+    const error = validate(config);
+    return error === undefined ? Result.succeed(build(config)) : Result.fail(error);
+};
+//# sourceMappingURL=lower.js.map

package/dist/core/lower.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lower.js","sourceRoot":"","sources":["../../src/core/lower.ts"],"names":[],"mappings":"AAAA,2CAA2C;AAC3C,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACtC,OAAO,EACL,OAAO,EAIP,WAAW,EAEX,UAAU,EACV,WAAW,EACX,WAAW,EAEX,eAAe,EACf,gBAAgB,EAChB,OAAO,GACR,MAAM,aAAa,CAAA;AAEpB,OAAO,EAAE,YAAY,EAAuC,MAAM,WAAW,CAAA;AAE7E,6DAA6D;AAC7D,MAAM,QAAQ,GAAG,CAAC,KAA4B,EAAsB,EAAE,CACpE,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAA;AAE9D,MAAM,YAAY,GAAG,CAAC,KAA4B,EAAE,IAA2B,EAAsB,EAAE,CACrG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAA;AAE1C,iHAAiH;AACjH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,MAAc,EAA2B,EAAE;IAClE,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IACtD,MAAM,cAAc,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;IACtC,IAAI,cAAc,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,cAAc,EAAE,CAAA;IACzF,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,EAAE,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAA;IAC7D,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,OAAO,EAAE,CAAA;IACzE,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA;IAC3B,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAA;IACjC,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,EAAE,EAAE,WAAW,EAAE,CAAA;IAClF,OAAO,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,SAAS,CAAA;AAC/D,CAAC,CAAA;AAED,MAAM,OAAO,GAAa,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,CAAA;AAExD,8EAA8E;AAC9E,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,MAA4B,EAAE,QAAwB,EAAY,EAAE,CAC1F,KAAK,CAAC,SAAS,CAAC,QAAQ,EAAE;IACxB,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAY,EAAE,CAAC,IAAI;IAC5C,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAY,EAAE,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,OAAO;IACnE,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;IAChH,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;IAChH,GAAG,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;CAC5F,CAAC,CAAA;AAEJ,MAAM,SAAS,GAAG,CAAC,MAA4B,EAAE,IAA4B,EAAQ,EAAE,CAAC,CAAC;IACvF,EAAE,EAAE,IAAI,CAAC,EAAE;IACX,QAAQ,EAAE,IAAI,CAAC,QAAQ;IACvB,OAAO,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC;IACtC,SAAS,EAAE,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;CACjF,CAAC,CAAA;AAEF,4DAA4D;AAC5D,MAAM,UAAU,GAAG,CAAC,MAAc,EAAE,IAAY,EAAY,EAAE,CAAC,CAAC;IAC9D,IAAI,EAAE,KAAK;IACX,SAAS,EAAE,MAAM,CAAC,MAAM;SACrB,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;SACrF,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC;CAClC,CAAC,CAAA;AAEF,MAAM,SAAS,GAAG,CAAC,MAAc,EAAE,KAAY,EAAQ,EAAE,CAAC,CAAC;IACzD,EAAE,EAAE,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC;IAC3B,QAAQ,EAAE,OAAO;IACjB,OAAO,EAAE,KAAK,CAAC,QAAQ;IACvB,SAAS,EAAE;QACT,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,UAAU;QACrB,QAAQ,EAAE,QAAQ;QAClB,MAAM,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE;QAC/G,KAAK,EAAE,UAAU;KAClB;CACF,CAAC,CAAA;AAEF,MAAM,aAAa,GAAG,CAAC,MAAc,EAAE,GAAc,EAAQ,EAAE;IAC7D,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAA;IACxE,OAAO;QACL,EAAE,EAAE,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC;QAC9B,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE;QACzC,SAAS,EAAE;YACT,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,UAAU;YACrB,QAAQ,EAAE,QAAQ;YAClB,MAAM,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE;YACjF,KAAK,EAAE,UAAU;SAClB;KACF,CAAA;AACH,CAAC,CAAA;AAED,+DAA+D;AAC/D,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC;IAC/C,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC7D,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC5G,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,aAAa,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;CAC9D,CAAA;AAED,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,MAAc,EAAsC,EAAE;IAC1E,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAA;IAC9B,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;AACjF,CAAC,CAAA"}