@furongjun1999/dsh-memory 0.7.2 → 0.7.4

package/md_cg/datapath.py

@@ -50,22 +50,49 @@ ENV_AUX_ROOT = "MDCG_AUX_ROOT"
 DEFAULT_AUX_DIRNAME = ".mdcg"
 
 
+#: Windows 保留设备名全集（末段直判用；比对前统一 .upper()，故此处全大写）：
+#: DOS 设备名 CON/PRN/AUX/NUL、控制台伪设备 CONIN$/CONOUT$、COM1-9/LPT1-9，
+#: 以及 Windows 承认的上标数字变体 COM¹²³/LPT¹²³（上标 0 与 4-9 不是保留名）。
+_RESERVED_DEVICE_NAMES = frozenset(
+    ["CON", "PRN", "AUX", "NUL", "CONIN$", "CONOUT$"]
+    + [f"COM{i}" for i in range(1, 10)]
+    + [f"LPT{i}" for i in range(1, 10)]
+    + ["COM\u00b9", "COM\u00b2", "COM\u00b3",
+       "LPT\u00b9", "LPT\u00b2", "LPT\u00b3"])
+
+
+# 生效条件：纯字符串判定（不触盘、无平台分支——平台闸在调用处 _abs_host_path）；
+# 传入 path 归一（"/" → "\"）后去尾随反斜杠取末段，末段按首个 "." 截断取 stem、
+# 再去尾随空格，stem.upper() 命中 _RESERVED_DEVICE_NAMES 即返回 True，否则 False。
+# 末段直判不依赖 OS/Python 版本的 GetFullPathNameW 吞并行为——较新 Windows 构建
+# 不再把「目录\aux」吞成 \\.\aux（issue #57），前缀判据随之失效，本函数是稳定判据。
+def _reserved_device_tail(path: str) -> bool:
+    seg = path.replace("/", "\\").rstrip("\\").split("\\")[-1]
+    stem = seg.split(".", 1)[0].rstrip(" ")
+    return stem.upper() in _RESERVED_DEVICE_NAMES
+
+
 # 生效条件：p 按仓库既有口径 expanduser+abspath 归一；平台为 Windows（os.name=="nt"）
-# 且归一结果以设备命名空间前缀（"\\\\.\\"）开头时抛 ValueError——保留设备名末段
-# （aux/con/nul/prn/com1-9/lpt1-9 等）会被 GetFullPathNameW 吞成设备路径
-# （例 D:\sandbox\aux → \\.\aux），目录语义静默丢失，密钥/令牌/数据覆盖键随之
-# 静默失联；非 Windows 平台该形态是合法目录名字面量，不判定。归一是纯字符串
-# 操作不触盘，路径无需存在即可复现。env_key 传覆盖键名（env 变量名或 paths.json
-# 键），仅用于错误消息定位误配来源；为空时消息以「该路径」指代。
+# 且命中两因之一时抛 ValueError——① 归一结果以设备命名空间前缀（"\\\\.\\"）开头：
+# 保留设备名末段（aux/con/nul/prn/com1-9/lpt1-9 等）被 GetFullPathNameW 吞成设备
+# 路径（例 D:\sandbox\aux → \\.\aux）；② 归一结果末段直判为保留设备名
+# （_reserved_device_tail）：较新 Windows 构建不再吞并（issue #57），旧前缀判据
+# 失效，末段直判不依赖 OS 行为——两因并置互为兜底。后果同：目录语义静默丢失，
+# 密钥/令牌/数据覆盖键随之静默失联；非 Windows 平台该形态是合法目录名字面量，
+# 不判定。归一是纯字符串操作不触盘，路径无需存在即可复现。env_key 传覆盖键名
+# （env 变量名或 paths.json 键），仅用于错误消息定位误配来源；为空时消息以
+# 「该路径」指代。
 def _abs_host_path(p: str, env_key: str = "") -> str:
     r = os.path.abspath(os.path.expanduser(p))
-    if os.name == "nt" and r.startswith("\\\\.\\"):
+    if os.name == "nt" and (r.startswith("\\\\.\\")
+                            or _reserved_device_tail(r)):
         who = env_key or "该路径"
         raise ValueError(
-            f"{who} 归一后解析为 Windows 设备命名空间路径 {r!r}：末段是 Windows "
-            "保留设备名（aux/con/nul/prn/com1-9/lpt1-9 等），GetFullPathNameW 会把"
-            "整个目录吞成设备路径，目录语义静默丢失（落在此处的密钥/令牌/数据会"
-            f"静默失联）；请把 {who} 改指向末段不含保留设备名的普通目录。")
+            f"{who} 归一后末段是 Windows 保留设备名（{r!r}）：GetFullPathNameW "
+            "可能把整个目录吞成设备路径（\\\\.\\aux 形态，目录语义静默丢失）；"
+            "较新 Windows 构建即便不吞并，保留设备名末段也一律按误配拒绝——"
+            "本守卫末段直判不依赖 OS 吞并行为（issue #57）。请把 "
+            f"{who} 改指向末段不含保留设备名的普通目录。")
     return r
 
 

package/md_cg/forgetting.py

@@ -174,7 +174,7 @@ def self_coverage(cg, node_id, content):
     return round(_coverage(bigrams(payload(content)), body), 4)
 
 
-# 生效条件：content 经 payload/bigrams 得空集合时直接返回零值 best（max=0.0、with=None、compared=0）；否则遍历 cg.index 的 nodes，跳过 nid==exclude，layer 为真值时只比较 str(layer 字段 or "")==layer 的节点，cg.get(nid) 抛异常/返回假值、或该节点 content 的 bigrams 为空则跳过，每计入一个节点后若 n>=limit 立即 break（故 limit 为 0 或负数时只比较首项即停），返回覆盖度最大者 best（无覆盖度提升时不更新 with/jaccard，compared 为实际计入数）。
+# 生效条件：content 经 payload/bigrams 得空集合时直接返回零值 best（max=0.0、with=None、compared=0）；否则**循环外经 cg._maybe_reload_index() 单探一次**（N276：无该方法/不可调用的载体跳过，环内回落原 cg.get(nid)），遍历 cg.index 的 nodes，跳过 nid==exclude，layer 为真值时只比较 str(layer 字段 or "")==layer 的节点，cg.get(nid, probe=False)（无探活面的载体回落 cg.get(nid)）抛异常/返回假值、或该节点 content 的 bigrams 为空则跳过，每计入一个节点后若 n>=limit 立即 break（故 limit 为 0 或负数时只比较首项即停），返回覆盖度最大者 best（无覆盖度提升时不更新 with/jaccard，compared 为实际计入数）。
 def redundancy(cg, content, layer="contextual", exclude=None, limit=MAX_COMPARE):
     """Q1 重复？——新内容被既有同层节点覆盖的最大比例。"""
     new = bigrams(payload(content))
@@ -182,6 +182,18 @@ def redundancy(cg, content, layer="contextual", exclude=None, limit=MAX_COMPARE)
     if not new:
         return best
     nodes = ((getattr(cg, "index", None) or {}).get("nodes") or {})
+    # N276（第 32 轮性能面）：**批内代际探针只做一次**——循环里每次 cg.get
+    # 都会经 MdCG.get 首行重算索引签名（快照 stat + listdir + 逐分片 stat，
+    # 单点实测 ~38µs；本库 240 次/调用全同签名重探）。此处循环外探一次、
+    # 环内 cg.get(nid, probe=False)。语义窗口=**本调用期间「他进程写入」
+    # 不被探知**（毫秒级；读取环本就按当次快照判定，与读缓存/热缓存已声明
+    # 的进程内一致性边界同款，故注释记账即可）；无探活面的载体（测试桩）
+    # 回落原 cg.get(nid)，行为零变。
+    _probe = getattr(cg, "_maybe_reload_index", None)
+    if callable(_probe):
+        _probe()
+    else:
+        _probe = None
     n = 0
     for nid in list(nodes.keys()):
         if nid == exclude:
@@ -189,7 +201,8 @@ def redundancy(cg, content, layer="contextual", exclude=None, limit=MAX_COMPARE)
         if layer and str(nodes[nid].get("layer") or "") != layer:
             continue
         try:
-            node = cg.get(nid)
+            node = (cg.get(nid, probe=False) if _probe is not None
+                    else cg.get(nid))
         except Exception:
             node = None
         if not node:

package/md_cg/freshness.py

@@ -179,22 +179,31 @@ def resolve_gamma(gamma=None) -> float:
 # 核（一律经 time_core；本模块不写指数核）
 # --------------------------------------------------------------------------
 
-# 生效条件：gamma 与 dt_days（单位=天）任意可转 float 时，返回 time_core.cred_factor(gamma, dt_days, floor, ceil)；dt 非有限值（inf/nan）时同样交给 cred_factor（inf → 取 floor）；
+# 生效条件：gamma 与 dt_days（单位=天）任意可转 float 时，返回 time_core.cred_factor(gamma, dt_days, floor, ceil)；dt 非有限值（inf/nan）时同样交给 cred_factor（inf → 取 floor）；enabled 为 None（缺省）时自算（模块级 enabled()），显式传 bool 时按传入值——两者皆假值即恒返回 1.0；
 def decay_factor(gamma: float, dt_days: float, floor: float = SCORE_FLOOR,
-                 ceil: float = SCORE_CEIL) -> float:
+                 ceil: float = SCORE_CEIL, enabled=None) -> float:
     """时间衰减乘子 `e^(-γ·Δt)`（**核来自唯一权威** `time_core.cred_factor`）。
 
     ⚠ `dt_days` 的单位**必须**是「天」（`DT_UNIT`）；调用方负责换算，
     换算单点是 `entry_weight`（`(now - created_at) / SECONDS_PER_DAY`）。
+
+    `enabled`（N274）：None=自算（默认，行为与改动前逐位一致）；显式传
+    bool 时不再自算——供 `entry_weight`/`_score` 把开关**循环外解析一次**
+    后透传，消掉逐节点 env 读取。自算分支写 `globals()["enabled"]()` 而非
+    直接 `enabled()`：形参同名会遮蔽模块函数，而 `globals()` 的解析语义与
+    改前那句 `enabled()` 逐位一致（含测试对模块函数的打桩/替换面）。
     """
-    if not enabled():
+    if enabled is None:
+        enabled = globals()["enabled"]()
+    if not enabled:
         return 1.0
     return _tc.cred_factor(float(gamma), float(dt_days), float(floor),
                            float(ceil))
 
 
-# 生效条件：access_count 与 last_access 任意（不可转数值按 0 处理）、importance 任意可转 float；按 REFRESH_PARAMS 的三档判定返回 1.0+gain / 1.0−gain / 1.0；
-def refresh_factor(access_count=0, last_access=0, importance=0.0) -> float:
+# 生效条件：access_count 与 last_access 任意（不可转数值按 0 处理）、importance 任意可转 float；enabled 为 None（缺省）时自算（模块级 enabled()），显式传 bool 时按传入值——两者皆假值即恒返回 1.0；否则按 REFRESH_PARAMS 的三档判定返回 1.0+gain / 1.0−gain / 1.0；
+def refresh_factor(access_count=0, last_access=0, importance=0.0,
+                   enabled=None) -> float:
     """访问刷新/降权乘子（**门槛与步长照抄 AEIS** `consolidate_cycle`）。
 
     判定序（与 AEIS 同序同门）：
@@ -209,8 +218,13 @@ def refresh_factor(access_count=0, last_access=0, importance=0.0) -> float:
     在**从未被访问**（`access_count == 0`）时也为真——照抄原样会让「刚写、
     从未调用的高重要度节点」白拿一次刷新。加此闸后「未被调用」只能不刷新，
     不会反被奖励（语义仍与 §7.1「被经常调用的记忆其权重被刷新」一致）。
+
+    `enabled`（N274）：None=自算（默认，行为与改动前逐位一致）；显式传
+    bool 时不再自算——与 `decay_factor` 同一透传口径（见其 docstring）。
     """
-    if not enabled():
+    if enabled is None:
+        enabled = globals()["enabled"]()
+    if not enabled:
         return 1.0
     p = REFRESH_PARAMS
     try:
@@ -251,8 +265,8 @@ def protected_floor(entry) -> float:
     return max(SCORE_FLOOR, min(1.0, IMPORTANCE_PROTECT / imp))
 
 
-# 生效条件：entry 为可取 created_at / access_count / last_access / importance / protected 的映射；fm 为真值时上述五个键优先取自 fm（缺键回落 entry）；now 为假值（None）时取 freshness_now()；无条件返回 (乘子, 依据 dict)——乘子 = decay_factor(gamma, |now-created_at|/86400, protected_floor(取数后的映射), SCORE_CEIL) × refresh_factor(...)；created_at 缺失/不可转数值/≤0 时 dt_days 取 inf（判「距参照无穷远」，由 floor 兜住）；
-def entry_weight(entry, now=None, gamma=None, fm=None) -> tuple:
+# 生效条件：entry 为可取 created_at / access_count / last_access / importance / protected 的映射；fm 为真值时上述五个键优先取自 fm（缺键回落 entry）；now 为假值（None）时取 freshness_now()；enabled 为 None（缺省）时自算（模块级 enabled()），显式传 bool 时按传入值——两者皆假值即早退返回 (1.0, {"disabled": True})（早退先于 now/γ 解析，与改前同序）；否则无条件返回 (乘子, 依据 dict)——乘子 = decay_factor(gamma, |now-created_at|/86400, protected_floor(取数后的映射), SCORE_CEIL, enabled=…) × refresh_factor(..., enabled=…)；created_at 缺失/不可转数值/≤0 时 dt_days 取 inf（判「距参照无穷远」，由 floor 兜住）；
+def entry_weight(entry, now=None, gamma=None, fm=None, enabled=None) -> tuple:
     """索引条目 → 分数乘子 `(乘子, 依据)`（**检索期唯一取数点**，免读文件）。
 
     `entry` 直接来自索引快照（`_node_entry` 已落 `created_at` /
@@ -260,6 +274,11 @@ def entry_weight(entry, now=None, gamma=None, fm=None) -> tuple:
 
     `fm` 为可选覆盖源（写面刚落的 frontmatter 可能比索引条目新）：只为
     避免在热路径上拷贝 dict 而设，取数优先级 `fm > entry > 缺省`。
+
+    `enabled`（N274）：None=自算（默认，行为与改动前逐位一致）；显式传
+    bool 时不再自算，且向下透传给 `decay_factor`/`refresh_factor`——它们
+    同样不再各自读 env。自算分支经 `globals()["enabled"]()`（形参遮蔽，
+    解析语义同改前的 `enabled()`，见 `decay_factor` 同注）。
     """
     e = entry or {}
     keys = ("created_at", "access_count", "last_access", "importance",
@@ -269,7 +288,9 @@ def entry_weight(entry, now=None, gamma=None, fm=None) -> tuple:
                for k in keys}
     else:
         src = {k: e.get(k) for k in keys}
-    if not enabled():
+    if enabled is None:
+        enabled = globals()["enabled"]()
+    if not enabled:
         return 1.0, {"disabled": True}
     g = resolve_gamma(gamma)
     ref = freshness_now() if now is None else float(now)
@@ -286,9 +307,9 @@ def entry_weight(entry, now=None, gamma=None, fm=None) -> tuple:
         # 微变）且两侧跨语言同值。详见 DT_QUANTUM_DAYS 的说明。
         dt_days = float(int(dt_days / DT_QUANTUM_DAYS)) * DT_QUANTUM_DAYS
     floor = protected_floor(src)
-    d = decay_factor(g, dt_days, floor, SCORE_CEIL)
+    d = decay_factor(g, dt_days, floor, SCORE_CEIL, enabled=enabled)
     r = refresh_factor(src.get("access_count"), src.get("last_access"),
-                       src.get("importance"))
+                       src.get("importance"), enabled=enabled)
     return d * r, {"gamma": g, "dt_days": dt_days, "unit": DT_UNIT,
                    "decay": d, "refresh": r, "floor": floor,
                    "protected": bool(src.get("protected"))}

package/md_cg/ghostref.py

@@ -0,0 +1,130 @@
+# -*- coding: utf-8 -*-
+"""幽灵引用检查器（A2 落地）：短语层标记 + id 层降级告警——**只标记、不拒收**。
+
+背景（多主体世界模型对齐 v0.1 §2 L1「转引不得升级」）：CD-WHALE-01（鲸娘语料
+731 轮）发现 C 的现实形态是**自然语言回指**（「上次的香薰蜡烛」「明明讲过的那
+件事」）——被引对象在库里没有任何记录，引用悬空且无任何防线（探针读数：
+短语层零痕迹、id 层「目标晚于自身」零告警）。本模块补两条**标记级**防线：
+
+  ① 短语层：正文以回指短语（「上次的」「之前说的」「明明讲过」）指代一个
+     在句内**无可解析出处**（句内无库内 id）的对象时，产出幽灵引用短语清单
+     ——写入链把它落 `fm.uncertain_refs` 并在出口告警；**不拒收**（回指是
+     现实写作的常态，拒收会把正常记忆挡在门外；标记让「不确定」可被后续
+     裁决与检索看见）。
+  ② id 层：正文引用了一个库内目标，但本文档声明的生效起点（valid_from /
+     effective_from）**早于**目标创建时刻——「引用了当时尚不存在的目标」。
+     产出 late_refs 告警清单；同样**不改建边判定、不拒收**。
+
+判据边界（如实）：
+  · 句级判定：短语所在**句子**（[。！？；\n] 为界）内无库内 id ⇒ 幽灵；
+    跨句引用（一句短语、邻句 id）不消解标记——保守方向是「宁标勿漏」。
+  · 仅写链（MCP op=write）路径生效（与 linkref 同界）；库层直调 cg.add
+    不经检测。
+  · 短语表保守（明确的时间/人称回指词），**不含**「那条/那根」这类泛指示词
+    （误报率高，标记面宁可窄）；误报后果 = fm 多一个标记。
+  · 检测面**不查源节点 id 形态**（不同于 linkref 的 is_linkable_source
+    门槛）：标记是**内容属性**——无论节点 id 是否合规，正文里的无出处回指
+    都值得标记；建边是**图属性**，才需要形态门槛（防图污染）。两者有意
+    不同界。**late 面例外**：它消费 linkref 解析出的 targets，源 id 不合
+    形态 ⇒ 无 targets ⇒ late 静默不查（与 linkref 同界，2026-10-05 复核
+    info-④ 登记）。
+"""
+from __future__ import annotations
+
+import re
+
+__all__ = ["PHRASES", "SENTENCE_SPLIT_RE", "find_ghost_phrases", "late_targets",
+           "check"]
+
+#: 回指短语表（时间回指 + 人称回指；CD-WHALE-01 发现 C 的词形采样，
+#: 对齐评估 v0.1 §2 L1 的「上次的/之前的/明明讲过」三例）。
+PHRASES = (
+    "上次的", "上次说", "上次买", "上次那", "上次提",
+    "之前的", "之前说", "之前买", "之前那", "之前提",
+    "明明讲过", "明明说过", "明明说", "明明提",
+    "刚才说", "刚才的", "前述的", "先前说", "早先的",
+    "你说的", "我说过的", "你提过的",
+)
+
+#: 句界（句级判定的切分面）。保留句子文本、丢弃界符。
+SENTENCE_SPLIT_RE = re.compile(r"[。！？；\n]+")
+
+
+def find_ghost_phrases(text, known=None) -> list:
+    """短语层检测：返回**无可解析出处**的回指短语列表（去重保序）。
+
+    known —— 库内节点 id 集合（白名单）。句内含形态合法**且在册**的 id 即
+    视为「有出处」（该句非幽灵）；传 None 时降级为只判形态（保守少报）。
+    """
+    if not text:
+        return []
+    from . import linkref
+    out = []
+    seen = set()
+    for sent in SENTENCE_SPLIT_RE.split(str(text)):
+        hits = [p for p in PHRASES if p in sent]
+        if not hits:
+            continue
+        # 句内子串去重（最长优先）：「明明说过」同时命中「明明说过」与
+        # 「明明说」——同一现象的一个更长粒度标记即可（复核 info-2：
+        # 冗余双标记挤占 cap 16）。跨句不去重（不同句各自独立）。
+        hits = [p for p in hits
+                if not any(p != q and p in q for q in hits)]
+        # 句内是否有可解析出处：id 形态命中 + （调用方给了 known 时）在册。
+        refs = linkref.extract_refs(sent, known=known)
+        if refs:
+            continue
+        for p in hits:
+            if p not in seen:
+                seen.add(p)
+                out.append(p)
+    return out
+
+
+def late_targets(cg, targets, own_from) -> list:
+    """id 层检测：目标创建时刻晚于本文档声明的生效起点 ⇒「目标晚于自身」。
+
+    targets  —— linkref 解析出的引用目标 id 列表（ctx["linkref_targets"]）。
+    own_from —— 本文档声明的生效起点（valid_from / effective_from）；缺省
+                None 表示未声明时间轴，此时不做检查（写入 created_at=now，
+                「目标晚于自身」结构上不可能）。
+
+    返回 [{target, target_created, own_from}]（cap 10，保序）。
+    """
+    if own_from is None or not targets:
+        return []
+    try:
+        own = float(own_from)
+    except (TypeError, ValueError):
+        return []
+    nodes = (getattr(cg, "index", None) or {}).get("nodes") or {}
+    out = []
+    for tid in targets:
+        tid = str(tid)
+        e = nodes.get(tid) or {}
+        tc = e.get("created_at")
+        if tc is None:
+            rec = cg.get(tid) or {}
+            tc = ((rec.get("frontmatter")) or {}).get("created_at")
+        try:
+            tc = float(tc)
+        except (TypeError, ValueError):
+            continue
+        if tc > own:
+            out.append({"target": tid, "target_created": tc, "own_from": own})
+            if len(out) >= 10:
+                break
+    return out
+
+
+# 生效条件：总是返回 {"ghost_phrases": [...], "late_refs": [...]} 两键 dict（各可为空列表）；
+# 内部对 text 做短语层检测（known 取 cg 索引键集合），对 ctx 已解析的 linkref 目标做 id 层检测；
+# 不做任何落盘/短路（纯读）。
+def check(cg, text, linkref_targets=None, own_from=None) -> dict:
+    """组合检测（纯读，无副作用）：供写入链闸调用。"""
+    nodes = (getattr(cg, "index", None) or {}).get("nodes") or {}
+    known = set(nodes.keys())
+    return {
+        "ghost_phrases": find_ghost_phrases(text, known=known),
+        "late_refs": late_targets(cg, linkref_targets or [], own_from),
+    }

package/md_cg/judgment_manifest.py

@@ -33,6 +33,7 @@ hive serve 心跳）用的是 `scripts/judgment_manifest.py`，两侧 PATTERNS
   md_cg/test_*.py         Python 侧测试套件
   compiler/tests/*.py     compiler 测试
   swarm/tests/*.py        swarm 测试
+  test/{hive_exec,hive_wm}_test.py   test/ 侧逐文件裁决可收件（A6；精确名冻结）
 
 安装态（出货包）只有 `md_cg/test_*.py` 一组可得——其余组命中数为 0，
 `missing_patterns` 显式随清单与冻结凭证落盘（不静默少算）；A3 两侧必须在
@@ -55,6 +56,12 @@ PATTERNS = [
     ("md_cg", "test_*.py"),
     ("compiler/tests", "*.py"),
     ("swarm/tests", "*.py"),
+    # test/（A6，2026-10-05）：与 scripts/ 版逐字同步——test/ 侧逐文件裁决可收件的
+    # 精确名冻结（未过裁决的件不进判据面）。批次99 补收：chaos 套件的陈旧登记已
+    # 同步（FI-M04 读码代理断言改 AST 语义判据 + 去锁定点变异自证）。
+    ("test", "hive_exec_test.py"),
+    ("test", "hive_wm_test.py"),
+    ("test/chaos_injection", "run_all.py"),
 ]
 
 

package/md_cg/lifecycle.py

@@ -103,6 +103,44 @@ def state_of(fm) -> str:
     return s if s in STATES else "active"
 
 
+# 生效条件：入参 e 为索引条目（或同形 frontmatter 副本）时返回 state_of(e) == "archived" 的布尔结果；缺 STATE_FIELD 或取值不在 STATES 时 state_of 回落 "active" ⇒ 返回 False。
+def is_archived(e) -> bool:
+    """默认检索剔除面＝本函数（判据单点）。
+
+    `archived` 的语义（模块 docstring :42）是「不再参与**默认检索**」——本函数是该
+    宣称的**唯一判据**，全部消费点共同引用（判据单点，多个消费点）：
+
+      · cg 检索面：`MdCGOS._candidates`（mdcos.py）——`MdCGSecure._candidates` 经
+        `super()` 覆盖叠加读可见性，故全部**检索类** cg 读 op（search / search_rrf /
+        recall / route…）都经它；
+      · stg 扫描面：`stg._scan_one`（stg.py，`_scan` 的逐条实现单点）——timeline /
+        anchors / consistency 三 op 的候选面同点覆盖（`relation` 面是显式 id 直读，
+        `state_chain` 走 append-only 台账，两者不经扫描面）；
+      · 会话续接注入面：`MdCGOS.session_recall`（mdcos.py）的四个取数段——会话要点
+        `_session_notes`、活跃目标 `goals`、任务台账 `tasks`、未解问题 `unresolved`
+        （`goals`/`tasks` 经 `_retired_by_id` 按 id 回查索引后交本判据）。该 op 是
+        「装配续接包注入上下文/回给调用方」的注入面，与检索面同属「退役即不再默认
+        回出」；它自持取数面（不经 `_candidates`），故单点接线（独立复核 2026-10-06
+        两轮实测：接线前 archived 要点摘要、未解问题正文、**活跃目标与任务卡**均经
+        该 op 照旧回出；`recent` 段是事件窗口、`self_state` 是只读快照卡，不含节点
+        条目，不涉退役）。
+
+    **fail-open**（缺键/非法值 → active）：存量节点不回填也照常参与检索
+    （存量零迁移、不误剔）；「不误剔」的另一半是**只剔 archived**——
+    converged / demoted 是**降权轴**，仍参与默认检索。
+
+    不适用条件（**不**消费本函数，故 archived 期间照常可达）：显式 id 直读
+    （`cg.get`）、审计面（`op=audit`）、工程台账的**显式管理查询面**
+    （`cg(op=goal, action=list)` / `cg(op=task, action=list)`；注意与消费面之别——
+    会话续接注入包内的对应段已按上表剔除，两者不冲突）、负记忆层
+    （rejected / unresolved 的覆盖标记面）、统计面（health / whoami / conformance）
+    ——「退役不删除、可显式恢复」的承诺要求它们在 archived 期间照常可达。
+    边界（已知未覆盖面，另立裁定）：基类 `MdCG.search`、`chain.adjacency` 拓扑面、
+    `subgraph.children_index/parents_index` 结构面、rust 检索内核。
+    """
+    return state_of(e) == "archived"
+
+
 # 生效条件：按 _RANK.get(dst, 0) > _RANK.get(src, 0) 判定，src 或 dst 不在 _RANK 键中时该侧按 0 参与比较。
 def is_downgrade(src: str, dst: str) -> bool:
     """是否向「更低」的状态迁移（active < converged < demoted < archived）。"""