Ocean debugging: servers can evaluate progress