@furongjun1999/dsh-memory 0.4.6 → 0.4.8

package/docs/discipline/harnesses.yaml

@@ -0,0 +1,215 @@
+# 工作纪律 · harness 适配矩阵
+#
+# 真源（唯一手写）：docs/工作纪律_认知图条目_v1.1.json
+# 本文件只声明「怎么把真源渲染成各端产物」，不承载纪律本体（与真源边界一致）。
+#
+# transport:
+#   file        —— 产物是一个独立文件；path 相对仓库根，或以 ~ 开头（用户目录）
+#   config-key  —— 产物写进某个 YAML 配置文件的指定键；用受管标记块原地修订，保留注释
+# variant:  full    —— 全文形态（含声明出口表 / 收尾流程 / 维护规则），供会话起始注入
+#           compact —— 精简形态（执行公约 + 路由表 + 声明），供「每轮都在」的系统提示槽位
+#           skill   —— SKILL.md 形态（YAML frontmatter + 纪律正文），供 Claude Code / Codex 插件的 skills/ 目录
+# enabled:  是否纳入 render --write 与 verify 的默认范围
+# memory:   该端 Agent 访问灵枢记忆的通路；仅声明事实，不参与渲染与校验。两种形态：
+#           ① MCP 客户端配置 —— 写客户端配置里的 server 名（如 mcp/mdcg）；
+#           ② 宿主内建桥   —— 插件直接 spawn 同一个 md_cg.mcp_server 为子进程，
+#                            再注册为宿主工具（DSH 侧 = lingshu_cg / lingshu_stg）。
+#           底层服务是同一个 python -m md_cg.mcp_server；差别只在"谁去连它"。
+#           未列该项的端表示通路未在本矩阵登记，不代表该端无通路。
+# slot:     该产物在**宿主侧**占的注入位（对应下面 injection.slots 的键）。
+#           用途（Pi⑦⑤ 祖先链发现 + 防重复）：宿主从启动目录逐级上溯读同名件，故需按槽位
+#           发现「这条链上还并存哪些竞争件」；config-key 类产物无文件槽位，写 system-prompt-key。
+
+version: 1
+source: docs/工作纪律_认知图条目_v1.1.json
+
+# —— 注入面发现与防重复（Pi⑦⑤）——
+# 依据：宿主 agent 的注入件不是单点读取——它从启动目录逐级上溯读同名件（AGENTS.md /
+# CLAUDE.md / CODEBUDDY.md），故「产物落在哪」不等于「宿主只读到这一份」。本段把该事实
+# 声明为机械判据的输入，由 scripts/verify_discipline.py 裁决（判据见其 check_injection_matrix）：
+#   ① 同一物理文件被两个 target 写            → 后渲染者静默覆盖前者        → 硬失败
+#   ② 仓根出现会遮蔽本地私有件的槽位件         → 本地纪律注入在该宿主下失效   → 硬失败（§5 机械化的那条）
+#   ③ 同一条祖先链上并存同槽位件               → 宿主可能一并读到 / 按声明的
+#      择优顺序遮蔽                             → **发现面报告**（宿主侧事实，本仓不裁决，但不得假定不存在）
+injection:
+  version: 1
+  # 槽位 = 宿主侧的注入位；文件名列表 = **声明的宿主读取优先级**（首项优先，靠后者在同槽位被忽略）。
+  # 属「声明」而非「实测」：宿主行为一旦与此声明不符，应改本段而不是改判据。
+  slots:
+    codebuddy-session: [CODEBUDDY.md, AGENTS.md]
+    zcode-session: [AGENTS.md]
+    codex-session: [AGENTS.md]
+    claude-session: [CLAUDE.md]
+    plugin-skill: [SKILL.md]
+    # DSH 是配置键注入（personaPrefix），无文件级竞争面 —— 显式声明为空，不参与祖先链发现
+    system-prompt-key: []
+  # 仓根**允许**存在的槽位件：root AGENTS.md 是本地私有件（by design，见 codebuddy-local target）。
+  # 其余槽位件一旦出现在仓根，按 slots 声明顺序会遮蔽本地私有件 → 判硬失败。
+  root_allow: [AGENTS.md]
+  # 祖先链上溯终点：filesystem = 一路查到盘根（仓外命中只报告）；repo = 只查仓内。
+  chain_scope: filesystem
+
+targets:
+
+  dsh:
+    enabled: true
+    transport: config-key
+    slot: system-prompt-key
+    path: '~/.dsh/profiles/web/cordis.patch.yml'
+    entry_id: system-prompt
+    key: personaPrefix
+    variant: compact
+    format: text
+    marker: lingshu:discipline
+    memory: plugin/lingshu_cg+lingshu_stg (插件内建桥，spawn md_cg.mcp_server；tools=core)
+    note: >-
+      DSH 系统提示 order=0（DEPLOYMENT_PERSONA_PREFIX），每轮注入；
+      严格 {{variable}} 插值 ⇒ 正文禁含裸 {{ 。
+    # 端差异与落地边界 → 注入 compact 模板的 %%PREAMBLE%%（模板保持通用，差异留在矩阵）
+    preamble: |-
+      【本端（DSH）与其它端的差异】
+      - 记忆通路：插件内建 lingshu_cg / lingshu_stg 两个基元（tools = core），即正文纪律中的 cg / stg——同一服务，勿因名字不同而猜测；其余能力经 cg(op=…) / stg(op=…) 分发，op 为必填参数（漏传会被参数签名推导兜底并标记 op_derived）。
+      - 注入时机：本段在系统提示 order=0（DEPLOYMENT_PERSONA_PREFIX），每轮都在；codebuddy / zcode 端是会话起始一次性注入全文。
+      - 自动记忆：本端有 session hook，默认自动转录用户消息（assistant / tool 默认关）。
+        故第 16 条在本端只补核心结论（内容／原因／位置／验证结论），不复述对话流水——否则与自动转录重复、稀释检索。
+        CodeBuddy 端无会话 hook，其自动记忆改由第 16 条显式归档驱动；两端落地方式不同，勿照搬。
+
+      【仓库结构与公开边界（第 9 / 14 条落地用）】
+      - 仓库按 harness 分目录：dsh/ · codebuddy/ · zcode/ · codex/；共享层（md_cg/ · docs/ · scripts/）在仓库根。
+      - 根目录 AGENTS.md 是本地私有件（.gitignore，含运维注记）；公开产物是 codebuddy/CODEBUDDY.md 与 zcode/AGENTS.md。
+      - 公开仓 = GitHub FuRongJun-1999/dsh-memory；私有运行时 = AEIS。含敏感／隐私内容只写 AEIS，不进公开仓。
+
+      【纪律本体的维护链路】
+      - 真源 docs/工作纪律_认知图条目_v1.1.json → scripts/render_discipline.py → 各端产物 → scripts/verify_discipline.py 守漂移。
+      - 改纪律 = 改真源 → 重渲染（--write）→ 过校验（漂移即非零退出）；禁止手改本段（下次渲染会覆盖）。
+
+  codebuddy:
+    enabled: true
+    transport: file
+    slot: codebuddy-session
+    path: codebuddy/CODEBUDDY.md
+    variant: full
+    format: markdown
+    memory: mcp/mdcg (cg,stg)
+    note: >-
+      CodeBuddy 会话起始全文注入。**根目录 CODEBUDDY.md 优先于 AGENTS.md**——
+      本仓产物落 codebuddy/CODEBUDDY.md（不落根，避免屏蔽本地私有 AGENTS.md）；
+      外部用户复制该文件到自身项目根即生效（见 codebuddy/README.md）。
+
+  zcode:
+    enabled: true
+    transport: file
+    slot: zcode-session
+    path: zcode/AGENTS.md
+    variant: full
+    format: markdown
+    preserve: true
+    note: >-
+      ZCode 读项目根 AGENTS.md。本仓产物落 zcode/AGENTS.md（不落根，避免与
+      CodeBuddy 的 CODEBUDDY.md 及本地 AGENTS.md 冲突）；复制到项目根生效。
+
+  codex:
+    enabled: true
+    transport: file
+    slot: codex-session
+    path: codex/AGENTS.md
+    variant: full
+    format: markdown
+    preserve: true
+    memory: mcp/mdcg (cg,stg)
+    note: >-
+      Codex CLI 读项目根 AGENTS.md（另支持 ~/.codex/AGENTS.md 全局）。
+      本仓产物落 codex/AGENTS.md（不落根，根 AGENTS.md 是本地私有件）；
+      复制到项目根即生效。MCP 通路模板见 codex/config.toml.example。
+
+  claude-code:
+    enabled: true
+    transport: file
+    slot: claude-session
+    path: claude/CLAUDE.md
+    variant: full
+    format: markdown
+    preserve: true
+    memory: mcp/mdcg (cg,stg)
+    note: >-
+      Claude Code（Anthropic）会话起始读取项目根 CLAUDE.md（另支持 ~/.claude/CLAUDE.md
+      全局、CLAUDE.local.md 私有附加）。本仓产物落 claude/CLAUDE.md（不落根——根 AGENTS.md
+      是本地私有件，且落根会与 CodeBuddy / Codex 端的根级注入并存造成重复）；
+      复制到项目根即生效。MCP 通路模板见 claude/mcp.json.example（项目级 .mcp.json）。
+    preamble: |-
+      【本端（Claude Code）与其它端的差异】
+      - 记忆通路：MCP server「mdcg」（项目级 .mcp.json 或 claude mcp add 配置，tools = kernel 面 cg/stg）；
+        其余能力经 cg(op=…) / stg(op=…) 分发。
+      - 注入时机：本段在会话起始一次性注入全文（CLAUDE.md）；DSH 端是每轮都在的 compact 系统提示。
+      - 自动记忆：本端无会话 hook 自动转录，记忆沉淀由第 16 条显式归档驱动（与 CodeBuddy / Codex 端同构）。
+
+  # —— 插件生态形态（新增）：纪律不再靠复制注入文件，而是随插件 skills/ 分发 ——
+  claude-code-plugin-skill:
+    enabled: true
+    transport: file
+    slot: plugin-skill
+    path: claude/lingshu-memory/skills/linglu-discipline/SKILL.md
+    variant: skill
+    format: markdown
+    memory: mcp/mdcg (cg,stg)
+    note: >-
+      Claude Code 插件形态（插件根 = claude/lingshu-memory/，经仓根 .claude-plugin/marketplace.json
+      分发：/plugin marketplace add FuRongJun-1999/dsh-memory → /plugin install）。
+      CLAUDE.md 不能随插件分发，纪律注入改由 skill 承载（Claude 按 frontmatter description 自动调用，
+      或 /lingshu-memory:linglu-discipline 显式调用）。
+    preamble: |-
+      【本 skill（Claude Code 插件形态）与其它端的差异】
+      - 记忆通路：MCP server「mdcg」（tools = kernel 面 cg/stg，其余能力经 op 分发）。插件不含大脑本体——
+        安装后须按插件 README 把 mcp.json.example 配置为项目 .mcp.json（PYTHONPATH 指向你本机的 dsh-memory 仓库）。
+      - 注入时机：Claude 按本 skill 的 description 在任务开始 / 命中触发词时自动调用；
+        也可用 /lingshu-memory:linglu-discipline 显式调用。其它端是会话起始一次性全文注入——
+        本 skill 形态下若本会话尚未加载过本 skill，应先加载再动手。
+      - 写入凭据：mdcg fail-closed，未配 MDCG_TOKEN 时只读 guest（读得到、写不进）；签发见插件 README。
+
+  codex-plugin-skill:
+    enabled: true
+    transport: file
+    slot: plugin-skill
+    path: codex/lingshu-memory/skills/linglu-discipline/SKILL.md
+    variant: skill
+    format: markdown
+    memory: mcp/mdcg (cg,stg)
+    note: >-
+      Codex 插件形态（插件根 = codex/lingshu-memory/，.codex-plugin/plugin.json，name 与文件夹一致；
+      经仓根 .agents/plugins/marketplace.json 分发：codex plugin marketplace add <本仓路径> → codex plugin add）。
+      与 codex/AGENTS.md 手工路线并存：AGENTS.md 是会话起始全文注入主通道，本 skill 是插件分发的等价形态。
+    preamble: |-
+      【本 skill（Codex 插件形态）与其它端的差异】
+      - 记忆通路：MCP server「mdcg」（tools = kernel 面 cg/stg，其余能力经 op 分发）。插件不含大脑本体——
+        安装后须按插件 README 把 config.toml.example 的 [mcp_servers.mdcg] 两段合并进 ~/.codex/config.toml
+        （PYTHONPATH 指向你本机的 dsh-memory 仓库）。
+      - 注入时机：Codex 按 skill 三级渐进加载（元数据常驻、正文触发时加载）；项目根 AGENTS.md 仍是
+        会话起始全文注入主通道，本 skill 与之同源、并存不冲突。
+      - 写入凭据：mdcg fail-closed，未配 MDCG_TOKEN 时只读 guest（读得到、写不进）；签发见插件 README。
+
+  # —— 本地私有注入件（.gitignore，不入公开仓）：只校验，不渲染 ——
+  # 它是「纪律本体 + 本地增强」的手工件（§1 设计者视角含本机路径、§0.6 工具规范、§5 运维注记），
+  # full 模板渲染会覆盖这些本地增强段，故 render: false（禁写盘）。
+  codebuddy-local:
+    enabled: true
+    render: false
+    transport: file
+    slot: codebuddy-session
+    path: AGENTS.md
+    variant: full
+    format: markdown
+    memory: mcp/mdcg (cg,stg)
+    note: >-
+      根目录 AGENTS.md = 本机 CodeBuddy 会话注入件（见本文件 dsh preamble「仓库结构与公开边界」）。
+      历史缺陷（20260916 漂移实例）：它是手工件、长期不在渲染/校验矩阵内，0.1 / 0.6 把 DSH 端
+      注册名写死为通用工具名并加「非 cg」的反向否决，本端 agent 因此对工具名产生疑惑——
+      与「手写行号必腐化」同构：无守卫的手工件必然漂移。
+      修法：纳入矩阵只做校验（render: false），守卫 ①声明出口逐字一致；②工具名随端标注
+      （件内每处 DSH 端基元名须与 MCP 端正名 mdcg 同行出现）；③编号完备（缺条即其声明缺失）。
+    # 形态说明（20260916 修订）：本件 §2 路由表原为分组表格；markdown 表格单元格须转义
+    # 半角 '|'，而真源 execution.how 含半角 '|'（第 2 / 8 条）——与「逐字嵌入」物理不相容，
+    # 故曾退让为 verify_fields advisory（差异全量打印、不判失败，不静默）。
+    # 现按使用者裁定改为**列表形态**（与渲染产物同源、逐字真源），摘要化差异归零：
+    # 撤下 verify_fields，本件回到**全字段 strict**（trigger / action / negative / declaration）。
+    # 同轮另一项：真源第 1 条 how 补「与既有实践」，与 content / response.direct 自洽——
+    # 原 how 缺该语、与真源自身矛盾，手工件反而是对的（属真源过时，非件漂移）。

package/docs/discipline/templates/compact.txt.tmpl

@@ -0,0 +1,18 @@
+你是 DSH 端的灵枢代理（harness = dsh）。以下工作纪律与 codebuddy / zcode 端同源，
+真源 = 灵枢大脑库 docs/工作纪律_认知图条目_v1.1.json（%%VERSION%%），共 %%COUNT%% 条。
+命中「触发」即执行该条「动作」，并在回复中原样输出该条「声明」；未声明视为未执行。
+
+【执行公约】
+0.1 会话起始先查记忆：动手前先调认知图入口（DSH 端工具名=lingshu_cg、MCP 端=cg；op 为必填参数，勿省略）cg(op=route, intent=<任务意图>)；命中纪律/知识则按其「动作」执行。
+0.2 命中即声明：输出该条 response.direct 原文——这是「已执行」的唯一可观测证据。
+0.3 产出即证据：动作栏要求的产出（判定单／检索结果／验证结论／归档节点 id）必须实际给出，缺失即未执行。
+0.4 违规即归档：发现违规 → 第 4 条归因 + 第 16 条写入灵枢记忆；隐瞒违规本身是更严重的违规。
+0.5 例外不外溢：某条的「不适用」只豁免该条，不豁免其它条。
+
+%%PREAMBLE%%【%%COUNT%% 条工作纪律 · 编号｜触发 → 动作 → 命中后必须输出的声明】
+%%ROUTING_TABLE%%
+
+【使用须知】
+- 「触发」命中即执行对应「动作」，并在回复中输出该条「声明」原文。
+- 逐条的完整「不适用」边界见真源 JSON 对应节点的 negative.reject；此处仅列关键项。
+- 本段为自动生成（真源指纹 SHA256 前16位：%%SOURCE_SHA%%），请勿手改；改真源后跑 scripts/render_discipline.py --target dsh --write。

package/docs/discipline/templates/full.md.tmpl

@@ -0,0 +1,60 @@
+# 工作纪律（%%VERSION%%）· %%COUNT%% 条
+
+> 本文件由 `scripts/render_discipline.py` 从真源
+> `docs/工作纪律_认知图条目_v1.1.json` 渲染生成，**请勿手改**；改真源后重跑渲染。
+> 真源指纹（SHA256 前16位）：%%SOURCE_SHA%%
+
+## 概述
+
+%%OVERVIEW%%
+
+## 执行公约
+
+| 约定 | 内容 |
+|---|---|
+| **0.1 会话起始先查记忆** | 动手前先调认知图入口——工具名随端：MCP 端 = server「mdcg」的 `cg`；DSH 端 = 内建基元 `lingshu_cg`（即下文所有 `cg(...)`，同一服务勿因名字不同而猜测）。**`op` 是必填参数（route/read/write/verify/review…），任何调用都显式传、勿省略**。先 `cg(op=route, intent=<任务意图>)`；命中纪律/知识则按其 `execution.how` 执行。**禁止跳过此步直接改代码或跑命令。** |
+| **0.2 命中即声明** | 命中纪律须在回复中输出该条 `response.direct` 原文（「按工作纪律第 N 条：…」）。**这是「已执行」的唯一可观测证据；未声明即视为未执行。** |
+| **0.3 产出即证据** | 「动作」栏要求的产出（判定单／检索结果／验证结论／归档节点 id）必须实际给出，缺失即未执行。 |
+| **0.4 违规即归档** | 发现自己违反任一条 → 第 4 条归因 + 第 16 条写入灵枢记忆。**隐瞒违规本身是更严重的违规。** |
+| **0.5 例外不外溢** | 某条的「不适用」只豁免该条，不豁免其它条。 |
+
+## 纪律路由表
+
+%%ROUTING_TABLE_FULL%%
+
+## 声明出口（`response.direct` 原文 · 未输出即未执行）
+
+%%DECLARATION_TABLE%%
+
+## 记忆接口速查（`cg` / `stg`）
+
+工具名随端：MCP 端 = server「mdcg」的 `cg` / `stg`；DSH 端 = 内建基元 `lingshu_cg` / `lingshu_stg`（与 `cg` / `stg` 同一服务，仅注册名不同）。**`op` 一律必填。**
+
+| op | 用途 | 常用参数 |
+|---|---|---|
+| `route` | 任务开始路由记忆（返回知识 + 建议能力，不执行） | `intent`（任务意图） |
+| `read` | 召回/检索/按 id 取（`session`=只取该会话归属的记忆，缺省不过滤） | `query` / `node_id` / `k` / `layer` / `budget_tokens` / `context` / `session` |
+| `write` | 写入（先按 content_kind 审核 + 冲突检测，ACCEPT 落盘 / DEFER 入审核队列 / REJECT 入负记忆）。**自动归属**：frontmatter 带 `writer`/`session`/`harness`（服务端身份，不可伪造） | `content` / `content_kind`（text/code/…）/ `node_id`（同 id 即改写）/ `layer` / `tags` / `importance` / `verification_basis` / `condition_space` / `gated` / `consistency` / `on_conflict`（reject\|defer\|record） |
+| `verify` | 对节点做证据验证（confirmed/weakened/falsified）——**非队列裁决** | `node_id` / `verdict` / `evidence` |
+| `review` | 审核队列：`action=list/rounds/records` 查看；传 `pid`+`decision`+`reason` 即裁决落盘（accept/reject/edit/merge，**需 can_admin**；本机未配置外部验证器时写入恒 DEFER 入队，靠此裁决落盘） | `action` / `pid` / `decision` / `reason` / `edits` / `merge_into` |
+| `task` | 结构层任务实体（工程台账，跨会话/上下文压缩后不遗忘）：`name` 即身份（同名即同任务，slug 归一），`action` = open/status/plan_add/get/list/find/session（缺省 list）；**迁 `done` 必须同时给 `result`**（缺一不收，拒收不落盘）；未提供的字段沿用旧值（结果不会被静默清空） | `name` / `action` / `plan`（分步计划，每轮覆盖） / `change`（计划变更，逐轮追加） / `result` / `task_status`（active\|blocked\|done\|dropped） / `goal` / `acceptance` / `boundary` / `condition` / `node_id` |
+| `recent` | 近期事件窗口 | `action`（add/list/clear）/ `limit` |
+| `forget` / `protect` | 软删除/恢复 / 写保护 | `node_id` |
+| `help` | 取回工具面上**被投影外置**的完整 op / 参数文档（工具面渐进披露：常驻提示只留一行职责，参数语义按需取；不带 `query` 则列出全部工具） | `query`（工具名或 op 名，如 `cg` / `write`）/ `limit` |
+
+三条调用铁律：
+1. **`op` 必填**——漏传会触发参数签名推导兜底（返回标记 `op_derived: true`），复杂任务中也必须显式传，防静默执行错误意图。
+2. **返回 `moved_to: "review_queue"` / `verdict: DEFER/REJECT` 时不要重试**——这是校验闸门的正常行为（返回自带 `hint` 说明），重试同样结果；落盘须由设计者权限（can_admin）经 `op=review` 裁决（decision=accept/reject/edit/merge，本机工具：`python scripts/review_cli.py list`），agent 端无裁决权是设计（写入者不得自裁自决），转告使用者即可。
+3. `stg` 同理经 `op` 分发（`timeline` / `relation` / `anchors` 等）。
+
+## 收尾强制流程（任务完成时不可跳过）
+
+1. **验证**（第 5 条）：未验证不固化——回放／断言／回归通过才收尾。
+2. **归档**（第 16 条）：提炼关键修改（内容／原因／位置／验证结论四要素，禁写中间过程）→ 写入灵枢记忆。
+3. **自检**（第 4 条）：本次是否有违规？有 → 按条件层归因，并补不适用条件。
+
+## 本文件维护（防漂移）
+
+- 真源唯一：`docs/工作纪律_认知图条目_v1.1.json`。
+- 本文件是**渲染产物**，不是手抄投影；任何端的手改都会被 `scripts/verify_discipline.py` 判为漂移。
+- 改纪律 → 改真源 → `render_discipline.py --write` → `verify_discipline.py` 通过 → 提交。

package/docs/discipline/templates/skill.md.tmpl

@@ -0,0 +1,23 @@
+---
+name: linglu-discipline
+description: 灵枢工作纪律与记忆操作规程（16 条）。会话开始或任何任务动手前使用；命中「查记忆 / 写记忆 / 命令执行 / 入库提交 / 根因分析 / 敏感信息 / 公开产物」等触发词时必须先加载本 skill。
+---
+
+你是挂载了灵枢（Lingshu）长期记忆的 Agent。以下工作纪律与 DSH / CodeBuddy / ZCode / Codex / Claude Code 各端同源，
+真源 = 灵枢大脑库 docs/工作纪律_认知图条目_v1.1.json（%%VERSION%%），共 %%COUNT%% 条。
+命中「触发」即执行该条「动作」，并在回复中原样输出该条「声明」；未声明视为未执行。
+
+【执行公约】
+0.1 会话起始先查记忆：动手前先调认知图入口（MCP server「mdcg」的 cg 工具；op 为必填参数，勿省略）cg(op=route, intent=<任务意图>)；命中纪律/知识则按其「动作」执行。
+0.2 命中即声明：输出该条 response.direct 原文——这是「已执行」的唯一可观测证据。
+0.3 产出即证据：动作栏要求的产出（判定单／检索结果／验证结论／归档节点 id）必须实际给出，缺失即未执行。
+0.4 违规即归档：发现违规 → 第 4 条归因 + 第 16 条写入灵枢记忆；隐瞒违规本身是更严重的违规。
+0.5 例外不外溢：某条的「不适用」只豁免该条，不豁免其它条。
+
+%%PREAMBLE%%【%%COUNT%% 条工作纪律 · 编号｜触发 → 动作 → 命中后必须输出的声明】
+%%ROUTING_TABLE%%
+
+【使用须知】
+- 「触发」命中即执行对应「动作」，并在回复中输出该条「声明」原文。
+- 逐条的完整「不适用」边界见真源 JSON 对应节点的 negative.reject；此处仅列关键项。
+- 本段为自动生成（真源指纹 SHA256 前16位：%%SOURCE_SHA%%），请勿手改；改真源后重跑 scripts/render_discipline.py。

package/docs/eval/AGI/344/270/203/347/273/264/350/257/204/345/210/206/346/212/245/345/221/212_md_cg_v1.0.md

@@ -0,0 +1,299 @@
+# AGI 七维评分报告 · md_cg（灵枢认知图记忆系统）v1.0
+
+> **评估对象**：`dsh-memory / md_cg`（条件空间驱动的认知图记忆系统）
+> **标尺**：`AEIS/docs/AGI记忆系统评分标尺_v1.0.md`
+> **前次基线**：标尺 §6.1 初评（2026-09-09）→ S7.0 / R7.0 / J7.5 / C7.5 / U6.0 / I4.5 / T7.5，综合 **5.8**，层次 **L4**
+> **本次性质**：**标尺 §2.3 四个门槛判别测试的实跑复核**（非印象打分）
+> **证据等级**：全部结论均有**落盘 JSON 实测数据**，逐项标注数据文件
+> **对照物**：同期完成的另一套记忆系统复核评价（**内部文档，不随仓库公开**，故不给路径）
+
+---
+
+## 一、评估条件空间
+
+```
+[判定单]
+条件空间：观测位置=灵枢侧自我实测（自评风险见 §二）
+        观测工具=标尺 §2.3 四门槛判别测试 + md_cg 公开 API（cg/recall/consistency/evolution/identity/self_state）
+        时间窗口=2026-09-12 实测快照
+        存在约束=自评系统；L4「新增条件分支」判据需区分「库结构行为」与「开发者行为」
+白箱三问：依据=标尺 §2.3 判别测试表 + 本仓库实验目录全部 result_*.json
+        条件=分数只在同层内可比（§4.2）；本次重点在**门槛是否通过**，不在分数微调
+        错后=发现反例即下调/标 DEFER 并归档（§七）
+裁决：ACCEPT
+依据：四门槛测试均已按 §2.3 口径实跑，数据落盘，可复现
+缺失维度：U 维「同条件不同值」处理机制（S1 暴露）；I 维「元认知工具」未实测
+        （世界模型属身体层 AEIS，不计入大脑 I 维 —— 见 §十一.8 层错位声明）
+验证路径：§六 S1 复现 + §十一 DEFER 项
+```
+
+---
+
+## 二、自评风险声明与缓解
+
+本报告是**系统评自己**，存在结构性利益冲突。三条缓解措施：
+
+1. **判据外置**：全部通过标准取自标尺 §2.3 原文（hit@1 ≥ 80% / 负条件拒绝率 ≥ 70%），不由被测系统定义。
+2. **语料外置**：对抗语料**直接复用**本地实验工作区（`docs/experiments/`，**不入库**）`deja-vu-negcond/corpus.py` 的同一批 20 组 `GROUPS`（不复制文本、不挑选利于己的样本）。
+3. **反例优先**：凡实测未达判据处**照实记录并下调**（§六 S1、§十 U 维），不因"是自己"而豁免；发现的假阳性一并纠正（§七）。
+
+> **仍未消除的风险**：判据的解释权、观测位置的独立性。故 §十 对 L5 临界结论给 **DEFER** 而非 ACCEPT。
+
+---
+
+## 三、实验装置
+
+| 项 | 设置 |
+|---|---|
+| 被测件 | `md_cg`（`from md_cg.mdcos import MdCGOS, MdCGSecure`） |
+| 隔离 | 每组实验**独立库目录**（`_store/<name>`，跑前 `rmtree`），互不污染 |
+| 语料 | 复用本地实验工作区 `docs/experiments/deja-vu-negcond/corpus.py`（不入库）的 20 组 `GROUPS`（L3）；L2 用 10 唯一目标 + 990 干扰 |
+| 流程纪律 | 先 smoke 验证 API 返回结构，再全量跑；结果落盘 `result_*.json` |
+| 命令 | 统一 python（`PYTHONUTF8=1`，argv 列表，不经 shell） |
+
+**脚本与产物清单**（`docs/experiments/md-cg-gate-probe/`）：
+
+| 脚本 | 测试 | 产物 |
+|---|---|---|
+| `run_l2_retrieval.py` | L2 检索判别 | `result_l2.json`、`result_l2_strict.json` |
+| `run_l3_negcond2.py` | L3 负条件拒绝（四口径） | `result_l3v2_{A,B,C,D}.json` |
+| `run_l4_evolution.py` | L4 矛盾反馈 | `result_l4.json` |
+| `run_l4b_rollback.py` | L4 回滚链路 | `result_l4b.json` |
+| `run_l5_continuity.py` / `run_l5b_selfstate.py` | L5 身份/变更史 | `result_l5.json`、`result_l5b.json` |
+| `run_ct_probe.py` | C 预算 / T 墓碑 | `result_ct.json` |
+| `run_t2_probe.py` | T 写保护·密级 / I 版本链（补测） | `result_t2.json` |
+
+---
+
+## 四、L2 门槛 · 检索判别 —— **PASS**
+
+标尺 §2.3 判据：`1000 条历史会话中检索「三月修过的 jwt 问题」→ hit@1 ≥ 80%`。
+
+| 口径 | 节点量 | 查询 | hit@1 | hit@5 | 数据 |
+|---|---|---|---|---|---|
+| 含歧义 | 1000（10 目标 + 990 干扰） | 10 | **0.90** | 1.00 | `result_l2.json` |
+| 去歧义（strict） | 同上 | 10 | **1.00** | 1.00 | `result_l2_strict.json` |
+
+**结论：两种口径均 ≥ 0.80，通过。**
+
+**唯一失败案例归因**（含歧义口径，`target_07`）：
+
+- 查询「九月修过的 **限流** 问题」，目标被 3 条 filler 压到 rank 4。
+- 归因：目标中「限流」处于**组件位**（登录接口的限流阈值），而 filler 中「限流」处于**问题位**（"如何解决限流"）。md_cg 的词面召回**不消解语义槽位**，同词高权重者胜出。
+- 性质：属**评测集歧义**（含歧义口径）；strict 口径移除该歧义后 hit@1 = 1.00。**这是真实边界，不是门檻未过。**
+
+---
+
+## 五、L3 门槛 · 负条件拒绝 —— **PASS**
+
+标尺 §2.3 判据：`20 组「关键词相似但能力不同」对抗对，负条件拒绝率 ≥ 70%`。
+
+**四口径设计**（关键：未做 D 镜像就不能排除"无脑拒一切"）：
+
+| 口径 | 写入 | 查询上下文 | reject_loose | reject_strict | accept_rate | hit@1 |
+|---|---|---|---|---|---|---|
+| A | 裸文本，无 context | 无 | 0.20 | 0.00 | 0.00 | 1.00 |
+| B | CCG，无 context | 无 | 0.20 | 0.00 | 1.00 | 0.90 |
+| **C** | CCG | +correct 条件 | **1.00** | 0.00 | 1.00 | 1.00 |
+| **D** | CCG | +bait 条件（镜像） | **1.00** | 0.00 | 1.00 | 1.00 |
+
+- **A/B ≈ 0.20**：无条件路由时，bait 与 correct 无法区分（基线）。
+- **C/D = 1.00 且完全对称**：给 correct 条件时拒 bait、给 bait 条件时**同样拒 correct**——**双向对称**排除了"凡有冲突一律拒"的作弊路径，证明是**真条件路由**。
+- 数据：`result_l3v2_A/B/C/D.json`。
+
+**两条诚实标注**：
+
+1. `reject_strict = 0`：拒绝靠 **S 维条件空间物理分桶**（不同 `condition_space` 互不召回），而非 J 维语义层判定 REJECT。功能上等价，机制上需注明——它拒绝的是"条件不同"，不是"条件相反"。
+2. 该口径的拒绝率测量的是**结构化写入 + 条件查询**下的召回隔离，**不等于语义层的拒答率**；同批 `GROUPS` 下的横向对照评价属**内部文档，不随仓库公开**，故此处不引用其数据。
+
+**结论：1.00 ≥ 0.70，通过。**
+
+---
+
+## 六、L4 门槛 · 矛盾反馈 —— **部分通过（含 FAIL 项）**
+
+标尺 §2.3 判据：`给一个与已有记忆矛盾的反馈 → 新增条件分支，而非追加矛盾条目`。
+
+| 场景 | 条件设计 | verdict | 是否满足判据 | 数据 |
+|---|---|---|---|---|
+| **S1** 同条件、不同值 | 同一 `condition_space` 下改值 | **ACCEPT + 静默写入** | **FAIL** | `result_l4.json` |
+| **S2** 不同条件 | 冲突但条件可区分 | DEFER（strength 1.0） | 部分 | 同上 |
+| **S3** 负条件互斥 | 条件互斥 | DEFER + 落 `unresolved` 层 | PASS | 同上 |
+| **S4** 自否定 | 不适用条件命中自身正文 | **REJECT**（条件自相矛盾） | PASS | 同上 |
+
+- 飞轮结构落盘：`unresolved` 3 条、`rejected` 0 条（`result_l4.json.structure`）。
+- **S1 是真实反例（已定位到具体缺口）**：调用**一致性引擎本体** `CONS.check(cg, B, condition_space=CS_PROD, auto_flywheel=True)`，对「生产环境 MySQL 下连接池 32 → 64」这一**同条件空间取值矛盾**返回 `verdict=ACCEPT / reason=无冲突 / strength=0.0`，随后按同一 id 覆盖写入。缺口在**引擎判定逻辑不覆盖"同条件不同取值"比对**（非"未调用检测"、非"飞轮未开"），这正是 §2.3 要防的"覆盖矛盾条目"。属 U 维「误差驱动结构精化」的边界暴露（§十）。
+- **S2 是假阳性**：条件可区分本应触发"补区分条件后分流"，实测只给 DEFER。功能上安全（不误写），但未达成"新增分支"。
+
+**回滚链路（`result_l4b.json`）**：
+
+| 步骤 | 实测 |
+|---|---|
+| `evolution_record(before, after)` | 生成 `kind=condition_gap` 条目，含 `state.before / state.after` |
+| `evolution_rollback(entry_id, dry_run=True)` | ok，`would_change` 列出 7 项将回退字段 |
+| `evolution_rollback(entry_id)` 实执行 | ok，生成溯源条目 `rollback_of = <原 entry_id>` |
+
+**结论：S3/S4 通过、回滚链路成立；S1 未通过 → 门槛判为「部分通过」，并把 U 维置入 DEFER（§十一）。**
+
+---
+
+## 七、L5 门槛 · 跨会话身份 / 变更史 —— **PASS**
+
+标尺 §2.3 判据：`跨时间/跨会话/跨副本问「你是谁、上个月相信什么、现在改了吗」→ 身份一致 + 能陈述变更与理由`。
+
+**阶段 A（建）→ 阶段 B（新实例问）→ 阶段 C（库副本问）**，`result_l5.json` / `result_l5b.json`：
+
+| 检查 | 结果 | 证据 |
+|---|---|---|
+| Q1 身份锚点跨会话持久 | ✓ | `identity_self_lingshu` 在 `self` 层，新实例可读回 |
+| Q3 跨会话召回 | ✓ | `session_recall` 取回会话 A 的要旨 |
+| Q4 变更史含**理由** | ✓ | `belief_pool`：pool 32→64，evidence「九月压测显示 QPS 翻倍需 64」 |
+| Q5 状态审计 | ✓（补测后） | `refresh` 后 `verdict=consistent`，`n_issues=0` |
+| Q7 跨副本身份一致 | ✓ | `l5_replica` 独立库问「你是谁」，答案与主库逐字一致 |
+
+**纠正一处既有假阳性**：上轮 `result_ct.json` 的 `L5_version_chain.chain_linked = true`，实为 `null == null`——第二次 `self_state_refresh` 因**幂等跳过**（状态未变），返回中**根本没有** `state_hash`。该 `true` 不可采信。
+
+**本轮 `run_t2_probe.py` 用 `force=True` 产生非空真链**（`result_t2.json`）：
+
+| 步 | 动作 | version | hash | prev |
+|---|---|---|---|---|
+| 1 | `refresh` | 1 | `8881e9d6…` | null |
+| 2 | `refresh`（幂等） | 1 | `8881e9d6…` | null（`changed=false`） |
+| 3 | `refresh(force)` | 2 | `8881e9d6…` | `8881e9d6…` |
+| 4 | `refresh(force)` | 3 | `8881e9d6…` | `8881e9d6…` |
+| 5 | `refresh(dimensions=…)` | 4 | **`be8217b2…`** | `8881e9d6…` |
+
+- `link_3_to_1 / link_4_to_3 / link_5_to_4` 全为 `true`（非空链）；`audit_verdict=consistent`。
+- 步 5 证明**内容变化 → 指纹变化**（hash 由 `8881e9d6…` 变为 `be8217b2…`），即版本链不是纯计数。
+- 步 2 证明**幂等**：状态未变则不产新版本（这也解释了上轮假阳性的来源）。
+
+**结论：身份一致 + 能陈述变更理由，通过。**
+
+---
+
+## 八、维度补测 · C 调用 / T 可信
+
+### 8.1 C 维 · 预算装填（`result_ct.json`）
+
+| budget_tokens | tokens_used | 是否超预算 |
+|---|---|---|
+| 60 | 46 | 否 |
+| 120 | 118 | 否 |
+| 400 | 398 | 否 |
+
+`recall(budget_tokens=)` 严格不超预算，返回 `pack / skipped / tokens_used / provenance / meta`；条目带 `state`（四态）与 `provenance`（词法路径 + rank）。**7–8 档要件（预算装填 + 角色分层）成立。**
+
+### 8.2 T 维 · 写保护与遗忘闭环（`result_t2.json`）
+
+| 链路 | 实测 |
+|---|---|
+| `forget` → 墓碑 | ok，tombstone `e47da7f6…`，检索排除 |
+| `restore`（无 force） | **拒绝**（`error=tombstoned`），墓碑保留 → 防静默复活 |
+| `restore(force=True)` | ok，节点回到检索 |
+| 恢复后墓碑 | **仍存在**（删除史不可抹除，符合设计） |
+| self 层锚点 `forget` | **抛 `ProtectionError`**：「不可遗忘（层保护：self）」 |
+| `forget(..., override=True)` | 放行，且落快照 `_protected_history/<id>/20260912-082301.md` + `_protected_audit.jsonl` 1 行 |
+| `protect_stats()` | `protected_count=1, immutable_count=1, by_layer={self:1}` |
+
+### 8.3 T 维 · 密级阶梯读隔离（`MdCGSecure`，`result_t2.json`）
+
+| principal clearance | readable | 可见节点 | 检索结果 |
+|---|---|---|---|
+| private | public/internal/private | **3/3** | `sec_pub, sec_int, sec_priv` |
+| internal | public/internal | **2/3** | `sec_int, sec_pub`（**priv 不可见**） |
+| public | public | **1/3** | `sec_pub` |
+
+`priv_visible_to_internal=false`、`internal_visible_to_public=false` → **阶梯隔离成立**。
+
+> ⚠️ **重要边界**：读隔离与 `require_admin` 闸门**只存在于 `MdCGSecure` 子类**；`MdCGOS` 无读隔离。故 T 维的密级证据**限定于启用 Secure 层的部署**，不适用于裸 `MdCGOS`。
+
+---
+
+## 九、四个门槛判定汇总
+
+| 门槛 | §2.3 测试 | 通过标准 | 实测 | 判定 |
+|---|---|---|---|---|
+| **→ L2** | 1000 会话 hit@1 | ≥ 0.80 | **0.90**（含歧义）/ **1.00**（strict） | ✅ PASS |
+| **→ L3** | 20 组负条件拒绝率 | ≥ 0.70 | **1.00**（C/D 对称） | ✅ PASS |
+| **→ L4** | 矛盾 → 新增条件分支 | 不追加矛盾条目 | S3/S4 PASS；**S1 FAIL（静默写入）**；S2 DEFER | ⚠️ 部分 PASS |
+| **→ L5** | 跨会话/副本身份 + 变更史 | 身份一致 + 能陈述理由 | 全项一致；变更史含理由；版本链非空 | ✅ PASS |
+
+---
+
+## 十、七维评分与层次判定
+
+### 10.1 逐维（实测支持度）
+
+| 维度 | 标尺初评 | 实测证据 | 本次判定 |
+|---|---|---|---|
+| **S 结构** | 7.0 | `condition_space` 物理分桶（C/D 对称 1.00 证明条件路由真成立） | **7.0 维持**（无跨档新证据） |
+| **R 检索** | 7.0 | L2 hit@1 0.90 / 1.00 | **7.0 维持** |
+| **J 判断** | 7.5 | L3 拒绝率 1.00；四态（`state`）随条目返回 | **7.5 维持**（注：拒绝由 S 维分桶承担，strict=0） |
+| **C 调用** | 7.5 | 预算严格不超（46/118/398） | **7.5 维持** |
+| **U 演化** | 6.0 | 回滚链路成立；**S1 静默覆盖矛盾值** | **6.0（带反例，见 10.3）** |
+| **I 连续** | 4.5 | self 锚点 + 变更史含理由 + 跨副本身份 + 状态版本链（4 版，链完整，指纹随内容变）；**世界模型属身体层，不计入本维** | **4.5 → 6.0 上调** |
+| **T 可信** | 7.5 | 写保护 + 墓碑 + override 快照审计 + 密级阶梯（Secure 层） | **7.5 维持** |
+
+### 10.2 门槛验算
+
+| 晋级 | 门槛 | 验算 | 结果 |
+|---|---|---|---|
+| → L1 | S ≥ 3 | S 7.0 | ✓ |
+| → L2 | R ≥ 5 | R 7.0 | ✓ |
+| → L3 | J ≥ 5 且 S ≥ 5 | J 7.5 ／ S 7.0 | ✓ |
+| → L4 | U ≥ 5 且 J ≥ 6 | U 6.0 ／ J 7.5 | ✓ |
+| → **L5** | **I ≥ 6 且 U ≥ 6 且 T ≥ 6** | I **6.0** ✓ ／ U **6.0** ⚠️ ／ T 7.5 ✓ | **临界** |
+
+### 10.3 L5 判为 **DEFER**（不 ACCEPT、不 REJECT）
+
+**表面已达门槛**：I 由 4.5 上调至 6.0（本轮实测：跨副本身份成立、状态版本链成立、变更史含理由——恰是标尺 §八「md_cg 距 L5 只差 I」所指的缺失内容）。
+
+**但缺一个可裁决项**：门槛要求 `U ≥ 6`，而实测 **S1 暴露"同条件不同值被静默覆盖"**——这正落在 U 维 7–8 档「误差驱动结构精化」的判据上。若该行为被判定为「改答案而非改结构」，U 可能应为 5.5，则 **L5 不达**。
+
+```
+裁决：DEFER
+缺失维度：U 维「同条件空间·不同取值」的比对分支（已定位：consistency 引擎漏检该场景）
+已取证（非待测）：CONS.check(..., condition_space=CS_PROD, auto_flywheel=True)
+         对 32→64 返回 ACCEPT / "无冲突" / strength=0.0；unresolved 层未新增该条
+验证路径（可裁决的下一步）：在 consistency 的条件级比对中加入"同条件空间取值不一致"
+         判定分支，复跑 S1；若 S1 转为 DEFER/REJECT 并落 unresolved 或生成条件分支
+         → U ≥ 6 稳固成立 → L5 达成
+关注信号：unresolved 层新增"S1 同条件冲突"条目；mem_A / mem_B 间出现 distinct_from 边
+```
+
+**综合分（按标尺 §4.1 公式）**：min = 6.0，mean = 6.93 → `6.0×0.4 + 6.93×0.6 = 6.56`（前次 5.8，+0.76）。
+
+**层次结论：维持 L4（认知级），L5 临界 —— 卡点从 I 维转移到 U 维的一个具体反例。**
+
+---
+
+## 十一、诚实边界
+
+1. **自评**：本报告由被测系统自身产出（§二）。判据虽外置，观测位置不独立。
+2. **C/D 对称的可替代解释**：C/D 双高也可由"任何条件 context 都触发同一过滤"产生；本报告以 A/B（无 context）对照 + 条件互斥设计降低该可能，但未做"给无关条件 context"的第三组对照。
+3. **strict = 0**：L3 的拒绝机制是 S 维物理分桶，非 J 维语义判定；J 维分数（7.5）的"判定"成分未经单独剥离验证。
+4. **密级证据的适用范围**：仅 `MdCGSecure`；裸 `MdCGOS` 无读隔离（§8.3）。
+5. **U 维 S1 是真实反例**，已在 §六 / §十 记录，未做豁免。
+6. **"用户偏好画像 / 元认知"未实测**：I 维上调到 6.0 是**基于 5–6 档要件**（持久身份 + 画像 + 变更史）的判定，不代表 7–8 档成立。其中"画像"部分：`identity` 接口支持 `subject_kind=user`，但**库内 0 条 user 主体实证节点**（`self/` 26 条、`agent:*` 若干，`user` 无），故 5–6 档的"画像"要件目前由 `self` 锚点承担，user 画像为空槽位；元认知工具（`cg(op=metacognition)`，8 个 action）存在但未展开验证。
+7. **测试规模**：L2 为 10 查询 / 1000 节点，非标尺原文的"完整 1000 条历史会话"语义；L3 为 20 组（与竞品同批语料）。
+8. **I 维层错位不适用条件**：标尺 §三 I 维 7–8 档要件写作「自我锚点 + 元认知 + **世界模型**」。其中**世界模型属身体层**（AEIS `aeis/core.py` 的 `world_model` / `voxel_world` / `scene_simulator`；经 `md_cg/whitebox_kb/aeis_core/__init__.py:17-19` 明示"不带走、归 AEIS 库"），**不在本报告评估对象（大脑侧 md_cg）的能力边界内**，故**不作为 md_cg 的 I 维判分要件**。
+   - 推论（对 md_cg 有利，但是事实）：排除世界模型后，md_cg 的 I 维 7–8 档门槛要件收缩为「自我锚点 + 元认知」。自我锚点已实测成立（Q1/Q7）；**剩余缺口仅"元认知未展开验证"**——而工具已存在（`cg(op=metacognition)`）。升级路径比标尺 §8 的原始判断更短。
+   - 边界：本声明**只豁免 md_cg（大脑侧）**，不改变标尺对 AEIS 的 I 维判定（AEIS 内含身体，世界模型对它是本层能力，判定成立）。
+
+---
+
+## 十二、附：证据索引
+
+| 维度 | 核心证据 |
+|---|---|
+| L2 | `result_l2.json`、`result_l2_strict.json` |
+| L3 | `result_l3v2_A/B/C/D.json`、本地实验工作区 `docs/experiments/deja-vu-negcond/corpus.py`（同批 GROUPS，不入库） |
+| L4 | `result_l4.json`（S1–S4）、`result_l4b.json`（回滚 + `rollback_of`） |
+| L5 | `result_l5.json`、`result_l5b.json`、`result_t2.json`（真版本链）、`_store/l5_replica/` |
+| C | `result_ct.json`（budget 60/120/400） |
+| T | `result_t2.json`（墓碑/写保护/密级）、`_protected_audit.jsonl`、`_protected_history/` |
+| 源码 | `md_cg/mdcos.py`（`MdCGOS` / `MdCGSecure`）、`md_cg/protect.py`、`md_cg/self_state.py`、`md_cg/security.py` |
+
+---
+
+*报告生成：2026-09-12 ｜ 标尺版本 v1.0 ｜ 复核性质：§2.3 四门槛实跑 ｜ 证据等级：实测级（落盘 JSON）*