Capture, verify and repair code evidence for coding agents / 编程智能体的代码证据采集、校验与修复