Function refreshDiagnostics

extensions/vscode/src/extension.ts:103–111

(doc?: vscode.TextDocument)

  // ── Diagnostics helpers ───────────────────────────────────────────────────
  const refreshDiagnostics = async (doc?: vscode.TextDocument): Promise<void> => {
    const target = doc ?? vscode.window.activeTextEditor?.document;
    if (!target) return;
    try {
      await diagnostics.refreshForDocument(target);
    } catch (err) {
      vscode.window.setStatusBarMessage(`CGC diagnostics error: ${String(err)}`, 4000);
    }
  };

  // ─── Event Coordination ─────────────────────────────────────────────────────
  const invalidateAll = () => {