Make coding agents prove their work

编码代理现在生成可验证的报告，包括命令输出、测试计数、包预算和截图，只有在所有检查通过后才允许合并。