@lucasacoutinho/archer 0.2.1 → 0.3.0

package/dist/analyzer/bindings.d.ts

@@ -0,0 +1,26 @@
+import type { Project, Symbol as TsSymbol } from "typescript/unstable/async";
+import type { Binding } from "../core/model.ts";
+export interface ImportOrigin {
+    readonly source: string;
+    /** `default` for a default import, `*` for the whole module. */
+    readonly name: string;
+    /** `name.member()` calls `member` on the module. */
+    readonly namespace: boolean;
+}
+export type SymbolKind = {
+    readonly _tag: "Global";
+} | {
+    readonly _tag: "Local";
+} | {
+    readonly _tag: "Import";
+    readonly origin: ImportOrigin;
+};
+/**
+ * No declaration in this file is a global, whether a library declares it or nothing does.
+ * Only declarations in this file are resolved, so a lookup never fetches a library file.
+ */
+export declare const classifySymbol: (project: Project, filePath: string, symbol: TsSymbol | undefined) => Promise<SymbolKind>;
+export declare const bindingOfName: (kind: SymbolKind) => Binding;
+/** Only calls on a namespace or default import are uses of the module. */
+export declare const bindingOfMember: (kind: SymbolKind, member: string) => Binding | undefined;
+//# sourceMappingURL=bindings.d.ts.map

package/dist/analyzer/bindings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bindings.d.ts","sourceRoot":"","sources":["../../src/analyzer/bindings.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,IAAI,QAAQ,EAAE,MAAM,2BAA2B,CAAA;AAe5E,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAA;AAG/C,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,gEAAgE;IAChE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,oDAAoD;IACpD,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;CAC5B;AAED,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GAC3B;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAA;CAAE,CAAA;AA+C9D;;;GAGG;AACH,eAAO,MAAM,cAAc,YAAmB,OAAO,YAAY,MAAM,UAAU,QAAQ,GAAG,SAAS,KAAG,OAAO,CAAC,UAAU,CAUzH,CAAA;AAED,eAAO,MAAM,aAAa,SAAU,UAAU,KAAG,OAK7C,CAAA;AAEJ,0EAA0E;AAC1E,eAAO,MAAM,eAAe,SAAU,UAAU,UAAU,MAAM,KAAG,OAAO,GAAG,SAMzE,CAAA"}

package/dist/analyzer/bindings.js

@@ -0,0 +1,61 @@
+import { Match } from "effect";
+import { isBindingElement, isExternalModuleReference, isIdentifier, isImportClause, isImportDeclaration, isImportEqualsDeclaration, isImportSpecifier, isNamespaceImport, isObjectBindingPattern, isStringLiteralLikeNode, isVariableDeclaration, } from "typescript/unstable/ast";
+import { requiredModule } from "./syntax.js";
+const GLOBAL = { _tag: "Global" };
+const LOCAL = { _tag: "Local" };
+const importedFrom = (node) => isImportDeclaration(node) && isStringLiteralLikeNode(node.moduleSpecifier) ? node.moduleSpecifier.text : undefined;
+const originOf = Match.type().pipe(Match.when(isImportSpecifier, (specifier) => {
+    const source = importedFrom(specifier.parent.parent.parent);
+    return source === undefined
+        ? undefined
+        : { source, name: (specifier.propertyName ?? specifier.name).text, namespace: false };
+}), Match.when(isImportClause, (clause) => {
+    const source = importedFrom(clause.parent);
+    return source === undefined ? undefined : { source, name: "default", namespace: true };
+}), Match.when(isNamespaceImport, (namespace) => {
+    const source = importedFrom(namespace.parent.parent);
+    return source === undefined ? undefined : { source, name: "*", namespace: true };
+}), Match.when(isImportEqualsDeclaration, (declaration) => isExternalModuleReference(declaration.moduleReference) && isStringLiteralLikeNode(declaration.moduleReference.expression)
+    ? { source: declaration.moduleReference.expression.text, name: "*", namespace: true }
+    : undefined), Match.when(isVariableDeclaration, (declaration) => {
+    const source = requiredModule(declaration.initializer);
+    return source !== undefined && isIdentifier(declaration.name) ? { source, name: "*", namespace: true } : undefined;
+}), Match.when(isBindingElement, (element) => {
+    const pattern = element.parent;
+    const declaration = pattern.parent;
+    const source = isObjectBindingPattern(pattern) && isVariableDeclaration(declaration) ? requiredModule(declaration.initializer) : undefined;
+    const property = element.propertyName ?? element.name;
+    return source !== undefined &&
+        element.dotDotDotToken === undefined &&
+        property !== undefined &&
+        (isIdentifier(property) || isStringLiteralLikeNode(property))
+        ? { source, name: property.text, namespace: false }
+        : undefined;
+}), Match.orElse(() => undefined));
+/**
+ * No declaration in this file is a global, whether a library declares it or nothing does.
+ * Only declarations in this file are resolved, so a lookup never fetches a library file.
+ */
+export const classifySymbol = async (project, filePath, symbol) => {
+    const here = (symbol?.declarations ?? []).filter((declaration) => declaration.path === filePath);
+    for (const declaration of here) {
+        const node = await declaration.resolve(project);
+        const origin = node === undefined ? undefined : originOf(node);
+        if (origin !== undefined) {
+            return { _tag: "Import", origin };
+        }
+    }
+    return here.length === 0 ? GLOBAL : LOCAL;
+};
+export const bindingOfName = (kind) => Match.valueTags(kind, {
+    Global: () => ({ _tag: "Global" }),
+    Local: () => ({ _tag: "Local" }),
+    Import: ({ origin }) => ({ _tag: "Imported", name: { source: origin.source, name: origin.name } }),
+});
+/** Only calls on a namespace or default import are uses of the module. */
+export const bindingOfMember = (kind, member) => Match.valueTags(kind, {
+    Global: () => undefined,
+    Local: () => undefined,
+    Import: ({ origin }) => origin.namespace ? { _tag: "Imported", name: { source: origin.source, name: member } } : undefined,
+});
+//# sourceMappingURL=bindings.js.map

package/dist/analyzer/bindings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bindings.js","sourceRoot":"","sources":["../../src/analyzer/bindings.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAE9B,OAAO,EACL,gBAAgB,EAChB,yBAAyB,EACzB,YAAY,EACZ,cAAc,EACd,mBAAmB,EACnB,yBAAyB,EACzB,iBAAiB,EACjB,iBAAiB,EACjB,sBAAsB,EACtB,uBAAuB,EACvB,qBAAqB,GAEtB,MAAM,yBAAyB,CAAA;AAEhC,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AAe5C,MAAM,MAAM,GAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;AAC7C,MAAM,KAAK,GAAe,EAAE,IAAI,EAAE,OAAO,EAAE,CAAA;AAE3C,MAAM,YAAY,GAAG,CAAC,IAAU,EAAsB,EAAE,CACtD,mBAAmB,CAAC,IAAI,CAAC,IAAI,uBAAuB,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAA;AAEpH,MAAM,QAAQ,GAAoD,KAAK,CAAC,IAAI,EAAQ,CAAC,IAAI,CACvF,KAAK,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC,SAAS,EAA4B,EAAE;IACpE,MAAM,MAAM,GAAG,YAAY,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IAC3D,OAAO,MAAM,KAAK,SAAS;QACzB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,YAAY,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAA;AACzF,CAAC,CAAC,EACF,KAAK,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC,MAAM,EAA4B,EAAE;IAC9D,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IAC1C,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,CAAA;AACxF,CAAC,CAAC,EACF,KAAK,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC,SAAS,EAA4B,EAAE;IACpE,MAAM,MAAM,GAAG,YAAY,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IACpD,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,CAAA;AAClF,CAAC,CAAC,EACF,KAAK,CAAC,IAAI,CAAC,yBAAyB,EAAE,CAAC,WAAW,EAA4B,EAAE,CAC9E,yBAAyB,CAAC,WAAW,CAAC,eAAe,CAAC,IAAI,uBAAuB,CAAC,WAAW,CAAC,eAAe,CAAC,UAAU,CAAC;IACvH,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE;IACrF,CAAC,CAAC,SAAS,CACd,EACD,KAAK,CAAC,IAAI,CAAC,qBAAqB,EAAE,CAAC,WAAW,EAA4B,EAAE;IAC1E,MAAM,MAAM,GAAG,cAAc,CAAC,WAAW,CAAC,WAAW,CAAC,CAAA;IACtD,OAAO,MAAM,KAAK,SAAS,IAAI,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAA;AACpH,CAAC,CAAC,EACF,KAAK,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC,OAAO,EAA4B,EAAE;IACjE,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAA;IAC9B,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAA;IAClC,MAAM,MAAM,GAAG,sBAAsB,CAAC,OAAO,CAAC,IAAI,qBAAqB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IAC1I,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,IAAI,CAAA;IACrD,OAAO,MAAM,KAAK,SAAS;QACzB,OAAO,CAAC,cAAc,KAAK,SAAS;QACpC,QAAQ,KAAK,SAAS;QACtB,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAC7D,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE;QACnD,CAAC,CAAC,SAAS,CAAA;AACf,CAAC,CAAC,EACF,KAAK,CAAC,MAAM,CAAC,GAA6B,EAAE,CAAC,SAAS,CAAC,CACxD,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,KAAK,EAAE,OAAgB,EAAE,QAAgB,EAAE,MAA4B,EAAuB,EAAE;IAC5H,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,YAAY,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAA;IAChG,KAAK,MAAM,WAAW,IAAI,IAAI,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,MAAM,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;QAC/C,MAAM,MAAM,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;QAC9D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAA;QACnC,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAA;AAC3C,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAgB,EAAW,EAAE,CACzD,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE;IACpB,MAAM,EAAE,GAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC3C,KAAK,EAAE,GAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IACzC,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;CAC5G,CAAC,CAAA;AAEJ,0EAA0E;AAC1E,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,IAAgB,EAAE,MAAc,EAAuB,EAAE,CACvF,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE;IACpB,MAAM,EAAE,GAAwB,EAAE,CAAC,SAAS;IAC5C,KAAK,EAAE,GAAwB,EAAE,CAAC,SAAS;IAC3C,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,EAAuB,EAAE,CAC1C,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS;CACrG,CAAC,CAAA"}

package/dist/analyzer/errors.d.ts

@@ -0,0 +1,34 @@
+import { Schema } from "effect";
+declare const ProjectNotFound_base: Schema.Class<ProjectNotFound, Schema.TaggedStruct<"ProjectNotFound", {
+    readonly tsconfig: Schema.String;
+}>, import("effect/Cause").YieldableError & {
+    readonly brand: unique symbol;
+}>;
+export declare class ProjectNotFound extends ProjectNotFound_base {
+}
+declare const ProjectParseFailed_base: Schema.Class<ProjectParseFailed, Schema.TaggedStruct<"ProjectParseFailed", {
+    readonly tsconfig: Schema.String;
+    readonly diagnostics: Schema.$Array<Schema.String>;
+}>, import("effect/Cause").YieldableError & {
+    readonly brand: unique symbol;
+}>;
+export declare class ProjectParseFailed extends ProjectParseFailed_base {
+}
+declare const AnalyzerUnavailable_base: Schema.Class<AnalyzerUnavailable, Schema.TaggedStruct<"AnalyzerUnavailable", {
+    readonly cause: Schema.Defect;
+}>, import("effect/Cause").YieldableError & {
+    readonly brand: unique symbol;
+}>;
+export declare class AnalyzerUnavailable extends AnalyzerUnavailable_base {
+}
+export type AnalysisError = ProjectNotFound | ProjectParseFailed | AnalyzerUnavailable | GraphFileInvalid;
+declare const GraphFileInvalid_base: Schema.Class<GraphFileInvalid, Schema.TaggedStruct<"GraphFileInvalid", {
+    readonly path: Schema.String;
+    readonly issue: Schema.String;
+}>, import("effect/Cause").YieldableError & {
+    readonly brand: unique symbol;
+}>;
+export declare class GraphFileInvalid extends GraphFileInvalid_base {
+}
+export {};
+//# sourceMappingURL=errors.d.ts.map

package/dist/analyzer/errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/analyzer/errors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;;;;oBAE4D,OAAO,MAAM;;AAAxG,qBAAa,eAAgB,SAAQ,oBAEnC;CAAG;;;;;oBAE4F,OAAO,MAAM;;AAA9G,qBAAa,kBAAmB,SAAQ,uBAGtC;CAAG;;;;oBAE8F,OAAO,MAAM;;AAAhH,qBAAa,mBAAoB,SAAQ,wBAEvC;CAAG;AAEL,MAAM,MAAM,aAAa,GAAG,eAAe,GAAG,kBAAkB,GAAG,mBAAmB,GAAG,gBAAgB,CAAA;;;;;oBAEZ,OAAO,MAAM;;AAA1G,qBAAa,gBAAiB,SAAQ,qBAGpC;CAAG"}

package/dist/analyzer/errors.js

@@ -0,0 +1,20 @@
+import { Schema } from "effect";
+export class ProjectNotFound extends Schema.TaggedError()("ProjectNotFound", {
+    tsconfig: Schema.String,
+}) {
+}
+export class ProjectParseFailed extends Schema.TaggedError()("ProjectParseFailed", {
+    tsconfig: Schema.String,
+    diagnostics: Schema.Array(Schema.String),
+}) {
+}
+export class AnalyzerUnavailable extends Schema.TaggedError()("AnalyzerUnavailable", {
+    cause: Schema.Defect(),
+}) {
+}
+export class GraphFileInvalid extends Schema.TaggedError()("GraphFileInvalid", {
+    path: Schema.String,
+    issue: Schema.String,
+}) {
+}
+//# sourceMappingURL=errors.js.map

package/dist/analyzer/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../../src/analyzer/errors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,MAAM,OAAO,eAAgB,SAAQ,MAAM,CAAC,WAAW,EAAsD,CAAC,iBAAiB,EAAE;IAC/H,QAAQ,EAAE,MAAM,CAAC,MAAM;CACxB,CAAC;CAAG;AAEL,MAAM,OAAO,kBAAmB,SAAQ,MAAM,CAAC,WAAW,EAAyD,CAAC,oBAAoB,EAAE;IACxI,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;CACzC,CAAC;CAAG;AAEL,MAAM,OAAO,mBAAoB,SAAQ,MAAM,CAAC,WAAW,EAA0D,CAAC,qBAAqB,EAAE;IAC3I,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE;CACvB,CAAC;CAAG;AAIL,MAAM,OAAO,gBAAiB,SAAQ,MAAM,CAAC,WAAW,EAAuD,CAAC,kBAAkB,EAAE;IAClI,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,KAAK,EAAE,MAAM,CAAC,MAAM;CACrB,CAAC;CAAG"}

package/dist/analyzer/graph-file.d.ts

@@ -0,0 +1,13 @@
+import { Effect, FileSystem, Schema } from "effect";
+import { Graph } from "../core/model.ts";
+import { GraphFileInvalid } from "./errors.ts";
+/** A saved analysis. The version changes whenever the Graph schema does. */
+export interface GraphFile {
+    readonly format: "archer-graph";
+    readonly version: 1;
+    readonly graph: Graph;
+}
+export declare const GraphFile: Schema.Codec<GraphFile>;
+export declare const formatGraphFile: (graph: Graph) => string;
+export declare const readGraphFile: (path: string) => Effect.Effect<Graph, GraphFileInvalid, FileSystem.FileSystem>;
+//# sourceMappingURL=graph-file.d.ts.map

package/dist/analyzer/graph-file.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"graph-file.d.ts","sourceRoot":"","sources":["../../src/analyzer/graph-file.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACnD,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AACxC,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAA;AAE9C,4EAA4E;AAC5E,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAA;IAC/B,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;IACnB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CACtB;AAED,eAAO,MAAM,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,SAAS,CAI5C,CAAA;AAEF,eAAO,MAAM,eAAe,UAAW,KAAK,KAAG,MACqD,CAAA;AAEpG,eAAO,MAAM,aAAa,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,gBAAgB,EAAE,UAAU,CAAC,UAAU,CAaxG,CAAA"}

package/dist/analyzer/graph-file.js

@@ -0,0 +1,22 @@
+import { Effect, FileSystem, Schema } from "effect";
+import { Graph } from "../core/model.js";
+import { GraphFileInvalid } from "./errors.js";
+export const GraphFile = Schema.Struct({
+    format: Schema.Literal("archer-graph"),
+    version: Schema.Literal(1),
+    graph: Graph,
+});
+export const formatGraphFile = (graph) => `${JSON.stringify(Schema.encodeSync(GraphFile)({ format: "archer-graph", version: 1, graph }))}\n`;
+export const readGraphFile = Effect.fn("readGraphFile")(function* (path) {
+    const fs = yield* FileSystem.FileSystem;
+    const text = yield* fs
+        .readFileString(path)
+        .pipe(Effect.mapError((error) => new GraphFileInvalid({ path, issue: error.message })));
+    const json = yield* Effect.try({
+        try: () => JSON.parse(text),
+        catch: () => new GraphFileInvalid({ path, issue: "not JSON" }),
+    });
+    const file = yield* Schema.decodeUnknownEffect(GraphFile)(json).pipe(Effect.mapError((error) => new GraphFileInvalid({ path, issue: error.message })));
+    return file.graph;
+});
+//# sourceMappingURL=graph-file.js.map

package/dist/analyzer/graph-file.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"graph-file.js","sourceRoot":"","sources":["../../src/analyzer/graph-file.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACnD,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AACxC,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAA;AAS9C,MAAM,CAAC,MAAM,SAAS,GAA4B,MAAM,CAAC,MAAM,CAAC;IAC9D,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC;IACtC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IAC1B,KAAK,EAAE,KAAK;CACb,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,KAAY,EAAU,EAAE,CACtD,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,CAAA;AAEpG,MAAM,CAAC,MAAM,aAAa,GAAoF,MAAM,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAY;IAC9J,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAA;IACvC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE;SACnB,cAAc,CAAC,IAAI,CAAC;SACpB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,gBAAgB,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAA;IACzF,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;QAC7B,GAAG,EAAE,GAAY,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;QACpC,KAAK,EAAE,GAAG,EAAE,CAAC,IAAI,gBAAgB,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;KAC/D,CAAC,CAAA;IACF,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAClE,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,gBAAgB,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CACjF,CAAA;IACD,OAAO,IAAI,CAAC,KAAK,CAAA;AACnB,CAAC,CAAC,CAAA"}

package/dist/analyzer/paths.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Orders strings by UTF-16 code unit, never by locale: JavaScript's `<` on
+ * strings. Every ordering in a Graph uses it, so two runs produce the same
+ * bytes on every machine.
+ */
+export declare const compareCodeUnits: (left: string, right: string) => number;
+export declare const splitPath: (path: string) => ReadonlyArray<string>;
+export declare const NODE_MODULES: string;
+/** `.d.ts`, `.d.mts`, `.d.cts`, and `.d.<ext>.ts` for an arbitrary extension, as TypeScript names them. */
+export declare const isDeclarationFileName: (fileName: string) => boolean;
+export declare const isJsonFileName: (fileName: string) => boolean;
+//# sourceMappingURL=paths.d.ts.map

package/dist/analyzer/paths.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"paths.d.ts","sourceRoot":"","sources":["../../src/analyzer/paths.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,SAAU,MAAM,SAAS,MAAM,KAAG,MAAoD,CAAA;AAEnH,eAAO,MAAM,SAAS,SAAU,MAAM,KAAG,aAAa,CAAC,MAAM,CAI3B,CAAA;AAElC,eAAO,MAAM,YAAY,EAAE,MAAuB,CAAA;AAIlD,2GAA2G;AAC3G,eAAO,MAAM,qBAAqB,aAAc,MAAM,KAAG,OAUxD,CAAA;AAED,eAAO,MAAM,cAAc,aAAc,MAAM,KAAG,OAAqC,CAAA"}

package/dist/analyzer/paths.js

@@ -0,0 +1,26 @@
+/**
+ * Orders strings by UTF-16 code unit, never by locale: JavaScript's `<` on
+ * strings. Every ordering in a Graph uses it, so two runs produce the same
+ * bytes on every machine.
+ */
+export const compareCodeUnits = (left, right) => (left < right ? -1 : left > right ? 1 : 0);
+export const splitPath = (path) => path
+    .replaceAll("\\", "/")
+    .split("/")
+    .filter((part) => part !== "");
+export const NODE_MODULES = "node_modules";
+const declarationSuffixes = [".d.ts", ".d.mts", ".d.cts"];
+/** `.d.ts`, `.d.mts`, `.d.cts`, and `.d.<ext>.ts` for an arbitrary extension, as TypeScript names them. */
+export const isDeclarationFileName = (fileName) => {
+    if (declarationSuffixes.some((suffix) => fileName.endsWith(suffix))) {
+        return true;
+    }
+    if (!fileName.endsWith(".ts")) {
+        return false;
+    }
+    const withoutTs = fileName.slice(0, -".ts".length);
+    const extensionStart = withoutTs.lastIndexOf(".");
+    return extensionStart > 0 && withoutTs.slice(0, extensionStart).endsWith(".d");
+};
+export const isJsonFileName = (fileName) => fileName.endsWith(".json");
+//# sourceMappingURL=paths.js.map

package/dist/analyzer/paths.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"paths.js","sourceRoot":"","sources":["../../src/analyzer/paths.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,IAAY,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAEnH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAY,EAAyB,EAAE,CAC/D,IAAI;KACD,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC;KACrB,KAAK,CAAC,GAAG,CAAC;KACV,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,CAAA;AAElC,MAAM,CAAC,MAAM,YAAY,GAAW,cAAc,CAAA;AAElD,MAAM,mBAAmB,GAA0B,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAA;AAEhF,2GAA2G;AAC3G,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,QAAgB,EAAW,EAAE;IACjE,IAAI,mBAAmB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QACpE,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAA;IACd,CAAC;IACD,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAClD,MAAM,cAAc,GAAG,SAAS,CAAC,WAAW,CAAC,GAAG,CAAC,CAAA;IACjD,OAAO,cAAc,GAAG,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;AAChF,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,QAAgB,EAAW,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA"}

package/dist/analyzer/server-exit.d.ts

@@ -0,0 +1,19 @@
+import type { API } from "typescript/unstable/async";
+/** Resolves when the server process has exited; never resolves when it cannot be found. */
+export declare const serverExit: (api: API) => Promise<void>;
+/**
+ * Releases a client whose server has died without writing to it: `close()`
+ * would first send a `release` request per snapshot, and a write to a dead
+ * process fails with EPIPE outside any promise the adapter can observe.
+ */
+export declare const abandon: (api: API) => void;
+/**
+ * vscode-jsonrpc, bundled in TypeScript, runs `sendRequest` in an async
+ * Promise executor that rethrows a failed write after rejecting the request.
+ * The rethrow rejects a promise nobody holds, so a write to a server that has
+ * just died becomes an unhandled rejection. A failed write means the server is
+ * gone, and `serverExit` already fails the request, so the write's error is
+ * not passed back to the library.
+ */
+export declare const muteFailedWrites: (api: API) => void;
+//# sourceMappingURL=server-exit.d.ts.map

package/dist/analyzer/server-exit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"server-exit.d.ts","sourceRoot":"","sources":["../../src/analyzer/server-exit.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,2BAA2B,CAAA;AAgBpD,2FAA2F;AAC3F,eAAO,MAAM,UAAU,QAAS,GAAG,KAAG,OAAO,CAAC,IAAI,CAWjD,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,OAAO,QAAS,GAAG,KAAG,IAUlC,CAAA;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,gBAAgB,QAAS,GAAG,KAAG,IAc3C,CAAA"}

package/dist/analyzer/server-exit.js

@@ -0,0 +1,70 @@
+import { ChildProcess } from "node:child_process";
+/**
+ * TypeScript's async client never rejects a request to a server that has
+ * died, so the adapter watches the server process itself. The client keeps
+ * it in a private field; `test/analyzer/server-exit.test.ts` fails when that
+ * changes.
+ */
+const serverProcess = (api) => {
+    const client = Reflect.get(api, "client");
+    const child = typeof client === "object" && client !== null ? Reflect.get(client, "process") : undefined;
+    return child instanceof ChildProcess ? child : undefined;
+};
+const NEVER = new Promise(() => undefined);
+/** Resolves when the server process has exited; never resolves when it cannot be found. */
+export const serverExit = (api) => {
+    const child = serverProcess(api);
+    if (child === undefined) {
+        return NEVER;
+    }
+    if (child.exitCode !== null || child.signalCode !== null) {
+        return Promise.resolve();
+    }
+    return new Promise((resolve) => {
+        child.once("exit", () => resolve());
+    });
+};
+/**
+ * Releases a client whose server has died without writing to it: `close()`
+ * would first send a `release` request per snapshot, and a write to a dead
+ * process fails with EPIPE outside any promise the adapter can observe.
+ */
+export const abandon = (api) => {
+    const client = Reflect.get(api, "client");
+    const connection = typeof client === "object" && client !== null ? Reflect.get(client, "connection") : undefined;
+    if (typeof connection === "object" && connection !== null) {
+        const dispose = Reflect.get(connection, "dispose");
+        if (typeof dispose === "function")
+            Reflect.apply(dispose, connection, []);
+    }
+    const child = serverProcess(api);
+    child?.stdin?.destroy();
+    child?.stdout?.destroy();
+};
+/**
+ * vscode-jsonrpc, bundled in TypeScript, runs `sendRequest` in an async
+ * Promise executor that rethrows a failed write after rejecting the request.
+ * The rethrow rejects a promise nobody holds, so a write to a server that has
+ * just died becomes an unhandled rejection. A failed write means the server is
+ * gone, and `serverExit` already fails the request, so the write's error is
+ * not passed back to the library.
+ */
+export const muteFailedWrites = (api) => {
+    const stdin = serverProcess(api)?.stdin;
+    if (stdin === undefined || stdin === null)
+        return;
+    const write = Reflect.get(stdin, "write");
+    if (typeof write !== "function")
+        return;
+    Reflect.set(stdin, "write", (...args) => {
+        const last = args.at(-1);
+        if (typeof last === "function") {
+            args[args.length - 1] = (error) => {
+                if (error === undefined || error === null)
+                    Reflect.apply(last, undefined, []);
+            };
+        }
+        return Reflect.apply(write, stdin, args);
+    });
+};
+//# sourceMappingURL=server-exit.js.map

package/dist/analyzer/server-exit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"server-exit.js","sourceRoot":"","sources":["../../src/analyzer/server-exit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAGjD;;;;;GAKG;AACH,MAAM,aAAa,GAAG,CAAC,GAAQ,EAA4B,EAAE;IAC3D,MAAM,MAAM,GAAY,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAA;IAClD,MAAM,KAAK,GAAY,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IACjH,OAAO,KAAK,YAAY,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;AAC1D,CAAC,CAAA;AAED,MAAM,KAAK,GAAkB,IAAI,OAAO,CAAO,GAAG,EAAE,CAAC,SAAS,CAAC,CAAA;AAE/D,2FAA2F;AAC3F,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,GAAQ,EAAiB,EAAE;IACpD,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,CAAA;IAChC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QACzD,OAAO,OAAO,CAAC,OAAO,EAAE,CAAA;IAC1B,CAAC;IACD,OAAO,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,EAAE;QACnC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC,CAAA;IACrC,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,GAAQ,EAAQ,EAAE;IACxC,MAAM,MAAM,GAAY,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAA;IAClD,MAAM,UAAU,GAAY,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IACzH,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QAC1D,MAAM,OAAO,GAAY,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,SAAS,CAAC,CAAA;QAC3D,IAAI,OAAO,OAAO,KAAK,UAAU;YAAE,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,EAAE,CAAC,CAAA;IAC3E,CAAC;IACD,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,CAAA;IAChC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAA;IACvB,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,CAAA;AAC1B,CAAC,CAAA;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,GAAQ,EAAQ,EAAE;IACjD,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,EAAE,KAAK,CAAA;IACvC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI;QAAE,OAAM;IACjD,MAAM,KAAK,GAAY,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;IAClD,IAAI,OAAO,KAAK,KAAK,UAAU;QAAE,OAAM;IACvC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,GAAG,IAAoB,EAAW,EAAE;QAC/D,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QACxB,IAAI,OAAO,IAAI,KAAK,UAAU,EAAE,CAAC;YAC/B,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,KAAc,EAAQ,EAAE;gBAC/C,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI;oBAAE,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE,CAAC,CAAA;YAC/E,CAAC,CAAA;QACH,CAAC;QACD,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;IAC1C,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA"}

package/dist/analyzer/source.d.ts

@@ -0,0 +1,29 @@
+import type { Project } from "typescript/unstable/async";
+import { type SourceFile } from "typescript/unstable/ast";
+import type { Declaration, DependencyKind, Location, Use } from "../core/model.ts";
+export type Resolution = {
+    readonly _tag: "Computed";
+} | {
+    readonly _tag: "Module";
+    readonly path: string;
+    readonly isFile: boolean;
+} | {
+    readonly _tag: "Missing";
+} | {
+    readonly _tag: "Unchecked";
+};
+export interface RawDependency {
+    readonly kind: DependencyKind;
+    readonly specifier: string;
+    readonly location: Location;
+    readonly resolution: Resolution;
+}
+export interface RawSource {
+    readonly dependencies: ReadonlyArray<RawDependency>;
+    readonly declarations: ReadonlyArray<Declaration>;
+    readonly exports: ReadonlyArray<string>;
+    readonly uses: ReadonlyArray<Use>;
+    readonly lines: number;
+}
+export declare const readSource: (project: Project, sourceFile: SourceFile) => Promise<RawSource>;
+//# sourceMappingURL=source.d.ts.map

package/dist/analyzer/source.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"source.d.ts","sourceRoot":"","sources":["../../src/analyzer/source.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAA;AACxD,OAAO,EAAc,KAAK,UAAU,EAAE,MAAM,yBAAyB,CAAA;AACrE,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,kBAAkB,CAAA;AAKlF,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GAC7B;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;CAAE,GAC5E;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;CAAE,CAAA;AAElC,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;IAC3B,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAA;CAChC;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,aAAa,CAAC,CAAA;IACnD,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,WAAW,CAAC,CAAA;IACjD,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACvC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,CAAC,CAAA;IACjC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CACvB;AAWD,eAAO,MAAM,UAAU,YAAmB,OAAO,cAAc,UAAU,KAAG,OAAO,CAAC,SAAS,CAgE5F,CAAA"}

package/dist/analyzer/source.js

@@ -0,0 +1,58 @@
+import { Match } from "effect";
+import { SyntaxKind } from "typescript/unstable/ast";
+import { bindingOfMember, bindingOfName, classifySymbol } from "./bindings.js";
+import { compareCodeUnits } from "./paths.js";
+import { countLines, declarationsOf, locationOf, scanSource } from "./syntax.js";
+const byLocation = (left, right) => left.location.line - right.location.line || left.location.column - right.location.column;
+const compareUses = (left, right) => byLocation(left, right) || compareCodeUnits(left.kind, right.kind) || compareCodeUnits(left.name, right.name);
+const compareDependencies = (left, right) => byLocation(left, right) || compareCodeUnits(left.specifier, right.specifier) || compareCodeUnits(left.kind, right.kind);
+export const readSource = async (project, sourceFile) => {
+    const scan = scanSource(sourceFile);
+    const checkable = scan.sites.filter((site) => site.checkable);
+    const isModule = sourceFile.externalModuleIndicator !== undefined;
+    // One checker request per file: specifier literals, then callee roots, then the file itself.
+    const nodes = [...checkable.map((site) => site.node), ...scan.calls.map((call) => call.root), ...(isModule ? [sourceFile] : [])];
+    const symbols = nodes.length === 0 ? [] : await project.checker.getSymbolAtLocation(nodes);
+    const moduleSymbols = new Map(checkable.map((site, index) => [site, symbols[index]]));
+    const callSymbols = symbols.slice(checkable.length, checkable.length + scan.calls.length);
+    const fileSymbol = isModule ? symbols[nodes.length - 1] : undefined;
+    const dependencies = scan.sites
+        .map((site) => {
+        const symbol = moduleSymbols.get(site);
+        const declaration = symbol?.declarations.find((candidate) => candidate.kind === SyntaxKind.SourceFile) ?? symbol?.declarations[0];
+        const resolution = Match.value(site).pipe(Match.when({ computed: true }, () => ({ _tag: "Computed" })), Match.when({ checkable: false }, () => ({ _tag: "Unchecked" })), Match.orElse(() => declaration === undefined
+            ? { _tag: "Missing" }
+            : { _tag: "Module", path: declaration.path, isFile: declaration.kind === SyntaxKind.SourceFile }));
+        return { kind: site.kind, specifier: site.specifier, location: locationOf(sourceFile, site.node), resolution };
+    })
+        .toSorted(compareDependencies);
+    const kinds = new Map();
+    const kindOf = (index) => {
+        const symbol = callSymbols[index];
+        const cached = symbol === undefined ? undefined : kinds.get(symbol.id);
+        const kind = cached ?? classifySymbol(project, sourceFile.path, symbol);
+        if (symbol !== undefined) {
+            kinds.set(symbol.id, kind);
+        }
+        return kind;
+    };
+    const [callKinds, exportSymbols] = await Promise.all([
+        Promise.all(scan.calls.map((_, index) => kindOf(index))),
+        fileSymbol === undefined ? Promise.resolve([]) : project.checker.getExportsOfModule(fileSymbol),
+    ]);
+    const calls = scan.calls.flatMap((call, index) => {
+        const kind = callKinds[index];
+        const binding = kind === undefined ? undefined : call.member === undefined ? bindingOfName(kind) : bindingOfMember(kind, call.member);
+        return binding === undefined ? [] : [{ kind: "call", name: call.name, binding, location: locationOf(sourceFile, call.callee) }];
+    });
+    const equalities = scan.looseEqualities.map((token) => ({ kind: "looseEquality", name: token.getText(sourceFile), binding: { _tag: "Local" }, location: locationOf(sourceFile, token) }));
+    const exports = [...new Set(exportSymbols.map((symbol) => symbol.name))].toSorted(compareCodeUnits);
+    return {
+        dependencies,
+        declarations: declarationsOf(sourceFile),
+        exports,
+        uses: [...calls, ...equalities].toSorted(compareUses),
+        lines: countLines(sourceFile.text),
+    };
+};
+//# sourceMappingURL=source.js.map

package/dist/analyzer/source.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"source.js","sourceRoot":"","sources":["../../src/analyzer/source.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAE9B,OAAO,EAAE,UAAU,EAAmB,MAAM,yBAAyB,CAAA;AAErE,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,cAAc,EAAmB,MAAM,eAAe,CAAA;AAC/F,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAC7C,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAuBhF,MAAM,UAAU,GAAG,CAAC,IAAqC,EAAE,KAAsC,EAAU,EAAE,CAC3G,IAAI,CAAC,QAAQ,CAAC,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAA;AAE1F,MAAM,WAAW,GAAG,CAAC,IAAS,EAAE,KAAU,EAAU,EAAE,CACpD,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;AAE/G,MAAM,mBAAmB,GAAG,CAAC,IAAmB,EAAE,KAAoB,EAAU,EAAE,CAChF,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;AAEzH,MAAM,CAAC,MAAM,UAAU,GAAG,KAAK,EAAE,OAAgB,EAAE,UAAsB,EAAsB,EAAE;IAC/F,MAAM,IAAI,GAAG,UAAU,CAAC,UAAU,CAAC,CAAA;IACnC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IAC7D,MAAM,QAAQ,GAAG,UAAU,CAAC,uBAAuB,KAAK,SAAS,CAAA;IAEjE,6FAA6F;IAC7F,MAAM,KAAK,GAAG,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAChI,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAA;IAC1F,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAU,CAAC,CAAC,CAAA;IAC9F,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IACzF,MAAM,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IAEnE,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK;SAC5B,GAAG,CAAC,CAAC,IAAI,EAAiB,EAAE;QAC3B,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACtC,MAAM,WAAW,GAAG,MAAM,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,CAAC,IAAI,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,CAAA;QACjI,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CACvC,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,GAAe,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,EACxE,KAAK,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,GAAe,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC,EAC3E,KAAK,CAAC,MAAM,CACV,GAAe,EAAE,CACf,WAAW,KAAK,SAAS;YACvB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE;YACrB,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,EAAE,CACrG,CACF,CAAA;QACD,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,QAAQ,EAAE,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAA;IAChH,CAAC,CAAC;SACD,QAAQ,CAAC,mBAAmB,CAAC,CAAA;IAEhC,MAAM,KAAK,GAAG,IAAI,GAAG,EAA+B,CAAA;IACpD,MAAM,MAAM,GAAG,CAAC,KAAa,EAAuB,EAAE;QACpD,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,CAAA;QACjC,MAAM,MAAM,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;QACtE,MAAM,IAAI,GAAG,MAAM,IAAI,cAAc,CAAC,OAAO,EAAE,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;QACvE,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;QAC5B,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC,CAAA;IAED,MAAM,CAAC,SAAS,EAAE,aAAa,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACnD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QACxD,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,UAAU,CAAC;KAChG,CAAC,CAAA;IAEF,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAsB,EAAE;QACnE,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAA;QAC7B,MAAM,OAAO,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;QACrI,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IACjI,CAAC,CAAC,CAAA;IACF,MAAM,UAAU,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CACzC,CAAC,KAAK,EAAO,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,UAAU,CAAC,UAAU,EAAE,KAAK,CAAC,EAAE,CAAC,CAClJ,CAAA;IAED,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAA;IAEnG,OAAO;QACL,YAAY;QACZ,YAAY,EAAE,cAAc,CAAC,UAAU,CAAC;QACxC,OAAO;QACP,IAAI,EAAE,CAAC,GAAG,KAAK,EAAE,GAAG,UAAU,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC;QACrD,KAAK,EAAE,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC;KACnC,CAAA;AACH,CAAC,CAAA"}

package/dist/analyzer/syntax.d.ts

@@ -0,0 +1,29 @@
+import { type Identifier, type Node, type SourceFile } from "typescript/unstable/ast";
+import type { Declaration, DependencyKind, Location } from "../core/model.ts";
+export declare const locationOf: (sourceFile: SourceFile, node: Node) => Location;
+/** A trailing newline ends the last line instead of starting another; an empty file has no lines. */
+export declare const countLines: (text: string) => number;
+export interface ImportSite {
+    readonly kind: DependencyKind;
+    readonly node: Node;
+    readonly specifier: string;
+    readonly computed: boolean;
+    /** The checker does not resolve `require()` in a TypeScript file. */
+    readonly checkable: boolean;
+}
+export interface CallSite {
+    readonly name: string;
+    readonly root: Identifier;
+    readonly member: string | undefined;
+    readonly callee: Node;
+}
+export interface Scan {
+    readonly sites: ReadonlyArray<ImportSite>;
+    readonly calls: ReadonlyArray<CallSite>;
+    readonly looseEqualities: ReadonlyArray<Node>;
+}
+export declare const scanSource: (sourceFile: SourceFile) => Scan;
+export declare const requiredModule: (node: Node | undefined) => string | undefined;
+/** A variable statement gives one declaration per bound name, all at the statement's location. */
+export declare const declarationsOf: (sourceFile: SourceFile) => ReadonlyArray<Declaration>;
+//# sourceMappingURL=syntax.d.ts.map

package/dist/analyzer/syntax.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"syntax.d.ts","sourceRoot":"","sources":["../../src/analyzer/syntax.ts"],"names":[],"mappings":"AACA,OAAO,EAsCL,KAAK,UAAU,EAGf,KAAK,IAAI,EAET,KAAK,UAAU,EAChB,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,QAAQ,EAAsB,MAAM,kBAAkB,CAAA;AAEjG,eAAO,MAAM,UAAU,eAAgB,UAAU,QAAQ,IAAI,KAAG,QAG/D,CAAA;AAED,qGAAqG;AACrG,eAAO,MAAM,UAAU,SAAU,MAAM,KAAG,MASzC,CAAA;AAKD,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;IAC7B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,qEAAqE;IACrE,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;CAC5B;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAA;IACnC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAA;CACtB;AAED,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,CAAA;IACzC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;IACvC,QAAQ,CAAC,eAAe,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;CAC9C;AAyDD,eAAO,MAAM,UAAU,eAAgB,UAAU,KAAG,IAiFnD,CAAA;AAED,eAAO,MAAM,cAAc,SAAU,IAAI,GAAG,SAAS,KAAG,MAAM,GAAG,SASlD,CAAA;AA+Ff,kGAAkG;AAClG,eAAO,MAAM,cAAc,eAAgB,UAAU,KAAG,aAAa,CAAC,WAAW,CA0DhF,CAAA"}