Mining

Mining is not implemented. Its rock table is upstream's, and every ore tier in it names an object id this map does not have, so no rock in the world can be mined. Nothing here pretends otherwise.