I have created a world using 1.12.2 vanilla and then used a litemod to visualize the boundingboxes of mineshafts. I found that in some locations parts of the mineshaft can't gernerate (because it's in water or air) but the boundingboxes are saved nevertheless.