dsh-plugin-verified-search:带边界与可审计证据的联网查证工作流

前言

在 DeepSeek Harness(DSH)裏給智能體掛上 web_search 時,常見問題不是「搜不到」,而是結果難以覈對:哪些來源被採納、摘錄依據是什麼、查不到時有沒有被模型用記憶補上。社區插件 dsh-plugin-verified-search 由維護者 Chih-Kai-Wang 發佈,分類爲工作流;倉庫簡介爲「Verified current-source search workflow for DeepSeek Harness」。它以有邊界的工作流替換智能體繼承的 web_search,把範圍內來源、保留的證據、JSON 取值路徑以及仍未回答的問題都留在會話裏可見。插件可作爲 deepseek-harness Discussion #332 的可安裝配套,並掛載 Discussion #344 中討論的時間上下文。

需要事先對齊預期:插件會檢查工作流與結構化來源是否滿足聲明條件,不證明發布方在說真話,也不能保證上游搜索索引一定是最新的。資料中寫明,尚無第三方獨立校驗;證據來自倉庫內確定性測試、CI、包可復現檢查與維護者執行的 conformance 運行。

這是什麼

dsh-plugin-verified-search 是 DSH 的 Cordis 插件(MIT 許可證)。穩定軌面向模型的工具爲 verified_search;實驗快照還提供 verified_research、verified_json_selection 等另外四種工具(僅見於固定 commit,見下文「發行狀態」)。

架構上,每個工作流限定可查範圍,對返回的結構化來源做本地過濾,區分「保留的引文摘錄」與「證據缺口」,避免在無摘錄支撐時把標題或 URL 升格爲已驗證結論。

核心功能

面向單次、較窄的可變事實查詢。行爲要點(來自 README quickstart):

  • 上游發送原生提供方的域名允許列表(allowed_domains)。
  • 結構化來源在本地再按主機名或子域名精確過濾。
  • 帶憑據的 URL、敏感或用於追蹤的 URL 部分會在結果進入會話前被拒絕或剝離。
  • 僅有標題或 URL、沒有保留的引文摘錄時,不提升爲已驗證證據。
  • 證據缺口保持可見,不用舊答案或記憶填補。

實驗軌的五類工具(快照專用)

工具 用途 邊界結果(README 摘要)
verified_search 單次窄查詢 結構化來源主機名後濾、可見的引文缺口
verified_research 多實體或多主張研究 按主張保留摘錄、檢索元數據、內容哈希、未解主張
verified_json_selection 官方 JSON 饋送的最新/截至日選取 RFC 6901 遍歷、日期截止、最大日期、並列終局
verified_json_numeric_extrema JSON 中精確數值極值 源詞素比較、IEEE-754 無損、並列終局
verified_json_projection 源順序下嚴格匹配的 JSON 行 有界父子/嵌套投影、可審計指針修復

僅 verified_search 屬於穩定標籤 v0.1.1;其餘四種僅在固定實驗快照中提供。

與生態及其他插件

  • 可與 dsh-web 生態包(如 @linxin666/dsh-web-all、dsh-deepseek-girl-pet)共用同一 web profile;資料描述與官方 @deepseek-ai/cordis-plugin-include 組合後無重複 id、無缺失行、無警告,且生態包未註冊 web_search、未掛載 time-context,HTTP 路由不衝突。
  • 若部署已掛載 Discussion #344 的 time-context,啓動前設置 DSH_VERIFIED_SEARCH_DISABLE_TIME_CONTEXT=1,避免兩個時鐘注入器同時運行。

發行狀態與依賴

軌道 安裝引用 面向模型的工具
Stable v0.1.1 verified_search
Experimental snapshot c29b531a6c2e52200d454aa9ded42214ba8c0014 上述五種工具
Moving main main 未發佈開發版,勿無 pin 安裝

前提條件(README):

  • DeepSeek Harness 0.1.1-rc.2 與 Cordis 4.0.1;官方 0.1.2-alpha.1 在源碼層面已審閱且對本插件所用表面無破壞性變更。
  • Node.js 22.19.x 或 24.x。
  • 通過 Harness 憑證服務或啓動環境提供 DEEPSEEK_API_KEY。
  • 使用已具備搜索能力的 preset;插件不會給內置 minimal preset 增加搜索能力。
  • CI 覆蓋 Ubuntu 與 Windows;macOS 當前不在支持合約內。

變更 Harness、Cordis、Node 或包管理器版本前,應閱讀倉庫內 COMPATIBILITY.md。

安裝與啓用

下面以穩定版爲例。官方命令使用 web profile,並在添加插件後導出配置再啓動 dsh web。

dsh plugin --profile web add github:Chih-Kai-Wang/dsh-plugin-verified-search#v0.1.1
dsh --profile web --dump-config
dsh web

發佈 commit 預置 lib/ 產物,固定 Git 引用安裝時不會在本地跑本倉庫開發工具鏈。

若需評估五工具實驗快照(僅開發/評測,可復現測試勿改用 moving main):

dsh plugin --profile web add github:Chih-Kai-Wang/dsh-plugin-verified-search#c29b531a6c2e52200d454aa9ded42214ba8c0014
dsh --profile web --dump-config
dsh web

回滾:

dsh plugin --profile web remove dsh-plugin-verified-search
dsh web

插件以當前 DSH 進程權限運行;安裝前請自行審閱源碼與 LICENSE。社區目錄 SkillHub 插件頁 與 GitHub 倉庫相互獨立索引,與 DeepSeek / 幻方無官方從屬關係。

典型用法

窄查詢 + 域名限制

向已具備搜索能力的智能體提出帶絕對日期的窄問題,並限定來源站點。README 示例意圖:在 api-docs.deepseek.com 上查證截至某日的旗艦 API 模型;若保留來源中無承載答案的摘錄,應報告未解決而非用記憶填補。

對應的 verified_search 參數示例:

{
  "query": "DeepSeek current flagship API model as of 2026-08-14",
  "allowed_domains": ["api-docs.deepseek.com"]
}

說明:allowed_domains 約束的是返回的結構化來源的主機名,不是網絡出口或隱私邊界。若需要獨立來源對比,應另起一次無域名限制的查詢。

多主張研究(實驗工具)

實驗軌 verified_research 可使用多 lane、required_claims、seed_urls 等字段。README 給出複合研究 JSON 骨架(節選字段:lanes、allowed_domains、evidence_must_include、gap_query)。穩定 v0.1.1 安裝不包含該工具,僅在對實驗 commit 安裝時可用。

適用場景與注意

適合:

  • 需要在 DSH 工作流裏把「查證」和「缺口」分開呈現的團隊或個人。
  • 希望用域名後濾、敏感 URL 剝離、引文摘錄門檻約束模型行爲的場景。
  • 已在 web profile 使用其他搜索相關插件、需要按文檔合併 patch 的部署。

注意:

  • 不要把 allowlist 當成 egress 防火牆;它只過濾結構化來源的主機名。
  • 實驗快照通過 250 項測試與 42 例凍結離線語料(2026-08-16 時最後綠色 main 快照,README 記載),仍應視作評測軌,生產優先 v0.1.1。
  • 倉庫 package.json 當前開發版本號爲 0.3.0-experiment.0;用戶安裝應以 README 中的 Git 標籤或 commit 爲準,而非假設 npm 語義版本與穩定軌一致。

結尾

dsh-plugin-verified-search 把 DSH 裏常見的聯網查證收成可檢查的工作流:來源在範圍內、證據有摘錄、缺口不自動填平。若你正在搭建「一切皆插件」的 Harness 環境,可從穩定軌 verified_search 起步,再按需評估實驗快照中的擴展工具。

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

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

小夜