From what I understand:
When semidefinite programs (SDPs) don't obey Slater conditions, it is not guaranteed that interior-point methods (IPMs) converge.
It appears that facial reduction (FR) algorithms resolve this by re-writing such SDPs into equivalent SDPs (i.e., the solution of the new SDP gives us the solution of the old one) where the Slater condition does hold. However, a step in such FR algorithms requires solving a SDP that is very similar to the original one. There appears to be no guarantee that this SDP satisfies Slater conditions or is in fact in any way any easier than the original problem.
Please correct me if I am wrong. Is applying FR just blindly hoping for the best or is there any reason to believe the SDPs it requires to be solved are better behaved than the original SDP?
(I understand that if the individual FR steps terminate, FR will terminate but that appears to be a big unlikely assumption. If we are assuming all SDPs on the cone in question terminate by IPM we don't need FR anymore we can just solve the original problem by IPM by assumption.)