oxlint-architecture-rules 0.1.0-beta.0

package/build/dts/domain/architecture-error.d.ts

@@ -0,0 +1,27 @@
+import * as Schema from "effect/Schema";
+declare const ConfigInvalid_base: Schema.Class<ConfigInvalid, Schema.TaggedStruct<"ConfigInvalid", {
+    readonly configPath: Schema.String;
+    readonly detail: Schema.String;
+}>, import("effect/Cause").YieldableError>;
+export declare class ConfigInvalid extends ConfigInvalid_base {
+    get message(): string;
+}
+declare const PatternInvalid_base: Schema.Class<PatternInvalid, Schema.TaggedStruct<"PatternInvalid", {
+    readonly ruleName: Schema.String;
+    readonly field: Schema.String;
+    readonly pattern: Schema.String;
+    readonly detail: Schema.String;
+}>, import("effect/Cause").YieldableError>;
+export declare class PatternInvalid extends PatternInvalid_base {
+    get message(): string;
+}
+declare const ImportUnresolved_base: Schema.Class<ImportUnresolved, Schema.TaggedStruct<"ImportUnresolved", {
+    readonly fromFile: Schema.String;
+    readonly specifier: Schema.String;
+    readonly detail: Schema.String;
+}>, import("effect/Cause").YieldableError>;
+export declare class ImportUnresolved extends ImportUnresolved_base {
+    get message(): string;
+}
+export {};
+//# sourceMappingURL=architecture-error.d.ts.map

package/build/dts/domain/architecture-error.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"architecture-error.d.ts","sourceRoot":"","sources":["../../../src/domain/architecture-error.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;;;;;AAMxC,qBAAa,aAAc,SAAQ,kBAGlC;IACC,IAAa,OAAO,IAAI,MAAM,CAE7B;CACF;;;;;;;AAED,qBAAa,cAAe,SAAQ,mBAQnC;IACC,IAAa,OAAO,IAAI,MAAM,CAI7B;CACF;;;;;;AAED,qBAAa,gBAAiB,SAAQ,qBAOrC;IACC,IAAa,OAAO,IAAI,MAAM,CAE7B;CACF"}

package/build/dts/domain/violation.d.ts

@@ -0,0 +1,11 @@
+export type ViolationKind = "import" | "export" | "structure" | "member";
+export type Violation = {
+    readonly kind: ViolationKind;
+    readonly ruleName: string;
+    readonly message: string;
+    readonly file: string;
+    readonly subject: string | null;
+};
+export declare const fingerprintOf: (violation: Violation) => string;
+export declare const formatMessage: (violation: Violation) => string;
+//# sourceMappingURL=violation.d.ts.map

package/build/dts/domain/violation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"violation.d.ts","sourceRoot":"","sources":["../../../src/domain/violation.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,aAAa,GAAG,QAAQ,GAAG,QAAQ,GAAG,WAAW,GAAG,QAAQ,CAAC;AAEzE,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAEzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAItB,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;CACjC,CAAC;AAKF,eAAO,MAAM,aAAa,GAAI,WAAW,SAAS,KAAG,MACoC,CAAC;AAI1F,eAAO,MAAM,aAAa,GAAI,WAAW,SAAS,KAAG,MACyC,CAAC"}

package/build/dts/index.d.ts

@@ -0,0 +1,10 @@
+export { type CompiledImportRule, compileImportRule, compileImportRules, evaluateImportEdge, type ImportEdge, } from "./core/imports.js";
+export { type ImportRule, type ResolveConfig, type ResolveScope, } from "./domain/architecture-config.js";
+export { ConfigInvalid, ImportUnresolved, PatternInvalid } from "./domain/architecture-error.js";
+export { fingerprintOf, formatMessage, type Violation, type ViolationKind, } from "./domain/violation.js";
+export { makeModuleResolverFake } from "./infrastructure/module-resolver-fake.js";
+export { makeModuleResolverLive } from "./infrastructure/module-resolver-live.js";
+export { type LoweredRules, lowerManifest } from "./manifest/compile.js";
+export { type Manifest, type ManifestNode, Manifest as ManifestSchema, } from "./manifest/manifest.js";
+export { type ModuleResolver, type ResolvedTarget } from "./ports/module-resolver.js";
+//# sourceMappingURL=index.d.ts.map

package/build/dts/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,kBAAkB,EACvB,iBAAiB,EACjB,kBAAkB,EAClB,kBAAkB,EAClB,KAAK,UAAU,GAChB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,KAAK,UAAU,EACf,KAAK,aAAa,EAClB,KAAK,YAAY,GAClB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AACjG,OAAO,EACL,aAAa,EACb,aAAa,EACb,KAAK,SAAS,EACd,KAAK,aAAa,GACnB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,sBAAsB,EAAE,MAAM,0CAA0C,CAAC;AAClF,OAAO,EAAE,sBAAsB,EAAE,MAAM,0CAA0C,CAAC;AAClF,OAAO,EAAE,KAAK,YAAY,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACzE,OAAO,EACL,KAAK,QAAQ,EACb,KAAK,YAAY,EACjB,QAAQ,IAAI,cAAc,GAC3B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,KAAK,cAAc,EAAE,KAAK,cAAc,EAAE,MAAM,4BAA4B,CAAC"}

package/build/dts/infrastructure/file-system-fake.d.ts

@@ -0,0 +1,3 @@
+import type { FileSystem } from "../ports/file-system.js";
+export declare const makeFileSystemFake: (present: Iterable<string>) => FileSystem;
+//# sourceMappingURL=file-system-fake.d.ts.map

package/build/dts/infrastructure/file-system-fake.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-system-fake.d.ts","sourceRoot":"","sources":["../../../src/infrastructure/file-system-fake.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAE1D,eAAO,MAAM,kBAAkB,GAAI,SAAS,QAAQ,CAAC,MAAM,CAAC,KAAG,UAG9D,CAAC"}

package/build/dts/infrastructure/file-system-live.d.ts

@@ -0,0 +1,3 @@
+import type { FileSystem } from "../ports/file-system.js";
+export declare const makeFileSystemLive: (repoRoot: string) => FileSystem;
+//# sourceMappingURL=file-system-live.d.ts.map

package/build/dts/infrastructure/file-system-live.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-system-live.d.ts","sourceRoot":"","sources":["../../../src/infrastructure/file-system-live.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAK1D,eAAO,MAAM,kBAAkB,GAAI,UAAU,MAAM,KAAG,UAWrD,CAAC"}

package/build/dts/infrastructure/module-resolver-fake.d.ts

@@ -0,0 +1,3 @@
+import type { ModuleResolver } from "../ports/module-resolver.js";
+export declare const makeModuleResolverFake: (targets: Readonly<Record<string, string>>) => ModuleResolver;
+//# sourceMappingURL=module-resolver-fake.d.ts.map

package/build/dts/infrastructure/module-resolver-fake.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-resolver-fake.d.ts","sourceRoot":"","sources":["../../../src/infrastructure/module-resolver-fake.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,cAAc,EAAkB,MAAM,6BAA6B,CAAC;AAKlF,eAAO,MAAM,sBAAsB,GACjC,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KACxC,cAkBD,CAAC"}

package/build/dts/infrastructure/module-resolver-live.d.ts

@@ -0,0 +1,4 @@
+import type { ResolveConfig } from "../domain/architecture-config.js";
+import type { ModuleResolver } from "../ports/module-resolver.js";
+export declare const makeModuleResolverLive: (repoRoot: string, config: ResolveConfig) => ModuleResolver;
+//# sourceMappingURL=module-resolver-live.d.ts.map

package/build/dts/infrastructure/module-resolver-live.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-resolver-live.d.ts","sourceRoot":"","sources":["../../../src/infrastructure/module-resolver-live.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAC;AAEtE,OAAO,KAAK,EAAE,cAAc,EAAkB,MAAM,6BAA6B,CAAC;AA2BlF,eAAO,MAAM,sBAAsB,GAAI,UAAU,MAAM,EAAE,QAAQ,aAAa,KAAG,cAiEhF,CAAC"}

package/build/dts/manifest/compile.d.ts

@@ -0,0 +1,16 @@
+import type { ExportRule, ImportRule, MemberRule, StructureFolder, StructureNaming, StructureParity, StructureRoot } from "../domain/architecture-config.js";
+import { type Manifest } from "./manifest.js";
+export type LoweredRules = {
+    readonly imports: ReadonlyArray<ImportRule>;
+    readonly exports: ReadonlyArray<ExportRule>;
+    readonly members: ReadonlyArray<MemberRule>;
+    readonly structure: {
+        readonly roots: ReadonlyArray<StructureRoot>;
+        readonly folders: ReadonlyArray<StructureFolder>;
+        readonly parity: ReadonlyArray<StructureParity>;
+        readonly naming: ReadonlyArray<StructureNaming>;
+    };
+};
+export declare const ANY_FILE = "^.*$";
+export declare const lowerManifest: (manifest: Manifest) => LoweredRules;
+//# sourceMappingURL=compile.d.ts.map

package/build/dts/manifest/compile.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../../../src/manifest/compile.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,UAAU,EACV,UAAU,EACV,UAAU,EACV,eAAe,EACf,eAAe,EACf,eAAe,EACf,aAAa,EACd,MAAM,kCAAkC,CAAC;AAE1C,OAAO,EAGL,KAAK,QAAQ,EAGd,MAAM,eAAe,CAAC;AAKvB,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC;IAC5C,QAAQ,CAAC,SAAS,EAAE;QAClB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,aAAa,CAAC,CAAC;QAC7C,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;QACjD,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;QAChD,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;KACjD,CAAC;CACH,CAAC;AAMF,eAAO,MAAM,QAAQ,SAAS,CAAC;AAkN/B,eAAO,MAAM,aAAa,GAAI,UAAU,QAAQ,KAAG,YAwelD,CAAC"}

package/build/dts/manifest/glob.d.ts

@@ -0,0 +1,14 @@
+export type CaptureIndex = Readonly<Record<string, number>>;
+export type GlobCompilation = {
+    readonly source: string;
+    readonly captures: CaptureIndex;
+    readonly wildcards: ReadonlyArray<number>;
+};
+export declare const globToRegexSource: (glob: string, captures: CaptureIndex, options: {
+    readonly declaring: boolean;
+    readonly nextGroup: number;
+    readonly capturing?: boolean;
+}) => GlobCompilation;
+export declare const anchored: (source: string) => string;
+export declare const prefixed: (source: string) => string;
+//# sourceMappingURL=glob.d.ts.map

package/build/dts/manifest/glob.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"glob.d.ts","sourceRoot":"","sources":["../../../src/manifest/glob.ts"],"names":[],"mappings":"AAmBA,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAM5D,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAGhC,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;CAC3C,CAAC;AAKF,eAAO,MAAM,iBAAiB,GAC5B,MAAM,MAAM,EACZ,UAAU,YAAY,EACtB,SAAS;IACP,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAI3B,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;CAC9B,KACA,eAwDF,CAAC;AAEF,eAAO,MAAM,QAAQ,GAAI,QAAQ,MAAM,KAAG,MAAuB,CAAC;AAElE,eAAO,MAAM,QAAQ,GAAI,QAAQ,MAAM,KAAG,MAAsB,CAAC"}

package/build/dts/manifest/manifest.d.ts

@@ -0,0 +1,96 @@
+import * as Result from "effect/Result";
+import * as Schema from "effect/Schema";
+import { ConfigInvalid } from "../domain/architecture-error.js";
+declare const Imports: Schema.Struct<{
+    readonly message: Schema.optionalKey<Schema.String>;
+    readonly allow: Schema.optionalKey<Schema.Union<readonly [Schema.String, Schema.$Array<Schema.String>]>>;
+    readonly external: Schema.optionalKey<Schema.$Array<Schema.String>>;
+    readonly deny: Schema.optionalKey<Schema.$Array<Schema.Struct<{
+        readonly match: Schema.Union<readonly [Schema.String, Schema.$Array<Schema.String>]>;
+        readonly matchNot: Schema.optionalKey<Schema.Union<readonly [Schema.String, Schema.$Array<Schema.String>]>>;
+        readonly except: Schema.optionalKey<Schema.Union<readonly [Schema.String, Schema.$Array<Schema.String>]>>;
+        readonly message: Schema.String;
+    }>>>;
+    readonly reset: Schema.optionalKey<Schema.Boolean>;
+    readonly unrestricted: Schema.optionalKey<Schema.Boolean>;
+}>;
+declare const ImportedBy: Schema.Struct<{
+    readonly message: Schema.String;
+    readonly allow: Schema.Union<readonly [Schema.String, Schema.$Array<Schema.String>]>;
+    readonly matchNot: Schema.optionalKey<Schema.Union<readonly [Schema.String, Schema.$Array<Schema.String>]>>;
+}>;
+declare const Naming: Schema.Union<readonly [Schema.Literals<readonly ["kebab-case", "camelCase", "PascalCase", "snake_case"]>, Schema.Struct<{
+    readonly regex: Schema.String;
+    readonly message: Schema.optionalKey<Schema.String>;
+}>, Schema.Struct<{
+    readonly like: Schema.String;
+    readonly message: Schema.optionalKey<Schema.String>;
+}>]>;
+declare const Members: Schema.Struct<{
+    readonly message: Schema.String;
+    readonly subject: Schema.Literals<readonly ["type-members", "calls"]>;
+    readonly in: Schema.optionalKey<Schema.Union<readonly [Schema.String, Schema.$Array<Schema.String>]>>;
+    readonly match: Schema.optionalKey<Schema.Union<readonly [Schema.String, Schema.$Array<Schema.String>]>>;
+    readonly matchNot: Schema.optionalKey<Schema.Union<readonly [Schema.String, Schema.$Array<Schema.String>]>>;
+    readonly allow: Schema.optionalKey<Schema.Union<readonly [Schema.String, Schema.$Array<Schema.String>]>>;
+}>;
+declare const ExportRestriction: Schema.Struct<{
+    readonly name: Schema.String;
+    readonly message: Schema.String;
+    readonly module: Schema.Union<readonly [Schema.String, Schema.$Array<Schema.String>]>;
+    readonly symbols: Schema.optionalKey<Schema.$Array<Schema.String>>;
+    readonly except: Schema.optionalKey<Schema.Union<readonly [Schema.String, Schema.$Array<Schema.String>]>>;
+    readonly fix: Schema.optionalKey<Schema.Literal<"subpath-namespace-import">>;
+}>;
+export type ManifestNode = {
+    readonly message?: string;
+    readonly partial?: boolean;
+    readonly layout?: "open";
+    readonly name?: typeof Naming.Type;
+    readonly imports?: typeof Imports.Type;
+    readonly importedBy?: typeof ImportedBy.Type;
+    readonly members?: ReadonlyArray<typeof Members.Type>;
+    readonly requires?: ReadonlyArray<string>;
+    readonly requiresNot?: ReadonlyArray<string>;
+    readonly children?: Readonly<Record<string, ManifestNode>>;
+};
+export declare const Manifest: Schema.Struct<{
+    readonly resolve: Schema.Struct<{
+        readonly scopes: Schema.$Array<Schema.Struct<{
+            readonly files: Schema.String;
+            readonly tsconfig: Schema.String;
+        }>>;
+        readonly extensions: Schema.optionalKey<Schema.$Array<Schema.String>>;
+        readonly conditionNames: Schema.optionalKey<Schema.$Array<Schema.String>>;
+        readonly mainFields: Schema.optionalKey<Schema.$Array<Schema.String>>;
+        readonly unresolved: Schema.optionalKey<Schema.Literals<readonly ["error", "off"]>>;
+        readonly ignoreUnresolved: Schema.optionalKey<Schema.$Array<Schema.String>>;
+    }>;
+    readonly baseline: Schema.optionalKey<Schema.String>;
+    readonly deny: Schema.optionalKey<Schema.$Array<Schema.Struct<{
+        readonly match: Schema.Union<readonly [Schema.String, Schema.$Array<Schema.String>]>;
+        readonly matchNot: Schema.optionalKey<Schema.Union<readonly [Schema.String, Schema.$Array<Schema.String>]>>;
+        readonly except: Schema.optionalKey<Schema.Union<readonly [Schema.String, Schema.$Array<Schema.String>]>>;
+        readonly message: Schema.String;
+    }>>>;
+    readonly exports: Schema.optionalKey<Schema.$Array<Schema.Struct<{
+        readonly name: Schema.String;
+        readonly message: Schema.String;
+        readonly module: Schema.Union<readonly [Schema.String, Schema.$Array<Schema.String>]>;
+        readonly symbols: Schema.optionalKey<Schema.$Array<Schema.String>>;
+        readonly except: Schema.optionalKey<Schema.Union<readonly [Schema.String, Schema.$Array<Schema.String>]>>;
+        readonly fix: Schema.optionalKey<Schema.Literal<"subpath-namespace-import">>;
+    }>>>;
+    readonly aliases: Schema.optionalKey<Schema.$Record<Schema.String, Schema.String>>;
+    readonly tree: Schema.$Record<Schema.String, Schema.Codec<ManifestNode, ManifestNode, never, never>>;
+}>;
+export type Manifest = typeof Manifest.Type;
+export type ImportsSpec = typeof Imports.Type;
+export type ImportedBySpec = typeof ImportedBy.Type;
+export type MembersSpec = typeof Members.Type;
+export type NamingSpec = typeof Naming.Type;
+export type ExportRestriction = typeof ExportRestriction.Type;
+export declare const globsOf: (globs: string | ReadonlyArray<string>) => ReadonlyArray<string>;
+export declare const decodeManifest: (configPath: string, input: unknown) => Result.Result<Manifest, ConfigInvalid>;
+export {};
+//# sourceMappingURL=manifest.d.ts.map

package/build/dts/manifest/manifest.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"manifest.d.ts","sourceRoot":"","sources":["../../../src/manifest/manifest.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAGxC,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAwBhE,QAAA,MAAM,OAAO;;;;;;;;;;;;EAkBX,CAAC;AAMH,QAAA,MAAM,UAAU;;;;EAMd,CAAC;AASH,QAAA,MAAM,MAAM;;;;;;IAIV,CAAC;AAEH,QAAA,MAAM,OAAO;;;;;;;EAOX,CAAC;AAKH,QAAA,MAAM,iBAAiB;;;;;;;EAUrB,CAAC;AAEH,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAI1B,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAK3B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAGzB,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,MAAM,CAAC,IAAI,CAAC;IACnC,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,OAAO,CAAC,IAAI,CAAC;IACvC,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,UAAU,CAAC,IAAI,CAAC;IAC7C,QAAQ,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC;IAGtD,QAAQ,CAAC,QAAQ,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAI1C,QAAQ,CAAC,WAAW,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAE7C,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC;CAC5D,CAAC;AAiBF,eAAO,MAAM,QAAQ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAgBnB,CAAC;AAEH,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAC,IAAI,CAAC;AAC5C,MAAM,MAAM,WAAW,GAAG,OAAO,OAAO,CAAC,IAAI,CAAC;AAC9C,MAAM,MAAM,cAAc,GAAG,OAAO,UAAU,CAAC,IAAI,CAAC;AACpD,MAAM,MAAM,WAAW,GAAG,OAAO,OAAO,CAAC,IAAI,CAAC;AAC9C,MAAM,MAAM,UAAU,GAAG,OAAO,MAAM,CAAC,IAAI,CAAC;AAC5C,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAC;AAE9D,eAAO,MAAM,OAAO,GAAI,OAAO,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,KAAG,aAAa,CAAC,MAAM,CACvC,CAAC;AAI9C,eAAO,MAAM,cAAc,GACzB,YAAY,MAAM,EAClB,OAAO,OAAO,KACb,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,aAAa,CAIrC,CAAC"}

package/build/dts/ports/file-system.d.ts

@@ -0,0 +1,4 @@
+export type FileSystem = {
+    readonly exists: (repoRelativePath: string) => boolean;
+};
+//# sourceMappingURL=file-system.d.ts.map

package/build/dts/ports/file-system.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-system.d.ts","sourceRoot":"","sources":["../../../src/ports/file-system.ts"],"names":[],"mappings":"AAEA,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,MAAM,EAAE,CAAC,gBAAgB,EAAE,MAAM,KAAK,OAAO,CAAC;CACxD,CAAC"}

package/build/dts/ports/module-resolver.d.ts

@@ -0,0 +1,11 @@
+import type * as Result from "effect/Result";
+import type { ImportUnresolved } from "../domain/architecture-error.js";
+export type DependencyKind = "local" | "external" | "builtin";
+export type ResolvedTarget = {
+    readonly path: string;
+    readonly kind: DependencyKind;
+};
+export type ModuleResolver = {
+    readonly resolve: (fromFile: string, specifier: string) => Result.Result<ResolvedTarget, ImportUnresolved>;
+};
+//# sourceMappingURL=module-resolver.d.ts.map

package/build/dts/ports/module-resolver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-resolver.d.ts","sourceRoot":"","sources":["../../../src/ports/module-resolver.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAE7C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AAExE,MAAM,MAAM,cAAc,GAAG,OAAO,GAAG,UAAU,GAAG,SAAS,CAAC;AAE9D,MAAM,MAAM,cAAc,GAAG;IAK3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAGtB,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,OAAO,EAAE,CAChB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,KACd,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,gBAAgB,CAAC,CAAC;CACtD,CAAC"}

package/build/esm/adapters/cli/main.js

@@ -0,0 +1,17 @@
+#!/usr/bin/env node
+import * as Cause from "effect/Cause";
+import * as Effect from "effect/Effect";
+import * as Exit from "effect/Exit";
+import { run } from "./run.js";
+const exit = await Effect.runPromiseExit(run(process.cwd(), process.argv.slice(2)));
+if (Exit.isFailure(exit)) {
+    // The expected failures carry their own sentence; anything else is a defect
+    // and deserves the full cause.
+    const squashed = Cause.squash(exit.cause);
+    const message = typeof squashed === "object" && squashed !== null && "message" in squashed
+        ? String(squashed.message)
+        : Cause.pretty(exit.cause);
+    process.stderr.write(`\n${message}\n`);
+    process.exitCode = 1;
+}
+//# sourceMappingURL=main.js.map

package/build/esm/adapters/cli/main.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"main.js","sourceRoot":"","sources":["../../../../src/adapters/cli/main.ts"],"names":[],"mappings":";AACA,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,IAAI,MAAM,aAAa,CAAC;AAEpC,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAE/B,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEpF,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;IACzB,4EAA4E;IAC5E,+BAA+B;IAC/B,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1C,MAAM,OAAO,GACX,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,KAAK,IAAI,IAAI,SAAS,IAAI,QAAQ;QACxE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC;QAC1B,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,OAAO,IAAI,CAAC,CAAC;IACvC,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;AACvB,CAAC"}

package/build/esm/adapters/cli/run.js

@@ -0,0 +1,188 @@
+import { readFileSync, writeFileSync } from "node:fs";
+import * as path from "node:path";
+import * as Effect from "effect/Effect";
+import * as Result from "effect/Result";
+import { baselineOf, decodeBaseline, EMPTY_BASELINE, serializeBaseline, staleEntriesOf, unbaselined, } from "../../core/baseline.js";
+import { evaluateSelectedBindings, exportRulesSelecting } from "../../core/exports.js";
+import { evaluateSelectedEdge, rulesSelecting } from "../../core/imports.js";
+import { evaluateMemberSite, memberRulesSelecting } from "../../core/members.js";
+import { evaluateStructure, requiredSiblingsOf } from "../../core/structure.js";
+import { fingerprintOf, formatMessage } from "../../domain/violation.js";
+import { loadPolicy } from "../oxlint/config-loader.js";
+import { sourceFactsOf } from "./source-facts.js";
+import { listSourceFiles } from "./source-files.js";
+const fail = (message) => ({ _tag: "CliFailure", message });
+export const collectFindings = (policy, roots) => {
+    const files = listSourceFiles(policy.repoRoot, roots);
+    const violations = [];
+    const unresolved = [];
+    for (const file of files) {
+        for (const violation of evaluateStructure(policy.structure, policy.fileSystem, file)) {
+            violations.push(violation);
+        }
+        const selectedImports = rulesSelecting(policy.importRules, file);
+        const selectedExports = exportRulesSelecting(policy.exportRules, file);
+        const selectedMembers = memberRulesSelecting(policy.memberRules, file);
+        if (selectedImports.length + selectedExports.length + selectedMembers.length === 0)
+            continue;
+        const facts = sourceFactsOf(policy.repoRoot, file);
+        for (const site of facts.memberSites) {
+            for (const violation of evaluateMemberSite(selectedMembers, site))
+                violations.push(violation);
+        }
+        for (const specifier of facts.specifiers) {
+            const edge = { importer: file, specifier };
+            const imported = evaluateSelectedEdge(selectedImports, policy.resolver, edge);
+            if (Result.isFailure(imported)) {
+                if (policy.config.resolve.unresolved === "off")
+                    continue;
+                if (policy.ignoreUnresolved.some((pattern) => pattern.test(specifier)))
+                    continue;
+                unresolved.push(`${file} → ${specifier} (${imported.failure.detail})`);
+                continue;
+            }
+            for (const violation of imported.success)
+                violations.push(violation);
+            const bound = facts.bindings.get(specifier) ?? [];
+            const exported = evaluateSelectedBindings(selectedExports, policy.resolver, {
+                ...edge,
+                bindings: bound,
+            });
+            if (!Result.isFailure(exported)) {
+                for (const { violation } of exported.success)
+                    violations.push(violation);
+            }
+        }
+    }
+    return { violations, unresolved, files: files.length };
+};
+const baselinePathOf = (policy) => policy.config.baseline === undefined
+    ? null
+    : path.resolve(policy.repoRoot, policy.config.baseline);
+const readBaseline = (policy) => {
+    const at = baselinePathOf(policy);
+    if (at === null)
+        return EMPTY_BASELINE;
+    try {
+        return decodeBaseline(JSON.parse(readFileSync(at, "utf8")));
+    }
+    catch {
+        return EMPTY_BASELINE;
+    }
+};
+const report = (lines) => Effect.sync(() => {
+    for (const line of lines)
+        process.stdout.write(`${line}\n`);
+});
+const describe = (violation) => `  ${violation.file}\n      ${formatMessage(violation)}`;
+export const check = (policy, roots) => Effect.gen(function* () {
+    const findings = collectFindings(policy, roots);
+    const baseline = readBaseline(policy);
+    const reportable = unbaselined(baseline, findings.violations);
+    const stale = staleEntriesOf(baseline, findings.violations);
+    yield* report(reportable.map(describe));
+    yield* report(findings.unresolved.map((one) => `  unresolved: ${one}`));
+    const carried = findings.violations.length - reportable.length;
+    yield* report([
+        "",
+        `${String(findings.files)} files, ${String(reportable.length)} violations` +
+            (carried > 0 ? `, ${String(carried)} carried by the baseline` : ""),
+    ]);
+    if (stale.length > 0) {
+        // The ratchet: a fixed violation must leave the baseline, or the floor
+        // never rises and the file stops describing anything real.
+        yield* report([
+            "",
+            `${String(stale.length)} baseline entries no longer fire. The code was fixed; prune them:`,
+            ...stale.map((entry) => `  ${entry}`),
+            "",
+            "  architecture baseline    # rewrites the file from what still fires",
+        ]);
+        return yield* Effect.fail(fail("stale baseline entries"));
+    }
+    if (reportable.length > 0 || findings.unresolved.length > 0) {
+        return yield* Effect.fail(fail("architecture violations"));
+    }
+});
+export const writeBaseline = (policy, roots) => Effect.gen(function* () {
+    const at = baselinePathOf(policy);
+    if (at === null) {
+        return yield* Effect.fail(fail("this policy declares no `baseline` path, so there is nowhere to write one"));
+    }
+    const findings = collectFindings(policy, roots);
+    const baseline = baselineOf(findings.violations);
+    yield* Effect.sync(() => {
+        writeFileSync(at, serializeBaseline(baseline));
+    });
+    yield* report([
+        `${String(baseline.entries.length)} violations recorded in ${path.relative(policy.repoRoot, at)}.`,
+        "Each one is debt the policy is carrying. Fixing one means deleting its line.",
+    ]);
+});
+// The question a tree config makes harder to answer than a flat one: given a
+// file, what governs it? A flat config you grep; a tree you have to walk.
+export const explain = (policy, file) => Effect.gen(function* () {
+    const relative = path.relative(policy.repoRoot, path.resolve(policy.repoRoot, file));
+    const selected = rulesSelecting(policy.importRules, relative);
+    // An allowlist rule names no `to` — it fires when the target matches none of
+    // its patterns. A prohibition names one.
+    const allowlists = selected.filter(([rule]) => rule.to.length === 0 && rule.toNot.length > 0);
+    const prohibitions = selected.filter(([rule]) => rule.to.length > 0);
+    const owed = policy.structure.parity
+        .filter((rule) => rule.file.some((pattern) => pattern.test(relative)) &&
+        !rule.fileNot.some((pattern) => pattern.test(relative)))
+        .flatMap((rule) => requiredSiblingsOf(rule, relative));
+    const governing = policy.structure.folders.filter((rule) => rule.folder.some((pattern) => pattern.test(path.dirname(relative))));
+    const naming = policy.structure.naming.filter((rule) => rule.file.some((pattern) => pattern.test(relative)) &&
+        !rule.fileNot.some((pattern) => pattern.test(relative)));
+    const firstSentence = (message) => `${message.split(". ")[0] ?? message}.`;
+    yield* report([
+        relative,
+        "",
+        allowlists.length === 0
+            ? "  may import: anything (no tier above this file states an allowlist)"
+            : "  may import:",
+        ...allowlists.flatMap(([rule]) => [
+            `    — ${rule.name}`,
+            ...rule.toNot.map((pattern) => `        ${pattern}`),
+        ]),
+        "",
+        "  may not import:",
+        ...(prohibitions.length === 0
+            ? ["    (nothing beyond the allowlist above)"]
+            : prohibitions.map(([rule]) => `    ${rule.name} — ${firstSentence(rule.message)}`)),
+        "",
+        `  lives in: ${governing.length === 0 ? "a folder no rule governs" : governing.map((rule) => rule.name).join(", ")}`,
+        ...(naming.length === 0
+            ? []
+            : [
+                "  is named by:",
+                ...naming.map((rule) => `    ${rule.name} — ${rule.sameAs !== null ? "its folder's own name" : (rule.convention?.source ?? "")}`),
+            ]),
+        ...(owed.length === 0 ? [] : ["  owes:", ...owed.map((one) => `    ${one}`)]),
+    ]);
+});
+export const run = (repoRoot, argv) => Effect.gen(function* () {
+    const [command = "check", ...rest] = argv;
+    const policy = yield* Effect.tryPromise({
+        try: () => loadPolicy(repoRoot),
+        catch: (cause) => fail(String(cause)),
+    });
+    const roots = rest.length > 0 ? rest : ["packages"];
+    switch (command) {
+        case "check":
+            return yield* check(policy, roots);
+        case "baseline":
+            return yield* writeBaseline(policy, roots);
+        case "explain": {
+            const [file] = rest;
+            if (file === undefined)
+                return yield* Effect.fail(fail("explain needs a file path"));
+            return yield* explain(policy, file);
+        }
+        default:
+            return yield* Effect.fail(fail(`unknown command "${command}". Try: check | baseline | explain <file>`));
+    }
+});
+export const fingerprint = fingerprintOf;
+//# sourceMappingURL=run.js.map

package/build/esm/adapters/cli/run.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run.js","sourceRoot":"","sources":["../../../../src/adapters/cli/run.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACtD,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAElC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,EAEL,UAAU,EACV,cAAc,EACd,cAAc,EACd,iBAAiB,EACjB,cAAc,EACd,WAAW,GACZ,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,wBAAwB,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AACvF,OAAO,EAAE,oBAAoB,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC7E,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AACjF,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAChF,OAAO,EAAE,aAAa,EAAE,aAAa,EAAkB,MAAM,2BAA2B,CAAC;AACzF,OAAO,EAAqB,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAC3E,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAgBpD,MAAM,IAAI,GAAG,CAAC,OAAe,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC,CAAC;AAQhF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,MAAoB,EAAE,KAA4B,EAAY,EAAE;IAC9F,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACtD,MAAM,UAAU,GAAqB,EAAE,CAAC;IACxC,MAAM,UAAU,GAAkB,EAAE,CAAC;IAErC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,SAAS,IAAI,iBAAiB,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,CAAC;YACrF,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC7B,CAAC;QAED,MAAM,eAAe,GAAG,cAAc,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QACjE,MAAM,eAAe,GAAG,oBAAoB,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QACvE,MAAM,eAAe,GAAG,oBAAoB,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QACvE,IAAI,eAAe,CAAC,MAAM,GAAG,eAAe,CAAC,MAAM,GAAG,eAAe,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAE7F,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAEnD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YACrC,KAAK,MAAM,SAAS,IAAI,kBAAkB,CAAC,eAAe,EAAE,IAAI,CAAC;gBAAE,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAChG,CAAC;QAED,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;YACzC,MAAM,IAAI,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YAE3C,MAAM,QAAQ,GAAG,oBAAoB,CAAC,eAAe,EAAE,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;YAC9E,IAAI,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC/B,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,KAAK,KAAK;oBAAE,SAAS;gBACzD,IAAI,MAAM,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;oBAAE,SAAS;gBACjF,UAAU,CAAC,IAAI,CAAC,GAAG,IAAI,MAAM,SAAS,KAAK,QAAQ,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;gBACvE,SAAS;YACX,CAAC;YACD,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,OAAO;gBAAE,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAErE,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;YAClD,MAAM,QAAQ,GAAG,wBAAwB,CAAC,eAAe,EAAE,MAAM,CAAC,QAAQ,EAAE;gBAC1E,GAAG,IAAI;gBACP,QAAQ,EAAE,KAAK;aAChB,CAAC,CAAC;YACH,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAChC,KAAK,MAAM,EAAE,SAAS,EAAE,IAAI,QAAQ,CAAC,OAAO;oBAAE,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC3E,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;AACzD,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CAAC,MAAoB,EAAiB,EAAE,CAC7D,MAAM,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS;IAClC,CAAC,CAAC,IAAI;IACN,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;AAE5D,MAAM,YAAY,GAAG,CAAC,MAAoB,EAAY,EAAE;IACtD,MAAM,EAAE,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IAClC,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,cAAc,CAAC;IACvC,IAAI,CAAC;QACH,OAAO,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,EAAE,MAAM,CAAC,CAAY,CAAC,CAAC;IACzE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,cAAc,CAAC;IACxB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,MAAM,GAAG,CAAC,KAA4B,EAAuB,EAAE,CACnE,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;IACf,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC;AAC9D,CAAC,CAAC,CAAC;AAEL,MAAM,QAAQ,GAAG,CAAC,SAAoB,EAAU,EAAE,CAChD,KAAK,SAAS,CAAC,IAAI,WAAW,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC;AAE3D,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,MAAoB,EACpB,KAA4B,EACK,EAAE,CACnC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACtC,MAAM,UAAU,GAAG,WAAW,CAAC,QAAQ,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAG,cAAc,CAAC,QAAQ,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC;IAE5D,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;IACxC,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,iBAAiB,GAAG,EAAE,CAAC,CAAC,CAAC;IAExE,MAAM,OAAO,GAAG,QAAQ,CAAC,UAAU,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC;IAC/D,KAAK,CAAC,CAAC,MAAM,CAAC;QACZ,EAAE;QACF,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,WAAW,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,aAAa;YACxE,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC,CAAC,EAAE,CAAC;KACtE,CAAC,CAAC;IAEH,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,uEAAuE;QACvE,2DAA2D;QAC3D,KAAK,CAAC,CAAC,MAAM,CAAC;YACZ,EAAE;YACF,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,mEAAmE;YAC1F,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,EAAE,CAAC;YACrC,EAAE;YACF,sEAAsE;SACvE,CAAC,CAAC;QACH,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC,CAAC;IAC5D,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5D,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC,CAAC;IAC7D,CAAC;AACH,CAAC,CAAC,CAAC;AAEL,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,MAAoB,EACpB,KAA4B,EACK,EAAE,CACnC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,EAAE,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IAClC,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;QAChB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,CAAC,2EAA2E,CAAC,CAClF,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IACjD,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;QACtB,aAAa,CAAC,EAAE,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IACH,KAAK,CAAC,CAAC,MAAM,CAAC;QACZ,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,2BAA2B,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,EAAE,CAAC,GAAG;QAClG,8EAA8E;KAC/E,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEL,6EAA6E;AAC7E,0EAA0E;AAC1E,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,MAAoB,EAAE,IAAY,EAAmC,EAAE,CAC7F,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;IACrF,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;IAE9D,6EAA6E;IAC7E,yCAAyC;IACzC,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC9F,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAErE,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM;SACjC,MAAM,CACL,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACnD,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAC1D;SACA,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAEzD,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CACzD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CACpE,CAAC;IAEF,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAC3C,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACnD,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAC1D,CAAC;IAEF,MAAM,aAAa,GAAG,CAAC,OAAe,EAAE,EAAE,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,OAAO,GAAG,CAAC;IAEnF,KAAK,CAAC,CAAC,MAAM,CAAC;QACZ,QAAQ;QACR,EAAE;QACF,UAAU,CAAC,MAAM,KAAK,CAAC;YACrB,CAAC,CAAC,sEAAsE;YACxE,CAAC,CAAC,eAAe;QACnB,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;YAChC,SAAS,IAAI,CAAC,IAAI,EAAE;YACpB,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,OAAO,EAAE,CAAC;SACrD,CAAC;QACF,EAAE;QACF,mBAAmB;QACnB,GAAG,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC;YAC3B,CAAC,CAAC,CAAC,0CAA0C,CAAC;YAC9C,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,OAAO,IAAI,CAAC,IAAI,MAAM,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACtF,EAAE;QACF,eAAe,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QACpH,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;YACrB,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE,gBAAgB;gBAChB,GAAG,MAAM,CAAC,GAAG,CACX,CAAC,IAAI,EAAE,EAAE,CACP,OAAO,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,IAAI,EAAE,CAAC,EAAE,CAC3G;aACF,CAAC;QACN,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,GAAG,EAAE,CAAC,CAAC,CAAC;KAC9E,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEL,MAAM,CAAC,MAAM,GAAG,GAAG,CACjB,QAAgB,EAChB,IAA2B,EACM,EAAE,CACnC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,CAAC,OAAO,GAAG,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAC1C,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;QACtC,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC;QAC/B,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;KACtC,CAAC,CAAC;IAEH,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IAEpD,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,OAAO;YACV,OAAO,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACrC,KAAK,UAAU;YACb,OAAO,KAAK,CAAC,CAAC,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC7C,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;YACpB,IAAI,IAAI,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC,CAAC;YACrF,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACtC,CAAC;QACD;YACE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,CAAC,oBAAoB,OAAO,2CAA2C,CAAC,CAC7E,CAAC;IACN,CAAC;AACH,CAAC,CAAC,CAAC;AAEL,MAAM,CAAC,MAAM,WAAW,GAAG,aAAa,CAAC"}

package/build/esm/adapters/cli/source-facts.js

@@ -0,0 +1,117 @@
+import { readFileSync } from "node:fs";
+import * as path from "node:path";
+import ts from "typescript";
+const scriptKindOf = (file) => file.endsWith(".tsx") ? ts.ScriptKind.TSX : ts.ScriptKind.TS;
+const nameOf = (node) => {
+    if (node === undefined)
+        return null;
+    if (ts.isIdentifier(node))
+        return node.text;
+    if (ts.isStringLiteral(node))
+        return node.text;
+    return null;
+};
+const bindingsOfImportClause = (clause) => {
+    if (clause === undefined)
+        return [];
+    const found = [];
+    if (clause.name !== undefined)
+        found.push({ symbol: "default", kind: "default" });
+    const bindings = clause.namedBindings;
+    if (bindings !== undefined) {
+        if (ts.isNamespaceImport(bindings))
+            found.push({ symbol: "*", kind: "namespace" });
+        else {
+            for (const element of bindings.elements) {
+                const symbol = nameOf(element.propertyName ?? element.name);
+                if (symbol !== null)
+                    found.push({ symbol, kind: "named" });
+            }
+        }
+    }
+    return found;
+};
+// `export { a } from "m"` — `propertyName` is the name in the source module when
+// the export is renamed, so it is the one the policy is about.
+const bindingsOfExportClause = (clause) => {
+    if (clause === undefined || ts.isNamespaceExport(clause))
+        return [];
+    const found = [];
+    for (const element of clause.elements) {
+        const symbol = nameOf(element.propertyName ?? element.name);
+        if (symbol !== null)
+            found.push({ symbol, kind: "named" });
+    }
+    return found;
+};
+const calleeNameOf = (expression) => {
+    if (ts.isIdentifier(expression))
+        return expression.text;
+    if (ts.isPropertyAccessExpression(expression) && ts.isIdentifier(expression.name)) {
+        return expression.name.text;
+    }
+    return null;
+};
+export const sourceFactsOf = (repoRoot, file) => {
+    const text = readFileSync(path.join(repoRoot, file), "utf8");
+    const parsed = ts.createSourceFile(file, text, ts.ScriptTarget.Latest, true, scriptKindOf(file));
+    const specifiers = [];
+    const bindings = new Map();
+    const memberSites = [];
+    const record = (specifier, found) => {
+        if (!bindings.has(specifier)) {
+            specifiers.push(specifier);
+            bindings.set(specifier, []);
+        }
+        const existing = bindings.get(specifier);
+        if (existing !== undefined)
+            for (const binding of found)
+                existing.push(binding);
+    };
+    const visit = (node) => {
+        if (ts.isImportDeclaration(node) && ts.isStringLiteral(node.moduleSpecifier)) {
+            // A side-effect import carries no bindings but is still an edge — the
+            // `import "server-only"` form a regex cannot see.
+            record(node.moduleSpecifier.text, bindingsOfImportClause(node.importClause));
+        }
+        else if (ts.isExportDeclaration(node) &&
+            node.moduleSpecifier !== undefined &&
+            ts.isStringLiteral(node.moduleSpecifier)) {
+            record(node.moduleSpecifier.text, bindingsOfExportClause(node.exportClause));
+        }
+        else if (ts.isImportEqualsDeclaration(node) &&
+            ts.isExternalModuleReference(node.moduleReference) &&
+            ts.isStringLiteral(node.moduleReference.expression)) {
+            record(node.moduleReference.expression.text, []);
+        }
+        else if (ts.isCallExpression(node)) {
+            const [first] = node.arguments;
+            const isModuleCall = node.expression.kind === ts.SyntaxKind.ImportKeyword ||
+                (ts.isIdentifier(node.expression) && node.expression.text === "require");
+            if (isModuleCall && first !== undefined && ts.isStringLiteral(first)) {
+                record(first.text, []);
+            }
+            const callee = calleeNameOf(node.expression);
+            if (callee !== null)
+                memberSites.push({ file, subject: "calls", name: callee });
+        }
+        else if (ts.isTypeAliasDeclaration(node) && ts.isTypeLiteralNode(node.type)) {
+            const declaration = node.name.text;
+            for (const member of node.type.members) {
+                // A computed key is not a name a vocabulary rule can speak about.
+                if (!ts.isPropertySignature(member) && !ts.isMethodSignature(member))
+                    continue;
+                if (ts.isComputedPropertyName(member.name))
+                    continue;
+                const name = nameOf(member.name);
+                if (name !== null) {
+                    memberSites.push({ file, subject: "type-members", name, in: declaration });
+                }
+            }
+        }
+        ts.forEachChild(node, visit);
+    };
+    visit(parsed);
+    return { specifiers, bindings, memberSites };
+};
+//# sourceMappingURL=source-facts.js.map