Update app.py

app.py

@@ -13,15 +13,14 @@ NEW IN 17.0:
   - Autograd Oracle: loss.backward() replaces SymPy Jacobian calculation.
   - Native Torch Optimizers: Adam Polish runs directly on the GPU graph.
   - Batched GPU MPRT: Explores 100k samples via pure tensor ops.
-  - Gradio Dashboard: Hardware-agnostic UI (Colab/HF spaces ready).
+  - Gradio Dashboard: Hardware-agnostic UI (Colab/HF spaces ready) with 4.x fix.
 """
 
-import time, random, math, threading, asyncio, warnings
+import time, random, math, threading, warnings
 from functools import reduce
 from typing import Optional, Callable, List, Dict, Tuple, Any, Set
 from dataclasses import dataclass, field
 from collections import defaultdict
-from concurrent.futures import ThreadPoolExecutor
 
 import numpy as np
 import sympy as sp
@@ -757,8 +756,10 @@ def _hyp_mutable(p,bt,a,m):
 def _hyp_network(p,bt,a,m): return [_make_hyp("net",bt.binding,"network","HubProp",[],{},p.variables,0.65)]
 def _hyp_equilibrium(p,bt,a,m): return [_make_hyp("eql",bt.binding,"equilibrium","GradBal",[],{},p.variables,0.72)]
 def _hyp_superposition(p,bt,a,m):
-    if a and len(a)>1:
-        lam=0.5; nb={v:lam*bt.binding.get(v,0)+(1-lam)*a[-2].binding.get(v,0) for v in p.variables}
+    if a and len(a) > 0:
+        other_baton = random.choice(a)
+        lam = 0.5
+        nb = {v: lam * bt.binding.get(v,0) + (1-lam) * other_baton.binding.get(v,0) for v in p.variables}
         return [_make_hyp("sup",nb,"superposition","Superpose",[],{},p.variables,0.58)]
     return []
 def _hyp_locality(p,bt,a,m): return [_make_hyp("loc",bt.binding,"locality","LocalFirst",[],{},p.variables,0.72)]
@@ -837,7 +838,9 @@ class SequenceRayTracer:
             if not parent_baton.l9: parent_baton.l9 = RESIDUAL_ORACLE.evaluate(parent_baton.binding, base_problem)
             
             t0=time.time()
-            hyps = AXIOM_CONSTRUCTORS[ray.sequence[-1]](base_problem, parent_baton, [], model)
+            # Pass all registered batons for SUPERPOSITION to blend with
+            historical_batons = list(baton_registry.values())
+            hyps = AXIOM_CONSTRUCTORS[ray.sequence[-1]](base_problem, parent_baton, historical_batons, model)
             output_baton = parent_baton
             
             for hyp in hyps:
@@ -978,9 +981,17 @@ with gr.Blocks(theme=gr.themes.Monochrome(text_size="sm")) as demo:
     gr.Markdown(f"**Compute Node:** `{DEVICE.type.upper()}` | **Engine:** `PyTorch AST + Autograd Oracle`")
     btn_toggle = gr.Button("▶ START 17.0", variant="primary")
     html_output = gr.HTML(refresh_dashboard())
+    
     btn_toggle.click(toggle_engine, inputs=None, outputs=btn_toggle)
-    demo.load(refresh_dashboard, inputs=None, outputs=html_output, every=1.0)
+    
+    # 17.0 Gradio 4.x Fix: Generator for live refreshing instead of 'every='
+    def auto_refresh():
+        while True:
+            time.sleep(1.0)
+            yield refresh_dashboard()
+            
+    demo.load(auto_refresh, inputs=None, outputs=html_output)
 
 if __name__ == "__main__":
-    print("[SYSTEM] Launching Gradio Dashboard on 0.0.0.0:7860...")
+    print(f"[SYSTEM] Launching Gradio Dashboard on 0.0.0.0:7860... (Compute: {DEVICE.type})")
     demo.launch(server_name="0.0.0.0", server_port=7860, share=False)