structverify 0.3.0__py3-none-any.whl

structverify/progress.py

@@ -0,0 +1,591 @@
+"""structverify.progress — 검증 진행상황 실시간 노출.
+
+라이브러리 안에서 검증이 도는 동안 진행상황을 4곳에 보여준다:
+  · 로컬 웹페이지 (의존성 0 — stdlib http.server + SSE. sv_platform UI 스타일)
+  · 터미널 라이브 진행바
+  · 터미널 로그 / 로그 파일 (기존 configure_logging)
+
+사용:
+    import structverify as sv
+    with sv.progress_dashboard():          # → http://localhost:8765 자동 오픈
+        report = engine.verify_file("report.pdf")
+
+설계: 파이프라인이 progress.emit(...)로 이벤트를 쏘고, 활성화(dashboard 컨텍스트)일
+때만 구독자(웹/터미널)에게 전달. 비활성 시 emit은 즉시 리턴 → 오버헤드 0.
+"""
+from __future__ import annotations
+
+import collections
+import contextlib
+import contextvars
+import json
+import logging
+import queue
+import re
+import threading
+import time
+from typing import Any
+
+# 현재 검증 중인 claim 컨텍스트({id, idx}). asyncio 태스크별로 격리되므로, 병렬로
+# 처리되는 여러 claim의 로그가 섞여도 각 로그를 올바른 claim에 태깅할 수 있다.
+claim_var: "contextvars.ContextVar" = contextvars.ContextVar("sv_claim", default=None)
+
+# ── 이벤트 허브 ──────────────────────────────────────────────────────────────
+_lock = threading.Lock()
+_subscribers: "list[queue.Queue]" = []
+_history: "list[dict]" = []                       # 구조 이벤트(start/step/claims/claim/done) 전체 리플레이
+_log_ring: "collections.deque[dict]" = collections.deque(maxlen=120)  # 로그는 최근 것만 리플레이
+_active = False
+_terminal = False
+_term_state: dict[str, Any] = {"total": 0, "done": 0, "match": 0, "mismatch": 0, "other": 0}
+
+
+def is_active() -> bool:
+    return _active
+
+
+def emit(kind: str, **data: Any) -> None:
+    """진행 이벤트 발행. 비활성이면 즉시 리턴(오버헤드 0).
+
+    kind: start | step | claims | claim | log | done
+    """
+    if not _active:
+        return
+    event = {"kind": kind, "ts": time.time(), **data}
+    with _lock:
+        if kind == "log":
+            _log_ring.append(event)          # 로그는 링버퍼(최근 것만)
+        else:
+            _history.append(event)
+        subs = list(_subscribers)
+    for q in subs:
+        with contextlib.suppress(queue.Full):
+            q.put_nowait(event)
+    if _terminal:
+        _render_terminal(event)   # log 이벤트는 claim별 버퍼링 → 완료 시 블록 출력
+
+
+def subscribe() -> "queue.Queue":
+    q: "queue.Queue" = queue.Queue(maxsize=4000)
+    with _lock:
+        for e in _history:            # 구조 이벤트 리플레이
+            with contextlib.suppress(queue.Full):
+                q.put_nowait(e)
+        for e in _log_ring:           # 최근 로그 리플레이
+            with contextlib.suppress(queue.Full):
+                q.put_nowait(e)
+        _subscribers.append(q)
+    return q
+
+
+def unsubscribe(q: "queue.Queue") -> None:
+    with _lock:
+        if q in _subscribers:
+            _subscribers.remove(q)
+
+
+def _reset() -> None:
+    with _lock:
+        _history.clear()
+        _log_ring.clear()
+        _term_logs.clear()
+        _term_state.update(total=0, done=0, match=0, mismatch=0, other=0)
+
+
+# ── 에이전트 로그 tap ────────────────────────────────────────────────────────
+# 검증 중 파이프라인 로그(표 검색→조회→계산→판정 등 전 과정)를 웹 콘솔로 실시간 스트리밍.
+# 핵심 라인만 통과시켜 원 JSON 덤프 같은 노이즈는 제외.
+_LOG_KEYWORDS = (
+    "classify_domain", "프로파일", "detect_claims", "candidate 문장", "검증 가능",
+    "Level ", "스키마 유도", "action=", "catalog_search", "fetch_evidence", "fetch(",
+    "custom_db/agentic", "SQL=", "retrieve_evidence", "reflect]", "replan]", "finish]",
+    "agent_loop →", "verify_claim →", "generate_explanation", "temporal graph",
+    "successful_stat_id", "verified_facts", "후보", "폴백", "거부",
+)
+_LEVEL_CLS = {logging.WARNING: "warn", logging.ERROR: "bad"}
+
+
+def _classify_log(msg: str, levelno: int) -> str:
+    if levelno >= logging.WARNING:
+        return _LEVEL_CLS.get(levelno, "warn")
+    if "→ match" in msg or "verify_claim → match" in msg or "agent_loop → match" in msg:
+        return "ok"
+    if "→ mismatch" in msg or "→ violation" in msg:
+        return "bad"
+    if any(k in msg for k in ("action=", "catalog_search", "fetch", "SQL=", "reflect]", "replan]", "finish]")):
+        return "act"
+    return "mut"
+
+
+class _LogTap(logging.Handler):
+    """structverify 로그를 progress 이벤트로 흘리는 핸들러(대시보드 활성 시에만)."""
+
+    def emit(self, record: logging.LogRecord) -> None:  # noqa: A003
+        if not _active:
+            return
+        try:
+            msg = record.getMessage()
+        except Exception:  # noqa: BLE001
+            return
+        if record.levelno < logging.WARNING and not any(k in msg for k in _LOG_KEYWORDS):
+            return
+        if len(msg) > 260 or "RESPONSE START" in msg or "RESPONSE END" in msg:
+            return
+        # 한 줄만(멀티라인 덤프 방지)
+        line = msg.splitlines()[0][:240]
+        who = record.name.rsplit(".", 1)[-1]
+        ctx = claim_var.get() or {}
+        globals()["emit"](
+            "log", line=line, who=who, cls=_classify_log(msg, record.levelno),
+            claim_id=ctx.get("id"), claim_idx=ctx.get("idx"),
+        )
+
+
+def _console_handlers():
+    """_CONF["handlers"] 중 stdout/stderr StreamHandler(파일 아님) 목록."""
+    import sys
+    from structverify.utils import logger as _svlog
+    out = []
+    for h in _svlog._CONF.get("handlers", []):
+        if (isinstance(h, logging.StreamHandler) and not isinstance(h, logging.FileHandler)
+                and getattr(h, "stream", None) in (sys.stdout, sys.stderr)):
+            out.append(h)
+    return out
+
+
+def _attach_log_tap(quiet_console: bool = False):
+    """structverify 로거에 _LogTap을 붙여 검증 전 과정을 progress 이벤트로 흘린다.
+
+    로거들은 propagate=False + 개별 핸들러라, 공유 핸들러 목록에 tap을 넣고 기존 로거에도
+    직접 부착. retrieval 등 'noisy' 모듈이 ERROR로 억제되지 않게 verbose를 임시로 켠다.
+    quiet_console=True면 원본 콘솔 핸들러 레벨을 WARNING으로 올려 raw INFO 이중출력을
+    막는다(포맷된 터미널 렌더만 보이게). 파일 로그는 그대로 INFO.
+    반환: 해제에 필요한 상태. 실패 시 None.
+    """
+    tap = _LogTap()
+    tap.setLevel(logging.INFO)
+    tapped: list = []
+    prev_verbose = None
+    quieted: list = []
+    try:
+        from structverify.utils import logger as _svlog
+        prev_verbose = _svlog._CONF.get("verbose")
+        _svlog._CONF["verbose"] = True
+        if tap not in _svlog._CONF["handlers"]:
+            _svlog._CONF["handlers"].append(tap)
+        if quiet_console:
+            for h in _console_handlers():
+                quieted.append((h, h.level))
+                h.setLevel(logging.WARNING)   # raw INFO 콘솔 억제 → 포맷 렌더만
+        for _nm, _lg in list(logging.root.manager.loggerDict.items()):
+            if _nm.startswith("structverify") and isinstance(_lg, logging.Logger):
+                _lg.addHandler(tap)
+                if _lg.level == logging.NOTSET or _lg.level > logging.INFO:
+                    _lg.setLevel(logging.INFO)
+                tapped.append(_lg)
+    except Exception:  # noqa: BLE001 — tap 실패해도 진행상황 노출은 동작
+        return None
+    return (tap, tapped, prev_verbose, quieted)
+
+
+def _detach_log_tap(state) -> None:
+    if not state:
+        return
+    tap, tapped, prev_verbose, quieted = state
+    with contextlib.suppress(Exception):
+        from structverify.utils import logger as _svlog
+        if tap in _svlog._CONF["handlers"]:
+            _svlog._CONF["handlers"].remove(tap)
+        if prev_verbose is not None:
+            _svlog._CONF["verbose"] = prev_verbose
+        for _lg in tapped:
+            _lg.removeHandler(tap)
+        for h, lvl in quieted:      # 콘솔 레벨 복원
+            h.setLevel(lvl)
+
+
+# ── 터미널 렌더 (claim별 trace 블록, 색상) ───────────────────────────────────
+_VERD_MARK = {"match": "✅", "mismatch": "❌", "unverifiable": "⚠️", "violation": "⛔", "compliant": "✅"}
+_term_logs: dict[str, list] = {}   # claim_id → [(cls, who, line)] 버퍼(완료 시 블록 출력)
+# 로그 종류별 ANSI 색: act=cyan, ok=green, bad=red, warn=yellow, mut=grey
+_ANSI = {"act": "36", "ok": "32", "bad": "31", "warn": "33", "mut": "90"}
+
+
+def _color_on() -> bool:
+    import os
+    import sys
+    return sys.stdout.isatty() and not os.environ.get("NO_COLOR") and os.environ.get("SV_COLOR") != "0"
+
+
+def _c(code: str, s: str) -> str:
+    return f"\033[{code}m{s}\033[0m" if _color_on() else s
+
+
+def _render_terminal(event: dict) -> None:
+    k = event.get("kind")
+    if k == "start":
+        print(_c("1;36", f"\n🔎 StructVerify — 소스: {event.get('source', '?')}"), flush=True)
+    elif k == "step":
+        print(_c("90", f"   ▸ {event.get('name', '')}"), flush=True)
+    elif k == "claims":
+        _term_state["total"] = event.get("count", 0)
+        print(_c("90", f"   ▸ 주장 {event.get('count', 0)}개 탐지 — 검증 시작\n"), flush=True)
+    elif k == "log":
+        cid = event.get("claim_id")
+        entry = (event.get("cls", "mut"), event.get("who", ""), event.get("line", ""))
+        if cid:
+            _term_logs.setdefault(cid, []).append(entry)      # claim별 버퍼(완료 시 함께 출력)
+        else:
+            cls, _who, line = entry                            # 준비 로그(도메인/탐지) — 즉시 dim
+            print("   " + _c(_ANSI.get(cls, "90"), f"· {line}"), flush=True)
+    elif k == "claim":
+        v = str(event.get("verdict", "") or "")
+        _term_state["done"] += 1
+        _term_state["match" if v == "match" else "mismatch" if v == "mismatch" else "other"] += 1
+        mark = _VERD_MARK.get(v, "•")
+        idx = event.get("index") or _term_state["done"]
+        claim = (event.get("claim", "") or "").replace("\n", " ").strip()[:74]
+        vcolor = "32" if v == "match" else "31" if v == "mismatch" else "33"
+        print(_c("1", f"  {mark} [{idx}] {claim}"), flush=True)
+        for cls, who, line in _term_logs.pop(event.get("claim_id"), []):   # 버퍼된 trace
+            _w = _c("90", f"{who:>16} ") if who else ""
+            print("      " + _w + _c(_ANSI.get(cls, "90"), line[:112]), flush=True)
+        val, unit = event.get("value"), event.get("unit") or ""
+        meta = f"   기준값 {val}{unit}" if val not in (None, "") else ""
+        print("      " + _c(vcolor, f"→ {v}{meta}") + "\n", flush=True)
+    elif k == "done":
+        m, mm, o = _term_state["match"], _term_state["mismatch"], _term_state["other"]
+        print(
+            _c("1", f"✔ 완료 — 총 {_term_state['done']}건   ")
+            + _c("32", f"✅ {m}  ") + _c("31", f"❌ {mm}  ") + _c("33", f"⚠️ {o}"),
+            flush=True,
+        )
+
+
+# ── 로컬 웹 대시보드 (stdlib http.server + SSE) ──────────────────────────────
+def _dashboard_html() -> str:
+    return _DASHBOARD_HTML
+
+
+def _make_handler():
+    from http.server import BaseHTTPRequestHandler
+
+    class Handler(BaseHTTPRequestHandler):
+        def log_message(self, *a):  # 서버 접속 로그 침묵
+            pass
+
+        def do_GET(self):  # noqa: N802
+            if self.path.startswith("/events"):
+                self.send_response(200)
+                self.send_header("Content-Type", "text/event-stream")
+                self.send_header("Cache-Control", "no-cache")
+                self.send_header("Connection", "keep-alive")
+                self.end_headers()
+                q = subscribe()
+                try:
+                    while True:
+                        try:
+                            ev = q.get(timeout=15)
+                        except queue.Empty:
+                            # keep-alive 코멘트
+                            try:
+                                self.wfile.write(b": ping\n\n")
+                                self.wfile.flush()
+                            except (BrokenPipeError, ConnectionResetError):
+                                break
+                            continue
+                        try:
+                            self.wfile.write(f"data: {json.dumps(ev, ensure_ascii=False)}\n\n".encode())
+                            self.wfile.flush()
+                        except (BrokenPipeError, ConnectionResetError):
+                            break
+                finally:
+                    unsubscribe(q)
+            else:
+                body = _dashboard_html().encode("utf-8")
+                self.send_response(200)
+                self.send_header("Content-Type", "text/html; charset=utf-8")
+                self.send_header("Content-Length", str(len(body)))
+                self.end_headers()
+                with contextlib.suppress(BrokenPipeError, ConnectionResetError):
+                    self.wfile.write(body)
+
+    return Handler
+
+
+@contextlib.contextmanager
+def progress_dashboard(
+    *, port: int = 8765, open_browser: bool = True, terminal: bool = True,
+    hold: bool = True, web: bool = True,
+):
+    """검증 진행상황을 노출하는 컨텍스트 — 로컬 웹페이지 / 터미널 / 끔 중 선택.
+
+        with sv.progress_dashboard():                 # 웹 + 터미널 (기본)
+        with sv.progress_dashboard(web=False):        # 터미널 진행바만 (로컬 페이지 X)
+        with sv.progress_dashboard(web=False, terminal=False):  # 완전 조용
+
+    환경변수 `SV_PROGRESS`로도 제어(코드 수정 없이): off | terminal | web.
+    이 값이 있으면 web/terminal 인자를 덮어쓴다 — 로컬 확인을 원치 않는 사용자가
+    `export SV_PROGRESS=off`(또는 terminal)로 끌 수 있다.
+
+    Args:
+        port: 로컬 서버 포트 (기본 8765). 사용 중이면 다음 빈 포트로.
+        open_browser: 컨텍스트 진입 시 브라우저 자동 오픈 (web일 때만).
+        terminal: 터미널 라이브 진행바 표시.
+        hold: 검증 후에도 페이지 유지 (web일 때만). 대화형이면 Enter까지,
+            비대화형이면 SV_DASHBOARD_HOLD 초.
+        web: 로컬 웹페이지(서버) 사용 여부. False면 터미널만.
+    """
+    global _active, _terminal
+    import os
+    import sys
+    from http.server import ThreadingHTTPServer
+    import webbrowser
+
+    # 환경변수 override — 로컬 확인 원치 않는 사용자가 코드 수정 없이 끌 수 있게.
+    _mode = os.environ.get("SV_PROGRESS", "").strip().lower()
+    if _mode in ("off", "none", "silent", "false", "0"):
+        web, terminal = False, False
+    elif _mode in ("terminal", "term", "cli", "tty"):
+        web, terminal = False, True
+    elif _mode in ("web", "browser", "dashboard", "page"):
+        web = True
+
+    # 웹 없이(터미널만 또는 조용).
+    if not web:
+        if not terminal:
+            yield None            # 완전 조용 — 진행상황 노출 안 함
+            return
+        _reset()
+        _active = True
+        _terminal = True
+        _tap_state = _attach_log_tap(quiet_console=True)   # 포맷 렌더만(raw 이중출력 억제)
+        try:
+            yield None
+        finally:
+            _active = False
+            _terminal = False
+            _detach_log_tap(_tap_state)
+        return
+
+    class _QuietServer(ThreadingHTTPServer):
+        daemon_threads = True
+
+        def handle_error(self, request, client_address):
+            # SSE 연결이 브라우저/컨텍스트 종료로 끊길 때 나는 소음 억제.
+            import sys
+            exc = sys.exc_info()[1]
+            if isinstance(exc, (ConnectionResetError, BrokenPipeError, ConnectionAbortedError)):
+                return
+            super().handle_error(request, client_address)
+
+    _reset()
+    # 포트 확보 (사용 중이면 +1 씩 최대 20회)
+    handler = _make_handler()
+    httpd = None
+    for p in range(port, port + 20):
+        try:
+            httpd = _QuietServer(("127.0.0.1", p), handler)
+            port = p
+            break
+        except OSError:
+            continue
+    if httpd is None:
+        raise RuntimeError("progress_dashboard: 빈 포트를 찾지 못했습니다")
+
+    t = threading.Thread(target=httpd.serve_forever, daemon=True)
+    t.start()
+    url = f"http://127.0.0.1:{port}"
+    _active = True
+    _terminal = terminal
+    # 웹+터미널이면 터미널 raw 콘솔은 억제(포맷 렌더만). 웹만이면 콘솔 그대로.
+    _tap_state = _attach_log_tap(quiet_console=terminal)
+    print(f"📊 진행상황 대시보드: {url}", flush=True)
+    if open_browser:
+        with contextlib.suppress(Exception):
+            webbrowser.open(url)
+    try:
+        yield url
+    finally:
+        _active = False
+        _terminal = False
+        _detach_log_tap(_tap_state)
+        # 검증이 끝나도 페이지를 볼 수 있게 서버를 유지(hold). _active=False라 새 이벤트는
+        # 안 오지만, 이미 쌓인 이벤트는 /events 리플레이로 새 탭에서도 완료 상태가 보인다.
+        if hold:
+            print(f"\n📊 대시보드 유지 중: {url}", flush=True)
+            try:
+                if sys.stdin and sys.stdin.isatty():
+                    input("   페이지 확인 후 Enter를 누르면 종료합니다… ")
+                else:
+                    _sec = float(os.environ.get("SV_DASHBOARD_HOLD", "0") or 0)
+                    if _sec > 0:
+                        print(f"   (비대화형 — {_sec:g}초 유지 후 종료)", flush=True)
+                        time.sleep(_sec)
+            except (EOFError, KeyboardInterrupt):
+                pass
+        with contextlib.suppress(Exception):
+            httpd.shutdown()
+            httpd.server_close()
+
+
+# 자체완결 HTML (SSE 구독 → claim별 로그 토글 렌더). 외부 리소스 없음.
+_DASHBOARD_HTML = r"""<!doctype html>
+<html lang="ko"><head><meta charset="utf-8"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>StructVerify 진행상황</title>
+<style>
+:root{--bg:#f6f7f9;--card:#fff;--ink:#111827;--mut:#6b7280;--faint:#9aa3b2;--line:#e6e8ee;
+--navy:#1a3d6d;--ok:#059669;--okbg:#ecfdf5;--bad:#dc2626;--badbg:#fef2f2;--warn:#b45309;--warnbg:#fffbeb;--accent:#2563eb;
+--logbg:#0d1220}
+:root[data-theme="dark"]{--bg:#0f1420;--card:#161c2b;--ink:#e5e9f0;--mut:#9aa5b8;--faint:#6b7688;--line:#26314a;
+--navy:#7aa2e3;--ok:#34d399;--okbg:#0c2a22;--bad:#f87171;--badbg:#2a1414;--warn:#fbbf24;--warnbg:#2a2110;--accent:#60a5fa;--logbg:#0a0e18}
+@media(prefers-color-scheme:dark){:root:not([data-theme="light"]){--bg:#0f1420;--card:#161c2b;--ink:#e5e9f0;--mut:#9aa5b8;--faint:#6b7688;--line:#26314a;
+--navy:#7aa2e3;--ok:#34d399;--okbg:#0c2a22;--bad:#f87171;--badbg:#2a1414;--warn:#fbbf24;--warnbg:#2a2110;--accent:#60a5fa;--logbg:#0a0e18}}
+*{box-sizing:border-box}body{margin:0;background:var(--bg);color:var(--ink);
+font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,"Apple SD Gothic Neo","Malgun Gothic",sans-serif;
+font-size:14px;line-height:1.55}
+.wrap{max-width:900px;margin:0 auto;padding:26px 20px 70px}
+h1{font-size:23px;font-weight:800;letter-spacing:-.02em;margin:0 0 2px}
+.sub{color:var(--mut);font-size:13px;margin-bottom:18px}
+.card{background:var(--card);border:1px solid var(--line);border-radius:13px;padding:16px 18px;margin-bottom:14px}
+.row{display:flex;align-items:center;justify-content:space-between;gap:12px}
+.step{font-weight:600;font-size:13.5px}.pct{color:var(--mut);font-variant-numeric:tabular-nums;font-size:13px}
+.bar{height:6px;background:var(--line);border-radius:99px;overflow:hidden;margin:11px 0 3px}
+.fill{height:100%;background:linear-gradient(90deg,var(--accent),var(--navy));border-radius:99px;width:0;transition:width .5s ease}
+.steps{display:flex;flex-wrap:wrap;gap:7px 13px;margin-top:12px}
+.st{display:flex;align-items:center;gap:6px;font-size:12.5px;color:var(--mut)}
+.st .dot{width:13px;height:13px;border-radius:99px;border:2px solid var(--line);display:inline-block}
+.st.on{color:var(--ink)}.st.on .dot{background:var(--accent);border-color:var(--accent)}
+.st.done .dot{background:var(--ok);border-color:var(--ok)}
+.tally{display:flex;gap:8px;margin:2px 0 14px;flex-wrap:wrap}
+.pill{font-size:12px;font-weight:600;padding:3px 10px;border-radius:99px}
+.pill.ok{color:var(--ok);background:var(--okbg)}.pill.bad{color:var(--bad);background:var(--badbg)}.pill.warn{color:var(--warn);background:var(--warnbg)}
+h2{font-size:14.5px;font-weight:700;margin:20px 0 9px;display:flex;align-items:baseline;gap:8px}
+h2 .n{font-size:12px;color:var(--mut);font-weight:500;font-variant-numeric:tabular-nums}
+.claim{background:var(--card);border:1px solid var(--line);border-radius:12px;margin-bottom:9px;overflow:hidden;
+animation:pop .22s ease}
+@keyframes pop{from{opacity:0;transform:translateY(3px)}to{opacity:1;transform:none}}
+.chead{display:flex;gap:11px;align-items:flex-start;padding:12px 14px;cursor:pointer;user-select:none}
+.chead:hover{background:color-mix(in srgb,var(--accent) 5%,transparent)}
+.badge{flex:none;font-size:11px;font-weight:700;padding:3px 8px;border-radius:7px;white-space:nowrap;margin-top:1px;min-width:52px;text-align:center}
+.badge.ok{color:var(--ok);background:var(--okbg)}.badge.bad{color:var(--bad);background:var(--badbg)}
+.badge.warn{color:var(--warn);background:var(--warnbg)}.badge.run{color:var(--accent);background:transparent;border:1px solid var(--line)}
+.cmain{flex:1;min-width:0}
+.ctext{font-size:13px;color:var(--ink)}.cmeta{font-size:12px;color:var(--mut);margin-top:3px}
+.ctog{flex:none;font-size:11.5px;color:var(--faint);display:flex;align-items:center;gap:4px;white-space:nowrap;margin-top:2px}
+.ctog .arw{transition:transform .18s ease;display:inline-block}
+.claim.open .ctog .arw{transform:rotate(90deg)}
+.spin{display:inline-block;width:11px;height:11px;border:2px solid var(--line);border-top-color:var(--accent);
+border-radius:99px;animation:sp .7s linear infinite;vertical-align:-1px}
+@keyframes sp{to{transform:rotate(360deg)}}
+.clogs{display:none;background:var(--logbg);border-top:1px solid var(--line);
+padding:9px 12px;max-height:280px;overflow-y:auto;
+font-family:ui-monospace,SFMono-Regular,Menlo,"Consolas",monospace;font-size:11.5px;line-height:1.6}
+.claim.open .clogs{display:block}
+.clogs .empty{color:#5b6b8c;padding:3px 0}
+.ll{display:flex;gap:9px;padding:1px 0;border-left:2px solid transparent;padding-left:8px;margin-left:-8px}
+.ll .who{color:#566385;flex:none;min-width:96px;text-align:right;user-select:none;opacity:.85}
+.ll .msg{white-space:pre-wrap;word-break:break-word;color:#c3ccdc}
+.ll.act{border-left-color:#2b7fff}.ll.act .msg{color:#8fd3ff}
+.ll.ok{border-left-color:#1f9d57}.ll.ok .msg{color:#78e6a0}
+.ll.bad{border-left-color:#e0483a}.ll.bad .msg{color:#ff9b90}
+.ll.warn{border-left-color:#d99a1a}.ll.warn .msg{color:#ffd479}
+.done-banner{padding:10px 14px;border-radius:10px;background:var(--okbg);color:var(--ok);font-weight:600;font-size:13px;margin-bottom:14px;display:none}
+.prep{margin-bottom:14px}
+.idle{color:var(--mut);font-size:13px}
+</style></head><body>
+<div class="wrap">
+  <h1>StructVerify 검증 진행</h1>
+  <div class="sub" id="sub">연결 대기 중… 검증을 시작하면 실시간으로 표시됩니다.</div>
+  <div class="done-banner" id="banner"></div>
+  <div class="card">
+    <div class="row"><span class="step" id="step">준비 중…</span><span class="pct" id="pct">0%</span></div>
+    <div class="bar"><div class="fill" id="fill"></div></div>
+    <div class="steps" id="stepbar">
+      <div class="st" data-k="domain"><span class="dot"></span>도메인</div>
+      <div class="st" data-k="profile"><span class="dot"></span>소스 프로파일</div>
+      <div class="st" data-k="detect"><span class="dot"></span>주장 탐지</div>
+      <div class="st" data-k="verify"><span class="dot"></span>검증</div>
+      <div class="st" data-k="done"><span class="dot"></span>완료</div>
+    </div>
+  </div>
+  <div class="tally" id="tally"></div>
+
+  <div class="claim prep" id="prepcard" style="display:none">
+    <div class="chead" onclick="this.parentNode.classList.toggle('open')">
+      <span class="badge run">준비</span>
+      <div class="cmain"><div class="ctext">도메인 분류 · 소스 프로파일 · 주장 탐지 로그</div></div>
+      <span class="ctog"><span class="arw">▸</span> <span id="prepn">0</span></span>
+    </div>
+    <div class="clogs" id="preplogs"></div>
+  </div>
+
+  <h2>검증된 주장 <span class="n" id="cn"></span></h2>
+  <div id="claims"><div class="idle" id="idle">탐지가 끝나면 주장 카드가 채워집니다.</div></div>
+</div>
+<script>
+const $=id=>document.getElementById(id);
+function esc(s){return (s||"").replace(/[&<>]/g,c=>({'&':'&amp;','<':'&lt;','>':'&gt;'}[c]));}
+let total=0, done=0, t={match:0,mismatch:0,other:0}, prepN=0;
+const cards={};  // claim_id → {el, logsEl, count, cntEl}
+function setStep(k,label){
+  if(label)$("step").textContent=label;
+  let hit=false;
+  document.querySelectorAll(".st").forEach(el=>{const kk=el.dataset.k;
+    if(kk===k){el.classList.add("on");hit=true;el.classList.remove("done");}
+    else if(!hit){el.classList.add("done");el.classList.remove("on");}});
+}
+function pct(p){p=Math.max(0,Math.min(100,p));$("fill").style.width=p+"%";$("pct").textContent=Math.round(p)+"%";}
+function tally(){$("tally").innerHTML=
+  `<span class="pill ok">✅ 일치 ${t.match}</span><span class="pill bad">❌ 불일치 ${t.mismatch}</span><span class="pill warn">⚠️ 보류 ${t.other}</span>`;
+  $("cn").textContent=total?`${done}/${total}`:`${done}`;}
+const VB={match:["ok","일치"],mismatch:["bad","불일치"],unverifiable:["warn","보류"],compliant:["ok","적합"],violation:["bad","위반"]};
+function makeCard(id,text,idx){
+  $("idle")?.remove();
+  const c=document.createElement("div");c.className="claim";c.id="card-"+id;
+  c.innerHTML=
+    `<div class="chead"><span class="badge run"><span class="spin"></span></span>`+
+    `<div class="cmain"><div class="ctext">[${idx}] ${esc(text)}</div><div class="cmeta" style="display:none"></div></div>`+
+    `<span class="ctog"><span class="arw">▸</span> 로그 <span class="cnt">0</span></span></div>`+
+    `<div class="clogs"><div class="empty">이 주장의 검증 로그…</div></div>`;
+  c.querySelector(".chead").onclick=()=>c.classList.toggle("open");
+  $("claims").appendChild(c);
+  cards[id]={el:c,logsEl:c.querySelector(".clogs"),count:0,cntEl:c.querySelector(".cnt"),badge:c.querySelector(".badge"),meta:c.querySelector(".cmeta")};
+  return cards[id];
+}
+function addLogLine(box,e){
+  const d=document.createElement("div");d.className="ll "+(e.cls||"");
+  d.innerHTML=`<span class="who">${esc(e.who)}</span><span class="msg">${esc(e.line)}</span>`;
+  box.appendChild(d);box.scrollTop=box.scrollHeight;
+  while(box.childNodes.length>400)box.removeChild(box.firstChild);
+}
+function routeLog(e){
+  if(e.claim_id && cards[e.claim_id]){
+    const c=cards[e.claim_id];c.logsEl.querySelector(".empty")?.remove();
+    addLogLine(c.logsEl,e);c.count++;c.cntEl.textContent=c.count;
+  }else{
+    $("prepcard").style.display="block";
+    addLogLine($("preplogs"),e);prepN++;$("prepn").textContent=prepN;
+  }
+}
+const es=new EventSource("/events");
+es.onmessage=ev=>{const e=JSON.parse(ev.data);
+  if(e.kind==="start"){$("sub").textContent=`소스: ${e.source||"?"} · 검증 진행 중`;setStep("domain","도메인 분류…");pct(5);}
+  else if(e.kind==="step"){setStep(e.stage||"detect",e.name);if(e.pct!=null)pct(e.pct);}
+  else if(e.kind==="claims"){total=e.count||0;setStep("verify",`주장 ${total}개 검증 중…`);pct(35);
+    (e.claims||[]).forEach((c,i)=>{const id=(typeof c==="object")?c.id:("i"+i);const tx=(typeof c==="object")?c.text:c;
+      if(!cards[id])makeCard(id,tx,i+1);});tally();}
+  else if(e.kind==="log"){routeLog(e);}
+  else if(e.kind==="claim"){done++;const v=e.verdict;t[v==="match"?"match":v==="mismatch"?"mismatch":"other"]++;
+    const c=cards[e.claim_id]; if(c){const[cls,lab]=VB[v]||["run","..."];
+      c.badge.className="badge "+cls;c.badge.textContent=lab;
+      const val=(e.value!=null&&e.value!=="")?`기준값 ${e.value}${e.unit||""}`:"";
+      if(val){c.meta.style.display="block";c.meta.textContent=val;}}
+    tally();pct(total?35+60*done/total:70);}
+  else if(e.kind==="done"){setStep("done","검증 완료");pct(100);
+    const b=$("banner");b.style.display="block";
+    b.textContent=`✔ 완료 — 총 ${done}건 (✅ ${t.match} · ❌ ${t.mismatch} · ⚠️ ${t.other}) — 각 주장을 클릭하면 로그가 열립니다`;}
+};
+es.onerror=()=>{$("sub").textContent="검증 프로세스가 종료되었습니다. (결과는 유지됩니다)";};
+</script></body></html>"""