A new framework for robust superintelligence alignment (RoSA) is proposed, focusing on back-chaining and invariant justification as essential components for ensuring safety in AI systems.