Docket：为 Agent 生成的代码提供按 commit 的证据记录