Add indexVersion and cross-file diagnostics

Introduce a monotonically-increasing indexVersion in Analyzer and bump it whenever the global symbol index mutates (e.g. updateAllIndexes, removeFromIndex). In the diagnostics handler, track the analyzer indexVersion and, when it changes, schedule a debounced cross-file revalidation (CROSS_FILE_DEBOUNCE_MS = 800ms) that re-runs diagnostics for all open workspace documents except the triggering URI. Non-workspace files receive cleared diagnostics. This ensures open files pick up cross-file symbol additions/removals without requiring manual edits.

Author: DaemonF0rge

server/src/analysis/project/graph.ts

@@ -310,6 +310,14 @@ export class Analyzer {
     /** Flag to mark when sorted arrays need rebuild */
     private symbolIndexDirty = false;
 
+    /**
+     * Monotonically increasing counter bumped whenever the global symbol
+     * index is mutated (file re-parsed, file deleted, etc.).  Consumers
+     * can compare snapshots to detect cross-file index changes.
+     */
+    private _indexVersion = 0;
+    get indexVersion(): number { return this._indexVersion; }
+    
     // ================================================================
     // CLASS INDEX for fast class lookups
     // ================================================================
@@ -335,6 +343,7 @@ export class Analyzer {
 
     /** Update all indexes from a file's AST */
     private updateAllIndexes(uri: string, ast: File): void {
+        this._indexVersion++;
         // Remove old entries from this URI
         this.removeIndexEntriesForUri(uri);
 
@@ -694,6 +703,7 @@ export class Analyzer {
      * Also removes global symbol index entries and the doc cache entry.
      */
     removeFromIndex(uri: string): void {
+        this._indexVersion++;
         const normalizedUri = normalizeUri(uri);
         this.removeIndexEntriesForUri(normalizedUri);
         // Remove from global symbol index

server/src/lsp/handlers/diagnostics.ts

@@ -27,6 +27,30 @@ export function registerDiagnostics(conn: Connection, docs: TextDocuments<TextDo
     const debounceTimers = new Map<string, ReturnType<typeof setTimeout>>();
     const DEBOUNCE_MS = 300;
 
+    // Cross-file revalidation: when the global symbol index changes
+    // (e.g. Copilot adds a function to file A), other open files that
+    // reference those symbols need their diagnostics refreshed too.
+    const CROSS_FILE_DEBOUNCE_MS = 800;
+    let crossFileTimer: ReturnType<typeof setTimeout> | undefined;
+    let lastKnownIndexVersion = analyser.indexVersion;
+
+    /** Schedule a revalidation of all open docs EXCEPT `excludeUri`. */
+    const scheduleCrossFileRevalidation = (excludeUri: string) => {
+        if (crossFileTimer) clearTimeout(crossFileTimer);
+        crossFileTimer = setTimeout(() => {
+            crossFileTimer = undefined;
+            for (const doc of docs.all()) {
+                if (doc.uri === excludeUri) continue;
+                if (!analyser.isWorkspaceFile(doc.uri)) {
+                    conn.sendDiagnostics({ uri: doc.uri, diagnostics: [] });
+                    continue;
+                }
+                const diagnostics = analyser.runDiagnostics(doc);
+                conn.sendDiagnostics({ uri: doc.uri, diagnostics });
+            }
+        }, CROSS_FILE_DEBOUNCE_MS);
+    };
+
     docs.onDidOpen(validate);
     docs.onDidSave((change) => {
         // On save: cancel any pending debounce and run immediately
@@ -60,6 +84,15 @@ export function registerDiagnostics(conn: Connection, docs: TextDocuments<TextDo
                 conn.sendDiagnostics({ uri, diagnostics });
             }
         }, DEBOUNCE_MS));
+
+        // If the global symbol index changed (new class/function/enum added
+        // or removed), schedule a cross-file revalidation so other open
+        // documents pick up the change without the user needing to touch them.
+        const currentVersion = analyser.indexVersion;
+        if (currentVersion !== lastKnownIndexVersion) {
+            lastKnownIndexVersion = currentVersion;
+            scheduleCrossFileRevalidation(uri);
+        }
     });
 
     docs.onDidClose((change) => {