Bonjour
l'ordonnance du juge est bien valable, c'est le compromis qui a été mal rédigé, l'ordonnance mentionne toujours le prix net vendeur, vous inversez le problème
une fois l'ordonnance du juge délivrée, il appartient à l'agent dans un premier temps de présenter aux acheteurs un prix de mise en vente incluant le prix net vendeur + frais agence puis au notaire d'inclure les frais d'agence, conformément aux clauses du mandat de l'agent
chacun devrait avoir son propre notaire, cela évite les litiges et le compromis devrait toujours être rédigé par le notaire et non par l'agent immobilier, chacun son métier , chacun ses compétences
dans votre cas, soit c'est une erreur du notaire, soit c'est une erreur de l'agent qui peut s'asseoir sur sa commission mais il est impossible de réduire le prix net vendeur fixé par le juge