@furongjun1999/dsh-memory 0.7.2 → 0.7.4

package/md_cg/test_datapath_device_name.py

@@ -19,6 +19,14 @@ paths.json 直值面）改走该辅助。非 Windows 平台 ``\\\\.\\aux`` 是
 承接面：``mcp_server.main()`` 启动早期对 root/aux 各探一次，ValueError →
 stderr 告警 + return 2（对照 `_md_cg_` 前缀守卫先例「启动即拒绝，不带病运行」）。
 
+issue #57 加固（判据与 OS 行为解耦）：较新 Windows 构建的 GetFullPathNameW 不再把
+「<目录>\\aux」吞成 ``\\.\aux``，前缀判据随之失效（报告人红单：aux/con/com1/lpt1
+漏判、nul 未漏，本机旧构建仍吞、复现不了该红）——``md_cg/datapath.py`` 新增
+``_RESERVED_DEVICE_NAMES`` 与纯函数 ``_reserved_device_tail``（末段直判），
+``_abs_host_path`` 条件改为「设备前缀判据 或 末段直判」两因并置。§7 谓词表直调
+纯函数（平台无关闭集）；§8 把模块所用 ``os.path.abspath`` 临时换成恒等函数、模拟
+报告人系统复现漏判现场——删掉「或末段直判」后 §8 在 Windows 上必转红（变异自证锚点）。
+
 隔离纪律：四个覆盖键（MDCG_STATE_ROOT/MDCG_DATA_ROOT/MDCG_ROOT/MDCG_AUX_ROOT）
 与 DSH_HOME 以 os.environ 副本注入、finally 逐键还原；探针路径全部是
 tempfile.mkdtemp 下**不存在**的纯字符串（或正常临时子目录），不创建任何含
@@ -40,10 +48,12 @@ except AttributeError:
     pass
 
 from .datapath import (ENV_AUX_ROOT, ENV_DATA_ROOT, ENV_MDCG_ROOT,
-                       ENV_STATE_ROOT, aux_root, data_root, mdcg_root,
-                       state_root)
+                       ENV_STATE_ROOT, _reserved_device_tail, aux_root,
+                       data_root, mdcg_root, state_root)
 
-FLOOR = 8            # 断言总数下限（防假绿）
+# 断言总数下限（防假绿）：含 [7] 谓词表 35 条 + [8] 现场模拟 2 条，
+# 按新增断言数上调后仍留 ≥8 条余量。
+FLOOR = 50
 PASS, FAIL = 0, 0
 
 #: 守卫注入/还原面（含 DSH_HOME——state_root 的第二档，一并与真实环境隔离）
@@ -182,8 +192,57 @@ def main():
               "_probe_root" in mwin and "_probe_aux" in mwin
               and "except ValueError" in mwin and "return 2" in mwin,
               "main() 首段缺承接受理")
+        check("5g _abs_host_path 源窗口含 _reserved_device_tail( 调用"
+              "（末段直判与设备前缀判据并置，issue #57）",
+              "_reserved_device_tail(" in _func_window(src, "_abs_host_path"))
+
+        # ---- 7. 末段直判谓词表（issue #57）：_reserved_device_tail 纯函数窗口 ----
+        # 谓词表取自实测闭集：会被吞的形态必须全判真（含变形 aux.txt/aux.tar.gz/
+        # "aux."/"aux "（尾空格）/aux..b 与绝对路径末段/带尾分隔符形态）；不吞的
+        # 形态必须全判假——com0/lpt0/com10/lpt10 数字越界、auxx/auxiliary 非设备名、
+        # ".aux" 名字以点开头不拆扩展名。纯函数不触盘、无平台分支，Windows/POSIX 同判。
+        print("[7] 末段直判谓词表（_reserved_device_tail，纯字符串·平台无关）")
+        for case in ("aux", "AUX", "Aux", "aux.txt", "aux.tar.gz", "aux.",
+                     "aux ", "aux..b", "con", "prn", "nul", "com1", "com9",
+                     "lpt1", "lpt9", "com\u00b9", "com\u00b2", "com\u00b3",
+                     "lpt\u00b9", "lpt\u00b2", "lpt\u00b3", "conin$", "conout$",
+                     "D:\\probe\\aux", "D:\\probe\\aux\\", "D:\\probe\\aux.txt"):
+            check(f"7·真·{case!r}: 判为保留设备名末段（须拦）",
+                  _reserved_device_tail(case), "判为 False（漏拦）")
+        for case in ("com0", "lpt0", "com10", "lpt10", "auxx", ".aux",
+                     "auxiliary", "", "D:\\probe\\com0"):
+            check(f"7·假·{case!r}: 不判保留设备名末段（须放行）",
+                  not _reserved_device_tail(case), "判为 True（过拦）")
+
+        # ---- 8. issue #57 现场模拟：abspath 不改写绝对路径（新 Windows 构建）----
+        # 报告人系统（较新 Windows 构建）的 GetFullPathNameW 不再把「<目录>\aux」
+        # 吞成 \\.\aux——既有前缀判据（r.startswith("\\\\.\\")）随之失效（本机旧
+        # 构建仍吞、复现不了该红，故以恒等替换模拟）。本段把 datapath 模块所用的
+        # os.path.abspath 临时换成恒等函数（保存/还原，finally），模拟「abspath
+        # 原样返回绝对路径」的报告人行为，再经 _probe_reject 探 aux_root。
+        # 变异自证锚点：删掉 _abs_host_path 条件里的 `or _reserved_device_tail(r)`
+        # 后，本段在 Windows 上必须转红（r 不以 \\.\ 开头 → 不抛 → 8a/8b 失败），
+        # 而 [7] 谓词表保持全绿（证明末段判定是承重件而非装饰）。
+        print("[8] issue #57 现场模拟：abspath 恒等（新构建不吞设备名）")
+        _abspath_orig = os.path.abspath
+        try:
+            os.path.abspath = lambda p: p
+            raised, msg = _probe_reject(aux_root, ENV_AUX_ROOT, "aux", tmp)
+        finally:
+            os.path.abspath = _abspath_orig
+        if os.name == "nt":
+            check("8a abspath 不改写时 aux_root() 仍抛 ValueError（末段直判承重）",
+                  raised, f"msg={msg[:160]!r}")
+            check("8b 该路径下消息仍含覆盖键名 MDCG_AUX_ROOT",
+                  ENV_AUX_ROOT in msg, f"msg={msg[:160]!r}")
+        else:
+            check("8a 非 Windows 不判定：abspath 恒等后仍不抛（平台闸未越界）",
+                  not raised, f"msg={msg[:160]!r}")
+            check("8b 非 Windows 不判定：不产生拒因（消息为空）",
+                  msg == "", f"msg={msg[:160]!r}")
 
         # ---- 6. 守卫自检 floor ----
+        # [6] 后置于 [7][8] 之后：FLOOR 随新增断言数上调，须统计全部断言。
         print("[6] 守卫自检")
         check(f"6a 断言总数 ≥ {FLOOR}（防探针面失效假绿）",
               PASS + FAIL >= FLOOR, f"total={PASS + FAIL}")

package/md_cg/test_generation_guard.py

@@ -135,7 +135,7 @@ _STALE_SNIPPET = (
     "import io, json, os\n"
     "from md_cg import generation as g\n"
     "target = os.path.join(os.path.dirname(g.__file__), 'fsutil.py')\n"
-    "raw = io.open(target, encoding='utf-8').read()\n"
+    "raw = io.open(target, encoding='utf-8', newline='').read()\n"
     "clean = g.is_stale()\n"
     "io.open(target, 'w', encoding='utf-8', newline='').write(raw + '\\n# 守卫临时改动\\n')\n"
     "modified = g.is_stale()\n"
@@ -177,8 +177,11 @@ def check_verify_and_mutation(tmp):
     _ok("一·全绿", "verify_delegations() 通过，且副本与当前树同代 %s" % real_fp)
 
     # 二：定点变异——改名 mdcg.py 里的 mint_auto_id 定义
+    # 读写都 newline=""（字节忠实）：恢复必须逐字节复原——默认读会把 CRLF
+    # 压成 LF、再以 newline="" 写回即静默改变文件（2026-10-05 复核定因：
+    # 该非对称曾使「三·判别力」在 CRLF 工作区下必红）。
     mdcg_path = os.path.join(tmp, "md_cg", "mdcg.py")
-    with open(mdcg_path, encoding="utf-8") as fh:
+    with open(mdcg_path, encoding="utf-8", newline="") as fh:
         original = fh.read()
     mutated = original.replace("def mint_auto_id(", "def mint_auto_id_renamed(", 1)
     if mutated == original:

package/md_cg/test_ghostref.py

@@ -0,0 +1,182 @@
+# -*- coding: utf-8 -*-
+"""test_ghostref · 幽灵引用检查器（A2）：短语层标记 + id 层降级告警（不拒收）。
+
+多主体世界模型对齐 v0.1 §2 L1「转引不得升级」的行为守卫。
+运行：python -m md_cg.test_ghostref
+"""
+from __future__ import annotations
+
+import os
+import tempfile
+import time
+
+from . import branches, ghostref, nodefile
+from .mdcos import MdCGOS
+from .writepipe import default_pipeline
+
+_ok = 0
+_fail = []
+
+
+def check(name, cond, detail=""):
+    global _ok
+    if cond:
+        _ok += 1
+        print("[ok] " + name)
+    else:
+        _fail.append(name)
+        print("[FAIL] %s  · %s" % (name, str(detail)[:240]))
+
+
+H = ("# 功能名：幽灵引用守卫\n# 生效条件：测试环境\n# 子功能：无\n"
+     "# 执行：无\n# 验证方式：test\n# 不适用条件：无\n")
+URF = nodefile.UNCERTAIN_REFS_FIELD
+
+
+def main():
+    tmp = tempfile.mkdtemp(prefix="mdcg_ghost_test_")
+    cg = MdCGOS(os.path.join(tmp, "root"))
+    pipe = default_pipeline()
+
+    def W(nid, body, **kw):
+        a = {"op": "write", "node_id": nid, "content": H + body + "\n",
+             "layer": "knowledge", "content_kind": "text",
+             "verification_basis": "test"}
+        a.update(kw)
+        return pipe.execute(cg, a)
+
+    def FM(nid):
+        return ((cg.get(nid) or {}).get("frontmatter")) or {}
+
+    # ---- 1. 短语层：无可解析出处 ⇒ 标记；**不拒收** ----
+    out1 = W("ghp_one", "可以允许你在帐篷里点那根你上次买的香薰蜡烛。")
+    check("T1a 幽灵回指仍落盘（不拒收）", out1.get("committed") is True,
+          {k: out1.get(k) for k in ("ok", "committed", "moved_to")})
+    _refs1 = FM("ghp_one").get(URF) or []
+    check("T1b 短语标记落 fm（上次买）", "上次买" in _refs1, _refs1)
+    check("T1c 出口带 ghost_refs 告警",
+          bool(out1.get("ghost_refs")) and "上次买" in out1["ghost_refs"],
+          out1.get("ghost_refs"))
+
+    # ---- 2. 有出处（句内含库内 id）⇒ 不标记 ----
+    W("base_node", "集市采购的凭证记录。")
+    out2 = W("ghp_two", "上次说的那件事，见 base_node 的记载。")
+    check("T2a 有出处的回指不落标记",
+          URF not in FM("ghp_two"), FM("ghp_two").get(URF))
+    check("T2b 有出处的回指建 reference 边",
+          any(e.get("target") == "base_node" for e in (FM("ghp_two").get("edges") or [])),
+          FM("ghp_two").get("edges"))
+    check("T2c 出口无 ghost_refs", not out2.get("ghost_refs"), out2.get("ghost_refs"))
+
+    # ---- 3. 无回指短语 ⇒ 不标记（对照）----
+    out3 = W("ghp_three", "集市购物，周末进行。")
+    check("T3a 无短语不落标记", URF not in FM("ghp_three"), FM("ghp_three").get(URF))
+    # 2026-10-05 复核实证：T3 在「写入被拒」时会假通过（无标记≠已落盘）——
+    # 补 committed 断言把「对照场景确实落盘」钉住。
+    check("T3b 对照场景确实落盘", out3.get("committed") is True,
+          out3.get("committed"))
+
+    # ---- 4. 幽灵 id（句内 id 形态但不在库）⇒ 无出处 ⇒ 标记 ----
+    W("ghp_four", "参照 ghost_absent 那条记载，明明讲过。")
+    _refs4 = FM("ghp_four").get(URF) or []
+    check("T4a 幽灵 id 句仍标记（明明讲过）", "明明讲过" in _refs4, _refs4)
+    check("T4b 幽灵 id 不建边", not (FM("ghp_four").get("edges") or []),
+          FM("ghp_four").get("edges"))
+
+    # ---- 5. id 层：目标晚于自身 ⇒ 降级告警（不拒收）----
+    W("late_target", "晚出现的凭证节点。")
+    out5 = W("late_src", "依据见 late_target 记载。",
+             valid_from=time.time() - 100000)
+    check("T5a 目标晚于自身仍落盘（不拒收）", out5.get("committed") is True,
+          out5.get("committed"))
+    _lr = out5.get("late_refs") or []
+    check("T5b 降级告警点名目标",
+          len(_lr) == 1 and _lr[0].get("target") == "late_target", _lr)
+
+    # ---- 6. 正常时序 ⇒ 无告警（对照）----
+    out6 = W("ok_src", "依据见 late_target 记载。",
+             valid_from=time.time() + 100)
+    check("T6a 正常时序无告警", not out6.get("late_refs"), out6.get("late_refs"))
+    check("T6b 对照场景确实落盘", out6.get("committed") is True,
+          out6.get("committed"))
+
+    # ---- 7. opt-out（ghostref=False）⇒ 不标记 ----
+    out7 = W("ghp_opt", "上次说的事。", ghostref=False)
+    check("T7a opt-out 仍落盘", out7.get("committed") is True, out7.get("committed"))
+    check("T7b opt-out 不落标记", URF not in FM("ghp_opt"),
+          FM("ghp_opt").get(URF))
+
+    # ---- 8. add 层：显式落键 / 覆写不继承 / 非法拒（直调，不经写链）----
+    cg.add("ghp_eight", H + "上次说的那件事。\n", layer="knowledge",
+           verification_basis="test", uncertain_refs=["上次说", "之前说"])
+    check("T8a 显式落键", FM("ghp_eight").get(URF) == ["上次说", "之前说"],
+          FM("ghp_eight").get(URF))
+    cg.add("ghp_eight", H + "改写后的干净正文。\n", layer="knowledge",
+           verification_basis="test")
+    check("T8b 覆写不继承（正文属性重算）", URF not in FM("ghp_eight"),
+          FM("ghp_eight").get(URF))
+    try:
+        cg.add("ghp_bad", H + "正文。\n", layer="knowledge",
+               verification_basis="test", uncertain_refs="上次的")
+        check("T8c 非法类型拒绝", False, "未抛 ValueError")
+    except ValueError:
+        check("T8c 非法类型拒绝", True)
+
+    # ---- 9. fork 副本携带标记 ----
+    r9 = branches.fork(cg, ["ghp_one"], branch_id="br_ghost")
+    _bid = (r9.get("forked") or [{}])[0].get("to")
+    check("T9a fork 成功", bool(r9.get("ok")) and bool(_bid), r9)
+    check("T9b 副本携带标记", (_bid and FM(_bid).get(URF) == FM("ghp_one").get(URF)),
+          (_bid, FM(_bid).get(URF) if _bid else None))
+
+    # ---- 11. rewrite 按新正文重算标记（复核 yellow-1 修）----
+    # 副本 ghp_one@br_ghost 有标记 ["上次买"]（T1/ fork 携带）：
+    # 改成干净正文 → 标记消失；改回幽灵正文 → 标记出现（双向，非「清空」）。
+    rr1 = branches.rewrite(cg, _bid, H + "改写为干净正文。\n")
+    check("T11a rewrite 成功", rr1.get("ok") is True, rr1)
+    check("T11b rewrite 干净正文 → 标记重算消失", URF not in FM(_bid),
+          FM(_bid).get(URF))
+    rr2 = branches.rewrite(cg, _bid, H + "之前说的那件事。\n")
+    check("T11c rewrite 幽灵正文 → 标记重算出现",
+          "之前说" in (FM(_bid).get(URF) or []), FM(_bid).get(URF))
+
+    # ---- 12. merge 回主支按分支正文重算（复核 yellow-2① 修）----
+    # 主支幽灵正文 → fork → rewrite 分支为干净 → merge 回主支 → 主支标记消失。
+    W("ghp_merge", "明明讲过的那件事。")
+    check("T12a 主支初始有标记", "明明讲过" in (FM("ghp_merge").get(URF) or []),
+          FM("ghp_merge").get(URF))
+    r12 = branches.fork(cg, ["ghp_merge"], branch_id="br_mg")
+    _bid12 = (r12.get("forked") or [{}])[0].get("to")
+    branches.rewrite(cg, _bid12, H + "干净正文（无回指）。\n")
+    rm = branches.merge(cg, "br_mg")
+    check("T12b merge 成功", rm.get("ok") is True, rm)
+    check("T12c 主支标记按分支正文重算（消失）", URF not in FM("ghp_merge"),
+          FM("ghp_merge").get(URF))
+    # 反方向（2026-10-05 自证补）：干净主支 → 分支改幽灵 → merge 回写 ⇒ 主支
+    # 标记应**出现**——「消失」方向抓「携带旧值」，「出现」方向抓「置空不重算」。
+    W("ghp_merge2", "干净正文示例。")
+    r13 = branches.fork(cg, ["ghp_merge2"], branch_id="br_mg2")
+    _bid13 = (r13.get("forked") or [{}])[0].get("to")
+    branches.rewrite(cg, _bid13, H + "上次说的那件事。\n")
+    branches.merge(cg, "br_mg2")
+    check("T12d 主支标记按分支正文重算（出现）",
+          "上次说" in (FM("ghp_merge2").get(URF) or []),
+          FM("ghp_merge2").get(URF))
+
+    # ---- 10. 纯函数级：短语去重保序 + late_targets 边界 ----
+    # 「上次说的那件」只命中「上次说」——「上次的」要求连续子串（说/的 之间
+    # 不跳字）；命中去重后跨句保序。
+    _pf = ghostref.find_ghost_phrases("上次说的事；上次说的那件；之前说的那批。")
+    check("T10a 短语去重保序", _pf == ["上次说", "之前说"], _pf)
+    check("T10b late_targets 无 own_from 直接空",
+          ghostref.late_targets(cg, ["late_target"], None) == [])
+    check("T10c late_targets 非数 own_from 空",
+          ghostref.late_targets(cg, ["late_target"], "昨天") == [])
+
+    print("\ntest_ghostref: %d 通过 / %d 失败" % (_ok, len(_fail)))
+    if _fail:
+        raise SystemExit(1)
+
+
+if __name__ == "__main__":
+    main()

package/md_cg/test_interop.py

@@ -62,7 +62,7 @@ def main():
         check("3a 合规 verdict 通过门禁", isinstance(v, dict) and v["passed"] == 27)
         for name, bad in [
             ("3b 绝对路径拦截",
-             {**v, "details": [{"log": r"D:\program\secret\path.txt"}]}),
+             {**v, "details": [{"log": r"D:\secret\path.txt"}]}),
             ("3c prompt 字段拦截",
              {**v, "prompt": "你是一个…"}),
             ("3d API key 拦截",

package/md_cg/test_issue52_scan_condition_first.py

@@ -11,7 +11,7 @@
   (c) 截断完全静默（返回体无任何标记）——「读不全」与「读不到」不可区分；
   (d) 被排除集合随索引重排漂移（运行期 dict 追加 vs 重建后 sorted 写盘）。
 三接口 timeline/anchors/consistency 共用 `_scan` 同病；MCP 面 `_stg_call` 不透传
-max_scan（永远默认口径）；DSH 侧 hooks.ts:423 auto-recall 直连 timeline 默认口径。
+max_scan（永远默认口径）；DSH 侧 hooks.ts:432 auto-recall 直连 timeline 默认口径。
 
 本批修法（设计者裁定 2026-10-03，原文）：「遇到更多的检索节点，应该要建立索引，
 明确检索条件，和不适用条件，而不是扩大节点数」⇒ 只落「条件先行 + 截断可观测」