If the instance crashes, rollback is rebuilt using redo. It is not just reused from the 'pre-crash' state. And in my scenario, a log switch has occurred, meaning the online redo does not contain the transaction in question. This is the critical part of my question.