@lucasacoutinho/archer 0.2.1 → 0.3.0

package/dist/core/model.d.ts

@@ -0,0 +1,155 @@
+/** Schemas that mirror lean/Archer/Model.lean. */
+import { Schema } from "effect";
+export declare const Segment: Schema.Codec<string>;
+/** A root-relative path as its segments. */
+export type FilePath = ReadonlyArray<string>;
+export declare const FilePath: Schema.Codec<FilePath>;
+export type Runtime = "node" | "bun";
+export declare const Runtime: Schema.Codec<Runtime>;
+export type Target = {
+    readonly _tag: "File";
+    readonly path: FilePath;
+} | {
+    readonly _tag: "Package";
+    readonly name: string;
+    readonly subpath: ReadonlyArray<string>;
+} | {
+    readonly _tag: "Builtin";
+    readonly runtime: Runtime;
+    readonly name: string;
+} | {
+    readonly _tag: "Unresolved";
+    readonly specifier: string;
+} | {
+    readonly _tag: "Computed";
+};
+export declare const Target: Schema.Codec<Target>;
+export type DependencyKind = "static" | "type" | "require" | "dynamic";
+export declare const DependencyKind: Schema.Codec<DependencyKind>;
+export interface Location {
+    readonly line: number;
+    readonly column: number;
+}
+export declare const Location: Schema.Codec<Location>;
+export interface Dependency {
+    readonly target: Target;
+    readonly kind: DependencyKind;
+    readonly specifier: string;
+    readonly location: Location;
+}
+export declare const Dependency: Schema.Codec<Dependency>;
+export type DeclarationKind = "class" | "interface" | "enum" | "function" | "type" | "variable";
+export declare const DeclarationKind: Schema.Codec<DeclarationKind>;
+export type Visibility = "public" | "protected" | "private";
+export declare const Visibility: Schema.Codec<Visibility>;
+export interface Method {
+    readonly name: string;
+    readonly visibility: Visibility;
+    readonly isStatic: boolean;
+}
+export declare const Method: Schema.Codec<Method>;
+export interface Declaration {
+    readonly name: string;
+    readonly kind: DeclarationKind;
+    readonly exported: boolean;
+    readonly abstract: boolean;
+    readonly extended: ReadonlyArray<string>;
+    readonly implemented: ReadonlyArray<string>;
+    readonly decorators: ReadonlyArray<string>;
+    readonly methods: ReadonlyArray<Method>;
+    readonly readonlyProperties: boolean;
+    readonly location: Location;
+}
+export declare const Declaration: Schema.Codec<Declaration>;
+export type UseKind = "call" | "looseEquality";
+export declare const UseKind: Schema.Codec<UseKind>;
+/** The module and export name that an imported call resolves to. */
+export interface ImportedName {
+    readonly source: string;
+    readonly name: string;
+}
+export declare const ImportedName: Schema.Codec<ImportedName>;
+export type Binding = {
+    readonly _tag: "Global";
+} | {
+    readonly _tag: "Local";
+} | {
+    readonly _tag: "Imported";
+    readonly name: ImportedName;
+};
+export declare const Binding: Schema.Codec<Binding>;
+export interface Use {
+    readonly kind: UseKind;
+    readonly name: string;
+    readonly binding: Binding;
+    readonly location: Location;
+}
+export declare const Use: Schema.Codec<Use>;
+export interface SourceFile {
+    readonly path: FilePath;
+    readonly dependencies: ReadonlyArray<Dependency>;
+    readonly declarations: ReadonlyArray<Declaration>;
+    readonly exports: ReadonlyArray<string>;
+    readonly uses: ReadonlyArray<Use>;
+    readonly lines: number;
+}
+export declare const SourceFile: Schema.Codec<SourceFile>;
+/** Decoding establishes the Lean premise `Graph.WellFormed`. */
+export interface Graph {
+    readonly files: ReadonlyArray<SourceFile>;
+}
+export declare const Graph: Schema.Codec<Graph>;
+export interface EdgeFilter {
+    readonly kinds: ReadonlyArray<DependencyKind>;
+    readonly localOnly: boolean;
+    readonly transitive: boolean;
+}
+export declare const EdgeFilter: Schema.Codec<EdgeFilter>;
+export declare const admits: (filter: EdgeFilter, dependency: Dependency) => boolean;
+export declare const graphPaths: (graph: Graph) => Array<FilePath>;
+export type SegmentToken = {
+    readonly _tag: "Literal";
+    readonly char: string;
+} | {
+    readonly _tag: "One";
+} | {
+    readonly _tag: "Star";
+};
+export declare const SegmentToken: Schema.Codec<SegmentToken>;
+export type PathToken = {
+    readonly _tag: "Segment";
+    readonly tokens: ReadonlyArray<SegmentToken>;
+} | {
+    readonly _tag: "Globstar";
+};
+export declare const PathToken: Schema.Codec<PathToken>;
+export type Selector = {
+    readonly _tag: "Glob";
+    readonly tokens: ReadonlyArray<PathToken>;
+}
+/** `npm:<name>`, or `npm:*` without a name. Any subpath. */
+ | {
+    readonly _tag: "Package";
+    readonly name?: string;
+}
+/** `node:fs`, `node:*`, `bun:*`. */
+ | {
+    readonly _tag: "Builtin";
+    readonly runtime: Runtime;
+    readonly name?: string;
+} | {
+    readonly _tag: "Unresolved";
+} | {
+    readonly _tag: "Computed";
+} | {
+    readonly _tag: "Any";
+    readonly selectors: ReadonlyArray<Selector>;
+} | {
+    readonly _tag: "All";
+    readonly selectors: ReadonlyArray<Selector>;
+} | {
+    readonly _tag: "Not";
+    readonly selector: Selector;
+};
+export declare const Selector: Schema.Codec<Selector>;
+//# sourceMappingURL=model.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../src/core/model.ts"],"names":[],"mappings":"AAAA,kDAAkD;AAClD,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,eAAO,MAAM,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAGxC,CAAA;AAED,4CAA4C;AAC5C,MAAM,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC,CAAA;AAC5C,eAAO,MAAM,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAyB,CAAA;AAErE,MAAM,MAAM,OAAO,GAAG,MAAM,GAAG,KAAK,CAAA;AACpC,eAAO,MAAM,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAoC,CAAA;AAE9E,MAAM,MAAM,MAAM,GACd;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CAAE,GAC5F;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC9E;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GAC3D;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,CAAA;AAEjC,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAMtC,CAAA;AAEF,MAAM,MAAM,cAAc,GAAG,QAAQ,GAAG,MAAM,GAAG,SAAS,GAAG,SAAS,CAAA;AACtE,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,KAAK,CAAC,cAAc,CAA6D,CAAA;AAErH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB;AAED,eAAO,MAAM,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,QAAQ,CAG1C,CAAA;AAEF,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;CAC5B;AAED,eAAO,MAAM,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAK9C,CAAA;AAEF,MAAM,MAAM,eAAe,GAAG,OAAO,GAAG,WAAW,GAAG,MAAM,GAAG,UAAU,GAAG,MAAM,GAAG,UAAU,CAAA;AAC/F,eAAO,MAAM,eAAe,EAAE,MAAM,CAAC,KAAK,CAAC,eAAe,CAOxD,CAAA;AAEF,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,WAAW,GAAG,SAAS,CAAA;AAC3D,eAAO,MAAM,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAuD,CAAA;AAEvG,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAA;IAC/B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAC3B;AAED,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAItC,CAAA;AAEF,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAA;IAC9B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACxC,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IAC3C,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IAC1C,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACvC,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAA;IACpC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;CAC5B;AAED,eAAO,MAAM,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,WAAW,CAWhD,CAAA;AAEF,MAAM,MAAM,OAAO,GAAG,MAAM,GAAG,eAAe,CAAA;AAC9C,eAAO,MAAM,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAA8C,CAAA;AAExF,oEAAoE;AACpE,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACtB;AAED,eAAO,MAAM,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,YAAY,CAGlD,CAAA;AAEF,MAAM,MAAM,OAAO,GACf;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GAC3B;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;CAAE,CAAA;AAE9D,eAAO,MAAM,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAKxC,CAAA;AAEF,MAAM,WAAW,GAAG;IAClB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;CAC5B;AAED,eAAO,MAAM,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAKhC,CAAA;AAEF,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,UAAU,CAAC,CAAA;IAChD,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,WAAW,CAAC,CAAA;IACjD,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACvC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,CAAC,CAAA;IACjC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CACvB;AAED,eAAO,MAAM,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAO9C,CAAA;AAIF,gEAAgE;AAChE,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,CAAA;CAC1C;AAED,eAAO,MAAM,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAYrC,CAAA;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAC7C,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;IAC3B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAA;CAC7B;AAED,eAAO,MAAM,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAI9C,CAAA;AAEF,eAAO,MAAM,MAAM,WAAY,UAAU,cAAc,UAAU,KAAG,OACgC,CAAA;AAEpG,eAAO,MAAM,UAAU,UAAW,KAAK,KAAG,KAAK,CAAC,QAAQ,CAAyC,CAAA;AAEjG,MAAM,MAAM,YAAY,GACpB;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACnD;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,GACxB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAA;AAE7B,eAAO,MAAM,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,YAAY,CAMlD,CAAA;AAEF,MAAM,MAAM,SAAS,GACjB;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,YAAY,CAAC,CAAA;CAAE,GAC1E;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,CAAA;AAEjC,eAAO,MAAM,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,SAAS,CAI5C,CAAA;AAEF,MAAM,MAAM,QAAQ,GAChB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,SAAS,CAAC,CAAA;CAAE;AACtE,4DAA4D;GAC1D;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE;AACtD,oCAAoC;GAClC;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAC/E;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;CAAE,GAC/B;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GAC7B;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;CAAE,GACrE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;CAAE,GACrE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,CAAA;AAEzD,eAAO,MAAM,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,QAAQ,CAS1C,CAAA"}

package/dist/core/model.js

@@ -0,0 +1,116 @@
+/** Schemas that mirror lean/Archer/Model.lean. */
+import { Schema } from "effect";
+export const Segment = Schema.String.check(Schema.isNonEmpty(), Schema.makeFilter((segment) => !segment.includes("/") || "must not contain '/'"));
+export const FilePath = Schema.Array(Segment);
+export const Runtime = Schema.Literals(["node", "bun"]);
+export const Target = Schema.Union([
+    Schema.TaggedStruct("File", { path: FilePath }),
+    Schema.TaggedStruct("Package", { name: Schema.NonEmptyString, subpath: Schema.Array(Schema.String) }),
+    Schema.TaggedStruct("Builtin", { runtime: Runtime, name: Schema.NonEmptyString }),
+    Schema.TaggedStruct("Unresolved", { specifier: Schema.String }),
+    Schema.TaggedStruct("Computed", {}),
+]);
+export const DependencyKind = Schema.Literals(["static", "type", "require", "dynamic"]);
+export const Location = Schema.Struct({
+    line: Schema.Int.check(Schema.isGreaterThanOrEqualTo(1)),
+    column: Schema.Int.check(Schema.isGreaterThanOrEqualTo(1)),
+});
+export const Dependency = Schema.Struct({
+    target: Target,
+    kind: DependencyKind,
+    specifier: Schema.String,
+    location: Location,
+});
+export const DeclarationKind = Schema.Literals([
+    "class",
+    "interface",
+    "enum",
+    "function",
+    "type",
+    "variable",
+]);
+export const Visibility = Schema.Literals(["public", "protected", "private"]);
+export const Method = Schema.Struct({
+    name: Schema.NonEmptyString,
+    visibility: Visibility,
+    isStatic: Schema.Boolean,
+});
+export const Declaration = Schema.Struct({
+    name: Schema.String,
+    kind: DeclarationKind,
+    exported: Schema.Boolean,
+    abstract: Schema.Boolean,
+    extended: Schema.Array(Schema.String),
+    implemented: Schema.Array(Schema.String),
+    decorators: Schema.Array(Schema.String),
+    methods: Schema.Array(Method),
+    readonlyProperties: Schema.Boolean,
+    location: Location,
+});
+export const UseKind = Schema.Literals(["call", "looseEquality"]);
+export const ImportedName = Schema.Struct({
+    source: Schema.NonEmptyString,
+    name: Schema.NonEmptyString,
+});
+export const Binding = Schema.Union([
+    /** No declaration in the program, such as `eval`. */
+    Schema.TaggedStruct("Global", {}),
+    Schema.TaggedStruct("Local", {}),
+    Schema.TaggedStruct("Imported", { name: ImportedName }),
+]);
+export const Use = Schema.Struct({
+    kind: UseKind,
+    name: Schema.String,
+    binding: Binding,
+    location: Location,
+});
+export const SourceFile = Schema.Struct({
+    path: FilePath,
+    dependencies: Schema.Array(Dependency),
+    declarations: Schema.Array(Declaration),
+    exports: Schema.Array(Schema.String),
+    uses: Schema.Array(Use),
+    lines: Schema.Int.check(Schema.isGreaterThanOrEqualTo(0)),
+});
+const joinPath = (path) => path.join("/");
+export const Graph = Schema.Struct({ files: Schema.Array(SourceFile) }).check(Schema.makeFilter((graph) => {
+    const seen = new Set();
+    for (const file of graph.files) {
+        const key = joinPath(file.path);
+        if (seen.has(key)) {
+            return { path: ["files"], issue: `source file '${key}' appears more than once` };
+        }
+        seen.add(key);
+    }
+    return undefined;
+}));
+export const EdgeFilter = Schema.Struct({
+    kinds: Schema.Array(DependencyKind).check(Schema.isNonEmpty(), Schema.isUnique()),
+    localOnly: Schema.Boolean,
+    transitive: Schema.Boolean,
+});
+export const admits = (filter, dependency) => filter.kinds.includes(dependency.kind) && (!filter.localOnly || dependency.target._tag === "File");
+export const graphPaths = (graph) => graph.files.map((file) => file.path);
+export const SegmentToken = Schema.Union([
+    Schema.TaggedStruct("Literal", { char: Schema.String.check(Schema.isBetweenCodePoints(1, 1)) }),
+    /** `?` */
+    Schema.TaggedStruct("One", {}),
+    /** `*` */
+    Schema.TaggedStruct("Star", {}),
+]);
+export const PathToken = Schema.Union([
+    Schema.TaggedStruct("Segment", { tokens: Schema.Array(SegmentToken) }),
+    /** `**` */
+    Schema.TaggedStruct("Globstar", {}),
+]);
+export const Selector = Schema.Union([
+    Schema.TaggedStruct("Glob", { tokens: Schema.Array(PathToken) }),
+    Schema.TaggedStruct("Package", { name: Schema.optionalKey(Schema.NonEmptyString) }),
+    Schema.TaggedStruct("Builtin", { runtime: Runtime, name: Schema.optionalKey(Schema.NonEmptyString) }),
+    Schema.TaggedStruct("Unresolved", {}),
+    Schema.TaggedStruct("Computed", {}),
+    Schema.TaggedStruct("Any", { selectors: Schema.Array(Schema.suspend(() => Selector)) }),
+    Schema.TaggedStruct("All", { selectors: Schema.Array(Schema.suspend(() => Selector)) }),
+    Schema.TaggedStruct("Not", { selector: Schema.suspend(() => Selector) }),
+]);
+//# sourceMappingURL=model.js.map

package/dist/core/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../src/core/model.ts"],"names":[],"mappings":"AAAA,kDAAkD;AAClD,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,MAAM,CAAC,MAAM,OAAO,GAAyB,MAAM,CAAC,MAAM,CAAC,KAAK,CAC9D,MAAM,CAAC,UAAU,EAAE,EACnB,MAAM,CAAC,UAAU,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,sBAAsB,CAAC,CACjF,CAAA;AAID,MAAM,CAAC,MAAM,QAAQ,GAA2B,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;AAGrE,MAAM,CAAC,MAAM,OAAO,GAA0B,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAA;AAS9E,MAAM,CAAC,MAAM,MAAM,GAAyB,MAAM,CAAC,KAAK,CAAC;IACvD,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC/C,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,cAAc,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;IACrG,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,cAAc,EAAE,CAAC;IACjF,MAAM,CAAC,YAAY,CAAC,YAAY,EAAE,EAAE,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IAC/D,MAAM,CAAC,YAAY,CAAC,UAAU,EAAE,EAAE,CAAC;CACpC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,cAAc,GAAiC,MAAM,CAAC,QAAQ,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAA;AAOrH,MAAM,CAAC,MAAM,QAAQ,GAA2B,MAAM,CAAC,MAAM,CAAC;IAC5D,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;CAC3D,CAAC,CAAA;AASF,MAAM,CAAC,MAAM,UAAU,GAA6B,MAAM,CAAC,MAAM,CAAC;IAChE,MAAM,EAAE,MAAM;IACd,IAAI,EAAE,cAAc;IACpB,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,QAAQ,EAAE,QAAQ;CACnB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,eAAe,GAAkC,MAAM,CAAC,QAAQ,CAAC;IAC5E,OAAO;IACP,WAAW;IACX,MAAM;IACN,UAAU;IACV,MAAM;IACN,UAAU;CACX,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,UAAU,GAA6B,MAAM,CAAC,QAAQ,CAAC,CAAC,QAAQ,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC,CAAA;AAQvG,MAAM,CAAC,MAAM,MAAM,GAAyB,MAAM,CAAC,MAAM,CAAC;IACxD,IAAI,EAAE,MAAM,CAAC,cAAc;IAC3B,UAAU,EAAE,UAAU;IACtB,QAAQ,EAAE,MAAM,CAAC,OAAO;CACzB,CAAC,CAAA;AAeF,MAAM,CAAC,MAAM,WAAW,GAA8B,MAAM,CAAC,MAAM,CAAC;IAClE,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,IAAI,EAAE,eAAe;IACrB,QAAQ,EAAE,MAAM,CAAC,OAAO;IACxB,QAAQ,EAAE,MAAM,CAAC,OAAO;IACxB,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IACrC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IACvC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;IAC7B,kBAAkB,EAAE,MAAM,CAAC,OAAO;IAClC,QAAQ,EAAE,QAAQ;CACnB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,OAAO,GAA0B,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC,CAAA;AAQxF,MAAM,CAAC,MAAM,YAAY,GAA+B,MAAM,CAAC,MAAM,CAAC;IACpE,MAAM,EAAE,MAAM,CAAC,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC,cAAc;CAC5B,CAAC,CAAA;AAOF,MAAM,CAAC,MAAM,OAAO,GAA0B,MAAM,CAAC,KAAK,CAAC;IACzD,qDAAqD;IACrD,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,EAAE,CAAC;IACjC,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE,EAAE,CAAC;IAChC,MAAM,CAAC,YAAY,CAAC,UAAU,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;CACxD,CAAC,CAAA;AASF,MAAM,CAAC,MAAM,GAAG,GAAsB,MAAM,CAAC,MAAM,CAAC;IAClD,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,OAAO,EAAE,OAAO;IAChB,QAAQ,EAAE,QAAQ;CACnB,CAAC,CAAA;AAWF,MAAM,CAAC,MAAM,UAAU,GAA6B,MAAM,CAAC,MAAM,CAAC;IAChE,IAAI,EAAE,QAAQ;IACd,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC;IACtC,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC;IACvC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IACpC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC;IACvB,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;CAC1D,CAAC,CAAA;AAEF,MAAM,QAAQ,GAAG,CAAC,IAAc,EAAU,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AAO3D,MAAM,CAAC,MAAM,KAAK,GAAwB,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,KAAK,CAChG,MAAM,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,EAAE;IAC1B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC/B,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAClB,OAAO,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,gBAAgB,GAAG,0BAA0B,EAAE,CAAA;QAClF,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IACf,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC,CAAC,CACH,CAAA;AAQD,MAAM,CAAC,MAAM,UAAU,GAA6B,MAAM,CAAC,MAAM,CAAC;IAChE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,EAAE,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC;IACjF,SAAS,EAAE,MAAM,CAAC,OAAO;IACzB,UAAU,EAAE,MAAM,CAAC,OAAO;CAC3B,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,MAAkB,EAAE,UAAsB,EAAW,EAAE,CAC5E,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAA;AAEpG,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAY,EAAmB,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AAOjG,MAAM,CAAC,MAAM,YAAY,GAA+B,MAAM,CAAC,KAAK,CAAC;IACnE,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/F,UAAU;IACV,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC;IAC9B,UAAU;IACV,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;CAChC,CAAC,CAAA;AAMF,MAAM,CAAC,MAAM,SAAS,GAA4B,MAAM,CAAC,KAAK,CAAC;IAC7D,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;IACtE,WAAW;IACX,MAAM,CAAC,YAAY,CAAC,UAAU,EAAE,EAAE,CAAC;CACpC,CAAC,CAAA;AAcF,MAAM,CAAC,MAAM,QAAQ,GAA2B,MAAM,CAAC,KAAK,CAAC;IAC3D,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;IAChE,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC;IACnF,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC;IACrG,MAAM,CAAC,YAAY,CAAC,YAAY,EAAE,EAAE,CAAC;IACrC,MAAM,CAAC,YAAY,CAAC,UAAU,EAAE,EAAE,CAAC;IACnC,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,EAAE,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,GAA2B,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;IAC/G,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,EAAE,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,GAA2B,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;IAC/G,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,GAA2B,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;CACjG,CAAC,CAAA"}

package/dist/core/pattern.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Port of `Archer.Pattern.accepts` (lean/Archer/Pattern.lean), specialized to
+ * strings: code points for segments, segments for paths. Correspondence is
+ * obligation T1 in docs/verification.md.
+ */
+export type Token = {
+    readonly _tag: "Sat";
+    readonly test: (value: string) => boolean;
+} | {
+    readonly _tag: "Many";
+};
+export declare const accepts: (pattern: ReadonlyArray<Token>, list: ReadonlyArray<string>) => boolean;
+//# sourceMappingURL=pattern.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"pattern.d.ts","sourceRoot":"","sources":["../../src/core/pattern.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,MAAM,MAAM,KAAK,GACb;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAA;CAAE,GACnE;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAA;AA6B7B,eAAO,MAAM,OAAO,YAAa,aAAa,CAAC,KAAK,CAAC,QAAQ,aAAa,CAAC,MAAM,CAAC,KAAG,OACnD,CAAA"}

package/dist/core/pattern.js

@@ -0,0 +1,29 @@
+/**
+ * Port of `Archer.Pattern.accepts` (lean/Archer/Pattern.lean), specialized to
+ * strings: code points for segments, segments for paths. Correspondence is
+ * obligation T1 in docs/verification.md.
+ */
+import { Match } from "effect";
+const acceptsFrom = (pattern, patternIndex, list, listIndex) => {
+    const token = pattern[patternIndex];
+    if (token === undefined) {
+        return listIndex === list.length;
+    }
+    return Match.valueTags(token, {
+        Sat: ({ test }) => {
+            const value = list[listIndex];
+            return value !== undefined && test(value) && acceptsFrom(pattern, patternIndex + 1, list, listIndex + 1);
+        },
+        // Lean `anySuffix`: suffixes from the longest
+        Many: () => {
+            for (let suffix = listIndex; suffix <= list.length; suffix++) {
+                if (acceptsFrom(pattern, patternIndex + 1, list, suffix)) {
+                    return true;
+                }
+            }
+            return false;
+        },
+    });
+};
+export const accepts = (pattern, list) => acceptsFrom(pattern, 0, list, 0);
+//# sourceMappingURL=pattern.js.map

package/dist/core/pattern.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pattern.js","sourceRoot":"","sources":["../../src/core/pattern.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAM9B,MAAM,WAAW,GAAG,CAClB,OAA6B,EAC7B,YAAoB,EACpB,IAA2B,EAC3B,SAAiB,EACR,EAAE;IACX,MAAM,KAAK,GAAG,OAAO,CAAC,YAAY,CAAC,CAAA;IACnC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,SAAS,KAAK,IAAI,CAAC,MAAM,CAAA;IAClC,CAAC;IACD,OAAO,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE;QAC5B,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE;YAChB,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,CAAA;YAC7B,OAAO,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC,OAAO,EAAE,YAAY,GAAG,CAAC,EAAE,IAAI,EAAE,SAAS,GAAG,CAAC,CAAC,CAAA;QAC1G,CAAC;QACD,8CAA8C;QAC9C,IAAI,EAAE,GAAG,EAAE;YACT,KAAK,IAAI,MAAM,GAAG,SAAS,EAAE,MAAM,IAAI,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC;gBAC7D,IAAI,WAAW,CAAC,OAAO,EAAE,YAAY,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;oBACzD,OAAO,IAAI,CAAA;gBACb,CAAC;YACH,CAAC;YACD,OAAO,KAAK,CAAA;QACd,CAAC;KACF,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,OAA6B,EAAE,IAA2B,EAAW,EAAE,CAC7F,WAAW,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA"}

package/dist/core/reach.d.ts

@@ -0,0 +1,10 @@
+import { type EdgeFilter, type FilePath, type Graph, type SourceFile, type Target } from "./model.ts";
+import type { Edge } from "./rule.ts";
+export type Found = ReadonlyArray<readonly [Target, ReadonlyArray<Edge>]>;
+export type ReachFn = (graph: Graph, filter: EdgeFilter, source: FilePath) => Found;
+/** Lean `Graph.find?`: the first file with the path. */
+export declare const find: (graph: Graph, path: FilePath) => SourceFile | undefined;
+export declare const reach: ReachFn;
+/** The witness `reach` reports for `target`, found without searching past it. */
+export declare const reachTarget: (graph: Graph, filter: EdgeFilter, source: FilePath, target: Target) => ReadonlyArray<Edge> | undefined;
+//# sourceMappingURL=reach.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"reach.d.ts","sourceRoot":"","sources":["../../src/core/reach.ts"],"names":[],"mappings":"AAEA,OAAO,EAA2B,KAAK,UAAU,EAAE,KAAK,QAAQ,EAAE,KAAK,KAAK,EAAE,KAAK,UAAU,EAAE,KAAK,MAAM,EAAE,MAAM,YAAY,CAAA;AAC9H,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAErC,MAAM,MAAM,KAAK,GAAG,aAAa,CAAC,SAAS,CAAC,MAAM,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;AAEzE,MAAM,MAAM,OAAO,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,KAAK,KAAK,CAAA;AAInF,wDAAwD;AACxD,eAAO,MAAM,IAAI,UAAW,KAAK,QAAQ,QAAQ,KAAG,UAAU,GAAG,SAWhE,CAAA;AAqED,eAAO,MAAM,KAAK,EAAE,OACsB,CAAA;AAE1C,iFAAiF;AACjF,eAAO,MAAM,WAAW,UACf,KAAK,UACJ,UAAU,UACV,QAAQ,UACR,MAAM,KACb,aAAa,CAAC,IAAI,CAAC,GAAG,SAIxB,CAAA"}

package/dist/core/reach.js

@@ -0,0 +1,81 @@
+/** Port of lean/Archer/Impl/Reach.lean. Output order: breadth-first discovery, as documented there. */
+import { pathKey, targetKey } from "./keys.js";
+import { admits } from "./model.js";
+const indexes = new WeakMap();
+/** Lean `Graph.find?`: the first file with the path. */
+export const find = (graph, path) => {
+    let index = indexes.get(graph);
+    if (index === undefined) {
+        index = new Map();
+        for (const file of graph.files) {
+            const key = pathKey(file.path);
+            if (!index.has(key))
+                index.set(key, file);
+        }
+        indexes.set(graph, index);
+    }
+    return index.get(pathKey(path));
+};
+const stepsByGraph = new WeakMap();
+const steps = (graph, file) => {
+    let byFile = stepsByGraph.get(graph);
+    if (byFile === undefined) {
+        byFile = new WeakMap();
+        stepsByGraph.set(graph, byFile);
+    }
+    const cached = byFile.get(file);
+    if (cached !== undefined)
+        return cached;
+    const computed = file.dependencies.map((dependency) => ({
+        dependency,
+        key: targetKey(dependency.target),
+        next: dependency.target._tag === "File" ? find(graph, dependency.target.path) : undefined,
+    }));
+    byFile.set(file, computed);
+    return computed;
+};
+/**
+ * The breadth-first search of Lean's `reach`. With `stopAt`, it returns as
+ * soon as that target is discovered; discovery happens once per target, so
+ * the witness is the one the whole search would report.
+ */
+const search = (graph, filter, source, stopAt) => {
+    const found = [];
+    const continuations = [];
+    const seen = new Set();
+    const start = find(graph, source);
+    let front = start === undefined ? [] : [[start, []]];
+    for (let fuel = graph.files.length + 1; fuel > 0 && front.length > 0; fuel--) {
+        const before = found.length;
+        for (const [file, witness] of front) {
+            for (const step of steps(graph, file)) {
+                if (!admits(filter, step.dependency) || seen.has(step.key))
+                    continue;
+                seen.add(step.key);
+                found.push([step.dependency.target, [...witness, { source: file.path, dependency: step.dependency }]]);
+                continuations.push(step.next);
+                if (step.key === stopAt)
+                    return found;
+            }
+        }
+        if (!filter.transitive)
+            break;
+        const round = [];
+        for (let index = before; index < found.length; index++) {
+            const next = continuations[index];
+            const entry = found[index];
+            if (next !== undefined && entry !== undefined)
+                round.push([next, entry[1]]);
+        }
+        front = round;
+    }
+    return found;
+};
+export const reach = (graph, filter, source) => search(graph, filter, source, undefined);
+/** The witness `reach` reports for `target`, found without searching past it. */
+export const reachTarget = (graph, filter, source, target) => {
+    const key = targetKey(target);
+    const last = search(graph, filter, source, key).at(-1);
+    return last !== undefined && targetKey(last[0]) === key ? last[1] : undefined;
+};
+//# sourceMappingURL=reach.js.map

package/dist/core/reach.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reach.js","sourceRoot":"","sources":["../../src/core/reach.ts"],"names":[],"mappings":"AAAA,uGAAuG;AACvG,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAC9C,OAAO,EAAE,MAAM,EAA6F,MAAM,YAAY,CAAA;AAO9H,MAAM,OAAO,GAA4C,IAAI,OAAO,EAAkC,CAAA;AAEtG,wDAAwD;AACxD,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,KAAY,EAAE,IAAc,EAA0B,EAAE;IAC3E,IAAI,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IAC9B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,KAAK,GAAG,IAAI,GAAG,EAAE,CAAA;QACjB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAC/B,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAC9B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;QAC3C,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;IAC3B,CAAC;IACD,OAAO,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAA;AACjC,CAAC,CAAA;AASD,MAAM,YAAY,GAA6D,IAAI,OAAO,EAGvF,CAAA;AAEH,MAAM,KAAK,GAAG,CAAC,KAAY,EAAE,IAAgB,EAAuB,EAAE;IACpE,IAAI,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IACpC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,GAAG,IAAI,OAAO,EAAE,CAAA;QACtB,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACjC,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IAC/B,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAA;IACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CACpC,CAAC,UAAU,EAAQ,EAAE,CAAC,CAAC;QACrB,UAAU;QACV,GAAG,EAAE,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC;QACjC,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;KAC1F,CAAC,CACH,CAAA;IACD,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;IAC1B,OAAO,QAAQ,CAAA;AACjB,CAAC,CAAA;AAID;;;;GAIG;AACH,MAAM,MAAM,GAAG,CAAC,KAAY,EAAE,MAAkB,EAAE,MAAgB,EAAE,MAA0B,EAAS,EAAE;IACvG,MAAM,KAAK,GAAkD,EAAE,CAAA;IAC/D,MAAM,aAAa,GAAkC,EAAE,CAAA;IACvD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACjC,IAAI,KAAK,GAAU,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAA;IAC3D,KAAK,IAAI,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC;QAC7E,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAA;QAC3B,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC;YACpC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;gBACtC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC;oBAAE,SAAQ;gBACpE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;gBAClB,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,GAAG,OAAO,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAA;gBACtG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBAC7B,IAAI,IAAI,CAAC,GAAG,KAAK,MAAM;oBAAE,OAAO,KAAK,CAAA;YACvC,CAAC;QACH,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,UAAU;YAAE,MAAK;QAC7B,MAAM,KAAK,GAAsD,EAAE,CAAA;QACnE,KAAK,IAAI,KAAK,GAAG,MAAM,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YACvD,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,CAAA;YACjC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAA;YAC1B,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QAC7E,CAAC;QACD,KAAK,GAAG,KAAK,CAAA;IACf,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,KAAK,GAAY,CAAC,KAAY,EAAE,MAAkB,EAAE,MAAgB,EAAS,EAAE,CAC1F,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,CAAA;AAE1C,iFAAiF;AACjF,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,KAAY,EACZ,MAAkB,EAClB,MAAgB,EAChB,MAAc,EACmB,EAAE;IACnC,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC,CAAA;IAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IACtD,OAAO,IAAI,KAAK,SAAS,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;AAC/E,CAAC,CAAA"}

package/dist/core/rule.d.ts

@@ -0,0 +1,200 @@
+/** Schemas and semantics of lean/Archer/Rule.lean. */
+import { Schema } from "effect";
+import { type Declaration, DeclarationKind, Dependency, EdgeFilter, FilePath, type Graph, Location, Selector, Target, Use, Visibility } from "./model.ts";
+export type Severity = "error" | "warning" | "info";
+export declare const Severity: Schema.Codec<Severity>;
+export type Direction = "outgoing" | "incoming";
+export declare const Direction: Schema.Codec<Direction>;
+export type Relation = "forbid" | "require";
+export declare const Relation: Schema.Codec<Relation>;
+export type Quantifier = "every" | "none";
+export declare const Quantifier: Schema.Codec<Quantifier>;
+export type DeclarationPredicate = {
+    readonly _tag: "Kind";
+    readonly kinds: ReadonlyArray<DeclarationKind>;
+} | {
+    readonly _tag: "Abstract";
+} | {
+    readonly _tag: "Exported";
+} | {
+    readonly _tag: "ReadonlyProperties";
+} | {
+    readonly _tag: "Extends";
+    readonly name: string;
+} | {
+    readonly _tag: "Implements";
+    readonly name: string;
+} | {
+    readonly _tag: "Decorator";
+    readonly name: string;
+}
+/** Declares every named method, with the visibility when one is given. */
+ | {
+    readonly _tag: "HasMethods";
+    readonly names: ReadonlyArray<string>;
+    readonly visibility?: Visibility;
+} | {
+    readonly _tag: "OnlyPublicMethods";
+} | {
+    readonly _tag: "All";
+    readonly predicates: ReadonlyArray<DeclarationPredicate>;
+};
+export declare const DeclarationPredicate: Schema.Codec<DeclarationPredicate>;
+export declare const holds: (predicate: DeclarationPredicate, declaration: Declaration) => boolean;
+export type UseSpec = {
+    readonly _tag: "LooseEquality";
+} | {
+    readonly _tag: "Globals";
+    readonly names: ReadonlyArray<string>;
+} | {
+    readonly _tag: "Imported";
+    readonly source: string;
+    readonly names: ReadonlyArray<string>;
+};
+export declare const UseSpec: Schema.Codec<UseSpec>;
+export declare const matchesUse: (spec: UseSpec, use: Use) => boolean;
+export type Affix = "prefix" | "suffix";
+export declare const Affix: Schema.Codec<Affix>;
+/** Compares code points, as Lean's `String.toList`. */
+export declare const affixHolds: (affix: Affix, value: string, name: string) => boolean;
+/** `S` is `Selector` in a checked policy and `ConfigSelector` in a configuration. */
+export type Assertion<S> = {
+    readonly _tag: "Reach";
+    readonly direction: Direction;
+    readonly relation: Relation;
+    readonly object: S;
+    readonly edges: EdgeFilter;
+}
+/** With `folderDepth`, files collapse to their folder prefix before cycles are detected. */
+ | {
+    readonly _tag: "Acyclic";
+    readonly edges: EdgeFilter;
+    readonly folderDepth?: number;
+} | {
+    readonly _tag: "Resolvable";
+    readonly allowComputed: boolean;
+} | {
+    readonly _tag: "Declares";
+    readonly quantifier: Quantifier;
+    readonly predicate: DeclarationPredicate;
+} | {
+    readonly _tag: "ExportsOnly";
+    readonly names: ReadonlyArray<string>;
+} | {
+    readonly _tag: "Uses";
+    readonly relation: Relation;
+    readonly use: UseSpec;
+} | {
+    readonly _tag: "Named";
+    readonly relation: Relation;
+    readonly affix: Affix;
+    readonly value: string;
+} | {
+    readonly _tag: "MaxLines";
+    readonly max: number;
+}
+/** A closure from the configuration, named here so the rule stays data. */
+ | {
+    readonly _tag: "Custom";
+    readonly name: string;
+};
+export declare const assertionOf: <S>(selector: Schema.Codec<S>) => Schema.Codec<Assertion<S>>;
+export interface RuleOf<S> {
+    readonly id: string;
+    readonly severity: Severity;
+    readonly subject: S;
+    readonly assertion: Assertion<S>;
+}
+export declare const ruleOf: <S>(selector: Schema.Codec<S>) => Schema.Codec<RuleOf<S>>;
+export type Rule = RuleOf<Selector>;
+export declare const Rule: Schema.Codec<Rule>;
+export type Policy = ReadonlyArray<Rule>;
+export interface Edge {
+    readonly source: FilePath;
+    readonly dependency: Dependency;
+}
+export declare const Edge: Schema.Codec<Edge>;
+export type Evidence = {
+    readonly _tag: "Walk";
+    readonly target: Target;
+    readonly edges: ReadonlyArray<Edge>;
+} | {
+    readonly _tag: "Missing";
+} | {
+    readonly _tag: "Cycle";
+    readonly edges: ReadonlyArray<Edge>;
+} | {
+    readonly _tag: "Dependency";
+    readonly edge: Edge;
+} | {
+    readonly _tag: "Declaration";
+    readonly name: string;
+    readonly location: Location;
+} | {
+    readonly _tag: "Export";
+    readonly name: string;
+} | {
+    readonly _tag: "Use";
+    readonly use: Use;
+} | {
+    readonly _tag: "Name";
+    readonly basename: string;
+} | {
+    readonly _tag: "Lines";
+    readonly count: number;
+} | {
+    readonly _tag: "Custom";
+    readonly message: string;
+};
+export declare const Evidence: Schema.Codec<Evidence>;
+/** What identifies a violation within one rule and subject: walks and cycles without their edges. */
+export type EvidenceKey = {
+    readonly _tag: "Target";
+    readonly target: Target;
+} | {
+    readonly _tag: "Missing";
+} | {
+    readonly _tag: "Cycle";
+} | {
+    readonly _tag: "Dependency";
+    readonly edge: Edge;
+} | {
+    readonly _tag: "Declaration";
+    readonly name: string;
+    readonly location: Location;
+} | {
+    readonly _tag: "Export";
+    readonly name: string;
+} | {
+    readonly _tag: "Use";
+    readonly use: Use;
+} | {
+    readonly _tag: "Name";
+} | {
+    readonly _tag: "Lines";
+} | {
+    readonly _tag: "Custom";
+    readonly message: string;
+};
+export declare const EvidenceKey: Schema.Codec<EvidenceKey>;
+export declare const evidenceKey: (evidence: Evidence) => EvidenceKey;
+export interface Violation {
+    readonly ruleId: string;
+    readonly severity: Severity;
+    /** A source file, or a folder for a collapsed cycle rule. */
+    readonly subject: FilePath;
+    readonly evidence: Evidence;
+}
+export declare const Violation: Schema.Codec<Violation>;
+export declare const violationKey: (violation: Violation) => readonly [string, FilePath, EvidenceKey];
+export type CustomRules = (name: string, graph: Graph, subject: FilePath) => ReadonlyArray<string>;
+export declare const basename: (path: FilePath) => string;
+/** Lean `Graph.restrict`: the given files, and only the dependencies between them. */
+export declare const restrict: (graph: Graph, keep: (path: FilePath) => boolean) => Graph;
+/** Lean `folderOf`: the first `depth` segments of the file's directory. */
+export declare const folderOf: (depth: number, path: FilePath) => FilePath;
+/** Lean `Graph.collapse`: one node per folder, an edge per dependency that crosses folders. */
+export declare const collapse: (graph: Graph, depth: number) => Graph;
+export declare const assertionSelectors: <S>(assertion: Assertion<S>) => Array<S>;
+export declare const mapAssertion: <S, T>(assertion: Assertion<S>, f: (selector: S) => T) => Assertion<T>;
+//# sourceMappingURL=rule.d.ts.map