GleanProof — Recovery Verification Infrastructure