When mining, if you cause a cavein but the cavein tile does not drop any cavedust, are the surrounding tiles safe or do caveins never drop or indicate presence of another cave in tile nearby?
Yeah, cave dust is dropped only if the cave extends to nearby squares. No cavedust - no cave nearby. If there's some, then it's time to play minesweeper