@lzehrung/codegraph 2.3.31 → 3.0.0

package/dist/indexer/build-cache/project-snapshot.js

@@ -1,5 +1,6 @@
 import fsp from "node:fs/promises";
 import { createHash, randomUUID } from "node:crypto";
+import { isRubyLoadForm } from "../../util/specifiers.js";
 import { brotliCompressSync, brotliDecompressSync, constants as zlibConstants } from "node:zlib";
 import path from "node:path";
 import { buildGraphAdjacency } from "../../graphs/adjacency.js";
@@ -10,13 +11,15 @@ import { assertFilePathWithinRoot, fileIdentityKey, isFilePathWithinRoot, normal
 import { getNativeRuntimeFingerprint } from "../../native/tree-sitter-native.js";
 import { logWithLevel } from "../../logging.js";
 import { SymbolKind } from "../types.js";
+import { callableIdentityWithFile, isCallableIdentity } from "../callable-identity.js";
+import { importNodeId } from "../import-types.js";
 import { buildSymbolGraph, defNodeId, } from "../../graphs/symbol-graph.js";
 import { getImplementationFingerprint, normalizeGraphOptions } from "./options.js";
 import { cacheAbsolutePath, cacheRelativePath, listDiskCachedModuleFiles, loadAllCachedModules, transformPersistedExportFromModule, } from "./module-cache.js";
 import { cacheRoot } from "./location.js";
 import { expandStarImports } from "../expand-star-imports.js";
 const SNAPSHOT_SYMBOL_KINDS = new Set(Object.values(SymbolKind));
-export const PROJECT_SNAPSHOT_VERSION = 11;
+export const PROJECT_SNAPSHOT_VERSION = 13;
 const LEGACY_EMBEDDED_MODULE_SNAPSHOT_VERSION = 10;
 export const BLOOM_FILTER_SNAPSHOT_VERSION = 4;
 export const BLOOM_FILTER_SNAPSHOT_FILENAME = "bloom-filters.json";
@@ -24,7 +27,33 @@ const BLOOM_FILTER_MIN_SIZE = 1_000;
 const BLOOM_FILTER_MAX_SIZE = 1_000_000;
 const BLOOM_FILTER_MIN_HASH_COUNT = 1;
 const BLOOM_FILTER_MAX_HASH_COUNT = 10;
-const DETAILED_SYMBOL_GRAPH_SNAPSHOT_VERSION = 4;
+// v5: nodes carry Kotlin and Swift memberArity plus the proven-callable marker.
+// v6: Swift ownership/arity fixes change persisted detailed-graph edges and memberArity.
+// v7: callable-binding proof corrections change persisted callable flags and call edges.
+// v8: receiver edge reconciliation, Kotlin ancestry, and static receiver scope change persisted graph edges.
+// v9: exact C++ qualified ownership changes persisted member ownership and receiver call edges.
+// v10: C/C++ void-parameter arity changes persisted memberArity and call edges.
+// v11: canonical C/C++ declaration aliases preserve base-graph compatibility across cache loads.
+// v12: shared callable ranges, cross-file ownership, and Zig visibility change detailed call edges.
+// v13: same-file C# constructor edges respect namespace visibility instead of file-wide names.
+// v14: C# alias-qualified targets and shared partial-type identity change persisted edges.
+// v15: trivia-safe package peers can change cross-file detailed call edges.
+// v16: Swift extension visibility and nested C# partial owner identity change persisted call edges.
+// v17: qualified C# generic type uses can change persisted constructor/type edges.
+// v18: constrained Swift extensions no longer donate members to unproven nominal owners.
+// v19: Swift constraint-token equivalence can restore peer call edges across formatting.
+// v20: C# verbatim namespace/type identifiers can merge shared-owner identities and call edges.
+// v21: C# `file` types lose cross-file edges; extension receivers change persisted member arity.
+// v22: C# verbatim namespace aliases (`@X` vs `X`) can add alias-qualified type and constructor edges.
+// v23: C# `file partial` owners in different files no longer share member and call edges.
+// v24: C# top-level types beside block namespaces become global-namespace peers with new edges.
+// v25: identical C# aliases in separate namespace blocks each resolve their own scoped uses.
+// v26: accuracy-audit fixes add Go cross-package, Ruby ancestry, TS static, Rust impl, PHP
+// namespace, and same-unit peer edges, and drop invalid cross-file, unexported, and ambiguous ones.
+// v27: C# type aliases in a multi-file namespace can add call edges, or drop a guessed one.
+// A same-named type in another namespace is not the alias target.
+// v28: JVM type-on-demand imports only bind direct nested classifiers.
+export const DETAILED_SYMBOL_GRAPH_SNAPSHOT_VERSION = 28;
 const DETAILED_SYMBOL_GRAPH_SNAPSHOT_FILENAME = "detailed-symbol-graph.json";
 const SNAPSHOT_TEMP_RETENTION_MS = 24 * 60 * 60 * 1_000;
 const SNAPSHOT_TEMP_SUFFIX = ".tmp";
@@ -34,6 +63,7 @@ const transformedSnapshotCache = new Map();
 const transformedSnapshotModulesCache = new Map();
 const hydratedSnapshotModulesCache = new Map();
 const detailedSymbolGraphCache = new Map();
+const EMPTY_DETAILED_SYMBOL_GRAPH_ALIASES = new Map();
 export function projectSnapshotFilesSignature(entries, projectRoot) {
     const hash = createHash("sha256");
     for (const [file, entry] of [...entries.entries()].sort(([left], [right]) => compareSnapshotPath(left, right))) {
@@ -56,7 +86,7 @@ export function createProjectSnapshotIdentity(filesSignature, opts) {
     hash.update("\0");
     hash.update(JSON.stringify(normalizeGraphOptions(opts?.graph)));
     hash.update("\0");
-    hash.update(getNativeRuntimeFingerprint(opts?.native));
+    hash.update(getNativeRuntimeFingerprint());
     hash.update("\0");
     hash.update(getImplementationFingerprint());
     return hash.digest("hex");
@@ -79,13 +109,21 @@ function transformHandle(root, value, toRelative) {
 }
 function transformModule(root, module, toRelative) {
     const file = (value) => transformPath(root, value, toRelative);
+    const symbol = (local) => {
+        const nextFile = file(local.file);
+        return {
+            ...local,
+            file: nextFile,
+            ...(local.callable ? { callable: callableIdentityWithFile(local.callable, local.file, nextFile) } : {}),
+        };
+    };
     return {
         ...module,
         file: file(module.file),
-        locals: module.locals.map((local) => ({ ...local, file: file(local.file) })),
+        locals: module.locals.map(symbol),
         exports: module.exports.map((entry) => {
             if (entry.type === "local") {
-                return { ...entry, target: { ...entry.target, file: file(entry.target.file) } };
+                return { ...entry, target: symbol(entry.target) };
             }
             const copy = { ...entry };
             transformPersistedExportFromModule(root, copy, toRelative);
@@ -94,6 +132,9 @@ function transformModule(root, module, toRelative) {
         imports: module.imports.map((binding) => ({
             ...binding,
             ...(typeof binding.resolved === "string" ? { resolved: file(binding.resolved) } : {}),
+            ...(binding.kind === "star" && binding.jvmPackageFiles
+                ? { jvmPackageFiles: binding.jvmPackageFiles.map(file) }
+                : {}),
         })),
     };
 }
@@ -129,15 +170,6 @@ function transformSnapshotAnalysisReport(root, persistedProjectRoot, report, toR
         }
         transformed.backend = backend;
     }
-    if (report.graph) {
-        transformed.graph = {
-            ...report.graph,
-            fallbackImportExtraction: {
-                ...report.graph.fallbackImportExtraction,
-                files: Object.fromEntries(Object.entries(report.graph.fallbackImportExtraction.files).map(([file, entry]) => [reportFile(file), entry])),
-            },
-        };
-    }
     return transformed;
 }
 function transformSnapshotPaths(payload, root, toRelative) {
@@ -210,6 +242,10 @@ function transformDetailedGraph(graph, root, toRelative) {
                 }
                 : {}),
         })),
+        nodeAliases: graph.nodeAliases.map(([aliasId, canonicalId]) => [
+            transformHandle(root, aliasId, toRelative),
+            transformHandle(root, canonicalId, toRelative),
+        ]),
     };
 }
 function compareSnapshotPath(left, right) {
@@ -305,12 +341,19 @@ function freezeSnapshotPayload(value) {
         freezeSnapshotPayload(child);
     return value;
 }
+function detailedSymbolGraphAliases(graph) {
+    return graph.nodeAliases ?? EMPTY_DETAILED_SYMBOL_GRAPH_ALIASES;
+}
 function materializeDetailedSymbolGraph(payload) {
-    const graph = structuredClone(payload);
-    return {
-        nodes: new Map(graph.nodes.map((node) => [node.id, node])),
-        edges: graph.edges,
+    const serialized = structuredClone(payload);
+    const graph = {
+        nodes: new Map(serialized.nodes.map((node) => [node.id, node])),
+        edges: serialized.edges,
     };
+    if (serialized.nodeAliases.length) {
+        Object.defineProperty(graph, "nodeAliases", { value: new Map(serialized.nodeAliases) });
+    }
+    return graph;
 }
 function decodeSnapshotPayload(compressed) {
     return JSON.parse(brotliDecompressSync(compressed).toString("utf8"));
@@ -391,7 +434,6 @@ function transformCachedProjectSnapshotModules(snapshotPath, identity, rawPayloa
         version: payload.version ?? PROJECT_SNAPSHOT_VERSION,
         filesSignature: payload.filesSignature ?? "",
         projectRoot: serializedProjectRoot(projectRoot),
-        ...(payload.nativeMode !== undefined ? { nativeMode: payload.nativeMode } : {}),
         nativeRuntimeFingerprint: payload.nativeRuntimeFingerprint ?? "",
         implementationFingerprint: payload.implementationFingerprint ?? "",
         modules,
@@ -422,14 +464,13 @@ export async function tryLoadProjectIndexSnapshot(projectRoot, opts, manifestEnt
         const snapshotPath = projectSnapshotPath(projectRoot, opts);
         const parsedSnapshot = await readParsedSnapshot(snapshotPath);
         const payload = transformCachedProjectSnapshot(snapshotPath, parsedSnapshot.identity, parsedSnapshot.payload, projectRoot);
-        const nativeRuntimeFingerprint = getNativeRuntimeFingerprint(opts?.native);
+        const nativeRuntimeFingerprint = getNativeRuntimeFingerprint();
         const implementationFingerprint = getImplementationFingerprint();
         if (!isProjectIndexSnapshotPayload(payload)) {
             recordSnapshotCorruption(report, projectSnapshotPath(projectRoot, opts), "invalid project snapshot payload", opts?.logLevel);
             return null;
         }
         if (payload.filesSignature !== filesSignature ||
-            payload.nativeMode !== normalizedSnapshotNativeMode(opts?.native) ||
             payload.nativeRuntimeFingerprint !== nativeRuntimeFingerprint ||
             payload.implementationFingerprint !== implementationFingerprint) {
             recordSnapshotInvalidation(projectSnapshotPath(projectRoot, opts), "project snapshot identity mismatch", opts?.logLevel);
@@ -452,7 +493,6 @@ export async function tryLoadProjectIndexSnapshot(projectRoot, opts, manifestEnt
             byFile: modules,
             projectRoot: serializedProjectRoot(projectRoot),
             ...(payload.languageExtensions ? { languageExtensions: payload.languageExtensions } : {}),
-            ...(payload.nativeMode ? { nativeMode: payload.nativeMode } : {}),
             exportCache: new Map(),
             scopeCache: new Map(),
             ...(shouldHydrateBloomFilters && payload.bloomFilters
@@ -485,14 +525,13 @@ export async function tryLoadProjectSnapshotModules(projectRoot, opts, fileSigna
     try {
         const parsedSnapshot = await readParsedSnapshot(projectSnapshotPath(projectRoot, opts));
         const payload = transformCachedProjectSnapshotModules(projectSnapshotPath(projectRoot, opts), parsedSnapshot.identity, parsedSnapshot.payload, projectRoot);
-        const nativeRuntimeFingerprint = getNativeRuntimeFingerprint(opts?.native);
+        const nativeRuntimeFingerprint = getNativeRuntimeFingerprint();
         const implementationFingerprint = getImplementationFingerprint();
         if (!isProjectSnapshotModulesPayload(payload)) {
             recordSnapshotCorruption(report, projectSnapshotPath(projectRoot, opts), "invalid project snapshot payload", opts?.logLevel);
             return null;
         }
-        if (payload.nativeMode !== normalizedSnapshotNativeMode(opts?.native) ||
-            payload.nativeRuntimeFingerprint !== nativeRuntimeFingerprint ||
+        if (payload.nativeRuntimeFingerprint !== nativeRuntimeFingerprint ||
             payload.implementationFingerprint !== implementationFingerprint) {
             recordSnapshotInvalidation(projectSnapshotPath(projectRoot, opts), "project snapshot identity mismatch", opts?.logLevel);
             return null;
@@ -632,6 +671,7 @@ function mutableModuleIndex(mod) {
         exports: [...mod.exports],
         imports: [...mod.imports],
         locals: [...mod.locals],
+        ...(mod.docstringsChecked ? { docstringsChecked: true } : {}),
         ...(mod.declaredContainers ? { declaredContainers: [...mod.declaredContainers] } : {}),
     };
 }
@@ -716,7 +756,7 @@ export async function writeProjectIndexSnapshot(projectRoot, opts, index, filesS
         version: PROJECT_SNAPSHOT_VERSION,
         filesSignature,
         projectRoot: serializedProjectRoot(projectRoot),
-        nativeRuntimeFingerprint: getNativeRuntimeFingerprint(opts?.native),
+        nativeRuntimeFingerprint: getNativeRuntimeFingerprint(),
         implementationFingerprint: getImplementationFingerprint(),
         graph: {
             nodes: [...index.graph.nodes],
@@ -725,9 +765,6 @@ export async function writeProjectIndexSnapshot(projectRoot, opts, index, filesS
         modules: modulesForThinSnapshot(index, projectRoot, opts),
         fileSignatures,
         ...(index.languageExtensions ? { languageExtensions: index.languageExtensions } : {}),
-        ...(normalizedSnapshotNativeMode(index.nativeMode)
-            ? { nativeMode: normalizedSnapshotNativeMode(index.nativeMode) }
-            : {}),
         ...(index.projectFiles ? { projectFiles: index.projectFiles } : {}),
         ...(serializedBloomFilters ? { bloomFilters: serializedBloomFilters } : {}),
         ...(snapshotAnalysis ? { analysis: snapshotAnalysis } : {}),
@@ -791,6 +828,7 @@ function bloomFilterSnapshotPath(projectRoot, opts) {
 export async function writeDetailedSymbolGraphSnapshot(projectRoot, opts, index, graph) {
     if ((opts?.cache ?? "off") !== "disk" || !index.projectSnapshotIdentity)
         return;
+    const nodeAliases = [...detailedSymbolGraphAliases(graph)];
     const payload = {
         version: DETAILED_SYMBOL_GRAPH_SNAPSHOT_VERSION,
         projectRoot: serializedProjectRoot(projectRoot),
@@ -800,6 +838,7 @@ export async function writeDetailedSymbolGraphSnapshot(projectRoot, opts, index,
         graph: transformDetailedGraph({
             nodes: [...graph.nodes.values()],
             edges: graph.edges,
+            nodeAliases,
         }, projectRoot, true),
     };
     try {
@@ -819,6 +858,7 @@ export async function writeDetailedSymbolGraphSnapshot(projectRoot, opts, index,
             graph: {
                 nodes: [...graph.nodes.values()],
                 edges: graph.edges,
+                nodeAliases,
             },
         });
     }
@@ -909,6 +949,7 @@ function detailedSymbolGraphContentHash(projectSnapshotIdentity, graph) {
     hash.update(JSON.stringify({
         nodes: [...graph.nodes.values()],
         edges: graph.edges,
+        nodeAliases: [...detailedSymbolGraphAliases(graph)],
     }));
     return hash.digest("hex");
 }
@@ -928,20 +969,24 @@ function isDetailedSymbolGraphSnapshotPayload(value) {
         !Array.isArray(payload.graph.nodes) ||
         !payload.graph.nodes.every(isSymbolNode) ||
         !Array.isArray(payload.graph.edges) ||
-        !payload.graph.edges.every(isSymbolEdge)) {
+        !payload.graph.edges.every(isSymbolEdge) ||
+        !Array.isArray(payload.graph.nodeAliases) ||
+        !payload.graph.nodeAliases.every(isDetailedSymbolGraphAlias)) {
         return false;
     }
-    // `graphHash` is still written at snapshot-write time (its format is validated above) but
-    // no longer re-verified here on load: recomputing it means re-stringifying the whole
-    // graph and re-hashing it, measured at ~36ms on an 11MB sidecar, and it is a
-    // self-consistency check on this file's own bytes, not a check against the current
-    // project. The atomic temp-file-then-rename write (`writeDetailedSymbolGraphSnapshot`
-    // below) already rules out a torn/partial write, and
-    // `isDetailedSymbolGraphCompatibleWithProject` independently re-derives the basic symbol
-    // graph and checks that this sidecar is a superset of it: every basic node and edge is
-    // present, extra edges between valid nodes are kept, and extra nodes must still be
-    // symbols from the current index.
-    return new Set(payload.graph.nodes.map((node) => node.id)).size === payload.graph.nodes.length;
+    // `graphHash` remains serialized and shape-validated, but load does not re-stringify and
+    // re-hash the full graph. The atomic write prevents partial data, and compatibility with the
+    // current project is re-derived structurally below.
+    return (new Set(payload.graph.nodes.map((node) => node.id)).size === payload.graph.nodes.length &&
+        new Set(payload.graph.nodeAliases.map(([aliasId]) => aliasId)).size === payload.graph.nodeAliases.length);
+}
+function isDetailedSymbolGraphAlias(value) {
+    return (Array.isArray(value) &&
+        value.length === 2 &&
+        typeof value[0] === "string" &&
+        !!value[0] &&
+        typeof value[1] === "string" &&
+        !!value[1]);
 }
 function isSymbolNode(value) {
     if (!value || typeof value !== "object" || Array.isArray(value))
@@ -959,7 +1004,8 @@ function isSymbolNode(value) {
         isOptionalNonnegativeFiniteNumber(node.complexity) &&
         (node.visibility === undefined || isSymbolVisibility(node.visibility)) &&
         (node.implementationTarget === undefined || typeof node.implementationTarget === "boolean") &&
-        isOptionalNonnegativeInteger(node.memberArity));
+        isOptionalNonnegativeInteger(node.memberArity) &&
+        (node.callable === undefined || (typeof node.callable === "boolean" && node.callable)));
 }
 function isSymbolNodeKind(value) {
     return (value === "function" ||
@@ -1033,18 +1079,25 @@ function sameSymbolNodeSemantics(actual, expected) {
         actual.lineSpan === expected.lineSpan &&
         actual.complexity === expected.complexity);
 }
+function mergeCanonicalSymbolNode(canonical, alias) {
+    const merged = { ...canonical };
+    if (!merged.docstring && alias.docstring)
+        merged.docstring = alias.docstring;
+    merged.lineSpan = Math.max(merged.lineSpan ?? 0, alias.lineSpan ?? 0);
+    merged.complexity = Math.max(merged.complexity ?? 0, alias.complexity ?? 0);
+    return merged;
+}
 function indexDefinesSymbolNode(index, node) {
     const moduleEntry = index.byFile.get(fileIdentityKey(node.file));
     if (!moduleEntry)
         return false;
     if (moduleEntry.locals.some((local) => defNodeId(local) === node.id))
         return true;
-    const filePrefix = `${normalizePath(moduleEntry.file)}::`;
+    const displayFile = normalizePath(moduleEntry.file);
     return moduleEntry.imports.some((imp) => {
         if (imp.kind === "star")
             return false;
-        const local = imp.kind === "namespace" ? imp.localNS : imp.local;
-        return node.id === `${filePrefix}${local}::import`;
+        return node.id === importNodeId(displayFile, imp);
     });
 }
 async function isDetailedSymbolGraphCompatibleWithProject(projectRoot, index, graph) {
@@ -1070,7 +1123,28 @@ async function isDetailedSymbolGraphCompatibleWithProject(projectRoot, index, gr
         }
     }
     const base = await buildSymbolGraph(index);
-    for (const [id, expected] of base.nodes) {
+    const nodeAliases = detailedSymbolGraphAliases(graph);
+    const expectedNodes = nodeAliases.size ? new Map(base.nodes) : base.nodes;
+    for (const [aliasId, canonicalId] of nodeAliases) {
+        if (aliasId === canonicalId ||
+            graph.nodes.has(aliasId) ||
+            nodeAliases.has(canonicalId) ||
+            !graph.nodes.has(canonicalId)) {
+            return false;
+        }
+        const aliasNode = base.nodes.get(aliasId);
+        const canonicalNode = expectedNodes.get(canonicalId);
+        if (!aliasNode ||
+            !canonicalNode ||
+            aliasNode.name !== canonicalNode.name ||
+            aliasNode.kind !== canonicalNode.kind) {
+            return false;
+        }
+        expectedNodes.set(canonicalId, mergeCanonicalSymbolNode(canonicalNode, aliasNode));
+    }
+    for (const [id, expected] of expectedNodes) {
+        if (nodeAliases.has(id))
+            continue;
         const actual = graph.nodes.get(id);
         if (!actual || !sameSymbolNodeSemantics(actual, expected))
             return false;
@@ -1081,7 +1155,18 @@ async function isDetailedSymbolGraphCompatibleWithProject(projectRoot, index, gr
         if (!indexDefinesSymbolNode(index, node))
             return false;
     }
-    return symbolEdgeMultisetContains(graph.edges, base.edges);
+    if (!nodeAliases.size)
+        return symbolEdgeMultisetContains(graph.edges, base.edges);
+    const canonicalBaseEdges = new Map();
+    for (const edge of base.edges) {
+        const canonicalEdge = {
+            ...edge,
+            from: nodeAliases.get(edge.from) ?? edge.from,
+            to: nodeAliases.get(edge.to) ?? edge.to,
+        };
+        canonicalBaseEdges.set(symbolEdgeKey(canonicalEdge), canonicalEdge);
+    }
+    return symbolEdgeMultisetContains(graph.edges, [...canonicalBaseEdges.values()]);
 }
 function symbolEdgeMultisetContains(haystack, needles) {
     const counts = new Map();
@@ -1126,14 +1211,6 @@ function symbolEdgeKey(edge) {
 function lengthPrefixedSymbolEdgeField(value) {
     return `${value.length}:${value}`;
 }
-function normalizedSnapshotNativeMode(nativeMode) {
-    if (nativeMode === undefined || nativeMode === "auto")
-        return undefined;
-    return nativeMode;
-}
-function isSnapshotNativeMode(value) {
-    return value === "auto" || value === "on" || value === "off";
-}
 function isProjectFileInfo(value) {
     if (!value || typeof value !== "object")
         return false;
@@ -1175,8 +1252,7 @@ function isProjectSnapshotModulesPayload(value) {
         /^[a-f0-9]{64}$/.test(payload.implementationFingerprint) &&
         Array.isArray(payload.modules) &&
         payload.modules.every(isModuleIndex) &&
-        isSnapshotFileSignatureRecord(payload.fileSignatures) &&
-        (payload.nativeMode === undefined || isSnapshotNativeMode(payload.nativeMode)));
+        isSnapshotFileSignatureRecord(payload.fileSignatures));
 }
 function isProjectIndexSnapshotPayload(value) {
     if (!value || typeof value !== "object")
@@ -1196,7 +1272,6 @@ function isProjectIndexSnapshotPayload(value) {
         Array.isArray(payload.modules) &&
         payload.modules.every(isModuleIndex) &&
         isSnapshotFileSignatureRecord(payload.fileSignatures) &&
-        (payload.nativeMode === undefined || isSnapshotNativeMode(payload.nativeMode)) &&
         (payload.languageExtensions === undefined || isLanguageExtensionMap(payload.languageExtensions)) &&
         (payload.bloomFilters === undefined || isSerializedBloomFilterRecord(payload.bloomFilters)) &&
         (payload.analysis === undefined || isAnalysisSummary(payload.analysis)) &&
@@ -1205,20 +1280,18 @@ function isProjectIndexSnapshotPayload(value) {
             (Array.isArray(payload.projectFiles) && payload.projectFiles.every(isProjectFileInfo))));
 }
 function analysisReportFromBuildReport(report) {
-    if (!report?.backend && !report?.graph) {
+    if (!report?.backend) {
         return undefined;
     }
     return {
         ...(report.backend ? { backend: report.backend } : {}),
-        ...(report.graph ? { graph: report.graph } : {}),
     };
 }
 function isSnapshotAnalysisReport(value) {
     if (!value || typeof value !== "object" || Array.isArray(value))
         return false;
     const report = value;
-    return ((report.backend === undefined || isBackendReport(report.backend)) &&
-        (report.graph === undefined || isGraphReport(report.graph)));
+    return report.backend === undefined || isBackendReport(report.backend);
 }
 function isBackendReport(value) {
     if (!value || typeof value !== "object" || Array.isArray(value))
@@ -1248,21 +1321,6 @@ function isParserBackendDegradationReport(value) {
     const report = value;
     return typeof report.total === "number" && isNumberRecord(report.byLanguage) && Array.isArray(report.files);
 }
-function isGraphReport(value) {
-    if (!value || typeof value !== "object" || Array.isArray(value))
-        return false;
-    const report = value;
-    return !!report.fallbackImportExtraction && isFallbackImportExtractionReport(report.fallbackImportExtraction);
-}
-function isFallbackImportExtractionReport(value) {
-    if (!value || typeof value !== "object" || Array.isArray(value))
-        return false;
-    const report = value;
-    return (typeof report.total === "number" &&
-        isNumberRecord(report.byLanguage) &&
-        isUnknownRecord(report.files) &&
-        (report.byReason === undefined || isNumberRecord(report.byReason)));
-}
 function isUnknownRecord(value) {
     return !!value && typeof value === "object" && !Array.isArray(value);
 }
@@ -1273,13 +1331,9 @@ function isAnalysisSummary(value) {
     if (!value || typeof value !== "object" || Array.isArray(value))
         return false;
     const summary = value;
-    return ((summary.mode === "semantic" || summary.mode === "mixed" || summary.mode === "reduced") &&
-        (summary.backend === "native" ||
-            summary.backend === "mixed" ||
-            summary.backend === "graph-only" ||
-            summary.backend === "unknown") &&
+    return (summary.mode === "semantic" &&
+        (summary.backend === "native" || summary.backend === "unknown") &&
         typeof summary.parserDegradedFiles === "number" &&
-        typeof summary.fallbackImportExtractionFiles === "number" &&
         typeof summary.nativeFilesUsed === "number" &&
         typeof summary.nativeFilesFellBack === "number" &&
         typeof summary.label === "string");
@@ -1371,6 +1425,7 @@ function isModuleIndex(value) {
         return false;
     const moduleIndex = value;
     return (typeof moduleIndex.file === "string" &&
+        isOptionalBoolean(moduleIndex.docstringsChecked) &&
         Array.isArray(moduleIndex.locals) &&
         moduleIndex.locals.every(isSymbolDef) &&
         Array.isArray(moduleIndex.imports) &&
@@ -1386,6 +1441,17 @@ function isSymbolDef(value) {
         typeof symbol.localName === "string" &&
         isSymbolKind(symbol.kind) &&
         isRange(symbol.range) &&
+        (symbol.kind === SymbolKind.Function
+            ? isCallableIdentity(symbol.callable)
+            : symbol.callable === undefined || isCallableIdentity(symbol.callable)) &&
+        (symbol.cTag === undefined ||
+            symbol.cTag === "declaration" ||
+            symbol.cTag === "forward" ||
+            symbol.cTag === "reference") &&
+        isOptionalBoolean(symbol.javaPackagePrivate) &&
+        isOptionalBoolean(symbol.javaProtectedMember) &&
+        (symbol.jvmTypeOwnerStartIndex === undefined || typeof symbol.jvmTypeOwnerStartIndex === "number") &&
+        isOptionalBoolean(symbol.jvmStaticMember) &&
         (symbol.docstring === undefined || typeof symbol.docstring === "string") &&
         (symbol.lineSpan === undefined || typeof symbol.lineSpan === "number") &&
         (symbol.complexity === undefined || typeof symbol.complexity === "number"));
@@ -1411,6 +1477,10 @@ function isImportBinding(value) {
             isOptionalBoolean(binding.explicitAlias) &&
             isOptionalRange(binding.importedRange) &&
             isOptionalRange(binding.localRange) &&
+            (binding.jvmTypeOwnerStartIndex === undefined || typeof binding.jvmTypeOwnerStartIndex === "number") &&
+            (binding.jvmStaticWildcardName === undefined || typeof binding.jvmStaticWildcardName === "string") &&
+            isOptionalBoolean(binding.jvmSamePackage) &&
+            (binding.cNamespace === undefined || binding.cNamespace === "tag" || binding.cNamespace === "ordinary") &&
             (binding.phpImportType === undefined ||
                 binding.phpImportType === "class" ||
                 binding.phpImportType === "function" ||
@@ -1419,7 +1489,17 @@ function isImportBinding(value) {
     if (binding.kind === "namespace") {
         return typeof binding.localNS === "string" && isOptionalRange(binding.localRange);
     }
-    return binding.kind === "star";
+    return (binding.kind === "star" &&
+        (binding.staticMembersOf === undefined || typeof binding.staticMembersOf === "string") &&
+        (binding.jvmTypeWildcardName === undefined || typeof binding.jvmTypeWildcardName === "string") &&
+        (binding.jvmStaticWildcardName === undefined || typeof binding.jvmStaticWildcardName === "string") &&
+        (binding.jvmPackageFiles === undefined ||
+            (Array.isArray(binding.jvmPackageFiles) && binding.jvmPackageFiles.every((file) => typeof file === "string"))) &&
+        (binding.jvmPackageLanguageId === undefined ||
+            binding.jvmPackageLanguageId === "java" ||
+            binding.jvmPackageLanguageId === "kotlin") &&
+        isOptionalBoolean(binding.jvmSamePackage) &&
+        (binding.rubyLoadForm === undefined || isRubyLoadForm(binding.rubyLoadForm)));
 }
 function isExportEntry(value) {
     if (!value || typeof value !== "object")