前言¶
DeepSeek Harness（DSH）的會話持久化目前沒有通用的刪除或留存 API，社區插件往往實現不同的變更策略。這導致驗證會話是否真正被刪除、以及刪除後的狀態是否持久存在變得困難。dsh-retention-settlement-proof 是一個輔助層，它通過消耗預先記錄的收據，來驗證一個不透明的主體在聲明的存儲投影（如 persistence-list、session-index、workspace-index）中保持缺失，並回答“是否消亡”的問題。
插件介紹¶
這是一個離線、無主體（body-free）的證據生成插件，用於 DeepSeek Harness 的留存結算。它不修改任何數據，僅生成證明。由用戶 dongsheng123132 維護，採用 MIT 許可證。
核心功能¶
- 離線無主體留存結算證據：生成離線的留存結算證據，不涉及會話正文。
- 消耗預錄收據：讀取社區插件或測試工具預先記錄的收據。
- 跨表面驗證：檢查主體在
persistence-list、session-index、workspace-index等表面是否完全缺失。 - CLI 集成：提供
inspect和verify兩個命令。 - MCP 支持：作爲獨立的 stdio MCP 服務器提供證明能力。
- 安全隔離：不刪除任何文件，僅做驗證；報告不包含會話文本、文件路徑、憑證或敏感信息。
- 哈希與判斷：輸出結果僅包含 SHA-256 哈希和驗證結果。
使用方法¶
插件提供了 CLI 和 MCP 兩種接入方式。
CLI 命令¶
# 檢查當前工作區
dsh-retention-settlement-proof inspect --workspace . --manifest proof.json
# 驗證證據
dsh-retention-settlement-proof verify --workspace . --manifest proof.json --artifactDir artifacts
MCP 服務器¶
獨立的 stdio MCP 服務器暴露了證明專用的內聯等效命令，且從不訪問文件系統。
環境與注意事項¶
- 兼容性：DSH 版本需大於等於
0.1.2-alpha.4，Node.js 版本需大於等於22。 - 權限：插件以當前 DSH 進程的權限運行。請確保在安裝前檢查源碼與許可證（MIT）。
- 安全原則：驗證過程不會刪除任何文件。報告僅包含哈希值和判斷結果，不包含會話文本、收據正文、文件路徑、憑證或任何敏感信息。
- 失敗安全：如果存在後續的
present: true、收據過期、缺少表面、重啓前證據、身份不匹配、摘要不匹配、不安全路徑或未達到閾值，驗證將失敗。
總結¶
該插件通過離線驗證和嚴格的證據合約，解決了 DeepSeek Harness 中“刪除”狀態難以被程序化驗證的痛點。更多細節請訪問 GitHub 倉庫。
