dsh-adaptive-context

DeepSeek Harness (dsh) 的 AdaptiveContextPlane (ACP) 插件——带治理的长期记忆系统。

设计铁律

证据即真相；视图可重建。 置信度不是权威；检索不等于披露。 学到东西不等于可以改变行为；记忆不负责替你把活干完。

为什么需要它

用过 agent 的人大概都经历过这几件事：

• 忘了说过什么。上周明明告诉它"配置和代码分开放"，这周它又混在一起，你只好再说一遍。
• 不敢让它记。有些"记忆"系统什么都往提示词里塞，一句话可能来自某个不可靠的网页，却被当成你的偏好，从此每个会话都被它影响。
• 改不回来。发现它记错了，但不知道错在哪、谁记的、怎么改。只能手动翻文件，或者干脆把记忆清空重来。

ACP 想解决的问题很简单：让记忆像账本一样清楚。每一条都有来源、有权威、有生效时间；写入要过闸门，注入有预算，行为变化要经审批。你可以随时查它记了什么、为什么这么记、改没改过。

一个简单的例子

假设你叫小林，最近在用 dsh 写一个自动化脚本项目。

第一天。你对 agent 说："记得我喜欢把配置和代码分开。"这句话被 ACP 记成一条用户事实证据——来源是你，权威是明确声明，领域是用户事实。之后你换了台机器、开了新会话，agent 自动把这条证据带进上下文，你不用重新交代。

第二周。你发现 agent 生成的代码一直用 2 空格缩进，皱眉说："都说了，用 4 空格。"这句话以"用户纠正"的身份写入，同时把之前那条相反的旧证据标记为已取代。从这一秒起，注入的只会是新偏好。旧的那条还躺在账本里——它记录了你改主意的完整过程，但不再生效。

一个月后。你想换一台服务器，打开导出功能，一条 JSONL 把全部证据带走；新环境导入，一条不少。想查账？审计记录里谁记的、什么时候、为什么，全都有。

核心能力

工作原理

DSH 会话事件
  │  session/event（agent / inbox / spliced）
  ├─→ 事件归一 → 写入闸门 → 证据表（只追加，幂等）
  │
  │  agent/pre-step（每轮，3 秒预算）
  │    ├─ 账本候选（读取闸门过滤 + 资格矩阵）
  │    ├─ 记忆源候选（并行召回，故障不阻断）
  │    └─ 编排：排序 → 去回声 → 内容去重 → 预算打包 → 注入
  │
  └─ turn/end → 沉淀队列（不阻塞下一轮）
        ├─ 积压达标 → LLM 提炼观察（失败规则兜底）
        ├─ 同键冲突 → 标记取代 + 演化链
        └─ 风格候选 → 策略评估 → 护栏内自动晋升 或 人工审批门
              └─ 候选状态机 → 物化视图（pre-step 注入时读取）

注入的召回消息以 source.kind: plugin:dsh-adaptive-context 标记生产者，并保留 form: recall 供会话审计。

Agent 安装指南（面向自动化装配）

给需要在本机 dsh 装配本插件的 agent/脚本读；人工安装见下一节。 三条硬约束：① 数据目录必须显式配置；② pnpm install 前先停 dsh（Windows native DLL 锁）；③ 同 id 的 patch 条目是整体覆盖，不要重复插。

1. 定位 profile：<DSH_HOME>/profiles/<profile>/（例 C:\Users\<you>\.dsh\profiles\web）。 先读该目录 package.json：若没有 dsh.profile.bundles 键，说明 profile 未初始化， 先 dsh plugin --profile <profile> list（或人工建 package.json）再继续。

2. 添加依赖（二选一）：

# A. GitHub 源（远端安装推荐）：CLI 自动把声明 dsh.bundle 的包加入 dsh.profile.bundles
dsh plugin --profile <profile> add github:Icstick/dsh-adaptive-context
# B. 本地开发：profile package.json dependencies 加 "dsh-adaptive-context": "link:<绝对路径>",
#    并在同文件 dsh.profile.bundles 数组追加 "dsh-adaptive-context"

⚠️ dsh plugin add 只装依赖并 reconcile bundles，不会写配置条目——第 3 步必须做。

3. 写配置：编辑 profile 根 cordis.patch.yml（无则新建）：

- id: adaptive-context
  name: dsh-adaptive-context
  config:
    ledgerDir: C:\path\to\acp-data   # 必填：账本目录绝对路径；DSH_HOME 环境变量不可靠
    # 可选：consolidationProvider/Model——配了才有 LLM 沉淀，不配走规则兜底

4. 安装并重启：停 dsh → profile 目录 pnpm install → 重启 dsh。

5. 验证：

• 数据：<ledgerDir> 下出现 acp-ledger.db 与 views/
• 生效：新会话 pre-step 注入出现 [acp:...] 前缀条目（如 [acp:user_input | id=ev_...]）

故障速查：不注入/不沉淀 → 检查 ledgerDir 显式且可写；boot 报 duplicate loader entry → patch 里同 id 插了两遍；Web 设置无配置卡片 → 源码形态需先跑 node scripts/build-client.mjs 生成 client bundle。

安装

GitHub 一键安装：dsh plugin --profile <name> add github:Icstick/dsh-adaptive-context （bundle patch 会自动挂载 adaptive-context 条目）。装完后仍需在 profile 的 cordis.patch.yml 给该条目补 config.ledgerDir（数据目录必须显式）并重启； 完整三步与字段说明见下。

在 dsh 的 profile 目录（比如 ~/.dsh/profiles/web/）做三步：

1. package.json 加依赖（link 指向本仓库）：

{
  "dependencies": {
    "dsh-adaptive-context": "link:D:/path/to/dsh-adaptive-context"
  },
  "dsh": {
    "profile": {
      "bundles": ["dsh-adaptive-context"]
    }
  }
}

2. cordis.patch.yml（profile 根目录）挂载并配置：

- id: adaptive-context
  name: dsh-adaptive-context
  config:
    ledgerDir: C:\path\to\acp-data    # 必须显式写，别指望 DSH_HOME 环境变量
    consolidationProvider: your-provider # 可选：开了才有 LLM 提炼
    consolidationModel: your-model

3. 安装并重启：

cd <profile 目录>
pnpm install
# 重启 dsh

注意：cordis.patch.yml 里同一个 id 的多个条目，后者整体覆盖前者（不是合并）——adaptive-context 只写一块。

设置页配置卡片（v0.1.1+）

• 位置：DSH Web 设置 → 插件 → 插件配置（adaptive-context 卡片）
• 机制：host 侧注册 settings namespace（adaptive-context），client bundle（lib/client.js， 由 node scripts/build-client.mjs 生成）注册设置卡片；保存写入 settings.yaml
• 生效语义：保存后重启生效（apply 时 settings 值覆盖 cordis Config，未配置字段回退 Config/默认值）
• 字段：ledgerDir / hotTokens / observationInjection / observationAuthorities / recallLimit / crossSessionPolicy / subagentDowngrade / consolidationProvider / consolidationModel / autoPromote / debug （memosEnabled / memosBaseUrl 已于 2026-10-01 退场，见下方配置表注） （targetDomain 已弃用：卡片保留仅兼容展示，不再影响注入）
• client 依赖：react（DSH 预加载）+ @deepseek-ai/dsh-client-ui-slots + @deepseek-ai/dsh-client-ui-settings（client module table 提供，无需安装到项目依赖）

配置（全部字段）

会话隔离语义（v0.1.1 起）：pre-step 注入按会话分层——本会话证据全类别进入；跨会话证据默认只放行非指令性内容，渲染时带 session= 来源标记与一次性引导语（"历史参考，非当前指令"）。跨会话 user_input 需要显式 crossSessionPolicy: all 才注入（带惩罚与标记）。

注入编排与查询工具（现状快照 2026-09-07）

• 注入：agent/pre-step waterfall——composer 汇总四源（ledger 证据 / expression 物化视图 / observation 蒸馏轨 / MemOS 等 recall provider），按 section quota + hotTokens 装箱，渲染为 source-labelled plugin user message（跨会话条目带 session= 标记与引导语）
• 调度器：宿主 inject-scheduler 为可选服务——ACP 注册 acp.composer 段（budget=hotTokens，token 口径；未挂 scheduler 时静默跳过，pre-step 注入照常）
• acp_query 工具（2026-09-04，对话即界面）：只读查询 evidence（authority/domain/state 过滤 + 关联 observation），查询全走读审计；两侧统一按时间倒序（最新优先）——observation 侧原实现直接切 listObservations()（created_at ASC 快照口径），固定返回最老的 N 条，最新蒸馏结论不可见（2026-09-22 修复）
• expression 审批面板：consolidation 产出的 style 候选（few-shot 表达式）在 pre-step 以 approval.request 发起人工审批（config.autoPromote=false 默认人工）
• 观察轨（observation）：turn/end 后 background consolidation 蒸馏证据为 observation（subject/predicate 键 + 文本）；authority 由证据推导，取支撑证据中最弱的一条（2026-09-09 非放大规则，防弱证据洗白强权威）；注入侧只放行白名单权威（T2）
• 摄入边界（2026-09-22，C/A1）：证据只从真人输入 + 工具输出来——assistant/message 形态的模型自述不再摄入（此前它绕过 7f12557 的 inbox 白名单，走 WORTHY_PREFIXES 兜底分支；W 机实测该修复落地后新入账证据里仍有 85.6% 是 agent 自产）。tool/ 暂留（对应 external_information「工具输出补充工作经验」的设计意图）。会话类型改由 extract.sessionTypeOf(session) 从 session.header.origin 派生——此前读的是事件上的 sessionType（该字段不存在），账本 session_type 恒为 root
• 审计可对账（2026-09-11）：consolidation 的成功/失败审计行都带批次区间与首尾证据 id（batchFrom/batchTo/batchFirstId/batchLastId）——用来区分「已处理但零产出」与「被水位线跳过」；水位线只推进到本批最大 observedAt，空批次不写（旧实现会盖成 now，任何早于 now 的回填/时钟偏移证据都会被静默跳过）

API（ctx.acp）

反馈通道：纠正 → 规则（T4，0.3.0）

• 草拟：user_correction/user_explicit 证据过闸门（G1 显式前缀 记住：/更正：/规则：；G2 同义纠正前 24 字符重复 ≥2）→ LLM 草拟（复用 consolidation 路由，可缺失→G1 去前缀兜底）→ rule 表 draft 行 + audit rule_drafted；幂等（已入 rules 的证据不重复草拟），日限 4 run
• 审批与治理：/acp rule list | accept <n> | reject <n> | rebuild | pin <n> | unpin <n>（人工/headless 通道，never 策略可用；accept → active + rulesDir 视图重建 + audit；rebuild = 规则经脚本/外部写入后手动刷新视图；pin/unpin = 常驻标记（gates: always → 注入 pinBoost 加成，见下））；style 候选审批在 never 策略下不自动发起（防静默 dismiss，isNeverApprovalPolicy）
• 注入（2026-09-12 容量治理，B14）：全量 active 规则进候选，按 composer utility（词面相关度主导 + explicitRef 加成 + gates:['always'] 的 pinBoost 常驻加成）竞争 rules 段容量；短标签 [rule] 渲染（每条固定开销按 4 token 记账，此前按 20 计 → 段内实装条数从 1 提升到 3-4 条）；段配额由 sectionQuota.rules 决定（默认 60，生产 140）
• 可注入性：单条成本 ≈ 4 token（短标签）+ 正文 1.0 token/CJK 字；超过 40 字（默认段配额下的安全线）的规则可能被整条丢弃——/acp rule list 会标 ⚠超40字安全线，草拟期即可发现
• 修订：规则修订 = 新行 supersedes 旧行（lineage 回溯）；不满足闸门的纠正维持 evidence 层按需召回
• 失效观测（B11，2026-09-12）：新纠正与某条 active 规则 bigram 重叠 ≥0.6 → 判定"规则疑似未生效"——不再重复草拟（避免同义规则堆积），落 audit rule_ineffective_suspect（含 evidenceId / overlap / ruleTitle）并写日志；短文本（<10 字）不判定（防假阳性）。用途：规则太长注不进、被容量裁掉、或模型未遵守，都能从审计里看出来

离线巩固：Dreaming（2026-09-22）

在线快环已通（pre-step 注入 + turn/end 蒸馏），Dreaming 是慢环：离线把证据与观察整理成「可注入的稳定结论」， 且必须经过一道门才允许晋升。设计全文见 docs/design/DREAMING.md。

第一增量只做三件零 LLM 的确定性事（src/dream.mjs）：

node scripts/dream.mjs --dir <ledgerDir>            # 预演（默认 dry-run，一行不写）
node scripts/dream.mjs --dir <ledgerDir> --apply    # 落库：只写候选池与跑批台账，绝不写 observation
node scripts/dream-review.mjs --dir <ledgerDir> --list [--domain work]
node scripts/dream-review.mjs --dir <ledgerDir> --approve <id>…    # 人工审
node scripts/dream-export.mjs --dir <ledgerDir> --state approved   # 预览可导出条目

三条纪律：① 物理分离——候选池（candidate_memory）与 observation 是两张表，候选绝不直接变成 observation； ② 不覆盖人的决定——库里已 approved/rejected 的候选，重跑只更新统计字段；③ 只标记不删除。

与 weaver 的通道（分域白名单）

只有 work / external_fact 两域可导出到 weaver，且必须人工审；画像三域（user_preference / user_fact / style）永不出 ACP。 导出产物是 wv import 兼容的 JSONL（title 是正文截取不是生成，body 附溯源脚注），由人跑最后一步。 理由与量级测算见 DREAMING.md §10；云端 staging 方案见 §11。

用户画像：Profile（2026-09-22）

在此之前，user_model 段的候选源是 evidence 直供——真人短消息（「继续」「重启好了」）把配额塞到 121%， 而 CONTRACTS.md §4 定义的 Profile（五数组、可追溯到 session event）一行实现都没有。

现在 src/profile.mjs 把它实现了：由 observation（蒸馏过的结论）构建，

stableFacts  ← claimDomain user_fact
preferences  ← claimDomain user_preference
recentState / interactionPatterns / inferredTraits   ← MVP 恒空（CONTRACTS §4：v0.1 启用）

• 不落盘、每步现算：源只有几十条，派生成本≈0，而落盘视图会引入「缓存陈旧」整类故障
• 可追溯：每条 ref 带 observationId + evidenceIds → Observation → Evidence → session event
• 加权：weight = clamp(0.6 + min(ev-1,4)×0.08 + min(days-1,3)×0.08 + approved×0.12, 0, 0.95)， 落在 confidence 上（排序信号）——authority 是写入时确定性声明的安全核心，加权绝不碰它

work / style / experience / external_fact 不进画像（分别归 work_state / expression / memory 段）。

回链可核验性：本机缺回链 ≠ 外机不可核验（2026-09-25）

问题。跨机同步上线（2026-09-22）后，W 机 1070 条 active observation 里有 918 条 evidence_ids = []。此前所有读侧判据都把它们读成同一句话：「这条结论没有支撑证据」—— 也就是「本机数据有问题」。

实测结论。那个读法是错的。两类必须分开：

为什么清空是设计：scripts/ledger-import.mjs:82-85 导入时刻意清空 evidenceIds / supersedes——evidence 不跨机，跨机引用必然悬空，「留着比清掉更误导」。这一侧不改； 本方案也不写任何存量数据（零数据风险是它的全部卖点）。

怎么在不写数据的前提下把两类分开：observation 的 id 是按自身字段派生的 （obs_ + sha256(scope|subject|predicate|domain|text|JSON(evidenceIds)) 前 24 位）。 本机写出的行，id 必然与它当前的 (..., evidenceIds) 自洽；跨机导入行走 export-import.mjs 的显式 id 原样 INSERT，那个 id 是源机按原证据集算的、而回链已被清空 → 不自洽。W 机实测：152 条自洽（= 本机行，全部有回链）+ 918 条不自洽（= 导入行，全部无回链），0 例外。 判据只有一份实现：src/backlink.mjs（observationIdOf 搬到这里，store 反过来 import 它，防两处漂移）。

落地：

• 放行闸门（src/release-gate.mjs）加第八类 backlink——此前该文件里 grep evidenceIds 0 命中，七类三档完全没有回链这一维。语义：本机缺回链 → hard_quarantine； 外机不可核验 → pass（拦下它等于把跨机同步整个否掉，那是换一个错误）。 新签名 gateVerdict(row, cfg, { resolvableEvidence })。
• Dreaming 导出：无证据回链 一分为二（不可核验（外机导入…） / 无证据回链（本机产出…真异常））。判据不放宽——两类都仍然进不了 staging： 放行会让 572 个簇从「已知缺证据」变成「看起来有证据」（源侧 1393 个 evidence id 在本机 100% 不可解析）。
• 写入侧护栏：parseObservations 遇到 evidenceIds: [] 逐条回 warnings； upsertObservation 结果带 backlink（missing_backlink 时 alert: true）；consolidation 落 [acp] acp:degraded observation_without_backlink ... 日志；prompt 由「劝阻」改为要求 ≥1 条回链。 写入仍不拒绝（账本 append-only、fail-open）——护栏是留痕，不是拦死。
• 只读体检：ledger-audit.mjs 新增 [回链] 一节，只有 missing_backlink 进告警。
• 打分一律不动：backlinkTier 只标注在候选上。空回链的候选本来就有 evidenceSupportScore → confidence(0.6) 的兜底（composer.mjs:146），不存在「被压到 0」； 实测画像权重 min 0.6 / avg 0.604 / max 0.8。

数据位置与备份

• 全部数据在 ledgerDir 下：acp-ledger.db（SQLite，WAL 模式），八张表：证据 / 观察 / 候选 / 候选事件 / 规则（v6）/ 审计 / 候选记忆（v7） / 巩固跑批台账（v7）
• 账本 schema 版本在 acp_meta.schema_version；升级是自动的（打开时建表并写版本号），无需手工迁移脚本
• 物化视图在 ledgerDir/views/ 下，可随时重建（带校验和）
• 规则视图（反馈通道，T4）在 rulesDir（缺省 ~/.dsh/rules）下：<domain>.md 人类可读，启动时从 ledger active 规则全量重建（Evidence is truth; views are rebuildable）；规则经外部脚本写入后视图不会自动刷新，用 /acp rule rebuild 手动重建
• 陈旧清理的空域集守卫（2026-10-02 事故）：重建时会把「目录里带 kind: acp-rules 头、却不在本次域集内」的 .md 当陈旧域删掉（用户自己的 .md 从不碰）；但域集为空时整条清理跳过，一个都不删，只在日志打一条 warn（写明目标目录与保留的 md 数）。缘由：当天一次域集为空的装配（apply() 里 eager 重建，未传 rulesDir → 回落 ~/.dsh/rules，且那一刻账本一条 active 规则都没读到）把该目录下的 security.md / workflow.md 当真陈旧域删了。取舍：宁可留下一个失效域的视图（可从账本重建、可手删，下一次带非空域集的刷新会正常把它收走），也不冒删光真规则的风险
• 备份/迁移：导出（JSONL）→ 新环境导入，按内容哈希幂等合并
• 数据是你的：卸载插件不会删数据；装回来即恢复

卸载

1. 从 profile 的 package.json dependencies 里移除 dsh-adaptive-context
2. 从 dsh.profile.bundles 里移除包名
3. pnpm install 后重启 dsh

卸载不删 ledgerDir 的数据；想彻底清除就手动删那个目录。

故障排查

开发

node test/<file>.test.mjs   # 单文件直跑（沙箱环境 node --test 递归受限）

设计长文见 docs/design/（架构 / 契约 / 编排 / 治理 / 沉淀 / 表达 / 多源等；2026-09-08 自 acp-docs 并入，原仓库已归档）；开发史文档见 docs/history/。 仓库级开发计划与问题登记（backlog）：docs/DEVELOPMENT-PLAN.md。

License 与致谢

MIT License。参考项目致谢见 ACKNOWLEDGMENTS.md（MemOS / Hindsight / personagent / DeepSeek Harness）。