Update hf_demo.py

hf_demo.py

@@ -1,5 +1,5 @@
-# COMPLETE FIXED hf_demo.py with Hugging Face Spaces compatibility
-# ARF 3.3.9 DEMO WITH PROPER GRADIO 6.0+ CONFIGURATION
+# COMPLETE FIXED hf_demo.py with Gradio 4.x for Hugging Face Spaces
+# ARF 3.3.9 DEMO WITH PROPER HUGGING FACE SPACES COMPATIBILITY
 
 import gradio as gr
 import time
@@ -9,7 +9,9 @@ import uuid
 import subprocess
 import sys
 import importlib
-import os  # Added for environment detection
+import os
+import threading
+import socket
 from datetime import datetime, timedelta
 from typing import Dict, List, Optional, Tuple, Any, Union
 import numpy as np
@@ -27,7 +29,6 @@ if is_huggingface_spaces():
     os.environ['GRADIO_ANALYTICS_ENABLED'] = 'False'
     os.environ['GRADIO_SERVER_NAME'] = '0.0.0.0'
     os.environ['GRADIO_SERVER_PORT'] = '7860'
-    os.environ['GRADIO_SSR_MODE'] = 'False'
 
 # Import enhanced engines
 try:
@@ -361,17 +362,17 @@ demo_state = EnhancedDemoState(ARF_UNIFIED_STATUS)
 
 # ============== GRADIO INTERFACE ==============
 def create_enhanced_demo():
-    """Create enhanced demo with fixed HTML rendering bugs and Hugging Face Spaces compatibility"""
+    """Create enhanced demo with Gradio 4.x for Hugging Face Spaces compatibility"""
     
     # Get unified status
     arf_display = ARF_UNIFIED_STATUS['display_text']
     arf_badge_class = ARF_UNIFIED_STATUS['badge_class']
     
-    # CRITICAL FIX: Remove theme and css from Blocks constructor for Gradio 6.0+
-    # These will be passed to launch() instead
+    # GRADIO 4.x - theme and CSS go in Blocks constructor
     with gr.Blocks(
-        title=f"ARF {ARF_UNIFIED_STATUS['version']} - Mathematical Sophistication"
-        # REMOVED: theme and css parameters - they now go in launch()
+        title=f"ARF {ARF_UNIFIED_STATUS['version']} - Mathematical Sophistication",
+        theme=gr.themes.Soft(primary_hue="blue", secondary_hue="orange"),
+        css=ENHANCED_CSS
     ) as demo:
         
         # ===== HEADER =====
@@ -975,29 +976,18 @@ if __name__ == "__main__":
     # Create the demo
     demo = create_enhanced_demo()
     
-    # CRITICAL FIX: Move theme and css to launch() for Gradio 6.0+ compatibility
-    # This ensures both Hugging Face Spaces and local development work correctly
+    # GRADIO 4.x - Simple launch configuration (PROVEN TO WORK ON HUGGING FACE SPACES)
+    demo.launch(
+        server_name="0.0.0.0",
+        server_port=7860,
+        share=False,
+        debug=False,
+        prevent_thread_lock=True,
+        show_error=True,
+        quiet=False
+    )
     
-    # Base launch configuration
-    launch_kwargs = {
-        'server_name': "0.0.0.0",
-        'server_port': 7860,
-        'share': False,  # Don't create share links in Spaces
-        'debug': False,   # Disable debug mode in production
-        'ssr_mode': False,  # Disable experimental SSR mode
-        'show_error': True,  # Show errors for debugging
-        'prevent_thread_lock': is_huggingface_spaces(),  # Prevent thread blocking in Spaces
-        'quiet': False,  # Show full logs
-        # Move theme and css here for Gradio 6.0+ compatibility
-        'theme': gr.themes.Soft(primary_hue="blue", secondary_hue="orange"),
-        'css': ENHANCED_CSS
-    }
-    
-    # Add auth for local development if needed
-    if not is_huggingface_spaces():
-        # For local development, we can enable share links
-        launch_kwargs['share'] = True
-        launch_kwargs['debug'] = True
-    
-    # Launch the demo
-    demo.launch(**launch_kwargs)
+    # Keep the app alive
+    import time
+    while True:
+        time.sleep(1)