But Ladislaus should recognize that he is the only person who thinks BOD can be defined without contradicting or making an exception to existing dogmas. Everyone else on the BOD side inevitably makes exceptions to the defined dogmas. If they don't boldly deny EENS, they at least will say "yes, eens is true but in the case of a good-willed Jєω, he can be saved outside the Church". Or they say a good-willed Jєω is in the Church which is a contradiction of the Church's ecclesiology as defined by the popes.
See, this is another example of "BoD" just being a phrase or a term. It means different things to different people to use it. "Baptism" was applied analogically to Baptism of Blood by some of the Church Fathers, so that they used the expression even for martyrs who were already baptized in water. In its etymological sense, baptism just means a "washing" and those martyrs would be washed of sin by martyrdom. But this does NOT mean that they viewed Baptism as a substitute the Sacrament. Lots of word soup going on here, and that's actually solid evidence to demonstrate that the Church has never "defined" BoD, as many pro-BoDers hold.
No, I don't believe that BoD can be defined, because there's no evidence that it's part of the Deposit of Revelation. Of course, other people thought that about Papal Infallibility and even the Immaculate Conception. So, if the Church were to decide otherwise, of course I would submit.
Those Doctors who believed in BoD did NOT view BoD as an "exception" to the defined dogmas, but, rather, were making distinctions to the defined dogmas.
So, for instance, the Church teaches dogmatically that the Sacrament of Baptim is necessary for salvation, but the Church fell a hair short of declaring that the "actual reception of" the Sacrament of Baptism is necessary for salvation. So that's the distinction St. Robert makes. In his view, the Sacrament remains necessary for salvation, and its necessity remains even in scenarios where people might receive it
in voto.
I fully expect these distinctions to be eventually condemned, but to this point they haven't been and they are not absolutely precluded by the dogmatic definitions.
BoD for justification, IMO, is a possibility, but then one really has to define the terms, since words are being tossed about here. Justification would have to be defined, in terms of whether there's a type of natural justification possible, etc.