dsh-source-ledger: Attaching verifiable provenance to decision-level assertions

前言

在 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] 草稿结论的开发流程。

注意:

  1. 插件不是 DeepSeek 或幻方官方组件;SkillHub 目录是社区站点,与官方无从属关系。
  2. 无 inspectable pointer 的条目无法通过 verify;安装前应自行审查 GitHub 源码与 MIT 许可证。
  3. 常见故障与修复见 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。

羽毛球分组比赛记分
小程序二维码

欢迎使用《羽毛球分组比赛记分》微信小程序

Xiaoye