Noether’s Theorem on the Tech Tree