Verify your fixes

Prove each leak is closed with a re-measurement — recovery is measured, never modeled.