Far Cry 5 saves on a cloud and has an undo button. If the created their own engine for Halo Infinite, then surely they can have an undo button.