Axiom of Echoes: Proof Refactor: ROMVault