Leakproof

An agent that fixes memory-safety bugs in C, C++ and CUDA, and ships only the fixes an evidence gate verifies. Verified fixes, or nothing.