Hoare Logic on the Tech Tree