Ronnie Miranda was in the final stages of helping the Occupational Safety and Health Administration plan its downsized lease renewal at a Webster office building when the Department of Government Efficiency included it in a list of leases to be terminated.