verify after checkpoint