@backthread/extractor 0.1.0

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

@@ -0,0 +1,186 @@
+import type { NormalizedGraph } from './types.js';
+/**
+ * The extractor languages the pipeline supports. The dispatch (graph/extract.ts)
+ * picks ONE per repo; every source-path predicate below is parameterized by it so
+ * a single implementation serves both the ts-morph (TS) and Pyright (Python,
+ * ) adapters. `ts` is the default everywhere the caller can't yet supply a
+ * language (the incremental diff classifier is TS-only today).
+ */
+export type SourceLang = 'ts' | 'python';
+/** TS/JS source extensions the ts-morph adapter parses (mirror of its SOURCE_GLOBS). */
+export declare const SOURCE_EXTENSIONS: readonly ["ts", "tsx", "js", "jsx", "mts", "cts", "mjs", "cjs"];
+/** Python source extensions the Pyright adapter parses (module + stub files). */
+export declare const PYTHON_SOURCE_EXTENSIONS: readonly ["py", "pyi"];
+/** Directories the ts-morph adapter's glob excludes (mirror of the adapter's EXCLUDE_DIRS). */
+export declare const EXCLUDE_DIRS: readonly ["node_modules", "dist", "build", "out", "coverage", ".git", ".next", ".vite", ".turbo"];
+/**
+ * Directories the Python adapter's walk excludes: virtualenvs, tool caches, egg
+ * builds, and vendored deps. Mirrors the TS EXCLUDE_DIRS role — none of these
+ * hold first-party source, and walking them would (a) misclassify installed deps
+ * as internal and (b) blow the install-free promise. `.`-prefixed dirs (`.venv`,
+ * `.tox`, `.mypy_cache`) are also caught by the dot-segment skip below, but are
+ * listed explicitly so the policy is self-contained.
+ */
+export declare const PYTHON_EXCLUDE_DIRS: readonly ["__pycache__", ".venv", "venv", "env", ".tox", ".nox", ".mypy_cache", ".pytest_cache", ".ruff_cache", ".eggs", "site-packages", ".git", "build", "dist", "node_modules"];
+/**
+ * Does a repo-relative posix path denote a file the extractor would include?
+ * For `ts` this mirrors the ts-morph adapter's glob EXACTLY (verified empirically
+ * + by the equivalence fixture): matching extension, no excluded-dir segment, and
+ * NO dotted segment — ts-morph's globbing skips dot-directories AND dot-files by
+ * default (`.storybook/x.ts`, `src/.hidden.ts` are not added), so the diff
+ * classifier must skip them too or a patched graph would diverge from a full
+ * extract. For `python` the same shape holds with `.py`/`.pyi` + the Python
+ * exclude set; the dot-segment skip drops `.venv`/`.tox`/… while keeping
+ * `__init__.py` (a `_`-prefixed name, not a dotted one).
+ */
+export declare function isSourceFilePath(path: string, lang?: SourceLang): boolean;
+/** Does a repo-relative path name a resolution-affecting config file? */
+export declare function isConfigInvalidatorPath(path: string): boolean;
+/**
+ * Stage B — the blob-cache KEY COMPONENT. A `file_parse_cache` row is
+ * keyed (repo_id, blob_sha, extractor_version): blob-identical content can
+ * only be reused while the per-file extraction SEMANTICS are unchanged. Bump
+ * this whenever per-file extraction OUTPUT can change for the same blob:
+ * adapter edge semantics (extractFileImportsRecord/extractFileCalls), the
+ * source globs / EXCLUDE_DIRS policy, an invalidator-policy change that alters
+ * output, or the FileRecord shape itself. A bump cleanly orphans every cached
+ * row (all lookups miss → re-parse — the once-per-version cost; saveParseCache
+ * GCs the orphaned versions best-effort). Version 1 is RESERVED for the
+ * implicit Stage-A semantics and is never written to the table.
+ */
+export declare const EXTRACTOR_VERSION = 2;
+/** A resolved internal edge out of a file (target = repo-relative file id). */
+export interface FileEdgeRef {
+    to: string;
+    weight: number;
+}
+/** An external dependency referenced by a file (unresolved bare specifier). */
+export interface FileExternalRef {
+    id: string;
+    specifier: string;
+    weight: number;
+}
+/** Everything the extractor derives from ONE source file (+ tree resolution). */
+export interface FileRecord {
+    loc: number;
+    language: string;
+    /** Resolved internal import/export-from targets (kind 'import'). */
+    imports: FileEdgeRef[];
+    /** External packages referenced (kind 'import', external). */
+    externals: FileExternalRef[];
+    /** Resolved internal call/new targets (kind 'call') — the EXPENSIVE part. */
+    calls: FileEdgeRef[];
+    /**
+     * Resolved internal targets of `export … from` declarations — the re-export
+     * surface a change can propagate THROUGH (see computeCallPatchUnit). Subset
+     * of `imports` targets.
+     */
+    reexports: string[];
+    /** Git blob sha at the state's head (serialization only; Stage-B cache key). */
+    blobSha?: string;
+}
+/** The carried graph: a full-commit-sha head + one record per source file. */
+export interface FileGraphState {
+    /** FULL commit sha the state corresponds to (diff base for the next patch). */
+    headSha: string;
+    files: Record<string, FileRecord>;
+}
+/**
+ * Assemble the NormalizedGraph the clustering layer consumes from a file-graph
+ * state. Files are emitted in SORTED path order — deterministic across
+ * platforms and identical between the batch and incremental paths (Louvain's
+ * seeded RNG consumes node insertion order, so ordering is part of output
+ * stability).
+ */
+export declare function graphFromState(root: string, state: FileGraphState): NormalizedGraph;
+/** One `git diff --name-status --no-renames` entry (renames arrive as D+A). */
+export interface DiffEntry {
+    /** A=added, M=modified, D=deleted, T=type-change; anything else is rare. */
+    status: string;
+    path: string;
+}
+export interface ClassifiedDiff {
+    /** Source files added at this checkpoint. */
+    sourceAdded: string[];
+    /** Source files whose content changed. */
+    sourceModified: string[];
+    /** Source files removed. */
+    sourceDeleted: string[];
+    /** Resolution-affecting config paths touched → force a FULL extract. */
+    invalidators: string[];
+    /**
+     * Did the SOURCE-FILE SHAPE of the tree change (adds/deletes/type-changes)?
+     * Shape changes can flip OTHER files' specifier resolution (a new file an
+     * existing `./util` import now resolves to; a deleted target), so the engine
+     * rebuilds its Project + re-resolves every file's imports. Content-only
+     * (M) diffs can't move resolution and take the cheap refresh path.
+     */
+    shapeChanged: boolean;
+}
+/** Classify a checkpoint's diff entries into the engine's decision inputs. */
+export declare function classifyDiff(entries: readonly DiffEntry[]): ClassifiedDiff;
+/**
+ * Expand `seeds` (changed/deleted paths) through re-export chains: any file
+ * whose `reexports` include a member of the closure joins it, to fixpoint.
+ */
+export declare function reexportClosure(seeds: ReadonlySet<string>, reexportsByFile: ReadonlyMap<string, readonly string[]>): Set<string>;
+/**
+ * The set of files whose CALL edges must be re-extracted at this checkpoint.
+ * All inputs reflect the CURRENT tree (post-diff): `freshImports` are the
+ * just-re-resolved import edges, `prevImports` the carried ones (absent for
+ * new files), `reexports` the fresh re-export targets per file.
+ */
+export declare function computeCallPatchUnit(args: {
+    added: readonly string[];
+    modified: readonly string[];
+    deleted: readonly string[];
+    /** Current files → freshly resolved import edges. */
+    freshImports: ReadonlyMap<string, readonly FileEdgeRef[]>;
+    /** Carried state's import edges (pre-diff), keyed by file. */
+    prevImports: ReadonlyMap<string, readonly FileEdgeRef[]>;
+    /** Current files → fresh re-export targets. */
+    reexports: ReadonlyMap<string, readonly string[]>;
+}): Set<string>;
+export declare const FILE_GRAPH_VERSION = 1;
+export interface SerializedFileGraph {
+    version: number;
+    /** FULL commit sha the graph corresponds to. */
+    headSha: string;
+    files: Record<string, FileRecord>;
+    /**
+     * Stage B: boots since the last full-extract reconciliation pass
+     * (container.ts), riding the fileGraph payload because it shares the graph's
+     * exact lifecycle — persist_snapshot overwrites the whole extraction_cache
+     * payload mid-boot, and the boot-end fileGraph save re-adds both together.
+     * Optional + tolerated by deserializeFileGraph (older payloads lack it; the
+     * container reads it off the RAW serialized object, defaulting 0).
+     */
+    bootsSinceReconcile?: number;
+}
+export declare function serializeFileGraph(state: FileGraphState, blobShaByPath?: ReadonlyMap<string, string>): SerializedFileGraph;
+/**
+ * Validate ONE untrusted jsonb value as a FileRecord — the per-record half of
+ * deserializeFileGraph's shape guard, exported ( Stage B) so the blob
+ * parse-cache reader (assemble/parse-cache.ts) applies the SAME rigor per row
+ * without duplicating it. A row failing this is treated as a cache miss, never
+ * an error: a corrupt cached record must degrade to a re-parse.
+ */
+export declare function isValidFileRecord(v: unknown): v is FileRecord;
+/**
+ * Validate + adopt a serialized file graph. Returns null for anything not
+ * usable as a seed (wrong version, missing head, malformed records) — the
+ * caller then seeds with a full extract instead. NEVER throws: a corrupt cache
+ * must degrade to a full extract, not fail the ingest. Unknown extra fields
+ * (e.g. the Stage-B `bootsSinceReconcile` counter) are TOLERATED — older and
+ * newer payloads must round-trip through each other's readers.
+ */
+export declare function deserializeFileGraph(v: unknown): FileGraphState | null;
+/**
+ * Paths whose records DIFFER between two states (union of both key sets — a
+ * path present in only one side counts as drifted). Comparison is ORDER-
+ * INSENSITIVE over the imports/externals/calls/reexports arrays (extraction
+ * order is not semantics) and IGNORES blobSha (a serialization tag, not
+ * extractor output). Pure; never throws.
+ */
+export declare function diffFileGraphStates(a: FileGraphState, b: FileGraphState): string[];
+//# sourceMappingURL=file-graph.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"file-graph.d.ts","sourceRoot":"","sources":["../../src/graph/file-graph.ts"],"names":[],"mappings":"AAsBA,OAAO,KAAK,EAAE,eAAe,EAA2B,MAAM,YAAY,CAAC;AAK3E;;;;;;GAMG;AACH,MAAM,MAAM,UAAU,GAAG,IAAI,GAAG,QAAQ,CAAC;AAEzC,wFAAwF;AACxF,eAAO,MAAM,iBAAiB,iEAAkE,CAAC;AAEjG,iFAAiF;AACjF,eAAO,MAAM,wBAAwB,wBAAyB,CAAC;AAE/D,+FAA+F;AAC/F,eAAO,MAAM,YAAY,mGAUf,CAAC;AAEX;;;;;;;GAOG;AACH,eAAO,MAAM,mBAAmB,oLAgBtB,CAAC;AAOX;;;;;;;;;;GAUG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,GAAE,UAAiB,GAAG,OAAO,CAS/E;AA+BD,yEAAyE;AACzE,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAG7D;AAED;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,iBAAiB,IAAI,CAAC;AAKnC,+EAA+E;AAC/E,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,+EAA+E;AAC/E,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,iFAAiF;AACjF,MAAM,WAAW,UAAU;IACzB,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,EAAE,MAAM,CAAC;IACjB,oEAAoE;IACpE,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,8DAA8D;IAC9D,SAAS,EAAE,eAAe,EAAE,CAAC;IAC7B,6EAA6E;IAC7E,KAAK,EAAE,WAAW,EAAE,CAAC;IACrB;;;;OAIG;IACH,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,gFAAgF;IAChF,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,8EAA8E;AAC9E,MAAM,WAAW,cAAc;IAC7B,+EAA+E;IAC/E,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;CACnC;AAMD;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,cAAc,GAAG,eAAe,CAyBnF;AAKD,+EAA+E;AAC/E,MAAM,WAAW,SAAS;IACxB,4EAA4E;IAC5E,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,cAAc;IAC7B,6CAA6C;IAC7C,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,0CAA0C;IAC1C,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,4BAA4B;IAC5B,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,wEAAwE;IACxE,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB;;;;;;OAMG;IACH,YAAY,EAAE,OAAO,CAAC;CACvB;AAED,8EAA8E;AAC9E,wBAAgB,YAAY,CAAC,OAAO,EAAE,SAAS,SAAS,EAAE,GAAG,cAAc,CAoC1E;AA6BD;;;GAGG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,EAC1B,eAAe,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,GACtD,GAAG,CAAC,MAAM,CAAC,CAcb;AASD;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE;IACzC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,qDAAqD;IACrD,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,CAAC,CAAC;IAC1D,8DAA8D;IAC9D,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,CAAC,CAAC;IACzD,+CAA+C;IAC/C,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;CACnD,GAAG,GAAG,CAAC,MAAM,CAAC,CAuBd;AAeD,eAAO,MAAM,kBAAkB,IAAI,CAAC;AAEpC,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,MAAM,CAAC;IAChB,gDAAgD;IAChD,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAClC;;;;;;;OAOG;IACH,mBAAmB,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,cAAc,EACrB,aAAa,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GAC1C,mBAAmB,CAOrB;AAgBD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,UAAU,CAQ7D;AAED;;;;;;;GAOG;AACH,wBAAgB,oBAAoB,CAAC,CAAC,EAAE,OAAO,GAAG,cAAc,GAAG,IAAI,CAsBtE;AA4BD;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,cAAc,GAAG,MAAM,EAAE,CAuBlF"}

package/dist/graph/file-graph.js

@@ -0,0 +1,427 @@
+// Stage A — the PURE file-level graph model behind diff-driven
+// incremental extraction.
+//
+// The per-merge walk used to run a FULL ts-morph extract of the whole
+// repo at EVERY checkpoint — O(repo) per merge, which blew the 10-min container
+// watchdog on a busy repo. Stage A makes the walk carry a FILE-LEVEL
+// graph in memory: seed it once (full extract, or the extraction_cache's
+// serialized copy), then per checkpoint patch it from `git diff --name-status`
+// — re-running the EXPENSIVE extraction (ts-morph symbol resolution for call
+// edges) only on the files the merge actually touched (+ the dependents that
+// can observe the change; see computeCallPatchUnit).
+//
+// This module is deliberately PURE (no git, no ts-morph, no fs): the state
+// shape, the NormalizedGraph assembly, the diff classification, the dependents
+// closure, and the (de)serialization that rides in extraction_cache. The impure
+// engine that owns the ts-morph Project lives in incremental.ts.
+//
+// EQUIVALENCE CONTRACT (load-bearing): a patched state at commit N must produce
+// the SAME NormalizedGraph a full extract at N would — guarded by the fixture
+// test in incremental-equivalence.test.ts. If you change edge semantics here or
+// in the adapter, change BOTH sides and re-run that test.
+/** TS/JS source extensions the ts-morph adapter parses (mirror of its SOURCE_GLOBS). */
+export const SOURCE_EXTENSIONS = ['ts', 'tsx', 'js', 'jsx', 'mts', 'cts', 'mjs', 'cjs'];
+/** Python source extensions the Pyright adapter parses (module + stub files). */
+export const PYTHON_SOURCE_EXTENSIONS = ['py', 'pyi'];
+/** Directories the ts-morph adapter's glob excludes (mirror of the adapter's EXCLUDE_DIRS). */
+export const EXCLUDE_DIRS = [
+    'node_modules',
+    'dist',
+    'build',
+    'out',
+    'coverage',
+    '.git',
+    '.next',
+    '.vite',
+    '.turbo',
+];
+/**
+ * Directories the Python adapter's walk excludes: virtualenvs, tool caches, egg
+ * builds, and vendored deps. Mirrors the TS EXCLUDE_DIRS role — none of these
+ * hold first-party source, and walking them would (a) misclassify installed deps
+ * as internal and (b) blow the install-free promise. `.`-prefixed dirs (`.venv`,
+ * `.tox`, `.mypy_cache`) are also caught by the dot-segment skip below, but are
+ * listed explicitly so the policy is self-contained.
+ */
+export const PYTHON_EXCLUDE_DIRS = [
+    '__pycache__',
+    '.venv',
+    'venv',
+    'env',
+    '.tox',
+    '.nox',
+    '.mypy_cache',
+    '.pytest_cache',
+    '.ruff_cache',
+    '.eggs',
+    'site-packages',
+    '.git',
+    'build',
+    'dist',
+    'node_modules',
+];
+const SOURCE_EXT_RE = new RegExp(`\\.(${SOURCE_EXTENSIONS.join('|')})$`);
+const PYTHON_SOURCE_EXT_RE = new RegExp(`\\.(${PYTHON_SOURCE_EXTENSIONS.join('|')})$`);
+const EXCLUDE_SET = new Set(EXCLUDE_DIRS);
+const PYTHON_EXCLUDE_SET = new Set(PYTHON_EXCLUDE_DIRS);
+/**
+ * Does a repo-relative posix path denote a file the extractor would include?
+ * For `ts` this mirrors the ts-morph adapter's glob EXACTLY (verified empirically
+ * + by the equivalence fixture): matching extension, no excluded-dir segment, and
+ * NO dotted segment — ts-morph's globbing skips dot-directories AND dot-files by
+ * default (`.storybook/x.ts`, `src/.hidden.ts` are not added), so the diff
+ * classifier must skip them too or a patched graph would diverge from a full
+ * extract. For `python` the same shape holds with `.py`/`.pyi` + the Python
+ * exclude set; the dot-segment skip drops `.venv`/`.tox`/… while keeping
+ * `__init__.py` (a `_`-prefixed name, not a dotted one).
+ */
+export function isSourceFilePath(path, lang = 'ts') {
+    const extRe = lang === 'python' ? PYTHON_SOURCE_EXT_RE : SOURCE_EXT_RE;
+    const excludes = lang === 'python' ? PYTHON_EXCLUDE_SET : EXCLUDE_SET;
+    if (!extRe.test(path))
+        return false;
+    for (const seg of path.split('/')) {
+        if (seg.startsWith('.'))
+            return false;
+        if (excludes.has(seg))
+            return false;
+    }
+    return true;
+}
+// ---------------------------------------------------------------------------
+// Config invalidators (the correctness valve).
+//
+// These files change MODULE RESOLUTION for the INSTALL-FREE extractor
+// (tsconfig/jsconfig paths/baseUrl feed the Project's compilerOptions;
+// package.json's `type`/`imports`/`exports` fields affect ts-morph's Bundler
+// resolution). A diff touching any of them forces a FULL re-extract at that
+// checkpoint — conservative and rare.
+//
+// NARROWED ( item 3a): lockfiles (package-lock.json, npm-shrinkwrap
+// .json, yarn.lock, pnpm-lock.yaml, bun.lockb/bun.lock, deno.lock), deno.json/
+// deno.jsonc, and pnpm-workspace.yaml PROVABLY cannot affect the extractor's
+// output — it never resolves into node_modules (a bare specifier that doesn't
+// resolve from source is an external by design) and it ignores deno config
+// entirely, so what a lockfile pins is invisible to it. Treating them as
+// invalidators cost a needless full extract on every lockfile-touching merge
+// (~10-15% of merges on dep-heavy repos).
+// TS side: tsconfig/jsconfig paths+baseUrl and package.json type/imports/exports.
+// Python side: pyproject.toml / setup.cfg / setup.py declare package-dir
+// + src-layout + namespace-package settings that steer Pyright's first-party
+// resolution, so a diff touching them forces a full re-extract. requirements*.txt
+// / Pipfile are deliberately NOT invalidators — like TS lockfiles they only pin
+// third-party deps we never install, which are invisible to the extractor. The
+// basenames are language-distinct, so matching all of them unconditionally never
+// changes single-language behavior.
+const INVALIDATOR_BASENAME_RE = /^(tsconfig[^/]*\.json|jsconfig[^/]*\.json|package\.json|pyproject\.toml|setup\.cfg|setup\.py)$/;
+/** Does a repo-relative path name a resolution-affecting config file? */
+export function isConfigInvalidatorPath(path) {
+    const base = path.split('/').pop() ?? path;
+    return INVALIDATOR_BASENAME_RE.test(base);
+}
+/**
+ * Stage B — the blob-cache KEY COMPONENT. A `file_parse_cache` row is
+ * keyed (repo_id, blob_sha, extractor_version): blob-identical content can
+ * only be reused while the per-file extraction SEMANTICS are unchanged. Bump
+ * this whenever per-file extraction OUTPUT can change for the same blob:
+ * adapter edge semantics (extractFileImportsRecord/extractFileCalls), the
+ * source globs / EXCLUDE_DIRS policy, an invalidator-policy change that alters
+ * output, or the FileRecord shape itself. A bump cleanly orphans every cached
+ * row (all lookups miss → re-parse — the once-per-version cost; saveParseCache
+ * GCs the orphaned versions best-effort). Version 1 is RESERVED for the
+ * implicit Stage-A semantics and is never written to the table.
+ */
+export const EXTRACTOR_VERSION = 2;
+// ---------------------------------------------------------------------------
+// NormalizedGraph assembly (shared by the batch adapter + the engine, so a
+// patched state and a full extract produce byte-identical downstream input).
+/**
+ * Assemble the NormalizedGraph the clustering layer consumes from a file-graph
+ * state. Files are emitted in SORTED path order — deterministic across
+ * platforms and identical between the batch and incremental paths (Louvain's
+ * seeded RNG consumes node insertion order, so ordering is part of output
+ * stability).
+ */
+export function graphFromState(root, state) {
+    const paths = Object.keys(state.files).sort();
+    const files = paths.map((id) => ({
+        id,
+        loc: state.files[id].loc,
+        language: state.files[id].language,
+    }));
+    const externals = new Map();
+    const edges = [];
+    for (const id of paths) {
+        const rec = state.files[id];
+        for (const e of rec.imports) {
+            edges.push({ from: id, to: e.to, kind: 'import', external: false, weight: e.weight });
+        }
+        for (const x of rec.externals) {
+            externals.set(x.id, { id: x.id, specifier: x.specifier });
+            edges.push({ from: id, to: x.id, kind: 'import', external: true, weight: x.weight });
+        }
+        for (const c of rec.calls) {
+            edges.push({ from: id, to: c.to, kind: 'call', external: false, weight: c.weight });
+        }
+    }
+    return { root, files, edges, externals: [...externals.values()] };
+}
+/** Classify a checkpoint's diff entries into the engine's decision inputs. */
+export function classifyDiff(entries) {
+    const sourceAdded = [];
+    const sourceModified = [];
+    const sourceDeleted = [];
+    const invalidators = [];
+    let oddStatus = false;
+    for (const e of entries) {
+        if (isConfigInvalidatorPath(e.path))
+            invalidators.push(e.path);
+        if (!isSourceFilePath(e.path))
+            continue;
+        switch (e.status) {
+            case 'A':
+                sourceAdded.push(e.path);
+                break;
+            case 'M':
+                sourceModified.push(e.path);
+                break;
+            case 'D':
+                sourceDeleted.push(e.path);
+                break;
+            default:
+                // T (type change: file↔symlink) or an exotic status — treat as a shape
+                // change so the engine rebuilds rather than guessing.
+                oddStatus = true;
+                sourceModified.push(e.path);
+                break;
+        }
+    }
+    return {
+        sourceAdded,
+        sourceModified,
+        sourceDeleted,
+        invalidators,
+        shapeChanged: oddStatus || sourceAdded.length > 0 || sourceDeleted.length > 0,
+    };
+}
+// ---------------------------------------------------------------------------
+// The dependents closure — WHICH files need their (expensive) call edges
+// re-extracted after a diff.
+//
+// STEP-1 finding: per-file IMPORT extraction is per-file-independent
+// given tree resolution (a file's specifiers + the tree decide its import
+// edges), but CALL-edge extraction is NOT — it resolves each call site's symbol
+// through the type checker, so a file's call edges can change when a file it
+// imports changes its exports (and, through `export … from` chains, when a
+// transitively re-exported file changes). The patch unit is therefore:
+//
+//   (a) the changed files themselves (added + modified),
+//   (b) any file whose freshly-resolved import TARGETS differ from the carried
+//       state (its specifiers now bind elsewhere — covers added/deleted targets
+//       and resolution shadowing uniformly, no path heuristics), and
+//   (c) any file that imports a member of the REEXPORT CLOSURE of the changed/
+//       deleted set (a barrel re-exporting a changed file propagates the
+//       change one hop further; the closure follows those chains to fixpoint).
+//
+// KNOWN RESIDUAL (documented, accepted for Stage A): a call edge that resolves
+// through a TYPE returned by an intermediary (f calls a method declared in h,
+// reached via a type that g returns) can change when h changes without f
+// importing h or any re-export chain connecting them. Healed by the config
+// invalidators (full extract) and Stage B's periodic full-extract
+// reconciliation; not representable in the import graph without a full
+// type-dependency graph.
+/**
+ * Expand `seeds` (changed/deleted paths) through re-export chains: any file
+ * whose `reexports` include a member of the closure joins it, to fixpoint.
+ */
+export function reexportClosure(seeds, reexportsByFile) {
+    const closure = new Set(seeds);
+    let grew = true;
+    while (grew) {
+        grew = false;
+        for (const [file, targets] of reexportsByFile) {
+            if (closure.has(file))
+                continue;
+            if (targets.some((t) => closure.has(t))) {
+                closure.add(file);
+                grew = true;
+            }
+        }
+    }
+    return closure;
+}
+function importTargetsKey(edges) {
+    return edges
+        .map((e) => `${e.to}|${e.weight}`)
+        .sort()
+        .join('\n');
+}
+/**
+ * The set of files whose CALL edges must be re-extracted at this checkpoint.
+ * All inputs reflect the CURRENT tree (post-diff): `freshImports` are the
+ * just-re-resolved import edges, `prevImports` the carried ones (absent for
+ * new files), `reexports` the fresh re-export targets per file.
+ */
+export function computeCallPatchUnit(args) {
+    const unit = new Set([...args.added, ...args.modified]);
+    // (b) resolution moved — the file's specifiers bind to different targets now.
+    for (const [file, fresh] of args.freshImports) {
+        if (unit.has(file))
+            continue;
+        const prev = args.prevImports.get(file);
+        if (prev === undefined) {
+            unit.add(file); // not in the carried state → treat as new
+            continue;
+        }
+        if (importTargetsKey(fresh) !== importTargetsKey(prev))
+            unit.add(file);
+    }
+    // (c) imports a member of the re-export closure of the changed/deleted set.
+    const seeds = new Set([...args.added, ...args.modified, ...args.deleted]);
+    const closure = reexportClosure(seeds, args.reexports);
+    for (const [file, fresh] of args.freshImports) {
+        if (unit.has(file))
+            continue;
+        if (fresh.some((e) => closure.has(e.to)))
+            unit.add(file);
+    }
+    return unit;
+}
+// ---------------------------------------------------------------------------
+// Serialization — the `fileGraph` payload extension of extraction_cache
+// ( Stage A item 7). Written at the end of each boot, read as the next
+// boot's seed (zero full extract when the head commit is still reachable).
+//
+// NOTE: this rides inside the existing jsonb `extraction_cache.payload` — fine
+// at current scale (~100s of KB for a ~400-file repo). Stage B ADDS the
+// content-addressed per-blob parse cache (`file_parse_cache`, keyed
+// (repo_id, blob_sha, extractor_version)) as the fallback seed when this
+// graph's head commit is unreachable in the clone — the two are complementary:
+// this payload is the zero-parse fast path, the blob cache the O(misses)
+// cold-boot path.
+export const FILE_GRAPH_VERSION = 1;
+export function serializeFileGraph(state, blobShaByPath) {
+    const files = {};
+    for (const [path, rec] of Object.entries(state.files)) {
+        const blobSha = blobShaByPath?.get(path);
+        files[path] = blobSha ? { ...rec, blobSha } : { ...rec };
+    }
+    return { version: FILE_GRAPH_VERSION, headSha: state.headSha, files };
+}
+function isEdgeRefArray(v) {
+    return Array.isArray(v) && v.every((e) => e && typeof e.to === 'string' && typeof e.weight === 'number');
+}
+function isExternalRefArray(v) {
+    return (Array.isArray(v) &&
+        v.every((e) => e && typeof e.id === 'string' && typeof e.specifier === 'string' && typeof e.weight === 'number'));
+}
+/**
+ * Validate ONE untrusted jsonb value as a FileRecord — the per-record half of
+ * deserializeFileGraph's shape guard, exported ( Stage B) so the blob
+ * parse-cache reader (assemble/parse-cache.ts) applies the SAME rigor per row
+ * without duplicating it. A row failing this is treated as a cache miss, never
+ * an error: a corrupt cached record must degrade to a re-parse.
+ */
+export function isValidFileRecord(v) {
+    if (!v || typeof v !== 'object')
+        return false;
+    const r = v;
+    if (typeof r.loc !== 'number' || typeof r.language !== 'string')
+        return false;
+    if (!isEdgeRefArray(r.imports) || !isEdgeRefArray(r.calls))
+        return false;
+    if (!isExternalRefArray(r.externals))
+        return false;
+    if (!Array.isArray(r.reexports) || !r.reexports.every((t) => typeof t === 'string'))
+        return false;
+    return true;
+}
+/**
+ * Validate + adopt a serialized file graph. Returns null for anything not
+ * usable as a seed (wrong version, missing head, malformed records) — the
+ * caller then seeds with a full extract instead. NEVER throws: a corrupt cache
+ * must degrade to a full extract, not fail the ingest. Unknown extra fields
+ * (e.g. the Stage-B `bootsSinceReconcile` counter) are TOLERATED — older and
+ * newer payloads must round-trip through each other's readers.
+ */
+export function deserializeFileGraph(v) {
+    if (!v || typeof v !== 'object')
+        return null;
+    const g = v;
+    if (g.version !== FILE_GRAPH_VERSION)
+        return null;
+    if (typeof g.headSha !== 'string' || g.headSha.length < 7)
+        return null;
+    if (!g.files || typeof g.files !== 'object' || Array.isArray(g.files))
+        return null;
+    const files = {};
+    for (const [path, raw] of Object.entries(g.files)) {
+        if (!isValidFileRecord(raw))
+            return null;
+        const r = raw;
+        files[path] = {
+            loc: r.loc,
+            language: r.language,
+            imports: r.imports,
+            externals: r.externals,
+            calls: r.calls,
+            reexports: r.reexports,
+            ...(typeof r.blobSha === 'string' ? { blobSha: r.blobSha } : {}),
+        };
+    }
+    return { headSha: g.headSha, files };
+}
+// ---------------------------------------------------------------------------
+// State diffing — the Stage-B RECONCILIATION comparator ( Stage B).
+//
+// The walk's carried state is provably equivalent to a full extract EXCEPT for
+// the documented residual (deep type-dispatch chains — see the dependents-
+// closure block above). Every ~N boots the container runs a fresh full extract
+// at the carried head and compares states with this helper; any drifted path
+// is healed by adopting the ground truth + re-upserting its blob-cache row.
+// Explicit field-by-field keys (NOT JSON.stringify of the objects): Postgres
+// jsonb normalizes object key order, so a round-tripped record could stringify
+// differently from a fresh one despite being identical.
+function edgeRefsKey(v) {
+    return v
+        .map((e) => `${e.to}|${e.weight}`)
+        .sort()
+        .join('\n');
+}
+function externalRefsKey(v) {
+    return v
+        .map((e) => `${e.id}|${e.specifier}|${e.weight}`)
+        .sort()
+        .join('\n');
+}
+/**
+ * Paths whose records DIFFER between two states (union of both key sets — a
+ * path present in only one side counts as drifted). Comparison is ORDER-
+ * INSENSITIVE over the imports/externals/calls/reexports arrays (extraction
+ * order is not semantics) and IGNORES blobSha (a serialization tag, not
+ * extractor output). Pure; never throws.
+ */
+export function diffFileGraphStates(a, b) {
+    const recordKey = (rec) => [
+        `loc:${rec.loc}`,
+        `lang:${rec.language}`,
+        `imports:${edgeRefsKey(rec.imports)}`,
+        `externals:${externalRefsKey(rec.externals)}`,
+        `calls:${edgeRefsKey(rec.calls)}`,
+        `reexports:${[...rec.reexports].sort().join(',')}`,
+    ].join('\x1f');
+    const drifted = [];
+    const allPaths = new Set([...Object.keys(a.files), ...Object.keys(b.files)]);
+    for (const path of [...allPaths].sort()) {
+        const ra = a.files[path];
+        const rb = b.files[path];
+        if (!ra || !rb) {
+            drifted.push(path);
+            continue;
+        }
+        if (recordKey(ra) !== recordKey(rb))
+            drifted.push(path);
+    }
+    return drifted;
+}
+//# sourceMappingURL=file-graph.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"file-graph.js","sourceRoot":"","sources":["../../src/graph/file-graph.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,0BAA0B;AAC1B,EAAE;AACF,sEAAsE;AACtE,gFAAgF;AAChF,qEAAqE;AACrE,yEAAyE;AACzE,+EAA+E;AAC/E,6EAA6E;AAC7E,6EAA6E;AAC7E,qDAAqD;AACrD,EAAE;AACF,2EAA2E;AAC3E,+EAA+E;AAC/E,gFAAgF;AAChF,iEAAiE;AACjE,EAAE;AACF,gFAAgF;AAChF,8EAA8E;AAC9E,gFAAgF;AAChF,0DAA0D;AAgB1D,wFAAwF;AACxF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAU,CAAC;AAEjG,iFAAiF;AACjF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,IAAI,EAAE,KAAK,CAAU,CAAC;AAE/D,+FAA+F;AAC/F,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,cAAc;IACd,MAAM;IACN,OAAO;IACP,KAAK;IACL,UAAU;IACV,MAAM;IACN,OAAO;IACP,OAAO;IACP,QAAQ;CACA,CAAC;AAEX;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,aAAa;IACb,OAAO;IACP,MAAM;IACN,KAAK;IACL,MAAM;IACN,MAAM;IACN,aAAa;IACb,eAAe;IACf,aAAa;IACb,OAAO;IACP,eAAe;IACf,MAAM;IACN,OAAO;IACP,MAAM;IACN,cAAc;CACN,CAAC;AAEX,MAAM,aAAa,GAAG,IAAI,MAAM,CAAC,OAAO,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACzE,MAAM,oBAAoB,GAAG,IAAI,MAAM,CAAC,OAAO,wBAAwB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACvF,MAAM,WAAW,GAAG,IAAI,GAAG,CAAS,YAAY,CAAC,CAAC;AAClD,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAS,mBAAmB,CAAC,CAAC;AAEhE;;;;;;;;;;GAUG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAY,EAAE,OAAmB,IAAI;IACpE,MAAM,KAAK,GAAG,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,aAAa,CAAC;IACvE,MAAM,QAAQ,GAAG,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,WAAW,CAAC;IACtE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACpC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QAClC,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QACtC,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;IACtC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8EAA8E;AAC9E,+CAA+C;AAC/C,EAAE;AACF,sEAAsE;AACtE,uEAAuE;AACvE,6EAA6E;AAC7E,4EAA4E;AAC5E,sCAAsC;AACtC,EAAE;AACF,oEAAoE;AACpE,+EAA+E;AAC/E,6EAA6E;AAC7E,8EAA8E;AAC9E,2EAA2E;AAC3E,yEAAyE;AACzE,6EAA6E;AAC7E,0CAA0C;AAE1C,kFAAkF;AAClF,yEAAyE;AACzE,6EAA6E;AAC7E,kFAAkF;AAClF,gFAAgF;AAChF,+EAA+E;AAC/E,iFAAiF;AACjF,oCAAoC;AACpC,MAAM,uBAAuB,GAC3B,gGAAgG,CAAC;AAEnG,yEAAyE;AACzE,MAAM,UAAU,uBAAuB,CAAC,IAAY;IAClD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC;IAC3C,OAAO,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5C,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC;AA6CnC,8EAA8E;AAC9E,2EAA2E;AAC3E,6EAA6E;AAE7E;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,KAAqB;IAChE,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9C,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/B,EAAE;QACF,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG;QACxB,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,QAAQ;KACnC,CAAC,CAAC,CAAC;IAEJ,MAAM,SAAS,GAAG,IAAI,GAAG,EAAwB,CAAC;IAClD,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC5B,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QACxF,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;YAC9B,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;YAC1D,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QACvF,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QACtF,CAAC;IACH,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;AACpE,CAAC;AA+BD,8EAA8E;AAC9E,MAAM,UAAU,YAAY,CAAC,OAA6B;IACxD,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,MAAM,cAAc,GAAa,EAAE,CAAC;IACpC,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,IAAI,SAAS,GAAG,KAAK,CAAC;IAEtB,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC/D,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,SAAS;QACxC,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC;YACjB,KAAK,GAAG;gBACN,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACzB,MAAM;YACR,KAAK,GAAG;gBACN,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC5B,MAAM;YACR,KAAK,GAAG;gBACN,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC3B,MAAM;YACR;gBACE,uEAAuE;gBACvE,sDAAsD;gBACtD,SAAS,GAAG,IAAI,CAAC;gBACjB,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC5B,MAAM;QACV,CAAC;IACH,CAAC;IAED,OAAO;QACL,WAAW;QACX,cAAc;QACd,aAAa;QACb,YAAY;QACZ,YAAY,EAAE,SAAS,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC;KAC9E,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,yEAAyE;AACzE,6BAA6B;AAC7B,EAAE;AACF,qEAAqE;AACrE,0EAA0E;AAC1E,gFAAgF;AAChF,6EAA6E;AAC7E,2EAA2E;AAC3E,uEAAuE;AACvE,EAAE;AACF,yDAAyD;AACzD,+EAA+E;AAC/E,gFAAgF;AAChF,qEAAqE;AACrE,+EAA+E;AAC/E,yEAAyE;AACzE,+EAA+E;AAC/E,EAAE;AACF,+EAA+E;AAC/E,8EAA8E;AAC9E,yEAAyE;AACzE,2EAA2E;AAC3E,kEAAkE;AAClE,uEAAuE;AACvE,yBAAyB;AAEzB;;;GAGG;AACH,MAAM,UAAU,eAAe,CAC7B,KAA0B,EAC1B,eAAuD;IAEvD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IAC/B,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,OAAO,IAAI,EAAE,CAAC;QACZ,IAAI,GAAG,KAAK,CAAC;QACb,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,eAAe,EAAE,CAAC;YAC9C,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAChC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACxC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAClB,IAAI,GAAG,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,gBAAgB,CAAC,KAA6B;IACrD,OAAO,KAAK;SACT,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;SACjC,IAAI,EAAE;SACN,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAUpC;IACC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;IAEhE,8EAA8E;IAC9E,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QAC9C,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,0CAA0C;YAC1D,SAAS;QACX,CAAC;QACD,IAAI,gBAAgB,CAAC,KAAK,CAAC,KAAK,gBAAgB,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACzE,CAAC;IAED,4EAA4E;IAC5E,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IAClF,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,SAAmD,CAAC,CAAC;IACjG,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QAC9C,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAC7B,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8EAA8E;AAC9E,wEAAwE;AACxE,uEAAuE;AACvE,2EAA2E;AAC3E,EAAE;AACF,+EAA+E;AAC/E,wEAAwE;AACxE,oEAAoE;AACpE,yEAAyE;AACzE,+EAA+E;AAC/E,yEAAyE;AACzE,kBAAkB;AAElB,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC;AAkBpC,MAAM,UAAU,kBAAkB,CAChC,KAAqB,EACrB,aAA2C;IAE3C,MAAM,KAAK,GAA+B,EAAE,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACtD,MAAM,OAAO,GAAG,aAAa,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QACzC,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,CAAC;IAC3D,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,kBAAkB,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC;AACxE,CAAC;AAED,SAAS,cAAc,CAAC,CAAU;IAChC,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;AAC3G,CAAC;AAED,SAAS,kBAAkB,CAAC,CAAU;IACpC,OAAO,CACL,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAChB,CAAC,CAAC,KAAK,CACL,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,SAAS,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,CACnG,CACF,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,CAAU;IAC1C,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9C,MAAM,CAAC,GAAG,CAA4B,CAAC;IACvC,IAAI,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,QAAQ,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9E,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACzE,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS,CAAC;QAAE,OAAO,KAAK,CAAC;IACnD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IAClG,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,oBAAoB,CAAC,CAAU;IAC7C,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC7C,MAAM,CAAC,GAAG,CAA4B,CAAC;IACvC,IAAI,CAAC,CAAC,OAAO,KAAK,kBAAkB;QAAE,OAAO,IAAI,CAAC;IAClD,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACvE,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEnF,MAAM,KAAK,GAA+B,EAAE,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAgC,CAAC,EAAE,CAAC;QAC7E,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QACzC,MAAM,CAAC,GAAG,GAAyC,CAAC;QACpD,KAAK,CAAC,IAAI,CAAC,GAAG;YACZ,GAAG,EAAE,CAAC,CAAC,GAAG;YACV,QAAQ,EAAE,CAAC,CAAC,QAAQ;YACpB,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,GAAG,CAAC,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACjE,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC;AACvC,CAAC;AAED,8EAA8E;AAC9E,oEAAoE;AACpE,EAAE;AACF,+EAA+E;AAC/E,2EAA2E;AAC3E,+EAA+E;AAC/E,6EAA6E;AAC7E,4EAA4E;AAE5E,6EAA6E;AAC7E,+EAA+E;AAC/E,wDAAwD;AACxD,SAAS,WAAW,CAAC,CAAyB;IAC5C,OAAO,CAAC;SACL,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;SACjC,IAAI,EAAE;SACN,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,SAAS,eAAe,CAAC,CAA6B;IACpD,OAAO,CAAC;SACL,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;SAChD,IAAI,EAAE;SACN,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CAAC,CAAiB,EAAE,CAAiB;IACtE,MAAM,SAAS,GAAG,CAAC,GAAe,EAAU,EAAE,CAC5C;QACE,OAAO,GAAG,CAAC,GAAG,EAAE;QAChB,QAAQ,GAAG,CAAC,QAAQ,EAAE;QACtB,WAAW,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE;QACrC,aAAa,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE;QAC7C,SAAS,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;QACjC,aAAa,CAAC,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;KACnD,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAEjB,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC7E,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACxC,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACzB,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACzB,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;YACf,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,SAAS;QACX,CAAC;QACD,IAAI,SAAS,CAAC,EAAE,CAAC,KAAK,SAAS,CAAC,EAAE,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/graph/http-callsites.d.ts

@@ -0,0 +1,14 @@
+/** One frontend HTTP call site: the file it's in and the URL path it targets. */
+export interface FrontendApiCall {
+    fileId: string;
+    url: string;
+}
+/**
+ * Every frontend HTTP call site under `repoDir`. Scans ALL TS/JS source
+ * (including generated SDKs — the noise filter drops those from the graph, but
+ * they hold the URL literals), so the caller can re-attribute a dropped file to a
+ * surviving module. Deterministic (sorted); never throws (a per-file parse error
+ * degrades to no calls for that file).
+ */
+export declare function collectFrontendApiCalls(repoDir: string): FrontendApiCall[];
+//# sourceMappingURL=http-callsites.d.ts.map

package/dist/graph/http-callsites.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"http-callsites.d.ts","sourceRoot":"","sources":["../../src/graph/http-callsites.ts"],"names":[],"mappings":"AAqBA,iFAAiF;AACjF,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,GAAG,EAAE,MAAM,CAAC;CACb;AA+DD;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,MAAM,GAAG,eAAe,EAAE,CAe1E"}