Method flush

frontend/src/cache.ts:231–238

* Force immediate save of any pending changes. * Call this on extension deactivation to ensure cache is persisted.

()

     * Call this on extension deactivation to ensure cache is persisted.
     */
    async flush(): Promise<void> {
        if (this.saveTimer) {
            clearTimeout(this.saveTimer);
            this.saveTimer = null;
        }
        await this.saveNow();
        await this.writeGraphFile(this.lastMergedGraph);
    }

    // =========================================================================
    // Multi-Batch Analysis State