dsh-change-window-proof：離線確定性變更窗口證據

前言¶

在 DSH 環境中，智能體或操作流程常需證明變更結算是否嚴格發生在聲明的維護窗口內。AWS 和 Azure 等平臺定義了窗口規則（如開始時間、最大持續時間、截斷時間等），但需要工具去驗證實際發生的變更賬本是否合規。dsh-change-window-proof 專注於解決這一窄問題：驗證提供的變更賬本是否在聲明的時間邊界內結算，並保持與變更收據、工件、環境和策略的綁定。

這是什麼¶

這是一個離線、確定性證據生成插件。它提供無頭核心，支持通過 DSH bundle、獨立 MCP stdio server、JavaScript API 和 CLI 使用。報告在寫入後經過脫敏和驗證，採用內容尋址機制。

核心功能¶

離線與確定性：在無網絡或實時依賴的情況下生成可驗證的證據。
內容尋址報告：生成的報告基於內容哈希，確保數據完整性。
維護窗口驗證：檢查結算開始/結束時間是否包含在聲明窗口內，驗證連續的 start → step* → finish 序列及單調遞增的 UTC 時間戳。
時長與截斷檢查：驗證最大持續時間，並確保沒有在截斷時間後啓動新步驟。
綁定驗證：確保每個事件綁定相同的窗口、收據、工件和環境。
SHA-256 鏈驗證：驗證事件鏈的哈希綁定及聲明的賬本頭。
多接入點：提供 MCP stdio server、JavaScript API 和 CLI 三種使用方式。

安裝與啓用¶

通過 DSH bundle 安裝，支持本地路徑或 GitHub 提交哈希。

dsh plugin install /absolute/path/to/dsh-change-window-proof
dsh plugin install github:dongsheng123132/dsh-change-window-proof#<commit>

典型用法¶

插件提供多種工具進行檢查和驗證：

CLI 檢查與驗證

    # 檢查示例文件
    node bin/dsh-change-window-proof.mjs inspect examples/compliant.json

    # 驗證示例文件並生成內容尋址報告
    node bin/dsh-change-window-proof.mjs verify examples/compliant.json

DSH 工具
插件安裝後會提供以下命令行工具：
- dsh_change_window_inspect：接受內聯 manifestJson，返回邊界哈希和計數。
- dsh_change_window_verify：接受工作區相對路徑的 manifestPath 和 artifactDir，寫入並回讀內容尋址的 JSON 判定結果。
MCP 工具
啓動 stdio server 後，可調用 MCP 工具 change_window_inspect 和 change_window_verify，使用換行符分隔的 JSON-RPC 協議通信。

適用場景與注意¶

適用場景：用於審計變更日誌，確保變更操作嚴格符合維護窗口的時間限制和策略要求。
邊界說明：
- 此插件僅用於驗證證據，不批准、授權、豁免、排程或執行變更。
- 不用於認證記錄器或收據。
- 不查詢實時基礎設施。
- 不證明未記錄的動作發生。
清單限制：Manifest（清單）僅應包含標識符、時間戳、計數和 SHA-256 綁定，不應包含憑據、原始日誌、提示詞、請求體、聊天文本或源文檔。
路徑要求：輸入和輸出路徑必須是工作區相對路徑，且不支持符號鏈接。
許可證：MIT 許可證。

短結尾¶

dsh-change-window-proof 提供了驗證變更結算合規性的基礎能力。它與 dsh-action-parity、dsh-policy-waiver-proof 等插件共同構成證據棧，用於不同維度的變更管理驗證。

目錄頁: dsh-change-window-proof
GitHub: dongsheng123132/dsh-change-window-proof