@furongjun1999/dsh-memory 0.4.11 → 0.5.0

package/md_cg/test_autonomy.py

@@ -1,143 +1,143 @@
-# -*- coding: utf-8 -*-
-"""信息差驱动自主探索闭环（autonomy.explore）验证。
-
-断言面：
-  ① 无信号诚实：空反思日志 → 零提案、零步骤（不编造探索价值）
-  ② 信号聚合排序：|d2| 加速度 + BLINDSPOT/DEFER 计数 → 高信息差排前，
-     提案携带证据明细
-  ③ 全链路：提案 → learn_blindspots 五态终判 → 留痕 _explore.jsonl
-  ④ 幂等：重复 explore 终态一致、gap 回写不重复（gap_<sha1(bid)> 幂等）
-  ⑤ D_meta 排序加分：只进 sort_score 与证据，不改 score、不改资格
-     （零信号查询仍不提案；加分每轮一次、循环内复用）
-
-运行：python -m md_cg.test_autonomy
-"""
-from __future__ import annotations
-
-import os
-import shutil
-import tempfile
-
-from . import autonomy
-from .fsutil import append_jsonl
-from .mdcos import MdCGOS
-
-PASS = FAIL = 0
-FAILS = []
-
-
-def ok(cond, label):
-    global PASS, FAIL
-    if cond:
-        PASS += 1
-    else:
-        FAIL += 1
-        FAILS.append(label)
-        print(f"  FAIL {label}")
-
-
-def _sig(cg, t, query, d2, states):
-    append_jsonl(cg.reflection_log,
-                 {"t": t, "query": query, "d_prev": 1.0, "d_curr": 1.0,
-                  "d_delta": 0.0, "d2": d2, "states": states,
-                  "n_results": 3, "feedback": None})
-
-
-def main():
-    tmp = tempfile.mkdtemp(prefix="mdcg_autonomy_")
-    try:
-        root = os.path.join(tmp, "root")
-        os.makedirs(root, exist_ok=True)
-        cg = MdCGOS(root)
-
-        # ---------- ① 无信号诚实 ----------
-        pr = autonomy.proposals(cg)
-        ok(pr["ok"] and not pr["proposals"] and pr["n_signals"] == 0,
-           "①空反思日志 → 零提案（不编造探索价值）")
-        ex = autonomy.explore(cg)
-        ok(ex["ok"] and not ex["steps"],
-           "①b空信号 explore → 零步骤、ok=True")
-
-        # ---------- ② 信号聚合排序 ----------
-        _sig(cg, 1.0, "反应堆冷却方案", 0.9, {"BLINDSPOT": 2})
-        _sig(cg, 2.0, "反应堆冷却方案", 0.7, {"BLINDSPOT": 1})
-        _sig(cg, 3.0, "周末菜单", 0.05, {})
-        pr = autonomy.proposals(cg, limit=3)
-        ps = pr["proposals"]
-        ok(pr["n_signals"] == 2 and len(ps) == 2,
-           "②两查询聚类（同 query 归一）、n_signals=2")
-        ok(ps[0]["query"] == "反应堆冷却方案" and ps[0]["score"] > ps[1]["score"],
-           "②b高信息差排前（Σ|d2|=1.6 + BLINDSPOT×3 ＞ 0.05）")
-        ok("d2" in ps[0]["reason"] and "BLINDSPOT" in ps[0]["reason"],
-           "②c提案携带证据明细（可审计）")
-
-        # ---------- ③ 全链路：提案 → 五态终判 → 留痕 ----------
-        cg.add("k1", "# 功能名：反应堆冷却知识\n"
-                     "# 生效条件：问反应堆冷却方案\n"
-                     "# 子功能：知识片段\n"
-                     "# 执行：陈述知识\n"
-                     "# 验证方式：test\n"
-                     "# 不适用条件：无\n"
-                     "反应堆冷却方案概述。\n",
-               layer="knowledge", verification_basis="test")
-        ex = autonomy.explore(cg, apply=True, actor="test")
-        st0 = ex["steps"][0] if ex["steps"] else {}
-        ok(bool(ex["steps"]) and st0.get("terminal") in
-           ("unknowable", "no_anchor", "unresolved", "carried", "resolved"),
-           f"③提案进入五态终判（terminal={st0.get('terminal')}，"
-           f"routes={st0.get('routes')}）")
-        if st0.get("terminal") in ("carried", "unresolved"):
-            ok(bool(st0.get("written")),
-               f"③b carried/unresolved 已回写 gap_hint（{st0.get('written')}）")
-        else:
-            ok(True, f"③b终态={st0.get('terminal')}：按诚实原则无需回写"
-                     "（resolved=已有可判定终点；no_anchor=先补锚点）")
-        ok(os.path.exists(autonomy._explore_log_path(cg)),
-           "③c探索留痕 _explore.jsonl 落盘")
-
-        # ---------- ④ 幂等 ----------
-        ex2 = autonomy.explore(cg, apply=True, actor="test")
-        st2 = ex2["steps"][0] if ex2["steps"] else {}
-        ok(st2.get("terminal") == st0.get("terminal"),
-           "④重复 explore 终态一致（判定确定性）")
-        if st0.get("terminal") in ("carried", "unresolved"):
-            ok(not st2.get("written"),
-               "④b gap 回写幂等（第二次 written=None，节点已存在）")
-        else:
-            ok(True, "④b本终态无回写动作，幂等性由判定确定性保证")
-
-        # ---------- ⑤ D_meta 排序加分（只影响排序，不改资格） ----------
-        root5 = os.path.join(tmp, "root5")
-        os.makedirs(root5, exist_ok=True)
-        cg5 = MdCGOS(root5)
-        for i in range(50):
-            append_jsonl(cg5.recent_log, {"i": i})
-        _sig(cg5, 1.0, "零信号查询", 0.0, {})
-        _sig(cg5, 2.0, "反应堆冷却方案", 0.9, {"BLINDSPOT": 2})
-        pr5 = autonomy.proposals(cg5, limit=3)
-        ps5 = pr5["proposals"]
-        ok(len(ps5) == 1 and pr5["n_signals"] == 2,
-           "⑤零信号查询仍不提案、n_signals 按原始信号计（加分不改资格）")
-        p0 = ps5[0]
-        ok(p0["score"] == round(autonomy.W_D2 * p0["d2_abs"]
-                                + autonomy.W_BLINDSPOT * p0["blindspot"]
-                                + autonomy.W_DEFER * p0["defer"], 4),
-           "⑤bscore 仍是纯 ΔD 定价（口径零变更）")
-        ok(p0["sort_score"] == round(p0["score"] + p0["d_meta_bonus"], 4)
-           and p0["d_meta_bonus"] == pr5["d_meta"]["bonus"],
-           "⑤c排序键 = ΔD + D_meta 加分（每轮一次、循环内复用）")
-        ok(p0["d_meta_bonus"] > 0 and "D_meta" in p0["reason"]
-           and "不合成" in p0["reason"],
-           "⑤d加分生效且 reason 追加证据并声明不合成（可审计）")
-    finally:
-        shutil.rmtree(tmp, ignore_errors=True)
-
-    print(f"\nautonomy: {PASS} passed, {FAIL} failed")
-    if FAILS:
-        for f in FAILS:
-            print(f"  - {f}")
-    raise SystemExit(1 if FAIL else 0)
-
-
-if __name__ == "__main__":
-    main()
+# -*- coding: utf-8 -*-
+"""信息差驱动自主探索闭环（autonomy.explore）验证。
+
+断言面：
+  ① 无信号诚实：空反思日志 → 零提案、零步骤（不编造探索价值）
+  ② 信号聚合排序：|d2| 加速度 + BLINDSPOT/DEFER 计数 → 高信息差排前，
+     提案携带证据明细
+  ③ 全链路：提案 → learn_blindspots 五态终判 → 留痕 _explore.jsonl
+  ④ 幂等：重复 explore 终态一致、gap 回写不重复（gap_<sha1(bid)> 幂等）
+  ⑤ D_meta 排序加分：只进 sort_score 与证据，不改 score、不改资格
+     （零信号查询仍不提案；加分每轮一次、循环内复用）
+
+运行：python -m md_cg.test_autonomy
+"""
+from __future__ import annotations
+
+import os
+import shutil
+import tempfile
+
+from . import autonomy
+from .fsutil import append_jsonl
+from .mdcos import MdCGOS
+
+PASS = FAIL = 0
+FAILS = []
+
+
+def ok(cond, label):
+    global PASS, FAIL
+    if cond:
+        PASS += 1
+    else:
+        FAIL += 1
+        FAILS.append(label)
+        print(f"  FAIL {label}")
+
+
+def _sig(cg, t, query, d2, states):
+    append_jsonl(cg.reflection_log,
+                 {"t": t, "query": query, "d_prev": 1.0, "d_curr": 1.0,
+                  "d_delta": 0.0, "d2": d2, "states": states,
+                  "n_results": 3, "feedback": None})
+
+
+def main():
+    tmp = tempfile.mkdtemp(prefix="mdcg_autonomy_")
+    try:
+        root = os.path.join(tmp, "root")
+        os.makedirs(root, exist_ok=True)
+        cg = MdCGOS(root)
+
+        # ---------- ① 无信号诚实 ----------
+        pr = autonomy.proposals(cg)
+        ok(pr["ok"] and not pr["proposals"] and pr["n_signals"] == 0,
+           "①空反思日志 → 零提案（不编造探索价值）")
+        ex = autonomy.explore(cg)
+        ok(ex["ok"] and not ex["steps"],
+           "①b空信号 explore → 零步骤、ok=True")
+
+        # ---------- ② 信号聚合排序 ----------
+        _sig(cg, 1.0, "反应堆冷却方案", 0.9, {"BLINDSPOT": 2})
+        _sig(cg, 2.0, "反应堆冷却方案", 0.7, {"BLINDSPOT": 1})
+        _sig(cg, 3.0, "周末菜单", 0.05, {})
+        pr = autonomy.proposals(cg, limit=3)
+        ps = pr["proposals"]
+        ok(pr["n_signals"] == 2 and len(ps) == 2,
+           "②两查询聚类（同 query 归一）、n_signals=2")
+        ok(ps[0]["query"] == "反应堆冷却方案" and ps[0]["score"] > ps[1]["score"],
+           "②b高信息差排前（Σ|d2|=1.6 + BLINDSPOT×3 ＞ 0.05）")
+        ok("d2" in ps[0]["reason"] and "BLINDSPOT" in ps[0]["reason"],
+           "②c提案携带证据明细（可审计）")
+
+        # ---------- ③ 全链路：提案 → 五态终判 → 留痕 ----------
+        cg.add("k1", "# 功能名：反应堆冷却知识\n"
+                     "# 生效条件：问反应堆冷却方案\n"
+                     "# 子功能：知识片段\n"
+                     "# 执行：陈述知识\n"
+                     "# 验证方式：test\n"
+                     "# 不适用条件：无\n"
+                     "反应堆冷却方案概述。\n",
+               layer="knowledge", verification_basis="test")
+        ex = autonomy.explore(cg, apply=True, actor="test")
+        st0 = ex["steps"][0] if ex["steps"] else {}
+        ok(bool(ex["steps"]) and st0.get("terminal") in
+           ("unknowable", "no_anchor", "unresolved", "carried", "resolved"),
+           f"③提案进入五态终判（terminal={st0.get('terminal')}，"
+           f"routes={st0.get('routes')}）")
+        if st0.get("terminal") in ("carried", "unresolved"):
+            ok(bool(st0.get("written")),
+               f"③b carried/unresolved 已回写 gap_hint（{st0.get('written')}）")
+        else:
+            ok(True, f"③b终态={st0.get('terminal')}：按诚实原则无需回写"
+                     "（resolved=已有可判定终点；no_anchor=先补锚点）")
+        ok(os.path.exists(autonomy._explore_log_path(cg)),
+           "③c探索留痕 _explore.jsonl 落盘")
+
+        # ---------- ④ 幂等 ----------
+        ex2 = autonomy.explore(cg, apply=True, actor="test")
+        st2 = ex2["steps"][0] if ex2["steps"] else {}
+        ok(st2.get("terminal") == st0.get("terminal"),
+           "④重复 explore 终态一致（判定确定性）")
+        if st0.get("terminal") in ("carried", "unresolved"):
+            ok(not st2.get("written"),
+               "④b gap 回写幂等（第二次 written=None，节点已存在）")
+        else:
+            ok(True, "④b本终态无回写动作，幂等性由判定确定性保证")
+
+        # ---------- ⑤ D_meta 排序加分（只影响排序，不改资格） ----------
+        root5 = os.path.join(tmp, "root5")
+        os.makedirs(root5, exist_ok=True)
+        cg5 = MdCGOS(root5)
+        for i in range(50):
+            append_jsonl(cg5.recent_log, {"i": i})
+        _sig(cg5, 1.0, "零信号查询", 0.0, {})
+        _sig(cg5, 2.0, "反应堆冷却方案", 0.9, {"BLINDSPOT": 2})
+        pr5 = autonomy.proposals(cg5, limit=3)
+        ps5 = pr5["proposals"]
+        ok(len(ps5) == 1 and pr5["n_signals"] == 2,
+           "⑤零信号查询仍不提案、n_signals 按原始信号计（加分不改资格）")
+        p0 = ps5[0]
+        ok(p0["score"] == round(autonomy.W_D2 * p0["d2_abs"]
+                                + autonomy.W_BLINDSPOT * p0["blindspot"]
+                                + autonomy.W_DEFER * p0["defer"], 4),
+           "⑤bscore 仍是纯 ΔD 定价（口径零变更）")
+        ok(p0["sort_score"] == round(p0["score"] + p0["d_meta_bonus"], 4)
+           and p0["d_meta_bonus"] == pr5["d_meta"]["bonus"],
+           "⑤c排序键 = ΔD + D_meta 加分（每轮一次、循环内复用）")
+        ok(p0["d_meta_bonus"] > 0 and "D_meta" in p0["reason"]
+           and "不合成" in p0["reason"],
+           "⑤d加分生效且 reason 追加证据并声明不合成（可审计）")
+    finally:
+        shutil.rmtree(tmp, ignore_errors=True)
+
+    print(f"\nautonomy: {PASS} passed, {FAIL} failed")
+    if FAILS:
+        for f in FAILS:
+            print(f"  - {f}")
+    raise SystemExit(1 if FAIL else 0)
+
+
+if __name__ == "__main__":
+    main()

package/md_cg/test_bench_governance.py

@@ -1,102 +1,102 @@
-# -*- coding: utf-8 -*-
-"""bench_governance 评估器断言测试：语料守卫/指标定义/确定性/输出结构。"""
-import json
-import os
-import shutil
-import tempfile
-import time
-
-from . import bench_governance as bg
-
-_FAILED = []
-
-
-def ok(cond, label):
-    if not cond:
-        print("FAIL", label)
-        _FAILED.append(label)
-    else:
-        print("pass", label)
-
-
-def main():
-    # ① 语料守卫：当前语料必须合法
-    try:
-        bg._assert_material(time.time())
-        ok(True, "① 语料守卫通过（当前语料合法）")
-    except AssertionError as exc:
-        ok(False, f"① 语料守卫意外失败：{exc}")
-
-    # ② 篡改语料必须被守卫拦截（不可答题泄漏语料词面）
-    saved = list(bg.UNANSWERABLE)
-    try:
-        bg.UNANSWERABLE.append("蜂巢心跳间隔是多少")
-        try:
-            bg._assert_material(time.time())
-            ok(False, "② 篡改语料未被拦截")
-        except AssertionError:
-            ok(True, "② 篡改语料被守卫拦截")
-    finally:
-        bg.UNANSWERABLE[:] = saved
-
-    # ③ 全流程跑通 + 指标定义断言
-    report, root = bg.run()
-    try:
-        g1 = report["g1_correction_propagation"]
-        ok(g1["value"] == 1.0, f"③a g1 完美传播=1.0（got {g1['value']}）")
-        ok(g1["detail"]["dependents"] == 4 and g1["detail"]["updated"] == 4,
-           "③b g1 依赖索引=4 且全部同步")
-
-        g2 = report["g2_contradiction_handling"]
-        ok(g2["value"] == 1.0, f"③c g2 矛盾裁决全对=1.0（got {g2['value']}，detail={g2['detail']}）")
-        ok(all(j["state"] == "REJECT" for j in g2["detail"]["judged"]),
-           "③d 否定节点定点裁决全 REJECT")
-        ok(g2["detail"]["retrieval"]["leaked_negatives"] == [],
-           "③e 检索防线 top-k 无否定节点冒充")
-
-        g3 = report["g3_expired_recall"]
-        ok(g3["value"] == 0.0, f"③f g3 validity 防线残留=0（got {g3['value']}）")
-        ok(g3["detail"]["raw"]["stale_hits"], "③g 默认面确实暴露过期节点（同题竞争成立）")
-        ok(not g3["detail"]["guard"]["stale_hits"], "③h guard 面 top-k 无过期节点")
-
-        g4 = report["g4_refusal_f1"]
-        d4 = g4["detail"]
-        ok(d4["tp"] + d4["fn"] == len(bg.UNANSWERABLE), "③i 不可答集计数守恒")
-        ok(d4["fp"] + d4["tn"] == len(bg.FACTS), "③j 可答集计数守恒")
-        ok(g4["value"] is not None and 0.0 <= g4["value"] <= 1.0,
-           f"③k g4 F1 在 [0,1]（got {g4['value']}）")
-
-        ok(report["meta"]["corpus_nodes"] >= 20, "③l 语料规模守卫")
-        ok(all(report[g]["value"] is not None for g in
-               ("g1_correction_propagation", "g2_contradiction_handling",
-                "g3_expired_recall", "g4_refusal_f1")), "③m 四指标均可计算")
-    finally:
-        shutil.rmtree(root, ignore_errors=True)
-
-    # ④ 确定性：重跑逐位一致
-    r1, root1 = bg.run()
-    r2, root2 = bg.run()
-    shutil.rmtree(root1, ignore_errors=True)
-    shutil.rmtree(root2, ignore_errors=True)
-    strip = lambda r: {g: r[g]["value"] for g in r if g.startswith("g")}  # noqa: E731
-    ok(strip(r1) == strip(r2), "④ 两次运行四指标逐位一致")
-
-    # ⑤ main 输出 JSON 可写且结构完整
-    tmp_dir = tempfile.mkdtemp(prefix="gov_out_")
-    try:
-        tmp_out = os.path.join(tmp_dir, "baseline.json")
-        rc = bg.main(["--out", tmp_out])
-        with open(tmp_out, encoding="utf-8") as f:
-            data = json.load(f)
-        ok(rc == 0 and {"meta", "g1_correction_propagation", "g2_contradiction_handling",
-                        "g3_expired_recall", "g4_refusal_f1",
-                        "baseline_reference"} <= set(data), "⑤ 输出 JSON 结构完整且 exit 0")
-    finally:
-        shutil.rmtree(tmp_dir, ignore_errors=True)
-
-    print("\nbench_governance selftest: %d failed" % len(_FAILED))
-    return 1 if _FAILED else 0
-
-
-if __name__ == "__main__":
-    raise SystemExit(main())
+# -*- coding: utf-8 -*-
+"""bench_governance 评估器断言测试：语料守卫/指标定义/确定性/输出结构。"""
+import json
+import os
+import shutil
+import tempfile
+import time
+
+from . import bench_governance as bg
+
+_FAILED = []
+
+
+def ok(cond, label):
+    if not cond:
+        print("FAIL", label)
+        _FAILED.append(label)
+    else:
+        print("pass", label)
+
+
+def main():
+    # ① 语料守卫：当前语料必须合法
+    try:
+        bg._assert_material(time.time())
+        ok(True, "① 语料守卫通过（当前语料合法）")
+    except AssertionError as exc:
+        ok(False, f"① 语料守卫意外失败：{exc}")
+
+    # ② 篡改语料必须被守卫拦截（不可答题泄漏语料词面）
+    saved = list(bg.UNANSWERABLE)
+    try:
+        bg.UNANSWERABLE.append("蜂巢心跳间隔是多少")
+        try:
+            bg._assert_material(time.time())
+            ok(False, "② 篡改语料未被拦截")
+        except AssertionError:
+            ok(True, "② 篡改语料被守卫拦截")
+    finally:
+        bg.UNANSWERABLE[:] = saved
+
+    # ③ 全流程跑通 + 指标定义断言
+    report, root = bg.run()
+    try:
+        g1 = report["g1_correction_propagation"]
+        ok(g1["value"] == 1.0, f"③a g1 完美传播=1.0（got {g1['value']}）")
+        ok(g1["detail"]["dependents"] == 4 and g1["detail"]["updated"] == 4,
+           "③b g1 依赖索引=4 且全部同步")
+
+        g2 = report["g2_contradiction_handling"]
+        ok(g2["value"] == 1.0, f"③c g2 矛盾裁决全对=1.0（got {g2['value']}，detail={g2['detail']}）")
+        ok(all(j["state"] == "REJECT" for j in g2["detail"]["judged"]),
+           "③d 否定节点定点裁决全 REJECT")
+        ok(g2["detail"]["retrieval"]["leaked_negatives"] == [],
+           "③e 检索防线 top-k 无否定节点冒充")
+
+        g3 = report["g3_expired_recall"]
+        ok(g3["value"] == 0.0, f"③f g3 validity 防线残留=0（got {g3['value']}）")
+        ok(g3["detail"]["raw"]["stale_hits"], "③g 默认面确实暴露过期节点（同题竞争成立）")
+        ok(not g3["detail"]["guard"]["stale_hits"], "③h guard 面 top-k 无过期节点")
+
+        g4 = report["g4_refusal_f1"]
+        d4 = g4["detail"]
+        ok(d4["tp"] + d4["fn"] == len(bg.UNANSWERABLE), "③i 不可答集计数守恒")
+        ok(d4["fp"] + d4["tn"] == len(bg.FACTS), "③j 可答集计数守恒")
+        ok(g4["value"] is not None and 0.0 <= g4["value"] <= 1.0,
+           f"③k g4 F1 在 [0,1]（got {g4['value']}）")
+
+        ok(report["meta"]["corpus_nodes"] >= 20, "③l 语料规模守卫")
+        ok(all(report[g]["value"] is not None for g in
+               ("g1_correction_propagation", "g2_contradiction_handling",
+                "g3_expired_recall", "g4_refusal_f1")), "③m 四指标均可计算")
+    finally:
+        shutil.rmtree(root, ignore_errors=True)
+
+    # ④ 确定性：重跑逐位一致
+    r1, root1 = bg.run()
+    r2, root2 = bg.run()
+    shutil.rmtree(root1, ignore_errors=True)
+    shutil.rmtree(root2, ignore_errors=True)
+    strip = lambda r: {g: r[g]["value"] for g in r if g.startswith("g")}  # noqa: E731
+    ok(strip(r1) == strip(r2), "④ 两次运行四指标逐位一致")
+
+    # ⑤ main 输出 JSON 可写且结构完整
+    tmp_dir = tempfile.mkdtemp(prefix="gov_out_")
+    try:
+        tmp_out = os.path.join(tmp_dir, "baseline.json")
+        rc = bg.main(["--out", tmp_out])
+        with open(tmp_out, encoding="utf-8") as f:
+            data = json.load(f)
+        ok(rc == 0 and {"meta", "g1_correction_propagation", "g2_contradiction_handling",
+                        "g3_expired_recall", "g4_refusal_f1",
+                        "baseline_reference"} <= set(data), "⑤ 输出 JSON 结构完整且 exit 0")
+    finally:
+        shutil.rmtree(tmp_dir, ignore_errors=True)
+
+    print("\nbench_governance selftest: %d failed" % len(_FAILED))
+    return 1 if _FAILED else 0
+
+
+if __name__ == "__main__":
+    raise SystemExit(main())