dsh-exp-lib-provider
经验库的记忆空间 Provider（后端），同时作为 DSH 插件注册 exp_recall / exp_record / exp_type 工具。
插件会安装到这里；不确定时保持 web。
npx -y @deepseek-ai/dsh plugin --profile web add github:yhPrime/dsh-exp-lib-provider#c93f56ae989ecffe8975043d7c197cb51440d00dExp Lib Provider 以 dsh-exp-lib-provider 发布，当前版本为 0.3.0。Plugin Hub 会校验它的 manifest，并保存精确安装来源，便于复现安装结果。
把「经验库」做成 dsh-mnemon 的一个记忆空间 Provider：空间由一个 JSON 文件存储，面板可观可管，模型的写入只走 exp_record，读取走 exp_recall 或记忆插件的通用检索（同一套语义）。排序分两种模式：有成败对照时按 JitRL 优势（Â = Q̂ − V̂）；没有对照时明说「Â 不具区分度」，改按证据强度排序——不假装有区分度。
| 项 | 值 |
|---|---|
typeId / 包名 | exp-lib / dsh-exp-lib-provider |
| 形态 | 本地 Provider（locality: local，workspaceBinding: optional-override） |
| 能力 | search / browse / graph / entities / forget；remember: false；writeMode: exact、deletionMode: soft |
| 配置字段 | dataDir（可选，默认 $DSH_HOME/exp-lib/provider-data，支持 ~ 开头；一般不用配，跟随记忆引擎里的设置） |
| 工具 | exp_record、exp_recall、exp_type（与本 Provider 共用同一份数据） |
| 数据 | <dataDir>/exp-lib.json：{ version, types[], experiences[] } |
前置：DSH 里已装 dsh-mnemon（记忆插件）。本包是它的记忆空间 Provider，同时也自己注册三个工具，所以装法是「普通插件」+「挂一次 Provider」。
# 1) 装进目标 profile（tgz 文件，或 git 仓库地址）
dsh plugin --profile <profile> add ./dsh-exp-lib-provider-0.3.0.tgz
为什么用 tarball 而不是目录：
dsh plugin add <目录>会做 pnpm link，运行时按真实路径解析依赖，宿主提供的dsh-mnemon-source-memory-spaces会找不到。tarball 装的是包副本，依赖从 profile 的node_modules解析。改完代码要重新 pack + add 才会生效。
在插件管理里启用 dsh-exp-lib-provider。dsh plugin add 只是转发 pnpm，不会把包写进 dsh.profile.bundles；没启用的话三个工具和每轮提示段都不会出现。
把 Provider 挂进 memory-spaces（一次性；改前备份 profile 的 cordis.patch.yml）。在已有的 - id: mnemon-source-memory-spaces 条目里，给 providers 列表末尾补一条：
- use: dsh-exp-lib-provider
instanceId: exp-lib
memory-providers.json 时，才在这里补 config: { mnemonDataDir: ~/.mnemon }。| 层 | 位置 | 控制什么 |
|---|---|---|
| DSH 插件 | 插件管理（bundles 里能看到 dsh-exp-lib-provider） | 工具面：exp_recall / exp_record / exp_type 是否可用 |
| 记忆 Provider | 记忆引擎 → Provider 列表里的「经验库」 | 存储/空间：这个 Provider 是否参与记忆空间 |
装好后两处都要开：插件管理里启用插件；记忆引擎里把「经验库」的开关打开。Provider 卡片显示「未启用」是正常的，点右侧开关即可。
工具面与 Provider 读的是同一份配置：
memory-providers.json 的 services["exp-lib"].dataDir）——改了它，工具自动跟随；cordis.patch.yml 里的 dataDir；$DSH_HOME/exp-lib/provider-data（宿主没注入 DSH_HOME 时用 ~/.dsh）。memory-providers.json 按顺序找：mnemonDataDir 配置 → DSH_MNEMON_DATA_DIR → MNEMON_DATA_DIR → profile 的 cordis.patch.yml 里记忆插件条目的 dataDir（环境变量缺省时扫 $DSH_HOME/profiles/*，跳过 backup-* 备份目录）→ 工作区 .mnemon → cwd 祖先链里的 .mnemon → ~/.mnemon。所以记忆插件用默认或自定义存储根都能自动找到，换机器不用重新打包，改面板里的路径即可。
v0.2.3 起不再依赖
DSH_PROFILE_DIR/DSH_PROFILE：这两个变量是宿主给「模型发起的 shell」注入的，插件进程里不一定有（2026-10-30 实测：缺环境变量时工具退回默认空目录，提示层显示 0 条经验，exp_record会写到错误的库）。现在环境缺省就扫 profiles 目录，再从 cwd 逐级往上找.mnemon；显式给了mnemonDataDir时不做这两步猜测。
记忆空间卡片页脚由 dsh-mnemon-source-memory-spaces 的客户端 bundle 渲染：只有 origin === 'native' 才显示「N 条记忆 / N 条连接 / 大小」，三方 Provider 一律显示「第三方本地记忆 + 数据目录」。经验库的 status() 本来就返回 stats（宿主会把 { ...metadata, ...status } 合进卡片），只是客户端按 origin 分叉把它丢掉了。
tools/patch-memory-spaces-footer.mjs 打一个单点补丁：有 stats 就显示统计（没有才退回类型 + 目录），并把经验库的计数文案写成「N 条经验」。脚本幂等，上游改了页脚实现时找不到锚点会报错退出，不会静默改错地方；写临时文件再 rename 覆盖，断开 pnpm store 硬链接（不污染全局 store），原文件备份到 ./备份/<日期>/（可用 EXP_PATCH_BACKUP_DIR 指定别处）。
node tools/patch-memory-spaces-footer.mjs --check-only # 只报告状态
node tools/patch-memory-spaces-footer.mjs # 默认 desktop profile
node tools/patch-memory-spaces-footer.mjs --profile <名> # 指定 profile
dsh-mnemon / memory-spaces 升级会带回未打补丁的 bundle，升级后重跑一次即可；想还原就用备份文件覆盖（同样先删再复制，别直接覆盖硬链接）。改完刷新页面；若浏览器还缓存旧 bundle，重启 DSH 一次。
重启后：记忆插件 → 记忆空间 → 新建，选 Provider「经验库」，名称填 经验库，描述用默认或自己写：
存放工作的经验：每条记录做法与结果，按 JitRL 优势召回，供接同类任务前参考。
启用后，模型的数据会写在 <dataDir>/exp-lib.json。
插件启用时会向系统提示追加一段有界文本（order: 160）：类型目录 + 用法提示（exp_recall / exp_record / exp_type）。提示里明确要求「成功/失败/被纠正都要记，同一意图换做法时复用同一 intent」，否则库里只有成功样本、排序永远没有区分度。内容每轮动态读当前数据文件，条数会跟着变；config.hint: false 可关掉。它不经过记忆组合（不需要 scoped 策略），禁用插件即消失。
安装后只有系统兜底类型「未分类」。业务类型由模型在 exp_record 时给名字，必要时自动创建；为防止「无限分类」有四道限制：
config.maxTypes），每天最多新建 6 个（config.newTypesPerDay），超限归「未分类」并在返回里给 typeWarning。exp_record 新增可选 typeDescription（≤120 字）：新建类型时写清“收什么、召回怎么用”；复用已有类型时忽略。返回里带 typeCreated / typeMergedInto / typeWarning / typeCount / typeLimit。
升级不会删已有库里的类型；新环境从「未分类」开始。
exp_type| action | 作用 |
|---|---|
list | 列出类型与使用条数（system 排最后） |
create | 新建类型（name + 可选 description） |
rename | 改名，引用它的经验同步更新 |
merge | names[] 合并到 newName（不存在会新建），经验批量改挂、源类型删除 |
assign | id + name：把单条经验改挂到指定类型；不动 hits，不新增条（修「记错类型」用） |
delete | 删除类型，经验归「未分类」；系统类型不可删 |
exp_record(intent, action, outcome?, type?, note?)
hits / outcome / note；superseded_by，但只在两边都是正回报时才取代：一旦有一条失败，两条都留着当对照（否则库里永远没有负样本）；note / intent / action 里混进的工具调用残渣（</note>、<parameter name="type">…）会被剥掉；若 type 丢了但残渣里有，会捞回来（返回值 noteSanitized / typeRecoveredFromNote）。真实踩过：一条 PPT 经验因为残渣掉进「未分类」，ty_ppt 计数一直为 0。exp_recall(intent, limit?) → 召回层 v2 检索邻居 → 排序。返回值顶层的 mode 说明用了哪套口径：
advantage：邻居里有成败对照（advantage 极差 ≥ 0.05）→ Â = Q̂ − V̂，rank_score = Â × confidence；evidence：样本回报几乎相同（实测全是 success/accepted 时 Â 恒为 0）→ 改按「相似度 × 支持度 × 证据质量」，并在 note 里写明「Â 不具区分度」。
默认过滤已删与已被取代的旧条；召回为空时 note 会说明「没有相似度 ≥ 0.12 的历史经验」。retrieval.js，与 kernel 的论文数学解耦）：
ppt / doc / sheet / code / git / env …）：pptx、幻灯片、课件 都算 ppt，任务单、任务卡、教案 都算 doc；sharesSignal），避免短查询靠虚词拼出假分数。
旧实现用对称 Jaccard：「做个研学课 PPT」在 17 条真实库上召回过阈 0/17（最强 0.0375 < 0.05）；v2 上真实库 17/17 top-1、5 条噪声意图 0/5。remember 被禁用：面板不出现通用写入入口；若宿主仍调用，返回错误提示改用 exp_record。discover / status / search / list / graph / entityIndex / remember / forget。memory-spaces 会把返回值直接当 Promise 用（untilAborted(discover())、status().catch(...)），同步值会报 … is not a function；这类坑已踩过两次（2026-10-29 的 discover 与本日的 status）。deleted_at 置位，保留 30 天后启动时清理；forget 后检索与内容页都不再显示。| 位置 | 数据 |
|---|---|
| 记忆 Provider 列表 | 经验库（exp-lib）开关与 dataDir 配置 |
| 记忆空间 → 检索 | JitRL 优势排序结果 |
| 记忆空间 → 内容 | 全部可见经验（类型、结果、备注） |
| 记忆空间 → 实体 | 意图/做法里的高频词 |
| 记忆空间 → 图谱 | 经验节点 + 「取代」边 |
| 删除 | 软删（可恢复；TTL 后物理清理） |
经验按「簇」组织：簇是类型（type）的派生视图，带经验聚合出的签名（产物 / 高频词 / 中文二元组）与统计（条数、成败、最近使用）。exp_recall 默认先做确定性簇路由：用当前意图与各簇身份（手写描述声明的产物 + 经验主产物）算相似度，过门槛就只在主簇（+ 得分 ≥0.7×主簇的次簇）里检索，否则回退全库。
brief（≤300 字符记忆简报：簇名、条数、成功率、一条做法、一条反例）与 route（命中的簇、分数、是否回退）；候选 note 展示截断 300 字符（保首尾，数据不删）。exp_record 没给类型时按同一路由自动归族；落不进任何簇就保持「未分类」。routing: 'on' | 'shadow' | 'off'（默认 on；shadow 只附路由信息、不改召回；off 等于 v0.2.3 行为）、autoAssign: false 关闭写入自动归族。tests/fixtures/labeled-intents.json（45 条）。node tools/eval-routing.mjs 复跑：当前 hit@1 82.2%、误路由 0、回退类 11/11 全对。实测（本机 32 条可见经验）：单次 exp_recall 输出 P50 从 6.8K 字符降到 3.7K；12 条自然意图里 8 条被路由收窄、4 条正确回退。
npm test # 106 项断言（在开发工作区跑，GitHub 发布树不含 tests/）
node tools/audit.mjs <dataDir> # 只读体检，有问题退出码 1
node tools/eval-routing.mjs # 路由标定集评估：hit@1 / 误路由 / 回退正确率
106 项全绿：kernel 19 / recall 11 / store 17 / cluster 21 / provider 13 / tools 7 / plugin 5 / type-tool 7 / 页脚补丁 6。
tests/kernel.test.mjs 是与 Python 参考实现的逐字段对拍（fixture 由 jitrl_memory.py 生成）。改 kernel 的论文数学要同步改 Python 并重生成 fixture；tests/recall.test.mjs 是 2026-10-29 加的回归面：自然短意图召回、artifact 别名归一、噪声不假召回、degenerate 降级、成败对照不被取代、写入清洗、exp_type assign、回报口径一致；tests/cluster.test.mjs 是 2026-11-03 加的簇派生视图测试：归属、签名聚合、统计口径、不落盘、类型管理联动、路由门槛与回退；tools/audit.mjs 把「靠人读召回输出」换成指标：类型分布、簇一致性、G 分布、负样本数、对照覆盖、工具残渣、固定 12 条意图的召回率。内核（JitRL 数学）随包自带，Provider 不依赖其他插件包。
exp-lib.json；多空间共用会混在一起。exp-lib.json 结构不变（还是 {version, types[], experiences[]}），回滚只需 routing: 'off'（或删 cluster.js）。exp_type assign，改内容 = 再记一次（就地更新或取代）。kernel.js 与 jitrl_memory.py 保持逐字段对拍；召回层 v2 在 retrieval.js，只改「谁算邻居、相似度怎么算」，不需要动 Python 参考实现。分簇只改变「谁进邻居集」，不改 V̂ / Q̂ / Â 的数学。exp_record 的回执都会提醒记负样本。dataDir 默认落在 $DSH_HOME 下；想放工作台内便于 Git 与备份，在记忆引擎里改一次即可，插件不强制位置。store.scoreOfOUTCOME_SCORES