@intentset/architecture 0.1.0

package/dist/patterns.js

@@ -0,0 +1,101 @@
+/**
+ * VSA §3 path patterns: repository-relative POSIX paths made of literal
+ * segments, `*` within one segment, and `**` across zero or more segments.
+ * Nothing else is special: `?`, `[` and `]` are literal characters, because
+ * real trees have directories named `[id]`. A `*` never matches `/`, so the
+ * only way to write a star that spans segments is `**` mixed with other
+ * characters, which validatePattern rejects.
+ */
+/** Why a pattern is not a v0.1 pattern, or null when it is one. */
+export function validatePattern(pattern) {
+    if (pattern === "")
+        return "is empty";
+    if (pattern.startsWith("/"))
+        return "is absolute";
+    if (pattern.includes("\\"))
+        return "uses a backslash; patterns are POSIX paths";
+    if (/[{}]/.test(pattern))
+        return "uses brace expansion";
+    if (pattern.includes("!"))
+        return "uses negation";
+    const segments = pattern.split("/");
+    if (segments.includes(".."))
+        return "contains `..`";
+    if (segments.includes("."))
+        return "contains a `.` segment";
+    if (segments.includes(""))
+        return "has an empty segment";
+    for (const segment of segments) {
+        if (segment.includes("**") && segment !== "**")
+            return `puts \`**\` inside the segment \`${segment}\`; \`**\` stands alone`;
+    }
+    return null;
+}
+const compiled = new Map();
+function compile(pattern) {
+    let segments = compiled.get(pattern);
+    if (segments !== undefined)
+        return segments;
+    segments = pattern.split("/").map((text) => {
+        if (text === "**")
+            return { kind: "globstar" };
+        if (!text.includes("*"))
+            return { kind: "literal", text };
+        const source = text
+            .split("*")
+            .map((part) => part.replace(/[.+?^${}()|[\]\\]/g, "\\$&"))
+            .join("[^/]*");
+        return { kind: "glob", regex: new RegExp(`^${source}$`) };
+    });
+    compiled.set(pattern, segments);
+    return segments;
+}
+/** Does a repository-relative path match a VSA §3 pattern? Invalid patterns match nothing. */
+export function matchPattern(pattern, path) {
+    if (validatePattern(pattern) !== null)
+        return false;
+    const want = compile(pattern);
+    const have = path.split("/");
+    const memo = new Map();
+    const step = (p, s) => {
+        const key = p * (have.length + 1) + s;
+        const known = memo.get(key);
+        if (known !== undefined)
+            return known;
+        let result;
+        if (p === want.length)
+            result = s === have.length;
+        else {
+            const segment = want[p];
+            if (segment.kind === "globstar")
+                result = step(p + 1, s) || (s < have.length && step(p, s + 1));
+            else if (s === have.length)
+                result = false;
+            else if (segment.kind === "literal")
+                result = segment.text === have[s] && step(p + 1, s + 1);
+            else
+                result = segment.regex.test(have[s]) && step(p + 1, s + 1);
+        }
+        memo.set(key, result);
+        return result;
+    };
+    return step(0, 0);
+}
+/** True when any of the patterns matches the path. */
+export function matchAny(patterns, path) {
+    return patterns.some((pattern) => matchPattern(pattern, path));
+}
+/**
+ * Resolve each claim against the repository's files: for claim i, the sorted
+ * files it matches, minus those any ignore pattern matches (VSA §3: source
+ * enumeration uses a versioned ignore list). An invalid pattern resolves to
+ * nothing; the caller reports it.
+ */
+export function expandClaims(claims, files, ignore) {
+    const candidates = [...files].filter((file) => !matchAny(ignore, file)).sort(compareStrings);
+    return claims.map((claim) => candidates.filter((file) => matchPattern(claim.path, file)));
+}
+export function compareStrings(a, b) {
+    return a < b ? -1 : a > b ? 1 : 0;
+}
+//# sourceMappingURL=patterns.js.map

package/dist/patterns.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"patterns.js","sourceRoot":"","sources":["../src/patterns.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,mEAAmE;AACnE,MAAM,UAAU,eAAe,CAAC,OAAe;IAC7C,IAAI,OAAO,KAAK,EAAE;QAAE,OAAO,UAAU,CAAC;IACtC,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,aAAa,CAAC;IAClD,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,4CAA4C,CAAC;IAChF,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,sBAAsB,CAAC;IACxD,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,eAAe,CAAC;IAClD,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,eAAe,CAAC;IACpD,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,wBAAwB,CAAC;IAC5D,IAAI,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAAE,OAAO,sBAAsB,CAAC;IACzD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,OAAO,KAAK,IAAI;YAC5C,OAAO,oCAAoC,OAAO,yBAAyB,CAAC;IAChF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAID,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAqB,CAAC;AAE9C,SAAS,OAAO,CAAC,OAAe;IAC9B,IAAI,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACrC,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC;IAC5C,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAW,EAAE;QAClD,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;QAC/C,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;QAC1D,MAAM,MAAM,GAAG,IAAI;aAChB,KAAK,CAAC,GAAG,CAAC;aACV,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,oBAAoB,EAAE,MAAM,CAAC,CAAC;aACzD,IAAI,CAAC,OAAO,CAAC,CAAC;QACjB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;IAC5D,CAAC,CAAC,CAAC;IACH,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAChC,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,YAAY,CAAC,OAAe,EAAE,IAAY;IACxD,IAAI,eAAe,CAAC,OAAO,CAAC,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACpD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAmB,CAAC;IACxC,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,CAAS,EAAW,EAAE;QAC7C,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,IAAI,MAAe,CAAC;QACpB,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM;YAAE,MAAM,GAAG,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC;aAC7C,CAAC;YACJ,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACxB,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU;gBAAE,MAAM,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;iBAC3F,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM;gBAAE,MAAM,GAAG,KAAK,CAAC;iBACtC,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;gBAAE,MAAM,GAAG,OAAO,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;;gBACxF,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAClE,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACtB,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IACF,OAAO,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACpB,CAAC;AAED,sDAAsD;AACtD,MAAM,UAAU,QAAQ,CAAC,QAA2B,EAAE,IAAY;IAChE,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;AACjE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAC1B,MAAmC,EACnC,KAAuB,EACvB,MAAyB;IAEzB,MAAM,UAAU,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC7F,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;AAC5F,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,CAAS,EAAE,CAAS;IACjD,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpC,CAAC"}

package/dist/regions.d.ts

@@ -0,0 +1,85 @@
+/**
+ * Who owns each file (VSA §1, §3, §5). Every file the checker sees falls in
+ * exactly one region, decided in this order:
+ *
+ *   slice:<ID>       claimed by a slice (any claim kind; overlaps are VSA009)
+ *   composition      config.composition, e.g. src/app/**
+ *   shared           config.shared, e.g. src/shared/**
+ *   infrastructure   config.infrastructure, e.g. src/infrastructure/**
+ *   resource:<ID>    under a backend root and matched by a registry resource path
+ *   backend          under a backend root and owned by nothing (AMP004)
+ *   unowned          a code file under a source root owned by nothing (VSA009)
+ *   external         everything else: root configuration, scripts, documents
+ *
+ * Test files are kept apart (profile §3): they belong to the slice whose
+ * claim patterns match them, and only the foreign-internals rules apply.
+ */
+import type { Artifact, Graph, Registries, Resource, SliceMeta } from "@intentset/core";
+import type { ArchitectureConfig } from "./config.ts";
+export type RegionKind = "slice" | "composition" | "shared" | "infrastructure" | "resource" | "backend" | "unowned" | "external";
+export interface Region {
+    kind: RegionKind;
+    /** Slice ID for "slice", resource ID for "resource". */
+    owner?: string;
+}
+export declare function regionLabel(region: Region): string;
+export interface SliceInfo {
+    id: string;
+    /** The slice.md path. */
+    path: string;
+    artifact: Artifact;
+    meta: SliceMeta;
+    /**
+     * Directories of the entrypoints, sorted: where the profile's ui/, client/ and domain/ folders live, one root per
+     * package the slice spans. A file belongs to the deepest root above it (`rootOf`).
+     */
+    roots: string[];
+    dependsOn: string[];
+    exposes: string[];
+    consumes: string[];
+    /** Files per claim, in claim order; empty for an invalid pattern. */
+    claimFiles: string[][];
+    /** Claim indexes whose pattern is invalid. */
+    invalidClaims: number[];
+}
+export interface ResourceInfo {
+    resource: Resource;
+    index: number;
+    files: string[];
+}
+export interface Model {
+    config: ArchitectureConfig;
+    /** Every file not ignored, by path. */
+    files: ReadonlyMap<string, string>;
+    /** Files not ignored and not tests, sorted. */
+    production: string[];
+    /** Test files not ignored, sorted. */
+    tests: string[];
+    slices: SliceInfo[];
+    sliceById: Map<string, SliceInfo>;
+    /** Production file -> the slices (and claim index) that claim it, sorted by slice ID. */
+    claimOwners: Map<string, {
+        slice: string;
+        claim: number;
+    }[]>;
+    resources: ResourceInfo[];
+    regionOf(path: string): Region;
+    /** The slice a test file belongs to, by claim pattern, or null. */
+    testOwner(path: string): string | null;
+    /**
+     * A file's package (VSA §3): the nearest ancestor directory holding a package.json in the tree, or the
+     * repository root, "", when there is none.
+     */
+    packageOf(path: string): string;
+    inScope(path: string): boolean;
+    isTest(path: string): boolean;
+    underBackend(path: string): boolean;
+}
+/** Slices that own files: every slice artifact with slice metadata that is not retired. */
+export declare function activeSlices(graph: Graph): Artifact[];
+export declare function buildModel(graph: Graph, registries: Registries, tree: ReadonlyMap<string, string>, config: ArchitectureConfig): Model;
+/** The deepest of the slice's entrypoint directories above a file, or null when it lies under none (a backend claim, say). */
+export declare function rootOf(slice: SliceInfo, path: string): string | null;
+/** "the repository root" or "the package at apps/web", for messages. */
+export declare function describePackage(directory: string): string;
+//# sourceMappingURL=regions.d.ts.map

package/dist/regions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"regions.d.ts","sourceRoot":"","sources":["../src/regions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACxF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAItD,MAAM,MAAM,UAAU,GAClB,OAAO,GACP,aAAa,GACb,QAAQ,GACR,gBAAgB,GAChB,UAAU,GACV,SAAS,GACT,SAAS,GACT,UAAU,CAAC;AAEf,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,UAAU,CAAC;IACjB,wDAAwD;IACxD,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAElD;AAED,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,yBAAyB;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,QAAQ,CAAC;IACnB,IAAI,EAAE,SAAS,CAAC;IAChB;;;OAGG;IACH,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,qEAAqE;IACrE,UAAU,EAAE,MAAM,EAAE,EAAE,CAAC;IACvB,8CAA8C;IAC9C,aAAa,EAAE,MAAM,EAAE,CAAC;CACzB;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,EAAE,QAAQ,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,MAAM,WAAW,KAAK;IACpB,MAAM,EAAE,kBAAkB,CAAC;IAC3B,uCAAuC;IACvC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,+CAA+C;IAC/C,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,sCAAsC;IACtC,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAClC,yFAAyF;IACzF,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC,CAAC;IAC7D,SAAS,EAAE,YAAY,EAAE,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IAC/B,mEAAmE;IACnE,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;IACvC;;;OAGG;IACH,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IAChC,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAC/B,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAC9B,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;CACrC;AAED,2FAA2F;AAC3F,wBAAgB,YAAY,CAAC,KAAK,EAAE,KAAK,GAAG,QAAQ,EAAE,CAOrD;AAED,wBAAgB,UAAU,CACxB,KAAK,EAAE,KAAK,EACZ,UAAU,EAAE,UAAU,EACtB,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,EACjC,MAAM,EAAE,kBAAkB,GACzB,KAAK,CAwHP;AAED,8HAA8H;AAC9H,wBAAgB,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAMpE;AAED,wEAAwE;AACxE,wBAAgB,eAAe,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAEzD"}

package/dist/regions.js

@@ -0,0 +1,144 @@
+import { ancestors, dirname, isCode, within } from "./paths.js";
+import { compareStrings, expandClaims, matchAny, matchPattern, validatePattern } from "./patterns.js";
+export function regionLabel(region) {
+    return region.owner === undefined ? region.kind : `${region.kind}:${region.owner}`;
+}
+/** Slices that own files: every slice artifact with slice metadata that is not retired. */
+export function activeSlices(graph) {
+    return [...graph.artifacts.values()]
+        .filter((artifact) => artifact.meta.type === "slice" && artifact.meta.slice !== undefined && artifact.meta.status !== "retired")
+        .sort((a, b) => compareStrings(a.meta.id, b.meta.id));
+}
+export function buildModel(graph, registries, tree, config) {
+    const files = new Map();
+    for (const path of [...tree.keys()].sort(compareStrings)) {
+        if (!matchAny(config.ignore, path))
+            files.set(path, tree.get(path));
+    }
+    const isTest = (path) => matchAny(config.tests, path);
+    const production = [...files.keys()].filter((path) => !isTest(path));
+    const tests = [...files.keys()].filter(isTest);
+    const slices = activeSlices(graph).map((artifact) => {
+        const meta = artifact.meta.slice;
+        const invalidClaims = [];
+        meta.claims.forEach((claim, i) => {
+            if (validatePattern(claim.path) !== null)
+                invalidClaims.push(i);
+        });
+        // A verification claim names tests, so it resolves against them as well;
+        // every other kind resolves against production files only, so a source
+        // claim over a directory does not sweep in the tests that sit beside it.
+        const withTests = [...production, ...tests].sort(compareStrings);
+        const claimFiles = meta.claims.map((claim, i) => invalidClaims.includes(i)
+            ? []
+            : (expandClaims([claim], claim.kind === "verification" ? withTests : production, [])[0] ?? []));
+        return {
+            id: artifact.meta.id,
+            path: artifact.path,
+            artifact,
+            meta,
+            roots: [...new Set(meta.entrypoints.map(dirname))].sort(compareStrings),
+            dependsOn: [...(artifact.meta.links.dependsOn ?? [])].sort(compareStrings),
+            exposes: [...(artifact.meta.links.exposes ?? [])].sort(compareStrings),
+            consumes: [...(artifact.meta.links.consumes ?? [])].sort(compareStrings),
+            claimFiles,
+            invalidClaims,
+        };
+    });
+    const sliceById = new Map(slices.map((slice) => [slice.id, slice]));
+    const claimOwners = new Map();
+    for (const slice of slices) {
+        slice.claimFiles.forEach((list, claim) => {
+            for (const file of list) {
+                const owners = claimOwners.get(file) ?? [];
+                owners.push({ slice: slice.id, claim });
+                claimOwners.set(file, owners);
+            }
+        });
+    }
+    // A file two slices claim is VSA009 either way; for its region, the slice whose directory holds it is the
+    // likelier owner, so an overlap reports once rather than turning every import of the file into a boundary error.
+    const home = (file, id) => rootOf(sliceById.get(id), file)?.length ?? -1;
+    for (const [file, owners] of claimOwners) {
+        owners.sort((a, b) => home(file, b.slice) - home(file, a.slice) || compareStrings(a.slice, b.slice) || a.claim - b.claim);
+    }
+    const resources = registries.resources.map((resource, index) => ({
+        resource,
+        index,
+        files: validatePattern(resource.path) === null ? production.filter((file) => matchPattern(resource.path, file)) : [],
+    }));
+    const underBackend = (path) => matchAny(config.backendRoots, path);
+    const regions = new Map();
+    const regionOf = (path) => {
+        const cached = regions.get(path);
+        if (cached !== undefined)
+            return cached;
+        let region;
+        const owners = claimOwners.get(path);
+        if (owners !== undefined && owners.length > 0)
+            region = { kind: "slice", owner: owners[0].slice };
+        else if (matchAny(config.composition, path))
+            region = { kind: "composition" };
+        else if (matchAny(config.shared, path))
+            region = { kind: "shared" };
+        else if (matchAny(config.infrastructure, path))
+            region = { kind: "infrastructure" };
+        else if (underBackend(path)) {
+            const resource = resources.find((info) => info.files.includes(path));
+            region = resource !== undefined ? { kind: "resource", owner: resource.resource.id } : { kind: "backend" };
+        }
+        else if (isCode(path) && matchAny(config.sourceRoots, path))
+            region = { kind: "unowned" };
+        else
+            region = { kind: "external" };
+        regions.set(path, region);
+        return region;
+    };
+    const packages = new Map();
+    const packageOf = (path) => {
+        const directory = dirname(path);
+        const cached = packages.get(directory);
+        if (cached !== undefined)
+            return cached;
+        const found = ancestors(directory).find((dir) => files.has(dir === "" ? "package.json" : `${dir}/package.json`)) ?? "";
+        packages.set(directory, found);
+        return found;
+    };
+    const testOwner = (path) => {
+        for (const slice of slices) {
+            if (slice.meta.claims.some((claim, i) => !slice.invalidClaims.includes(i) && matchPattern(claim.path, path)))
+                return slice.id;
+        }
+        return null;
+    };
+    return {
+        config,
+        files,
+        production,
+        tests,
+        slices,
+        sliceById,
+        claimOwners,
+        resources,
+        regionOf,
+        testOwner,
+        packageOf,
+        inScope: (path) => matchAny(config.scope, path),
+        isTest,
+        underBackend,
+    };
+}
+/** The deepest of the slice's entrypoint directories above a file, or null when it lies under none (a backend claim, say). */
+export function rootOf(slice, path) {
+    let found = null;
+    for (const root of slice.roots) {
+        if (within(root, path) !== null && (found === null || root.length > found.length))
+            found = root;
+    }
+    return found;
+}
+/** "the repository root" or "the package at apps/web", for messages. */
+export function describePackage(directory) {
+    return directory === "" ? "the repository root" : `the package at ${directory}`;
+}
+//# sourceMappingURL=regions.js.map

package/dist/regions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"regions.js","sourceRoot":"","sources":["../src/regions.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAChE,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,QAAQ,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAkBtG,MAAM,UAAU,WAAW,CAAC,MAAc;IACxC,OAAO,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;AACrF,CAAC;AAsDD,2FAA2F;AAC3F,MAAM,UAAU,YAAY,CAAC,KAAY;IACvC,OAAO,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;SACjC,MAAM,CACL,CAAC,QAAQ,EAAE,EAAE,CACX,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAC5G;SACA,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,UAAU,CACxB,KAAY,EACZ,UAAsB,EACtB,IAAiC,EACjC,MAA0B;IAE1B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;QACzD,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAW,CAAC,CAAC;IAChF,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC9D,MAAM,UAAU,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACrE,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAE/C,MAAM,MAAM,GAAgB,YAAY,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE;QAC/D,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAkB,CAAC;QAC9C,MAAM,aAAa,GAAa,EAAE,CAAC;QACnC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;YAC/B,IAAI,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI;gBAAE,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClE,CAAC,CAAC,CAAC;QACH,yEAAyE;QACzE,uEAAuE;QACvE,yEAAyE;QACzE,MAAM,SAAS,GAAG,CAAC,GAAG,UAAU,EAAE,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACjE,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAC9C,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC;YACvB,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CACjG,CAAC;QACF,OAAO;YACL,EAAE,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE;YACpB,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,QAAQ;YACR,IAAI;YACJ,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC;YACvE,SAAS,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC;YAC1E,OAAO,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC;YACtE,QAAQ,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC;YACxE,UAAU;YACV,aAAa;SACd,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAEpE,MAAM,WAAW,GAAG,IAAI,GAAG,EAA8C,CAAC;IAC1E,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YACvC,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;gBACxB,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC3C,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;gBACxC,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAChC,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IACD,0GAA0G;IAC1G,iHAAiH;IACjH,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,EAAU,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAE,EAAE,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,CAAC;IAC1F,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QACzC,MAAM,CAAC,IAAI,CACT,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAC7G,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAmB,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QAC/E,QAAQ;QACR,KAAK;QACL,KAAK,EACH,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;KAChH,CAAC,CAAC,CAAC;IAEJ,MAAM,YAAY,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;IAC3E,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAU,EAAE;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,IAAI,MAAc,CAAC;QACnB,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;aAC7F,IAAI,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC;YAAE,MAAM,GAAG,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;aACzE,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC;YAAE,MAAM,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC/D,IAAI,QAAQ,CAAC,MAAM,CAAC,cAAc,EAAE,IAAI,CAAC;YAAE,MAAM,GAAG,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC;aAC/E,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;YACrE,MAAM,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC5G,CAAC;aAAM,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC;YAAE,MAAM,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;;YACvF,MAAM,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;QACnC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC1B,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IAEF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,MAAM,SAAS,GAAG,CAAC,IAAY,EAAU,EAAE;QACzC,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACvC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,MAAM,KAAK,GACT,SAAS,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,GAAG,GAAG,eAAe,CAAC,CAAC,IAAI,EAAE,CAAC;QAC3G,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QAC/B,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,MAAM,SAAS,GAAG,CAAC,IAAY,EAAiB,EAAE;QAChD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBAC1G,OAAO,KAAK,CAAC,EAAE,CAAC;QACpB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IAEF,OAAO;QACL,MAAM;QACN,KAAK;QACL,UAAU;QACV,KAAK;QACL,MAAM;QACN,SAAS;QACT,WAAW;QACX,SAAS;QACT,QAAQ;QACR,SAAS;QACT,SAAS;QACT,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC;QAC/C,MAAM;QACN,YAAY;KACb,CAAC;AACJ,CAAC;AAED,8HAA8H;AAC9H,MAAM,UAAU,MAAM,CAAC,KAAgB,EAAE,IAAY;IACnD,IAAI,KAAK,GAAkB,IAAI,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;YAAE,KAAK,GAAG,IAAI,CAAC;IAClG,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,eAAe,CAAC,SAAiB;IAC/C,OAAO,SAAS,KAAK,EAAE,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,kBAAkB,SAAS,EAAE,CAAC;AAClF,CAAC"}

package/dist/resolve.d.ts

@@ -0,0 +1,53 @@
+/**
+ * Module resolution over an in-memory tree (profile TS002, TS004–TS006).
+ *
+ * A specifier resolves, in order, as: a relative path against the importing
+ * file; an alias from the nearest tsconfig's `paths`; a path under its
+ * `baseUrl`; a workspace package whose package.json is in the tree; or an
+ * external package, which is outside the repository and ignored. A specifier
+ * that is none of these is a problem the caller reports, never a silent miss.
+ *
+ * File probes follow TypeScript: `./x.js` tries `./x.ts` and `./x.tsx` first,
+ * then the exact file, then `x` plus each code extension, then `x/index.*`.
+ * A workspace package's entry is its `exports` (the configured conditions,
+ * then types, import, default), then `types`, then `main`; nothing is
+ * guessed, so a package that exports only built output that is not in the
+ * tree is a problem until a source condition is configured.
+ */
+import type { ArchitectureConfig } from "./config.ts";
+import { TsConfigs } from "./tsconfig.ts";
+export type Via = "relative" | "alias" | "baseUrl" | "workspace" | "package";
+export interface Resolution {
+    /** Repository path of the target, or null for an external package or a problem. */
+    to: string | null;
+    via: Via;
+    /** True when a wildcard opened the path: a `*` alias, an exports pattern, or a package without exports. */
+    wildcard: boolean;
+    /** Why the specifier could not be resolved; absent when it resolved or is an external package. */
+    problem?: string;
+}
+export declare class Resolver {
+    readonly tsconfigs: TsConfigs;
+    readonly notes: {
+        path: string;
+        message: string;
+    }[];
+    private readonly files;
+    private readonly conditions;
+    private readonly packages;
+    constructor(files: ReadonlyMap<string, string>, config: Pick<ArchitectureConfig, "conditions">);
+    /** The first existing file a module path names. */
+    probe(base: string): string | null;
+    resolve(from: string, specifier: string): Resolution;
+    private resolveWorkspace;
+    private fromExports;
+    /** Targets of an exports value in the order tried: configured conditions, then types, import, default. */
+    private conditionTargets;
+    /**
+     * A configured specifier — a tsconfig alias or a workspace package name —
+     * that resolves from `from` to `target`, shortest first; null when none
+     * does. TS002 asks for this before calling a relative path a bypass.
+     */
+    aliasFor(from: string, target: string): string | null;
+}
+//# sourceMappingURL=resolve.d.ts.map

package/dist/resolve.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve.d.ts","sourceRoot":"","sources":["../src/resolve.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAGtD,OAAO,EAAc,SAAS,EAAE,MAAM,eAAe,CAAC;AAEtD,MAAM,MAAM,GAAG,GAAG,UAAU,GAAG,OAAO,GAAG,SAAS,GAAG,WAAW,GAAG,SAAS,CAAC;AAE7E,MAAM,WAAW,UAAU;IACzB,mFAAmF;IACnF,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;IAClB,GAAG,EAAE,GAAG,CAAC;IACT,2GAA2G;IAC3G,QAAQ,EAAE,OAAO,CAAC;IAClB,kGAAkG;IAClG,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAoBD,qBAAa,QAAQ;IACnB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EAAE,CAAM;IACzD,OAAO,CAAC,QAAQ,CAAC,KAAK,CAA8B;IACpD,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAW;IACtC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAA0B;IAEnD,YAAY,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,kBAAkB,EAAE,YAAY,CAAC,EA4B7F;IAED,mDAAmD;IACnD,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAcjC;IAED,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,UAAU,CAkDnD;IAED,OAAO,CAAC,gBAAgB;IA2CxB,OAAO,CAAC,WAAW;IA+BnB,0GAA0G;IAC1G,OAAO,CAAC,gBAAgB;IAUxB;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAkCpD;CACF"}