I have now dug every single block, now just waiting for my runners to collect the results
then I will cover every remaining tile with ladders
update: we are cleaning the totality of the ocean floor
update update: there remains nothing contaminating the bedrock