前言¶
在 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。