Update app.py

app.py

@@ -1,6 +1,6 @@
 #!/usr/bin/env python3
 """
-PRACTICALITY SYSTEM 3.11
+PRACTICALITY SYSTEM 3.12
 
 ===================================================================
 ARCHITECTURE & TENSOR TRANSITION MANIFESTO (V4.0 PREP)
@@ -23,16 +23,14 @@ without regressions, we must adhere to the following mapping:
      Invalid regions generate boolean bitmasks `valid_mask = np.ones(N_boxes)`.
 ===================================================================
 
-Changes from 3.10:
-  FIX 1 — Coordinate Walker State Bug: V3.10 successfully evaluated CE spikes 
-          but failed to persist them into the walking binding, effectively 
-          paralyzing the walker and crashing chain10's solve rate. The state 
-          tracking is now correctly decoupled: the walker takes the spike, while 
-          the absolute `best_overall` state is safely preserved.
-  FIX 2 — Topological Shrink State Bug: V3.10 shrank variables to avoid math 
-          domain errors (negative roots) but didn't save the shrunk variables 
-          to the binding. It now formally updates the binding dependencies, 
-          which creates the geometric tractor-beam fully10 requires.
+Changes from 3.11:
+  FIX 1 — Bounded Coordinate Walker: V3.11 evaluated spikes against the rolling 
+          `current_ce`, causing a divergent walk that ruined chain10. Spikes are 
+          now strictly bounded against `best_ce`, allowing ridge-walking without 
+          exponential climbing.
+  FIX 2 — True Greedy Pass: The secondary snap pass now sorts variables dynamically 
+          by their L9 residual impact, rather than blindly relying on the PSL file's 
+          lexical variable order.
 """
 
 import asyncio, time, random, math, threading, warnings
@@ -260,7 +258,7 @@ def expand_psl(prog:PSLProgram) -> ExpandedProblem:
 
     def add_con(kind,expr,direction,scope="root",weight=1.0,branches=None):
         idx=len(constraints)
-        constraints.append(Constraint(kind,expr,direction,weight,scope,branches or []))
+        constraints.append(Constraint(kind,expr,direction,weight,scope,branches or[]))
         scope_groups[scope].append(idx)
         try:
             syms={v:sp.Symbol(v) for v in variables}
@@ -617,7 +615,8 @@ def _global_hc4_tighten(problem:Problem) -> Dict[str,Tuple[float,float]]:
     if orig_vol > 0 and new_vol < orig_vol * HC4_VOLUME_FLOOR: return dict(problem.bounds)
     return {v:(max(problem.bounds[v][0], contracted[v].lo), min(problem.bounds[v][1], contracted[v].hi)) for v in problem.bounds if v in contracted}
 
-def _single_snap_pass(problem: Problem, current_binding: Dict[str, float], ordered_vars: List[str], current_ce: float, spike_tolerance: float) -> Tuple[Dict[str, float], float, bool]:
+def _single_snap_pass(problem: Problem, current_binding: Dict[str, float], ordered_vars: List[str], current_ce: float, max_spike_ce: float) -> Tuple[Dict[str, float], float, bool]:
+    # FIX 1: Max Spike CE is now strictly anchored to the absolute best CE of the pass, preventing divergent walks.
     l9 = RESIDUAL_ORACLE.evaluate(current_binding, problem,[])
     if not l9.dominant_exprs: 
         return current_binding, current_ce, False
@@ -643,7 +642,6 @@ def _single_snap_pass(problem: Problem, current_binding: Dict[str, float], order
                     args = [test_binding.get(s, 0.0) for s in proj["syms"]]
                     val = float(proj["func"](*args))
                 except (ValueError, TypeError):
-                    # FIX 2: Topological Shrink. Safe state persistence.
                     for s in proj["syms"]:
                         lo, hi = problem.bounds.get(s, (-1e18, 1e18))
                         mid = (lo + hi) / 2.0 if lo != -1e18 else 0.0
@@ -662,9 +660,8 @@ def _single_snap_pass(problem: Problem, current_binding: Dict[str, float], order
                 test_binding[v] = val
                 new_ce = problem.constraint_energy(test_binding)
                 
-                # FIX 1: Proper state tracking for spikes. 
-                # Returns immediately so caller can preserve the spike into the next round.
-                if new_ce < current_ce * (1 + spike_tolerance):
+                # Check against the absolute bound, not the rolling CE
+                if new_ce < max_spike_ce:
                     return test_binding, new_ce, True
                     
     return current_binding, current_ce, False
@@ -676,6 +673,7 @@ def _algebraic_snap(problem: Problem, binding: Dict[str, float]) -> Tuple[Dict[s
     active_scopes = [s for s in problem.scope_order if s != "root" and problem.scope_vars.get(s)]
     l7 = TOPOLOGY_ORACLE.evaluate(problem, active_scopes)
     
+    # 1. Causal order pass
     ordered_vars =[]
     if l7.solve_order:
         for sn in l7.solve_order:
@@ -684,24 +682,38 @@ def _algebraic_snap(problem: Problem, binding: Dict[str, float]) -> Tuple[Dict[s
     for v in problem.variables:
         if v not in ordered_vars: ordered_vars.append(v)
 
-    # 1. Causal order pass
     causal_b = dict(binding)
     causal_ce = best_ce_overall
+    causal_best = best_ce_overall
     for _ in range(20):
-        causal_b, causal_ce, improved = _single_snap_pass(problem, causal_b, ordered_vars, causal_ce, 0.15)
-        if causal_ce < best_ce_overall:
-            best_ce_overall = causal_ce
-            best_binding_overall = dict(causal_b)
+        # FIX 1: Anchor the tolerance mathematically to the best known state
+        max_allowable_spike = causal_best * 1.15
+        causal_b, causal_ce, improved = _single_snap_pass(problem, causal_b, ordered_vars, causal_ce, max_allowable_spike)
+        if improved and causal_ce < causal_best:
+            causal_best = causal_ce
+            if causal_ce < best_ce_overall:
+                best_ce_overall = causal_ce
+                best_binding_overall = dict(causal_b)
         if not improved or causal_ce < SOLVE_THRESHOLD: break
 
-    # 2. Greedy order pass
+    # 2. FIX 2: True Greedy Pass. Prioritize variables causing the most error dynamically.
     greedy_b = dict(binding)
     greedy_ce = problem.constraint_energy(binding)
+    greedy_best = greedy_ce
     for _ in range(20):
-        greedy_b, greedy_ce, improved = _single_snap_pass(problem, greedy_b, problem.variables, greedy_ce, 0.15)
-        if greedy_ce < best_ce_overall:
-            best_ce_overall = greedy_ce
-            best_binding_overall = dict(greedy_b)
+        l9 = RESIDUAL_ORACLE.evaluate(greedy_b, problem,[])
+        dynamic_greedy_vars = l9.dominant_vars if l9.dominant_vars else problem.variables
+        # Ensure all variables are included as fallbacks
+        for v in problem.variables:
+            if v not in dynamic_greedy_vars: dynamic_greedy_vars.append(v)
+            
+        max_allowable_spike = greedy_best * 1.15
+        greedy_b, greedy_ce, improved = _single_snap_pass(problem, greedy_b, dynamic_greedy_vars, greedy_ce, max_allowable_spike)
+        if improved and greedy_ce < greedy_best:
+            greedy_best = greedy_ce
+            if greedy_ce < best_ce_overall:
+                best_ce_overall = greedy_ce
+                best_binding_overall = dict(greedy_b)
         if not improved or greedy_ce < SOLVE_THRESHOLD: break
         
     return best_binding_overall, best_ce_overall
@@ -1288,7 +1300,7 @@ async def lifespan(app: FastAPI):
     yield
     POOL.shutdown(wait=False)
 
-app = FastAPI(title="Practicality System 3.11", lifespan=lifespan)
+app = FastAPI(title="Practicality System 3.12", lifespan=lifespan)
 
 @app.post("/inject/{pid}")
 async def inject_seed(pid:str, request:Request):
@@ -1363,7 +1375,7 @@ async def dashboard():
                 f"font-size:0.85em;margin:2px'>{label}: {val}</span>")
                 
     html=f"""<!DOCTYPE html><html>
-<head><title>Practicality System 3.11</title>
+<head><title>Practicality System 3.12</title>
 <meta http-equiv="refresh" content="3">
 <style>
   body{{background:#0a0a0a;color:#e0e0e0;font-family:monospace;padding:20px}}
@@ -1374,7 +1386,7 @@ async def dashboard():
   th{{color:#444}}
   .witness-box{{background:#111; border:1px solid #333; padding:15px; color:#aaa; white-space:pre-wrap; font-size:0.9em;}}
 </style></head><body>
-<h1>⚗ Practicality System 3.11</h1>
+<h1>⚗ Practicality System 3.12</h1>
 <div style='margin-bottom:16px;line-height:2.2em;'>
   {badge("Trials",runs,"#aaa")}
   {badge("Avg rounds",avg_rounds,"#aaa")}