"Hackathon Hunters team on IBM Bob 2.0 hackathon Hackathon"

DeleteProof reproduces a hidden GDPR bug, a deleted customer resurrected by a stale queue job, on real PostgreSQL and Redis, then proves a tombstone + advisory-lock repair. IBM Bob runs and explains it through MCP.