Update app.py

app.py

@@ -1,7 +1,7 @@
 """
 ================================================================================
-SCRIPT 2: THE HYSE SERVER (HUGGINGFACE SPACE NATIVE) - V9.7 1-SHOT ONTOLOGY
-1-Shot Semantic Scrubbing | Anti-History Forcing | Comma-Separated Brainstorms
+SCRIPT 2: THE HYSE SERVER (HUGGINGFACE SPACE NATIVE) - V9.8 TRUE ONTOLOGY
+Dynamic Axiom Gates | SR4 Complement Scoring | 1-Shot Semantic Scrubbing
 Requires: pip install llama-cpp-python sentence-transformers fastapi uvicorn requests
 ================================================================================
 """
@@ -141,7 +141,7 @@ class DualModelManager:
             gc.collect()
 
     def run_7b_extract(self, text: str) -> str:
-        """ V9.7: 1-Shot De-Semanticization explicitly showing how to strip nouns """
+        """ V9.8: 1-Shot De-Semanticization explicitly showing how to strip nouns """
         prompt = (
             f"<|im_start|>system\nYou translate specific problems into pure abstract geometry and systems dynamics. "
             f"CRITICAL: Strip ALL domain nouns (e.g., biology, finance). Output exactly 1 sentence.<|im_end|>\n"
@@ -154,7 +154,7 @@ class DualModelManager:
         except: return "Extraction failed."
 
     def run_7b_blind_brainstorm(self, abstract_mechanism: str, axioms_dict: Dict[str, str], mode: str) -> List[str]:
-        """ V9.7: 1-Shot Comma-Separated Output to guarantee robust Wikipedia targeting """
+        """ V9.8: 1-Shot Comma-Separated Output to guarantee robust Wikipedia targeting """
         axiom_str = "\n".join([f"- {k}: {v}" for k, v in axioms_dict.items()])
         
         prompts = {
@@ -175,7 +175,6 @@ class DualModelManager:
             output = self.active_llm(prompt, max_tokens=150, temperature=0.6, stop=["<|im_end|>"])
             text = output['choices'][0]['text'].strip()
             
-            # Simple, bulletproof parsing
             topics = [t.strip().replace('"', '').replace("'", "") for t in text.split(',')]
             topics = [t for t in topics if len(t) > 3 and not "Here are" in t]
             
@@ -192,7 +191,7 @@ class DualModelManager:
             return fallbacks.get(mode, fallbacks["mirrors"])
 
     def run_3b_extract(self, text: str) -> str:
-        """ V9.7: 1-Shot Anti-History and Name Stripping """
+        """ V9.8: 1-Shot Anti-History and Name Stripping """
         prompt = (
             f"<|im_start|>system\nYou translate textbook descriptions into abstract structural mechanisms. "
             f"CRITICAL: IGNORE ALL HUMAN NAMES (e.g., Ilya Prigogine, Lev Landau), dates, and historical filler. Focus ONLY on the math/physics. Output exactly 1 sentence.<|im_end|>\n"
@@ -219,7 +218,7 @@ def fetch_wiki_articles(search_queries: List[str]) -> List[Dict]:
     chunks = []
     session = requests.Session()
     session.headers.update({
-        'User-Agent': 'IsomorphicEngineBot/9.7 (https://huggingface.co/spaces/everydaytok/Small_llm; contact@example.com)'
+        'User-Agent': 'IsomorphicEngineBot/9.8 (https://huggingface.co/spaces/everydaytok/Small_llm; contact@example.com)'
     })
     
     for q in set(search_queries):
@@ -279,11 +278,20 @@ def fetch_wiki_articles(search_queries: List[str]) -> List[Dict]:
 class Substrate:
     doc_id: str; title: str; text: str; radii: Dict[str, float]; embedding: np.ndarray
     def r(self, a: str) -> float: return self.radii.get(a, 0.0)
-    def dominant(self, t: float = 0.70) -> List[str]: return [a for a in self.radii if self.r(a) >= t]
+    def dominant(self, t: float = 0.55) -> List[str]: return [a for a in self.radii if self.r(a) >= t]
 
 def calculate_gaps(q: Substrate, c: Substrate) -> Dict:
     g1 = [{"axiom": a, "direction": "gain" if c.r(a)-q.r(a) > 0 else "release", "delta": round(c.r(a)-q.r(a), 3)} for a in q.radii if abs(c.r(a)-q.r(a)) >= 0.15]
-    return {"G1_gains": [f"{s['axiom']} (+{s['delta']})" for s in g1 if s["direction"] == "gain"][:3], "G1_releases": [f"{s['axiom']} ({s['delta']})" for s in g1 if s["direction"] == "release"][:3]}
+    
+    q_dom = set(q.dominant(0.55)) or set(sorted(q.radii, key=q.radii.get, reverse=True)[:4])
+    c_dom = set(c.dominant(0.55)) or set(sorted(c.radii, key=c.radii.get, reverse=True)[:4])
+    
+    return {
+        "G1_gains": [f"{s['axiom']} (+{s['delta']})" for s in g1 if s["direction"] == "gain"][:3], 
+        "G1_releases": [f"{s['axiom']} ({s['delta']})" for s in g1 if s["direction"] == "release"][:3],
+        "G4_shared": sorted(list(q_dom & c_dom)),
+        "G4_borrow": sorted(list(c_dom - q_dom))
+    }
 
 # ══════════════════════════════════════════════════════════════════════
 # THE HySE PIPELINE
@@ -300,8 +308,13 @@ def run_hyse_pipeline(query: str):
         q_rad, q_emb = MANAGER.score_mechanism(q_mech)
         q_sub = Substrate("QUERY", "User Query", q_mech, q_rad, q_emb)
         
-        top_axiom_names = q_sub.dominant(0.70)[:5]
-        if not top_axiom_names: top_axiom_names = sorted(q_rad, key=q_rad.get, reverse=True)[:5]
+        # V9.8 FIX 1: Robust Dominant Axis Extraction
+        top_axiom_names = [a for a in q_rad if q_rad[a] >= 0.55]
+        if len(top_axiom_names) < 4:
+            top_axiom_names = sorted(q_rad, key=q_rad.get, reverse=True)[:5]
+        else:
+            top_axiom_names = top_axiom_names[:6]
+            
         blindfold_dict = {name: SEED_AXIOMS[name] for name in top_axiom_names}
         
         set_status("7B Generating Wikipedia Targets (Named Laws/Models)...")
@@ -326,21 +339,33 @@ def run_hyse_pipeline(query: str):
             for chunk in chunks:
                 mech = MANAGER.run_3b_extract(chunk["text"])
                 if mech == "Extraction failed.": continue
-                
                 rad, emb = MANAGER.score_mechanism(mech)
                 sub = Substrate(chunk["doc_id"], chunk["title"], mech, rad, emb)
                 
+                gaps = calculate_gaps(q_sub, sub)
                 vec_score = max(0.0, float(np.dot(q_sub.embedding, sub.embedding)))
+                gate = sum(1 for a in top_axiom_names if sub.r(a) >= 0.45) / max(len(top_axiom_names), 1)
                 
-                # V9.7: Opposites shouldn't be penalized for lacking the original query's axioms
-                if mode == "opposites":
-                    score = vec_score 
-                else:
-                    gate = sum(1 for a in top_axiom_names if sub.r(a) >= 0.35) / max(len(top_axiom_names), 1)
+                # V9.8 FIX 2 & 3: Dynamic Scoring and Gates
+                score = 0.0
+                if mode == "mirrors":
                     score = vec_score * 0.6 + gate * 0.4
-                
-                gaps = calculate_gaps(q_sub, sub)
-                results.append({"title": sub.title, "score": round(score, 3), "mechanism": mech, **gaps})
+                elif mode == "more_completes":
+                    if len(gaps["G4_borrow"]) == 0: 
+                        score = 0.0 # Must add something new
+                    else:
+                        score = vec_score * 0.5 + gate * 0.5
+                elif mode == "opposites":
+                    if len(gaps["G4_shared"]) == 0:
+                        score = 0.0 # Must share a foundation to be an opposite
+                    else:
+                        # SR4 Complement Logic
+                        complement = sum((1.0 - q_sub.r(a)) * sub.r(a) for a in AXIOM_NAMES) / N_AXIOMS
+                        score = complement * 0.7 + (1.0 - vec_score) * 0.3
+
+                if score > 0.05:
+                    results.append({"title": sub.title, "score": round(score, 3), "mechanism": mech, **gaps})
+            
             results.sort(key=lambda x: x["score"], reverse=True)
             
             unique_results = []
@@ -379,7 +404,7 @@ MANAGER = DualModelManager()
 
 @asynccontextmanager
 async def lifespan(app: FastAPI):
-    log("Booting HySE Engine V9.7 (1-Shot Prompting)...")
+    log("Booting HySE Engine V9.8 (True Ontology)...")
     MANAGER.load_st()
     
     def pre_fetch():
@@ -397,7 +422,7 @@ async def lifespan(app: FastAPI):
 app = FastAPI(title="HySE Reverse Engineering Engine", lifespan=lifespan)
 
 HTML = r"""<!DOCTYPE html>
-<html><head><title>HySE V9.7 - 1-Shot Ontology</title>
+<html><head><title>HySE V9.8 - True Ontology</title>
 <style>
 body{background:#070707;color:#e0e0e0;font-family:monospace;display:flex;height:100vh;margin:0;}
 .side{width:320px;background:#0b0b0b;padding:15px;border-right:1px solid #1a1a1a;overflow-y:auto;}
@@ -409,8 +434,8 @@ button{width:100%;background:#0a2014;color:#7ee37e;border:1px solid #184028;padd
 .log{font-size:10px;color:#606060;height:150px;overflow-y:auto;border:1px solid #1a1a1a;padding:5px;}
 </style></head><body>
 <div class="side">
-  <h2 style="color:#7ec8e3;">HySE V9.7</h2>
-  <div style="font-size:10px;color:#606060;margin-bottom:15px;">1-Shot LLM Anti-Leakage | Strict Law Fetching</div>
+  <h2 style="color:#7ec8e3;">HySE V9.8</h2>
+  <div style="font-size:10px;color:#606060;margin-bottom:15px;">Dynamic Axiom Gates | SR4 Complement Scores</div>
   <textarea id="q" rows="5">A virus infects a host, rapidly replicating and jumping to new hosts until immunity acts as a wall causing collapse.</textarea>
   <button onclick="run()">▶ Start Reverse Engineering</button>
   <div id="prog" style="margin:15px 0;color:#7ee37e;">Idle</div>
@@ -463,8 +488,10 @@ function render(data){
         <div style="display:flex;justify-content:space-between;font-weight:bold;"><span>📄 ${r.title}</span><span style="color:#e3c07e;">Score: ${(r.score*100).toFixed(1)}%</span></div>
         <div style="color:#7ee3c8;margin:8px 0;font-style:italic;">${r.mechanism}</div>
         <div style="font-size:10px;color:#606060;">
-          <span style="color:#7ee37e">Gains: ${r.G1_gains.join(', ') || 'None'}</span> | 
-          <span style="color:#e37e7e">Releases: ${r.G1_releases.join(', ') || 'None'}</span>
+          <div style="color:#7ec8e3; margin-bottom:2px;">Shared: ${r.G4_shared.join(', ') || 'None'}</div>
+          <div style="color:#e3c07e; margin-bottom:4px;">Borrow: ${r.G4_borrow.join(', ') || 'None'}</div>
+          <span style="color:#7ee37e">G1 Gains: ${r.G1_gains.join(', ') || 'None'}</span> | 
+          <span style="color:#e37e7e">G1 Releases: ${r.G1_releases.join(', ') || 'None'}</span>
         </div>
       </div>`;
     }