Update app.py

app.py

@@ -1,4 +1,3 @@
-
 #!/usr/bin/env python3
 """
 PRACTICALITY SYSTEM 24.3 — POSITIVE SPACE SKETCHING & L2 SMOOTH MANIFOLDS
@@ -10,14 +9,14 @@ ARCHITECTURE:
             → [WISDOM LAYER]      → Masked Deduction (L2 MSE + Homotopy)
             → [GEMINI COLLAPSER]  → Domain-language explanation
 
-CRITICAL UPDATE 24.3:
-  - The L2 (Mean Squared Error) Fix: PyTorch Masked Adam previously used L1 loss 
-    (`abs(x)`). This caused high-dimensional systems to chatter infinitely around 
-    the minimum without converging to 0. Switched to `x**2` (L2 Loss) so gradients 
-    smoothly decay to zero, breaking the CE plateau bug.
+CRITICAL UPDATE:
+  - ASGI Thread Exhaustion Fix: Moved the UI polling generator to the async 
+    event loop (`asyncio.sleep`) to prevent Gradio/FastAPI worker thread starvation 
+    which causes Hugging Face Spaces to hang endlessly in "Starting".
 """
 
 import os, time, random, math, threading, warnings, json, textwrap, itertools
+import asyncio
 from functools import reduce
 from typing import Optional, Callable, List, Dict, Tuple, Any, Set
 from dataclasses import dataclass, field
@@ -44,13 +43,13 @@ except ImportError:
 # ══════════════════════════════════════════════════════════════════════
 # AI CONFIGURATION
 # ══════════════════════════════════════════════════════════════════════
-DEFAULT_GEMINI_API_KEY = os.environ.get("AI_Key", "")
-GEMINI_MODEL = "gemini-3-flash-preview" # "gemma-4-26b-a4b-it"  #
+DEFAULT_GEMINI_API_KEY = os.environ.get("GEMINI_API_KEY", "")
+GEMINI_MODEL = "gemini-2.5-pro-preview-06-05"
 
 warnings.filterwarnings("ignore")
 USE_GPU = torch.cuda.is_available()
 DEVICE  = torch.device("cuda" if USE_GPU else "cpu")
-print(f"[SYSTEM 24.3] Compute: {DEVICE.type.upper()} | Smooth L2 Manifold Active")
+print(f"[SYSTEM 24.3] Compute: {DEVICE.type.upper()} | Smooth L2 Manifold + Async UI")
 
 # ══════════════════════════════════════════════════════════════════════
 # SECTION 1: CONSTANTS
@@ -456,8 +455,7 @@ class Problem:
                 args = [X[:, self.var_idx[v]] if is_batched else X[self.var_idx[v]] for v in mc.syms_used]
                 val = mc.torch_func(*args)
                 
-                # FIXED: Switched from `abs(val)` to `val ** 2` (L2/MSE Loss)
-                # This mathematically allows gradients to vanish at 0, preventing infinite chatter.
+                # Smooth L2 (MSE) Loss
                 if mc.kind == "equality":   
                     total += (val ** 2) * eff_weight
                 elif mc.direction == "geq": 
@@ -470,7 +468,7 @@ class Problem:
             col = X[:, i] if is_batched else X[i]
             margin = (hi - lo) * 0.1 * (1.0 - step_ratio) 
             out_of_bounds = torch.relu(lo - margin - col) + torch.relu(col - (hi + margin))
-            total += (out_of_bounds ** 2) * 10.0 # Strict L2 penalty
+            total += (out_of_bounds ** 2) * 10.0
             
         return total.squeeze()
 
@@ -745,7 +743,8 @@ def generate_templates(problem: Problem, sketch: StructuralSketch) -> List[Hypot
             nb = dict(b_mid)
             nb[v_small] = vs; nb[v_large] = vl
             box = {u: IV(*tb.get(u, problem.bounds.get(u, (-10, 10)))) for u in problem.variables}
-            box[v_small] = IV(vs - 1e-6, vs + 1e-6); box[v_large] = IV(vl - 1e-6, vl + 1e-6)
+            box[v_small] = IV(vs - 1e-6, vs + 1e-6)
+            box[v_large] = IV(vl - 1e-6, vl + 1e-6)
             cont = _hc4(box, problem.compiled_constraints)
             
             pinned = {v_small: vs, v_large: vl}
@@ -1413,7 +1412,7 @@ class SequenceRayTracer:
                 inv.compile(base_problem.variables)
 
         _update_state(phase="SKETCHING")
-        _add_log("🗺 Computing structural sketch…")
+        _add_log(f"🗺 Computing structural sketch... | vars: {len(base_problem.variables)}")
         sketch = compute_sketch(base_problem)
         _update_state(sketch_summary="; ".join(sketch.sketch_notes[:4]), sympy_derivation=sketch.sympy_derivation)
         _add_log(f"✓ Sketch: {sketch.dominant_type} system, DOF={sketch.n_free_dof}")
@@ -1702,7 +1701,6 @@ def global_solve_task(original_problem_text, api_key, prebuilt_axl=None):
                     _update_state(phase="ERROR", answer=f"Encoder API Failed: {str(e)}")
                     return
             
-            _add_log(f"✓ `{axl_def.name}` | vars: {len(axl_def.variables)}")
             _update_state(phase="COMPILING")
 
             try: 
@@ -1917,7 +1915,7 @@ with gr.Blocks(css=CSS, title="Practicality 24.3") as demo:
                               f"New: L2 MSE Smooth Gradients\n"
                               f"New: Positive Space Grid Sweeping\n"
                               f"New: 11-Layer QAOA Stress Test\n"
-                              f"New: Quantum BBGKY Cumulant Expansion"), 
+                              f"New: Thread Crash Safety (Async UI)"), 
                        lines=7, interactive=False, elem_classes=["solver-log"])
 
     with gr.Row(elem_classes=["wrap-row"]):
@@ -1926,9 +1924,9 @@ with gr.Blocks(css=CSS, title="Practicality 24.3") as demo:
         with gr.Column(scale=1, min_width=300):
             answer_box = gr.Textbox(label="Isomorphic Collapse", lines=20, interactive=False, elem_classes=["answer-box"])
 
-    def fetch_ui():
+    async def fetch_ui():
         while True:
-            time.sleep(1.0)
+            await asyncio.sleep(1.0)
             yield build_live_html(), GLOBAL_SOLVE_STATE["answer"]
 
     solve_btn.click(fn=trigger_solve, inputs=[problem_input, api_key_input], outputs=None)
@@ -1941,4 +1939,4 @@ with gr.Blocks(css=CSS, title="Practicality 24.3") as demo:
 
 if __name__ == "__main__":
     print(f"[SYSTEM 24.3] Compute: {DEVICE.type.upper()} | Feature Flags: Quantum={HAS_QUANTUM}")
-    demo.launch(server_name="0.0.0.0", server_port=7860, share=False)
+    demo.launch(server_name="0.0.0.0", server_port=7860, share=False)