Petra cracked the rock. The business was harder.

Petra built a robot that bored through hard rock without touching it, then a machine that could change tools when the ground changed. Its 2024 shutdown left an unusually tangible legacy: equipment that went back to work.