perf: embed shell soft nav, tab cache, and lighter options page boot

Co-authored-by: Cursor <cursoragent@cursor.com>

lib/instance/instance_embed_lib.py

@@ -72,6 +72,22 @@ def embed_shell_enabled() -> bool:
     return (os.getenv("HUB_EMBED_SHELL") or "1").strip().lower() in ("1", "true", "yes", "on")
 
 
+def redirect_to_embed_shell_if_enabled(page: str):
+    """直连 /trade 等整页路由时，重定向到 embed 壳（顶栏常驻、tab 软切换）。"""
+    from flask import redirect, request, urlencode
+
+    if not embed_shell_enabled():
+        return None
+    if (request.args.get("embed") or "").strip() == "1":
+        return None
+    if (request.path or "").rstrip("/") == "/embed":
+        return None
+    q = {k: v for k, v in request.args.items()}
+    q["tab"] = page
+    q["embed"] = "1"
+    return redirect("/embed?" + urlencode(q))
+
+
 def rewrite_embed_dest(path: str, hub_theme: str | None = None) -> str:
     """embed=1 打开时：/trade → /embed?tab=trade&embed=1"""
     if not embed_shell_enabled():

lib/instance/templates/embed_shell.html

@@ -90,6 +90,6 @@ const ORDER_ENTRY_MODEL_CODE_TO_CATEGORY = {{ entry_model_code_to_category | toj
 <script src="/static/strategy_roll.js?v=6"></script>
 <script src="/static/key_monitor_form.js?v=2"></script>
 {% include 'embed_boot_scripts.html' %}
-<script src="/static/instance_embed.js?v=7"></script>
+<script src="/static/instance_embed.js?v=8"></script>
 </body>
 </html>