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;