V9.0.3: CRITICAL Hotfixes - Anchor Validator NameError & SymPy LaTeX Multiplication Support

domain/math_validator.py

@@ -17,7 +17,7 @@ _HEBREW_ONLY = re.compile(r'^[\u0590-\u05FF\s]+$')
 
 # LaTeX commands that SymPy cannot parse — strip layout but KEEP math functions
 _LATEX_STRIP = re.compile(
-    r'\\(?:left|right|cdot|times|div|pm|mp|leq|geq|neq'
+    r'\\(?:left|right|div|pm|mp|leq|geq|neq'
     r'|approx|infty|text|mathrm|mathbf|boxed|underbrace|overbrace|hat|bar|vec|dot|overline|underline)\b'
 )
 
@@ -52,6 +52,10 @@ def _latex_to_sympy_str(latex_str: str) -> str:
     s = s.replace(r'\tan', ' tan ').replace(r'\sqrt', ' sqrt ').replace(r'\log', ' log ')
     s = s.replace(r'\exp', ' exp ').replace(r'\pi', ' pi ').replace(r'\theta', ' theta ')
 
+    # --- 🚀 BEGIN HOTFIX V9.0.3: LATEX MULTIPLICATION ---
+    s = s.replace(r'\cdot', '*').replace(r'\times', '*')
+    # --- END HOTFIX ---
+
     # 3. Remove remaining purely structural LaTeX commands
     s = _LATEX_STRIP.sub(' ', s)
     

utils/math_utils.py

@@ -47,6 +47,10 @@ def aggressive_sympy_sanitizer(latex_str: str) -> List[str]:
     arrows = [r'\Rightarrow', r'\implies', r'\iff', r'\rightarrow']
     for arrow in arrows:
         s = s.replace(arrow, '=')
+
+    # --- 🚀 BEGIN HOTFIX V9.0.3: LATEX MULTIPLICATION ---
+    s = s.replace(r'\cdot', '*').replace(r'\times', '*')
+    # --- END HOTFIX ---
         
     # 4. Split multiple equations
     # SymPy cannot parse "x=0, y=9" as a single AST node.