ghagga-core 3.2.0 → 3.3.0

package/dist/graph/narrow-symbols.js

@@ -0,0 +1,195 @@
+/**
+ * Symbol-Precise Blast-Radius Narrowing (scip-symbol-exclusion, design v3 SAFE)
+ *
+ * A PURE SUBTRACTIVE POST-FILTER over `computeBlastRadius` — never an
+ * alternative inclusion path. `computeBlastRadius`/`buildReverseIndex`
+ * (blast-radius.ts) stay BYTE-IDENTICAL; this module only removes
+ * provably-unaffected DIRECT (depth-1) dependents from that result.
+ *
+ * Three fail-closed pillars, each independently load-bearing:
+ * - Pillar 0 (`isExactCommitFresh`): symbol-line attribution is only valid
+ *   when the graph was indexed at the EXACT SAME commit as the diff's
+ *   post-image — a stale graph shifts lines and silently maps changed
+ *   lines to the WRONG symbol (Pillar 1 cannot catch this: a symbol WAS
+ *   found, just the wrong one). ANY doubt about freshness ⇒ no exclusion.
+ * - Pillar 1 (`hasUnattributedChanges`): changed-symbol data always comes
+ *   from `computeChangedSymbolsComplete`; any changed file with even one
+ *   unattributed line forces conservative-include of every dependent
+ *   reaching it.
+ * - Pillar 2 (`canExcludeEdge`): a pure, fail-closed ENUMERATED WHITELIST
+ *   on B's (the changed file's) language + builtVia. DEFAULT false — only
+ *   explicitly enumerated cells return true. This is a whitelist, not a
+ *   `!== python` blacklist (that was JD-001, a confirmed BLOCKER: it
+ *   wrongly allowed go/kotlin/csharp/php under SCIP).
+ *
+ * Any single uncertainty at any layer resolves to INCLUDE. Never narrows a
+ * directly-changed file, and — because condition (2) below forces include
+ * on ANY transitive hop — only ever prunes DIRECT (depth-1) dependents;
+ * transitive dependents are always included (documented, not a bug).
+ */
+import { isGraphStale } from './schema.js';
+// ─── Pillar 2: canExcludeEdge — fail-closed enumerated whitelist ────
+/**
+ * SCIP-dense whitelist (D2/spec): languages where SCIP symbol extraction is
+ * empirically dense enough to trust for exclusion. Go has partial SCIP
+ * fidelity (JD-001 guard: must stay excluded from this set). Python's
+ * scip-python fidelity is unverified. Any language NOT in this set —
+ * including future/unknown languages — resolves to conservative-include.
+ */
+const SCIP_DENSE_LANGUAGES = new Set([
+    'typescript',
+    'javascript',
+    'rust',
+    'java',
+]);
+/**
+ * Regex-dense whitelist: languages where the regex extractor's
+ * `importSymbols` is dense enough to trust for exclusion WITHOUT an
+ * additional per-edge precondition.
+ */
+const REGEX_DENSE_LANGUAGES = new Set([
+    'typescript',
+    'javascript',
+    'java',
+]);
+/**
+ * Regex languages where `importSymbols` is sparse/alias-only in general,
+ * but MAY be trusted for exclusion IF the specific edge A→B happens to
+ * carry a populated `importSymbols[B]` entry (already enforced by the
+ * universal precondition below — this set just says "these two languages
+ * are eligible for that precondition-gated allowance", Go is NOT).
+ */
+const REGEX_CONDITIONAL_LANGUAGES = new Set(['python', 'rust']);
+/**
+ * Pure, fail-closed gate for a single edge A→B (A depends on changed file
+ * B). DEFAULT return is `false`; only the explicitly enumerated cells in
+ * the D2 table return `true`. Gates on B's language — NEVER A's — because
+ * the carve-out is about B's extracted-symbol fidelity, not A's.
+ */
+export function canExcludeEdge(aNode, bPath, bNode, builtVia) {
+    // Universal preconditions — any false ⇒ false immediately.
+    if (builtVia !== 'scip' && builtVia !== 'regex')
+        return false;
+    if (bNode.reExportsAll && bNode.reExportsAll.length > 0)
+        return false;
+    const usedSymbols = aNode.importSymbols?.[bPath];
+    if (!usedSymbols || usedSymbols.length === 0)
+        return false;
+    if (!bNode.symbolRanges || Object.keys(bNode.symbolRanges).length === 0)
+        return false;
+    const bLang = bNode.language;
+    if (builtVia === 'scip') {
+        return SCIP_DENSE_LANGUAGES.has(bLang);
+    }
+    // builtVia === 'regex'
+    if (REGEX_DENSE_LANGUAGES.has(bLang))
+        return true;
+    if (REGEX_CONDITIONAL_LANGUAGES.has(bLang)) {
+        // Universal precondition already enforced aNode.importSymbols[bPath]
+        // is present and non-empty above — that IS the "importSymbols[B]
+        // present on edge A→B" requirement from the spec for python/rust.
+        return true;
+    }
+    return false;
+}
+// ─── Pillar 0: isExactCommitFresh ───────────────────────────────
+/**
+ * True ONLY when `metadata.lastIndexedCommit` is present, EQUALS
+ * `currentHead`, and the graph is not stale-by-age. ANY doubt (absent
+ * metadata, head mismatch, empty currentHead, stale-by-age) ⇒ false —
+ * fails safe, never assumes freshness.
+ */
+export function isExactCommitFresh(metadata, currentHead) {
+    if (!metadata)
+        return false;
+    if (!metadata.lastIndexedCommit)
+        return false;
+    if (!currentHead)
+        return false;
+    if (metadata.lastIndexedCommit !== currentHead)
+        return false;
+    if (isGraphStale(metadata))
+        return false;
+    return true;
+}
+// ─── narrowBySymbols — the post-filter ──────────────────────────
+/**
+ * Compute the set of dependents to EXCLUDE from the blast radius.
+ *
+ * For each candidate dependent A (never a directly-changed file), A is
+ * excluded ONLY if, for EVERY direct import target B of A that is itself
+ * a changed file:
+ * - `changedByFile` has a complete entry for B with `hasUnattributedChanges === false`, AND
+ * - `canExcludeEdge(A, B)` is true, AND
+ * - `importSymbols[A][B] ∩ changedSymbols[B]` is empty.
+ *
+ * A is included (never excluded) on ANY of:
+ * - transitive-only reach (some blast-radius file M ∈ A's reachable set
+ *   is NOT one of A's DIRECT imports and is a changed file — approximated
+ *   here by A having no direct changed-file import at all while still
+ *   being in the BFS-derived `dependents` list, i.e. reached only via an
+ *   intermediate),
+ * - any reached direct-changed-file B with unattributed changes,
+ * - an empty `importSymbols[A][B]` (side-effect/namespace import — treated
+ *   as "uncertain", never as "uses nothing"),
+ * - any gating uncertainty at all.
+ *
+ * `dependents` MUST NOT include any file in `changedFileSet` — narrowing
+ * never touches directly-changed files (callers must filter/verify this;
+ * this function additionally defends by skipping any candidate that is
+ * itself in `changedFileSet`).
+ */
+export function narrowBySymbols(dependents, changedByFile, graph, builtVia, _blastFiles, changedFileSet) {
+    const excluded = new Set();
+    if (builtVia !== 'scip' && builtVia !== 'regex')
+        return excluded;
+    for (const aPath of dependents) {
+        // Never narrow a directly-changed file, even if passed in by mistake.
+        if (changedFileSet.has(aPath))
+            continue;
+        const aNode = graph.nodes[aPath];
+        if (!aNode)
+            continue;
+        // Direct import targets of A that are themselves changed files.
+        const directChangedTargets = aNode.imports.filter((target) => changedFileSet.has(target));
+        // Transitive-only reach: A is a dependent (per BFS) but has NO direct
+        // import edge into any changed file — it must have been reached via an
+        // intermediate hop. Per D3 cond (2), always include.
+        if (directChangedTargets.length === 0)
+            continue;
+        let allEdgesSafe = true;
+        for (const bPath of directChangedTargets) {
+            const bNode = graph.nodes[bPath];
+            if (!bNode) {
+                allEdgesSafe = false;
+                break;
+            }
+            const complete = changedByFile.get(bPath);
+            if (!complete || complete.hasUnattributedChanges) {
+                allEdgesSafe = false;
+                break;
+            }
+            if (!canExcludeEdge(aNode, bPath, bNode, builtVia)) {
+                allEdgesSafe = false;
+                break;
+            }
+            const used = aNode.importSymbols?.[bPath];
+            if (!used || used.length === 0) {
+                // Empty-set-safe rule: an empty importSymbols entry is uncertain
+                // (side-effect/namespace import), never "uses nothing".
+                allEdgesSafe = false;
+                break;
+            }
+            const usesChangedSymbol = used.some((s) => complete.changedSymbols.has(s));
+            if (usesChangedSymbol) {
+                allEdgesSafe = false;
+                break;
+            }
+        }
+        if (allEdgesSafe) {
+            excluded.add(aPath);
+        }
+    }
+    return excluded;
+}
+//# sourceMappingURL=narrow-symbols.js.map

package/dist/graph/narrow-symbols.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"narrow-symbols.js","sourceRoot":"","sources":["../../src/graph/narrow-symbols.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAIH,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE3C,uEAAuE;AAEvE;;;;;;GAMG;AACH,MAAM,oBAAoB,GAAmC,IAAI,GAAG,CAAC;IACnE,YAAY;IACZ,YAAY;IACZ,MAAM;IACN,MAAM;CACP,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,qBAAqB,GAAmC,IAAI,GAAG,CAAC;IACpE,YAAY;IACZ,YAAY;IACZ,MAAM;CACP,CAAC,CAAC;AAEH;;;;;;GAMG;AACH,MAAM,2BAA2B,GAAmC,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;AAEhG;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAC5B,KAAgB,EAChB,KAAa,EACb,KAAgB,EAChB,QAAsC;IAEtC,2DAA2D;IAC3D,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IAC9D,IAAI,KAAK,CAAC,YAAY,IAAI,KAAK,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAEtE,MAAM,WAAW,GAAG,KAAK,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,CAAC;IACjD,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAE3D,IAAI,CAAC,KAAK,CAAC,YAAY,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAEtF,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC;IAE7B,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QACxB,OAAO,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC;IAED,uBAAuB;IACvB,IAAI,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAClD,IAAI,2BAA2B,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3C,qEAAqE;QACrE,iEAAiE;QACjE,kEAAkE;QAClE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,mEAAmE;AAEnE;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAChC,QAA8B,EAC9B,WAA+B;IAE/B,IAAI,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5B,IAAI,CAAC,QAAQ,CAAC,iBAAiB;QAAE,OAAO,KAAK,CAAC;IAC9C,IAAI,CAAC,WAAW;QAAE,OAAO,KAAK,CAAC;IAC/B,IAAI,QAAQ,CAAC,iBAAiB,KAAK,WAAW;QAAE,OAAO,KAAK,CAAC;IAC7D,IAAI,YAAY,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IACzC,OAAO,IAAI,CAAC;AACd,CAAC;AAED,mEAAmE;AAEnE;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,UAAU,eAAe,CAC7B,UAAoB,EACpB,aAAgD,EAChD,KAAsB,EACtB,QAAsC,EACtC,WAAwB,EACxB,cAA2B;IAE3B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IAEnC,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,OAAO;QAAE,OAAO,QAAQ,CAAC;IAEjE,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;QAC/B,sEAAsE;QACtE,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,SAAS;QAExC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACjC,IAAI,CAAC,KAAK;YAAE,SAAS;QAErB,gEAAgE;QAChE,MAAM,oBAAoB,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;QAE1F,sEAAsE;QACtE,uEAAuE;QACvE,qDAAqD;QACrD,IAAI,oBAAoB,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAEhD,IAAI,YAAY,GAAG,IAAI,CAAC;QAExB,KAAK,MAAM,KAAK,IAAI,oBAAoB,EAAE,CAAC;YACzC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACjC,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,YAAY,GAAG,KAAK,CAAC;gBACrB,MAAM;YACR,CAAC;YAED,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAC1C,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,sBAAsB,EAAE,CAAC;gBACjD,YAAY,GAAG,KAAK,CAAC;gBACrB,MAAM;YACR,CAAC;YAED,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC;gBACnD,YAAY,GAAG,KAAK,CAAC;gBACrB,MAAM;YACR,CAAC;YAED,MAAM,IAAI,GAAG,KAAK,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,CAAC;YAC1C,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC/B,iEAAiE;gBACjE,wDAAwD;gBACxD,YAAY,GAAG,KAAK,CAAC;gBACrB,MAAM;YACR,CAAC;YAED,MAAM,iBAAiB,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3E,IAAI,iBAAiB,EAAE,CAAC;gBACtB,YAAY,GAAG,KAAK,CAAC;gBACrB,MAAM;YACR,CAAC;QACH,CAAC;QAED,IAAI,YAAY,EAAE,CAAC;YACjB,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/graph/schema.d.ts

@@ -8,7 +8,23 @@
  * - Validation functions for runtime type checking
  * - Constants for limits, patterns, and language support
  */
-export type SupportedLanguage = 'typescript' | 'javascript' | 'python' | 'go' | 'java' | 'rust';
+/**
+ * Languages that have a regex-based extractor (see `extractors/index.ts`).
+ * `Record<RegexSupportedLanguage, Extractor>` stays exhaustive: adding a new
+ * regex-capable language forces a compile error until an extractor exists.
+ */
+export type RegexSupportedLanguage = 'typescript' | 'javascript' | 'python' | 'go' | 'java' | 'rust';
+/**
+ * Languages only reachable via a SCIP indexer — no regex extractor exists
+ * (or ever will, e.g. Kotlin/C#/PHP). `--fallback-regex` cannot index files
+ * in these languages.
+ */
+export type ScipOnlyLanguage = 'kotlin' | 'csharp' | 'php';
+export type SupportedLanguage = RegexSupportedLanguage | ScipOnlyLanguage;
+/** Runtime enumeration of `RegexSupportedLanguage`, for tests/tooling. */
+export declare const REGEX_SUPPORTED_LANGUAGES: readonly RegexSupportedLanguage[];
+/** Runtime enumeration of `ScipOnlyLanguage`, for tests/tooling. */
+export declare const SCIP_ONLY_LANGUAGES: readonly ScipOnlyLanguage[];
 export interface DependencyGraph {
     /** Schema version for forward compatibility */
     version: number;
@@ -24,8 +40,41 @@ export interface GraphNode {
     language: SupportedLanguage;
     /** Relative paths of files this file imports from */
     imports: string[];
-    /** Exported symbol names (for cross-reference) */
+    /**
+     * Per-import-target referenced symbol names, keyed by the SAME resolved
+     * path space as `imports` (i.e. `importSymbols[target]` is only
+     * meaningful when `target` also appears in `imports`). Additive/optional
+     * — populated where the extractor/occurrence data provides named symbols
+     * (TS/JS/Java dense; Go mostly alias-only; Python/Rust absent). Empty or
+     * unknown symbol lists OMIT the key entirely rather than storing `[]`.
+     * NEVER used to alter `imports` or any blast-radius/analyzer behavior —
+     * strictly additive advisory data for the Symbol Impact review context.
+     */
+    importSymbols?: Record<string, string[]>;
+    /**
+     * Locally-defined exported symbol names only (for cross-reference).
+     * Re-exported names (`export ... from`) are EXCLUDED — see
+     * `reExportedSymbols`/`reExportsAll` for those. Prior to the barrel
+     * re-export split (D3), this field also contained re-exported names;
+     * this is a behavior change for `export { x } from './b'`-style lines.
+     */
     exports: string[];
+    /**
+     * Symbol names re-exported via named or type-only `export ... from`
+     * (e.g. `export { X } from './b'`, `export type { X } from './b'`).
+     * Additive/optional — omitted when a file has no such re-exports.
+     * Distinguishes re-exported names from `exports` (locally-defined),
+     * per D3's safety primitive for a future conservative always-include
+     * exclusion fallback.
+     */
+    reExportedSymbols?: string[];
+    /**
+     * Resolved source paths of wildcard re-exports (`export * from './b'`).
+     * Additive/optional — omitted when a file has no wildcard re-exports.
+     * Individual re-exported symbol names are NOT enumerated for wildcards
+     * (D4) — only the source is recorded.
+     */
+    reExportsAll?: string[];
     /** Cross-file function/method calls */
     calls: Array<{
         target: string;
@@ -33,6 +82,20 @@ export interface GraphNode {
     }>;
     /** True if file matches test patterns */
     isTest: boolean;
+    /**
+     * Per-symbol full-body source line-range, 1-based INCLUSIVE, keyed by
+     * the SAME displayName space as `importSymbols` VALUES and `exports` —
+     * i.e. `symbolRanges[name]` uses the same identifier a downstream
+     * consumer compares against `importSymbols[target]` entries. Additive/
+     * optional — populated ONLY by the SCIP builder, from Definition-role
+     * occurrences' `enclosingRange`/`typedEnclosingRange` (TS/JS/Rust/Java
+     * dense, Go partial, C#/PHP absent — see graph/scip/builder.ts D2/D6).
+     * The regex-based builder NEVER populates this field. A symbol with no
+     * captured range is simply omitted from this map (never fabricated) —
+     * its changes cannot be attributed downstream and degrade
+     * conservatively (`hasUnattributedChanges`, see graph/changed-symbols.ts).
+     */
+    symbolRanges?: Record<string, [number, number]>;
 }
 export interface GraphMetadata {
     /** Full SHA of the commit that was last indexed */
@@ -47,6 +110,40 @@ export interface GraphMetadata {
     languages: string[];
     /** Indexing duration in milliseconds */
     indexDurationMs: number;
+    /**
+     * Languages detected but NOT indexed (informational only — never a
+     * staleness/warning trigger). Additive/optional for backward compatibility
+     * with older `metadata.json` producers.
+     */
+    skippedLanguages?: string[];
+    /**
+     * Graph schema version this metadata was written for (mirrors
+     * `DependencyGraph.version`). Additive/optional; used to detect a
+     * metadata/graph mismatch (e.g. stale metadata next to a rebuilt graph).
+     */
+    graphVersion?: number;
+    /**
+     * Which build path produced this graph: `'scip'` when at least one SCIP
+     * indexer succeeded for the run, `'regex'` when `--fallback-regex` was
+     * used (scip-symbol-exclusion D5). Builds are all-or-nothing per run, so
+     * a single graph-level field suffices — never per-node. Additive/
+     * optional for backward compatibility with older `metadata.json`
+     * producers; ABSENT or unrecognized MUST be treated as the most
+     * conservative case (no symbol-precise exclusion), never defaulted to
+     * either value.
+     *
+     * No `schemaVersion` bump was needed to introduce this field: a
+     * pre-existing `metadata.json` written before `builtVia` existed simply
+     * omits the key, `metadata?.builtVia` reads `undefined`, and the
+     * `applyBlastRadius` wiring (prepare-graph.ts) gates narrowing on
+     * `builtVia` being truthy — so a legacy/absent value already fails
+     * closed (no narrowing) without any version check. Verified at the
+     * integration-wiring level in
+     * `pipeline/prepare-graph-narrow.test.ts` (legacy/absent `builtVia`,
+     * `null` metadata, and missing `lastIndexedCommit` all assert
+     * zero narrowing).
+     */
+    builtVia?: 'scip' | 'regex';
 }
 export interface BlastRadiusMetadata {
     /** Whether blast-radius was enabled for this review */
@@ -61,6 +158,13 @@ export interface BlastRadiusMetadata {
     fallbackReason?: string;
     /** Whether the graph was stale (>7 days old) */
     graphStale?: boolean;
+    /**
+     * Number of direct (depth-1) dependents removed by symbol-precise
+     * narrowing (scip-symbol-exclusion), additive/optional. Absent or 0 when
+     * narrowing is disabled, not applicable (no `builtVia`/not
+     * exact-commit-fresh), or found nothing to narrow.
+     */
+    narrowedDependents?: number;
 }
 export interface GraphLoader {
     /** Load the dependency graph. Returns null if unavailable. */
@@ -70,7 +174,7 @@ export interface GraphLoader {
 }
 /** Current graph schema version */
 export declare const GRAPH_VERSION = 1;
-/** Maximum graph.json size in bytes (5 MB) */
+/** Maximum graph.json size in bytes (20 MB) */
 export declare const MAX_GRAPH_SIZE_BYTES: number;
 /** Maximum files in a blast-radius result before falling back to full diff */
 export declare const MAX_BLAST_RADIUS_FILES = 50;
@@ -80,7 +184,16 @@ export declare const DEFAULT_TRAVERSAL_DEPTH = 3;
 export declare const GRAPH_STALE_DAYS = 7;
 /** Regex patterns that identify test files across supported languages */
 export declare const TEST_FILE_PATTERNS: RegExp[];
-/** Directories excluded from graph indexing */
+/**
+ * Directories excluded from graph indexing.
+ *
+ * `.worktrees`, `.ghagga`, and `.tools` were added for nested marker
+ * detection (D2): once the marker walk descends beyond repo root, it can
+ * hit git worktree checkouts, ghagga's own output dir, and vendored-tool
+ * directories (e.g. a `.tools/codeql/` with 100k+ files) that fan out
+ * horizontally at shallow depth — a depth bound alone doesn't stop those,
+ * so they need an explicit name exclusion (defense in depth).
+ */
 export declare const EXCLUDED_DIRS: Set<string>;
 /** Map from file extension to supported language */
 export declare const LANGUAGE_EXTENSIONS: Record<string, SupportedLanguage>;

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

@@ -1 +1 @@
-{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/graph/schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH,MAAM,MAAM,iBAAiB,GAAG,YAAY,GAAG,YAAY,GAAG,QAAQ,GAAG,IAAI,GAAG,MAAM,GAAG,MAAM,CAAC;AAIhG,MAAM,WAAW,eAAe;IAC9B,+CAA+C;IAC/C,OAAO,EAAE,MAAM,CAAC;IAEhB,4CAA4C;IAC5C,OAAO,EAAE,MAAM,CAAC;IAEhB,wCAAwC;IACxC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;CAClC;AAED,MAAM,WAAW,SAAS;IACxB,8DAA8D;IAC9D,IAAI,EAAE,MAAM,CAAC;IAEb,wBAAwB;IACxB,QAAQ,EAAE,iBAAiB,CAAC;IAE5B,qDAAqD;IACrD,OAAO,EAAE,MAAM,EAAE,CAAC;IAElB,kDAAkD;IAClD,OAAO,EAAE,MAAM,EAAE,CAAC;IAElB,uCAAuC;IACvC,KAAK,EAAE,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAEjD,yCAAyC;IACzC,MAAM,EAAE,OAAO,CAAC;CACjB;AAID,MAAM,WAAW,aAAa;IAC5B,mDAAmD;IACnD,iBAAiB,EAAE,MAAM,CAAC;IAE1B,yBAAyB;IACzB,aAAa,EAAE,MAAM,CAAC;IAEtB,+BAA+B;IAC/B,aAAa,EAAE,MAAM,CAAC;IAEtB,+BAA+B;IAC/B,SAAS,EAAE,MAAM,CAAC;IAElB,wBAAwB;IACxB,SAAS,EAAE,MAAM,EAAE,CAAC;IAEpB,wCAAwC;IACxC,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,mBAAmB;IAClC,uDAAuD;IACvD,OAAO,EAAE,OAAO,CAAC;IAEjB,+CAA+C;IAC/C,cAAc,EAAE,OAAO,CAAC;IAExB,8BAA8B;IAC9B,UAAU,EAAE,MAAM,CAAC;IAEnB,yCAAyC;IACzC,gBAAgB,EAAE,MAAM,CAAC;IAEzB,6DAA6D;IAC7D,cAAc,CAAC,EAAE,MAAM,CAAC;IAExB,gDAAgD;IAChD,UAAU,CAAC,EAAE,OAAO,CAAC;CACtB;AAID,MAAM,WAAW,WAAW;IAC1B,8DAA8D;IAC9D,IAAI,IAAI,OAAO,CAAC,eAAe,GAAG,IAAI,CAAC,CAAC;IAExC,wDAAwD;IACxD,YAAY,IAAI,OAAO,CAAC,aAAa,GAAG,IAAI,CAAC,CAAC;CAC/C;AAID,mCAAmC;AACnC,eAAO,MAAM,aAAa,IAAI,CAAC;AAE/B,8CAA8C;AAC9C,eAAO,MAAM,oBAAoB,QAAkB,CAAC;AAEpD,8EAA8E;AAC9E,eAAO,MAAM,sBAAsB,KAAK,CAAC;AAEzC,gEAAgE;AAChE,eAAO,MAAM,uBAAuB,IAAI,CAAC;AAEzC,6DAA6D;AAC7D,eAAO,MAAM,gBAAgB,IAAI,CAAC;AAElC,yEAAyE;AACzE,eAAO,MAAM,kBAAkB,EAAE,MAAM,EAOtC,CAAC;AAEF,+CAA+C;AAC/C,eAAO,MAAM,aAAa,aAUxB,CAAC;AAEH,oDAAoD;AACpD,eAAO,MAAM,mBAAmB,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAWjE,CAAC;AAIF;;;GAGG;AACH,wBAAgB,UAAU,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAGpD;AAED;;;;;;;;;GASG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,OAAO,GAAG,eAAe,GAAG,IAAI,CA2BnE;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,OAAO,GAAG,aAAa,GAAG,IAAI,CAapE;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,QAAQ,EAAE,aAAa,GAAG,OAAO,CAM7D"}
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/graph/schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH;;;;GAIG;AACH,MAAM,MAAM,sBAAsB,GAC9B,YAAY,GACZ,YAAY,GACZ,QAAQ,GACR,IAAI,GACJ,MAAM,GACN,MAAM,CAAC;AAEX;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,GAAG,QAAQ,GAAG,QAAQ,GAAG,KAAK,CAAC;AAE3D,MAAM,MAAM,iBAAiB,GAAG,sBAAsB,GAAG,gBAAgB,CAAC;AAE1E,0EAA0E;AAC1E,eAAO,MAAM,yBAAyB,EAAE,SAAS,sBAAsB,EAOtE,CAAC;AAEF,oEAAoE;AACpE,eAAO,MAAM,mBAAmB,EAAE,SAAS,gBAAgB,EAAgC,CAAC;AAI5F,MAAM,WAAW,eAAe;IAC9B,+CAA+C;IAC/C,OAAO,EAAE,MAAM,CAAC;IAEhB,4CAA4C;IAC5C,OAAO,EAAE,MAAM,CAAC;IAEhB,wCAAwC;IACxC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;CAClC;AAED,MAAM,WAAW,SAAS;IACxB,8DAA8D;IAC9D,IAAI,EAAE,MAAM,CAAC;IAEb,wBAAwB;IACxB,QAAQ,EAAE,iBAAiB,CAAC;IAE5B,qDAAqD;IACrD,OAAO,EAAE,MAAM,EAAE,CAAC;IAElB;;;;;;;;;OASG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAEzC;;;;;;OAMG;IACH,OAAO,EAAE,MAAM,EAAE,CAAC;IAElB;;;;;;;OAOG;IACH,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAE7B;;;;;OAKG;IACH,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IAExB,uCAAuC;IACvC,KAAK,EAAE,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAEjD,yCAAyC;IACzC,MAAM,EAAE,OAAO,CAAC;IAEhB;;;;;;;;;;;;OAYG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACjD;AAID,MAAM,WAAW,aAAa;IAC5B,mDAAmD;IACnD,iBAAiB,EAAE,MAAM,CAAC;IAE1B,yBAAyB;IACzB,aAAa,EAAE,MAAM,CAAC;IAEtB,+BAA+B;IAC/B,aAAa,EAAE,MAAM,CAAC;IAEtB,+BAA+B;IAC/B,SAAS,EAAE,MAAM,CAAC;IAElB,wBAAwB;IACxB,SAAS,EAAE,MAAM,EAAE,CAAC;IAEpB,wCAAwC;IACxC,eAAe,EAAE,MAAM,CAAC;IAExB;;;;OAIG;IACH,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAC;IAE5B;;;;OAIG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;IAEtB;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,QAAQ,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CAC7B;AAED,MAAM,WAAW,mBAAmB;IAClC,uDAAuD;IACvD,OAAO,EAAE,OAAO,CAAC;IAEjB,+CAA+C;IAC/C,cAAc,EAAE,OAAO,CAAC;IAExB,8BAA8B;IAC9B,UAAU,EAAE,MAAM,CAAC;IAEnB,yCAAyC;IACzC,gBAAgB,EAAE,MAAM,CAAC;IAEzB,6DAA6D;IAC7D,cAAc,CAAC,EAAE,MAAM,CAAC;IAExB,gDAAgD;IAChD,UAAU,CAAC,EAAE,OAAO,CAAC;IAErB;;;;;OAKG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC7B;AAID,MAAM,WAAW,WAAW;IAC1B,8DAA8D;IAC9D,IAAI,IAAI,OAAO,CAAC,eAAe,GAAG,IAAI,CAAC,CAAC;IAExC,wDAAwD;IACxD,YAAY,IAAI,OAAO,CAAC,aAAa,GAAG,IAAI,CAAC,CAAC;CAC/C;AAID,mCAAmC;AACnC,eAAO,MAAM,aAAa,IAAI,CAAC;AAE/B,+CAA+C;AAC/C,eAAO,MAAM,oBAAoB,QAAmB,CAAC;AAErD,8EAA8E;AAC9E,eAAO,MAAM,sBAAsB,KAAK,CAAC;AAEzC,gEAAgE;AAChE,eAAO,MAAM,uBAAuB,IAAI,CAAC;AAEzC,6DAA6D;AAC7D,eAAO,MAAM,gBAAgB,IAAI,CAAC;AAElC,yEAAyE;AACzE,eAAO,MAAM,kBAAkB,EAAE,MAAM,EAUtC,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,aAAa,aAaxB,CAAC;AAEH,oDAAoD;AACpD,eAAO,MAAM,mBAAmB,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAejE,CAAC;AAIF;;;GAGG;AACH,wBAAgB,UAAU,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAGpD;AAED;;;;;;;;;GASG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,OAAO,GAAG,eAAe,GAAG,IAAI,CAwDnE;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,OAAO,GAAG,aAAa,GAAG,IAAI,CAapE;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,QAAQ,EAAE,aAAa,GAAG,OAAO,CAM7D"}

package/dist/graph/schema.js

@@ -8,11 +8,22 @@
  * - Validation functions for runtime type checking
  * - Constants for limits, patterns, and language support
  */
+/** Runtime enumeration of `RegexSupportedLanguage`, for tests/tooling. */
+export const REGEX_SUPPORTED_LANGUAGES = [
+    'typescript',
+    'javascript',
+    'python',
+    'go',
+    'java',
+    'rust',
+];
+/** Runtime enumeration of `ScipOnlyLanguage`, for tests/tooling. */
+export const SCIP_ONLY_LANGUAGES = ['kotlin', 'csharp', 'php'];
 // ─── Constants ──────────────────────────────────────────────────
 /** Current graph schema version */
 export const GRAPH_VERSION = 1;
-/** Maximum graph.json size in bytes (5 MB) */
-export const MAX_GRAPH_SIZE_BYTES = 5 * 1024 * 1024;
+/** Maximum graph.json size in bytes (20 MB) */
+export const MAX_GRAPH_SIZE_BYTES = 20 * 1024 * 1024;
 /** Maximum files in a blast-radius result before falling back to full diff */
 export const MAX_BLAST_RADIUS_FILES = 50;
 /** Default BFS traversal depth for reverse dependency lookup */
@@ -27,8 +38,20 @@ export const TEST_FILE_PATTERNS = [
     /_test\.go$/,
     /Test\.java$/,
     /_test\.rs$/,
+    /Test\.kt$/,
+    /Tests\.cs$/,
+    /Test\.php$/,
 ];
-/** Directories excluded from graph indexing */
+/**
+ * Directories excluded from graph indexing.
+ *
+ * `.worktrees`, `.ghagga`, and `.tools` were added for nested marker
+ * detection (D2): once the marker walk descends beyond repo root, it can
+ * hit git worktree checkouts, ghagga's own output dir, and vendored-tool
+ * directories (e.g. a `.tools/codeql/` with 100k+ files) that fan out
+ * horizontally at shallow depth — a depth bound alone doesn't stop those,
+ * so they need an explicit name exclusion (defense in depth).
+ */
 export const EXCLUDED_DIRS = new Set([
     'node_modules',
     'vendor',
@@ -39,6 +62,9 @@ export const EXCLUDED_DIRS = new Set([
     'dist',
     '.next',
     '.turbo',
+    '.worktrees',
+    '.ghagga',
+    '.tools',
 ]);
 /** Map from file extension to supported language */
 export const LANGUAGE_EXTENSIONS = {
@@ -52,6 +78,10 @@ export const LANGUAGE_EXTENSIONS = {
     '.go': 'go',
     '.java': 'java',
     '.rs': 'rust',
+    '.kt': 'kotlin',
+    '.kts': 'kotlin',
+    '.cs': 'csharp',
+    '.php': 'php',
 };
 // ─── Utility Functions ──────────────────────────────────────────
 /**
@@ -105,6 +135,40 @@ export function validateGraph(json) {
             return null;
         if (typeof node.isTest !== 'boolean')
             return null;
+        // importSymbols is additive/optional — permissive spot-check only:
+        // when present it must be a plain object whose values are string
+        // arrays. Absence is always valid (older producers, non-TS builds).
+        if (node.importSymbols !== undefined) {
+            if (typeof node.importSymbols !== 'object' || node.importSymbols === null)
+                return null;
+            for (const value of Object.values(node.importSymbols)) {
+                if (!Array.isArray(value))
+                    return null;
+            }
+        }
+        // reExportedSymbols/reExportsAll are additive/optional — permissive
+        // spot-check only: when present, must be a string array. Absence is
+        // always valid (older producers, files with no re-exports).
+        if (node.reExportedSymbols !== undefined && !Array.isArray(node.reExportedSymbols)) {
+            return null;
+        }
+        if (node.reExportsAll !== undefined && !Array.isArray(node.reExportsAll)) {
+            return null;
+        }
+        // symbolRanges is additive/optional — permissive spot-check only: when
+        // present, must be a plain object whose values are [number, number]
+        // tuples. Absence is always valid (older producers, regex-built
+        // graphs, files with no captured ranges).
+        if (node.symbolRanges !== undefined) {
+            if (typeof node.symbolRanges !== 'object' || node.symbolRanges === null)
+                return null;
+            for (const value of Object.values(node.symbolRanges)) {
+                if (!Array.isArray(value) || value.length !== 2)
+                    return null;
+                if (typeof value[0] !== 'number' || typeof value[1] !== 'number')
+                    return null;
+            }
+        }
     }
     return json;
 }

package/dist/graph/schema.js.map

@@ -1 +1 @@
-{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/graph/schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AA2FH,mEAAmE;AAEnE,mCAAmC;AACnC,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC;AAE/B,8CAA8C;AAC9C,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC;AAEpD,8EAA8E;AAC9E,MAAM,CAAC,MAAM,sBAAsB,GAAG,EAAE,CAAC;AAEzC,gEAAgE;AAChE,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC;AAEzC,6DAA6D;AAC7D,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC;AAElC,yEAAyE;AACzE,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,kBAAkB;IAClB,kBAAkB;IAClB,eAAe;IACf,YAAY;IACZ,aAAa;IACb,YAAY;CACb,CAAC;AAEF,+CAA+C;AAC/C,MAAM,CAAC,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC;IACnC,cAAc;IACd,QAAQ;IACR,MAAM;IACN,aAAa;IACb,QAAQ;IACR,OAAO;IACP,MAAM;IACN,OAAO;IACP,QAAQ;CACT,CAAC,CAAC;AAEH,oDAAoD;AACpD,MAAM,CAAC,MAAM,mBAAmB,GAAsC;IACpE,KAAK,EAAE,YAAY;IACnB,MAAM,EAAE,YAAY;IACpB,KAAK,EAAE,YAAY;IACnB,MAAM,EAAE,YAAY;IACpB,MAAM,EAAE,YAAY;IACpB,MAAM,EAAE,YAAY;IACpB,KAAK,EAAE,QAAQ;IACf,KAAK,EAAE,IAAI;IACX,OAAO,EAAE,MAAM;IACf,KAAK,EAAE,MAAM;CACd,CAAC;AAEF,mEAAmE;AAEnE;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,QAAgB;IACzC,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,QAAQ,CAAC;IACvD,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;AACtE,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,aAAa,CAAC,IAAa;IACzC,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAEnD,MAAM,GAAG,GAAG,IAA+B,CAAC;IAE5C,kCAAkC;IAClC,IAAI,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACjD,IAAI,GAAG,CAAC,OAAO,KAAK,aAAa;QAAE,OAAO,IAAI,CAAC;IAC/C,IAAI,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACjD,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAE7D,kEAAkE;IAClE,MAAM,KAAK,GAAG,GAAG,CAAC,KAAgC,CAAC;IACnD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACzC,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAErD,MAAM,IAAI,GAAG,KAAgC,CAAC;QAC9C,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC/C,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACnD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;YAAE,OAAO,IAAI,CAAC;QAC9C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;YAAE,OAAO,IAAI,CAAC;QAC9C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAC5C,IAAI,OAAO,IAAI,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;IACpD,CAAC;IAED,OAAO,IAAuB,CAAC;AACjC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAa;IAC5C,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAEnD,MAAM,GAAG,GAAG,IAA+B,CAAC;IAE5C,IAAI,OAAO,GAAG,CAAC,iBAAiB,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3D,IAAI,OAAO,GAAG,CAAC,aAAa,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACvD,IAAI,OAAO,GAAG,CAAC,aAAa,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACvD,IAAI,OAAO,GAAG,CAAC,SAAS,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACnD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/C,IAAI,OAAO,GAAG,CAAC,eAAe,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAEzD,OAAO,IAAqB,CAAC;AAC/B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAC,QAAuB;IAClD,MAAM,WAAW,GAAG,IAAI,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;IACrD,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC;IACvB,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,EAAE,GAAG,WAAW,CAAC,OAAO,EAAE,CAAC;IACrD,MAAM,QAAQ,GAAG,MAAM,GAAG,CAAC,IAAI,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IAChD,OAAO,QAAQ,GAAG,gBAAgB,CAAC;AACrC,CAAC"}
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/graph/schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AA0BH,0EAA0E;AAC1E,MAAM,CAAC,MAAM,yBAAyB,GAAsC;IAC1E,YAAY;IACZ,YAAY;IACZ,QAAQ;IACR,IAAI;IACJ,MAAM;IACN,MAAM;CACP,CAAC;AAEF,oEAAoE;AACpE,MAAM,CAAC,MAAM,mBAAmB,GAAgC,CAAC,QAAQ,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;AAuL5F,mEAAmE;AAEnE,mCAAmC;AACnC,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC;AAE/B,+CAA+C;AAC/C,MAAM,CAAC,MAAM,oBAAoB,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC;AAErD,8EAA8E;AAC9E,MAAM,CAAC,MAAM,sBAAsB,GAAG,EAAE,CAAC;AAEzC,gEAAgE;AAChE,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC;AAEzC,6DAA6D;AAC7D,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC;AAElC,yEAAyE;AACzE,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,kBAAkB;IAClB,kBAAkB;IAClB,eAAe;IACf,YAAY;IACZ,aAAa;IACb,YAAY;IACZ,WAAW;IACX,YAAY;IACZ,YAAY;CACb,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC;IACnC,cAAc;IACd,QAAQ;IACR,MAAM;IACN,aAAa;IACb,QAAQ;IACR,OAAO;IACP,MAAM;IACN,OAAO;IACP,QAAQ;IACR,YAAY;IACZ,SAAS;IACT,QAAQ;CACT,CAAC,CAAC;AAEH,oDAAoD;AACpD,MAAM,CAAC,MAAM,mBAAmB,GAAsC;IACpE,KAAK,EAAE,YAAY;IACnB,MAAM,EAAE,YAAY;IACpB,KAAK,EAAE,YAAY;IACnB,MAAM,EAAE,YAAY;IACpB,MAAM,EAAE,YAAY;IACpB,MAAM,EAAE,YAAY;IACpB,KAAK,EAAE,QAAQ;IACf,KAAK,EAAE,IAAI;IACX,OAAO,EAAE,MAAM;IACf,KAAK,EAAE,MAAM;IACb,KAAK,EAAE,QAAQ;IACf,MAAM,EAAE,QAAQ;IAChB,KAAK,EAAE,QAAQ;IACf,MAAM,EAAE,KAAK;CACd,CAAC;AAEF,mEAAmE;AAEnE;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,QAAgB;IACzC,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,QAAQ,CAAC;IACvD,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;AACtE,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,aAAa,CAAC,IAAa;IACzC,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAEnD,MAAM,GAAG,GAAG,IAA+B,CAAC;IAE5C,kCAAkC;IAClC,IAAI,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACjD,IAAI,GAAG,CAAC,OAAO,KAAK,aAAa;QAAE,OAAO,IAAI,CAAC;IAC/C,IAAI,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACjD,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAE7D,kEAAkE;IAClE,MAAM,KAAK,GAAG,GAAG,CAAC,KAAgC,CAAC;IACnD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACzC,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAErD,MAAM,IAAI,GAAG,KAAgC,CAAC;QAC9C,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC/C,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACnD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;YAAE,OAAO,IAAI,CAAC;QAC9C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;YAAE,OAAO,IAAI,CAAC;QAC9C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAC5C,IAAI,OAAO,IAAI,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QAClD,mEAAmE;QACnE,iEAAiE;QACjE,oEAAoE;QACpE,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;YACrC,IAAI,OAAO,IAAI,CAAC,aAAa,KAAK,QAAQ,IAAI,IAAI,CAAC,aAAa,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YACvF,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,aAAwC,CAAC,EAAE,CAAC;gBACjF,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC;YACzC,CAAC;QACH,CAAC;QACD,oEAAoE;QACpE,oEAAoE;QACpE,4DAA4D;QAC5D,IAAI,IAAI,CAAC,iBAAiB,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC;YACnF,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;YACzE,OAAO,IAAI,CAAC;QACd,CAAC;QACD,uEAAuE;QACvE,oEAAoE;QACpE,gEAAgE;QAChE,0CAA0C;QAC1C,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;YACpC,IAAI,OAAO,IAAI,CAAC,YAAY,KAAK,QAAQ,IAAI,IAAI,CAAC,YAAY,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YACrF,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,YAAuC,CAAC,EAAE,CAAC;gBAChF,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC;gBAC7D,IAAI,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ;oBAAE,OAAO,IAAI,CAAC;YAChF,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,IAAuB,CAAC;AACjC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAa;IAC5C,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAEnD,MAAM,GAAG,GAAG,IAA+B,CAAC;IAE5C,IAAI,OAAO,GAAG,CAAC,iBAAiB,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3D,IAAI,OAAO,GAAG,CAAC,aAAa,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACvD,IAAI,OAAO,GAAG,CAAC,aAAa,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACvD,IAAI,OAAO,GAAG,CAAC,SAAS,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACnD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/C,IAAI,OAAO,GAAG,CAAC,eAAe,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAEzD,OAAO,IAAqB,CAAC;AAC/B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAC,QAAuB;IAClD,MAAM,WAAW,GAAG,IAAI,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;IACrD,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC;IACvB,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,EAAE,GAAG,WAAW,CAAC,OAAO,EAAE,CAAC;IACrD,MAAM,QAAQ,GAAG,MAAM,GAAG,CAAC,IAAI,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IAChD,OAAO,QAAQ,GAAG,gBAAgB,CAAC;AACrC,CAAC"}

package/dist/graph/scip/builder.d.ts

@@ -0,0 +1,64 @@
+/**
+ * SCIP → DependencyGraph Mapper
+ *
+ * Builds a v1 DependencyGraph from a parsed SCIP `Index` (as produced by
+ * `scip-go` and other SCIP-conformant indexers). Pure function: no
+ * filesystem access — the caller supplies the already-parsed Index (or
+ * raw bytes, via `parseScipIndex`).
+ *
+ * Unlike the regex-based `buildGraph()` (../builder.ts), this mapper
+ * resolves cross-file references by SCIP symbol identity rather than
+ * import-statement string matching, which lets it follow full
+ * module-path references a regex extractor cannot (e.g. Go's
+ * `example.com/module/pkg` import form).
+ *
+ * Algorithm:
+ *   Pass A: build `symbolId -> definingDocPath` from every non-local
+ *           symbol defined in each document (via `Document.symbols` and
+ *           Definition-role occurrences).
+ *   Pass B: for each document, for each non-definition (reference)
+ *           occurrence, resolve `occ.symbol` through the Pass A map. If
+ *           it resolves to a *different* in-index document, record that
+ *           document's path as an import. Symbols with no entry in the
+ *           map (external/stdlib symbols, e.g. those only present in
+ *           `Index.externalSymbols`) are dropped — no edge is produced.
+ *
+ * `calls` is always `[]` in v1 (parity with the regex baseline — call-graph
+ * extraction is out of scope here). `SymbolInformation.relationships`
+ * (implements/type-definition/etc.) are intentionally ignored: v1 only
+ * models reference-based edges.
+ *
+ * Pass B additionally accumulates `importSymbols` (see schema.ts):
+ * alongside `importSet.add(targetPath)`, resolved reference occurrences are
+ * grouped into `Map<targetPath, Set<symbolId>>`, DEDUPED BY `occ.symbol`
+ * IDENTITY (not by rendered displayName — two distinct symbols that happen
+ * to render the same display name must stay as two separate entries). The
+ * displayName (from Pass A's `displayNameMap`, falling back to the raw
+ * symbol id) is only resolved at emit time.
+ */
+import { type Index } from '@scip-code/scip';
+import { type DependencyGraph } from '../schema.js';
+/**
+ * Parse raw SCIP index bytes (the contents of an `index.scip` file)
+ * into a typed `Index` message.
+ */
+export declare function parseScipIndex(bytes: Uint8Array): Index;
+export interface BuildGraphFromScipOptions {
+    /**
+     * Called for every SCIP document whose `language` cannot be mapped to a
+     * `SupportedLanguage` (D5) — the document is dropped from the graph, same
+     * as before, but the caller now gets a chance to report it instead of the
+     * drop happening silently. Core stays console-free: pass a callback that
+     * wires to `tui.warn` at the call site.
+     */
+    onUnmappedDoc?: (relativePath: string, language: string) => void;
+}
+/**
+ * Build a complete DependencyGraph from a parsed SCIP Index.
+ *
+ * @param index - Parsed SCIP Index (see `parseScipIndex`)
+ * @param opts - Optional hooks (see `BuildGraphFromScipOptions`)
+ * @returns Complete v1 DependencyGraph
+ */
+export declare function buildGraphFromScip(index: Index, opts?: BuildGraphFromScipOptions): DependencyGraph;
+//# sourceMappingURL=builder.d.ts.map

package/dist/graph/scip/builder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"builder.d.ts","sourceRoot":"","sources":["../../../src/graph/scip/builder.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAIH,OAAO,EAEL,KAAK,KAAK,EAIX,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EACL,KAAK,eAAe,EAKrB,MAAM,cAAc,CAAC;AAItB;;;GAGG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,UAAU,GAAG,KAAK,CAEvD;AAsGD,MAAM,WAAW,yBAAyB;IACxC;;;;;;OAMG;IACH,aAAa,CAAC,EAAE,CAAC,YAAY,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,KAAK,IAAI,CAAC;CAClE;AAED;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,KAAK,EACZ,IAAI,CAAC,EAAE,yBAAyB,GAC/B,eAAe,CAkIjB"}