butler-git：把「我改完了」变成可验证的事实

`butler-git` 是一个 DSH 插件，旨在解决智能体工作流中区分「意图」与「完成」的难点。它通过 Git 原生机制解耦节点（意图）与 Commit（证据），并引入零依赖门禁强制一致性。 核心功能包括：将意图声明与提交验证分离，使用 Delta 和 Program ($P$) 进行严格校验；通过凭证系统实现权限向下包含；冻结已提交节点使其不可变；以及提供 DAG 图和证据链进行可视化与审计。该工具适合对改动极其敏感的项目，能确保工作产出可回放、可审计。