Giant tunnel-boring machines can get stuck in the rock they’re digging through, revealing flaws in the internal control of ...