Reply To: Shmuly Yanklowitz, Novominsker and OO theology

He would not allow Halacha l’maaseh to develop in such a way that one would be liable to be punished for believing something which is true.

I’m not sure why you say this. Tanur Shel Achnai shows that Lo Bashomayim He means that P’sak is no longer in Hashem’s realm (all of the apologetics aside). We Pasken the belief is Apikorsus, with all of the practical results that come from that Psak. Who really cares what the objective reality is? That is in the realm of the RBSO, and He is the one who deals with Schar V’Onesh based on someone’s beliefs.