Adjudicação compulsória: instrumento de regularização dominial em favor do promitente comprador