butler-git：把「我改完了」變成可驗證的事實

`butler-git` 是一個 DSH 插件，旨在解決智能體工作流中區分「意圖」與「完成」的難點。它通過 Git 原生機制解耦節點（意圖）與 Commit（證據），並引入零依賴門禁強制一致性。 核心功能包括：將意圖聲明與提交驗證分離，使用 Delta 和 Program ($P$) 進行嚴格校驗；通過憑證系統實現權限向下包含；凍結已提交節點使其不可變；以及提供 DAG 圖和證據鏈進行可視化與審計。該工具適合對改動極其敏感的項目，能確保工作產出可回放、可審計。