@furongjun1999/dsh-memory 0.7.2 → 0.7.4

package/md_cg/test_time_core_lint.py

@@ -631,7 +631,9 @@ def g9():
                                            "confidence": 0.8}],
               "subgraph": {"nodes": ["n2"]},
               "valid_from": ts - 100, "valid_until": ts + 100000,
-              "effective_from": ts - 100, "effective_until": ts + 100000},
+              "effective_from": ts - 100, "effective_until": ts + 100000,
+              # A1（2026-10-05）：检验强度键存活断言（G9f）的夹具值。
+              "check_strength": "hoop"},
              body="# 功能名：n1\n# 生效条件：无条件\n# 子功能：无\n"
                   "# 执行：无\n# 验证方式：test\n# 不适用条件：无\n\n"
                   "上游条件 葡萄 触发。\n")
@@ -651,6 +653,11 @@ def g9():
     for k in ("valid_from", "valid_until", "effective_from", "effective_until"):
         ok(k in e1 and e1.get(k) == e0.get(k),
            "G9d 双时间轴键 %s 存活（trust.validity 免读盘判定面）" % k)
+    ok(nodefile.CHECK_STRENGTH_FIELD in e1
+       and e1.get(nodefile.CHECK_STRENGTH_FIELD)
+       == e0.get(nodefile.CHECK_STRENGTH_FIELD),
+       "G9f 检验强度键存活（check_strength，A1 新键；与 G9b–d 同族防漂移，"
+       "2026-10-05 复核补）")
     # 端到端：搬迁后因果路仍能经边召到下游（新路不再静默拿不到边）
     # 种子 = 词法命中 n1（上游），目标 n2 词面无重叠 —— 正是因果路的靶区。
     _r, m = cg.search_rrf("葡萄", k=5, record=False, paths=("lexical", "chain"))

package/md_cg/test_writepipe.py

@@ -135,12 +135,15 @@ def _run(tmp):
                                  "content": "PASSED SKIPME",
                                  "layer": "knowledge"})
     _check("移除即恢复(核心文件零改动)", out.get("committed") is True, repr(out))
-    # 默认 before 链含 linkref→deps→audit→consistency→gated→autonomy
-    # （2026-09-19 deps 闸门新增；2026-10-02 三档自治批次② 档位闸**恒在链尾**
-    # ——档位判定必须晚于全部既有资格闸，见 writepipe._gate_autonomy docstring。
-    # 断言意图不变：默认链的注册表与执行序 = 这一串。）
+    # 默认 before 链含 linkref→ghostref→deps→audit→consistency→gated→autonomy
+    # （2026-09-19 deps 闸门新增；2026-10-05 A2 幽灵引用闸插 linkref 之后——
+    # 消费 ctx["linkref_targets"] 免重解析、永不短路；2026-10-02 三档自治
+    # 批次② 档位闸**恒在链尾**——档位判定必须晚于全部既有资格闸，见
+    # writepipe._gate_autonomy docstring。断言意图不变：默认链的注册表与执行序
+    # = 这一串。）
     _check("单例默认链", singleton.names()["before"]
-           == ["linkref", "deps", "audit", "consistency", "gated", "autonomy"],
+           == ["linkref", "ghostref", "deps", "audit", "consistency", "gated",
+               "autonomy"],
            repr(singleton.names()))
     _check("单例默认after链", singleton.names()["after"]
            == ["linkref", "trust"],

package/md_cg/tokens.py

@@ -90,7 +90,21 @@ ALL_OPS = ("help", "info", "route", "read", "write", "goal", "task", "recent", "
            #        —— 「这条记忆从哪来 / 谁由它派生」的读面；真源
            #        md_cg/provenance.py（find_edges）。**只读 op**：不含任何
            #        写入 path，故读面角色一律放行（与 status 同档）
-           "ccg", "status", "edges")
+           "ccg", "status", "edges",
+           # 路线 C（2026-10-05，多主体世界模型对齐 v0.1 §4）：证据审计面
+           #   audit  只读组装器（现值/出处链/两存备择/盲区/退役史）
+           #        —— 真源 md_cg/auditview.py；只读、零写路径。角色白名单
+           #        缺省不给（fail-closed，新增 op 默认不在任何清单内）；
+           #        本轮开给：designer（* 自动含）+ verify（证据审计＝验证
+           #        单元的本职读面，见其 ROLE_SPECS 注释）。
+           # P3 新增（世界模型功能端 P3，2026-10-06）：
+           #   state_event  状态事件记账（追加一条五元事件到 append-only 台账）
+           #        —— 写口；**角色面零新词**：cg 面作用域闸把它映射到既有
+           #        "write" 词（见 mcp_server._cg_dispatch），各角色
+           #        ROLE_SPECS.ops_allow 白名单零改动；登记于本表只为
+           #        「op 三处同步」契约（ALL_OPS == cg 工具 schema == 分发分支，
+           #        见 test_p27/test_p29/test_p30/test_p31 防漏改守卫）。
+           "audit", "state_event")
 
 
 class TokenError(Exception):
@@ -166,8 +180,10 @@ ROLE_SPECS = OrderedDict([
         # 豁免被分型取代（同日裁定迭代）。
         "can_write": True, "can_admin": False, "clearance_cap": "internal",
         "layers_allow": ["rejected", "contextual"],
+        # audit（2026-10-05 路线 C）：证据审计视图＝验证单元的本职读面
+        #（现值/出处链/两存备择/盲区/退役史），只读、无写路径。
         "ops_allow": ["info", "route", "read", "write", "verify", "insight",
-                      "status", "edges"],
+                      "status", "edges", "audit"],
         "delegable": False,
         "forbidden": ["knowledge/self/anchor 层（不得改被验证内容）",
                       "private/secret 密级（restricted 错误处置标记属本职，"

package/md_cg/writepipe.py

@@ -422,6 +422,45 @@ def _gate_gated(ctx):
     return out
 
 
+# 生效条件：a.get("ghostref") 为 False 时跳过（opt-out，与 linkref=False 同款）；否则对 a["content"]
+# 做幽灵引用检测（ghostref.check：短语层 + id 层），结果非空时分别写入 ctx["ghost_phrases"] /
+# ctx["late_refs"] 供链尾执行器落 fm 与出口告警消费；**恒返回 None（永不短路）**——本闸是标记/告警级，
+# 不参与拒收判定。
+def _gate_ghostref(ctx):
+    """幽灵引用闸（before 链：linkref 之后、deps 之前）：标记 + 降级告警，**不拒收**。
+
+    两条防线（对齐评估 v0.1 §2 L1「转引不得升级」；CD-WHALE-01 发现 C）：
+      ① 短语层：回指短语（「上次的/之前的/明明讲过」）且句内无可解析出处
+         ⇒ ctx["ghost_phrases"] → 落 fm.uncertain_refs（A2 标记面）；
+      ② id 层：引用目标创建时刻晚于本文档声明的生效起点（valid_from/
+         effective_from）⇒ ctx["late_refs"] → 出口降级告警（不改建边判定）。
+
+    为何不短路（与 deps 硬拒的边界）：回指是现实写作的常态——「上次的帐篷」
+    在对话记忆里天然存在，缺失的是**出处记录**而非内容本身。拒收会把正常
+    记忆挡在门外；标记让「出处不确定」这事可见、可裁决（未决不进二值）。
+
+    为何消费 ctx["linkref_targets"] 而非重算：linkref 是 targets 的唯一
+    写入点（同一次解析的两个面）；重算会引入「两次解析结果漂移」的可能。
+    """
+    a = ctx["a"]
+    if a.get("ghostref") is False:
+        return None
+    from . import ghostref as _ghostref
+    # own_from 取显式声明（**is None 判定**：0/空串不做假值跳转——
+    # 与 budget_tokens「显式 0 也是显式」同款口径）。
+    _own = a.get("valid_from")
+    if _own is None:
+        _own = a.get("effective_from")
+    rep = _ghostref.check(ctx["cg"], a.get("content") or "",
+                          linkref_targets=ctx.get("linkref_targets"),
+                          own_from=_own)
+    if rep["ghost_phrases"]:
+        ctx["ghost_phrases"] = rep["ghost_phrases"]
+    if rep["late_refs"]:
+        ctx["late_refs"] = rep["late_refs"]
+    return None
+
+
 # 生效条件：ctx["a"]["content"] 的「# 子功能：」行含显式跨节点引用（`@<节点 id>`）且 depends_on 解析为空时返回 ok=False/error="E050" 的终态；depends_on 含库中不存在的 id 时返回 ok=False/error="E051" 的终态；其余（无该行 / 哨兵 / 自然语言自述 / 声明且目标齐备）返回 None 放行；
 def _gate_deps(ctx):
     """依赖声明闸（before 链：linkref 之后、audit 之前）：**硬拒条件缺失**。
@@ -578,11 +617,38 @@ def _executor(ctx):
            depends_on=trust.as_deps(a.get("depends_on")),
            valid_from=a.get("valid_from"), valid_until=a.get("valid_until"),
            verification_state=a.get("verification_state"),
+           # A1 补接（2026-10-05，路线 C 动工时经 audit 现值面发现）：检验强度
+           # 透传。此前 add 层已支持该形参，但**写链实参表漏传**——经 MCP
+           # op=write 声明 check_strength 一律静默丢弃（与 B2 sensitivity 漏传
+           # 同族：上游声明、落盘面丢字段，比报错难发现）。
+           check_strength=a.get("check_strength"),
+           # A2 幽灵引用标记（正文属性：每次写入按当次检测重算，不继承——
+           # 与 check_strength 的声明继承相反；缺省 None 不落键）。
+           uncertain_refs=ctx.get("ghost_phrases") or None,
            **_hyperedge_extra(a))
     out = {"ok": True, "id": ctx["nid"], "committed": True,
            "verdict": ctx["verdict"]}
     if ctx.get("cvd") is not None:
         out["consistency"] = ctx["cvd"]
+    # A2 幽灵引用出口（标记/告警级，不改写入语义）：短语层标记已随
+    # uncertain_refs 落 fm，此处把「值写进了哪里、怎么处置」如实带回。
+    if ctx.get("ghost_phrases"):
+        from . import nodefile
+        _gp = list(ctx["ghost_phrases"])
+        out["ghost_refs"] = _gp[:16]
+        out["ghost_hint"] = (
+            "幽灵引用标记（A2）：正文含无可解析出处的回指短语（%s）——"
+            "已落 fm.%s（**未拒收**）。若其指代某条既有记忆，请改为可解析引用"
+            "（正文写裸 id，写入链自动建 reference 边）；确为首次出现时，"
+            "该标记即「出处待补」的诚实记录。"
+            % ("、".join(_gp[:5]), nodefile.UNCERTAIN_REFS_FIELD))
+    if ctx.get("late_refs"):
+        out["late_refs"] = list(ctx["late_refs"])[:10]
+        out["late_hint"] = (
+            "目标晚于自身（A2 降级告警）：本文档声明的生效起点早于被引目标的"
+            "创建时刻——引用了「当时尚不存在」的目标。边照常建立（linkref 不看"
+            "时间轴）；请核对两条时间轴：若引用意图成立可忽略，若是回填/转写"
+            "产生的时序错觉，请修正 valid_from。")
     # ⑥：直写提示（不改落盘行为、不改 verdict；见本函数开头注释）
     if _prior is not None:
         out["overwrite_of"] = _prior
@@ -610,6 +676,10 @@ _AUTONOMY_META_KEYS = ("tags", "condition_space", "verification_basis",
                        "non_applicable_conditions", "derived_from", "relation",
                        "depends_on", "valid_from", "valid_until",
                        "verification_state", "importance", "importance_source",
+                       # A1 补接（2026-10-05）：检验强度同族入载荷——否则
+                       # confirm 档出单 → accept 重放会丢该声明（与
+                       # verification_state 同款的「两条路径元数据不等价」坑）。
+                       "check_strength",
                        "override")
 
 
@@ -727,6 +797,12 @@ def install_default_gates(pipe):
     """
     from . import linkref
     pipe.register_before("linkref", linkref.before_hook(), position=0)
+    # A2 幽灵引用闸（2026-10-05）：插在 linkref 之后——判据 ② 要消费
+    # ctx["linkref_targets"]（linkref 是 targets 的唯一写入点）；判据 ① 的
+    # 「句内无可解析出处」与 linkref 同源（同一次检测的两个面）。**永不短路**
+    # （标记/告警级，不做拒收——设计稿 v0.1 复核修订：幽灵引用检查器限定
+    # 短语层标记；回指是现实写作常态，拒收会把正常记忆挡在门外）。
+    pipe.register_before("ghostref", _gate_ghostref, position=1)
     pipe.register_before("deps", _gate_deps)
     pipe.register_before("audit", _gate_audit)
     pipe.register_before("consistency", _gate_consistency)

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@furongjun1999/dsh-memory",
-  "version": "0.7.2",
+  "version": "0.7.4",
   "description": "灵枢（Lingshu·líng shū）DeepSeek Harness 插件：完整大脑——长期记忆/知识飞轮/自我认知/递归反思接入 DSH，对话自动沉淀进 md_cg 认知图（md 文档）",
   "type": "module",
   "main": "lib/index.js",
@@ -86,7 +86,7 @@
     "build": "node -e \"require('node:fs').rmSync('lib',{recursive:true,force:true})\" && tsc -p tsconfig.json",
     "test": "npm run build && node --import tsx --test \"test/*.test.ts\"",
     "prepare": "node -e \"const fs=require('fs');const tsc='node_modules/typescript/bin/tsc';fs.existsSync(tsc)?(fs.rmSync('lib',{recursive:true,force:true}),require('child_process').execFileSync(process.execPath,[tsc,'-p','tsconfig.json'],{stdio:'inherit'})):console.log('[prepare] 跳过构建：typescript 未安装（NODE_ENV=production 或 --omit=dev 会省略 devDependencies）——需要构建请用 npm install --include=dev')\"",
-    "gate": "python scripts/check_unreachable.py && python scripts/check_publish_artifact.py && python scripts/check_publish_smoke.py && python scripts/cogmap_sync.py check && python scripts/link_check.py && python scripts/workspace_index.py --check && python scripts/verify_discipline.py --allow-missing && python scripts/gate_rust_crate_test.py && python scripts/gate_rust_parity.py",
+    "gate": "python scripts/check_unreachable.py && python scripts/check_publish_artifact.py && python scripts/check_publish_smoke.py && python scripts/cogmap_sync.py check && python scripts/link_check.py && python scripts/workspace_index.py --check && python scripts/discipline_nodes.py --init --write --cg-root .tmp/discipline-cg && python scripts/verify_discipline.py --allow-missing --cg-root .tmp/discipline-cg && python scripts/gate_rust_crate_test.py && python scripts/gate_rust_parity.py && python scripts/check_local_paths.py",
     "prepublishOnly": "npm run build && npm test && npm run gate"
   },
   "repository": {

package/skills/plugin.json

@@ -1,7 +1,7 @@
 {
   "$schema": "https://agent-plugins.org/schemas/1.0.0/plugin.schema.json",
   "name": "lingshu-skills",
-  "version": "0.7.2",
+  "version": "0.7.4",
   "description": "灵枢（AEIS）自我认知技能包——白箱条件化知识（Agent Skills 兼容导出）。本质是灵枢了解自身的工具：每个技能描述灵枢在什么条件下能做什么、怎么执行、克制什么（KCCS 四要素），由条件路由图精确路由，由灵枢 MCP 工具执行验证（物理基底）。",
   "author": {
     "name": "灵枢（AEIS）· CommonTrustProtocol"

package/src/bridge.ts

@@ -310,6 +310,15 @@ export class LingshuBridge {
             if (!this.disposed) this.spawnAndHandshake()
           }, 300_000)
           this.retryTimer.unref()
+          // N267：冷却路径也必须结算状态面——否则子进程已死而 readyState 停在 'ok'，
+          // isReady() 恒 true、waitReady() 立即 resolve(true)（该值经 MdcgClient 一行
+          // 直通宿主门控，调用错误被空 catch 静默吞 → 状态面失真）。只跳过
+          // scheduleRetry（冷却定时器上面已安排重试）。
+          // flushBootQueue 与另三处退出结算（spawn error / 常规 exit / 握手失败）同形：
+          // 该分支的生产可达态为 ok/failed，bootQueue 此时必为空——属对称防御，
+          // 不单独承担判据（行为无可观察差异）。
+          this.readyState = 'failed'
+          this.flushBootQueue(false)
           return
         }
         // 有挂起请求的失败是异常的；仅启动失败的等待者得到 false