archcheck 0.2.0

package/dist/graph/cache.js

@@ -0,0 +1,76 @@
+/**
+ * The content-hash cache for extracted file facts.
+ *
+ * What this honestly buys, stated precisely because the design review caught the overstatement
+ * (LLD §1.8): it skips OUR AST walk for a file whose content has not changed. It does not skip
+ * TypeScript's own parse — building the Program needs every file — and it does not skip the
+ * graph. The walk is the part that scales with rule count, so the saving is real; the claim that
+ * a whole file is skipped was not.
+ *
+ * What a caller must know: a cached edge has no `node`. Its `line`/`col` were precomputed at walk
+ * time, so position survives, but anything that needs the AST must check for `node` first.
+ */
+import { createHash } from 'node:crypto';
+import { mkdirSync, readFileSync, writeFileSync } from 'node:fs';
+import { dirname, join } from 'node:path';
+export const CACHE_DIR = '.archcheck/cache';
+export function hashContent(content) {
+    return createHash('sha256').update(content).digest('hex').slice(0, 32);
+}
+function stripNodes(facts) {
+    return {
+        edges: facts.edges.map(({ node: _node, ...rest }) => rest),
+        implementsPorts: facts.implementsPorts,
+        exports: facts.exports,
+    };
+}
+/** A cache that remembers nothing — the default when a run has nowhere to write. */
+export function createNullCache() {
+    return { get: () => undefined, set: () => undefined, flush: () => undefined };
+}
+export function createFactsCache(root, fingerprint) {
+    const path = join(root, CACHE_DIR, 'facts.json');
+    let loaded = { schemaVersion: 1, fingerprint, files: {} };
+    try {
+        const parsed = JSON.parse(readFileSync(path, 'utf8'));
+        // A compiler-options change invalidates everything: resolution may differ, so every
+        // recorded `to` is suspect.
+        if (parsed?.schemaVersion === 1 && parsed.fingerprint === fingerprint)
+            loaded = parsed;
+    }
+    catch {
+        // No cache yet, or an unreadable one. Either way, start empty rather than fail a run.
+    }
+    const next = { schemaVersion: 1, fingerprint, files: {} };
+    let dirty = false;
+    return {
+        get(file, contentHash) {
+            const entry = loaded.files[`${file}\u0000${contentHash}`];
+            if (!entry)
+                return undefined;
+            next.files[`${file}\u0000${contentHash}`] = entry;
+            return {
+                file,
+                edges: entry.edges.map((edge) => ({ ...edge })),
+                implementsPorts: entry.implementsPorts,
+                exports: entry.exports,
+            };
+        },
+        set(file, contentHash, facts) {
+            next.files[`${file}\u0000${contentHash}`] = stripNodes(facts);
+            dirty = true;
+        },
+        flush() {
+            if (!dirty)
+                return;
+            try {
+                mkdirSync(dirname(path), { recursive: true });
+                writeFileSync(path, `${JSON.stringify(next)}\n`);
+            }
+            catch {
+                // A cache we cannot write is a slow run, not a failed one.
+            }
+        },
+    };
+}
+//# sourceMappingURL=cache.js.map

package/dist/graph/cache.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cache.js","sourceRoot":"","sources":["../../src/graph/cache.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACjE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAG1C,MAAM,CAAC,MAAM,SAAS,GAAG,kBAAkB,CAAC;AAE5C,MAAM,UAAU,WAAW,CAAC,OAAe;IACzC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AACzE,CAAC;AAYD,SAAS,UAAU,CAAC,KAAgB;IAClC,OAAO;QACL,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC;QAC1D,eAAe,EAAE,KAAK,CAAC,eAAe;QACtC,OAAO,EAAE,KAAK,CAAC,OAAO;KACvB,CAAC;AACJ,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,eAAe;IAC7B,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC;AAChF,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,IAAY,EAAE,WAAmB;IAChE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC;IACjD,IAAI,MAAM,GAAc,EAAE,aAAa,EAAE,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IACrE,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAc,CAAC;QACnE,oFAAoF;QACpF,4BAA4B;QAC5B,IAAI,MAAM,EAAE,aAAa,KAAK,CAAC,IAAI,MAAM,CAAC,WAAW,KAAK,WAAW;YAAE,MAAM,GAAG,MAAM,CAAC;IACzF,CAAC;IAAC,MAAM,CAAC;QACP,sFAAsF;IACxF,CAAC;IAED,MAAM,IAAI,GAAc,EAAE,aAAa,EAAE,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IACrE,IAAI,KAAK,GAAG,KAAK,CAAC;IAElB,OAAO;QACL,GAAG,CAAC,IAAI,EAAE,WAAW;YACnB,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,SAAS,WAAW,EAAE,CAAC,CAAC;YAC1D,IAAI,CAAC,KAAK;gBAAE,OAAO,SAAS,CAAC;YAC7B,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,SAAS,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC;YAClD,OAAO;gBACL,IAAI;gBACJ,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;gBAC/C,eAAe,EAAE,KAAK,CAAC,eAAe;gBACtC,OAAO,EAAE,KAAK,CAAC,OAAO;aACvB,CAAC;QACJ,CAAC;QACD,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,KAAK;YAC1B,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,SAAS,WAAW,EAAE,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;YAC9D,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;QACD,KAAK;YACH,IAAI,CAAC,KAAK;gBAAE,OAAO;YACnB,IAAI,CAAC;gBACH,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC9C,aAAa,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnD,CAAC;YAAC,MAAM,CAAC;gBACP,2DAA2D;YAC7D,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/graph/edges.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Extracting edges, implemented-port names and exports from one SourceFile.
+ *
+ * What rule this enforces: the graph must be COMPLETE. Every way one module can reach another is
+ * listed here — static import, re-export, `import =`, `require()`, and `import()` in both its
+ * literal and its computed form. A form missing from this walk is a layer violation that hides
+ * (LLD §1.3), so adding a form to the language means adding it here.
+ */
+import ts from 'typescript';
+import type { FileFacts } from './types.js';
+export type ResolveSpecifier = (specifier: string, containingFile: string) => {
+    resolved: string | undefined;
+    external: boolean;
+};
+export declare function extractFacts(source: ts.SourceFile, checker: ts.TypeChecker, resolve: ResolveSpecifier): FileFacts;
+//# sourceMappingURL=edges.d.ts.map

package/dist/graph/edges.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"edges.d.ts","sourceRoot":"","sources":["../../src/graph/edges.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,KAAK,EAAqB,SAAS,EAAE,MAAM,YAAY,CAAC;AAO/D,MAAM,MAAM,gBAAgB,GAAG,CAC7B,SAAS,EAAE,MAAM,EACjB,cAAc,EAAE,MAAM,KACnB;IAAE,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,CAAC;AAiGzD,wBAAgB,YAAY,CAC1B,MAAM,EAAE,EAAE,CAAC,UAAU,EACrB,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,OAAO,EAAE,gBAAgB,GACxB,SAAS,CA8DX"}

package/dist/graph/edges.js

@@ -0,0 +1,161 @@
+/**
+ * Extracting edges, implemented-port names and exports from one SourceFile.
+ *
+ * What rule this enforces: the graph must be COMPLETE. Every way one module can reach another is
+ * listed here — static import, re-export, `import =`, `require()`, and `import()` in both its
+ * literal and its computed form. A form missing from this walk is a layer violation that hides
+ * (LLD §1.3), so adding a form to the language means adding it here.
+ */
+import ts from 'typescript';
+function positionOf(source, node) {
+    const { line, character } = source.getLineAndCharacterOfPosition(node.getStart(source));
+    return { line: line + 1, col: character + 1 };
+}
+function makeEdge(source, node, specifier, typeOnly, dynamic, resolve) {
+    const { resolved, external } = resolve(specifier, source.fileName);
+    const { line, col } = positionOf(source, node);
+    return {
+        from: source.fileName,
+        to: resolved ?? specifier,
+        specifier,
+        external,
+        typeOnly,
+        dynamic,
+        line,
+        col,
+        node,
+    };
+}
+/** `import { type A, type B }` is as type-only as `import type { A, B }`. */
+function isTypeOnlyImport(node) {
+    const clause = node.importClause;
+    if (!clause)
+        return false;
+    if (clause.isTypeOnly)
+        return true;
+    const bindings = clause.namedBindings;
+    if (bindings && ts.isNamedImports(bindings) && bindings.elements.length > 0) {
+        return bindings.elements.every((element) => element.isTypeOnly);
+    }
+    return false;
+}
+function literalSpecifier(node) {
+    return node !== undefined && ts.isStringLiteralLike(node) ? node.text : undefined;
+}
+function collectImplementedPorts(source, checker) {
+    const ports = new Set();
+    const recordName = (node) => {
+        const symbol = checker.getSymbolAtLocation(node);
+        // Resolve through the alias so `import { BlobStore as BS }` still matches `BlobStore`.
+        const target = symbol && symbol.flags & ts.SymbolFlags.Alias ? checker.getAliasedSymbol(symbol) : symbol;
+        if (target)
+            ports.add(target.getName());
+        else if (ts.isIdentifier(node))
+            ports.add(node.text);
+    };
+    const typeReferenceName = (type) => ts.isTypeReferenceNode(type)
+        ? ts.isQualifiedName(type.typeName)
+            ? type.typeName.right
+            : type.typeName
+        : undefined;
+    const visit = (node) => {
+        if (ts.isClassDeclaration(node) || ts.isClassExpression(node)) {
+            for (const clause of node.heritageClauses ?? []) {
+                if (clause.token !== ts.SyntaxKind.ImplementsKeyword)
+                    continue;
+                for (const type of clause.types)
+                    recordName(type.expression);
+            }
+        }
+        // `const store: BlobStore = ...` and `... satisfies BlobStore` — the factory-function style
+        // this codebase and its consumers actually use, where there is no class to hang a clause on.
+        if (ts.isVariableDeclaration(node) && node.type) {
+            const name = typeReferenceName(node.type);
+            if (name)
+                recordName(name);
+        }
+        if (ts.isFunctionDeclaration(node) && node.type) {
+            const name = typeReferenceName(node.type);
+            if (name)
+                recordName(name);
+        }
+        if (ts.isSatisfiesExpression(node)) {
+            const name = typeReferenceName(node.type);
+            if (name)
+                recordName(name);
+        }
+        ts.forEachChild(node, visit);
+    };
+    ts.forEachChild(source, visit);
+    return [...ports].sort();
+}
+function collectExports(source, checker) {
+    const symbol = checker.getSymbolAtLocation(source);
+    if (!symbol)
+        return [];
+    return checker
+        .getExportsOfModule(symbol)
+        .map((exported) => exported.getName())
+        .sort();
+}
+export function extractFacts(source, checker, resolve) {
+    const edges = [];
+    const visit = (node) => {
+        if (ts.isImportDeclaration(node)) {
+            const specifier = literalSpecifier(node.moduleSpecifier);
+            if (specifier !== undefined) {
+                edges.push(makeEdge(source, node, specifier, isTypeOnlyImport(node), 'none', resolve));
+            }
+        }
+        else if (ts.isExportDeclaration(node) && node.moduleSpecifier) {
+            const specifier = literalSpecifier(node.moduleSpecifier);
+            if (specifier !== undefined) {
+                edges.push(makeEdge(source, node, specifier, node.isTypeOnly, 'none', resolve));
+            }
+        }
+        else if (ts.isImportEqualsDeclaration(node) &&
+            ts.isExternalModuleReference(node.moduleReference)) {
+            const specifier = literalSpecifier(node.moduleReference.expression);
+            if (specifier !== undefined) {
+                edges.push(makeEdge(source, node, specifier, node.isTypeOnly, 'none', resolve));
+            }
+        }
+        else if (ts.isCallExpression(node)) {
+            const isDynamicImport = node.expression.kind === ts.SyntaxKind.ImportKeyword;
+            const isRequire = ts.isIdentifier(node.expression) && node.expression.text === 'require';
+            if (isDynamicImport || isRequire) {
+                const argument = node.arguments[0];
+                const specifier = literalSpecifier(argument);
+                if (specifier !== undefined) {
+                    edges.push(makeEdge(source, node, specifier, false, isDynamicImport ? 'literal' : 'none', resolve));
+                }
+                else if (isDynamicImport) {
+                    // A computed specifier resolves to nothing. Report it anyway, with the expression text
+                    // as the specifier, so the ban has something to point at.
+                    const text = argument ? argument.getText(source) : '';
+                    const { line, col } = positionOf(source, node);
+                    edges.push({
+                        from: source.fileName,
+                        to: text,
+                        specifier: text,
+                        external: false,
+                        typeOnly: false,
+                        dynamic: 'computed',
+                        line,
+                        col,
+                        node,
+                    });
+                }
+            }
+        }
+        ts.forEachChild(node, visit);
+    };
+    ts.forEachChild(source, visit);
+    return {
+        file: source.fileName,
+        edges,
+        implementsPorts: collectImplementedPorts(source, checker),
+        exports: collectExports(source, checker),
+    };
+}
+//# sourceMappingURL=edges.js.map

package/dist/graph/edges.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"edges.js","sourceRoot":"","sources":["../../src/graph/edges.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,SAAS,UAAU,CAAC,MAAqB,EAAE,IAAa;IACtD,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,MAAM,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IACxF,OAAO,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,EAAE,GAAG,EAAE,SAAS,GAAG,CAAC,EAAE,CAAC;AAChD,CAAC;AAOD,SAAS,QAAQ,CACf,MAAqB,EACrB,IAAa,EACb,SAAiB,EACjB,QAAiB,EACjB,OAAoB,EACpB,OAAyB;IAEzB,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;IACnE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC/C,OAAO;QACL,IAAI,EAAE,MAAM,CAAC,QAAQ;QACrB,EAAE,EAAE,QAAQ,IAAI,SAAS;QACzB,SAAS;QACT,QAAQ;QACR,QAAQ;QACR,OAAO;QACP,IAAI;QACJ,GAAG;QACH,IAAI;KACL,CAAC;AACJ,CAAC;AAED,6EAA6E;AAC7E,SAAS,gBAAgB,CAAC,IAA0B;IAClD,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC;IACjC,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC1B,IAAI,MAAM,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,QAAQ,GAAG,MAAM,CAAC,aAAa,CAAC;IACtC,IAAI,QAAQ,IAAI,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5E,OAAO,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,gBAAgB,CAAC,IAA+B;IACvD,OAAO,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AACpF,CAAC;AAED,SAAS,uBAAuB,CAAC,MAAqB,EAAE,OAAuB;IAC7E,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAEhC,MAAM,UAAU,GAAG,CAAC,IAAa,EAAQ,EAAE;QACzC,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACjD,uFAAuF;QACvF,MAAM,MAAM,GACV,MAAM,IAAI,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QAC5F,IAAI,MAAM;YAAE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;aACnC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,CAAC,CAAC;IAEF,MAAM,iBAAiB,GAAG,CAAC,IAAiB,EAAuB,EAAE,CACnE,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAC1B,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC;YACjC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK;YACrB,CAAC,CAAC,IAAI,CAAC,QAAQ;QACjB,CAAC,CAAC,SAAS,CAAC;IAEhB,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9D,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,eAAe,IAAI,EAAE,EAAE,CAAC;gBAChD,IAAI,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB;oBAAE,SAAS;gBAC/D,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK;oBAAE,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC/D,CAAC;QACH,CAAC;QACD,4FAA4F;QAC5F,6FAA6F;QAC7F,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAChD,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1C,IAAI,IAAI;gBAAE,UAAU,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC;QACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAChD,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1C,IAAI,IAAI;gBAAE,UAAU,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC;QACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1C,IAAI,IAAI;gBAAE,UAAU,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IAEF,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC/B,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;AAC3B,CAAC;AAED,SAAS,cAAc,CAAC,MAAqB,EAAE,OAAuB;IACpE,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;IACnD,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IACvB,OAAO,OAAO;SACX,kBAAkB,CAAC,MAAM,CAAC;SAC1B,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;SACrC,IAAI,EAAE,CAAC;AACZ,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,MAAqB,EACrB,OAAuB,EACvB,OAAyB;IAEzB,MAAM,KAAK,GAAW,EAAE,CAAC;IAEzB,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;YACzD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;YACzF,CAAC;QACH,CAAC;aAAM,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;YAChE,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;YACzD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;YAClF,CAAC;QACH,CAAC;aAAM,IACL,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;YAClC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,eAAe,CAAC,EAClD,CAAC;YACD,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;YACpE,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;YAClF,CAAC;QACH,CAAC;aAAM,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,MAAM,eAAe,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC;YAC7E,MAAM,SAAS,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS,CAAC;YACzF,IAAI,eAAe,IAAI,SAAS,EAAE,CAAC;gBACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBACnC,MAAM,SAAS,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;gBAC7C,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;oBAC5B,KAAK,CAAC,IAAI,CACR,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,CACxF,CAAC;gBACJ,CAAC;qBAAM,IAAI,eAAe,EAAE,CAAC;oBAC3B,uFAAuF;oBACvF,0DAA0D;oBAC1D,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBACtD,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;oBAC/C,KAAK,CAAC,IAAI,CAAC;wBACT,IAAI,EAAE,MAAM,CAAC,QAAQ;wBACrB,EAAE,EAAE,IAAI;wBACR,SAAS,EAAE,IAAI;wBACf,QAAQ,EAAE,KAAK;wBACf,QAAQ,EAAE,KAAK;wBACf,OAAO,EAAE,UAAU;wBACnB,IAAI;wBACJ,GAAG;wBACH,IAAI;qBACL,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IAEF,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAE/B,OAAO;QACL,IAAI,EAAE,MAAM,CAAC,QAAQ;QACrB,KAAK;QACL,eAAe,EAAE,uBAAuB,CAAC,MAAM,EAAE,OAAO,CAAC;QACzD,OAAO,EAAE,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC;KACzC,CAAC;AACJ,CAAC"}

package/dist/graph/index.d.ts

@@ -0,0 +1,15 @@
+import { type Result } from '../result.js';
+import type { ModuleGraph } from './types.js';
+export type ReadOptions = {
+    root: string;
+    tsconfigPath: string;
+    /** Off for tests that must observe every walk. */
+    cache?: boolean;
+};
+export declare function readGraph(options: ReadOptions): Result<ModuleGraph>;
+export { CACHE_DIR, createFactsCache, createNullCache, type FactsCache, hashContent, } from './cache.js';
+export { extractFacts, type ResolveSpecifier } from './edges.js';
+export { describeMatch, fileMatches, isImplementsMatch, isValidMatch, type LayerMatch, } from './match.js';
+export { type BuiltProgram, buildProgram } from './program.js';
+export type { DynamicKind, Edge, FileFacts, ModuleGraph } from './types.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/graph/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/graph/index.ts"],"names":[],"mappings":"AAUA,OAAO,EAAW,KAAK,MAAM,EAAE,MAAM,cAAc,CAAC;AAIpD,OAAO,KAAK,EAAmB,WAAW,EAAE,MAAM,YAAY,CAAC;AAE/D,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,CAAC;IACrB,kDAAkD;IAClD,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB,CAAC;AAuBF,wBAAgB,SAAS,CAAC,OAAO,EAAE,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC,CAyDnE;AAED,OAAO,EACL,SAAS,EACT,gBAAgB,EAChB,eAAe,EACf,KAAK,UAAU,EACf,WAAW,GACZ,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,YAAY,EAAE,KAAK,gBAAgB,EAAE,MAAM,YAAY,CAAC;AACjE,OAAO,EACL,aAAa,EACb,WAAW,EACX,iBAAiB,EACjB,YAAY,EACZ,KAAK,UAAU,GAChB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,KAAK,YAAY,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC/D,YAAY,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC"}

package/dist/graph/index.js

@@ -0,0 +1,90 @@
+/**
+ * The module graph. One parse, shared by every probe.
+ *
+ * What a caller must know: `read()` builds the whole graph every time — that is honest, and it is
+ * unavoidable, because computing "which files depend on the changed ones" needs the whole graph
+ * anyway (LLD §1.8). What the cache saves is the per-file walk; what diff scoping saves is rule
+ * evaluation and every model call. Those are where the cost actually is.
+ */
+import { readFileSync } from 'node:fs';
+import ts from 'typescript';
+import { err, ok } from '../result.js';
+import { createFactsCache, createNullCache, hashContent } from './cache.js';
+import { extractFacts } from './edges.js';
+import { buildProgram } from './program.js';
+function makeResolver(options) {
+    const host = ts.createCompilerHost(options, false);
+    const moduleCache = ts.createModuleResolutionCache(process.cwd(), (s) => s, options);
+    return (specifier, containingFile) => {
+        const resolved = ts.resolveModuleName(specifier, containingFile, options, host, moduleCache);
+        const module = resolved.resolvedModule;
+        if (!module) {
+            // Unresolvable. A relative specifier that resolves to nothing is a broken import, which
+            // the type checker already reports; a bare one is a package we do not have. Either way it
+            // is external as far as the dependency law is concerned.
+            return { resolved: undefined, external: !specifier.startsWith('.') };
+        }
+        return {
+            resolved: module.resolvedFileName,
+            external: module.isExternalLibraryImport === true ||
+                module.resolvedFileName.includes('/node_modules/'),
+        };
+    };
+}
+export function readGraph(options) {
+    const built = buildProgram(options.tsconfigPath);
+    if (!built.ok)
+        return built;
+    const { program, checker, optionsFingerprint } = built.value;
+    const cache = options.cache === false
+        ? createNullCache()
+        : createFactsCache(options.root, optionsFingerprint);
+    const resolve = makeResolver(built.value.options);
+    const facts = new Map();
+    const sources = new Map();
+    const edges = [];
+    const files = [];
+    let walked = 0;
+    for (const source of program.getSourceFiles()) {
+        if (source.isDeclarationFile)
+            continue;
+        if (source.fileName.includes('/node_modules/'))
+            continue;
+        files.push(source.fileName);
+        sources.set(source.fileName, source);
+        let contentHash;
+        try {
+            contentHash = hashContent(readFileSync(source.fileName, 'utf8'));
+        }
+        catch {
+            contentHash = hashContent(source.text);
+        }
+        const cached = cache.get(source.fileName, contentHash);
+        if (cached) {
+            facts.set(source.fileName, cached);
+            edges.push(...cached.edges);
+            continue;
+        }
+        const fresh = extractFacts(source, checker, resolve);
+        walked += 1;
+        cache.set(source.fileName, contentHash, fresh);
+        facts.set(source.fileName, fresh);
+        edges.push(...fresh.edges);
+    }
+    cache.flush();
+    if (files.length === 0) {
+        return err([`${options.tsconfigPath} yielded no source files to check`]);
+    }
+    return ok({
+        files,
+        edges,
+        factsFor: (file) => facts.get(file),
+        sourceFileFor: (file) => sources.get(file),
+        walkedCount: walked,
+    });
+}
+export { CACHE_DIR, createFactsCache, createNullCache, hashContent, } from './cache.js';
+export { extractFacts } from './edges.js';
+export { describeMatch, fileMatches, isImplementsMatch, isValidMatch, } from './match.js';
+export { buildProgram } from './program.js';
+//# sourceMappingURL=index.js.map

package/dist/graph/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/graph/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,GAAG,EAAE,EAAE,EAAe,MAAM,cAAc,CAAC;AACpD,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAmB,WAAW,EAAE,MAAM,YAAY,CAAC;AAC7F,OAAO,EAAE,YAAY,EAAyB,MAAM,YAAY,CAAC;AACjE,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAU5C,SAAS,YAAY,CAAC,OAA2B;IAC/C,MAAM,IAAI,GAAG,EAAE,CAAC,kBAAkB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACnD,MAAM,WAAW,GAAG,EAAE,CAAC,2BAA2B,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IACrF,OAAO,CAAC,SAAS,EAAE,cAAc,EAAE,EAAE;QACnC,MAAM,QAAQ,GAAG,EAAE,CAAC,iBAAiB,CAAC,SAAS,EAAE,cAAc,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QAC7F,MAAM,MAAM,GAAG,QAAQ,CAAC,cAAc,CAAC;QACvC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,wFAAwF;YACxF,0FAA0F;YAC1F,yDAAyD;YACzD,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACvE,CAAC;QACD,OAAO;YACL,QAAQ,EAAE,MAAM,CAAC,gBAAgB;YACjC,QAAQ,EACN,MAAM,CAAC,uBAAuB,KAAK,IAAI;gBACvC,MAAM,CAAC,gBAAgB,CAAC,QAAQ,CAAC,gBAAgB,CAAC;SACrD,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,OAAoB;IAC5C,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IACjD,IAAI,CAAC,KAAK,CAAC,EAAE;QAAE,OAAO,KAAK,CAAC;IAC5B,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,kBAAkB,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC;IAE7D,MAAM,KAAK,GACT,OAAO,CAAC,KAAK,KAAK,KAAK;QACrB,CAAC,CAAC,eAAe,EAAE;QACnB,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;IAEzD,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAClD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC3C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAyB,CAAC;IACjD,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,MAAM,GAAG,CAAC,CAAC;IAEf,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;QAC9C,IAAI,MAAM,CAAC,iBAAiB;YAAE,SAAS;QACvC,IAAI,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,gBAAgB,CAAC;YAAE,SAAS;QACzD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC5B,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAErC,IAAI,WAAmB,CAAC;QACxB,IAAI,CAAC;YACH,WAAW,GAAG,WAAW,CAAC,YAAY,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;QACnE,CAAC;QAAC,MAAM,CAAC;YACP,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACzC,CAAC;QAED,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QACvD,IAAI,MAAM,EAAE,CAAC;YACX,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;YAC5B,SAAS;QACX,CAAC;QAED,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QACrD,MAAM,IAAI,CAAC,CAAC;QACZ,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;QAC/C,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC;IAED,KAAK,CAAC,KAAK,EAAE,CAAC;IAEd,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,YAAY,mCAAmC,CAAC,CAAC,CAAC;IAC3E,CAAC;IAED,OAAO,EAAE,CAAC;QACR,KAAK;QACL,KAAK;QACL,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;QACnC,aAAa,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;QAC1C,WAAW,EAAE,MAAM;KACpB,CAAC,CAAC;AACL,CAAC;AAED,OAAO,EACL,SAAS,EACT,gBAAgB,EAChB,eAAe,EAEf,WAAW,GACZ,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,YAAY,EAAyB,MAAM,YAAY,CAAC;AACjE,OAAO,EACL,aAAa,EACb,WAAW,EACX,iBAAiB,EACjB,YAAY,GAEb,MAAM,YAAY,CAAC;AACpB,OAAO,EAAqB,YAAY,EAAE,MAAM,cAAc,CAAC"}

package/dist/graph/match.d.ts

@@ -0,0 +1,12 @@
+import type { FileFacts } from './types.js';
+/** `'src/**'`, a list of those, or a structural match through the type checker. */
+export type LayerMatch = string | string[] | {
+    implements: string;
+};
+export declare function isImplementsMatch(match: unknown): match is {
+    implements: string;
+};
+export declare function isValidMatch(match: unknown): match is LayerMatch;
+export declare function fileMatches(match: LayerMatch, absoluteFile: string, root: string, facts: FileFacts | undefined): boolean;
+export declare function describeMatch(match: LayerMatch): string;
+//# sourceMappingURL=match.d.ts.map

package/dist/graph/match.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"match.d.ts","sourceRoot":"","sources":["../../src/graph/match.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAE5C,mFAAmF;AACnF,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,MAAM,EAAE,GAAG;IAAE,UAAU,EAAE,MAAM,CAAA;CAAE,CAAC;AAEpE,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI;IAAE,UAAU,EAAE,MAAM,CAAA;CAAE,CAMjF;AAED,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,UAAU,CAIhE;AAED,wBAAgB,WAAW,CACzB,KAAK,EAAE,UAAU,EACjB,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,SAAS,GAAG,SAAS,GAC3B,OAAO,CAMT;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAGvD"}

package/dist/graph/match.js

@@ -0,0 +1,35 @@
+/**
+ * Layer matching: a path glob, or `implements: 'PortName'`.
+ *
+ * What rule this enforces: the second form is the other reason we own the graph (plan 04). A
+ * layer defined as "everything implementing this port" cannot be expressed as a path, and it is
+ * the right way to say it — an adapter is an adapter because of what it implements, not because of
+ * where someone filed it.
+ */
+import { matchesAny } from '../util/glob.js';
+import { repoRelative } from '../util/paths.js';
+export function isImplementsMatch(match) {
+    return (typeof match === 'object' &&
+        match !== null &&
+        typeof match.implements === 'string');
+}
+export function isValidMatch(match) {
+    if (typeof match === 'string')
+        return match.length > 0;
+    if (Array.isArray(match))
+        return match.length > 0 && match.every((m) => typeof m === 'string');
+    return isImplementsMatch(match);
+}
+export function fileMatches(match, absoluteFile, root, facts) {
+    if (isImplementsMatch(match)) {
+        return facts?.implementsPorts.includes(match.implements) === true;
+    }
+    const patterns = typeof match === 'string' ? [match] : match;
+    return matchesAny(patterns, repoRelative(root, absoluteFile));
+}
+export function describeMatch(match) {
+    if (isImplementsMatch(match))
+        return `implements ${match.implements}`;
+    return (typeof match === 'string' ? [match] : match).join(', ');
+}
+//# sourceMappingURL=match.js.map

package/dist/graph/match.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"match.js","sourceRoot":"","sources":["../../src/graph/match.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAMhD,MAAM,UAAU,iBAAiB,CAAC,KAAc;IAC9C,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,OAAQ,KAAkC,CAAC,UAAU,KAAK,QAAQ,CACnE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,KAAc;IACzC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IACvD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC;IAC/F,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,WAAW,CACzB,KAAiB,EACjB,YAAoB,EACpB,IAAY,EACZ,KAA4B;IAE5B,IAAI,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,KAAK,EAAE,eAAe,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC;IACpE,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAC7D,OAAO,UAAU,CAAC,QAAQ,EAAE,YAAY,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,KAAiB;IAC7C,IAAI,iBAAiB,CAAC,KAAK,CAAC;QAAE,OAAO,cAAc,KAAK,CAAC,UAAU,EAAE,CAAC;IACtE,OAAO,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAClE,CAAC"}

package/dist/graph/program.d.ts

@@ -0,0 +1,12 @@
+import ts from 'typescript';
+import { type Result } from '../result.js';
+export type BuiltProgram = {
+    program: ts.Program;
+    checker: ts.TypeChecker;
+    options: ts.CompilerOptions;
+    tsconfigPath: string;
+    /** Hash of the resolved compiler options — half of the cache key. */
+    optionsFingerprint: string;
+};
+export declare function buildProgram(tsconfigPath: string): Result<BuiltProgram>;
+//# sourceMappingURL=program.d.ts.map

package/dist/graph/program.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"program.d.ts","sourceRoot":"","sources":["../../src/graph/program.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAW,KAAK,MAAM,EAAE,MAAM,cAAc,CAAC;AAIpD,MAAM,MAAM,YAAY,GAAG;IACzB,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC;IACpB,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC;IACxB,OAAO,EAAE,EAAE,CAAC,eAAe,CAAC;IAC5B,YAAY,EAAE,MAAM,CAAC;IACrB,qEAAqE;IACrE,kBAAkB,EAAE,MAAM,CAAC;CAC5B,CAAC;AAUF,wBAAgB,YAAY,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,CAAC,YAAY,CAAC,CAoCvE"}

package/dist/graph/program.js

@@ -0,0 +1,54 @@
+/**
+ * Building the `Program` from the consumer's own tsconfig.
+ *
+ * Why the compiler API directly rather than a wrapper: it is one peer dependency we already
+ * require, there is no second abstraction to learn, and we get the type checker — which is what
+ * `match: { implements }` needs and what no graph tool can offer (plan 04).
+ *
+ * What a caller must know: a tsconfig problem is a CONFIG failure, not a code failure. It comes
+ * back as a Result so the CLI can exit 2 rather than 1 and an agent does not go editing source.
+ */
+import { dirname } from 'node:path';
+import ts from 'typescript';
+import { err, ok } from '../result.js';
+import { missingCompilerApi } from '../util/compilerApi.js';
+import { toPosix } from '../util/paths.js';
+function fingerprint(options, fileCount) {
+    const stable = Object.keys(options)
+        .sort()
+        .map((key) => `${key}=${String(options[key])}`)
+        .join(';');
+    return `${stable}|files=${fileCount}`;
+}
+export function buildProgram(tsconfigPath) {
+    // Before anything touches `ts.sys`. Without this the failure is
+    // "Cannot read properties of undefined (reading 'readFile')", which names nothing.
+    const unusable = missingCompilerApi(ts);
+    if (unusable)
+        return err(unusable);
+    const read = ts.readConfigFile(tsconfigPath, ts.sys.readFile);
+    if (read.error) {
+        return err([
+            `${toPosix(tsconfigPath)}: ${ts.flattenDiagnosticMessageText(read.error.messageText, ' ')}`,
+        ]);
+    }
+    const parsed = ts.parseJsonConfigFileContent(read.config, ts.sys, dirname(tsconfigPath));
+    if (parsed.errors.length > 0) {
+        return err(parsed.errors.map((d) => `${toPosix(tsconfigPath)}: ${ts.flattenDiagnosticMessageText(d.messageText, ' ')}`));
+    }
+    if (parsed.fileNames.length === 0) {
+        return err([
+            `${toPosix(tsconfigPath)} matches no files — archcheck has nothing to read`,
+            '  → check its include/exclude patterns',
+        ]);
+    }
+    const program = ts.createProgram({ rootNames: parsed.fileNames, options: parsed.options });
+    return ok({
+        program,
+        checker: program.getTypeChecker(),
+        options: parsed.options,
+        tsconfigPath,
+        optionsFingerprint: fingerprint(parsed.options, parsed.fileNames.length),
+    });
+}
+//# sourceMappingURL=program.js.map

package/dist/graph/program.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"program.js","sourceRoot":"","sources":["../../src/graph/program.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,GAAG,EAAE,EAAE,EAAe,MAAM,cAAc,CAAC;AACpD,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAW3C,SAAS,WAAW,CAAC,OAA2B,EAAE,SAAiB;IACjE,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;SAChC,IAAI,EAAE;SACN,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,MAAM,CAAE,OAAmC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;SAC3E,IAAI,CAAC,GAAG,CAAC,CAAC;IACb,OAAO,GAAG,MAAM,UAAU,SAAS,EAAE,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,YAAoB;IAC/C,gEAAgE;IAChE,mFAAmF;IACnF,MAAM,QAAQ,GAAG,kBAAkB,CAAC,EAAE,CAAC,CAAC;IACxC,IAAI,QAAQ;QAAE,OAAO,GAAG,CAAC,QAAQ,CAAC,CAAC;IAEnC,MAAM,IAAI,GAAG,EAAE,CAAC,cAAc,CAAC,YAAY,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC9D,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,OAAO,GAAG,CAAC;YACT,GAAG,OAAO,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC,4BAA4B,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE;SAC5F,CAAC,CAAC;IACL,CAAC;IAED,MAAM,MAAM,GAAG,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;IACzF,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,OAAO,GAAG,CACR,MAAM,CAAC,MAAM,CAAC,GAAG,CACf,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,OAAO,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC,4BAA4B,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,CAC1F,CACF,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,OAAO,GAAG,CAAC;YACT,GAAG,OAAO,CAAC,YAAY,CAAC,mDAAmD;YAC3E,wCAAwC;SACzC,CAAC,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IAC3F,OAAO,EAAE,CAAC;QACR,OAAO;QACP,OAAO,EAAE,OAAO,CAAC,cAAc,EAAE;QACjC,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,YAAY;QACZ,kBAAkB,EAAE,WAAW,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;KACzE,CAAC,CAAC;AACL,CAAC"}

package/dist/graph/types.d.ts

@@ -0,0 +1,55 @@
+/**
+ * The graph vocabulary. The edge is the unit (LLD §4, plan 04).
+ *
+ * What a caller must know: `from` and `to` are absolute. Everything that reaches a finding, a
+ * generated file or an identity hash goes through `repoRelative()` first — an absolute path in
+ * evidence makes the hash differ per checkout, which would make the baseline per-machine noise.
+ */
+import type ts from 'typescript';
+/**
+ * `computed` is the reason we own the graph. A dynamic import with a non-literal specifier
+ * resolves to nothing, so it is invisible to a module-graph tool — and it is exactly how a layer
+ * violation hides. We report it so `banned-syntax` can forbid it and the graph stays complete.
+ */
+export type DynamicKind = 'none' | 'literal' | 'computed';
+export type Edge = {
+    /** Absolute path of the importing file. */
+    from: string;
+    /** Absolute path of the imported file, or the bare specifier when `external`. */
+    to: string;
+    /** The specifier exactly as written, which is what a remedy has to quote back. */
+    specifier: string;
+    external: boolean;
+    /** `import type` — some rules care, most do not. */
+    typeOnly: boolean;
+    dynamic: DynamicKind;
+    /** 1-based, precomputed so an edge restored from cache keeps its position. */
+    line: number;
+    col: number;
+    /** Absent when this edge came from the cache rather than from a walk. */
+    node?: ts.Node;
+};
+export type FileFacts = {
+    /** Absolute path. */
+    file: string;
+    edges: Edge[];
+    /** Interface names this file declares an implementation of — for `match: { implements }`. */
+    implementsPorts: string[];
+    /** Exported symbol names, for the `naming` kind. */
+    exports: string[];
+};
+export type ModuleGraph = {
+    /** Absolute paths of every file in the program that is not a declaration file. */
+    files: readonly string[];
+    edges: readonly Edge[];
+    factsFor(file: string): FileFacts | undefined;
+    /**
+     * The SourceFile the reader already parsed. Present when the graph came from a real Program,
+     * absent when it was restored from a written report — which is why the lint probe's `run()`
+     * needs a program and its `ingest()` does not.
+     */
+    sourceFileFor(file: string): ts.SourceFile | undefined;
+    /** How many files were walked rather than restored from cache — the cache-hit assertion. */
+    readonly walkedCount: number;
+};
+//# sourceMappingURL=types.d.ts.map

package/dist/graph/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/graph/types.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC;;;;GAIG;AACH,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,SAAS,GAAG,UAAU,CAAC;AAE1D,MAAM,MAAM,IAAI,GAAG;IACjB,2CAA2C;IAC3C,IAAI,EAAE,MAAM,CAAC;IACb,iFAAiF;IACjF,EAAE,EAAE,MAAM,CAAC;IACX,kFAAkF;IAClF,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,OAAO,CAAC;IAClB,oDAAoD;IACpD,QAAQ,EAAE,OAAO,CAAC;IAClB,OAAO,EAAE,WAAW,CAAC;IACrB,8EAA8E;IAC9E,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;IACZ,yEAAyE;IACzE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,qBAAqB;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,IAAI,EAAE,CAAC;IACd,6FAA6F;IAC7F,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,oDAAoD;IACpD,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,kFAAkF;IAClF,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAAC;IAC9C;;;;OAIG;IACH,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,EAAE,CAAC,UAAU,GAAG,SAAS,CAAC;IACvD,4FAA4F;IAC5F,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B,CAAC"}

package/dist/graph/types.js

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

package/dist/graph/types.js.map

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

package/dist/index.d.ts

@@ -0,0 +1,21 @@
+/**
+ * archcheck's public surface.
+ *
+ * What a caller must know: this is what `import ... from 'archcheck'` gets. Explicit named exports
+ * only — never `export *`, so a dead-code pass can find a symbol nobody consumes. Nothing here has
+ * behaviour of its own; it re-exports the facade and the types an agent needs to read a RunResult.
+ */
+export { type ArchCheck, type BaselineOutcome, buildInitManifest, type CheckOptions, CONFIG_FILENAME, describeViolations, type EmitResult, EXIT, type ExitCode, exitCodeFor, inferLayers, initSummary, type LoadOptions, load, renderManifest, } from './archcheck.js';
+export { BASELINE_PATH, type Baseline, identitiesOf, readBaseline, } from './baseline/index.js';
+export { type ContractType, type EmitCtx, type ExplainCtx, implementedKinds, type Refinement, type ValidateCtx, } from './contracts/index.js';
+export { automatablePercent, FENCE_BEGIN, FENCE_END, MARK, RULES_JSON, type RuleSummary, type RulesDocument, renderRulesTable, replaceFencedRegion, rulesDocument, } from './coverage/index.js';
+export { type ArchitectureException, applyExceptions, todayIso, validateExceptions, } from './exceptions/index.js';
+export { createMemoryFileSystem, createNodeFileSystem, type FileSystem, } from './fs/index.js';
+export { type Budget, createModelProbe, DEFAULT_BUDGET, DEFAULT_MODEL, type JudgeRequest, type JudgeResponse, type JudgeVerdict, type LlmProvider, } from './probes/model/index.js';
+export { type ArchitectureManifest, defineArchitecture } from './registry/define.js';
+export type { Registry } from './registry/index.js';
+export { type JsonReport, type ReportCtx, type Reporter, type ReporterName, reporterFor, reporterNames, type Verdict, verdictFor, } from './report/index.js';
+export { allOk, err, ok, type Result } from './result.js';
+export { type BaselineEntry, CONTRACT_KINDS, type Confidence, type ContractKind, type Coverage, type Diagnostic, type ExceptionStatus, type Fragment, type FragmentTarget, type RawFinding, type Remedy, type Rule, type RunResult, type Severity, type SkipRecord, } from './types.js';
+export { SCHEMA_VERSION, type SchemaVersion } from './version.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EACL,KAAK,SAAS,EACd,KAAK,eAAe,EACpB,iBAAiB,EACjB,KAAK,YAAY,EACjB,eAAe,EACf,kBAAkB,EAClB,KAAK,UAAU,EACf,IAAI,EACJ,KAAK,QAAQ,EACb,WAAW,EACX,WAAW,EACX,WAAW,EACX,KAAK,WAAW,EAChB,IAAI,EACJ,cAAc,GACf,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,aAAa,EACb,KAAK,QAAQ,EACb,YAAY,EACZ,YAAY,GACb,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,KAAK,YAAY,EACjB,KAAK,OAAO,EACZ,KAAK,UAAU,EACf,gBAAgB,EAChB,KAAK,UAAU,EACf,KAAK,WAAW,GACjB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,kBAAkB,EAClB,WAAW,EACX,SAAS,EACT,IAAI,EACJ,UAAU,EACV,KAAK,WAAW,EAChB,KAAK,aAAa,EAClB,gBAAgB,EAChB,mBAAmB,EACnB,aAAa,GACd,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,KAAK,qBAAqB,EAC1B,eAAe,EACf,QAAQ,EACR,kBAAkB,GACnB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,sBAAsB,EACtB,oBAAoB,EACpB,KAAK,UAAU,GAChB,MAAM,eAAe,CAAC;AACvB,OAAO,EACL,KAAK,MAAM,EACX,gBAAgB,EAChB,cAAc,EACd,aAAa,EACb,KAAK,YAAY,EACjB,KAAK,aAAa,EAClB,KAAK,YAAY,EACjB,KAAK,WAAW,GACjB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,KAAK,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AACrF,YAAY,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EACL,KAAK,UAAU,EACf,KAAK,SAAS,EACd,KAAK,QAAQ,EACb,KAAK,YAAY,EACjB,WAAW,EACX,aAAa,EACb,KAAK,OAAO,EACZ,UAAU,GACX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,aAAa,CAAC;AAC1D,OAAO,EACL,KAAK,aAAa,EAClB,cAAc,EACd,KAAK,UAAU,EACf,KAAK,YAAY,EACjB,KAAK,QAAQ,EACb,KAAK,UAAU,EACf,KAAK,eAAe,EACpB,KAAK,QAAQ,EACb,KAAK,cAAc,EACnB,KAAK,UAAU,EACf,KAAK,MAAM,EACX,KAAK,IAAI,EACT,KAAK,SAAS,EACd,KAAK,QAAQ,EACb,KAAK,UAAU,GAChB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,cAAc,EAAE,KAAK,aAAa,EAAE,MAAM,cAAc,CAAC"}