@goodbones/core 0.1.0-beta.1

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

@@ -0,0 +1,312 @@
+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` is the target in one of three forms, and the form is its
+// dependency kind: a repo-relative resolved path is `local`, `{ external }`
+// names a third-party package, `{ builtin }` names a runtime module.
+const ImportProbeTarget = Schema.Union([
+    Schema.String,
+    Schema.Struct({ external: Schema.String }),
+    Schema.Struct({ builtin: Schema.String }),
+]);
+const ImportProbe = Schema.Struct({
+    from: Schema.String,
+    to: ImportProbeTarget,
+});
+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),
+    // Third-party packages this rule permits, by package name. An external
+    // target is judged by its package, never by where the language's resolver
+    // happened to find it on disk — `to`/`toNot` patterns are for the
+    // repository's own files.
+    externals: Schema.optionalKey(Schema.Array(Schema.String)),
+    // `external` is a third-party package, `builtin` a runtime module, `local`
+    // anything in the repository. Compared against what the resolver reports,
+    // never read off a path. Replaces dependency-cruiser's `dependencyTypes`,
+    // whose finer npm grades no rule in this repo distinguishes.
+    dependencyKind: Schema.optionalKey(Schema.Literals(["external", "local", "builtin"])),
+});
+// Which language pack resolves and parses the files a scope covers. A monorepo
+// needs several scopes even in one language — the web pass resolves `@/*` the
+// server pass does not — and a second language is one more scope. `options`
+// belong to the language: the policy carries them opaquely and the pack
+// validates them at load, so nothing here knows what a tsconfig is.
+const ResolveScope = Schema.Struct({
+    // A regular-expression source matched against the importing file's path.
+    files: Schema.String,
+    language: Schema.String,
+    options: Schema.optionalKey(Schema.Unknown),
+});
+export const ResolveConfig = Schema.Struct({
+    scopes: Schema.Array(ResolveScope),
+    // 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)),
+});
+// The autofix strategies a rule may name. Each is a rewrite in one language's
+// module syntax, so a language pack lists the ones it implements.
+export const ExportFix = Schema.Literals(["subpath-namespace-import"]);
+// 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"]);
+// `source`, when present, is a snippet the loading adapter parses: the probe
+// then holds only if a binding named `symbol` comes out of the parser and the
+// rule covers it, with every edge in the snippet taken to resolve to `to`.
+// Without it the probe is a synthetic binding of `symbol` and `kind`.
+const ExportProbe = Schema.Struct({
+    from: Schema.String,
+    to: Schema.String,
+    symbol: Schema.String,
+    kind: Schema.optionalKey(BindingKind),
+    source: Schema.optionalKey(Schema.String),
+});
+// 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, which a language pack may or may not implement:
+    // the loader refuses a rule naming one no loaded language does.
+    // `subpath-namespace-import` is an ES-module rewrite — `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(ExportFix),
+});
+// What a name was declared as. For an export site, the declaration that
+// introduced it; for a member site, the declaration it is written in.
+// `expression` is `export default <expr>`; `other` covers a namespace, an
+// `export =`, and a re-export, whose declaration is somewhere else. A second
+// language will want `struct`, `record`, `constant`, `module` here; they are
+// added with the pack that reads them, not before.
+export const DeclarationKind = Schema.Literals([
+    "function",
+    "class",
+    "variable",
+    "type",
+    "interface",
+    "enum",
+    "expression",
+    "other",
+]);
+// What kind of name a rule is about. `members` are the names written in a
+// named declaration — a type alias, an interface, a class body — under that
+// declaration's name (a port's method vocabulary); `calls` are called
+// identifiers (the hooks a tier may reach for). Which declarations a `members`
+// rule speaks to is `declares`' to say, so the vocabulary carries no language's
+// split between types and values.
+const MemberSubject = Schema.Literals(["members", "calls"]);
+// `source`, when present, is a snippet the loading adapter parses: the probe
+// then holds only if a site named `name` comes out of the parser and the rule
+// reports it — the declaration shape is the parser's to judge, not `in`'s.
+// Without it the probe is a synthetic site of `name` inside `in`, declared as
+// `declares`.
+const MemberProbe = Schema.Struct({
+    from: Schema.String,
+    name: Schema.String,
+    in: Schema.optionalKey(Schema.String),
+    declares: Schema.optionalKey(DeclarationKind),
+    source: 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,
+    // `members` only: which declaration's members are governed, by its name.
+    in: Schema.optionalKey(PatternList),
+    // `members` only: which kinds of declaration are governed. Omit for every
+    // kind — a type alias, an interface and a class body alike.
+    declares: Schema.optionalKey(Schema.Array(DeclarationKind)),
+    // 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),
+});
+// One export site, as a probe states it: the name (`default` for a default
+// export, `*` for `export *`), its binding kind, and optionally what it was
+// declared as and whether it is a re-export.
+const SurfaceSite = Schema.Struct({
+    name: Schema.String,
+    kind: BindingKind,
+    declares: Schema.optionalKey(DeclarationKind),
+    reexport: Schema.optionalKey(Schema.Boolean),
+});
+// A whole surface, because `count` is about the file rather than a site.
+// `source`, when present, is parsed by the loading adapter instead.
+const SurfaceProbe = Schema.Struct({
+    from: Schema.String,
+    sites: Schema.optionalKey(Schema.Array(SurfaceSite)),
+    source: Schema.optionalKey(Schema.String),
+});
+// What a file may export. The selectors (`kinds`, `declares`, `reexport`,
+// `match`) say which sites the rule speaks to; exactly one demand says what is
+// required of them. No demand means `forbid`: a selected site is the violation.
+export const SurfaceRule = Schema.Struct({
+    name: Schema.String,
+    message: Schema.String,
+    probe: SurfaceProbe,
+    from: PatternList,
+    fromNot: Schema.optionalKey(PatternList),
+    kinds: Schema.optionalKey(Schema.Array(BindingKind)),
+    declares: Schema.optionalKey(Schema.Array(DeclarationKind)),
+    reexport: Schema.optionalKey(Schema.Boolean),
+    match: Schema.optionalKey(PatternList),
+    matchNot: Schema.optionalKey(PatternList),
+    forbid: Schema.optionalKey(Schema.Boolean),
+    // Names that are fine; a selected site named otherwise is the violation.
+    allow: Schema.optionalKey(PatternList),
+    // A regular-expression source every selected name must match.
+    convention: Schema.optionalKey(Schema.String),
+    // How many selected sites the file may have.
+    count: Schema.optionalKey(Schema.Struct({
+        min: Schema.optionalKey(Schema.Finite),
+        max: Schema.optionalKey(Schema.Finite),
+    })),
+});
+// A small synthetic graph the rule must report on: the edges, and any files
+// that take part without an edge (an orphan has none).
+const GraphProbe = Schema.Struct({
+    edges: Schema.Array(Schema.Tuple([Schema.String, Schema.String])),
+    files: Schema.optionalKey(Schema.Array(Schema.String)),
+});
+// Rules about the shape of the whole import graph, which no single file can
+// answer. The CLI evaluates them; the plugin, which sees one file at a time,
+// compiles and probes them so a vacuous one still fails to load.
+export const GraphCycleRule = Schema.Struct({
+    name: Schema.String,
+    message: Schema.String,
+    probe: GraphProbe,
+    within: PatternList,
+    withinNot: Schema.optionalKey(PatternList),
+});
+export const GraphOrphanRule = Schema.Struct({
+    name: Schema.String,
+    message: Schema.String,
+    probe: GraphProbe,
+    within: PatternList,
+    withinNot: Schema.optionalKey(PatternList),
+    // Files that are imported by nothing by design — the program's entry points.
+    entry: PatternList,
+});
+export const GraphReachRule = Schema.Struct({
+    name: Schema.String,
+    message: Schema.String,
+    probe: GraphProbe,
+    from: PatternList,
+    fromNot: Schema.optionalKey(PatternList),
+    to: PatternList,
+    toNot: Schema.optionalKey(PatternList),
+    // The tier that was supposed to mediate: a path stepping onto a `via` file is
+    // allowed, so only a path that avoids every `via` is the violation.
+    via: Schema.optionalKey(PatternList),
+});
+export const GraphConfig = Schema.Struct({
+    cycles: Schema.optionalKey(Schema.Array(GraphCycleRule)),
+    orphans: Schema.optionalKey(Schema.Array(GraphOrphanRule)),
+    reach: Schema.optionalKey(Schema.Array(GraphReachRule)),
+});
+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 — `create-todo.handler` for
+    // `create-todo.handler.ts`, `handler` for `handler.go` — so `{base}.test.ts`
+    // or `{base}_test.go` names the sibling test in either language.
+    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)),
+});
+// The file pattern an open folder's layout rule carries: it admits any name,
+// so it claims the folder without policing it. Coverage counts it apart.
+export const OPEN_LAYOUT = "^.*$";
+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,+EAA+E;AAC/E,4EAA4E;AAC5E,qEAAqE;AACrE,MAAM,iBAAiB,GAAG,MAAM,CAAC,KAAK,CAAC;IACrC,MAAM,CAAC,MAAM;IACb,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IAC1C,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;CAC1C,CAAC,CAAC;AAEH,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;IAChC,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,EAAE,EAAE,iBAAiB;CACtB,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,uEAAuE;IACvE,0EAA0E;IAC1E,kEAAkE;IAClE,0BAA0B;IAC1B,SAAS,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC1D,2EAA2E;IAC3E,0EAA0E;IAC1E,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,+EAA+E;AAC/E,8EAA8E;AAC9E,4EAA4E;AAC5E,wEAAwE;AACxE,oEAAoE;AACpE,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACjC,yEAAyE;IACzE,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC;CAC5C,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC;IACzC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC;IAClC,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,8EAA8E;AAC9E,kEAAkE;AAClE,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC;AAEvE,2EAA2E;AAC3E,iFAAiF;AACjF,sCAAsC;AACtC,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC;AAEvE,6EAA6E;AAC7E,8EAA8E;AAC9E,2EAA2E;AAC3E,sEAAsE;AACtE,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;IACrC,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;CAC1C,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,4EAA4E;IAC5E,gEAAgE;IAChE,6EAA6E;IAC7E,gFAAgF;IAChF,8EAA8E;IAC9E,4EAA4E;IAC5E,sCAAsC;IACtC,GAAG,EAAE,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC;CACnC,CAAC,CAAC;AAEH,wEAAwE;AACxE,sEAAsE;AACtE,0EAA0E;AAC1E,6EAA6E;AAC7E,6EAA6E;AAC7E,mDAAmD;AACnD,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC7C,UAAU;IACV,OAAO;IACP,UAAU;IACV,MAAM;IACN,WAAW;IACX,MAAM;IACN,YAAY;IACZ,OAAO;CACR,CAAC,CAAC;AAEH,0EAA0E;AAC1E,4EAA4E;AAC5E,sEAAsE;AACtE,+EAA+E;AAC/E,gFAAgF;AAChF,kCAAkC;AAClC,MAAM,aAAa,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;AAE5D,6EAA6E;AAC7E,8EAA8E;AAC9E,2EAA2E;AAC3E,8EAA8E;AAC9E,cAAc;AACd,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;IACrC,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,eAAe,CAAC;IAC7C,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;CAC1C,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,yEAAyE;IACzE,EAAE,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC;IACnC,0EAA0E;IAC1E,4DAA4D;IAC5D,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;IAC3D,+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,2EAA2E;AAC3E,4EAA4E;AAC5E,6CAA6C;AAC7C,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;IAChC,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,IAAI,EAAE,WAAW;IACjB,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,eAAe,CAAC;IAC7C,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC;CAC7C,CAAC,CAAC;AAEH,yEAAyE;AACzE,oEAAoE;AACpE,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACjC,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACpD,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;CAC1C,CAAC,CAAC;AAEH,0EAA0E;AAC1E,+EAA+E;AAC/E,gFAAgF;AAChF,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;IACvC,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,KAAK,EAAE,YAAY;IACnB,IAAI,EAAE,WAAW;IACjB,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC;IACxC,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACpD,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;IAC3D,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC;IAC5C,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC;IACtC,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC;IACzC,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC;IAC1C,yEAAyE;IACzE,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC;IACtC,8DAA8D;IAC9D,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;IAC7C,6CAA6C;IAC7C,KAAK,EAAE,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,MAAM,CAAC;QACZ,GAAG,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;QACtC,GAAG,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;KACvC,CAAC,CACH;CACF,CAAC,CAAC;AAEH,4EAA4E;AAC5E,uDAAuD;AACvD,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC;IAC/B,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;IACjE,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;CACvD,CAAC,CAAC;AAEH,4EAA4E;AAC5E,6EAA6E;AAC7E,iEAAiE;AACjE,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1C,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,KAAK,EAAE,UAAU;IACjB,MAAM,EAAE,WAAW;IACnB,SAAS,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC;CAC3C,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3C,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,KAAK,EAAE,UAAU;IACjB,MAAM,EAAE,WAAW;IACnB,SAAS,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC;IAC1C,6EAA6E;IAC7E,KAAK,EAAE,WAAW;CACnB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1C,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,KAAK,EAAE,UAAU;IACjB,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,8EAA8E;IAC9E,oEAAoE;IACpE,GAAG,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC;CACrC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;IACvC,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACxD,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;IAC1D,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;CACxD,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,6EAA6E;IAC7E,iEAAiE;IACjE,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;AA4BH,6EAA6E;AAC7E,yEAAyE;AACzE,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC;AAElC,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,41 @@
+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}`;
+    }
+}
+// A `resolve.scopes` entry a language pack cannot build a resolver from: options
+// it does not understand, or a language no pack answers to. Raised by the pack,
+// without the config path, which the loader adds when it reports it.
+export class ScopeInvalid extends Schema.TaggedErrorClass("ScopeInvalid")("ScopeInvalid", {
+    files: Schema.String,
+    language: Schema.String,
+    detail: Schema.String,
+}) {
+    get message() {
+        return `resolve scope ${JSON.stringify(this.files)} (${this.language}): ${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,iFAAiF;AACjF,gFAAgF;AAChF,qEAAqE;AACrE,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC,gBAAgB,CAAe,cAAc,CAAC,CACrF,cAAc,EACd;IACE,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,MAAM,EAAE,MAAM,CAAC,MAAM;CACtB,CACF;IACC,IAAa,OAAO;QAClB,OAAO,iBAAiB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,QAAQ,MAAM,IAAI,CAAC,MAAM,EAAE,CAAC;IAC1F,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/facts.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=facts.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"facts.js","sourceRoot":"","sources":["../../../src/domain/facts.ts"],"names":[],"mappings":""}

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,22 @@
+// The core's public surface: the manifest vocabulary, the evaluators per
+// family, the ports a language pack implements, and the loader that turns a
+// manifest into a policy. A host composes these with a language pack and the
+// live file system; a language pack implements the ports. Nothing here names a
+// language. The fakes are under `@goodbones/core/testing`.
+export { baselineOf, decodeBaseline, EMPTY_BASELINE, makeBaselineFilter, serializeBaseline, staleEntriesOf, unbaselined, } from "./core/baseline.js";
+export { coverageOf, coverageShortfalls, fractionsOf, } from "./core/coverage.js";
+export { compileExportRule, compileExportRules, evaluateBindingEdge, evaluateSelectedBindings, exportRulesFailingTheirProbe, exportRulesSelecting, } from "./core/exports.js";
+export { compileGraphRules, EMPTY_GRAPH_RULES, evaluateGraph, graphRulesFailingTheirProbe, hasGraphRules, } from "./core/graph.js";
+export { compileImportRule, compileImportRules, evaluateImportEdge, evaluateSelectedEdge, probeTargetOf, rulesFailingTheirProbe, rulesSelecting, } from "./core/imports.js";
+export { compileMemberRules, evaluateMemberSite, memberRulesFailingTheirProbe, memberRulesSelecting, } from "./core/members.js";
+export { compileStructure, EMPTY_STRUCTURE, evaluateStructure, requiredSiblingsOf, structureRulesFailingTheirProbe, } from "./core/structure.js";
+export { compileSurfaceRules, evaluateSurface, surfaceRulesFailingTheirProbe, surfaceRulesSelecting, } from "./core/surface.js";
+export { ConfigInvalid, ImportUnresolved, PatternInvalid, ScopeInvalid, } from "./domain/architecture-error.js";
+export { fingerprintOf, formatMessage, } from "./domain/violation.js";
+export { makeFileSystemLive } from "./infrastructure/file-system-live.js";
+export { DEFAULT_CONFIG_FILENAME, readManifestFile } from "./infrastructure/manifest-file.js";
+export { listSourceFiles } from "./infrastructure/walk.js";
+export { loadPolicy } from "./load/policy.js";
+export { lowerManifest } from "./manifest/compile.js";
+export { decodeManifest, 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,yEAAyE;AACzE,4EAA4E;AAC5E,6EAA6E;AAC7E,+EAA+E;AAC/E,2DAA2D;AAC3D,OAAO,EAGL,UAAU,EACV,cAAc,EACd,cAAc,EACd,kBAAkB,EAClB,iBAAiB,EACjB,cAAc,EACd,WAAW,GACZ,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAIL,UAAU,EACV,kBAAkB,EAClB,WAAW,GACZ,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAGL,iBAAiB,EACjB,kBAAkB,EAClB,mBAAmB,EACnB,wBAAwB,EACxB,4BAA4B,EAC5B,oBAAoB,GAGrB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAEL,iBAAiB,EACjB,iBAAiB,EACjB,aAAa,EAEb,2BAA2B,EAC3B,aAAa,GACd,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAEL,iBAAiB,EACjB,kBAAkB,EAClB,kBAAkB,EAClB,oBAAoB,EAEpB,aAAa,EACb,sBAAsB,EACtB,cAAc,GAEf,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAEL,kBAAkB,EAClB,kBAAkB,EAClB,4BAA4B,EAC5B,oBAAoB,GACrB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAEL,gBAAgB,EAChB,eAAe,EACf,iBAAiB,EACjB,kBAAkB,EAClB,+BAA+B,GAChC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAEL,mBAAmB,EACnB,eAAe,EACf,6BAA6B,EAC7B,qBAAqB,GACtB,MAAM,mBAAmB,CAAC;AAoB3B,OAAO,EACL,aAAa,EACb,gBAAgB,EAChB,cAAc,EACd,YAAY,GACb,MAAM,gCAAgC,CAAC;AAOxC,OAAO,EACL,aAAa,EACb,aAAa,GAGd,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,kBAAkB,EAAE,MAAM,sCAAsC,CAAC;AAC1E,OAAO,EAAE,uBAAuB,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AAC9F,OAAO,EAAE,eAAe,EAAuB,MAAM,0BAA0B,CAAC;AAChF,OAAO,EAAqB,UAAU,EAAwB,MAAM,kBAAkB,CAAC;AACvF,OAAO,EAAqB,aAAa,EAAsB,MAAM,uBAAuB,CAAC;AAC7F,OAAO,EAEL,cAAc,EAGd,QAAQ,IAAI,cAAc,GAC3B,MAAM,wBAAwB,CAAC"}

package/build/esm/infrastructure/fact-extractor-fake.js

@@ -0,0 +1,24 @@
+const NOTHING = {
+    specifiers: [],
+    bindings: new Map(),
+    memberSites: [],
+    exportSites: [],
+};
+// Keyed by the source text itself: a core test states what a snippet reads as
+// and never the parse, which has its own tests against the real extractor. A
+// snippet not staged reads as nothing — the shape of a form the extractor is
+// blind to, which is the case a source probe exists to catch.
+export const makeFactExtractorFake = (facts) => ({
+    factsOf: (file, text) => {
+        const found = facts[text];
+        if (found === undefined)
+            return NOTHING;
+        return {
+            ...NOTHING,
+            ...found,
+            memberSites: (found.memberSites ?? []).map((site) => ({ ...site, file })),
+            exportSites: (found.exportSites ?? []).map((site) => ({ ...site, file })),
+        };
+    },
+});
+//# sourceMappingURL=fact-extractor-fake.js.map

package/build/esm/infrastructure/fact-extractor-fake.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fact-extractor-fake.js","sourceRoot":"","sources":["../../../src/infrastructure/fact-extractor-fake.ts"],"names":[],"mappings":"AAGA,MAAM,OAAO,GAAgB;IAC3B,UAAU,EAAE,EAAE;IACd,QAAQ,EAAE,IAAI,GAAG,EAAE;IACnB,WAAW,EAAE,EAAE;IACf,WAAW,EAAE,EAAE;CAChB,CAAC;AAEF,8EAA8E;AAC9E,6EAA6E;AAC7E,6EAA6E;AAC7E,8DAA8D;AAC9D,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,KAAqD,EACtC,EAAE,CAAC,CAAC;IACnB,OAAO,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE;QACtB,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,OAAO,CAAC;QACxC,OAAO;YACL,GAAG,OAAO;YACV,GAAG,KAAK;YACR,WAAW,EAAE,CAAC,KAAK,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YACzE,WAAW,EAAE,CAAC,KAAK,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;SAC1E,CAAC;IACJ,CAAC;CACF,CAAC,CAAC"}

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

@@ -0,0 +1,10 @@
+// The files that exist, and optionally what some of them say. A file staged
+// with contents exists; one staged by name alone exists and reads as nothing.
+export const makeFileSystemFake = (present, contents = {}) => {
+    const paths = new Set([...present, ...Object.keys(contents)]);
+    return {
+        exists: (repoRelativePath) => paths.has(repoRelativePath),
+        readText: (repoRelativePath) => contents[repoRelativePath] ?? null,
+    };
+};
+//# 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,4EAA4E;AAC5E,8EAA8E;AAC9E,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,OAAyB,EACzB,QAAQ,GAAqC,EAAE,EACnC,EAAE;IACd,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,OAAO,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC9D,OAAO;QACL,MAAM,EAAE,CAAC,gBAAgB,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,gBAAgB,CAAC;QACzD,QAAQ,EAAE,CAAC,gBAAgB,EAAE,EAAE,CAAC,QAAQ,CAAC,gBAAgB,CAAC,IAAI,IAAI;KACnE,CAAC;AACJ,CAAC,CAAC"}

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

@@ -0,0 +1,27 @@
+import { existsSync, readFileSync } 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;
+        },
+        readText: (repoRelativePath) => {
+            try {
+                return readFileSync(path.resolve(repoRoot, repoRelativePath), "utf8");
+            }
+            catch {
+                return null;
+            }
+        },
+    };
+};
+//# 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,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,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;QACD,QAAQ,EAAE,CAAC,gBAAgB,EAAE,EAAE;YAC7B,IAAI,CAAC;gBACH,OAAO,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,gBAAgB,CAAC,EAAE,MAAM,CAAC,CAAC;YACxE,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC,CAAC"}

package/build/esm/infrastructure/manifest-file.js

@@ -0,0 +1,15 @@
+import { pathToFileURL } from "node:url";
+import { ConfigInvalid } from "../domain/architecture-error.js";
+export const DEFAULT_CONFIG_FILENAME = "architecture.config.mjs";
+// The manifest, as the file on disk states it, before any decoding. Today that
+// is a JavaScript module and its default export; a manifest in another format
+// changes this function and nothing behind it.
+export const readManifestFile = async (configPath) => {
+    const module = await import(pathToFileURL(configPath).href).catch((cause) => {
+        throw new ConfigInvalid({ configPath, detail: String(cause) });
+    });
+    return typeof module === "object" && module !== null && "default" in module
+        ? module.default
+        : module;
+};
+//# sourceMappingURL=manifest-file.js.map

package/build/esm/infrastructure/manifest-file.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"manifest-file.js","sourceRoot":"","sources":["../../../src/infrastructure/manifest-file.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAEhE,MAAM,CAAC,MAAM,uBAAuB,GAAG,yBAAyB,CAAC;AAEjE,+EAA+E;AAC/E,8EAA8E;AAC9E,+CAA+C;AAC/C,MAAM,CAAC,MAAM,gBAAgB,GAAG,KAAK,EAAE,UAAkB,EAAoB,EAAE;IAC7E,MAAM,MAAM,GAAY,MAAM,MAAM,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,KAAc,EAAE,EAAE;QAC5F,MAAM,IAAI,aAAa,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,SAAS,IAAI,MAAM;QACzE,CAAC,CAAC,MAAM,CAAC,OAAO;QAChB,CAAC,CAAC,MAAM,CAAC;AACb,CAAC,CAAC"}

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

@@ -0,0 +1,33 @@
+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.
+//
+// A target may be staged as the full `ResolvedTarget`, or as a path alone — in
+// which case its kind and package are read the way the TypeScript resolver
+// would report them, so a test written in that language's vocabulary stays
+// short. A test about another language stages the whole target.
+export const makeModuleResolverFake = (targets) => ({
+    resolve: (fromFile, specifier) => {
+        const staged = targets[specifier];
+        if (staged === undefined) {
+            return Result.fail(new ImportUnresolved({ fromFile, specifier, detail: "not staged in the fake" }));
+        }
+        return Result.succeed(typeof staged === "string" ? targetOfPath(staged) : staged);
+    },
+});
+// The npm layout, as the TypeScript pack reads it: the package is the segment
+// after the LAST `node_modules/` (pnpm's store puts a second one in front).
+// Restated here rather than imported, because the core does not depend on any
+// language pack — and a test about another language stages the whole target.
+const LAST_NODE_MODULES = /(?:^|\/)node_modules\/((?:@[^/]+\/)?[^/]+)/g;
+const targetOfPath = (path) => {
+    if (path.startsWith("node:"))
+        return { path, kind: "builtin" };
+    let pkg;
+    for (const match of path.matchAll(LAST_NODE_MODULES))
+        pkg = match[1];
+    return pkg === undefined ? { path, kind: "local" } : { path, kind: "external", package: pkg };
+};
+//# 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,EAAE;AACF,+EAA+E;AAC/E,2EAA2E;AAC3E,2EAA2E;AAC3E,gEAAgE;AAChE,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,OAA0D,EAC1C,EAAE,CAAC,CAAC;IACpB,OAAO,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,EAAE;QAC/B,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;QAClC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,gBAAgB,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,wBAAwB,EAAE,CAAC,CAChF,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC,OAAO,CAAC,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACpF,CAAC;CACF,CAAC,CAAC;AAEH,8EAA8E;AAC9E,4EAA4E;AAC5E,8EAA8E;AAC9E,6EAA6E;AAC7E,MAAM,iBAAiB,GAAG,6CAA6C,CAAC;AAExE,MAAM,YAAY,GAAG,CAAC,IAAY,EAAkB,EAAE;IACpD,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IAC/D,IAAI,GAAuB,CAAC;IAC5B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC;QAAE,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACrE,OAAO,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;AAChG,CAAC,CAAC"}

package/build/esm/infrastructure/walk.js

@@ -0,0 +1,45 @@
+import { readdirSync, statSync } from "node:fs";
+import * as path from "node:path";
+// Folders no policy is written about and no linter visits. These are the right
+// defaults for any language on this host: a package store, build output, the
+// VCS, and a coverage report are never the architecture.
+const SKIPPED = new Set([
+    "node_modules",
+    "build",
+    "dist",
+    ".next",
+    ".git",
+    "storybook-static",
+    "coverage",
+]);
+// The source files under `roots`, repo-relative with forward slashes, sorted.
+// Which files count as source is the languages' to say: the extension set is
+// the union of theirs, and so is the set of files to step over. A root that
+// names a file is that file, whatever its extension — `architecture check
+// <file>` is a reasonable thing to type.
+export const listSourceFiles = (repoRoot, roots, languages) => {
+    const extensions = new Set(languages.flatMap((language) => language.extensions));
+    const ignored = languages.flatMap((language) => language.ignoredFiles);
+    const isSource = (entry) => extensions.has(path.extname(entry)) && !ignored.some((pattern) => pattern.test(entry));
+    const found = [];
+    const walk = (absolute) => {
+        for (const entry of readdirSync(absolute)) {
+            if (SKIPPED.has(entry))
+                continue;
+            const child = path.join(absolute, entry);
+            if (statSync(child).isDirectory())
+                walk(child);
+            else if (isSource(entry))
+                found.push(path.relative(repoRoot, child).replaceAll(path.sep, "/"));
+        }
+    };
+    for (const root of roots) {
+        const absolute = path.resolve(repoRoot, root);
+        if (statSync(absolute).isDirectory())
+            walk(absolute);
+        else
+            found.push(path.relative(repoRoot, absolute).replaceAll(path.sep, "/"));
+    }
+    return found.sort();
+};
+//# sourceMappingURL=walk.js.map

package/build/esm/infrastructure/walk.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"walk.js","sourceRoot":"","sources":["../../../src/infrastructure/walk.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAChD,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAIlC,+EAA+E;AAC/E,6EAA6E;AAC7E,yDAAyD;AACzD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC;IACtB,cAAc;IACd,OAAO;IACP,MAAM;IACN,OAAO;IACP,MAAM;IACN,kBAAkB;IAClB,UAAU;CACX,CAAC,CAAC;AAMH,8EAA8E;AAC9E,6EAA6E;AAC7E,4EAA4E;AAC5E,0EAA0E;AAC1E,yCAAyC;AACzC,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,QAAgB,EAChB,KAA4B,EAC5B,SAAwC,EACjB,EAAE;IACzB,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;IACjF,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;IACvE,MAAM,QAAQ,GAAG,CAAC,KAAa,EAAW,EAAE,CAC1C,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAEzF,MAAM,KAAK,GAAkB,EAAE,CAAC;IAChC,MAAM,IAAI,GAAG,CAAC,QAAgB,EAAQ,EAAE;QACtC,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC1C,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;gBAAE,SAAS;YACjC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YACzC,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE;gBAAE,IAAI,CAAC,KAAK,CAAC,CAAC;iBAC1C,IAAI,QAAQ,CAAC,KAAK,CAAC;gBACtB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACzE,CAAC;IACH,CAAC,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC9C,IAAI,QAAQ,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE;YAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;;YAChD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC;AACtB,CAAC,CAAC"}