No pending runs

Dot_InsideABox doesn't have any runs pending verification.