@furongjun1999/dsh-memory 0.5.0 → 0.6.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (156) hide show
  1. package/README.md +572 -465
  2. package/docs/README.md +1 -0
  3. package/docs/eval/DSH/346/227/245/345/277/227/347/264/242/345/274/225v2_/345/217/202/350/200/203dsh-TUI_v1.0.md +248 -0
  4. package/docs/eval/DSH/346/227/245/345/277/227/347/264/242/345/274/225/346/225/210/346/236/234/351/252/214/350/257/201_v1.0.md +209 -0
  5. package/docs/eval/DSH/347/253/257/347/274/272/351/231/267/344/270/223/351/241/271_v1.0.md +254 -0
  6. package/docs/eval/P1b2_/350/257/273/351/235/242/344/273/243/351/231/205/344/277/256/345/244/215_v1.0.md +124 -0
  7. package/docs/eval/bench_lingshu_self/bench_self.py +140 -0
  8. package/docs/eval/bench_lingshu_self/self_bench_result.json +404 -0
  9. package/docs/eval/bench_lingshu_self//347/201/265/346/236/242/350/207/252/345/272/223/347/253/257/345/210/260/347/253/257/346/243/200/347/264/242/345/256/236/346/265/213_v1.0.md +38 -0
  10. package/docs/eval//344/270/215/345/217/257/351/235/240/346/200/247/350/220/275/345/234/260_P0_v1.0.md +185 -0
  11. package/docs/eval//345/217/221/345/270/20306_/344/270/200/351/224/256/351/205/215/347/275/256/344/270/216DSH0172_v1.0.md +171 -0
  12. package/docs/eval//346/225/205/351/232/234/346/263/250/345/205/245/345/256/236/346/265/213_v1.0.md +422 -0
  13. package/docs/eval//347/253/257/345/210/260/347/253/257LoCoMoQA/345/220/214/345/217/243/345/276/204/345/257/271/347/205/247_v1.0.md +100 -0
  14. package/docs/eval//347/253/257/345/210/260/347/253/257/345/271/262/346/211/260/346/261/240/350/257/204/346/265/213_/347/241/256/345/256/232/346/200/247/350/243/201/345/206/263vsLLM_judge_v1.1.md +197 -0
  15. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v1.md +156 -0
  16. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v10.md +210 -0
  17. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v11.md +227 -0
  18. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v12.md +203 -0
  19. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v13.md +233 -0
  20. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v14.md +191 -0
  21. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v15.md +213 -0
  22. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v16.md +214 -0
  23. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v17.md +199 -0
  24. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v18.md +183 -0
  25. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v19.md +207 -0
  26. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v2.md +156 -0
  27. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v3.md +152 -0
  28. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v4.md +128 -0
  29. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v5.md +114 -0
  30. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v6.md +192 -0
  31. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v7.md +187 -0
  32. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v8.md +207 -0
  33. package/docs/eval//347/274/272/351/231/267/346/214/226/346/216/230_/350/207/252/344/270/273/350/277/255/344/273/243_v9.md +203 -0
  34. package/docs/hive//345/256/211/345/205/250/345/256/241/350/256/241/345/256/236/351/224/232_v0.1.md +202 -0
  35. package/docs/hive//350/234/202/345/267/242/345/217/214/345/256/236/344/276/213/344/272/222/351/252/214_/350/256/276/350/256/241/345/256/232/347/250/277.md +19 -3
  36. package/docs/images/lingshu-moonlight-covenant-poster-preview.jpg +0 -0
  37. package/docs/images/lingshu-moonlight-covenant-poster.png +0 -0
  38. package/docs/mdcg//345/212/237/350/203/275/350/260/203/347/224/250/346/230/240/345/260/204/350/241/250_v0.1.md +40 -40
  39. package/docs/theory//344/270/215/345/217/257/351/235/240/345/256/232/347/220/206/344/270/216/345/244/261/346/225/210/344/274/230/345/205/210/346/241/206/346/236/266_v0.3.md +365 -0
  40. package/docs//344/270/215/345/217/257/351/235/240/346/200/247/347/220/206/350/256/272_v0.1.md +343 -0
  41. package/dsh/cordis-patch-profile-web.example.yml +35 -0
  42. package/lib/bridge.d.ts +9 -0
  43. package/lib/bridge.js +35 -0
  44. package/lib/cli.d.ts +3 -0
  45. package/lib/cli.js +66 -0
  46. package/lib/index.js +7 -1
  47. package/lib/init.d.ts +88 -0
  48. package/lib/init.js +287 -0
  49. package/lib/lib/roleplay_web.js +530 -443
  50. package/lib/lib/token_store.d.ts +7 -1
  51. package/lib/lib/token_store.js +12 -3
  52. package/md_cg/audit.py +12 -1
  53. package/md_cg/backfill.py +16 -15
  54. package/md_cg/backfill_bucket_zh.py +35 -0
  55. package/md_cg/bench_e2e_judge.py +532 -0
  56. package/md_cg/bench_e2e_locomo_qa.py +368 -0
  57. package/md_cg/bench_e2e_qa.py +256 -0
  58. package/md_cg/branches.py +18 -2
  59. package/md_cg/ccgc.py +3 -2
  60. package/md_cg/chain.py +19 -4
  61. package/md_cg/consolidate.py +7 -6
  62. package/md_cg/crosscheck.py +4 -3
  63. package/md_cg/crypto.py +439 -437
  64. package/md_cg/datapath.py +395 -335
  65. package/md_cg/evidence.py +8 -3
  66. package/md_cg/export.py +3 -1
  67. package/md_cg/forgetting.py +2 -2
  68. package/md_cg/fsutil.py +48 -0
  69. package/md_cg/hotcache.py +255 -238
  70. package/md_cg/interop.py +161 -22
  71. package/md_cg/judgment_manifest.py +177 -0
  72. package/md_cg/links.py +655 -622
  73. package/md_cg/mcp_server.py +282 -31
  74. package/md_cg/mdcg.py +702 -126
  75. package/md_cg/mdcos.py +454 -68
  76. package/md_cg/mreview/govern.py +5 -4
  77. package/md_cg/postings.py +4 -2
  78. package/md_cg/readcache.py +76 -18
  79. package/md_cg/reconcile.py +228 -0
  80. package/md_cg/review_cli.py +215 -0
  81. package/md_cg/routing.py +28 -0
  82. package/md_cg/run_tests.py +211 -0
  83. package/md_cg/scrub.py +862 -852
  84. package/md_cg/security.py +385 -275
  85. package/md_cg/selfreport.py +3 -2
  86. package/md_cg/signer.py +565 -562
  87. package/md_cg/sources.py +3 -2
  88. package/md_cg/stg.py +6 -0
  89. package/md_cg/sustain.py +1168 -1138
  90. package/md_cg/test_access_hints.py +147 -0
  91. package/md_cg/test_branch_discard_tombstone.py +136 -0
  92. package/md_cg/test_branches.py +259 -249
  93. package/md_cg/test_chain_read_isolate.py +168 -0
  94. package/md_cg/test_datapath_device_name.py +203 -0
  95. package/md_cg/test_emit_negtail_cache.py +156 -0
  96. package/md_cg/test_en_pipeline.py +186 -166
  97. package/md_cg/test_govern_directread.py +421 -0
  98. package/md_cg/test_i32_hotcache_env_key.py +218 -0
  99. package/md_cg/test_identity_attribution.py +228 -147
  100. package/md_cg/test_index_crossprocess_reload.py +301 -0
  101. package/md_cg/test_index_durability.py +238 -224
  102. package/md_cg/test_interop.py +4 -2
  103. package/md_cg/test_interop_judgment.py +228 -0
  104. package/md_cg/test_issue39_utf8_stdio.py +273 -0
  105. package/md_cg/test_links_concurrent_write.py +188 -0
  106. package/md_cg/test_merge_upsert.py +168 -0
  107. package/md_cg/test_n123_derive_expiry_chain.py +205 -0
  108. package/md_cg/test_n130_verify_falsified_protect.py +185 -0
  109. package/md_cg/test_n131_merge_gate.py +205 -0
  110. package/md_cg/test_none_id_write_guard.py +165 -0
  111. package/md_cg/test_p1x_ref_root.py +160 -0
  112. package/md_cg/test_p27_docindex.py +774 -765
  113. package/md_cg/test_p2_mcp.py +3 -0
  114. package/md_cg/test_p32_backfill.py +304 -298
  115. package/md_cg/test_p39_verify_flow.py +90 -50
  116. package/md_cg/test_p47_session_view.py +60 -25
  117. package/md_cg/test_propose_tail_index.py +157 -0
  118. package/md_cg/test_read_scope_b27.py +277 -0
  119. package/md_cg/test_readcache_default_on.py +168 -0
  120. package/md_cg/test_readcache_precise_inval.py +270 -0
  121. package/md_cg/test_readcache_prodpath.py +55 -7
  122. package/md_cg/test_reconcile_v0.py +294 -0
  123. package/md_cg/test_retr_s1.py +6 -2
  124. package/md_cg/test_retr_s1b.py +67 -0
  125. package/md_cg/test_retr_s7.py +8 -0
  126. package/md_cg/test_retr_s9_entity_ctx.py +181 -175
  127. package/md_cg/test_retr_score_once.py +208 -0
  128. package/md_cg/test_review_cli_attribution.py +177 -0
  129. package/md_cg/test_review_cli_visibility.py +235 -0
  130. package/md_cg/test_review_onepass.py +170 -0
  131. package/md_cg/test_rrf_graph_seed_cache.py +154 -0
  132. package/md_cg/test_security_audit.py +155 -0
  133. package/md_cg/test_security_audit_b26.py +161 -0
  134. package/md_cg/test_security_audit_v21.py +250 -0
  135. package/md_cg/test_semantic_canonical.py +255 -241
  136. package/md_cg/test_session_isolation.py +168 -0
  137. package/md_cg/test_snapshot_autoclose.py +187 -0
  138. package/md_cg/test_tail_watermark_race.py +208 -0
  139. package/md_cg/test_tenant_env_override_warn.py +139 -0
  140. package/md_cg/test_tenant_registry_corrupt_warn.py +151 -0
  141. package/md_cg/test_v14_fixes.py +415 -397
  142. package/md_cg/test_verify_dirty_reconcile.py +157 -0
  143. package/md_cg/theory.py +276 -273
  144. package/md_cg/tokens.py +734 -677
  145. package/md_cg/units.py +3 -2
  146. package/md_cg/vision_evidence.py +4 -3
  147. package/md_cg/whitebox_kb/wisdom/code_solidified.json +6195 -6195
  148. package/md_cg/whitebox_kb/wisdom/multilang_ir.py +128 -124
  149. package/md_cg/writepipe.py +554 -550
  150. package/package.json +11 -2
  151. package/src/bridge.ts +434 -401
  152. package/src/cli.ts +65 -0
  153. package/src/index.ts +526 -518
  154. package/src/init.ts +347 -0
  155. package/src/lib/roleplay_web.ts +1019 -932
  156. package/src/lib/token_store.ts +202 -192
@@ -0,0 +1,532 @@
1
+ # -*- coding: utf-8 -*-
2
+ """端到端干扰池评测:确定性裁决层 vs LLM-as-judge(2026-09-23 · 外部建议里程碑)
3
+
4
+ 评测问题:公开数据集 locomo-zh-500 上,当候选池里「错误答案长得像正确答案」时——
5
+ arm_base 裸五路融合排序(无裁决对照)
6
+ arm_firewall 灵枢确定性裁决层(judge_qualification 四态 + judge_ranking 防火墙)
7
+ arm_llm LLM-as-judge(同一候选面逐卡资格裁决,语义阅读)
8
+ 三臂谁能把 gold 守在 top1?退化曲线随干扰浓度如何变化?
9
+
10
+ 公平性三原则:
11
+ 1) 同管线:gold 与全部合成干扰走同一 CCG 六要素写入函数,生效条件由节点自身
12
+ 字段机械合成(主体/时间窗口/主题),不看题面——两个裁决器都无题面捷径可抄。
13
+ 2) 同候选:三臂共享同一融合候选(五路 sum RRF);firewall 与 LLM 都只做资格
14
+ 裁决,裁决机制不同(词面条件四态 vs 语义阅读)。
15
+ 3) 可证伪:合成干扰不设任何「方便防火墙剔除」的标记(不适用条件一律诚实写
16
+ 「无」)——防火墙若无效、LLM 若翻车,都如实报,不粉饰。
17
+
18
+ 干扰家族(每题合成、按家族顺序截断到 level 条;id 前缀 x_ 保证排在 gold 之后,
19
+ 平局兜底偏向 gold——对我方保守):
20
+ D2 实体互换 摘要中双方名字互换 + 主体换人:「谁说的/谁做的」答案错,词面几乎同款
21
+ D3p/D3m 时间错位 同一事实 ±1 年:查询不含时间词时原则上不可区分(诚实边界)
22
+ D4 否定澄清 「澄清:此前所说「…」并不属实」:否认该事实,词面高度重叠
23
+ D1 同话题硬负例不合成——语料其余 566 条 turn 即天然干扰池,全 level 在场
24
+
25
+ 浓度梯度:level∈{0,1,2,4} = 每题注入前 level 条合成干扰(500 题全部注入、池共享;
26
+ level=0 即零干扰锚点池)。家族级归因在 level=4 池上做。
27
+
28
+ 指标:hit@1/5/10、MRR(各臂排序);top1 置换归因(gold/x_d2/x_d3/x_d4/天然);
29
+ gold 被合成干扰压过率;LLM 臂加报 gold-qualified 率 / 弃权率 / 两轮自一致性。
30
+
31
+ 诚实边界:
32
+ · 本评测为 CCG 化写入(已发布 locomo 主链路成绩是五槽裸串口径),零干扰锚点
33
+ 与 94.6% 只做量级对照,不做逐位复现声明。
34
+ · 题面为关键词串(与检索同源);LLM 拿到的查询与引擎完全同面。位置偏差以
35
+ 逐位 qualified 率诊断呈现,v1 不做候选旋转。
36
+ · LLM temperature=0 仍非严格确定,以两轮独立调用的一致性量化;结果含缓存
37
+ (--data-root/llm_cache,键含轮次),重跑命中缓存不重复计费。
38
+
39
+ 跑法:
40
+ python -X utf8 -m md_cg.bench_e2e_judge --quick # 冒烟 20题×level 0,1×无LLM
41
+ python -X utf8 -m md_cg.bench_e2e_judge # 全量 120题×4级×3臂+LLM两轮
42
+ python -X utf8 -m md_cg.bench_e2e_judge --skip-llm # 只跑确定性两臂
43
+ 环境:DEEPSEEK_API_KEY(LLM 臂);数据落 --data-root(默认 D:/program/test/e2e_judge)
44
+ """
45
+ from __future__ import annotations
46
+
47
+ import argparse
48
+ import hashlib
49
+ import json
50
+ import os
51
+ import random
52
+ import re
53
+ import shutil
54
+ import sys
55
+ import time
56
+ import urllib.request
57
+ from concurrent.futures import ThreadPoolExecutor
58
+
59
+ HERE = os.path.dirname(os.path.dirname(os.path.abspath(__file__)))
60
+ if HERE not in sys.path:
61
+ sys.path.insert(0, HERE)
62
+
63
+ from md_cg.mdcos import MdCGOS # noqa: E402
64
+ from md_cg import nodefile # noqa: E402
65
+
66
+ DATA_SRC = os.path.join(HERE, "data", "benchmarks", "locomo-zh-500")
67
+ DEFAULT_ROOT = r"D:\program\test\e2e_judge"
68
+ FUSION_KW = dict(paths=("lexical", "bucket", "entity", "graph", "fuzzy"),
69
+ fusion="sum")
70
+ LEVELS_DEFAULT = (0, 1, 2, 4)
71
+ FAMILIES = ("D2", "D3p", "D3m", "D4") # 每题合成顺序;level 截断
72
+ FAM_PREFIX = {"D2": "x_d2", "D3p": "x_d3p", "D3m": "x_d3m", "D4": "x_d4"}
73
+
74
+
75
+ # ---------------------------------------------------------------- 数据装载
76
+ def load_src():
77
+ corpus = [json.loads(ln) for ln
78
+ in open(os.path.join(DATA_SRC, "corpus567.jsonl"),
79
+ encoding="utf-8") if ln.strip()]
80
+ questions = [json.loads(ln) for ln
81
+ in open(os.path.join(DATA_SRC, "questions500.jsonl"),
82
+ encoding="utf-8") if ln.strip()]
83
+ return corpus, questions
84
+
85
+
86
+ def speakers_by_scene(corpus):
87
+ m = {}
88
+ for c in corpus:
89
+ scene = c["id"].split("_session")[0]
90
+ m.setdefault(scene, set()).add(c.get("speaker") or "")
91
+ return {k: sorted(v) for k, v in m.items() if len(v) >= 2}
92
+
93
+
94
+ # ---------------------------------------------------------------- CCG 写入面
95
+ def ccg_card(summary, identity, time_s, terms, node_id):
96
+ """gold 与合成干扰共用同一写入函数(公平性原则 1)。
97
+
98
+ 生效条件只含节点自身字段(主体/时间窗口/主题),不含任何题面信息;
99
+ 不适用条件一律诚实写「无」——合成干扰不携带可被负条件路剔除的标记。
100
+ """
101
+ terms_s = "、".join(terms)
102
+ lines = [f"{summary}({identity},{time_s})",
103
+ f"# 功能名:会话记忆 {node_id}",
104
+ f"# 生效条件:主体={identity};时间窗口={time_s};主题={terms_s}",
105
+ "# 子功能:episodic 会话片段(对话摘要转写)",
106
+ "# 执行:陈述会话事实",
107
+ "# 验证方式:据会话记录核对",
108
+ "# 不适用条件:无"]
109
+ return "\n".join(lines) + "\n"
110
+
111
+
112
+ def _shift_year(time_s, delta):
113
+ return re.sub(r"(\d{4})", lambda m: str(int(m.group(1)) + delta),
114
+ str(time_s), count=1)
115
+
116
+
117
+ def _swap_names(text, a, b):
118
+ return text.replace(a, "\x00").replace(b, a).replace("\x00", b)
119
+
120
+
121
+ def synth_for_question(q, corpus_map, spk):
122
+ """一题的合成干扰(全家族),返回 [(fam, node_id, card), ...]。"""
123
+ evs = [corpus_map[t] for t in (q.get("evidence_turns") or [])
124
+ if t in corpus_map]
125
+ if not evs:
126
+ return []
127
+ ev = evs[0]
128
+ zf = ev.get("zh_fields") or {}
129
+ summary = str(zf.get("summary") or ev.get("zh") or "")
130
+ identity = str(zf.get("identity") or ev.get("speaker") or "")
131
+ time_s = str(zf.get("time") or "")
132
+ terms = [str(t) for t in (zf.get("terms") or [])]
133
+ scene = ev["id"].split("_session")[0]
134
+ pair = spk.get(scene) or []
135
+ other = next((s for s in pair if s and s != identity), None)
136
+ qid = q["qid"]
137
+ out = []
138
+ if other: # D2 实体互换
139
+ s2 = _swap_names(summary, identity, other)
140
+ t2 = [_swap_names(t, identity, other) for t in terms]
141
+ out.append(("D2", f"{FAM_PREFIX['D2']}_{qid}",
142
+ ccg_card(s2, other, time_s, t2, f"{FAM_PREFIX['D2']}_{qid}")))
143
+ if time_s: # D3p / D3m 时间错位
144
+ for fam, d in (("D3p", 1), ("D3m", -1)):
145
+ t3 = _shift_year(time_s, d)
146
+ nid = f"{FAM_PREFIX[fam]}_{qid}"
147
+ out.append((fam, nid, ccg_card(summary, identity, t3, terms, nid)))
148
+ s4 = f"澄清:此前所说「{summary}」并不属实" # D4 否定澄清
149
+ nid = f"{FAM_PREFIX['D4']}_{qid}"
150
+ out.append(("D4", nid, ccg_card(s4, identity, time_s, terms, nid)))
151
+ return out
152
+
153
+
154
+ # ---------------------------------------------------------------- 池构建
155
+ def build_pool(level, corpus, questions, corpus_map, spk, root_dir):
156
+ """level=每题注入的合成干扰条数(按 FAMILIES 顺序截断)。带指纹缓存。"""
157
+ synth_all = [] # 全 500 题都合成(池共享、更真实)
158
+ for q in questions:
159
+ synth_all.append(synth_for_question(q, corpus_map, spk))
160
+ n_synth = sum(len(s[:level]) for s in synth_all)
161
+ fp_src = hashlib.md5(
162
+ json.dumps([len(corpus), len(questions)]).encode()).hexdigest()[:8]
163
+ root = os.path.join(root_dir, "pools", f"level{level}")
164
+ manifest = os.path.join(root, "_manifest.json")
165
+ want = {"fp": fp_src, "level": level, "corpus": len(corpus),
166
+ "synth": n_synth}
167
+ if os.path.isfile(manifest):
168
+ try:
169
+ if json.load(open(manifest, encoding="utf-8")) == want \
170
+ and os.path.isdir(os.path.join(root, "mem")):
171
+ return MdCGOS(os.path.join(root, "mem")), n_synth
172
+ except Exception:
173
+ pass # 陈化即重建
174
+ if os.path.isdir(root):
175
+ shutil.rmtree(root)
176
+ os.makedirs(root, exist_ok=True)
177
+ cg = MdCGOS(os.path.join(root, "mem"))
178
+ cards = {}
179
+ for c in corpus: # gold 天然面
180
+ zf = c.get("zh_fields") or {}
181
+ nid = c["id"]
182
+ cards[nid] = ccg_card(str(zf.get("summary") or c.get("zh") or ""),
183
+ str(zf.get("identity") or c.get("speaker") or ""),
184
+ str(zf.get("time") or ""),
185
+ [str(t) for t in (zf.get("terms") or [])], nid)
186
+ for s in synth_all:
187
+ for fam, nid, card in s[:level]:
188
+ assert nid not in cards, f"干扰 id 冲突 {nid}"
189
+ cards[nid] = card
190
+ bad = [nid for nid, cd in cards.items()
191
+ if not nodefile.ccg_completeness(cd)["complete"]]
192
+ assert not bad, f"CCG 六要素不全(不应发生): {bad[:3]}"
193
+ for nid, card in cards.items():
194
+ cg.add(nid, card, layer="knowledge", verification_basis="data")
195
+ json.dump(want, open(manifest, "w", encoding="utf-8"))
196
+ return cg, n_synth
197
+
198
+
199
+ # ---------------------------------------------------------------- 检索两臂
200
+ def run_det_arms(cg, q, k=10):
201
+ gold = set(q.get("evidence_turns") or [])
202
+ base, _mb = cg.search_rrf(q["question"], k=k, judge=False, **FUSION_KW)
203
+ fw, _mf = cg.search_rrf(q["question"], k=k, judge=True,
204
+ judge_ranking=True, **FUSION_KW)
205
+ return {"gold": gold,
206
+ "base": [r[0]["id"] for r in base],
207
+ "firewall": [r[0]["id"] for r in fw],
208
+ "fw_states": [((r[2] or {}).get("state") if len(r) > 2 else None)
209
+ for r in fw],
210
+ "base_nodes": [r[0] for r in base],
211
+ "fw_nodes": [r[0] for r in fw]}
212
+
213
+
214
+ # ---------------------------------------------------------------- LLM 裁决
215
+ LLM_SYS = (
216
+ "你是记忆系统的资格裁决器。给定一个查询和若干条候选记忆卡,逐条判断该卡"
217
+ "是否有资格作为回答该查询的证据。判定标准:卡的内容真实包含查询所问的事实"
218
+ "(主题一致且事实成立;澄清/否认类内容不构成该事实的证据;主体或时间与查询"
219
+ "冲突时同样不合格)。\n"
220
+ "只输出一行 JSON,不要解释、不要代码围栏,格式:\n"
221
+ '{"verdicts":[{"no":1,"qualified":true,"reason":"不超过20字"},...]}'
222
+ )
223
+
224
+
225
+ def llm_chat(model, base, key, messages, timeout=120, max_tokens=1500,
226
+ temperature=0.0, extra_payload=None):
227
+ body = {"model": model, "messages": messages,
228
+ "temperature": temperature, "max_tokens": max_tokens}
229
+ if extra_payload:
230
+ body.update(extra_payload)
231
+ payload = json.dumps(body).encode("utf-8")
232
+ req = urllib.request.Request(
233
+ base.rstrip("/") + "/chat/completions", data=payload,
234
+ headers={"Content-Type": "application/json",
235
+ "Authorization": f"Bearer {key}"})
236
+ t0 = time.time()
237
+ with urllib.request.urlopen(req, timeout=timeout) as resp:
238
+ data = json.loads(resp.read().decode("utf-8"))
239
+ content = data["choices"][0]["message"].get("content") or ""
240
+ return content, (data.get("usage") or {}), time.time() - t0
241
+
242
+
243
+ def llm_user_prompt(q, cand_nodes):
244
+ lines = [f"查询:{q['question']}", "", "候选记忆卡:"]
245
+ for i, nd in enumerate(cand_nodes, 1):
246
+ content = str(nd.get("content") or "")[:400]
247
+ lines.append(f"【{i}】{content}")
248
+ lines.append("")
249
+ lines.append("请逐卡输出资格判定 JSON。")
250
+ return "\n".join(lines)
251
+
252
+
253
+ def parse_verdicts(raw, n):
254
+ """解析 LLM 裁决 JSON → {no: qualified};解析失败返回 None(≠空判定)。"""
255
+ s = raw or ""
256
+ i, j = s.find("{"), s.rfind("}")
257
+ verdicts = {}
258
+ if i >= 0 and j > i:
259
+ try:
260
+ obj = json.loads(s[i:j + 1])
261
+ for v in obj.get("verdicts") or []:
262
+ no = v.get("no")
263
+ if isinstance(no, int) and 1 <= no <= n:
264
+ verdicts[no] = bool(v.get("qualified"))
265
+ except ValueError:
266
+ pass
267
+ if not verdicts: # 解析失败=该题无裁决(计入 err)
268
+ return None
269
+ return verdicts
270
+
271
+
272
+ def llm_judge_one(cfg, q, cand_nodes, rnd, cache_dir):
273
+ """一轮 LLM 资格裁决(含缓存)。返回 (qualified_ids, tokens, dt, cached)。"""
274
+ prompt = llm_user_prompt(q, cand_nodes)
275
+ key_hex = hashlib.md5(json.dumps(
276
+ [cfg["model"], cfg["base"], prompt, rnd], ensure_ascii=False)
277
+ .encode("utf-8")).hexdigest()
278
+ cpath = os.path.join(cache_dir, key_hex + ".json")
279
+ if os.path.isfile(cpath):
280
+ d = json.load(open(cpath, encoding="utf-8"))
281
+ return (d["qualified"], d["tokens"], 0.0, True)
282
+ raw, usage, dt = llm_chat(cfg["model"], cfg["base"], cfg["key"],
283
+ [{"role": "system", "content": LLM_SYS},
284
+ {"role": "user", "content": prompt}],
285
+ timeout=cfg["timeout"])
286
+ v = parse_verdicts(raw, len(cand_nodes))
287
+ if v is None:
288
+ raise ValueError(f"LLM 输出不可解析:{raw[:120]!r}")
289
+ ids = [cand_nodes[no - 1]["id"] for no in sorted(v) if v[no]]
290
+ d = {"qualified": ids, "raw": raw[:800],
291
+ "tokens": int(usage.get("total_tokens") or 0), "round": rnd}
292
+ json.dump(d, open(cpath, "w", encoding="utf-8"), ensure_ascii=False)
293
+ return ids, d["tokens"], dt, False
294
+
295
+
296
+ def llm_reorder(base_ids, qualified):
297
+ """qualified 优先(保持基序),其余殿后——与防火墙 keep-降权同构。"""
298
+ qs = [i for i in base_ids if i in set(qualified)]
299
+ rest = [i for i in base_ids if i not in set(qualified)]
300
+ return qs + rest
301
+
302
+
303
+ # ---------------------------------------------------------------- 指标
304
+ def rank_of(gold, ids):
305
+ return next((i for i, nid in enumerate(ids, 1) if nid in gold), 0)
306
+
307
+
308
+ def classify(nid):
309
+ for fam, p in FAM_PREFIX.items():
310
+ if nid.startswith(p + "_"):
311
+ return fam
312
+ return "natural" if not nid.startswith("x_") else "x_other"
313
+
314
+
315
+ def arm_metrics(rows, key):
316
+ n = len(rows)
317
+ st = {"h1": 0, "h5": 0, "h10": 0, "mrr": 0.0,
318
+ "top1": {"gold": 0, "D2": 0, "D3p": 0, "D3m": 0, "D4": 0,
319
+ "natural": 0, "x_other": 0},
320
+ "gold_outranked_by_synth": 0}
321
+ for r in rows:
322
+ ids = r[key]
323
+ gold = r["gold"]
324
+ rk = rank_of(gold, ids)
325
+ if rk == 1:
326
+ st["h1"] += 1
327
+ if 0 < rk <= 5:
328
+ st["h5"] += 1
329
+ if 0 < rk <= 10:
330
+ st["h10"] += 1
331
+ if rk:
332
+ st["mrr"] += 1.0 / rk
333
+ st["top1"][classify(ids[0])] += 1 if ids else 0
334
+ gr = rk
335
+ synth_before_gold = any(
336
+ nid.startswith("x_")
337
+ for nid in ids[:(gr - 1 if gr else len(ids))])
338
+ if synth_before_gold:
339
+ st["gold_outranked_by_synth"] += 1
340
+ return st
341
+
342
+
343
+ def fmt_row(name, st, n):
344
+ t1 = st["top1"]
345
+ return (f" {name:<10} hit@1={100*st['h1']/n:5.1f}% hit@5={100*st['h5']/n:5.1f}%"
346
+ f" hit@10={100*st['h10']/n:5.1f}% MRR={st['mrr']/n:.4f}"
347
+ f" top1置换[D2={t1['D2']} D3={t1['D3p']+t1['D3m']} D4={t1['D4']}"
348
+ f" 天然={t1['natural']}]")
349
+
350
+
351
+ # ---------------------------------------------------------------- 主流程
352
+ def main(argv=None):
353
+ ap = argparse.ArgumentParser(
354
+ description="端到端干扰池评测:确定性裁决层 vs LLM-as-judge")
355
+ ap.add_argument("--data-root", default=DEFAULT_ROOT)
356
+ ap.add_argument("--n", type=int, default=120, help="评测题数(种子采样)")
357
+ ap.add_argument("--seed", type=int, default=7)
358
+ ap.add_argument("--levels", default="0,1,2,4")
359
+ ap.add_argument("--arms", default="base,firewall,llm")
360
+ ap.add_argument("--rounds", type=int, default=2, help="LLM 独立轮数")
361
+ ap.add_argument("--model", default="deepseek-chat")
362
+ ap.add_argument("--base-url", default="https://api.deepseek.com/v1")
363
+ ap.add_argument("--key", default="")
364
+ ap.add_argument("--workers", type=int, default=6)
365
+ ap.add_argument("--timeout", type=int, default=120)
366
+ ap.add_argument("--k", type=int, default=10)
367
+ ap.add_argument("--quick", action="store_true", help="冒烟:20题×0,1级×无LLM")
368
+ ap.add_argument("--skip-llm", action="store_true")
369
+ a = ap.parse_args(argv)
370
+
371
+ if a.quick:
372
+ a.n, a.levels, a.skip_llm = 20, "0,1", True
373
+ levels = [int(x) for x in a.levels.split(",") if x.strip() != ""]
374
+ arms = [x.strip() for x in a.arms.split(",") if x.strip()]
375
+ use_llm = ("llm" in arms) and not a.skip_llm
376
+ key = a.key or os.environ.get("DEEPSEEK_API_KEY") or ""
377
+ if use_llm and not key:
378
+ print("[error] LLM 臂需要 DEEPSEEK_API_KEY 或 --key(或 --skip-llm)")
379
+ return 2
380
+
381
+ os.makedirs(os.path.join(a.data_root, "results"), exist_ok=True)
382
+ cache_dir = os.path.join(a.data_root, "llm_cache")
383
+ os.makedirs(cache_dir, exist_ok=True)
384
+
385
+ corpus, questions = load_src()
386
+ corpus_map = {c["id"]: c for c in corpus}
387
+ spk = speakers_by_scene(corpus)
388
+ rnd = random.Random(a.seed)
389
+ sample = sorted(rnd.sample(questions, min(a.n, len(questions))),
390
+ key=lambda q: q["qid"])
391
+ print(f"[e2e_judge] 语料 {len(corpus)} · 题目 {len(questions)} · "
392
+ f"采样 {len(sample)}(seed={a.seed}) · levels={levels} · arms={arms}"
393
+ + (f" · LLM={a.model}×{a.rounds}轮" if use_llm else " · 无LLM"))
394
+ print(f"[e2e_judge] 数据根:{a.data_root}")
395
+
396
+ all_out = {"meta": {"seed": a.seed, "n": len(sample), "levels": levels,
397
+ "model": a.model if use_llm else None,
398
+ "k": a.k}, "levels": {}}
399
+ for lv in levels:
400
+ t0 = time.time()
401
+ cg, n_synth = build_pool(lv, corpus, questions, corpus_map, spk,
402
+ a.data_root)
403
+ print(f"\n===== level {lv}(池={len(corpus)+n_synth} 节点,"
404
+ f"合成干扰 {n_synth} 条)· 建池 {time.time()-t0:.1f}s =====")
405
+ rows = []
406
+ for q in sample:
407
+ det = run_det_arms(cg, q, k=a.k)
408
+ rows.append({"qid": q["qid"], "qtype": q.get("qtype"),
409
+ "question": q["question"], **det})
410
+ n = len(rows)
411
+ lv_out = {"pool": len(corpus) + n_synth, "synth": n_synth,
412
+ "rows_count": n}
413
+ for arm in ("base", "firewall"):
414
+ if arm in arms:
415
+ st = arm_metrics(rows, arm)
416
+ print(fmt_row(arm, st, n))
417
+ lv_out[arm] = st
418
+ # 四态分布(firewall 诊断面)
419
+ if "firewall" in arms:
420
+ sd = {"ACCEPT": 0, "DEFER": 0, "REJECT": 0, "BLINDSPOT": 0}
421
+ for r in rows:
422
+ for s in r["fw_states"]:
423
+ sd[s] = sd.get(s, 0) + 1
424
+ tot = sum(sd.values()) or 1
425
+ print(" firewall四态(top10): " + " ".join(
426
+ f"{k2}={v}({100*v/tot:.0f}%)" for k2, v in sd.items() if v))
427
+ lv_out["fw_states"] = sd
428
+ # LLM 臂
429
+ if use_llm:
430
+ cfg = {"model": a.model, "base": a.base_url, "key": key,
431
+ "timeout": a.timeout}
432
+ llm_rows = []
433
+ t1 = time.time()
434
+
435
+ def work(args):
436
+ r, rd = args
437
+ qobj = {"qid": r["qid"], "question": r["question"]}
438
+ try:
439
+ qids, toks, dt, cached = llm_judge_one(
440
+ cfg, qobj, r["base_nodes"], rd, cache_dir)
441
+ return {"qid": r["qid"], "round": rd, "qualified": qids,
442
+ "tokens": toks, "latency": dt, "cached": cached,
443
+ "order": llm_reorder(r["base"], qids),
444
+ "gold": r["gold"], "base": r["base"]}
445
+ except Exception as exc: # noqa: BLE001
446
+ return {"qid": r["qid"], "round": rd, "error":
447
+ f"{type(exc).__name__}: {exc}", "gold": r["gold"],
448
+ "base": r["base"], "order": r["base"],
449
+ "qualified": None, "tokens": 0, "latency": 0.0,
450
+ "cached": False}
451
+ tasks = [(r, rd) for rd in range(1, a.rounds + 1) for r in rows]
452
+ with ThreadPoolExecutor(max_workers=a.workers) as ex:
453
+ llm_rows = list(ex.map(work, tasks))
454
+ for rd in range(1, a.rounds + 1):
455
+ rr = [x for x in llm_rows if x["round"] == rd]
456
+ for x in rr:
457
+ x_ref = next(y for y in rows if y["qid"] == x["qid"])
458
+ x["order"] = (llm_reorder(x_ref["base"], x["qualified"])
459
+ if x["qualified"] is not None
460
+ else x_ref["base"])
461
+ rd_rows = [{"gold": x["gold"], "llm": x["order"]} for x in rr]
462
+ st = arm_metrics(
463
+ [{"gold": d["gold"], "llm": d["llm"]} for d in rd_rows],
464
+ "llm")
465
+ errs = sum(1 for x in rr if x.get("error"))
466
+ cached = sum(1 for x in rr if x.get("cached"))
467
+ toks = sum(x["tokens"] for x in rr)
468
+ print(fmt_row(f"llm(r{rd})", st, n)
469
+ + f" err={errs} cache={cached} tok={toks}")
470
+ lv_out[f"llm_r{rd}"] = st
471
+ lv_out[f"llm_r{rd}_diag"] = {"errors": errs,
472
+ "cached": cached, "tokens": toks}
473
+ # gold-qualified 率 + 弃权率(round1)
474
+ r1 = {x["qid"]: x for x in llm_rows if x["round"] == 1}
475
+ gq = ab = 0
476
+ for x in r1.values():
477
+ if x["qualified"] is None:
478
+ continue
479
+ if not x["qualified"]:
480
+ ab += 1
481
+ elif set(x["qualified"]) & x["gold"]:
482
+ gq += 1
483
+ print(f" llm诊断: gold获qualified={100*gq/n:.1f}% "
484
+ f"全弃权={100*ab/n:.1f}%")
485
+ lv_out["llm_diag"] = {"gold_qualified": gq, "abstain": ab}
486
+ # 两轮自一致性
487
+ if a.rounds >= 2:
488
+ r2 = {x["qid"]: x for x in llm_rows if x["round"] == 2}
489
+ same_top = agree_v = pair = 0
490
+ for qid, x1 in r1.items():
491
+ x2 = r2.get(qid)
492
+ if not x2 or x1["qualified"] is None \
493
+ or x2["qualified"] is None:
494
+ continue
495
+ pair += 1
496
+ if x1["order"][:1] == x2["order"][:1]:
497
+ same_top += 1
498
+ s1, s2 = set(x1["qualified"]), set(x2["qualified"])
499
+ if s1 == s2:
500
+ agree_v += 1
501
+ if pair:
502
+ print(f" llm自一致性: top1一致={100*same_top/pair:.1f}% "
503
+ f"qualified集一致={100*agree_v/pair:.1f}% "
504
+ f"(n={pair})")
505
+ lv_out["llm_selfconsistency"] = {
506
+ "top1": same_top, "set": agree_v, "pairs": pair}
507
+ print(f" LLM 臂耗时 {time.time()-t1:.1f}s")
508
+ # 逐题留档(gold 序列化-safe)
509
+ for x in llm_rows:
510
+ if isinstance(x.get("gold"), set):
511
+ x["gold"] = sorted(x["gold"])
512
+ lv_out["llm_rows"] = llm_rows
513
+ all_out["levels"][lv] = lv_out
514
+ # 行级明细落盘(报告取证用;文件名含采样指纹,防不同规模运行互相覆盖)
515
+ detail = [{"qid": r["qid"], "qtype": r["qtype"], "gold":
516
+ sorted(r["gold"]), "base": r["base"],
517
+ "firewall": r["firewall"]} for r in rows]
518
+ json.dump(detail, open(os.path.join(
519
+ a.data_root, "results",
520
+ f"detail_L{lv}_n{len(sample)}_s{a.seed}.json"), "w",
521
+ encoding="utf-8"), ensure_ascii=False, indent=1)
522
+
523
+ out_path = os.path.join(a.data_root, "results",
524
+ f"summary_{time.strftime('%Y%m%d_%H%M%S')}.json")
525
+ json.dump(all_out, open(out_path, "w", encoding="utf-8"),
526
+ ensure_ascii=False, indent=1)
527
+ print(f"\n[e2e_judge] 完成。汇总 → {out_path}")
528
+ return 0
529
+
530
+
531
+ if __name__ == "__main__":
532
+ sys.exit(main())