oxlint-architecture-rules 0.1.0-beta.0

package/build/esm/domain/architecture-config.js

@@ -0,0 +1,172 @@
+import * as Schema from "effect/Schema";
+// Every pattern in this config is a JavaScript regular-expression source string
+// matched against a repo-relative, forward-slash path — the same vocabulary
+// dependency-cruiser rules are written in, so a rule ported from there keeps its
+// pattern character-for-character. A list matches when ANY member matches.
+const PatternList = Schema.Union([Schema.String, Schema.Array(Schema.String)]);
+// An import edge is a violation when the importer matches `from` (and not
+// `fromNot`) AND the resolved target matches `to` (and not `toNot`). Omitting
+// `to` means "any target", which is how a rule expresses "this folder may not
+// import anything outside its allowlist" as a single `toNot`.
+// A synthetic edge this rule must report. Every rule carries one: a configured
+// rule that reports nothing is indistinguishable from a clean codebase, and that
+// is the failure this package exists to make impossible. `from` is a repo-relative
+// importer path, `to` a repo-relative RESOLVED target (a `node_modules/...` path
+// for an external, `node:<name>` for a builtin).
+const ImportProbe = Schema.Struct({
+    from: Schema.String,
+    to: Schema.String,
+});
+export const ImportRule = Schema.Struct({
+    name: Schema.String,
+    message: Schema.String,
+    probe: ImportProbe,
+    from: PatternList,
+    fromNot: Schema.optionalKey(PatternList),
+    to: Schema.optionalKey(PatternList),
+    toNot: Schema.optionalKey(PatternList),
+    // `external` is a target inside node_modules, `builtin` a node: module,
+    // `local` anything else. Replaces dependency-cruiser's `dependencyTypes`,
+    // whose finer npm grades no rule in this repo distinguishes.
+    dependencyKind: Schema.optionalKey(Schema.Literals(["external", "local", "builtin"])),
+});
+// Resolution is tsconfig-driven, and this monorepo needs two: the web/components
+// pass resolves `@/*` and `@org/components/*` that the server pass does not.
+const ResolveScope = Schema.Struct({
+    files: Schema.String,
+    tsconfig: Schema.String,
+});
+export const ResolveConfig = Schema.Struct({
+    scopes: Schema.Array(ResolveScope),
+    extensions: Schema.optionalKey(Schema.Array(Schema.String)),
+    conditionNames: Schema.optionalKey(Schema.Array(Schema.String)),
+    mainFields: Schema.optionalKey(Schema.Array(Schema.String)),
+    // An edge nobody can resolve is an edge no rule can police, which is the
+    // silent-vacuity failure this whole package exists to prevent. Default loud.
+    unresolved: Schema.optionalKey(Schema.Literals(["error", "off"])),
+    ignoreUnresolved: Schema.optionalKey(Schema.Array(Schema.String)),
+});
+// Which binding form an import site used. A rule that fences off a factory
+// function cares about `named`; one steering people to namespace subpath imports
+// cares that `named` was used at all.
+const BindingKind = Schema.Literals(["named", "default", "namespace"]);
+const ExportProbe = Schema.Struct({
+    from: Schema.String,
+    to: Schema.String,
+    symbol: Schema.String,
+    kind: Schema.optionalKey(BindingKind),
+});
+// Where a given *exported symbol* may be imported. `imports` asks whether one
+// file may reach another at all; this asks which names it may pull across when
+// it does — the distinction a path rule cannot make, because every importer of a
+// barrel resolves to the same file.
+export const ExportRule = Schema.Struct({
+    name: Schema.String,
+    message: Schema.String,
+    probe: ExportProbe,
+    from: PatternList,
+    fromNot: Schema.optionalKey(PatternList),
+    to: PatternList,
+    toNot: Schema.optionalKey(PatternList),
+    // Exact exported names. Omit to mean "any name", which is how a rule bans a
+    // whole binding form (every named import from a package barrel, say).
+    symbols: Schema.optionalKey(Schema.Array(Schema.String)),
+    // Defaults to ["named"] — the discriminating form for every rule of this shape
+    // written so far.
+    kinds: Schema.optionalKey(Schema.Array(BindingKind)),
+    // A named autofix strategy. `subpath-namespace-import` rewrites
+    // `import { A, B as C } from "pkg"` into `import * as A from "pkg/A"` /
+    // `import * as C from "pkg/B"`, for packages that publish each module as its own
+    // subpath. A rule carrying a fix reports once per declaration rather than once
+    // per symbol, because the fix rewrites the whole declaration.
+    fix: Schema.optionalKey(Schema.Literals(["subpath-namespace-import"])),
+});
+// What kind of declared name a rule is about. `type-members` are the members of
+// a type alias (a port's method vocabulary); `calls` are called identifiers (the
+// hooks a tier may reach for).
+const MemberSubject = Schema.Literals(["type-members", "calls"]);
+const MemberProbe = Schema.Struct({
+    from: Schema.String,
+    name: Schema.String,
+    in: Schema.optionalKey(Schema.String),
+});
+// Which names a file is allowed to declare or call. This is the one family that
+// needs no module resolution: it is about the vocabulary inside a file, not the
+// edges leaving it.
+export const MemberRule = Schema.Struct({
+    name: Schema.String,
+    message: Schema.String,
+    probe: MemberProbe,
+    from: PatternList,
+    fromNot: Schema.optionalKey(PatternList),
+    subject: MemberSubject,
+    // `type-members` only: which declaration's members are governed.
+    in: Schema.optionalKey(PatternList),
+    // Which names the rule speaks to at all. Omit for "every one".
+    match: Schema.optionalKey(PatternList),
+    matchNot: Schema.optionalKey(PatternList),
+    // Names that are fine. A name the rule speaks to and this does not admit is
+    // the violation.
+    allow: Schema.optionalKey(PatternList),
+});
+const PathProbe = Schema.Struct({ path: Schema.String });
+// The file taxonomy, as three questions rather than one nested tree.
+//
+// `roots` marks the regions where layout is deny-by-default. `folders` says
+// which basenames each folder admits. `parity` says which siblings a file owes.
+// Keeping them apart is what removes the nested config's most fragile rule —
+// that a specific pattern must beat a `*` catch-all — because an exemption is
+// now a `fileNot` on the parity rule that would otherwise fire.
+const StructureRoot = Schema.Struct({
+    name: Schema.String,
+    message: Schema.String,
+    probe: PathProbe,
+    // A file under this path whose folder no `folders` rule governs is a file in a
+    // folder the taxonomy does not know about.
+    path: PatternList,
+});
+const StructureFolder = Schema.Struct({
+    name: Schema.String,
+    message: Schema.String,
+    probe: PathProbe,
+    // Matched against the file's folder, repo-relative, with no trailing slash.
+    folder: PatternList,
+    // Basenames this folder admits. Anything else is the violation.
+    files: PatternList,
+});
+const StructureParity = Schema.Struct({
+    name: Schema.String,
+    message: Schema.String,
+    probe: PathProbe,
+    file: PatternList,
+    fileNot: Schema.optionalKey(PatternList),
+    // Paths that must exist, relative to the file's own folder. `{base}` is the
+    // filename minus its final extension, so `{base}.test.ts` beside
+    // `create-todo.handler.ts` means `create-todo.handler.test.ts`.
+    requires: Schema.Array(Schema.String),
+});
+// What shape the variable part of a name may take. `folders` says which
+// stereotypes a folder admits; this says what the concept name in front of the
+// stereotype may look like — the degree of freedom a taxonomy alone leaves open.
+const StructureNaming = Schema.Struct({
+    name: Schema.String,
+    message: Schema.String,
+    probe: PathProbe,
+    // Matched against the whole repo-relative path, and carrying capture groups:
+    // `subject` says which of them holds the name being judged.
+    file: PatternList,
+    fileNot: Schema.optionalKey(PatternList),
+    subject: Schema.Finite,
+    // The shape the subject must have. Exactly one of these.
+    convention: Schema.optionalKey(Schema.String),
+    // A capture group the subject must equal, for "named after its folder".
+    sameAs: Schema.optionalKey(Schema.Finite),
+});
+const StructureConfig = Schema.Struct({
+    roots: Schema.optionalKey(Schema.Array(StructureRoot)),
+    folders: Schema.optionalKey(Schema.Array(StructureFolder)),
+    parity: Schema.optionalKey(Schema.Array(StructureParity)),
+    naming: Schema.optionalKey(Schema.Array(StructureNaming)),
+});
+export const patternsOf = (patterns) => typeof patterns === "string" ? [patterns] : patterns;
+//# sourceMappingURL=architecture-config.js.map

package/build/esm/domain/architecture-config.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"architecture-config.js","sourceRoot":"","sources":["../../../src/domain/architecture-config.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,gFAAgF;AAChF,4EAA4E;AAC5E,iFAAiF;AACjF,2EAA2E;AAC3E,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AAE/E,0EAA0E;AAC1E,8EAA8E;AAC9E,8EAA8E;AAC9E,8DAA8D;AAC9D,+EAA+E;AAC/E,iFAAiF;AACjF,mFAAmF;AACnF,iFAAiF;AACjF,iDAAiD;AACjD,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;IAChC,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,EAAE,EAAE,MAAM,CAAC,MAAM;CAClB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC;IACtC,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,KAAK,EAAE,WAAW;IAClB,IAAI,EAAE,WAAW;IACjB,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC;IACxC,EAAE,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC;IACnC,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC;IACtC,wEAAwE;IACxE,0EAA0E;IAC1E,6DAA6D;IAC7D,cAAc,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;CACtF,CAAC,CAAC;AAEH,iFAAiF;AACjF,6EAA6E;AAC7E,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACjC,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,QAAQ,EAAE,MAAM,CAAC,MAAM;CACxB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC;IACzC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC;IAClC,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC3D,cAAc,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC/D,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC3D,yEAAyE;IACzE,6EAA6E;IAC7E,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;IACjE,gBAAgB,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;CAClE,CAAC,CAAC;AAEH,2EAA2E;AAC3E,iFAAiF;AACjF,sCAAsC;AACtC,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC;AAEvE,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;IAChC,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,EAAE,EAAE,MAAM,CAAC,MAAM;IACjB,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC;CACtC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,+EAA+E;AAC/E,iFAAiF;AACjF,oCAAoC;AACpC,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC;IACtC,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,KAAK,EAAE,WAAW;IAClB,IAAI,EAAE,WAAW;IACjB,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC;IACxC,EAAE,EAAE,WAAW;IACf,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC;IACtC,4EAA4E;IAC5E,sEAAsE;IACtE,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACxD,+EAA+E;IAC/E,kBAAkB;IAClB,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACpD,gEAAgE;IAChE,wEAAwE;IACxE,iFAAiF;IACjF,+EAA+E;IAC/E,8DAA8D;IAC9D,GAAG,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC;CACvE,CAAC,CAAC;AAEH,gFAAgF;AAChF,iFAAiF;AACjF,+BAA+B;AAC/B,MAAM,aAAa,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC,CAAC;AAEjE,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;IAChC,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,EAAE,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;CACtC,CAAC,CAAC;AAEH,gFAAgF;AAChF,gFAAgF;AAChF,oBAAoB;AACpB,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC;IACtC,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,KAAK,EAAE,WAAW;IAClB,IAAI,EAAE,WAAW;IACjB,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC;IACxC,OAAO,EAAE,aAAa;IACtB,iEAAiE;IACjE,EAAE,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC;IACnC,+DAA+D;IAC/D,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC;IACtC,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC;IACzC,4EAA4E;IAC5E,iBAAiB;IACjB,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC;CACvC,CAAC,CAAC;AAEH,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;AAEzD,qEAAqE;AACrE,EAAE;AACF,4EAA4E;AAC5E,gFAAgF;AAChF,6EAA6E;AAC7E,8EAA8E;AAC9E,gEAAgE;AAChE,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC;IAClC,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,KAAK,EAAE,SAAS;IAChB,+EAA+E;IAC/E,2CAA2C;IAC3C,IAAI,EAAE,WAAW;CAClB,CAAC,CAAC;AAEH,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC;IACpC,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,KAAK,EAAE,SAAS;IAChB,4EAA4E;IAC5E,MAAM,EAAE,WAAW;IACnB,gEAAgE;IAChE,KAAK,EAAE,WAAW;CACnB,CAAC,CAAC;AAEH,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC;IACpC,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,KAAK,EAAE,SAAS;IAChB,IAAI,EAAE,WAAW;IACjB,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC;IACxC,4EAA4E;IAC5E,iEAAiE;IACjE,gEAAgE;IAChE,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;CACtC,CAAC,CAAC;AAEH,wEAAwE;AACxE,+EAA+E;AAC/E,iFAAiF;AACjF,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC;IACpC,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,KAAK,EAAE,SAAS;IAChB,6EAA6E;IAC7E,4DAA4D;IAC5D,IAAI,EAAE,WAAW;IACjB,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC;IACxC,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,yDAAyD;IACzD,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;IAC7C,wEAAwE;IACxE,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;CAC1C,CAAC,CAAC;AAEH,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC;IACpC,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IACtD,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;IAC1D,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;IACzD,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;CAC1D,CAAC,CAAC;AAkBH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,QAAwC,EAAyB,EAAE,CAC5F,OAAO,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC"}

package/build/esm/domain/architecture-error.js

@@ -0,0 +1,29 @@
+import * as Schema from "effect/Schema";
+// These errors surface through oxlint's plugin loader, which prints a stack and
+// nothing else. The `message` override is what turns "ConfigInvalid" into an
+// instruction the reader can act on.
+export class ConfigInvalid extends Schema.TaggedErrorClass("ConfigInvalid")("ConfigInvalid", { configPath: Schema.String, detail: Schema.String }) {
+    get message() {
+        return `${this.configPath}: ${this.detail}`;
+    }
+}
+export class PatternInvalid extends Schema.TaggedErrorClass("PatternInvalid")("PatternInvalid", {
+    ruleName: Schema.String,
+    field: Schema.String,
+    pattern: Schema.String,
+    detail: Schema.String,
+}) {
+    get message() {
+        return `rule "${this.ruleName}" has an uncompilable ${this.field} pattern ${JSON.stringify(this.pattern)}: ${this.detail}`;
+    }
+}
+export class ImportUnresolved extends Schema.TaggedErrorClass("ImportUnresolved")("ImportUnresolved", {
+    fromFile: Schema.String,
+    specifier: Schema.String,
+    detail: Schema.String,
+}) {
+    get message() {
+        return `${this.fromFile} imports "${this.specifier}", which does not resolve: ${this.detail}`;
+    }
+}
+//# sourceMappingURL=architecture-error.js.map

package/build/esm/domain/architecture-error.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"architecture-error.js","sourceRoot":"","sources":["../../../src/domain/architecture-error.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,gFAAgF;AAChF,6EAA6E;AAC7E,qCAAqC;AAErC,MAAM,OAAO,aAAc,SAAQ,MAAM,CAAC,gBAAgB,CAAgB,eAAe,CAAC,CACxF,eAAe,EACf,EAAE,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CACrD;IACC,IAAa,OAAO;QAClB,OAAO,GAAG,IAAI,CAAC,UAAU,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;IAC9C,CAAC;CACF;AAED,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,gBAAgB,CAAiB,gBAAgB,CAAC,CAC3F,gBAAgB,EAChB;IACE,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,MAAM,EAAE,MAAM,CAAC,MAAM;CACtB,CACF;IACC,IAAa,OAAO;QAClB,OAAO,SAAS,IAAI,CAAC,QAAQ,yBAAyB,IAAI,CAAC,KAAK,YAAY,IAAI,CAAC,SAAS,CACxF,IAAI,CAAC,OAAO,CACb,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;IACtB,CAAC;CACF;AAED,MAAM,OAAO,gBAAiB,SAAQ,MAAM,CAAC,gBAAgB,CAAmB,kBAAkB,CAAC,CACjG,kBAAkB,EAClB;IACE,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,MAAM,EAAE,MAAM,CAAC,MAAM;CACtB,CACF;IACC,IAAa,OAAO;QAClB,OAAO,GAAG,IAAI,CAAC,QAAQ,aAAa,IAAI,CAAC,SAAS,8BAA8B,IAAI,CAAC,MAAM,EAAE,CAAC;IAChG,CAAC;CACF"}

package/build/esm/domain/violation.js

@@ -0,0 +1,8 @@
+// Deliberately excludes line and column so an entry survives ordinary edits to
+// the file it names — a baseline keyed on positions would go stale on the first
+// reformat and silently re-admit a violation it was never meant to cover.
+export const fingerprintOf = (violation) => [violation.kind, violation.ruleName, violation.file, violation.subject ?? ""].join("|");
+// `{name}` in a message is replaced with the subject, so a rule can quote the
+// offending symbol without the config needing a callback.
+export const formatMessage = (violation) => `[${violation.ruleName}] ${violation.message.replaceAll("{name}", violation.subject ?? "")}`;
+//# sourceMappingURL=violation.js.map

package/build/esm/domain/violation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"violation.js","sourceRoot":"","sources":["../../../src/domain/violation.ts"],"names":[],"mappings":"AAcA,+EAA+E;AAC/E,gFAAgF;AAChF,0EAA0E;AAC1E,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,SAAoB,EAAU,EAAE,CAC5D,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAE1F,8EAA8E;AAC9E,0DAA0D;AAC1D,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,SAAoB,EAAU,EAAE,CAC5D,IAAI,SAAS,CAAC,QAAQ,KAAK,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC"}

package/build/esm/index.js

@@ -0,0 +1,8 @@
+export { compileImportRule, compileImportRules, evaluateImportEdge, } from "./core/imports.js";
+export { ConfigInvalid, ImportUnresolved, PatternInvalid } from "./domain/architecture-error.js";
+export { fingerprintOf, formatMessage, } from "./domain/violation.js";
+export { makeModuleResolverFake } from "./infrastructure/module-resolver-fake.js";
+export { makeModuleResolverLive } from "./infrastructure/module-resolver-live.js";
+export { lowerManifest } from "./manifest/compile.js";
+export { Manifest as ManifestSchema, } from "./manifest/manifest.js";
+//# sourceMappingURL=index.js.map

package/build/esm/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,iBAAiB,EACjB,kBAAkB,EAClB,kBAAkB,GAEnB,MAAM,mBAAmB,CAAC;AAM3B,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AACjG,OAAO,EACL,aAAa,EACb,aAAa,GAGd,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,sBAAsB,EAAE,MAAM,0CAA0C,CAAC;AAClF,OAAO,EAAE,sBAAsB,EAAE,MAAM,0CAA0C,CAAC;AAClF,OAAO,EAAqB,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACzE,OAAO,EAGL,QAAQ,IAAI,cAAc,GAC3B,MAAM,wBAAwB,CAAC"}

package/build/esm/infrastructure/file-system-fake.js

@@ -0,0 +1,5 @@
+export const makeFileSystemFake = (present) => {
+    const paths = new Set(present);
+    return { exists: (repoRelativePath) => paths.has(repoRelativePath) };
+};
+//# sourceMappingURL=file-system-fake.js.map

package/build/esm/infrastructure/file-system-fake.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-system-fake.js","sourceRoot":"","sources":["../../../src/infrastructure/file-system-fake.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,OAAyB,EAAc,EAAE;IAC1E,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;IAC/B,OAAO,EAAE,MAAM,EAAE,CAAC,gBAAgB,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,gBAAgB,CAAC,EAAE,CAAC;AACvE,CAAC,CAAC"}

package/build/esm/infrastructure/file-system-live.js

@@ -0,0 +1,19 @@
+import { existsSync } from "node:fs";
+import * as path from "node:path";
+// One lint run asks about the same sibling many times — every handler in a
+// folder resolves the same `../../infrastructure/...` shape — so the answers are
+// memoised for the life of the run.
+export const makeFileSystemLive = (repoRoot) => {
+    const cache = new Map();
+    return {
+        exists: (repoRelativePath) => {
+            const cached = cache.get(repoRelativePath);
+            if (cached !== undefined)
+                return cached;
+            const answer = existsSync(path.resolve(repoRoot, repoRelativePath));
+            cache.set(repoRelativePath, answer);
+            return answer;
+        },
+    };
+};
+//# sourceMappingURL=file-system-live.js.map

package/build/esm/infrastructure/file-system-live.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-system-live.js","sourceRoot":"","sources":["../../../src/infrastructure/file-system-live.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAIlC,2EAA2E;AAC3E,iFAAiF;AACjF,oCAAoC;AACpC,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,QAAgB,EAAc,EAAE;IACjE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAmB,CAAC;IACzC,OAAO;QACL,MAAM,EAAE,CAAC,gBAAgB,EAAE,EAAE;YAC3B,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;YAC3C,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,MAAM,CAAC;YACxC,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC,CAAC;YACpE,KAAK,CAAC,GAAG,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC;YACpC,OAAO,MAAM,CAAC;QAChB,CAAC;KACF,CAAC;AACJ,CAAC,CAAC"}

package/build/esm/infrastructure/module-resolver-fake.js

@@ -0,0 +1,23 @@
+import * as Result from "effect/Result";
+import { ImportUnresolved } from "../domain/architecture-error.js";
+// Keyed by specifier alone: a core-evaluator test states the edges it is about
+// and never the resolution algorithm, which has its own tests against the real
+// resolver.
+export const makeModuleResolverFake = (targets) => ({
+    resolve: (fromFile, specifier) => {
+        const path = targets[specifier];
+        if (path === undefined) {
+            return Result.fail(new ImportUnresolved({ fromFile, specifier, detail: "not staged in the fake" }));
+        }
+        const target = {
+            path,
+            kind: path.startsWith("node:")
+                ? "builtin"
+                : path.includes("node_modules/")
+                    ? "external"
+                    : "local",
+        };
+        return Result.succeed(target);
+    },
+});
+//# sourceMappingURL=module-resolver-fake.js.map

package/build/esm/infrastructure/module-resolver-fake.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-resolver-fake.js","sourceRoot":"","sources":["../../../src/infrastructure/module-resolver-fake.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AAGnE,+EAA+E;AAC/E,+EAA+E;AAC/E,YAAY;AACZ,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,OAAyC,EACzB,EAAE,CAAC,CAAC;IACpB,OAAO,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,EAAE;QAC/B,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;QAChC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,gBAAgB,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,wBAAwB,EAAE,CAAC,CAChF,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAmB;YAC7B,IAAI;YACJ,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;gBAC5B,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC;oBAC9B,CAAC,CAAC,UAAU;oBACZ,CAAC,CAAC,OAAO;SACd,CAAC;QACF,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAChC,CAAC;CACF,CAAC,CAAC"}

package/build/esm/infrastructure/module-resolver-live.js

@@ -0,0 +1,71 @@
+import * as path from "node:path";
+import * as Result from "effect/Result";
+import { ResolverFactory } from "unrs-resolver";
+import { ImportUnresolved } from "../domain/architecture-error.js";
+// `.js` in a NodeNext import specifier points at a `.ts` on disk. Without this,
+// every relative import in the repo resolves to nothing and every path rule about
+// it goes silently vacuous — the failure this package exists to make impossible.
+const EXTENSION_ALIAS = {
+    ".js": [".ts", ".tsx", ".js"],
+    ".mjs": [".mts", ".mjs"],
+    ".cjs": [".cts", ".cjs"],
+};
+const DEFAULT_EXTENSIONS = [".ts", ".tsx", ".js", ".jsx", ".mjs", ".cjs", ".json"];
+const DEFAULT_CONDITION_NAMES = ["import", "require", "node", "default"];
+const DEFAULT_MAIN_FIELDS = ["main", "types"];
+const toPosix = (value) => value.replaceAll(path.sep, "/");
+const toResolvedTarget = (repoRoot, absolutePath) => {
+    const relative = toPosix(path.relative(repoRoot, absolutePath));
+    return { path: relative, kind: relative.includes("node_modules/") ? "external" : "local" };
+};
+export const makeModuleResolverLive = (repoRoot, config) => {
+    const scopes = config.scopes.map((scope) => ({
+        matches: new RegExp(scope.files),
+        factory: new ResolverFactory({
+            tsconfig: { configFile: path.resolve(repoRoot, scope.tsconfig) },
+            extensions: [...(config.extensions ?? DEFAULT_EXTENSIONS)],
+            extensionAlias: EXTENSION_ALIAS,
+            conditionNames: [...(config.conditionNames ?? DEFAULT_CONDITION_NAMES)],
+            mainFields: [...(config.mainFields ?? DEFAULT_MAIN_FIELDS)],
+            builtinModules: true,
+        }),
+    }));
+    const cache = new Map();
+    const resolveUncached = (scope, fromDirectory, fromFile, specifier) => {
+        const resolved = scope.factory.sync(fromDirectory, specifier);
+        const builtin = resolved.builtin;
+        if (builtin !== undefined) {
+            return Result.succeed({ path: builtin.resolved, kind: "builtin" });
+        }
+        const resolvedPath = resolved.path;
+        if (resolvedPath === undefined) {
+            return Result.fail(new ImportUnresolved({
+                fromFile,
+                specifier,
+                detail: resolved.error ?? "unknown resolution failure",
+            }));
+        }
+        return Result.succeed(toResolvedTarget(repoRoot, resolvedPath));
+    };
+    return {
+        resolve: (fromFile, specifier) => {
+            const scope = scopes.find((candidate) => candidate.matches.test(fromFile));
+            if (scope === undefined) {
+                return Result.fail(new ImportUnresolved({
+                    fromFile,
+                    specifier,
+                    detail: "no resolve scope in the architecture config matches this file",
+                }));
+            }
+            const fromDirectory = path.resolve(repoRoot, path.dirname(fromFile));
+            const key = `${scope.matches.source} ${fromDirectory} ${specifier}`;
+            const cached = cache.get(key);
+            if (cached !== undefined)
+                return cached;
+            const outcome = resolveUncached(scope, fromDirectory, fromFile, specifier);
+            cache.set(key, outcome);
+            return outcome;
+        },
+    };
+};
+//# sourceMappingURL=module-resolver-live.js.map

package/build/esm/infrastructure/module-resolver-live.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-resolver-live.js","sourceRoot":"","sources":["../../../src/infrastructure/module-resolver-live.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAElC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAGhD,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AAGnE,gFAAgF;AAChF,kFAAkF;AAClF,iFAAiF;AACjF,MAAM,eAAe,GAAG;IACtB,KAAK,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC;IAC7B,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;AACnF,MAAM,uBAAuB,GAAG,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;AACzE,MAAM,mBAAmB,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAE9C,MAAM,OAAO,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AAE3E,MAAM,gBAAgB,GAAG,CAAC,QAAgB,EAAE,YAAoB,EAAkB,EAAE;IAClF,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;IAChE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;AAC7F,CAAC,CAAC;AAOF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,QAAgB,EAAE,MAAqB,EAAkB,EAAE;IAChG,MAAM,MAAM,GAAyB,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACjE,OAAO,EAAE,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;QAChC,OAAO,EAAE,IAAI,eAAe,CAAC;YAC3B,QAAQ,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE;YAChE,UAAU,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,IAAI,kBAAkB,CAAC,CAAC;YAC1D,cAAc,EAAE,eAAe;YAC/B,cAAc,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,cAAc,IAAI,uBAAuB,CAAC,CAAC;YACvE,UAAU,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,IAAI,mBAAmB,CAAC,CAAC;YAC3D,cAAc,EAAE,IAAI;SACrB,CAAC;KACH,CAAC,CAAC,CAAC;IAEJ,MAAM,KAAK,GAAG,IAAI,GAAG,EAA2D,CAAC;IAEjF,MAAM,eAAe,GAAG,CACtB,KAAY,EACZ,aAAqB,EACrB,QAAgB,EAChB,SAAiB,EACgC,EAAE;QACnD,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC;QAE9D,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;QACjC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QACrE,CAAC;QAED,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC;QACnC,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;YAC/B,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,gBAAgB,CAAC;gBACnB,QAAQ;gBACR,SAAS;gBACT,MAAM,EAAE,QAAQ,CAAC,KAAK,IAAI,4BAA4B;aACvD,CAAC,CACH,CAAC;QACJ,CAAC;QAED,OAAO,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;IAClE,CAAC,CAAC;IAEF,OAAO;QACL,OAAO,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,EAAE;YAC/B,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC3E,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,gBAAgB,CAAC;oBACnB,QAAQ;oBACR,SAAS;oBACT,MAAM,EAAE,+DAA+D;iBACxE,CAAC,CACH,CAAC;YACJ,CAAC;YAED,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;YACrE,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,IAAI,aAAa,IAAI,SAAS,EAAE,CAAC;YACpE,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC9B,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,MAAM,CAAC;YAExC,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;YAC3E,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YACxB,OAAO,OAAO,CAAC;QACjB,CAAC;KACF,CAAC;AACJ,CAAC,CAAC"}