@furongjun1999/dsh-memory 0.4.7 → 0.4.9

package/md_cg/test_retr_s1.py

@@ -0,0 +1,340 @@
+# -*- coding: utf-8 -*-
+"""S1/S2 检索前门控探针（脚本式，exit code 定成败）。
+
+用法：python -X utf8 -m md_cg.test_retr_s1
+覆盖（含独立复核指出的缺口）：
+- routing.domain_terms / classify_text（取词、去重、limit、空值、无信号）
+- 写入侧：默认关**不写** big_domain（口径不变）；开总开关才写；索引快照同口径
+- 默认关：meta 不含 gates 键（逐字节等价）、scanned=全量
+- S1：按域收敛；域内不足→回退全量；query 无域信号→不收敛
+- S2：observation_position 不匹配→丢；信息不足→放行；time_window 不相交→丢（平铺字段）；全滤→回退
+- backfill_big_domain：dry-run 不改盘、真跑落盘、二次跑幂等
+"""
+import io
+import json
+import os
+import sys
+import tempfile
+
+sys.path.insert(0, os.path.dirname(os.path.dirname(os.path.abspath(__file__))))
+
+from md_cg import nodefile, routing  # noqa: E402
+from md_cg.fsutil import ShardedLog  # noqa: E402
+from md_cg.mdcg import MdCG  # noqa: E402
+
+passed = 0
+failed = 0
+GONG = "工程 结构 应力 梁 截面 桥梁 材料 机械"
+YI = "医学 疾病 诊断 药物 处方 症状 治疗"
+FAR_TW = [10 ** 13, 10 ** 13 + 1]
+
+
+def check(name, cond, detail=""):
+    global passed, failed
+    if cond:
+        passed += 1
+        print("  [PASS] " + name)
+    else:
+        failed += 1
+        print("  [FAIL] " + name + "  " + detail)
+
+
+def _setenv(**kv):
+    old = {}
+    for k, v in kv.items():
+        old[k] = os.environ.get(k)
+        if v is None:
+            os.environ.pop(k, None)
+        else:
+            os.environ[k] = v
+    return old
+
+
+def _restore(old):
+    for k, v in old.items():
+        if v is None:
+            os.environ.pop(k, None)
+        else:
+            os.environ[k] = v
+
+
+def _write_raw(root, nid, layer, content, pos=None, tw=None, bd=None):
+    fm = {"id": nid, "layer": layer, "modality": "text", "importance": 0.5,
+          "confidence": 0.6, "condition_space": {"time_window": tw or [0, 10 ** 12]},
+          "tags": [], "created_at": 0, "access_count": 0, "last_access": 0,
+          "edges": []}
+    if pos:
+        fm["condition_space"]["observation_position"] = pos
+    if bd:
+        fm["big_domain"] = bd
+    p = os.path.join(root, layer, nid + ".md")
+    os.makedirs(os.path.dirname(p), exist_ok=True)
+    io.open(p, "w", encoding="utf-8").write(nodefile.dumps(fm, content))
+    return p
+
+
+def _ids(results):
+    return sorted(r[0]["id"] for r in results)
+
+
+def main():
+    # ---- 1) routing 侧 ----
+    check("domain_terms 空值 -> []", routing.domain_terms("") == [])
+    ts = routing.domain_terms("工程 应力 桥梁 " * 3)
+    check("domain_terms 去重保序", ts == ["工程", "应力", "桥梁"], str(ts[:4]))
+    check("domain_terms limit 生效",
+          len(routing.domain_terms("工程 应力 桥梁 材料", limit=2)) == 2)
+    check("classify_text 有信号 -> 工程",
+          routing.classify_text(GONG) == "工程", str(routing.classify_text(GONG)))
+    check("classify_text 无信号 -> None", routing.classify_text("xyzzy zzz") is None)
+
+    # ---- 2) 写入侧：默认关不写，开总开关才写 ----
+    root = tempfile.mkdtemp(prefix="retr_s1_")
+    old = _setenv(MDCG_RETRIEVAL_PIPELINE=None, MDCG_GATE_S1_DOMAIN=None,
+                  MDCG_GATE_S2_COND=None)
+    cg = MdCG(root)
+    cg.add("n_off", GONG, "knowledge", importance=0.9)
+    cg.add("n_yi", YI, "knowledge", importance=0.5)
+    cg.flush()
+    check("默认关：frontmatter 不写 big_domain",
+          "big_domain" not in (cg.get("n_off")["frontmatter"] or {}))
+    check("默认关：索引快照不含该键",
+          "big_domain" not in (cg.index["nodes"]["n_off"] or {}))
+    check("默认关：索引快照不含 observation_position 键",
+          "observation_position" not in (cg.index["nodes"]["n_off"] or {}))
+
+    # ---- 3) 默认关：meta 逐字节等价 ----
+    _r0, meta = cg.search("工程 应力", k=10, judge=False, record=False)
+    check("默认关：meta 不含 gates 键", "gates" not in meta, str(sorted(meta.keys())))
+    check("默认关：scanned=全量", meta.get("scanned") == 2, str(meta.get("scanned")))
+    ids_off = _ids(_r0)
+
+    # 开总开关后写入 → 落域标签（索引同口径）
+    _setenv(MDCG_RETRIEVAL_PIPELINE="1", MDCG_GATE_S1_DOMAIN="1",
+            MDCG_GATE_S2_COND="0")
+    cg.add("n_gong", GONG + " 坝体受力", "knowledge", importance=0.8)
+    cg.add("n_none", "xyzzy zzz", "knowledge")
+    cg.flush()
+    check("开关开：写入落 big_domain",
+          cg.get("n_gong")["frontmatter"].get("big_domain") == "工程")
+    check("开关开：索引快照同口径",
+          cg.index["nodes"]["n_gong"].get("big_domain") == "工程")
+    check("开关开：无信号仍不写该字段",
+          "big_domain" not in (cg.get("n_none")["frontmatter"] or {}))
+
+    # ---- 4) S1：收敛 / 回退 / 无域信号 ----
+    # 收敛要以「已标域」为前提（未标域节点按兜底池保留）→ 先回填 cg 的存量节点
+    st_bf = cg.backfill_big_domain()
+    check("回填后：存量节点获得域标签",
+          cg.index["nodes"]["n_off"].get("big_domain") == "工程"
+          and cg.index["nodes"]["n_yi"].get("big_domain") == "医学", str(st_bf))
+    _r1, meta = cg.search("工程 应力", k=10, judge=False, record=False)
+    s1 = (meta.get("gates") or {}).get("s1") or {}
+    check("S1 收敛到工程域", s1.get("domain") == "工程", str(s1))
+    check("S1 丢弃异域候选、保留未标域",
+          s1.get("dropped") == 1 and s1.get("in") == 3, str(s1))
+    check("S1 scanned 下降（4 -> 3）", meta.get("scanned") == 3,
+          str(meta.get("scanned")))
+
+    root_fb = tempfile.mkdtemp(prefix="retr_s1fb_")
+    _write_raw(root_fb, "g1", "knowledge", GONG)
+    _write_raw(root_fb, "y1", "knowledge", YI)
+    _write_raw(root_fb, "u1", "knowledge", "xyzzy zzz")   # 无域信号 → 兜底池
+    cgfb = MdCG(root_fb)
+    cgfb.rebuild_index()
+    cgfb.backfill_big_domain()
+    _r2, meta = cgfb.search("工程 应力", k=5, min_results=3, judge=False, record=False)
+    s1 = (meta.get("gates") or {}).get("s1") or {}
+    check("S1 域内不足 -> 回退全量", s1.get("fallback") == "insufficient", str(s1))
+    check("S1 回退后 scanned=全量", meta.get("scanned") == 3, str(meta.get("scanned")))
+
+    # 兜底召回：未标域节点必须留在域内集合里（否则历史节点被域收敛整片丢弃）
+    _r3b, meta = cgfb.search("工程 应力", k=1, judge=False, record=False)
+    s1 = (meta.get("gates") or {}).get("s1") or {}
+    check("S1 保留未标域节点（兜底池）",
+          s1.get("in") == 2 and s1.get("dropped") == 1 and meta.get("scanned") == 2,
+          str(s1) + " scanned=" + str(meta.get("scanned")))
+
+    _r3, meta = cgfb.search("xyzzy zzz", k=10, judge=False, record=False)
+    s1 = (meta.get("gates") or {}).get("s1") or {}
+    check("S1 无域信号 -> 不收敛",
+          s1.get("reason") == "no_domain_signal" and meta.get("scanned") == 3, str(s1))
+
+    # ---- 5) S2：位置 / 时间窗 / 信息不足 / 全滤回退 ----
+    _setenv(MDCG_RETRIEVAL_PIPELINE="1", MDCG_GATE_S1_DOMAIN="0",
+            MDCG_GATE_S2_COND="1")
+    root2 = tempfile.mkdtemp(prefix="retr_s2_")
+    _write_raw(root2, "a", "knowledge", GONG, pos="工程 结构", tw=[0, 10 ** 12])
+    _write_raw(root2, "b", "knowledge", YI, pos="医学 疾病", tw=[0, 10 ** 12])
+    cg2 = MdCG(root2)
+    cg2.rebuild_index()
+
+    _r, meta = cg2.search("xyzzy", k=10, judge=False, record=False,
+                          context={"observation_position": "工程 结构"})
+    s2 = (meta.get("gates") or {}).get("s2") or {}
+    check("S2 位置不匹配被门控", s2.get("dropped") == 1, str(s2))
+
+    _r, meta = cg2.search("xyzzy", k=10, judge=False, record=False, context={})
+    s2 = (meta.get("gates") or {}).get("s2") or {}
+    check("S2 信息不足一律放行", s2.get("dropped") == 0, str(s2))
+
+    _r, meta = cg2.search("xyzzy", k=10, judge=False, record=False,
+                          context={"time_window": FAR_TW})
+    s2 = (meta.get("gates") or {}).get("s2") or {}
+    check("S2 时间窗不相交被门控", s2.get("dropped") == 2, str(s2))
+
+    _r, meta = cg2.search("xyzzy", k=10, judge=False, record=False,
+                          context={"time_window": [0, 100]})
+    s2 = (meta.get("gates") or {}).get("s2") or {}
+    check("S2 时间窗相交放行", s2.get("dropped") == 0, str(s2))
+
+    _r, meta = cg2.search("xyzzy", k=10, judge=False, record=False,
+                          context={"observation_position": "艺术 绘画"})
+    s2 = (meta.get("gates") or {}).get("s2") or {}
+    check("S2 全滤 -> 回退（宁多勿漏）",
+          s2.get("fallback") == "empty" and meta.get("scanned") == 2, str(s2))
+    _restore(old)
+
+    # ---- 6) backfill（运维口径：先开总开关，再补齐存量）----
+    _setenv(MDCG_RETRIEVAL_PIPELINE="1")
+    # 6a 默认关时回填必须是 no-op（不写 fm、不写索引）
+    root6 = tempfile.mkdtemp(prefix="retr_bf0_")
+    _write_raw(root6, "g9", "knowledge", GONG)
+    cg6 = MdCG(root6)
+    cg6.rebuild_index()
+    _setenv(MDCG_RETRIEVAL_PIPELINE=None)
+    st6 = cg6.backfill_big_domain()
+    check("默认关：回填 no-op（skipped）",
+          st6.get("skipped") == "pipeline_disabled" and st6["written"] == 0,
+          str(st6))
+    check("默认关：回填不改 fm/索引",
+          "big_domain" not in (cg6.get("g9")["frontmatter"] or {})
+          and "big_domain" not in cg6.index["nodes"]["g9"])
+    _setenv(MDCG_RETRIEVAL_PIPELINE="1")
+
+    root3 = tempfile.mkdtemp(prefix="retr_bf_")
+    _write_raw(root3, "g1", "knowledge", GONG)
+    _write_raw(root3, "y1", "knowledge", YI)
+    _write_raw(root3, "x1", "knowledge", "xyzzy")
+    cg3 = MdCG(root3)
+    cg3.rebuild_index()
+    st1 = cg3.backfill_big_domain(dry_run=True)
+    check("backfill dry-run 统计",
+          st1["written"] == 2 and st1["no_signal"] == 1, str(st1))
+    check("backfill dry-run 不改盘",
+          cg3.get("g1")["frontmatter"].get("big_domain") is None)
+    st2 = cg3.backfill_big_domain()
+    check("backfill 真跑落盘",
+          st2["written"] == 2
+          and cg3.get("g1")["frontmatter"].get("big_domain") == "工程", str(st2))
+    check("backfill 同步索引",
+          cg3.index["nodes"]["y1"].get("big_domain") == "医学")
+    st3 = cg3.backfill_big_domain()
+    check("backfill 幂等",
+          st3["written"] == 0 and st3["already"] == 2
+          and st3["no_signal"] == 1, str(st3))
+    # 索引持久化：重开库（走 _index_log 重放）后条目仍带域标签
+    cg3r = MdCG(root3)
+    check("backfill 索引持久化（重载可见）",
+          cg3r.index["nodes"]["g1"].get("big_domain") == "工程",
+          str(cg3r.index["nodes"]["g1"].get("big_domain")))
+
+    # 对账支路（真状态）：**磁盘索引缺键**而 frontmatter 有 → 只修索引不重写文件，且修完重载可见。
+    # 造法：rebuild 写出的磁盘索引里删掉该键并清空索引日志（否则日志重放会把键带回来，测试就变成自证）。
+    root4 = tempfile.mkdtemp(prefix="retr_bf2_")
+    _write_raw(root4, "g1", "knowledge", GONG, bd="工程")
+    cg4 = MdCG(root4)
+    cg4.rebuild_index()
+    idx = json.load(io.open(cg4.index_path, encoding="utf-8"))
+    idx["nodes"]["g1"].pop("big_domain", None)
+    io.open(cg4.index_path, "w", encoding="utf-8").write(
+        json.dumps(idx, ensure_ascii=False))
+    ShardedLog.clear(cg4.index_log_dir)
+    cg4 = MdCG(root4)                    # 重载：内存索引确实缺键，而 fm 有
+    check("对账前状态成立（索引缺键 / fm 有键）",
+          cg4.index["nodes"]["g1"].get("big_domain") is None
+          and cg4.get("g1")["frontmatter"].get("big_domain") == "工程")
+    st4d = cg4.backfill_big_domain(dry_run=True)
+    check("对账 dry-run：只统计不改内存",
+          st4d["index_synced"] == 1
+          and "big_domain" not in cg4.index["nodes"]["g1"], str(st4d))
+    st4 = cg4.backfill_big_domain()
+    check("backfill 对账支路修索引",
+          st4["index_synced"] == 1 and st4["written"] == 0, str(st4))
+    cg4r = MdCG(root4)
+    check("对账后重载索引可见（真持久化）",
+          cg4r.index["nodes"]["g1"].get("big_domain") == "工程",
+          str(cg4r.index["nodes"]["g1"].get("big_domain")))
+
+    # ---- 7) 默认口径等价（真比较，不是自证）----
+    # 7a 无候选分支：开关关时 meta 不得多出 gates 键
+    _setenv(MDCG_RETRIEVAL_PIPELINE=None, MDCG_GATE_S1_DOMAIN=None,
+            MDCG_GATE_S2_COND=None)
+    _r5, meta5 = cg.search("xyzzy", layer="goals", k=10, judge=False,
+                           record=False)
+    check("默认关：无候选分支 meta 无 gates 键",
+          meta5.get("reason") == "no_candidates" and "gates" not in meta5,
+          str(meta5))
+    # 7b 同库同查询：关→开→关 三次，首末两次的 results/meta 必须完全一致
+    _ra, meta_a = cg.search("工程 应力", k=10, judge=False, record=False)
+    snap_a = ([(r[0]["id"], round(float(r[1]), 6), sorted(r[0].keys()))
+               for r in _ra],
+              {k: v for k, v in meta_a.items() if k != "gates"})
+    _setenv(MDCG_RETRIEVAL_PIPELINE="1", MDCG_GATE_S1_DOMAIN="1",
+            MDCG_GATE_S2_COND="1")
+    cg.search("工程 应力", k=10, judge=False, record=False)
+    _setenv(MDCG_RETRIEVAL_PIPELINE=None, MDCG_GATE_S1_DOMAIN=None,
+            MDCG_GATE_S2_COND=None)
+    _rb, meta_b = cg.search("工程 应力", k=10, judge=False, record=False)
+    snap_b = ([(r[0]["id"], round(float(r[1]), 6), sorted(r[0].keys()))
+               for r in _rb],
+              {k: v for k, v in meta_b.items() if k != "gates"})
+    check("默认口径等价：关→开→关 首末一致", snap_a == snap_b,
+          str(snap_a)[:160] + " vs " + str(snap_b)[:160])
+    check("默认关：meta 仍不含 gates 键", "gates" not in meta_b,
+          str(sorted(meta_b.keys())))
+
+    # 7c 候选 entry 形状：默认关时即便节点带 observation_position/big_domain，
+    #     返回的候选也不得平铺这两个键（独立复核指出的默认口径变化点）
+    root5 = tempfile.mkdtemp(prefix="retr_shape_")
+    _write_raw(root5, "p1", "knowledge", GONG, pos="工程 结构", bd="工程")
+    cg5 = MdCG(root5)                    # 默认关下建索引
+    cg5.rebuild_index()
+    check("默认关：索引条目不落门控字段",
+          "big_domain" not in cg5.index["nodes"]["p1"]
+          and "observation_position" not in cg5.index["nodes"]["p1"],
+          str(sorted(cg5.index["nodes"]["p1"].keys())))
+    _r5b, _m5b = cg5.search("工程 应力", k=10, judge=False, record=False)
+    check("默认关：候选 entry 无门控字段",
+          all(("big_domain" not in r[0] and "observation_position" not in r[0])
+              for r in _r5b),
+          str([sorted(r[0].keys()) for r in _r5b])[:160])
+
+    # 7d 索引曾在「开启态」构建（条目带门控键）→ 默认关时 search 必须返回剥离后的候选
+    _setenv(MDCG_RETRIEVAL_PIPELINE="1")
+    root7 = tempfile.mkdtemp(prefix="retr_resid_")
+    _write_raw(root7, "q1", "knowledge", GONG, pos="工程 结构", bd="工程")
+    cg7 = MdCG(root7)
+    cg7.rebuild_index()
+    check("开启态：索引条目带门控键",
+          cg7.index["nodes"]["q1"].get("big_domain") == "工程"
+          and cg7.index["nodes"]["q1"].get("observation_position") == "工程 结构")
+    _setenv(MDCG_RETRIEVAL_PIPELINE=None)
+    _r7, _m7 = cg7.search("工程 应力", k=10, judge=False, record=False)
+    check("默认关：残留门控键被剥离（候选）",
+          bool(_r7) and all(("big_domain" not in r[0]
+                             and "observation_position" not in r[0])
+                            for r in _r7),
+          str([sorted(r[0].keys()) for r in _r7])[:160])
+    check("默认关：索引条目本身未被就地改写",
+          cg7.index["nodes"]["q1"].get("big_domain") == "工程")
+    _restore(old)
+
+    print("\ntest_retr_s1: %d 通过 / %d 失败" % (passed, failed))
+    return 0 if failed == 0 else 1
+
+
+if __name__ == "__main__":
+    if hasattr(sys.stdout, "reconfigure"):
+        sys.stdout.reconfigure(encoding="utf-8")
+    sys.exit(main())

package/md_cg/test_retr_s1b.py

@@ -0,0 +1,209 @@
+# -*- coding: utf-8 -*-
+"""S1b 细口径桶收敛探针（脚本式，exit code 定成败）。
+
+用法：python -X utf8 -m md_cg.test_retr_s1b
+覆盖：
+- bucket_key_readable：'cond_感知系统_d94e90d2' → '感知系统'；orphan/空 → ''；无哈希段保持
+- 默认关：无 gates 键；关→开→关 结果一致；子开关未设不生效
+- S1b 开：query 侧推断出候选桶 → 候选收敛（out < in）、**orphan/无桶恒留兜底**、不引入任何新节点
+- 命中不到任何桶 → no_key_match 且不收敛（回退）
+- topk / min_sim 可配（topk=0 关闭；min_sim=1.0 只认完全同名键）
+- 幂等：重复检索 / 索引重建后同口径
+"""
+import os
+import sys
+import tempfile
+
+sys.path.insert(0, os.path.dirname(os.path.dirname(os.path.abspath(__file__))))
+
+from md_cg import routing  # noqa: E402
+from md_cg.mdcg import MdCG  # noqa: E402
+
+passed = 0
+failed = 0
+QUERY = "感知系统 记忆 检索"
+
+
+def check(name, cond, detail=""):
+    global passed, failed
+    if cond:
+        passed += 1
+        print("  [PASS] " + name)
+    else:
+        failed += 1
+        print("  [FAIL] " + name + "  " + detail)
+
+
+def _setenv(**kv):
+    old = {}
+    for k, v in kv.items():
+        old[k] = os.environ.get(k)
+        if v is None:
+            os.environ.pop(k, None)
+        else:
+            os.environ[k] = v
+    return old
+
+
+def _restore(old):
+    for k, v in old.items():
+        if v is None:
+            os.environ.pop(k, None)
+        else:
+            os.environ[k] = v
+
+
+def _ids(results):
+    return sorted(r[0]["id"] for r in results)
+
+
+def _build(root):
+    cg = MdCG(root)
+    cg.add("s1", "感知系统 记忆 节点 检索", "knowledge", tags=["domain:感知系统"])
+    cg.add("s2", "感知系统 缓存 命中", "knowledge", tags=["domain:感知系统"])
+    cg.add("g1", "图数据库 遍历 邻接", "knowledge", tags=["domain:图数据库"])
+    cg.add("o1", "感知系统 但无域标签（落 orphan）", "knowledge")
+    cg.add("c1", "感知系统 情境层（不参与分桶）", "contextual")
+    cg.flush()
+    return cg
+
+
+def main():
+    # ---- 1) key 解析 ----
+    check("bucket_key_readable 剥离哈希",
+          routing.bucket_key_readable("cond_感知系统_d94e90d2") == "感知系统")
+    check("bucket_key_readable orphan/空 → ''",
+          routing.bucket_key_readable("orphan") == ""
+          and routing.bucket_key_readable("") == ""
+          and routing.bucket_key_readable(None) == "")
+    check("bucket_key_readable 无哈希段保持",
+          routing.bucket_key_readable("cond_letta-code") == "letta-code")
+
+    root = tempfile.mkdtemp(prefix="retr_s1b_")
+    cg = _build(root)
+    b_sense = [e.get("bucket") for e in cg.index["nodes"].values()
+               if e.get("path", "").endswith("s1.md")][0]
+    check("写入侧确实落了桶", bool(b_sense) and b_sense != "orphan", str(b_sense))
+
+    # ---- 2) 默认关 ----
+    old = _setenv(MDCG_RETRIEVAL_PIPELINE=None, MDCG_GATE_S1B_BUCKET=None,
+                  MDCG_GATE_S1_DOMAIN=None, MDCG_GATE_S2_COND=None,
+                  MDCG_BUCKET_TOPK=None, MDCG_BUCKET_MIN_SIM=None)
+    r_off, m_off = cg.search(QUERY, k=10, judge=False, record=False)
+    base = _ids(r_off)
+    check("默认关：meta 不含 gates 键", "gates" not in m_off,
+          str(sorted(m_off.keys())))
+
+    # ---- 3) 子开关未设 → 不生效 ----
+    _setenv(MDCG_RETRIEVAL_PIPELINE="1", MDCG_GATE_S1_DOMAIN="0",
+            MDCG_GATE_S2_COND="0", MDCG_GATE_S1B_BUCKET=None)
+    r_x, m_x = cg.search(QUERY, k=10, judge=False, record=False)
+    check("子开关未设：S1b 不生效",
+          "s1b" not in (m_x.get("gates") or {}) and _ids(r_x) == base,
+          str(m_x.get("gates")))
+
+    # ---- 4) S1b 开：桶收敛 + orphan 兜底 + 不引入新节点 ----
+    _setenv(MDCG_GATE_S1B_BUCKET="1", MDCG_BUCKET_TOPK="1", MDCG_BUCKET_MIN_SIM="0.34")
+    r1, m1 = cg.search(QUERY, k=10, judge=False, record=False)
+    g1 = (m1.get("gates") or {}).get("s1b") or {}
+    ids1 = _ids(r1)
+    check("S1b 推断出感知系统桶",
+          g1.get("keys") == [b_sense], str(g1))
+    check("S1b 收敛：out < in", g1.get("out", 99) < g1.get("in", 0), str(g1))
+    check("S1b 收敛后不引入任何新节点（⊆ 默认关结果集）",
+          set(ids1) <= set(base), str(ids1) + " vs " + str(base))
+    check("S1b 保留 orphan 兜底节点", "o1" in ids1, str(ids1))
+    check("S1b 丢弃异桶节点", "g1" not in ids1, str(ids1))
+
+    # ---- 5) 命中不到桶 → 回退不收敛（与「S1b 关」的同查询结果逐条比较，避免自证）----
+    _setenv(MDCG_GATE_S1B_BUCKET=None)
+    r2c, _m2c = cg.search("完全无关的词 词组", k=10, judge=False, record=False)
+    _setenv(MDCG_GATE_S1B_BUCKET="1")
+    r2, m2 = cg.search("完全无关的词 词组", k=10, judge=False, record=False)
+    g2 = (m2.get("gates") or {}).get("s1b") or {}
+    check("无键命中：no_key_match 且结果与关闭时一致",
+          g2.get("reason") == "no_key_match" and "out" not in g2
+          and _ids(r2) == _ids(r2c),
+          str(g2) + " " + str(_ids(r2)) + " vs " + str(_ids(r2c)))
+    # 5b) S4 显式关闭时 S1b 仍生效（证明门控未与 S4 耦合）
+    _setenv(MDCG_GATE_S4_LAYER="0")
+    r2d, m2d = cg.search(QUERY, k=10, judge=False, record=False)
+    g2d = (m2d.get("gates") or {}).get("s1b") or {}
+    check("S4 显式关闭时 S1b 仍生效",
+          g2d.get("keys") == [b_sense] and "s4" not in (m2d.get("gates") or {}),
+          str(g2d) + " gates=" + str(sorted((m2d.get("gates") or {}).keys())))
+    _setenv(MDCG_GATE_S4_LAYER=None)
+
+    # 5c) 候选不足 → 回退全量（专属小库：两个分桶各 1 节点、无 orphan；min_results=3）
+    root_ins = tempfile.mkdtemp(prefix="retr_s1bins_")
+    cgi = MdCG(root_ins)
+    cgi.add("a1", "感知系统 记忆", "knowledge", tags=["domain:感知系统"])
+    cgi.add("b1", "图数据库 邻接", "knowledge", tags=["domain:图数据库"])
+    cgi.flush()
+    bi = [e.get("bucket") for e in cgi.index["nodes"].values()
+          if e.get("path", "").endswith("a1.md")][0]
+    # 对照组必须用**同一个 min_results**（否则比的是两次不同检索，不是回退等价）
+    _setenv(MDCG_GATE_S1B_BUCKET=None)
+    r_ioff, _m = cgi.search(QUERY, k=10, judge=False, record=False, min_results=3)
+    _setenv(MDCG_GATE_S1B_BUCKET="1")
+    r_ins, m_ins = cgi.search(QUERY, k=10, judge=False, record=False, min_results=3)
+    gi = (m_ins.get("gates") or {}).get("s1b") or {}
+    check("候选不足 → fallback=insufficient",
+          gi.get("fallback") == "insufficient" and gi.get("keys") == [bi], str(gi))
+    check("回退时审计 out 记真实输出（= in，不回退口径误导）",
+          gi.get("out") == gi.get("in") == 2 and gi.get("would_keep") == 1, str(gi))
+    check("回退后结果与 S1b 关闭时一致（含异桶节点）",
+          _ids(r_ins) == _ids(r_ioff) and "b1" in _ids(r_ins),
+          str(_ids(r_ins)) + " vs " + str(_ids(r_ioff)))
+
+    # ---- 6) topk / min_sim 可配 ----
+    _setenv(MDCG_BUCKET_TOPK="0")
+    r3, m3 = cg.search(QUERY, k=10, judge=False, record=False)
+    g3 = (m3.get("gates") or {}).get("s1b") or {}
+    check("topk=0：关闭且候选不变",
+          g3.get("reason") == "disabled_by_topk" and _ids(r3) == base, str(g3))
+    _setenv(MDCG_BUCKET_TOPK="2", MDCG_BUCKET_MIN_SIM="0.0")
+    r4, m4 = cg.search(QUERY, k=10, judge=False, record=False)
+    g4 = (m4.get("gates") or {}).get("s1b") or {}
+    check("topk=2 + min_sim=0：取到 2 个桶",
+          len(g4.get("keys") or []) == 2, str(g4))
+    _setenv(MDCG_BUCKET_TOPK="1", MDCG_BUCKET_MIN_SIM="1.0")
+    r5, m5 = cg.search("感知", k=10, judge=False, record=False)
+    g5 = (m5.get("gates") or {}).get("s1b") or {}
+    check("min_sim=1.0：部分匹配不入选", g5.get("reason") == "no_key_match", str(g5))
+    _setenv(MDCG_BUCKET_MIN_SIM="0.34")
+    r6, m6 = cg.search("感知", k=10, judge=False, record=False)
+    g6 = (m6.get("gates") or {}).get("s1b") or {}
+    check("min_sim=0.34：部分匹配（感知→感知系统 0.5）入选",
+          g6.get("keys") == [b_sense], str(g6))
+
+    # ---- 7) 幂等 ----
+    _setenv(MDCG_BUCKET_TOPK="1", MDCG_BUCKET_MIN_SIM="0.34")
+    ra, ma = cg.search(QUERY, k=10, judge=False, record=False)
+    rb, mb = cg.search(QUERY, k=10, judge=False, record=False)
+    check("S1b 幂等：重复检索同口径",
+          _ids(ra) == _ids(rb)
+          and (ma.get("gates") or {}).get("s1b") == (mb.get("gates") or {}).get("s1b"))
+    cg.rebuild_index()
+    rc, mc = cg.search(QUERY, k=10, judge=False, record=False)
+    check("S1b 幂等：索引重建后同口径",
+          _ids(rc) == _ids(ra)
+          and (mc.get("gates") or {}).get("s1b") == (ma.get("gates") or {}).get("s1b"))
+
+    # ---- 8) 默认口径等价 ----
+    _setenv(MDCG_RETRIEVAL_PIPELINE=None, MDCG_GATE_S1B_BUCKET=None,
+            MDCG_GATE_S1_DOMAIN=None, MDCG_GATE_S2_COND=None,
+            MDCG_BUCKET_TOPK=None, MDCG_BUCKET_MIN_SIM=None)
+    r9, m9 = cg.search(QUERY, k=10, judge=False, record=False)
+    check("默认口径等价：关→开→关 首末一致",
+          _ids(r9) == base and "gates" not in m9, str(_ids(r9)))
+    _restore(old)
+
+    print("\ntest_retr_s1b: %d 通过 / %d 失败" % (passed, failed))
+    return 0 if failed == 0 else 1
+
+
+if __name__ == "__main__":
+    if hasattr(sys.stdout, "reconfigure"):
+        sys.stdout.reconfigure(encoding="utf-8")
+    sys.exit(main())