limping impl of checkpoint verify