前言¶
在 DeepSeek Harness(DSH)里跑智能体时,同一个事实往往可能来自网页、本地文件、会话消息等不同渠道。若助手在回答里给出「决策级」结论却不说明依据,事后很难核对;若同一结论有两套可执行来源,行为也容易漂移。社区插件 dsh-source-ledger(维护者 jerentpan-lab)把「每条重要断言必须带可检查的 source pointer」写成账本与工具,无出处条目会标为 [no-source],并支持抽样审计与独立复算。下面介绍它的定位、能力与安装用法。
这是什么¶
dsh-source-ledger 是 DSH 上的 Source-tagged assertion ledger 插件:为 Harness 中的断言记录可 inspect 的出处(url、file:line、message id 等),并通过 source_audit 报告 source-tag 覆盖率并返回随机样本,便于独立复算。插件在 SkillHub 目录中归类为 admin-security;npm 包名 dsh-source-ledger,当前资料中的版本为 0.2.0,许可证 MIT。
README 中的动机可以概括为:在会话外、没有 source 时,不把它当作已核实的事实(“Outside the session / without a source, it is not a fact.”)。
核心功能¶
插件通过 Cordis 暴露四类工具(名称与参数以 README 为准):
source_assert:{ claim, source?, owner?, recompute? }— 登记断言;无有效 source 时会被标记,且后续无法做完整 verify。source_verify:{ id, note? }— 仅当条目存在可检查 pointer 时可用。source_audit:{ sampleN? }— 统计 source 标注率,并返回随机样本供抽查复算。source_list:{ onlyMissingSource? }— 列出账本条目,可按「缺 source」过滤。
允许的 pointer 类型包括:url、file、file-line、message、commit、stdout(配置错误表中列出;误配 pointerTypes 会触发 ConfigError)。
断言写入 append-only 账本;默认路径见下文配置。若 assert 之后源内容 hash 变化,verify 可能报 source changed since assert,需要按新内容重新 assert。
安装与启用¶
在 DSH web profile 下从 npm 安装(README 给出的官方命令):
dsh plugin --profile web add dsh-source-ledger
README 页眉另注明可从 GitHub 安装:dsh plugin --profile web add github:jerentpan-lab/dsh-source-ledger。安装前建议阅读仓库源码与 LICENSE,并理解插件以当前 dsh 进程权限读写账本与访问 url/本地文件。
配置(0.2.0)仅支持已知字段,示例见仓库 config.example.json:
{ "ledgerFile": "~/.dsh/source-ledger.jsonl" }
ledgerFile:账本路径,默认~/.dsh/source-ledger.jsonl;环境变量DSH_SOURCE_LEDGER_FILE可覆盖。- 未知键或非法值会抛出可读的
ConfigError。
典型用法¶
仓库自带演示脚本,可在克隆或安装后的包目录中运行:
node examples/demo.mjs
日常流程可以是:对决策级结论调用 source_assert 并传入 claim 与 source pointer → 需要复核时用 source_verify → 定期或发布前用 source_audit 看标注率并抽取样本独立复算 → 用 source_list 排查仍缺 source 的条目。
维护者在 README 中提供了 npm run verify 用于测试与 pack 检查;性能基准见 node bench/bench.mjs(会写入 bench/RESULTS.md;资料中示例:约 1000 条 + audit p50 ≈ 3.0ms,10000 条 ≈ 17.2ms,以你本机为准)。
适用场景与注意¶
适合谁:需要在 DSH 智能体流程里做出处可追溯、可抽查的团队或个人——例如安全/合规向的 admin 场景、需要区分「有依据的断言」与 [no-source] 草稿结论的开发流程。
注意:
- 插件不是 DeepSeek 或幻方官方组件;SkillHub 目录是社区站点,与官方无从属关系。
- 无 inspectable pointer 的条目无法通过 verify;安装前应自行审查 GitHub 源码与 MIT 许可证。
- 常见故障与修复见 README 错误表(如
ConfigError未知键、source unreachable、report输出路径不可写等)。
结尾¶
dsh-source-ledger 把「决策级断言要带可检查出处」落到账本与四类工具上,并支持审计抽样,与 DSH「一切皆插件」的扩展方式一致。目录页:https://www.skillhub.cn/plugins/jerentpan-lab/dsh-source-ledger;源码与文档:https://github.com/jerentpan-lab/dsh-source-ledger。