eduevidence 5.2.0 → 6.2.0

package/scripts/daily_evolve.py

@@ -0,0 +1,30 @@
+from __future__ import annotations
+import argparse
+import json
+from engine.autoevolve import DailyEvolutionRunner, DailyProfile
+
+
+def main(argv=None):
+    parser = argparse.ArgumentParser(description="Run bounded branch-only EduEvidence evolution")
+    parser.add_argument("--repo", default=".")
+    parser.add_argument("--agent-command", required=True)
+    parser.add_argument("--eval-command", required=True)
+    parser.add_argument("--run-tag")
+    parser.add_argument("--max-experiments", type=int, default=20)
+    parser.add_argument("--max-cost-usd", type=float, default=5)
+    parser.add_argument("--max-wall-minutes", type=int, default=180)
+    parser.add_argument("--push-branch", action="store_true")
+    args = parser.parse_args(argv)
+    profile = DailyProfile(args.max_experiments, args.max_cost_usd, args.max_wall_minutes)
+    report = DailyEvolutionRunner(args.repo, profile=profile).run(
+        agent_command=args.agent_command,
+        eval_command=args.eval_command,
+        run_tag=args.run_tag,
+        push_branch=args.push_branch,
+    )
+    print(json.dumps(report, indent=2))
+    return 0
+
+
+if __name__ == "__main__":
+    raise SystemExit(main())

package/scripts/dashboard_server.py

@@ -18,20 +18,29 @@ Usage:
 from __future__ import annotations
 
 import argparse
+import errno
+import mimetypes
 import http.server
 import json
+import os
 import sys
 import urllib.parse
 from pathlib import Path
+from typing import Any, Dict, List, Optional
 
 ROOT = Path(__file__).resolve().parent.parent
-WEB_DIR = ROOT / "web"
-EXAMPLES_DIR = ROOT / "examples"
 
 if str(ROOT) not in sys.path:
     sys.path.insert(0, str(ROOT))
 
+from engine._resources import resource_root  # noqa: E402
+ROOT = resource_root()
+WEB_DIR = ROOT / "web"
+EXAMPLES_DIR = ROOT / "examples"
+RESEARCH_HOME = Path(os.environ.get("EDUEVIDENCE_HOME", Path.cwd() / ".eduevidence"))
+
 from engine.evidence_graph import EvidenceGraph  # noqa: E402
+from engine.studio_read_model import StudioReader, numeric_effect  # noqa: E402
 
 import sys as _sys
 _VIZ_SCRIPTS = ROOT / "visualization" / "eduevidence-report" / "scripts"
@@ -39,8 +48,6 @@ if str(_VIZ_SCRIPTS) not in _sys.path:
     _sys.path.insert(0, str(_VIZ_SCRIPTS))
 from zh_labels import OUTCOME_ZH, ACTION_ZH, STUDY_ZH, AUTHORITY_ZH, CONFIDENCE_ZH  # noqa: E402
 
-# Friendly display names for known demo projects; everything else falls back to
-# the question text inside result.json so new projects need no manual entry.
 PROJECT_TITLES: Dict[str, str] = {
     "ai-coding-assistant-evidence": "高校大一引入 AI 编程助手（真实文献旗舰示例）",
     "highschool-math-ai-tutor": "高中数学引入大模型自适应 AI Tutor 评估",
@@ -51,7 +58,6 @@ PROJECT_TITLES: Dict[str, str] = {
 
 
 def unquote_path(path: str) -> str:
-    """Decode a URL path once and reject encoded separators / NUL bytes."""
     decoded = urllib.parse.unquote(path)
     if "\x00" in decoded or "\\" in decoded:
         raise ValueError("unsafe path characters")
@@ -66,7 +72,6 @@ def _read_json(path: Path) -> Optional[Any]:
 
 
 def _decision_fields(decision: Any) -> tuple[Any, Any]:
-    """Return (verdict, confidence) tolerating the three decision shapes in the wild."""
     if not isinstance(decision, dict):
         return None, None
     verdict = decision.get("verdict") or decision.get("recommended_action") or decision.get("decision")
@@ -77,21 +82,11 @@ def _decision_fields(decision: Any) -> tuple[Any, Any]:
 
 
 def _extract_effect(ev: Dict[str, Any]) -> tuple[Any, Any, Any]:
-    """Return (value, ci_lower, ci_upper) from both nested and flat effect_size shapes."""
-    es = ev.get("effect_size")
-    if isinstance(es, dict):
-        return es.get("value"), (es.get("ci_lower") or es.get("ci_lo")), (es.get("ci_upper") or es.get("ci_hi"))
-    value = es if isinstance(es, (int, float)) else None
-    if value is None:
-        for key in ("hedges_g", "g", "effect_size_value"):
-            if isinstance(ev.get(key), (int, float)):
-                value = ev[key]
-                break
-    return value, ev.get("ci_lower"), ev.get("ci_upper")
+    numeric = numeric_effect(ev)
+    return numeric["value"], numeric["ci_lower"], numeric["ci_upper"]
 
 
 def _graph_node_count(path: Path) -> int:
-    """与 evidence_graph.export_echarts_graph() 同口径的节点数。"""
     try:
         graph = EvidenceGraph.from_json(path.read_text(encoding="utf-8"))
         export = graph.export_echarts_graph()
@@ -108,13 +103,12 @@ def _graph_node_count(path: Path) -> int:
 
 
 def _direction_counts(evidence: list) -> Dict[str, int]:
-    """按 evidence 的 relation_to_claim / direction / effect_direction 聚合。"""
     counts = {"support": 0, "contradict": 0, "neutral": 0}
     for ev in evidence:
         if not isinstance(ev, dict):
             continue
         d = (ev.get("relation_to_claim") or ev.get("direction")
-             or ev.get("effect_direction") or "").lower()
+             or "").lower()
         if d in ("support", "supports", "positive", "pos"):
             counts["support"] += 1
         elif d in ("contradict", "contradicts", "negative", "neg"):
@@ -125,14 +119,13 @@ def _direction_counts(evidence: list) -> Dict[str, int]:
 
 
 def _outcome_rollup(evidence: list) -> List[Dict[str, Any]]:
-    """无 outcome_mapping 时按 outcome_type 聚合方向计数（回退链）。"""
     roll: Dict[str, Dict[str, int]] = {}
     for ev in evidence:
         if not isinstance(ev, dict):
             continue
         ot = ev.get("outcome_type") or ev.get("outcome") or "other"
         d = (ev.get("relation_to_claim") or ev.get("direction")
-             or ev.get("effect_direction") or "").lower()
+             or "").lower()
         bucket = roll.setdefault(ot, {"support": 0, "contradict": 0, "neutral": 0})
         if d in ("support", "supports", "positive", "pos"):
             bucket["support"] += 1
@@ -144,7 +137,6 @@ def _outcome_rollup(evidence: list) -> List[Dict[str, Any]]:
 
 
 def _known_project_ids() -> set:
-    """Project ids = directories with a real result.json (not the deduped display list)."""
     if not EXAMPLES_DIR.exists():
         return set()
     return {d.name for d in EXAMPLES_DIR.iterdir()
@@ -157,18 +149,19 @@ def scan_local_projects() -> List[Dict[str, Any]]:
         return projects
 
     for proj_dir in sorted(EXAMPLES_DIR.iterdir()):
+        # List canonical examples once; legacy aliases remain valid lookup IDs.
+        if proj_dir.is_symlink():
+            continue
         if not proj_dir.is_dir():
             continue
         result_path = proj_dir / "result.json"
         if not result_path.exists():
             continue
-
         result = _read_json(result_path) or {}
         meta = result.get("meta") or {}
         frame = result.get("research_frame") or {}
         question = meta.get("question") or frame.get("question") or ""
         verdict, confidence = _decision_fields(result.get("decision"))
-
         evidence = result.get("evidence") or []
         forest = result.get("forest_plot_data") or []
         effect_values: List[float] = []
@@ -179,48 +172,48 @@ def scan_local_projects() -> List[Dict[str, Any]]:
         for f in forest:
             if isinstance(f.get("effect_size"), (int, float)):
                 effect_values.append(float(f["effect_size"]))
-
         graph_path = proj_dir / "evidence_graph.json"
-        html_path = proj_dir / "EduEvidence_Report.html"
+        html_path = proj_dir / "reports-5themes" / "EduEvidence_Report_claude.html"
+        if not html_path.is_file():
+            html_path = proj_dir / "EduEvidence_Report.html"
         report_variants: List[Dict[str, str]] = []
         themes_dir = proj_dir / "reports-5themes"
         if themes_dir.is_dir():
             for variant_file in sorted(list(themes_dir.glob("EduEvidence_Report_*.html")) + list(themes_dir.glob("report_*.html"))):
                 theme_name = variant_file.stem.replace("EduEvidence_Report_", "").replace("report_", "")
                 if not any(v["theme"] == theme_name for v in report_variants):
-                    report_variants.append({
-                        "theme": theme_name,
-                        "path": str(variant_file),
-                    })
-
+                    report_variants.append({"theme": theme_name, "path": str(variant_file)})
         zh_result = _read_json(proj_dir / "result.zh.json") or {}
         zh_question = ((zh_result.get("meta") or {}).get("question")
                        or (zh_result.get("research_frame") or {}).get("question") or "")
-
         projects.append({
             "id": proj_dir.name,
             "title": PROJECT_TITLES.get(proj_dir.name) or (zh_question[:72] if zh_question else (question[:72] or proj_dir.name)),
             "title_zh": zh_question[:72] if zh_question else None,
-            "domain": meta.get("domain") or "education",
+            "domain": meta.get("domain") or result.get("research_frame", {}).get("extensions", {}).get("domain") or "education",
             "question": question,
             "verdict": verdict,
             "confidence": confidence,
             "evidence_count": len(evidence) if isinstance(evidence, list) else 0,
             "forest_count": len(forest) if isinstance(forest, list) else 0,
-            "effect_count": len(effect_values),
-            "mean_effect_size": round(sum(effect_values) / len(effect_values), 3) if effect_values else None,
-            "direction_counts": _direction_counts(evidence) if isinstance(evidence, list) else
-                                {"support": 0, "contradict": 0, "neutral": 0},
+            "effect_count": len({
+                ev.get("evidence_id") or ev.get("finding_id") or f"e-{i}"
+                for i, ev in enumerate(evidence) if _extract_effect(ev)[0] is not None
+            } | {
+                f.get("evidence_id") or f.get("finding_id") or f"f-{i}"
+                for i, f in enumerate(forest) if _extract_effect(f)[0] is not None
+            }),
+            "mean_effect_size": None,  # Distinct outcomes/metrics cannot be averaged by a viewer.
+            "direction_counts": _direction_counts(evidence) if isinstance(evidence, list) else {"support": 0, "contradict": 0, "neutral": 0},
             "has_graph": graph_path.exists(),
             "node_count": _graph_node_count(graph_path) if graph_path.exists() else 0,
             "html_report_path": str(html_path) if html_path.exists() else None,
             "report_variants": report_variants,
         })
-    # Canonical question deduplication: keep the project with the highest evidence count
     deduped: Dict[str, Dict[str, Any]] = {}
     for p in projects:
         norm_q = (p.get("question") or p["id"]).strip().lower()
-        if norm_q not in deduped or (p["evidence_count"] > deduped[norm_q]["evidence_count"]):
+        if norm_q not in deduped or p["evidence_count"] > deduped[norm_q]["evidence_count"]:
             deduped[norm_q] = p
     return list(deduped.values())
 
@@ -235,12 +228,6 @@ def build_stats(projects: List[Dict[str, Any]]) -> Dict[str, Any]:
 
 
 def get_aggregate_stats(projects: List[Dict[str, Any]]) -> Dict[str, Any]:
-    """V2 兼容封装（旧 API/测试沿用）：build_stats 字段。
-
-    Token / 成本矩阵已移除（provenance 纠偏）：历史版本在此返回硬编码的
-    假 token 用量与模型成本，没有任何真实运行记录支撑。运行时未采集
-    usage 前，这些指标一律如实标注 NOT_CAPTURED，不再虚构数值。
-    """
     stats = build_stats(projects)
     stats["total_tokens"] = None
     stats["usage_measurement_status"] = "NOT_CAPTURED"
@@ -255,7 +242,6 @@ def build_viz_payload(proj_id: str) -> Dict[str, Any]:
     question = meta.get("question") or frame.get("question") or ""
     verdict, confidence = _decision_fields(result.get("decision"))
     title = PROJECT_TITLES.get(proj_id) or question[:72] or proj_id
-
     forest_items: List[Dict[str, Any]] = []
     for f in (result.get("forest_plot_data") or []):
         forest_items.append({
@@ -269,7 +255,6 @@ def build_viz_payload(proj_id: str) -> Dict[str, Any]:
             "direction": f.get("direction"),
             "wwc_rating": f.get("wwc_rating") or "",
         })
-
     effect_items: List[Dict[str, Any]] = []
     for ev in (result.get("evidence") or []):
         value, lo, hi = _extract_effect(ev)
@@ -293,7 +278,6 @@ def build_viz_payload(proj_id: str) -> Dict[str, Any]:
                     "outcome_dimension": f.get("outcome_dimension") or f.get("outcome_metric") or "",
                     "direction": f.get("direction"),
                 })
-
     evidence_list = result.get("evidence") or []
     outcome_items: List[Dict[str, Any]] = []
     om = result.get("outcome_mapping") or {}
@@ -308,13 +292,8 @@ def build_viz_payload(proj_id: str) -> Dict[str, Any]:
                 "neutral_count": e.get("neutral_count") or 0,
             })
     else:
-        # 回退链：无 outcome_mapping 时按 evidence 方向聚合
         outcome_items = _outcome_rollup(evidence_list)
-
-    # 方向分布（任何课题都有值）
-    direction_counts = _direction_counts(evidence_list) if isinstance(evidence_list, list) else \
-        {"support": 0, "contradict": 0, "neutral": 0}
-
+    direction_counts = _direction_counts(evidence_list) if isinstance(evidence_list, list) else {"support": 0, "contradict": 0, "neutral": 0}
     graph = None
     graph_path = proj_dir / "evidence_graph.json"
     if graph_path.exists():
@@ -322,7 +301,6 @@ def build_viz_payload(proj_id: str) -> Dict[str, Any]:
             graph = EvidenceGraph.from_json(graph_path.read_text(encoding="utf-8")).export_echarts_graph()
         except Exception:
             graph = None
-
     return {
         "id": proj_id,
         "title": title,
@@ -344,26 +322,18 @@ def build_viz_payload(proj_id: str) -> Dict[str, Any]:
     }
 
 
-
-
-
-
-
-
 class StudioHandler(http.server.SimpleHTTPRequestHandler):
-    """Serves web/ statically and exposes the artifact JSON API."""
-
     def __init__(self, *args: Any, **kwargs: Any) -> None:
         super().__init__(*args, directory=str(WEB_DIR), **kwargs)
 
-    # -- response helpers -------------------------------------------------
     def _send_bytes(self, data: bytes, content_type: str, status: int = 200,
                     extra_headers: Optional[Dict[str, str]] = None) -> None:
         self.send_response(status)
         self.send_header("Content-Type", content_type)
         self.send_header("Content-Length", str(len(data)))
-        # 允许落地页（独立静态源）跨源探测/拉取只读 API 与控制台资源
-        self.send_header("Access-Control-Allow-Origin", "*")
+        self.send_header("X-Content-Type-Options", "nosniff")
+        self.send_header("Referrer-Policy", "no-referrer")
+        self.send_header("Cache-Control", "no-store")
         if extra_headers:
             for name, value in extra_headers.items():
                 self.send_header(name, value)
@@ -371,8 +341,6 @@ class StudioHandler(http.server.SimpleHTTPRequestHandler):
         self.wfile.write(data)
 
     def _send_report_bytes(self, data: bytes) -> None:
-        # Reports are static, self-contained documents: no remote origins, no
-        # same-origin access; sandbox-friendly CSP + X-Content-Type-Options.
         self._send_bytes(data, "text/html; charset=utf-8", extra_headers={
             "Content-Security-Policy":
                 "default-src 'none'; script-src 'unsafe-inline'; "
@@ -391,27 +359,101 @@ class StudioHandler(http.server.SimpleHTTPRequestHandler):
         else:
             self._send_json({"error": "not found"}, 404)
 
-
-    # -- POST: disabled (read-only Studio) --------------------------------
     def do_POST(self) -> None:
         self._send_json({"error": "method not allowed"}, 405)
 
-    # -- GET --------------------------------------------------------------
     def do_GET(self) -> None:
         parsed = urllib.parse.urlparse(self.path)
         path = parsed.path
         query = urllib.parse.parse_qs(parsed.query)
-
-        # Only the three-page Studio entry + the read-only artifact API.
+        try:
+            host = urllib.parse.urlsplit("//" + self.headers.get("Host", "")).hostname
+        except ValueError:
+            self._send_json({"error": "invalid host"}, 403)
+            return
+        allowed_hosts = {"localhost", "127.0.0.1", "::1", str(self.server.server_address[0])}
+        if path.startswith("/api/") and host not in allowed_hosts:
+            self._send_json({"error": "untrusted host"}, 403)
+            return
+        if path.startswith("/api/") and self.headers.get("Sec-Fetch-Site") == "cross-site":
+            self._send_json({"error": "cross-origin access denied"}, 403)
+            return
+        if path == "/api/studio/catalog":
+            self._send_json(StudioReader(EXAMPLES_DIR, RESEARCH_HOME).catalog())
+            return
+        if path == "/api/studio/evolution":
+            self._send_json(StudioReader(EXAMPLES_DIR, RESEARCH_HOME).evolution())
+            return
+        if path.startswith("/api/studio/projects/"):
+            reader = StudioReader(EXAMPLES_DIR, RESEARCH_HOME)
+            suffix = urllib.parse.unquote(path[len("/api/studio/projects/"):])
+            parts = suffix.split("/")
+            try:
+                if len(parts) == 1:
+                    self._send_json(reader.detail(parts[0]))
+                elif len(parts) == 2 and parts[1] == "report":
+                    report = reader.report_path(parts[0], theme=query.get("theme", ["claude"])[0],
+                                                filename=query.get("file", [None])[0])
+                    self._send_report_bytes(report.read_bytes())
+                else:
+                    self._send_json({"error": "not found"}, 404)
+            except FileNotFoundError:
+                self._send_json({"error": "not found"}, 404)
+            except (OSError, ValueError, TypeError, AttributeError):
+                self._send_json({"error": "research projection unavailable"}, 422)
+            return
+        if path.startswith("/studio/"):
+            try:
+                asset = (WEB_DIR / unquote_path(path).lstrip("/")).resolve()
+                if not asset.is_relative_to((WEB_DIR / "studio").resolve()):
+                    raise ValueError("unsafe path")
+                if asset.is_dir():
+                    asset = asset / "index.html"
+                if asset.suffix not in {".html", ".js", ".css", ".json", ".svg", ".png", ".woff2", ".txt"}:
+                    raise ValueError("unsupported asset")
+                self._serve_file(asset, mimetypes.guess_type(asset)[0] or "application/octet-stream")
+            except (ValueError, OSError):
+                self._send_json({"error": "not found"}, 404)
+            return
         if path in ("/", "/index.html", "/dashboard", "/studio", "/console"):
-            self._serve_file(WEB_DIR / "index.html", "text/html; charset=utf-8")
+            built = WEB_DIR / "studio" / "index.html"
+            if built.is_file():
+                page = built.read_text(encoding="utf-8").replace("<head>", '<head><base href="/studio/">', 1)
+                self._send_bytes(page.encode("utf-8"), "text/html; charset=utf-8")
+            else:
+                self._serve_file(WEB_DIR / "index.html", "text/html; charset=utf-8")
             return
-
         if path == "/api/projects":
             projects = scan_local_projects()
             self._send_json({"projects": projects, "stats": build_stats(projects)})
             return
-
+        if path == "/api/research/projects":
+            self._send_json({"projects": [p for p in StudioReader(EXAMPLES_DIR, RESEARCH_HOME).catalog()["projects"] if p["kind"] == "project"]})
+            return
+        if path.startswith("/api/research/projects/"):
+            suffix = urllib.parse.unquote(path[len("/api/research/projects/"):]).strip("/")
+            parts = suffix.split("/")
+            project_id = parts[0]
+            if not project_id.startswith("PRJ-"):
+                self._send_json({"error": "unknown project"}, 404)
+                return
+            try:
+                detail = StudioReader(EXAMPLES_DIR, RESEARCH_HOME).detail("project--" + project_id)
+                if len(parts) == 2 and parts[1] == "runs":
+                    self._send_json({"runs": detail["runs"]})
+                    return
+                if len(parts) == 2 and parts[1] == "artifacts":
+                    self._send_json({"artifacts": detail["artifacts"]})
+                    return
+                if len(parts) == 2 and parts[1] == "events":
+                    after = int(query.get("after_seq", ["0"])[0])
+                    self._send_json({"events": [e for e in reversed(detail["events"]) if e.get("seq", 0) > max(after, 0)]})
+                    return
+            except (FileNotFoundError, ValueError):
+                self._send_json({"error": "unknown project"}, 404)
+                return
+            self._send_json({"error": "not found"}, 404)
+            return
         if path == "/api/labels":
             self._send_json({
                 "outcomes": OUTCOME_ZH,
@@ -421,7 +463,6 @@ class StudioHandler(http.server.SimpleHTTPRequestHandler):
                 "confidence": CONFIDENCE_ZH,
             })
             return
-
         if path.startswith("/api/projects/"):
             suffix = urllib.parse.unquote(path[len("/api/projects/"):]).rstrip("/")
             if suffix.endswith("/viz"):
@@ -433,21 +474,15 @@ class StudioHandler(http.server.SimpleHTTPRequestHandler):
                 return
             self._send_json({"error": "not found"}, 404)
             return
-
         if path == "/report":
             self._serve_report(query)
             return
-
-        # Static assets only from web/ (allowlisted), with URL-decode once and
-        # containment; everything else is a JSON 404 (never super().do_GET()).
-        if path.startswith("/js/") or path.startswith("/css/") or path == "/styles.css":
+        if path.startswith("/js/") or path.startswith("/css/") or path in ("/styles.css", "/mobile-studio.css"):
             self._serve_web_asset(path)
             return
-
         self._send_json({"error": "not found"}, 404)
 
     def _serve_web_asset(self, path: str) -> None:
-        """Serve a static asset strictly inside WEB_DIR (decode once, no escapes)."""
         try:
             candidate = (WEB_DIR / unquote_path(path).lstrip("/")).resolve()
         except (ValueError, OSError):
@@ -460,22 +495,20 @@ class StudioHandler(http.server.SimpleHTTPRequestHandler):
         if not candidate.is_file() or candidate.suffix not in (".js", ".css"):
             self._send_json({"error": "not found"}, 404)
             return
-        ctype = "application/javascript; charset=utf-8" if candidate.suffix == ".js" \
-            else "text/css; charset=utf-8"
+        ctype = "application/javascript; charset=utf-8" if candidate.suffix == ".js" else "text/css; charset=utf-8"
         self._send_bytes(candidate.read_bytes(), ctype)
 
     def _serve_report(self, query: Dict[str, List[str]]) -> None:
-        """Serve a baked report for a known project and explicit theme."""
         proj_id = query.get("id", [""])[0]
         theme = query.get("theme", ["default"])[0]
-
         if proj_id not in _known_project_ids():
             self._send_json({"error": "unknown project"}, 404)
             return
-
         proj_dir = EXAMPLES_DIR / proj_id
         if theme == "default":
-            html_path = proj_dir / "EduEvidence_Report.html"
+            html_path = proj_dir / "reports-5themes" / "EduEvidence_Report_claude.html"
+            if not html_path.is_file():
+                html_path = proj_dir / "EduEvidence_Report.html"
             if not html_path.is_file():
                 self._send_json({"error": "report not found"}, 404)
                 return
@@ -485,13 +518,12 @@ class StudioHandler(http.server.SimpleHTTPRequestHandler):
                 return
             variants_dir = proj_dir / "reports-5themes"
             html_path = variants_dir / f"EduEvidence_Report_{theme}.html"
-            if (not html_path.is_file() or
-                    html_path.resolve().parent != variants_dir.resolve()):
+            if not html_path.is_file() or html_path.resolve().parent != variants_dir.resolve():
                 self._send_json({"error": "unknown report theme"}, 404)
                 return
-
         self._send_report_bytes(html_path.read_bytes())
 
+
 def run_dashboard_server(host: str = "127.0.0.1", port: int = 8765) -> None:
     server = None
     actual_port = port
@@ -503,20 +535,17 @@ def run_dashboard_server(host: str = "127.0.0.1", port: int = 8765) -> None:
             actual_port = candidate
             break
         except OSError as e:
-            if e.errno == 48:
+            if e.errno == errno.EADDRINUSE:
                 continue
             raise
-
     if server is None:
         print(f"❌ 端口 {port}-{port + 9} 均被占用。")
         return
-
     print("============================================================")
     print(f"🚀 EduEvidence Web Studio running at http://{host}:{actual_port}/")
-    print("   📊 仪表盘        /dashboard")
-    print("   📄 报告浏览      /report")
-    print("   📈 数据可视化    /#viz (Web UI)")
-    print("   📦 数据契约      /api/projects  ·  /api/projects/<id>/viz")
+    print("   Research Studio  /studio/  (read-only)")
+    print("   Projects, evidence, revisions and five-theme reports")
+    print("   Projection API   /api/studio/catalog")
     print("============================================================")
     try:
         server.serve_forever()