Docket是一套为AI代理生成的代码创建证据记录的工具系统。它通过捕捉AI编写代码的完整实现过程(包括尝试的方案、验证步骤和失败记录),并将其与最终的代码差异进行对比,为每个代码块生成证据密度评分,帮助代码审查者快速定位缺乏充分证据支撑的部分。