Update hf_demo.py

hf_demo.py

@@ -1,5 +1,5 @@
-# COMPLETE FIXED hf_demo.py with all syntax errors resolved
-# ARF 3.3.9 DEMO WITH FIXED HTML RENDERING AND SYNTAX ERRORS
+# COMPLETE FIXED hf_demo.py with Hugging Face Spaces compatibility
+# ARF 3.3.9 DEMO WITH PROPER GRADIO 6.0+ CONFIGURATION
 
 import gradio as gr
 import time
@@ -9,10 +9,26 @@ import uuid
 import subprocess
 import sys
 import importlib
+import os  # Added for environment detection
 from datetime import datetime, timedelta
 from typing import Dict, List, Optional, Tuple, Any, Union
 import numpy as np
 
+# ============== HUGGING FACE SPACES DETECTION ==============
+def is_huggingface_spaces():
+    """Detect if running in Hugging Face Spaces environment"""
+    return os.environ.get('SPACE_ID') is not None or \
+           os.environ.get('HF_SPACE') is not None or \
+           os.environ.get('SYSTEM') == 'spaces' or \
+           os.path.exists('/.dockerenv') and 'space' in os.environ.get('HOSTNAME', '')
+
+# Set environment variables for Hugging Face Spaces
+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:
     from utils.arf_engine_enhanced import EnhancedARFEngine, BayesianRiskAssessment, RiskCategory
@@ -153,7 +169,6 @@ ENHANCED_CSS = """
     border: 3px solid rgba(255, 255, 255, 0.4);
     animation: pulse-mathematical 2.5s infinite;
 }
-
 .arf-sim-badge {
     background: linear-gradient(135deg, #FF9800, #F57C00, #E65100, #BF360C);
     color: white;
@@ -168,13 +183,11 @@ ENHANCED_CSS = """
     box-shadow: 0 6px 20px rgba(255, 152, 0, 0.4);
     border: 3px solid rgba(255, 255, 255, 0.4);
 }
-
 @keyframes pulse-mathematical {
     0% { box-shadow: 0 0 0 0 rgba(76, 175, 80, 0.7), 0 6px 20px rgba(76, 175, 80, 0.4); }
     70% { box-shadow: 0 0 0 15px rgba(76, 175, 80, 0), 0 6px 20px rgba(76, 175, 80, 0.4); }
     100% { box-shadow: 0 0 0 0 rgba(76, 175, 80, 0), 0 6px 20px rgba(76, 175, 80, 0.4); }
 }
-
 .mathematical-gate {
     width: 70px;
     height: 70px;
@@ -190,11 +203,9 @@ ENHANCED_CSS = """
     z-index: 2;
     transition: all 0.5s cubic-bezier(0.34, 1.56, 0.64, 1);
 }
-
 .gate-passed { background: linear-gradient(135deg, #4CAF50, #2E7D32); }
 .gate-failed { background: linear-gradient(135deg, #F44336, #D32F2F); }
 .gate-pending { background: linear-gradient(135deg, #9E9E9E, #616161); }
-
 .gate-container {
     display: flex;
     align-items: center;
@@ -203,14 +214,12 @@ ENHANCED_CSS = """
     margin: 20px 0;
     flex-wrap: wrap;
 }
-
 .gate-line {
     width: 40px;
     height: 4px;
     background: linear-gradient(90deg, #E0E0E0, #BDBDBD);
     border-radius: 2px;
 }
-
 .mathematical-card {
     border-radius: 15px;
     padding: 25px;
@@ -222,22 +231,18 @@ ENHANCED_CSS = """
     background: #FFFFFF;
     box-shadow: 0 8px 30px rgba(0,0,0,0.08);
 }
-
 .mathematical-card:hover {
     transform: translateY(-5px);
     box-shadow: 0 15px 40px rgba(0,0,0,0.15);
 }
-
 .license-oss {
     border-top-color: #1E88E5;
     background: linear-gradient(145deg, #E3F2FD, #FFFFFF);
 }
-
 .license-trial {
     border-top-color: #FFB300;
     background: linear-gradient(145deg, #FFF8E1, #FFFFFF);
 }
-
 @media (max-width: 768px) {
     .gradio-container { padding: 10px !important; }
     .arf-real-badge, .arf-sim-badge { padding: 6px 14px; font-size: 12px; }
@@ -245,7 +250,6 @@ ENHANCED_CSS = """
     .gate-line { width: 20px; }
     .mathematical-card { padding: 15px; margin: 10px 0; }
 }
-
 @media (max-width: 480px) {
     .gradio-container { padding: 5px !important; }
     .arf-real-badge, .arf-sim-badge { padding: 4px 10px; font-size: 11px; }
@@ -357,16 +361,17 @@ demo_state = EnhancedDemoState(ARF_UNIFIED_STATUS)
 
 # ============== GRADIO INTERFACE ==============
 def create_enhanced_demo():
-    """Create enhanced demo with fixed HTML rendering bugs"""
+    """Create enhanced demo with fixed HTML rendering bugs and 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
     with gr.Blocks(
-        title=f"ARF {ARF_UNIFIED_STATUS['version']} - Mathematical Sophistication",
-        theme=gr.themes.Soft(primary_hue="blue", secondary_hue="orange"),
-        css=ENHANCED_CSS
+        title=f"ARF {ARF_UNIFIED_STATUS['version']} - Mathematical Sophistication"
+        # REMOVED: theme and css parameters - they now go in launch()
     ) as demo:
         
         # ===== HEADER =====
@@ -555,6 +560,18 @@ def create_enhanced_demo():
                 </div>
                 """)
         
+        # ===== ACTION HISTORY =====
+        history_display = gr.HTML("""
+        <div style="border: 1px solid #E0E0E0; border-radius: 15px; padding: 20px; background: #fafafa; box-shadow: 0 8px 30px rgba(0,0,0,0.08); margin-top: 20px;">
+            <h4 style="margin-top: 0; margin-bottom: 15px; color: #333;">📊 Mathematical Action History</h4>
+            <div style="overflow-x: auto;">
+                <div style="text-align: center; padding: 40px; color: #999; font-style: italic;">
+                    No mathematical assessments yet. Test an action to see Bayesian analysis in action.
+                </div>
+            </div>
+        </div>
+        """)
+        
         # ===== EVENT HANDLERS =====
         def update_context(scenario_name):
             """Update context with mathematical analysis"""
@@ -750,7 +767,7 @@ def create_enhanced_demo():
             # Gate visualization
             gates_visualization = ""
             for i in range(total_gates):
-                gate_class = "gate-passed" if i < gates_passed else "gate-failed"
+                gate_class = "gate-passed" if i < gates_passed else "gate-failed" if i < 3 else "gate-pending"
                 gates_visualization += f'<div class="mathematical-gate {gate_class}">{i+1}</div>'
                 if i < total_gates - 1:
                     gates_visualization += '<div class="gate-line"></div>'
@@ -924,22 +941,7 @@ def create_enhanced_demo():
         def generate_trial():
             """Generate mathematical trial license"""
             license_key = generate_mathematical_trial_license()
-            return license_key, f"""
-            <div style="text-align: center; padding: 25px; background: linear-gradient(135deg, #FFB300, #FF9800); color: white; border-radius: 15px; box-shadow: 0 12px 40px rgba(255, 179, 0, 0.4);">
-                <h3 style="margin-top: 0; margin-bottom: 15px;">🎉 Mathematical Trial License Generated!</h3>
-                <div style="background: white; color: #333; padding: 18px; border-radius: 10px; font-family: monospace; margin: 15px 0; font-size: 15px; letter-spacing: 1px; border: 3px dashed #FFB300;">
-                    {license_key}
-                </div>
-                <p style="margin-bottom: 20px;">Copy this key and paste it into the License Key field above.</p>
-                <div style="background: rgba(255,255,255,0.2); padding: 18px; border-radius: 10px; margin-top: 15px;">
-                    <div style="font-size: 0.95em; line-height: 1.6;">
-                        ⏳ <strong>14-day mathematical trial</strong><br>
-                        🧮 <strong>Bayesian analysis with confidence intervals</strong><br>
-                        🛡️ <strong>Mechanical gates with mathematical weights</strong>
-                    </div>
-                </div>
-            </div>
-            """
+            return license_key
         
         # Connect handlers
         scenario.change(
@@ -951,7 +953,7 @@ def create_enhanced_demo():
         test_btn.click(
             fn=test_mathematical_assessment,
             inputs=[scenario, context, license_key],
-            outputs=[oss_results, enterprise_results, license_display]
+            outputs=[oss_results, enterprise_results, license_display, history_display]
         )
         
         trial_btn.click(
@@ -967,12 +969,35 @@ if __name__ == "__main__":
     print("\n" + "="*80)
     print("🚀 LAUNCHING FIXED ARF 3.3.9 DEMO")
     print("📊 ARF Status:", ARF_UNIFIED_STATUS['display_text'])
+    print("🌐 Environment:", "Hugging Face Spaces" if is_huggingface_spaces() else "Local Development")
     print("="*80)
     
+    # Create the demo
     demo = create_enhanced_demo()
-    demo.launch(
-        server_name="0.0.0.0",
-        server_port=7860,
-        share=False,
-        debug=False
-    )
+    
+    # CRITICAL FIX: Move theme and css to launch() for Gradio 6.0+ compatibility
+    # This ensures both Hugging Face Spaces and local development work correctly
+    
+    # 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)