Bob writes the change. PROOF tries to break it.
PROOF (Production Runtime Observation & Outcome Forecasting) is an AI-assisted reliability verification tool that tests code with real runtime failure scenarios instead of relying only on static analysis.