@opensip-cli/graph 0.1.0

package/dist/cli/orchestrate/catalog-builder.d.ts

@@ -0,0 +1,121 @@
+/**
+ * Full-rebuild and incremental-rebuild catalog assembly.
+ *
+ * Owns the parse → walk → resolve stages and stitches the resolver's
+ * edge map into the catalog skeleton. The `ParsedProject` is created
+ * inside each rebuild path and stays internal so V8 can reclaim the
+ * AST as soon as `resolveCallSites` returns.
+ *
+ * `runStage` is passed in by the orchestrator so we don't reimport
+ * the progress/pressure-monitor wrapper here.
+ */
+import { type EngineMode } from '../../cache/engine-version.js';
+import type { GraphProgressCallback, GraphStage } from './types.js';
+import type { DiscoverOutput, GraphLanguageAdapter } from '../../lang-adapter/types.js';
+import type { Catalog, CrossBoundaryCall, ParseError, ResolutionMode, ResolutionStats } from '../../types.js';
+import type { PressureMonitor } from '../pressure-monitor.js';
+import type { Attributes } from '@opensip-cli/core';
+/**
+ * Arguments to a {@link RunStage} invocation: the stage label, the
+ * live-view/pressure plumbing, the work to run, and optional result
+ * labelers for the progress detail line and span attributes.
+ */
+export interface RunStageArgs<T> {
+    readonly stage: GraphStage;
+    readonly onProgress: GraphProgressCallback | undefined;
+    readonly monitor: PressureMonitor | undefined;
+    /** The stage work. May be sync or async — async stages (e.g. the cooperative
+     *  resolve) let the live view's spinner animate (ADR-0016). */
+    readonly fn: () => T | Promise<T>;
+    readonly detailFn?: (result: T) => string | undefined;
+    readonly attrsFn?: (result: T) => Attributes;
+}
+/**
+ * Shape of the `runStage` helper passed in by the orchestrator.
+ * Kept here as a type alias so catalog-builder doesn't import the
+ * concrete function (which lives in orchestrate.ts at the parent
+ * level) and we avoid a circular dependency.
+ *
+ * Async: `runStage` awaits its `fn` and yields to the event loop so the live
+ * view animates during long stages (ADR-0016).
+ */
+export type RunStage = <T>(args: RunStageArgs<T>) => Promise<T>;
+/** Inputs to the full-rebuild {@link buildAndResolveCatalog}. */
+export interface CatalogBuildOptions {
+    readonly runStage: RunStage;
+    readonly adapter: GraphLanguageAdapter;
+    readonly discovery: DiscoverOutput;
+    readonly resolutionMode: ResolutionMode;
+    readonly onProgress?: GraphProgressCallback;
+    readonly monitor?: PressureMonitor;
+    /**
+     * Sharded build (plan #2): when true, request cross-boundary call
+     * descriptors from the adapter and surface them in the return for the
+     * cross-shard pass. Off for ordinary single-process builds.
+     */
+    readonly emitBoundaryCalls?: boolean;
+    /**
+     * Which build engine owns this catalog (Phase 2 determinism). Folded into
+     * the catalog `cacheKey` via {@link stampEngineVersion} so the exact
+     * (single-program) and sharded engines — which share the single
+     * `graph_catalog` row / shard-fragment cache but build structurally
+     * incompatible catalogs — never read each other's persisted rows. Defaults
+     * to `'exact'` (the single-program path); the shard worker passes
+     * `'sharded'`.
+     */
+    readonly engineMode?: EngineMode;
+}
+/**
+ * Run Stage 1 + Stage 2 and return only the catalog and resolution
+ * stats. The parsed project is created inside this function and does
+ * not escape — once edge resolution returns, it is unreachable from
+ * any caller, so V8 can reclaim the bound AST before Stage 3
+ * (`buildIndexes`) and the cache write run.
+ */
+export declare function buildAndResolveCatalog(options: CatalogBuildOptions): Promise<{
+    readonly catalog: Catalog;
+    readonly resolutionStats: ResolutionStats;
+    readonly boundaryCalls?: readonly CrossBoundaryCall[];
+    readonly parseErrors: readonly ParseError[];
+}>;
+/**
+ * Wave 4 incremental rebuild — re-walk only changed files plus their
+ * transitive edge-dependents, then merge with cached entries for
+ * unchanged files.
+ *
+ * Algorithm:
+ *   1. Parse the project once over ALL current files (the resolver
+ *      pass needs the full program for cross-file symbol lookup).
+ *   2. Convert the absolute changed-files set to project-relative
+ *      paths so we can match the catalog's filePath field.
+ *   3. Iterate to fixpoint: walk closure files, identify hashes that
+ *      vanished or changed, find unchanged files whose cached edges
+ *      reference those hashes, add them to the closure, repeat until
+ *      no new dependents are discovered.
+ *   4. Merge cached entries for files NOT in the closure with
+ *      freshly-walked-and-resolved entries for files IN the closure.
+ *
+ * Correctness vs full rebuild: every file whose cached edges might
+ * point at a stale hash is itself re-walked. After the fixpoint, no
+ * cached edge dangles. Verified by `incremental rebuild produces a
+ * catalog identical to a full rebuild` test.
+ */
+export interface IncrementalCatalogBuildOptions {
+    readonly runStage: RunStage;
+    readonly adapter: GraphLanguageAdapter;
+    readonly discovery: DiscoverOutput;
+    readonly cachedCatalog: Catalog;
+    readonly changedFilesAbs: readonly string[];
+    readonly resolutionMode: ResolutionMode;
+    readonly onProgress?: GraphProgressCallback;
+    readonly monitor?: PressureMonitor;
+    /** Emit cross-boundary descriptors for the re-walked closure (Phase 3
+     *  convergence — the exact path recovers them so warm == cold). */
+    readonly emitBoundaryCalls?: boolean;
+}
+export declare function buildAndResolveCatalogIncremental(options: IncrementalCatalogBuildOptions): Promise<{
+    readonly catalog: Catalog;
+    readonly resolutionStats: ResolutionStats;
+    readonly boundaryCalls?: readonly CrossBoundaryCall[];
+}>;
+//# sourceMappingURL=catalog-builder.d.ts.map

package/dist/cli/orchestrate/catalog-builder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog-builder.d.ts","sourceRoot":"","sources":["../../../src/cli/orchestrate/catalog-builder.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAsB,KAAK,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAUpF,OAAO,KAAK,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACpE,OAAO,KAAK,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACxF,OAAO,KAAK,EACV,OAAO,EAEP,iBAAiB,EAGjB,UAAU,EAEV,cAAc,EACd,eAAe,EAChB,MAAM,gBAAgB,CAAC;AACxB,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD;;;;GAIG;AACH,MAAM,WAAW,YAAY,CAAC,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,qBAAqB,GAAG,SAAS,CAAC;IACvD,QAAQ,CAAC,OAAO,EAAE,eAAe,GAAG,SAAS,CAAC;IAC9C;mEAC+D;IAC/D,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAClC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,KAAK,MAAM,GAAG,SAAS,CAAC;IACtD,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,KAAK,UAAU,CAAC;CAC9C;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC;AAEhE,iEAAiE;AACjE,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,oBAAoB,CAAC;IACvC,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAC;IACxC,QAAQ,CAAC,UAAU,CAAC,EAAE,qBAAqB,CAAC;IAC5C,QAAQ,CAAC,OAAO,CAAC,EAAE,eAAe,CAAC;IACnC;;;;OAIG;IACH,QAAQ,CAAC,iBAAiB,CAAC,EAAE,OAAO,CAAC;IACrC;;;;;;;;OAQG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;CAClC;AAED;;;;;;GAMG;AACH,wBAAsB,sBAAsB,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC;IAClF,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,eAAe,EAAE,eAAe,CAAC;IAC1C,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACtD,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C,CAAC,CA0ED;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,oBAAoB,CAAC;IACvC,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAC;IACxC,QAAQ,CAAC,UAAU,CAAC,EAAE,qBAAqB,CAAC;IAC5C,QAAQ,CAAC,OAAO,CAAC,EAAE,eAAe,CAAC;IACnC;uEACmE;IACnE,QAAQ,CAAC,iBAAiB,CAAC,EAAE,OAAO,CAAC;CACtC;AAED,wBAAsB,iCAAiC,CACrD,OAAO,EAAE,8BAA8B,GACtC,OAAO,CAAC;IACT,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,eAAe,EAAE,eAAe,CAAC;IAC1C,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;CACvD,CAAC,CAwGD"}

package/dist/cli/orchestrate/catalog-builder.js

@@ -0,0 +1,279 @@
+/**
+ * Full-rebuild and incremental-rebuild catalog assembly.
+ *
+ * Owns the parse → walk → resolve stages and stitches the resolver's
+ * edge map into the catalog skeleton. The `ParsedProject` is created
+ * inside each rebuild path and stays internal so V8 can reclaim the
+ * AST as soon as `resolveCallSites` returns.
+ *
+ * `runStage` is passed in by the orchestrator so we don't reimport
+ * the progress/pressure-monitor wrapper here.
+ */
+import { stampEngineVersion } from '../../cache/engine-version.js';
+import { countCatalogCallSites } from './catalog-stats.js';
+import { ownerEdgeKey } from './edge-identity.js';
+import { expandClosureToFixpoint, mergeOccurrences, mergeResolvedAndCachedEdges, } from './incremental-merge.js';
+/**
+ * Run Stage 1 + Stage 2 and return only the catalog and resolution
+ * stats. The parsed project is created inside this function and does
+ * not escape — once edge resolution returns, it is unreachable from
+ * any caller, so V8 can reclaim the bound AST before Stage 3
+ * (`buildIndexes`) and the cache write run.
+ */
+export async function buildAndResolveCatalog(options) {
+    const { runStage, adapter, discovery, resolutionMode, onProgress, monitor, emitBoundaryCalls } = options;
+    const engineMode = options.engineMode ?? 'exact';
+    // Phase 4 unified walk: Stage 1's catalog construction and Stage 2's
+    // call-site location share a single AST descent per file. The walk
+    // emits the catalog plus a flat list of pre-located call-site
+    // records; resolveCallSites dispatches resolvers without re-walking.
+    const parsed = await runStage({
+        stage: 'parse',
+        onProgress,
+        monitor,
+        fn: () => adapter.parseProject({
+            projectDirAbs: discovery.projectDirAbs,
+            files: discovery.files,
+            compilerOptions: discovery.compilerOptions,
+            resolutionMode,
+        }),
+        detailFn: () => adapter.displayName,
+    });
+    const walked = await runStage({
+        stage: 'walk',
+        onProgress,
+        monitor,
+        fn: () => adapter.walkProject({
+            project: parsed.project,
+            files: discovery.files,
+            projectDirAbs: discovery.projectDirAbs,
+        }),
+        detailFn: (w) => `${String(Object.keys(w.occurrences).length)} functions`,
+    });
+    const initialCatalog = assembleCatalog({
+        adapter,
+        discovery,
+        occurrences: walked.occurrences,
+        resolutionMode,
+        engineMode,
+        reExports: walked.reExports ?? [],
+    });
+    // Stitch inside the resolve stage so the checklist detail counts the
+    // catalog's resolved call edges — the same catalog-derived
+    // `countCatalogCallSites` metric the sharded path reports, so both engines
+    // surface one consistent "N call site(s)" row with no engine-specific
+    // ("cross-shard") leakage.
+    const resolved = await runStage({
+        stage: 'resolve',
+        onProgress,
+        monitor,
+        fn: async () => {
+            const result = await adapter.resolveCallSites({
+                project: parsed.project,
+                catalog: initialCatalog,
+                callSites: walked.callSites,
+                dependencySites: walked.dependencySites,
+                projectDirAbs: discovery.projectDirAbs,
+                resolutionMode,
+                emitBoundaryCalls,
+            });
+            const catalog = stitchEdges(initialCatalog, result.edgesByOwner, result.dependenciesByOwner);
+            return { ...result, catalog };
+        },
+        detailFn: (r) => `${String(countCatalogCallSites(r.catalog))} call site(s)`,
+    });
+    return {
+        catalog: resolved.catalog,
+        resolutionStats: resolved.stats,
+        boundaryCalls: resolved.boundaryCalls,
+        parseErrors: [...parsed.parseErrors, ...walked.parseErrors],
+    };
+}
+export async function buildAndResolveCatalogIncremental(options) {
+    const { runStage, adapter, discovery, cachedCatalog, changedFilesAbs, resolutionMode, onProgress, monitor, emitBoundaryCalls, } = options;
+    const parsed = await runStage({
+        stage: 'parse',
+        onProgress,
+        monitor,
+        fn: () => adapter.parseProject({
+            projectDirAbs: discovery.projectDirAbs,
+            files: discovery.files,
+            compilerOptions: discovery.compilerOptions,
+            resolutionMode,
+        }),
+        detailFn: () => `${adapter.displayName} (incremental)`,
+    });
+    const { walked, closureRel } = await runStage({
+        stage: 'walk',
+        onProgress,
+        monitor,
+        fn: () => expandClosureToFixpoint({
+            adapter,
+            discovery,
+            cachedCatalog,
+            parsedProject: parsed.project,
+            changedFilesAbs,
+        }),
+        detailFn: (out) => `${String(out.closureRel.size)} closure file(s)`,
+    });
+    // Build the resolver-input catalog from the merged occurrence set
+    // so name- and hash-based fallbacks see the full project.
+    const mergedFunctions = mergeOccurrences(cachedCatalog, walked.occurrences, closureRel);
+    const mergedReExports = mergeReExports(cachedCatalog, walked.reExports ?? [], closureRel);
+    const initialCatalog = {
+        ...assembleCatalog({
+            adapter,
+            discovery,
+            occurrences: mergedFunctions,
+            resolutionMode,
+        }),
+        functions: mergedFunctions,
+        ...(mergedReExports.length > 0 ? { reExports: mergedReExports } : {}),
+    };
+    // Merge the resolved closure edges into the final catalog inside the stage so
+    // the checklist detail counts the catalog's resolved call edges — the same
+    // catalog-derived `countCatalogCallSites` metric the full build reports.
+    //
+    // Apply resolved edges only to closure files; unchanged files keep
+    // their cached edges. Their bodyHashes are present in the merged
+    // catalog by construction, so cached edges are still valid.
+    //
+    // Phase 4 (DEC-498): dependency edges follow the same incremental
+    // discipline as call edges. mergeResolvedAndCachedEdges currently
+    // only handles calls; depends_on edges from the incremental closure
+    // are attached via a follow-up stitch pass below. Adapters that
+    // don't emit dependencies skip this entirely.
+    const resolved = await runStage({
+        stage: 'resolve',
+        onProgress,
+        monitor,
+        fn: async () => {
+            const result = await adapter.resolveCallSites({
+                project: parsed.project,
+                catalog: initialCatalog,
+                callSites: walked.callSites,
+                dependencySites: walked.dependencySites,
+                projectDirAbs: discovery.projectDirAbs,
+                resolutionMode,
+                emitBoundaryCalls,
+            });
+            const finalFunctions = mergeResolvedAndCachedEdges(initialCatalog, cachedCatalog, result.edgesByOwner, closureRel);
+            const stitchedFunctions = attachDependenciesIncremental(finalFunctions, result.dependenciesByOwner);
+            const catalog = { ...initialCatalog, functions: stitchedFunctions };
+            return { ...result, catalog };
+        },
+        detailFn: (r) => `${String(countCatalogCallSites(r.catalog))} call site(s)`,
+    });
+    return {
+        catalog: resolved.catalog,
+        resolutionStats: resolved.stats,
+        boundaryCalls: resolved.boundaryCalls,
+    };
+}
+/**
+ * Phase 4 (DEC-498) post-pass for the incremental path. Attaches
+ * `dependencies` to occurrences whose hash appears in the resolver's
+ * dependency map. Unchanged-file occurrences keep their cached
+ * dependency arrays (if any) untouched — they came from the cached
+ * catalog and are still valid since the file hasn't changed.
+ *
+ * No-op when `dependenciesByOwner` is undefined (adapter doesn't emit
+ * dependency edges) or empty.
+ */
+function attachDependenciesIncremental(functions, dependenciesByOwner) {
+    if (dependenciesByOwner === undefined || dependenciesByOwner.size === 0) {
+        return functions;
+    }
+    const out = Object.create(null);
+    for (const [name, occs] of Object.entries(functions)) {
+        out[name] = occs.map((o) => {
+            const deps = dependenciesByOwner.get(ownerEdgeKey(o.bodyHash, o.filePath));
+            return deps === undefined ? o : { ...o, dependencies: deps };
+        });
+    }
+    return out;
+}
+/**
+ * Build the catalog skeleton from walked occurrences. The catalog has
+ * empty `calls` arrays at this point; `resolveCallSites` produces the
+ * edges, and `stitchEdges` writes them in.
+ */
+function assembleCatalog(input) {
+    const { adapter, discovery, occurrences, resolutionMode, engineMode = 'exact', reExports = [], } = input;
+    return {
+        version: '3.0',
+        tool: 'graph',
+        language: adapter.id,
+        // `builtAt` is the SOLE intentionally-nondeterministic catalog field (a
+        // wall-clock stamp), excluded from structural determinism/equivalence
+        // comparisons. Mirrors the sharded path (cross-shard-resolve.ts).
+        builtAt: new Date().toISOString(),
+        // Stamp the engine version AND mode so the exact and sharded engines never
+        // read each other's persisted catalog / shard-fragment rows (Phase 2).
+        cacheKey: stampEngineVersion(adapter.cacheKey({
+            projectDirAbs: discovery.projectDirAbs,
+            configPathAbs: discovery.configPathAbs,
+            compilerOptions: discovery.compilerOptions,
+            resolutionMode,
+        }), engineMode),
+        // Self-describe the tier so loaded catalogs are honest about
+        // approximation without re-deriving it from the cacheKey.
+        resolutionMode,
+        // Re-export facts (omitted when none, mirroring `features`, to keep lean
+        // catalogs clean). Carried so the cross-shard export index can follow chains.
+        ...(reExports.length > 0 ? { reExports } : {}),
+        functions: occurrences,
+    };
+}
+/**
+ * Merge re-export facts for the incremental (warm-closure) build: keep the
+ * cached catalog's facts for files OUTSIDE the re-walked closure, and take the
+ * freshly-walked facts for files INSIDE it — the same incremental discipline
+ * `mergeOccurrences` applies to occurrences. Sorted for determinism so a
+ * warm-partial build's catalog is byte-identical to the cold one.
+ */
+function mergeReExports(cached, walkedReExports, closureRel) {
+    const keptCached = (cached.reExports ?? []).filter((r) => !closureRel.has(r.fromFile));
+    return sortReExports([...keptCached, ...walkedReExports]);
+}
+/** Stable order for re-export facts (fromFile, exportedName, specifier). */
+function sortReExports(reExports) {
+    return [...reExports].sort((a, b) => Number(a.fromFile > b.fromFile) - Number(a.fromFile < b.fromFile) ||
+        Number(a.exportedName > b.exportedName) - Number(a.exportedName < b.exportedName) ||
+        Number(a.specifier > b.specifier) - Number(a.specifier < b.specifier));
+}
+/**
+ * Stitch resolved edges into the catalog. The adapter returns a
+ * `bodyHash → CallEdge[]` map for call edges and (Phase 4) optionally
+ * a `bodyHash → DependencyEdge[]` map for module-level dependency
+ * edges. We walk the catalog and replace each occurrence's `calls`
+ * array; if the dependency map is provided, attach `dependencies` to
+ * occurrences whose hash appears as a key (typically only module-init
+ * occurrences).
+ *
+ * Adapters that don't emit dependency edges pass `undefined` for the
+ * second map; resulting occurrences have no `dependencies` field
+ * (matches the pre-Phase-4 catalog shape — the field is optional on
+ * `FunctionOccurrence`).
+ */
+function stitchEdges(initial, edgesByOwner, dependenciesByOwner) {
+    const next = Object.create(null);
+    for (const [name, occs] of Object.entries(initial.functions)) {
+        if (!occs)
+            continue;
+        next[name] = occs.map((o) => {
+            // Owner identity comes from the ONE shared module (ADR-0003 canonical
+            // key) — the exact and cross-shard paths bucket/stitch through the same
+            // `ownerEdgeKey`, never a bare `bodyHash`.
+            const ownerKey = ownerEdgeKey(o.bodyHash, o.filePath);
+            const calls = edgesByOwner.get(ownerKey) ?? [];
+            const dependencies = dependenciesByOwner?.get(ownerKey);
+            // Omit `dependencies` entirely when no edges resolved — the
+            // optional field stays absent, matching the pre-Phase-4 wire
+            // shape for adapters that don't emit dependency sites.
+            return dependencies === undefined ? { ...o, calls } : { ...o, calls, dependencies };
+        });
+    }
+    return { ...initial, functions: next };
+}
+//# sourceMappingURL=catalog-builder.js.map

package/dist/cli/orchestrate/catalog-builder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog-builder.js","sourceRoot":"","sources":["../../../src/cli/orchestrate/catalog-builder.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,kBAAkB,EAAmB,MAAM,+BAA+B,CAAC;AAEpF,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EACL,uBAAuB,EACvB,gBAAgB,EAChB,2BAA2B,GAC5B,MAAM,wBAAwB,CAAC;AAuEhC;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,OAA4B;IAMvE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,UAAU,EAAE,OAAO,EAAE,iBAAiB,EAAE,GAC5F,OAAO,CAAC;IACV,MAAM,UAAU,GAAe,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC;IAC7D,qEAAqE;IACrE,mEAAmE;IACnE,8DAA8D;IAC9D,qEAAqE;IACrE,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC;QAC5B,KAAK,EAAE,OAAO;QACd,UAAU;QACV,OAAO;QACP,EAAE,EAAE,GAAG,EAAE,CACP,OAAO,CAAC,YAAY,CAAC;YACnB,aAAa,EAAE,SAAS,CAAC,aAAa;YACtC,KAAK,EAAE,SAAS,CAAC,KAAK;YACtB,eAAe,EAAE,SAAS,CAAC,eAAe;YAC1C,cAAc;SACf,CAAC;QACJ,QAAQ,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW;KACpC,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC;QAC5B,KAAK,EAAE,MAAM;QACb,UAAU;QACV,OAAO;QACP,EAAE,EAAE,GAAG,EAAE,CACP,OAAO,CAAC,WAAW,CAAC;YAClB,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,KAAK,EAAE,SAAS,CAAC,KAAK;YACtB,aAAa,EAAE,SAAS,CAAC,aAAa;SACvC,CAAC;QACJ,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,YAAY;KAC1E,CAAC,CAAC;IAEH,MAAM,cAAc,GAAG,eAAe,CAAC;QACrC,OAAO;QACP,SAAS;QACT,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,cAAc;QACd,UAAU;QACV,SAAS,EAAE,MAAM,CAAC,SAAS,IAAI,EAAE;KAClC,CAAC,CAAC;IAEH,qEAAqE;IACrE,2DAA2D;IAC3D,2EAA2E;IAC3E,sEAAsE;IACtE,2BAA2B;IAC3B,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC;QAC9B,KAAK,EAAE,SAAS;QAChB,UAAU;QACV,OAAO;QACP,EAAE,EAAE,KAAK,IAAI,EAAE;YACb,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,gBAAgB,CAAC;gBAC5C,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,OAAO,EAAE,cAAc;gBACvB,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,eAAe,EAAE,MAAM,CAAC,eAAe;gBACvC,aAAa,EAAE,SAAS,CAAC,aAAa;gBACtC,cAAc;gBACd,iBAAiB;aAClB,CAAC,CAAC;YACH,MAAM,OAAO,GAAG,WAAW,CAAC,cAAc,EAAE,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,mBAAmB,CAAC,CAAC;YAC7F,OAAO,EAAE,GAAG,MAAM,EAAE,OAAO,EAAE,CAAC;QAChC,CAAC;QACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,qBAAqB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,eAAe;KAC5E,CAAC,CAAC;IAEH,OAAO;QACL,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,eAAe,EAAE,QAAQ,CAAC,KAAK;QAC/B,aAAa,EAAE,QAAQ,CAAC,aAAa;QACrC,WAAW,EAAE,CAAC,GAAG,MAAM,CAAC,WAAW,EAAE,GAAG,MAAM,CAAC,WAAW,CAAC;KAC5D,CAAC;AACJ,CAAC;AAsCD,MAAM,CAAC,KAAK,UAAU,iCAAiC,CACrD,OAAuC;IAMvC,MAAM,EACJ,QAAQ,EACR,OAAO,EACP,SAAS,EACT,aAAa,EACb,eAAe,EACf,cAAc,EACd,UAAU,EACV,OAAO,EACP,iBAAiB,GAClB,GAAG,OAAO,CAAC;IACZ,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC;QAC5B,KAAK,EAAE,OAAO;QACd,UAAU;QACV,OAAO;QACP,EAAE,EAAE,GAAG,EAAE,CACP,OAAO,CAAC,YAAY,CAAC;YACnB,aAAa,EAAE,SAAS,CAAC,aAAa;YACtC,KAAK,EAAE,SAAS,CAAC,KAAK;YACtB,eAAe,EAAE,SAAS,CAAC,eAAe;YAC1C,cAAc;SACf,CAAC;QACJ,QAAQ,EAAE,GAAG,EAAE,CAAC,GAAG,OAAO,CAAC,WAAW,gBAAgB;KACvD,CAAC,CAAC;IAEH,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,MAAM,QAAQ,CAAC;QAC5C,KAAK,EAAE,MAAM;QACb,UAAU;QACV,OAAO;QACP,EAAE,EAAE,GAAG,EAAE,CACP,uBAAuB,CAAC;YACtB,OAAO;YACP,SAAS;YACT,aAAa;YACb,aAAa,EAAE,MAAM,CAAC,OAAO;YAC7B,eAAe;SAChB,CAAC;QACJ,QAAQ,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,kBAAkB;KACpE,CAAC,CAAC;IAEH,kEAAkE;IAClE,0DAA0D;IAC1D,MAAM,eAAe,GAAG,gBAAgB,CAAC,aAAa,EAAE,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACxF,MAAM,eAAe,GAAG,cAAc,CAAC,aAAa,EAAE,MAAM,CAAC,SAAS,IAAI,EAAE,EAAE,UAAU,CAAC,CAAC;IAC1F,MAAM,cAAc,GAAG;QACrB,GAAG,eAAe,CAAC;YACjB,OAAO;YACP,SAAS;YACT,WAAW,EAAE,eAAuD;YACpE,cAAc;SACf,CAAC;QACF,SAAS,EAAE,eAAe;QAC1B,GAAG,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC3D,CAAC;IAEb,8EAA8E;IAC9E,2EAA2E;IAC3E,yEAAyE;IACzE,EAAE;IACF,mEAAmE;IACnE,iEAAiE;IACjE,4DAA4D;IAC5D,EAAE;IACF,kEAAkE;IAClE,kEAAkE;IAClE,oEAAoE;IACpE,gEAAgE;IAChE,8CAA8C;IAC9C,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC;QAC9B,KAAK,EAAE,SAAS;QAChB,UAAU;QACV,OAAO;QACP,EAAE,EAAE,KAAK,IAAI,EAAE;YACb,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,gBAAgB,CAAC;gBAC5C,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,OAAO,EAAE,cAAc;gBACvB,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,eAAe,EAAE,MAAM,CAAC,eAAe;gBACvC,aAAa,EAAE,SAAS,CAAC,aAAa;gBACtC,cAAc;gBACd,iBAAiB;aAClB,CAAC,CAAC;YACH,MAAM,cAAc,GAAG,2BAA2B,CAChD,cAAc,EACd,aAAa,EACb,MAAM,CAAC,YAAY,EACnB,UAAU,CACX,CAAC;YACF,MAAM,iBAAiB,GAAG,6BAA6B,CACrD,cAAc,EACd,MAAM,CAAC,mBAAmB,CAC3B,CAAC;YACF,MAAM,OAAO,GAAY,EAAE,GAAG,cAAc,EAAE,SAAS,EAAE,iBAAiB,EAAE,CAAC;YAC7E,OAAO,EAAE,GAAG,MAAM,EAAE,OAAO,EAAE,CAAC;QAChC,CAAC;QACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,qBAAqB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,eAAe;KAC5E,CAAC,CAAC;IAEH,OAAO;QACL,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,eAAe,EAAE,QAAQ,CAAC,KAAK;QAC/B,aAAa,EAAE,QAAQ,CAAC,aAAa;KACtC,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,6BAA6B,CACpC,SAAwD,EACxD,mBAA+E;IAE/E,IAAI,mBAAmB,KAAK,SAAS,IAAI,mBAAmB,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACxE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,GAAG,GAAyC,MAAM,CAAC,MAAM,CAAC,IAAI,CAGnE,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QACrD,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACzB,MAAM,IAAI,GAAG,mBAAmB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC3E,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;QAC/D,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAYD;;;;GAIG;AACH,SAAS,eAAe,CAAC,KAA2B;IAClD,MAAM,EACJ,OAAO,EACP,SAAS,EACT,WAAW,EACX,cAAc,EACd,UAAU,GAAG,OAAO,EACpB,SAAS,GAAG,EAAE,GACf,GAAG,KAAK,CAAC;IACV,OAAO;QACL,OAAO,EAAE,KAAK;QACd,IAAI,EAAE,OAAO;QACb,QAAQ,EAAE,OAAO,CAAC,EAAE;QACpB,wEAAwE;QACxE,sEAAsE;QACtE,kEAAkE;QAClE,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACjC,2EAA2E;QAC3E,uEAAuE;QACvE,QAAQ,EAAE,kBAAkB,CAC1B,OAAO,CAAC,QAAQ,CAAC;YACf,aAAa,EAAE,SAAS,CAAC,aAAa;YACtC,aAAa,EAAE,SAAS,CAAC,aAAa;YACtC,eAAe,EAAE,SAAS,CAAC,eAAe;YAC1C,cAAc;SACf,CAAC,EACF,UAAU,CACX;QACD,6DAA6D;QAC7D,0DAA0D;QAC1D,cAAc;QACd,yEAAyE;QACzE,8EAA8E;QAC9E,GAAG,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9C,SAAS,EAAE,WAAW;KACvB,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,cAAc,CACrB,MAAe,EACf,eAA0C,EAC1C,UAA+B;IAE/B,MAAM,UAAU,GAAG,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IACvF,OAAO,aAAa,CAAC,CAAC,GAAG,UAAU,EAAE,GAAG,eAAe,CAAC,CAAC,CAAC;AAC5D,CAAC;AAED,4EAA4E;AAC5E,SAAS,aAAa,CAAC,SAAoC;IACzD,OAAO,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,CACxB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,MAAM,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC;QACjE,MAAM,CAAC,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,YAAY,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,YAAY,CAAC;QACjF,MAAM,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,CACxE,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,SAAS,WAAW,CAClB,OAAgB,EAChB,YAAsD,EACtD,mBAAoE;IAEpE,MAAM,IAAI,GAAyC,MAAM,CAAC,MAAM,CAAC,IAAI,CAGpE,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7D,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC1B,sEAAsE;YACtE,wEAAwE;YACxE,2CAA2C;YAC3C,MAAM,QAAQ,GAAG,YAAY,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;YACtD,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;YAC/C,MAAM,YAAY,GAAG,mBAAmB,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;YACxD,4DAA4D;YAC5D,6DAA6D;YAC7D,uDAAuD;YACvD,OAAO,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC;QACtF,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;AACzC,CAAC"}

package/dist/cli/orchestrate/catalog-stats.d.ts

@@ -0,0 +1,31 @@
+/**
+ * Catalog-derived progress-detail metrics, shared by the single-program
+ * (exact) and sharded build paths so both compute the SAME stage-detail
+ * metric the SAME way from their final catalog — one consistent
+ * "N call site(s)" / "N functions" row regardless of engine, with no
+ * engine-specific (e.g. "cross-shard") leakage.
+ *
+ * NOTE: the two engines' occurrence sets are equivalent, but their resolved
+ * call-edge sets currently differ (the sharded path's boundary recovery adds
+ * cross-shard edges the single-program path resolves differently) — that
+ * edge-set divergence is a separate engine concern, not this metric's. These
+ * helpers faithfully report whatever the catalog they're handed contains.
+ */
+import type { Catalog } from '../../types.js';
+/**
+ * Distinct function occurrences in a catalog — the merged `walk` sub-label
+ * count. Sums occurrence arrays across all function names.
+ */
+export declare function countCatalogFunctions(catalog: Catalog): number;
+/**
+ * RESOLVED call sites across all occurrences — the `resolve` sub-label count.
+ * Counts only call edges that resolved to at least one target (`to.length > 0`),
+ * NOT empty-`to` placeholder edges (which the sharded boundary pass emits per
+ * unresolved cross-shard call site and which would otherwise inflate the sharded
+ * number by ~100k vs exact). Counting resolved edges makes the metric meaningful
+ * ("call sites we drew an edge for") and engine-consistent: post-convergence the
+ * exact and sharded builds report near-identical counts (a small residual remains
+ * from documented cross-package re-export differences).
+ */
+export declare function countCatalogCallSites(catalog: Catalog): number;
+//# sourceMappingURL=catalog-stats.d.ts.map

package/dist/cli/orchestrate/catalog-stats.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog-stats.d.ts","sourceRoot":"","sources":["../../../src/cli/orchestrate/catalog-stats.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAE9C;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,CAQ9D;AAED;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,CAU9D"}

package/dist/cli/orchestrate/catalog-stats.js

@@ -0,0 +1,52 @@
+/**
+ * Catalog-derived progress-detail metrics, shared by the single-program
+ * (exact) and sharded build paths so both compute the SAME stage-detail
+ * metric the SAME way from their final catalog — one consistent
+ * "N call site(s)" / "N functions" row regardless of engine, with no
+ * engine-specific (e.g. "cross-shard") leakage.
+ *
+ * NOTE: the two engines' occurrence sets are equivalent, but their resolved
+ * call-edge sets currently differ (the sharded path's boundary recovery adds
+ * cross-shard edges the single-program path resolves differently) — that
+ * edge-set divergence is a separate engine concern, not this metric's. These
+ * helpers faithfully report whatever the catalog they're handed contains.
+ */
+/**
+ * Distinct function occurrences in a catalog — the merged `walk` sub-label
+ * count. Sums occurrence arrays across all function names.
+ */
+export function countCatalogFunctions(catalog) {
+    let n = 0;
+    // @fitness-ignore-next-line batch-operation-limits -- Pure in-memory summation over an already-materialized catalog map (no IO, no external/unbounded dataset); not a batch operation needing pagination/concurrency limits.
+    for (const name of Object.keys(catalog.functions)) {
+        const occs = catalog.functions[name];
+        if (occs)
+            n += occs.length;
+    }
+    return n;
+}
+/**
+ * RESOLVED call sites across all occurrences — the `resolve` sub-label count.
+ * Counts only call edges that resolved to at least one target (`to.length > 0`),
+ * NOT empty-`to` placeholder edges (which the sharded boundary pass emits per
+ * unresolved cross-shard call site and which would otherwise inflate the sharded
+ * number by ~100k vs exact). Counting resolved edges makes the metric meaningful
+ * ("call sites we drew an edge for") and engine-consistent: post-convergence the
+ * exact and sharded builds report near-identical counts (a small residual remains
+ * from documented cross-package re-export differences).
+ */
+export function countCatalogCallSites(catalog) {
+    let n = 0;
+    for (const name of Object.keys(catalog.functions)) {
+        const occs = catalog.functions[name];
+        if (!occs)
+            continue;
+        for (const occ of occs) {
+            for (const edge of occ.calls)
+                if (edge.to.length > 0)
+                    n++;
+        }
+    }
+    return n;
+}
+//# sourceMappingURL=catalog-stats.js.map

package/dist/cli/orchestrate/catalog-stats.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog-stats.js","sourceRoot":"","sources":["../../../src/cli/orchestrate/catalog-stats.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CAAC,OAAgB;IACpD,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,6NAA6N;IAC7N,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,IAAI;YAAE,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC;IAC7B,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,qBAAqB,CAAC,OAAgB;IACpD,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK;gBAAE,IAAI,IAAI,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC;oBAAE,CAAC,EAAE,CAAC;QAC5D,CAAC;IACH,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC"}