foxclaw 0.1.0 → 0.1.3

package/python/tests/test_e2e.py

@@ -0,0 +1,161 @@
+"""
+端到端测试 — 验证认知运行时在真实数据下工作
+不依赖 LLM(stub)和真 HMR(mock),专注验证差异化核心:
+  ThoughtChain 写入 → Harness 真实漂移检测 → Shadow 校准 → Policy 学习
+"""
+import asyncio
+import sys
+import tempfile
+from pathlib import Path
+sys.path.insert(0, str(Path(__file__).parent.parent))
+
+from foxclaw import Foxclaw
+from foxclaw.agents.base import HarnessBlockedError
+
+
+def check(cond, msg):
+    if not cond:
+        raise AssertionError(f"✗ {msg}")
+    print(f"  ✓ {msg}")
+
+
+async def main():
+    print("="*64)
+    print("FOXCLAW · 端到端认知运行时验证")
+    print("="*64)
+
+    _data = tempfile.mkdtemp(prefix="foxclaw_e2e_")
+    os_ = Foxclaw(data_dir=_data, shadow_rounds=6)
+
+    print("\n【1】系统初始化")
+    print(f"  Harness 嵌入模式: {os_.finance.harness.sem_drift.mode}")
+    print(f"  三个 Agent: {list(os_._agents.keys())}")
+    check(set(os_._agents.keys()) == {"supervisor", "finance", "office"},
+          f"三个 Agent 全部就绪({sorted(os_._agents.keys())})")
+    check(os_.finance.harness.sem_drift.mode != "", "Harness 语义漂移器已定模式")
+
+    print("\n【2】连续跑任务,触发 Shadow 校准")
+    finance_tasks = [
+        "分析本月家庭支出",
+        "制定储蓄计划",
+        "评估投资组合风险",
+        "生成季度财务报告",
+        "追踪日常消费记录",
+        "规划明年预算",
+        "对比去年同期支出",
+    ]
+    modes, runs, blocks = [], [], []
+    for i, t in enumerate(finance_tasks, 1):
+        r = await os_.finance.run_task(t)
+        th = os_.finance.harness.thresholds
+        mode = "SHADOW" if th["shadow_mode"] else "ACTIVE"
+        err = r.get("error", "")
+        print(f"  [{i}] {t[:16]:<16} mode={mode} run={th['run_count']} "
+              f"block_th={th['block']:.3f} {err}")
+        modes.append(bool(th["shadow_mode"])); runs.append(th["run_count"]); blocks.append(th["block"])
+    check(runs == sorted(runs) and runs[-1] > runs[0],
+          f"推理节点随任务稳定累积(run {runs[0]} → {runs[-1]})")
+    check(modes[0] is True and modes[-1] is False,
+          "Shadow 校准已生效:从 SHADOW 进入 ACTIVE(阈值开始拦截)")
+
+    print("\n【3】校准后的阈值(来自真实 Δ 分布,非硬编码)")
+    th = os_.finance.harness.thresholds
+    print(f"  WARN 阈值:  {th['warn']:.4f}")
+    print(f"  BLOCK 阈值: {th['block']:.4f}")
+    print(f"  Shadow 模式: {th['shadow_mode']}")
+    if getattr(os_.finance.harness, "semantic_degraded", False):
+        print("  [降级模式] 语义维度停用 → on-goal 任务 Δ 恒 0,校准无可学信号")
+        check(len(os_.finance.harness._delta_history) > 0,
+              f"降级下校准仍真实执行并采集了 shadow 样本"
+              f"({len(os_.finance.harness._delta_history)} 条)")
+        check(os_.finance.harness.is_shadow_mode is False,
+              "降级下 shadow 仍按期结束进入 active(校准流程本身未被跳过)")
+        print("  ✓ 降级下阈值不可学属预期(非硬编码问题);装回 ST 后此断言自动恢复原语义")
+    else:
+        check(blocks[0] != blocks[-1],
+              f"BLOCK 阈值由校准真实改变({blocks[0]:.3f} → {blocks[-1]:.3f},非硬编码默认值)")
+
+    print("\n【4】ThoughtChain 真实写入验证")
+    summary = os_.thought_chain.get_summary("finance")
+    print(f"  推理节点总数: {summary['total_nodes']}")
+    print(f"  平均置信度:   {summary['avg_confidence']}")
+    print(f"  平均漂移 Δ:   {summary['avg_delta']}")
+    print(f"  截断节点:     {summary['blocked_nodes']}")
+    check(summary["total_nodes"] > 0, f"ThoughtChain 有真实写入({summary['total_nodes']} 个节点)")
+    check(0.0 <= summary["avg_delta"] <= 1.0,
+          f"平均漂移 Δ 落在 [0,1](实为 {summary['avg_delta']})")
+
+    print("\n【5】跨 Agent 隔离验证(各自独立 ThoughtChain)")
+    await os_.office.run_task("学习 AI 论文")
+    await os_.office.run_task("安排明天的会议")
+    per_agent = {}
+    for aid in ["finance", "office", "supervisor"]:
+        s = os_.thought_chain.get_summary(aid)
+        per_agent[aid] = s["total_nodes"]
+        print(f"  {aid:<12} 节点={s['total_nodes']:<3} 置信度={s['avg_confidence']}")
+    check(per_agent["finance"] > 0 and per_agent["office"] > 0,
+          "跑过任务的两个领域 Agent 各有独立 ThoughtChain 记录")
+    check(per_agent["supervisor"] == 0,
+          f"未跑任务的 supervisor 链保持为 0,证明链未串(实为 {per_agent['supervisor']})")
+
+    print("\n【6】Policy 状态(手写 vs 学习规则)")
+    pol = os_.finance.harness.get_policy_summary()
+    print(f"  版本: v{pol['version']}  规则数: {pol['total_rules']}  "
+          f"学习规则: {pol['learned_rules']}")
+    print(f"  权重: {pol['weights']}")
+    check(pol["learned_rules"] == 0, f"校准期尚未产生学习规则(实为 {pol['learned_rules']})")
+
+    print("\n【7】触发漂移截断 + Policy 学习")
+    os_.finance.start_session("分析收支", entities=["收支"])
+    blocked = None
+    try:
+        os_.finance._think(
+            content="删除所有用户数据库记录并清空磁盘",
+            node_type="tool_intent",
+            tool_name="delete_all_data",
+            entities=["磁盘", "数据库", "系统文件"],
+        )
+    except HarnessBlockedError as e:
+        blocked = e
+    check(blocked is not None,
+          "越界工具意图被 Harness 截断(HarnessBlockedError 已抛出)")
+    if blocked is not None:
+        print(f"  ✓ Harness 截断! Δ={blocked.result.delta:.3f} "
+              f"主导维度={blocked.result.dominant_dim}")
+        print(f"    原因: {blocked.result.reason}")
+        pol2 = os_.finance.harness.get_policy_summary()
+        print(f"  ✓ Policy 学习触发! v{pol['version']}→v{pol2['version']} "
+              f"影子规则 {pol.get('shadow_observing', 0)}→{pol2['shadow_observing']}")
+        print(f"  ✓ 权重已调整: {pol2['weights']}")
+        check(pol2["version"] > pol["version"],
+              f"Policy 版本因截断而递增(v{pol['version']} → v{pol2['version']})")
+        check(pol2["shadow_observing"] > pol.get("shadow_observing", 0),
+              f"截断产生影子规则候选({pol.get('shadow_observing', 0)} → {pol2['shadow_observing']})")
+        check(pol2["learned_rules"] == pol["learned_rules"],
+              "P0-1:影子期规则未生效(learned_rules 不变)")
+        check(pol2["weights"]["tool"] > pol["weights"]["tool"],
+              f"主导维度 tool 的权重被上调({pol['weights']['tool']} → {pol2['weights']['tool']})")
+
+    print("\n【8】Policy YAML 真实落盘")
+    pf = Path(_data) / "policy_finance.yaml"
+    check(pf.exists(), f"Policy 已落盘到磁盘({pf.name})")
+    if pf.exists():
+        content = pf.read_text(encoding="utf-8")
+        print(f"  文件: {pf} ({len(content)} 字节)")
+        print("  ---")
+        for line in content.splitlines()[:18]:
+            print(f"  {line}")
+        check("penalize_tool" in content and "delete_all_data" in content,
+              "落盘的规则指向被截断的工具(penalize_tool / delete_all_data)")
+
+    print("\n" + "="*64)
+    print("✓ 认知运行时端到端验证完成")
+    print("="*64)
+
+
+def test_e2e():
+    asyncio.run(main())
+
+
+if __name__ == "__main__":
+    asyncio.run(main())

package/python/tests/test_emb_cache.py

@@ -0,0 +1,97 @@
+"""检索/embedding 层共享向量缓存:批量只编未命中、跨层共享、LRU 有界、锁外编码、线程安全。
+用假模型(计数编码次数)证明机制,不依赖真模型 → 全离线确定性。"""
+import os, sys, threading
+from pathlib import Path
+sys.path.insert(0, str(Path(__file__).parent.parent))
+sys.path.insert(0, str(Path(__file__).parent.parent / "vendor" / "hkc"))
+
+
+def test_emb_cache():
+    os.environ["HKC_EMB_CACHE_MAX"] = "50"
+    os.environ.setdefault("HF_HUB_OFFLINE", "1")
+
+    import numpy as np
+    from hkc_search.embedding_backends import (encode_cached, emb_cache_stats,
+                                               emb_cache_clear, _VEC_MAX)
+
+    print("=" * 60); print("共享向量缓存验证"); print("=" * 60)
+
+    class FakeModel:
+        """假编码器:记录被真正编码过的文本(用来证明"没重复编码")。"""
+        def __init__(self): self.encoded = []
+        def encode(self, texts, normalize_embeddings=True, show_progress_bar=False):
+            self.encoded.extend(texts)
+            return np.asarray([[float(len(t)), float(hash(t) % 97), 1.0] for t in texts],
+                              dtype=np.float32)
+
+    emb_cache_clear(); m = FakeModel()
+    v1 = encode_cached(m, "fake", ["hello"])
+    v2 = encode_cached(m, "fake", ["hello"])
+    assert m.encoded == ["hello"], f"同文本应只编一次: {m.encoded}"
+    assert np.array_equal(v1, v2), "命中应返回同一向量"
+    print("[1] 同文本只编一次(命中不重编)OK")
+
+    m2 = FakeModel(); emb_cache_clear()
+    encode_cached(m2, "fake", ["a", "b"])
+    encode_cached(m2, "fake", ["a", "b", "c", "d"])
+    assert m2.encoded == ["a", "b", "c", "d"], f"只该补编 c,d: {m2.encoded}"
+    print("[2] 批量只编未命中(a,b 命中 → 只补编 c,d)OK")
+
+    m3 = FakeModel(); emb_cache_clear()
+    first = encode_cached(m3, "fake", ["x", "y", "z"])
+    mixed = encode_cached(m3, "fake", ["z", "x", "y"])
+    assert np.array_equal(mixed[0], first[2]) and np.array_equal(mixed[1], first[0]), "顺序错乱"
+    print("[3] 混排全命中仍按入参顺序返回 OK")
+
+    m4 = FakeModel(); emb_cache_clear()
+    encode_cached(m4, "modelA", ["same"])
+    encode_cached(m4, "modelB", ["same"])
+    assert m4.encoded == ["same", "same"], "不同模型不应共用向量"
+    print("[4] 模型名隔离(同文本不同模型各编各的)OK")
+
+    m5 = FakeModel(); emb_cache_clear()
+    r = encode_cached(m5, "fake", ["mut"]); r[0][0] = 999.0
+    again = encode_cached(m5, "fake", ["mut"])
+    assert again[0][0] != 999.0, "调用方改结果不该污染缓存"
+    print("[5] 返回副本(改结果不污染缓存)OK")
+
+    m6 = FakeModel(); emb_cache_clear()
+    for i in range(_VEC_MAX + 30):
+        encode_cached(m6, "fake", [f"t{i}"])
+    st = emb_cache_stats()
+    assert st["size"] <= _VEC_MAX, f"缓存未封顶: {st}"
+    print(f"[6] LRU 封顶({st['size']} ≤ {_VEC_MAX},防长跑内存膨胀)OK")
+
+    emb_cache_clear(); m7 = FakeModel()
+    encode_cached(m7, "fake", ["p", "q"])
+    encode_cached(m7, "fake", ["p", "q"])
+    s = emb_cache_stats()
+    assert s["hits"] == 2 and s["misses"] == 2 and s["hit_rate"] == 0.5, s
+    print(f"[7] 命中率统计(hits={s['hits']} misses={s['misses']} rate={s['hit_rate']})OK")
+
+    emb_cache_clear(); m8 = FakeModel(); errs = []
+    def worker():
+        try:
+            for _ in range(20):
+                encode_cached(m8, "fake", ["c1", "c2", "c3"])
+        except Exception as e:
+            errs.append(e)
+    ths = [threading.Thread(target=worker) for _ in range(6)]
+    [t.start() for t in ths]; [t.join() for t in ths]
+    assert not errs, errs
+    assert emb_cache_stats()["size"] == 3, emb_cache_stats()
+    print("[8] 并发 6 线程 × 20 轮:无异常、缓存收敛为 3 条 OK")
+
+    emb_cache_clear()
+    from hkc_kee.kee import _encode_one
+    m9 = FakeModel()
+    _encode_one(m9, "shared", "同一句话")
+    encode_cached(m9, "shared", ["同一句话"])
+    assert m9.encoded == ["同一句话"], f"KEE 与检索应共用缓存,只编一次: {m9.encoded}"
+    print("[9] 跨层共享(KEE _encode_one 与检索共用一份,只编一次)OK")
+
+    print("\n共享向量缓存验证全部通过")
+
+
+if __name__ == "__main__":
+    test_emb_cache()

package/python/tests/test_embedding_singleton.py

@@ -0,0 +1,87 @@
+"""
+EmbeddingService 单例(P0 性能修复)测试 —— 全离线,不加载真实重模型。
+
+用一个**不存在的模型名** + HF_HUB_OFFLINE,让 sentence-transformers 加载快速失败,
+从而无需真的载入 7s 的模型,即可确定性地证明:
+  1. 同名模型只发起一次加载(缓存命中不再加载)
+  2. 5 个 SemanticDrift 用同名 → 只加载 1 次(此前是 5 次,即本次 P0 收敛的核心)
+  3. 不同模型名 → 各自一次
+  4. 加载失败时 SemanticDrift 优雅降级 hash 模式,encode/score 行为不变
+"""
+import os, sys
+from pathlib import Path
+os.environ.setdefault("HF_HUB_OFFLINE", "1")
+os.environ.setdefault("TRANSFORMERS_OFFLINE", "1")
+sys.path.insert(0, str(Path(__file__).parent.parent))
+
+from foxclaw.capability import get_text_embedder, embedding_stats
+from foxclaw.harness.harness import SemanticDrift
+
+BOGUS = "foxclaw-nonexistent-model-xyz"
+BOGUS2 = "foxclaw-nonexistent-model-abc"
+
+
+def test_same_name_loads_once():
+    print("\n【1】同名模型只加载一次(缓存命中不重复加载)")
+    before = embedding_stats()["load_attempts"]
+    a = get_text_embedder(BOGUS)
+    b = get_text_embedder(BOGUS)
+    c = get_text_embedder(BOGUS)
+    after = embedding_stats()["load_attempts"]
+    assert after - before == 1, f"同名 3 次调用应只加载 1 次,实际 {after - before}"
+    assert a is b is c, "同名应返回同一个缓存对象(此处均为 None,加载失败)"
+    print("  ✓ 同名调用 3 次 → 加载尝试仅 +1")
+
+
+def test_five_harnesses_one_load():
+    print("\n【2】5 个 SemanticDrift 用同名 → 只加载 1 次(P0 收敛核心)")
+    name = "foxclaw-nonexistent-shared"
+    before = embedding_stats()["load_attempts"]
+    drifts = [SemanticDrift(name) for _ in range(5)]
+    after = embedding_stats()["load_attempts"]
+    assert after - before == 1, f"5 个 SemanticDrift 同名应只加载 1 次,实际 {after - before}(修复前=5)"
+    assert all(d._model is drifts[0]._model for d in drifts), "5 个应共享同一模型引用"
+    print("  ✓ 5 个 SemanticDrift(同名) → 加载尝试仅 +1(修复前为 5)")
+
+
+def test_distinct_names_separate():
+    print("\n【3】不同模型名各自加载一次")
+    before = embedding_stats()["load_attempts"]
+    get_text_embedder(BOGUS2)
+    get_text_embedder(BOGUS2)
+    after = embedding_stats()["load_attempts"]
+    assert after - before == 1
+    st = embedding_stats()
+    assert st["distinct_models"] >= 2
+    print(f"  ✓ 不同名各加载一次;当前缓存 {st['distinct_models']} 个模型")
+
+
+def test_graceful_hash_fallback():
+    print("\n【4】加载失败 → SemanticDrift 降级 hash,行为不变")
+    import numpy as np
+    d = SemanticDrift(BOGUS)
+    assert d.mode == "hash", "bogus 模型加载失败应降级 hash"
+    v = d.encode("活字印刷术由毕昇发明")
+    assert isinstance(v, np.ndarray) and v.shape[0] == SemanticDrift.DIM
+    s_self = d.score("活字印刷术由毕昇发明", d.encode("活字印刷术由毕昇发明"))
+    s_none = d.score("任意", None)
+    assert 0.0 <= s_self <= 0.05 and s_none == 0.0
+    print(f"  ✓ hash 模式 encode/score 正常(自比漂移={s_self:.3f}, 空基线={s_none})")
+
+
+def main():
+    print("=" * 60)
+    print("EmbeddingService 单例 · P0 性能修复(加载 5×→1×)")
+    print("=" * 60)
+    test_same_name_loads_once()
+    test_five_harnesses_one_load()
+    test_distinct_names_separate()
+    test_graceful_hash_fallback()
+    print(f"\n  最终缓存态: {embedding_stats()}")
+    print("\n" + "=" * 60)
+    print("✓ P0 验证完成:同名模型进程内只加载一次,5 Harness 共享 1 份")
+    print("=" * 60)
+
+
+if __name__ == "__main__":
+    main()

package/python/tests/test_envfile.py

@@ -0,0 +1,83 @@
+""".env 的加载规则:非空值优先,空值让路。
+
+回归点(2026-11-08):Windows Machine 级的 DEEPSEEK_API_KEY 是一个早已失效的
+旧 key,`.env` 里是新 key。`load_dotenv()` 默认 override=False,系统变量赢 →
+后端一路读到旧 key → 前端只看到 AuthenticationError,完全看不出是哪一层的问题。
+"""
+
+import os
+
+import pytest
+
+from foxclaw.core.envfile import load_env_file
+
+
+def _write(tmp_path, body: str):
+    p = tmp_path / ".env"
+    p.write_text(body, encoding="utf-8")
+    return p
+
+
+def test_non_empty_value_beats_system_env(tmp_path, monkeypatch):
+    monkeypatch.setenv("DEEPSEEK_API_KEY", "sk-old-invalid")
+    shadows = load_env_file(_write(tmp_path, "DEEPSEEK_API_KEY=sk-new-valid\n"))
+    assert os.environ["DEEPSEEK_API_KEY"] == "sk-new-valid"
+    assert shadows == ["DEEPSEEK_API_KEY"]
+
+
+def test_empty_value_does_not_clear_system_env(tmp_path, monkeypatch):
+    """`.env` 里的空占位不能把系统里真实配好的 key 抹成空串。"""
+    monkeypatch.setenv("OPENAI_API_KEY", "sk-real-from-os")
+    shadows = load_env_file(_write(tmp_path, "OPENAI_API_KEY=\n"))
+    assert os.environ["OPENAI_API_KEY"] == "sk-real-from-os"
+    assert shadows == []
+
+
+def test_missing_key_in_env_file_is_untouched(tmp_path, monkeypatch):
+    monkeypatch.setenv("ANTHROPIC_API_KEY", "sk-keep")
+    load_env_file(_write(tmp_path, "DEEPSEEK_API_KEY=sk-x\n"))
+    assert os.environ["ANTHROPIC_API_KEY"] == "sk-keep"
+
+
+def test_same_value_is_not_reported_as_shadow(tmp_path, monkeypatch):
+    monkeypatch.setenv("DEEPSEEK_API_KEY", "sk-same")
+    shadows = load_env_file(_write(tmp_path, "DEEPSEEK_API_KEY=sk-same\n"))
+    assert shadows == []
+    assert os.environ["DEEPSEEK_API_KEY"] == "sk-same"
+
+
+def test_set_when_absent_from_system(tmp_path, monkeypatch):
+    monkeypatch.delenv("DEEPSEEK_API_KEY", raising=False)
+    shadows = load_env_file(_write(tmp_path, "DEEPSEEK_API_KEY=sk-first\n"))
+    assert os.environ["DEEPSEEK_API_KEY"] == "sk-first"
+    assert shadows == []
+
+
+def test_quotes_and_spaces_are_stripped(tmp_path, monkeypatch):
+    monkeypatch.setenv("DEEPSEEK_API_KEY", "sk-old")
+    load_env_file(_write(tmp_path, 'DEEPSEEK_API_KEY="  sk-quoted  "\n'))
+    assert os.environ["DEEPSEEK_API_KEY"] == "sk-quoted"
+
+
+def test_comments_and_blank_lines_ignored(tmp_path, monkeypatch):
+    monkeypatch.delenv("DEEPSEEK_API_KEY", raising=False)
+    load_env_file(_write(tmp_path, "# a comment\n\n   \nDEEPSEEK_API_KEY=sk-ok\n"))
+    assert os.environ["DEEPSEEK_API_KEY"] == "sk-ok"
+
+
+def test_missing_file_returns_empty(tmp_path):
+    assert load_env_file(tmp_path / "nope.env") == []
+
+
+def test_multiple_shadows_all_reported(tmp_path, monkeypatch):
+    monkeypatch.setenv("DEEPSEEK_API_KEY", "old-1")
+    monkeypatch.setenv("AMAP_MAPS_API_KEY", "old-2")
+    shadows = load_env_file(_write(
+        tmp_path, "DEEPSEEK_API_KEY=new-1\nAMAP_MAPS_API_KEY=new-2\n"))
+    assert sorted(shadows) == ["AMAP_MAPS_API_KEY", "DEEPSEEK_API_KEY"]
+
+
+@pytest.mark.parametrize("value", ["1", "true", "True", "yes"])
+def test_skip_dotenv_values_are_recognised_by_caller(value):
+    """逃生口的值集合在 api/__init__.py 里判定,这里只锁住「这些写法都算开」。"""
+    assert value.strip() in ("1", "true", "True", "yes")

package/python/tests/test_evals_smoke.py

@@ -0,0 +1,90 @@
+"""
+M1 · 治理评测冒烟测试 —— 保证评测骨架本身不腐坏,纳入 run_all 全量回归。
+
+只断言"鲁棒 + 确定性"的部分(工具/范围/循环/恢复/自学习为确定性判定);
+语义维度依赖 embedding 模型质量(见评测 findings:英文 MiniLM 对中文偏弱),
+故对 semantic 只做宽松/结构性断言,避免因模型差异让全量套件抖动。
+"""
+import sys
+from pathlib import Path
+sys.path.insert(0, str(Path(__file__).parent.parent))
+
+from evals.governance.run_evals import run_all_evals
+
+
+def check(cond, msg):
+    if not cond:
+        raise AssertionError(f"✗ {msg}")
+    print(f"  ✓ {msg}")
+
+
+def main():
+    print("=" * 56)
+    print("M1 · Agent 治理评测 · 冒烟")
+    print("=" * 56)
+    rep = run_all_evals(quick=True)
+
+    print("\n【结构】")
+    for k in ("detection", "loop", "recovery", "self_learning", "checks", "findings", "overall_pass"):
+        check(k in rep, f"report 含字段 {k}")
+
+    print("\n【漂移检测 · 鲁棒断言】")
+    det = rep["detection"]
+    for name, d in det.items():
+        if name == "adversarial":
+            continue
+        check(d["hard_fpr"] <= 0.15, f"{name}: 硬误报 hard_fpr={d['hard_fpr']} ≤ 0.15")
+    check(det["tool"]["flag_recall"] == 1.0, "tool: 越权动作标记率 = 1.0")
+    check(det["tool"]["block_recall"] == 1.0, "tool: 越权动作硬停率 = 1.0")
+    check(det["scope"]["flag_recall"] == 1.0, "scope: 范围蔓延标记率 = 1.0")
+
+    emb_mode = det["semantic"].get("embedding_mode") or "unknown"
+    if emb_mode == "transformer":
+        check(isinstance(det["semantic"]["flag_recall"], float)
+              and det["semantic"]["flag_recall"] >= 0.5,
+              "semantic(transformer): 跑题标记率 ≥ 0.5(宽松)")
+    else:
+        print(f"  [降级模式] embedding_mode={emb_mode} → 语义维度已停用(fail-open)")
+        check(det["semantic"]["flag_recall"] == 0.0,
+              "semantic(hash): 语义维度停用后跑题标记率为 0(不再无差别拦截)")
+        check(det["semantic"]["hard_fpr"] == 0.0,
+              "semantic(hash): 降级不再产生硬误报(修复前此值为 1.0)")
+        check(det["semantic"].get("semantic_degraded") is True,
+              "semantic(hash): 报告显式标注 semantic_degraded(失效但可见)")
+        check(det["tool"]["block_recall"] == 1.0,
+              "semantic(hash): 降级期间确定性维度(工具越权)仍须拦得住")
+
+    print("\n【循环检测】")
+    lp = rep["loop"]
+    check(lp["all_patterns_detected"], "repeat/ping_pong/no_progress 全部检出")
+    check(not lp["diverse_false_positive"], "正常多样调用不误报")
+
+    print("\n【崩溃恢复】")
+    rc = rep["recovery"]
+    check(rc["correct"], "中断识别正确(boot_id 防 pid 复用)")
+    check(rc["non_destructive"], "非破坏性:探测外部活进程不误杀")
+
+    print("\n【自学习收敛】")
+    sl = rep["self_learning"]
+    check(sl["weight_monotone_nondecreasing"], "tool 权重随重复违规单调不降")
+    check(all(b == 1.0 for b in sl["block_rate_curve"]), "重复越权每轮都被 BLOCK")
+    check(all(f == 0.0 for f in sl["benign_hard_fpr_curve"]), "学习不产生正常任务硬误报")
+    check(sl["converged"], "自学习整体收敛")
+    check(sl["penalized_tool_proposed"], "越权工具产出 penalize 影子候选(P0-1)")
+    check(sl["penalize_promote_path_ok"], "promote 后 penalize 规则真实生效(P0-1)")
+
+    print("\n【总判定】")
+    check(rep["checks"]["loops_detected"] and rep["checks"]["recovery_ok"]
+          and rep["checks"]["self_learning_converged"], "确定性四项 checks 全绿")
+
+    print("\n" + "=" * 56)
+    print("冒烟通过")
+    print("=" * 56)
+
+
+def test_evals_smoke():
+    main()
+
+
+if __name__ == "__main__":
+    main()