@hupan56/wlkj 3.3.13 → 3.3.15

package/templates/qoder/scripts/validation/eval/token_flywheel.py

@@ -1,88 +1,88 @@
-"""token_flywheel.py — FW5 token 维度飞轮（§9.1 "+工作流 token ≤ 裸×0.8" 命令层）。
-
-T1.2 把 wl-search/wl-prd 的接口铁律 boilerplate（每命令重复）抽到单一 tool_guide.md
-（SessionStart 每会话注入一次）。本尺子量 token 节省：
-  - per_command_saving = 旧 boilerplate tokens - 新 ref tokens
-  - amortized: N 命令/会话 → 总省 = N×per_command_saving - tool_guide_injection(once)
-  - break_even = 注入几次命令回本
-DashScope 分词器量真实 token。
-
-跑法: docker exec -i wlinkj-workspace-backend-1 python /app/scripts/validation/eval/token_flywheel.py
-"""
-import os
-import sys
-import json
-import urllib.request
-import urllib.error
-
-for _p in ("/app", os.path.abspath(os.path.join(os.path.dirname(__file__), "..", "..", "..", ".."))):
-    if os.path.isdir(_p) and _p not in sys.path:
-        sys.path.insert(0, _p)
-
-CHAT_URL = os.environ.get("ALI_CHAT_BASE", "").rstrip("/") + "/chat/completions"
-CHAT_KEY = os.environ.get("DASHSCOPE_API_KEY", "")
-MODEL = "qwen-turbo"
-
-# T1.2 抽走的接口铁律内容（≈ 每命令旧 boilerplate，现归一到 tool_guide §2）
-OLD_BLOCK = """## 🚨 接口铁律（防混名/防歧义，先读）
-**① 三套名字已互通**（引擎层别名，AI 猜哪个都对，别因"未知子命令"慌）：
-| 干啥 | wlkj.py / kg.py 子命令 | MCP 工具名 |
-|---|---|---|
-| 搜代码 | search <词> | search_code |
-| 搜 API | api <词> / search <词> | search_api |
-| 语义检索 | semantic <词> | rag_search |
-| 上下文打包 | context <词> | context_pack |
-| 影响分析 | impact <实体> | get_impact |
-**② 中文歧义词先提炼**：保险→车辆保险/商业险/交强险；异常→告警/报错；计划→作业/养护；列表→带业务对象。
-**③ 禁止 find/grep 手动找模块**——那是 search 的活。只有 search 返 0 或要看具体文件实现时才 Grep/Read。"""
-
-# T1.2 后命令里的引用（3 行，boilerplate 瘦身后）
-NEW_REF = """## 🚨 接口铁律（见 tool_guide · 会话已注入精简版）
-单一信源 .qoder/scripts/tool_guide.md（SessionStart 已注入）。两条红线：三套名都认别慌；禁 find/grep 全盘扫。"""
-
-# SessionStart 注入的 tool_guide 精简版（每会话一次成本）
-INJECTION = """## Tool Guide (共用工具用法 · 完整见 .qoder/scripts/tool_guide.md)
-环境自检: R=$(python ~/.qoderwork/repo_root.py) || R=. ; PY=python 或 python3
-接口三套名互通: wlkj.py/kg.py/MCP 名字都认(search/semantic/context/impact)
-中文歧义词先提炼: 保险->车险 · 异常->告警 · 计划->作业
-禁全盘扫: 不要 find/grep -r/findstr /s/os.walk data/code
-优先级口诀: 精确搜用Grep · 语义找用rag_search · 取全用context_pack · 查库先list_envs · 影响用get_impact"""
-
-
-def tokens(text):
-    """用 DashScope 分词器量真实 prompt token 数。"""
-    body = json.dumps({"model": MODEL,
-        "messages": [{"role": "user", "content": text}], "max_tokens": 1}).encode()
-    try:
-        req = urllib.request.Request(CHAT_URL, data=body,
-            headers={"Authorization": f"Bearer {CHAT_KEY}", "Content-Type": "application/json"})
-        return json.loads(urllib.request.urlopen(req, timeout=30).read())["usage"]["prompt_tokens"]
-    except Exception as e:
-        return -1
-
-
-def main():
-    old_t = tokens(OLD_BLOCK)
-    new_t = tokens(NEW_REF)
-    inj_t = tokens(INJECTION)
-    per_cmd_save = old_t - new_t
-    # amortized: N 命令/会话 → 净省 = N×per_cmd_save - inj_t（注入成本一次性）
-    print("## FW5 token 维度飞轮（T1.2 boilerplate→tool_guide 单一信源）")
-    print("| 项 | tokens |")
-    print("|---|---|")
-    print("| 旧接口铁律/命令（每命令重复） | %d |" % old_t)
-    print("| 新3行ref/命令 | %d |" % new_t)
-    print("| tool_guide 注入/会话（once） | %d |" % inj_t)
-    print("| per-命令节省 | %d |" % per_cmd_save)
-    print("")
-    print("amortized 净省（N 命令/会话）= N×%d - %d：" % (per_cmd_save, inj_t))
-    for n in (1, 2, 3, 5, 10):
-        net = n * per_cmd_save - inj_t
-        print("  N=%2d: 净省 %d tokens %s" % (n, net, "✓回本" if net > 0 else "(未回本)"))
-    be = (inj_t + per_cmd_save - 1) // per_cmd_save if per_cmd_save > 0 else 0
-    print("break-even: ≈%d 命令/会话回本（之后每命令净省 %d tokens）" % (be, per_cmd_save))
-    print("\n结论: 多命令会话(≥%d)净省 token，符 §9.1 命令层 token 降。" % max(be, 2))
-
-
-if __name__ == "__main__":
-    main()
+"""token_flywheel.py — FW5 token 维度飞轮（§9.1 "+工作流 token ≤ 裸×0.8" 命令层）。
+
+T1.2 把 wl-search/wl-prd 的接口铁律 boilerplate（每命令重复）抽到单一 tool_guide.md
+（SessionStart 每会话注入一次）。本尺子量 token 节省：
+  - per_command_saving = 旧 boilerplate tokens - 新 ref tokens
+  - amortized: N 命令/会话 → 总省 = N×per_command_saving - tool_guide_injection(once)
+  - break_even = 注入几次命令回本
+DashScope 分词器量真实 token。
+
+跑法: docker exec -i wlinkj-workspace-backend-1 python /app/scripts/validation/eval/token_flywheel.py
+"""
+import os
+import sys
+import json
+import urllib.request
+import urllib.error
+
+for _p in ("/app", os.path.abspath(os.path.join(os.path.dirname(__file__), "..", "..", "..", ".."))):
+    if os.path.isdir(_p) and _p not in sys.path:
+        sys.path.insert(0, _p)
+
+CHAT_URL = os.environ.get("ALI_CHAT_BASE", "").rstrip("/") + "/chat/completions"
+CHAT_KEY = os.environ.get("DASHSCOPE_API_KEY", "")
+MODEL = "qwen-turbo"
+
+# T1.2 抽走的接口铁律内容（≈ 每命令旧 boilerplate，现归一到 tool_guide §2）
+OLD_BLOCK = """## 🚨 接口铁律（防混名/防歧义，先读）
+**① 三套名字已互通**（引擎层别名，AI 猜哪个都对，别因"未知子命令"慌）：
+| 干啥 | wlkj.py / kg.py 子命令 | MCP 工具名 |
+|---|---|---|
+| 搜代码 | search <词> | search_code |
+| 搜 API | api <词> / search <词> | search_api |
+| 语义检索 | semantic <词> | rag_search |
+| 上下文打包 | context <词> | context_pack |
+| 影响分析 | impact <实体> | get_impact |
+**② 中文歧义词先提炼**：保险→车辆保险/商业险/交强险；异常→告警/报错；计划→作业/养护；列表→带业务对象。
+**③ 禁止 find/grep 手动找模块**——那是 search 的活。只有 search 返 0 或要看具体文件实现时才 Grep/Read。"""
+
+# T1.2 后命令里的引用（3 行，boilerplate 瘦身后）
+NEW_REF = """## 🚨 接口铁律（见 tool_guide · 会话已注入精简版）
+单一信源 .qoder/scripts/tool_guide.md（SessionStart 已注入）。两条红线：三套名都认别慌；禁 find/grep 全盘扫。"""
+
+# SessionStart 注入的 tool_guide 精简版（每会话一次成本）
+INJECTION = """## Tool Guide (共用工具用法 · 完整见 .qoder/scripts/tool_guide.md)
+环境自检: R=$(python ~/.qoderwork/repo_root.py) || R=. ; PY=python 或 python3
+接口三套名互通: wlkj.py/kg.py/MCP 名字都认(search/semantic/context/impact)
+中文歧义词先提炼: 保险->车险 · 异常->告警 · 计划->作业
+禁全盘扫: 不要 find/grep -r/findstr /s/os.walk data/code
+优先级口诀: 精确搜用Grep · 语义找用rag_search · 取全用context_pack · 查库先list_envs · 影响用get_impact"""
+
+
+def tokens(text):
+    """用 DashScope 分词器量真实 prompt token 数。"""
+    body = json.dumps({"model": MODEL,
+        "messages": [{"role": "user", "content": text}], "max_tokens": 1}).encode()
+    try:
+        req = urllib.request.Request(CHAT_URL, data=body,
+            headers={"Authorization": f"Bearer {CHAT_KEY}", "Content-Type": "application/json"})
+        return json.loads(urllib.request.urlopen(req, timeout=30).read())["usage"]["prompt_tokens"]
+    except Exception as e:
+        return -1
+
+
+def main():
+    old_t = tokens(OLD_BLOCK)
+    new_t = tokens(NEW_REF)
+    inj_t = tokens(INJECTION)
+    per_cmd_save = old_t - new_t
+    # amortized: N 命令/会话 → 净省 = N×per_cmd_save - inj_t（注入成本一次性）
+    print("## FW5 token 维度飞轮（T1.2 boilerplate→tool_guide 单一信源）")
+    print("| 项 | tokens |")
+    print("|---|---|")
+    print("| 旧接口铁律/命令（每命令重复） | %d |" % old_t)
+    print("| 新3行ref/命令 | %d |" % new_t)
+    print("| tool_guide 注入/会话（once） | %d |" % inj_t)
+    print("| per-命令节省 | %d |" % per_cmd_save)
+    print("")
+    print("amortized 净省（N 命令/会话）= N×%d - %d：" % (per_cmd_save, inj_t))
+    for n in (1, 2, 3, 5, 10):
+        net = n * per_cmd_save - inj_t
+        print("  N=%2d: 净省 %d tokens %s" % (n, net, "✓回本" if net > 0 else "(未回本)"))
+    be = (inj_t + per_cmd_save - 1) // per_cmd_save if per_cmd_save > 0 else 0
+    print("break-even: ≈%d 命令/会话回本（之后每命令净省 %d tokens）" % (be, per_cmd_save))
+    print("\n结论: 多命令会话(≥%d)净省 token，符 §9.1 命令层 token 降。" % max(be, 2))
+
+
+if __name__ == "__main__":
+    main()

package/templates/qoder/scripts/validation/metrics/eval_code_ac.py

@@ -1,177 +1,177 @@
-#!/usr/bin/env python3
-# -*- coding: utf-8 -*-
-"""eval_code_ac.py - P0-3/P0-5: spec AC × git diff 符号对账（代码漏实现 AC 检测）
-
-被 stop-eval.py wl-code 分支调。读 spec 第6章 PRD 验收标准映射表 AC + git diff HEAD 改的符号
-→ 每条 AC 词命中符号 → 覆盖率 + 未实现清单。AC<100% 且有 missed → exit 2（stop-eval 拦回继续）。
-
-诚实（第一版）：
-- AC 覆盖判用"AC 文本词 ∈ git diff 符号集"——保守（多拦比漏好），不语义。
-- 符号提取多语言（Java public/private/protected、JS function、Vue methods、Python def）。
-- spec 无第6章 AC → exit 0 放行（不拦无 AC 的 spec，防误拦）。
-- 无近 spec / git 不可用 → exit 0（绝不误拦）。
-
-输出（stdout 末行 JSON）: {spec, n_ac, n_symbols, rate, covered[], missed[]}
-"""
-import json
-import os
-import re
-import subprocess
-import sys
-import time
-
-if sys.platform == 'win32':
-    try:
-        sys.stdout.reconfigure(encoding='utf-8')
-    except Exception:
-        pass
-
-WINDOW = 1800  # 30 分钟内改的 spec 视为本轮产物
-
-
-def _find_base():
-    """向上找 repo 根（含 .git）。★不能只找 workspace/——.qoder/workspace/ 也存在会误中,
-    必须认 .git（仅 repo 根 qoderAll 有, .qoder 无）。"""
-    d = os.path.dirname(os.path.abspath(__file__))
-    for _ in range(10):
-        if os.path.isdir(os.path.join(d, '.git')):
-            return d
-        p = os.path.dirname(d)
-        if p == d:
-            break
-        d = p
-    return os.getcwd()
-
-
-BASE = _find_base()
-
-
-def find_recent_spec():
-    """近 WINDOW 秒改的 spec.md（workspace/tasks|specs|members）。返最新路径 or None。"""
-    now = time.time()
-    roots = [os.path.join(BASE, 'workspace', t) for t in ('tasks', 'specs', 'members')]
-    best, best_mtime = None, 0
-    for root in roots:
-        if not os.path.isdir(root):
-            continue
-        for dp, dirs, files in os.walk(root):
-            dirs[:] = [d for d in dirs if d not in ('node_modules', '.git', '__pycache__')]
-            for fn in files:
-                if not (fn.endswith('.spec.md') or (fn.endswith('.md') and 'spec' in fn.lower())):
-                    continue
-                fp = os.path.join(dp, fn)
-                try:
-                    m = os.path.getmtime(fp)
-                except OSError:
-                    continue
-                if now - m <= WINDOW and m > best_mtime:
-                    best, best_mtime = fp, m
-    return best
-
-
-def parse_ac(spec_path):
-    """解析 spec 第6章 PRD 验收标准映射表 AC。返 [ac_text, ...]。"""
-    try:
-        text = open(spec_path, encoding='utf-8', errors='replace').read()
-    except Exception:
-        return []
-    # 第6章"PRD 验收标准映射表"
-    m = re.search(r'#{1,3}\s*6[\.\s、]*[^\n]*验收[^\n]*\n(.*?)(?=\n#{1,3}\s|\Z)', text, re.S | re.I)
-    section = m.group(1) if m else ''
-    if not section:  # 兜底: 任一"验收标准"段
-        m2 = re.search(r'#{1,3}[^\n]*验收标准[^\n]*\n(.*?)(?=\n#{1,3}\s|\Z)', text, re.S)
-        section = m2.group(1) if m2 else ''
-    if not section:
-        return []
-    acs = []
-    for line in section.split('\n'):
-        line = line.strip()
-        if not line.startswith('|') or '---' in line:
-            continue
-        cols = [c.strip() for c in line.split('|')]
-        cols = [c for c in cols if c]
-        if not cols:
-            continue
-        ac = cols[0]
-        if len(ac) < 4:  # 跳短表头/序号
-            continue
-        acs.append(ac)
-    return acs
-
-
-def git_diff_symbols():
-    """git diff HEAD 改的符号（函数/方法/类名）。返 set。多语言。"""
-    symbols = set()
-    try:
-        r = subprocess.run(['git', 'diff', 'HEAD'], cwd=BASE,
-                           capture_output=True, text=True, timeout=15)
-        diff = r.stdout or ''
-    except Exception:
-        return symbols
-    # Java/Python/JS 声明: public/private/protected/static/def/function/class 后的符号
-    decl_re = re.compile(
-        r'^[+-]\s*(?:public|private|protected|static|final|async|def|function|void|class)\s+'
-        r'(?:[\w<>\[\],\s\.]+?\s+)?(\w+)\s*[\(\{]')
-    for line in diff.split('\n'):
-        if not (line.startswith('+') or line.startswith('-')):
-            continue
-        m = decl_re.match(line)
-        if m:
-            symbols.add(m.group(1))
-    # 改的文件名（实体线索）
-    try:
-        names = subprocess.run(['git', 'diff', 'HEAD', '--name-only'], cwd=BASE,
-                               capture_output=True, text=True, timeout=10).stdout or ''
-        for fn in names.split('\n'):
-            fn = fn.strip().split('/')[-1]
-            base_name = re.sub(r'\.\w+$', '', fn)
-            if base_name:
-                for w in re.split(r'[-_]', base_name):
-                    if len(w) > 2:
-                        symbols.add(w)
-    except Exception:
-        pass
-    return symbols
-
-
-def check_coverage(spec_path):
-    acs = parse_ac(spec_path)
-    if not acs:
-        return {'spec': os.path.basename(spec_path), 'n_ac': 0, 'rate': 1.0,
-                'covered': [], 'missed': [], 'note': 'spec 第6章无 AC（不拦）'}
-    symbols = git_diff_symbols()
-    # 符号分词（_enforce_code_ac_gate → enforce/code/ac/gate）小写; AC 词也分词; 双向分词匹配
-    sym_words = set()
-    for s in symbols:
-        for w in re.split(r'[_\-]', s):
-            if len(w) > 2:
-                sym_words.add(w.lower())
-    covered, missed = [], []
-    for ac in acs:
-        ac_words = set()
-        for w in re.findall(r'[A-Za-z_]\w{2,}', ac):
-            for part in re.split(r'[_\-]', w):
-                if len(part) > 2:
-                    ac_words.add(part.lower())
-        hit = any(w in sym_words for w in ac_words)
-        (covered if hit else missed).append(ac)
-    rate = round(len(covered) / len(acs), 3)
-    return {'spec': os.path.basename(spec_path), 'n_ac': len(acs),
-            'n_symbols': len(symbols), 'rate': rate,
-            'covered': covered, 'missed': missed}
-
-
-def main():
-    spec = find_recent_spec()
-    if not spec:
-        print(json.dumps({'error': 'no recent spec', 'rate': 1.0}, ensure_ascii=False))
-        sys.exit(0)  # 无 spec 不拦（非 wl-code 场景）
-    r = check_coverage(spec)
-    print(json.dumps(r, ensure_ascii=False))
-    if r.get('missed') and r['rate'] < 1.0:
-        sys.exit(2)  # AC 未全覆盖 → stop-eval 拦
-    sys.exit(0)
-
-
-if __name__ == '__main__':
-    main()
+#!/usr/bin/env python3
+# -*- coding: utf-8 -*-
+"""eval_code_ac.py - P0-3/P0-5: spec AC × git diff 符号对账（代码漏实现 AC 检测）
+
+被 stop-eval.py wl-code 分支调。读 spec 第6章 PRD 验收标准映射表 AC + git diff HEAD 改的符号
+→ 每条 AC 词命中符号 → 覆盖率 + 未实现清单。AC<100% 且有 missed → exit 2（stop-eval 拦回继续）。
+
+诚实（第一版）：
+- AC 覆盖判用"AC 文本词 ∈ git diff 符号集"——保守（多拦比漏好），不语义。
+- 符号提取多语言（Java public/private/protected、JS function、Vue methods、Python def）。
+- spec 无第6章 AC → exit 0 放行（不拦无 AC 的 spec，防误拦）。
+- 无近 spec / git 不可用 → exit 0（绝不误拦）。
+
+输出（stdout 末行 JSON）: {spec, n_ac, n_symbols, rate, covered[], missed[]}
+"""
+import json
+import os
+import re
+import subprocess
+import sys
+import time
+
+if sys.platform == 'win32':
+    try:
+        sys.stdout.reconfigure(encoding='utf-8')
+    except Exception:
+        pass
+
+WINDOW = 1800  # 30 分钟内改的 spec 视为本轮产物
+
+
+def _find_base():
+    """向上找 repo 根（含 .git）。★不能只找 workspace/——.qoder/workspace/ 也存在会误中,
+    必须认 .git（仅 repo 根 qoderAll 有, .qoder 无）。"""
+    d = os.path.dirname(os.path.abspath(__file__))
+    for _ in range(10):
+        if os.path.isdir(os.path.join(d, '.git')):
+            return d
+        p = os.path.dirname(d)
+        if p == d:
+            break
+        d = p
+    return os.getcwd()
+
+
+BASE = _find_base()
+
+
+def find_recent_spec():
+    """近 WINDOW 秒改的 spec.md（workspace/tasks|specs|members）。返最新路径 or None。"""
+    now = time.time()
+    roots = [os.path.join(BASE, 'workspace', t) for t in ('tasks', 'specs', 'members')]
+    best, best_mtime = None, 0
+    for root in roots:
+        if not os.path.isdir(root):
+            continue
+        for dp, dirs, files in os.walk(root):
+            dirs[:] = [d for d in dirs if d not in ('node_modules', '.git', '__pycache__')]
+            for fn in files:
+                if not (fn.endswith('.spec.md') or (fn.endswith('.md') and 'spec' in fn.lower())):
+                    continue
+                fp = os.path.join(dp, fn)
+                try:
+                    m = os.path.getmtime(fp)
+                except OSError:
+                    continue
+                if now - m <= WINDOW and m > best_mtime:
+                    best, best_mtime = fp, m
+    return best
+
+
+def parse_ac(spec_path):
+    """解析 spec 第6章 PRD 验收标准映射表 AC。返 [ac_text, ...]。"""
+    try:
+        text = open(spec_path, encoding='utf-8', errors='replace').read()
+    except Exception:
+        return []
+    # 第6章"PRD 验收标准映射表"
+    m = re.search(r'#{1,3}\s*6[\.\s、]*[^\n]*验收[^\n]*\n(.*?)(?=\n#{1,3}\s|\Z)', text, re.S | re.I)
+    section = m.group(1) if m else ''
+    if not section:  # 兜底: 任一"验收标准"段
+        m2 = re.search(r'#{1,3}[^\n]*验收标准[^\n]*\n(.*?)(?=\n#{1,3}\s|\Z)', text, re.S)
+        section = m2.group(1) if m2 else ''
+    if not section:
+        return []
+    acs = []
+    for line in section.split('\n'):
+        line = line.strip()
+        if not line.startswith('|') or '---' in line:
+            continue
+        cols = [c.strip() for c in line.split('|')]
+        cols = [c for c in cols if c]
+        if not cols:
+            continue
+        ac = cols[0]
+        if len(ac) < 4:  # 跳短表头/序号
+            continue
+        acs.append(ac)
+    return acs
+
+
+def git_diff_symbols():
+    """git diff HEAD 改的符号（函数/方法/类名）。返 set。多语言。"""
+    symbols = set()
+    try:
+        r = subprocess.run(['git', 'diff', 'HEAD'], cwd=BASE,
+                           capture_output=True, text=True, timeout=15)
+        diff = r.stdout or ''
+    except Exception:
+        return symbols
+    # Java/Python/JS 声明: public/private/protected/static/def/function/class 后的符号
+    decl_re = re.compile(
+        r'^[+-]\s*(?:public|private|protected|static|final|async|def|function|void|class)\s+'
+        r'(?:[\w<>\[\],\s\.]+?\s+)?(\w+)\s*[\(\{]')
+    for line in diff.split('\n'):
+        if not (line.startswith('+') or line.startswith('-')):
+            continue
+        m = decl_re.match(line)
+        if m:
+            symbols.add(m.group(1))
+    # 改的文件名（实体线索）
+    try:
+        names = subprocess.run(['git', 'diff', 'HEAD', '--name-only'], cwd=BASE,
+                               capture_output=True, text=True, timeout=10).stdout or ''
+        for fn in names.split('\n'):
+            fn = fn.strip().split('/')[-1]
+            base_name = re.sub(r'\.\w+$', '', fn)
+            if base_name:
+                for w in re.split(r'[-_]', base_name):
+                    if len(w) > 2:
+                        symbols.add(w)
+    except Exception:
+        pass
+    return symbols
+
+
+def check_coverage(spec_path):
+    acs = parse_ac(spec_path)
+    if not acs:
+        return {'spec': os.path.basename(spec_path), 'n_ac': 0, 'rate': 1.0,
+                'covered': [], 'missed': [], 'note': 'spec 第6章无 AC（不拦）'}
+    symbols = git_diff_symbols()
+    # 符号分词（_enforce_code_ac_gate → enforce/code/ac/gate）小写; AC 词也分词; 双向分词匹配
+    sym_words = set()
+    for s in symbols:
+        for w in re.split(r'[_\-]', s):
+            if len(w) > 2:
+                sym_words.add(w.lower())
+    covered, missed = [], []
+    for ac in acs:
+        ac_words = set()
+        for w in re.findall(r'[A-Za-z_]\w{2,}', ac):
+            for part in re.split(r'[_\-]', w):
+                if len(part) > 2:
+                    ac_words.add(part.lower())
+        hit = any(w in sym_words for w in ac_words)
+        (covered if hit else missed).append(ac)
+    rate = round(len(covered) / len(acs), 3)
+    return {'spec': os.path.basename(spec_path), 'n_ac': len(acs),
+            'n_symbols': len(symbols), 'rate': rate,
+            'covered': covered, 'missed': missed}
+
+
+def main():
+    spec = find_recent_spec()
+    if not spec:
+        print(json.dumps({'error': 'no recent spec', 'rate': 1.0}, ensure_ascii=False))
+        sys.exit(0)  # 无 spec 不拦（非 wl-code 场景）
+    r = check_coverage(spec)
+    print(json.dumps(r, ensure_ascii=False))
+    if r.get('missed') and r['rate'] < 1.0:
+        sys.exit(2)  # AC 未全覆盖 → stop-eval 拦
+    sys.exit(0)
+
+
+if __name__ == '__main__':
+    main()