From 1b60f5deb62a8b5befc2fcd2a3922289e98206b4 Mon Sep 17 00:00:00 2001
From: Vadym Samoilenko <vadymsamoilenko@oliver.agency>
Date: Mon, 2 Mar 2026 13:12:40 +0000
Subject: [PATCH] Add console.log to model_fallback handler for debugging

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
---
 frontend/services/geminiService.ts | 1 +
 1 file changed, 1 insertion(+)

diff --git a/frontend/services/geminiService.ts b/frontend/services/geminiService.ts
index 77d35f5..d88cc33 100755
--- a/frontend/services/geminiService.ts
+++ b/frontend/services/geminiService.ts
@@ -128,6 +128,7 @@ export const analyzeProof = async (
                         break;
 
                     case 'model_fallback':
+                        console.log('[WS] model_fallback received, onNotification defined:', !!onNotification);
                         onNotification?.('The primary AI model is currently unavailable. Analysis is continuing with the backup model and may take longer than usual.');
                         break;