Update app.py

app.py

@@ -1,6 +1,6 @@
 #!/usr/bin/env python3
 """
-PRACTICALITY UNIFIED SERVER 23.0 — STABILIZED MANIFOLD & ALGEBRAIC REDUCTION
+PRACTICALITY UNIFIED SERVER 23.1 — STABILIZED MANIFOLD & ALGEBRAIC REDUCTION
 ═══════════════════════════════════════════════════════════════════
 ARCHITECTURE:
   User Text → [GEMINI 3.1 ENCODER] → AXLProblemDef (Strict Math Representation)
@@ -9,12 +9,12 @@ ARCHITECTURE:
                                    → [ALGEBRAIC REDUCTION LOOP] if Geometry Fails
             → [GEMINI 3.1 COLLAPSER] → Domain-language explanation
 
-LATEST UPDATES (23.0):
-  - PYTORCH STABILIZER: Added X.grad.clamp_() and tightened default fallback 
-    bounds to +/- 1000 to prevent polynomial volume explosions (CE 10^14).
+LATEST UPDATES (23.1):
+  - UI FIX: Restored the RAY_ICONS dictionary so the live dashboard renders properly.
+  - PYTORCH STABILIZER: Added X.grad.clamp_() and tightened default fallback bounds 
+    to prevent polynomial volume explosions (CE 10^14).
   - ALGEBRAIC PRE-SOLVING: If PyTorch fails to navigate the manifold (Gate 1 fails), 
-    the system feeds back to Gemini to perform Symbolic Variable Elimination 
-    (substituting simple equalities to reduce dimensionality), acting as a smart presolver.
+    the system feeds back to Gemini to perform Symbolic Variable Elimination.
 """
 
 import os, time, random, math, threading, warnings, queue, json, textwrap
@@ -35,14 +35,13 @@ from google.genai import types
 # ══════════════════════════════════════════════════════════════════
 # 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-3.1-pro-preview"
 
 warnings.filterwarnings("ignore")
 USE_GPU = torch.cuda.is_available()
 DEVICE  = torch.device("cuda" if USE_GPU else "cpu")
-print(f"[UNIFIED SERVER] Compute: {DEVICE.type.upper()} | System 23.0 (Algebraic Reduction)")
+print(f"[UNIFIED SERVER] Compute: {DEVICE.type.upper()} | System 23.1 (Algebraic Reduction)")
 
 # ══════════════════════════════════════════════════════════════════════
 # SECTION 1: CONSTANTS
@@ -54,8 +53,7 @@ DEDUCE_ADAM_STEPS        = 25
 N_MPRT_EXPLORE           = 1000
 PROJECTION_CACHE: Dict   = {}
 
-# 23.0: Reduced Max Rays PER ATTEMPT so the feedback loop triggers faster
-MAX_RAYS_PER_ATTEMPT     = 1000000 # 24576 * 10  # ~245k rays per cycle before reframing
+MAX_RAYS_PER_ATTEMPT     = 24576 * 10  # ~245k rays per cycle before reframing
 RAY_BATCH_SIZE           = 24576
 CE_EARN_RATIO            = 0.90
 SCOUT_CE_THRESHOLD       = 0.5
@@ -526,7 +524,6 @@ def _batched_deduce_and_evaluate(
         if isinstance(ce,torch.Tensor) and (ce<SOLVE_THRESHOLD).all(): break
         loss=ce.sum(); loss.backward()
         with torch.no_grad():
-            # SYSTEM 23.0 FIX: Gradient Clamping to prevent numerical explosion
             X.grad.clamp_(-10.0, 10.0)
             X.grad*=mask
             optimizer.step()
@@ -1244,7 +1241,7 @@ def _parse_axl_json(raw_json: str) -> AXLProblemDef:
     for v in d["variables"]:
         variables.append({
             "name": v["name"],
-            # SYSTEM 23.0 FIX: Tighter fallback bounds to prevent polynomial explosions
+            # Fallback bounds prevent PyTorch volume explosions in non-linear manifolds
             "lo": float(v.get("lo", -1000.0)), 
             "hi": float(v.get("hi", 1000.0))
         })
@@ -1252,7 +1249,7 @@ def _parse_axl_json(raw_json: str) -> AXLProblemDef:
     return AXLProblemDef(
         name=d["name"],
         description=d.get("description", ""),
-        axioms=set(), 
+        axioms=set(), # Engine owns Axioms
         variables=variables,
         constraints=d.get("constraints", []),
         scopes=d.get("scopes", []),
@@ -1378,7 +1375,7 @@ def global_solve_task(original_problem_text: str, api_key: str):
 
         _add_log(f"🏁 {solved_str} (CE: {ce:.5f}) | Iso: {best_ray}")
 
-        # ── SYSTEM 23.0 FIX: Algebraic Reduction Feedback Loop ──
+        # ── ALGEBRAIC REDUCTION LOOP ──
         if not g1_pass and attempt < MAX_ATTEMPTS:
             current_text = original_problem_text + f"\n\nPREVIOUS ATTEMPT FAILED (Best CE: {ce}):\nGEOMETRIC SOLVER FAILED to converge. The constraint manifold is too highly dimensional. Please apply ALGEBRAIC REDUCTION: substitute simple equalities into the complex constraints to eliminate variables, then output the simplified AXL."
             _add_log(f"⚠ Geometric Solve Failed. Triggering Algebraic Reduction...")
@@ -1417,7 +1414,7 @@ def trigger_solve(problem_text: str, api_key: str):
     threading.Thread(target=global_solve_task, args=(problem_text, api_key), daemon=True).start()
 
 # ══════════════════════════════════════════════════════════════════
-# SECTION 15: GRADIO INTERFACE
+# SECTION 15: GRADIO INTERFACE (Polling Global State)
 # ══════════════════════════════════════════════════════════════════
 
 CSS = """
@@ -1435,6 +1432,12 @@ PLACEHOLDER_HINT = textwrap.dedent("""
       • "A decentralized exchange liquidity pool contains three tokens: x, y, and z. x*y*z=1000. x+2y+4z=60. y=2z. Find x, y, z."
 """).strip()
 
+RAY_ICONS = {
+    "seed": "🌱", "branch": "🌿", "tension": "⚡", 
+    "scout": "🔭", "recombine": "🧬", "invert": "🔄", 
+    "target": "🎯", "fallback": "·"
+}
+
 def build_live_html_dashboard():
     with STATE_LOCK:
         phase = GLOBAL_SOLVE_STATE["phase"]
@@ -1547,11 +1550,11 @@ with gr.Blocks(css=CSS, title="Practicality Unified Server") as demo:
     demo.load(fetch_ui_state, inputs=None, outputs=[live_html, answer_box])
 
     gr.Markdown(
-        "Built with Gradio · Practicality 23.0 · Stable Manifold + Algebraic Reduction",
+        "Built with Gradio · Practicality 23.1 · Stable Manifold + Algebraic Reduction",
         elem_classes=["status-bar"]
     )
 
 if __name__ == "__main__":
     print(f"[UNIFIED SERVER] Compute: {DEVICE.type.upper()}")
-    print(f"[UNIFIED SERVER] System 23.0: Manifold Stabilizer + Algebraic Reduction Loop.")
+    print(f"[UNIFIED SERVER] System 23.1: Manifold Stabilizer + Algebraic Reduction Loop.")
     demo.launch(server_name="0.0.0.0", server_port=7860, share=False)