• Hugo has a great explanation of what happens, and AFAIK, that's what happens.

    The a) and b) points in his post are what are being handled in the error log when a database is started or restore finishes with the rollback/rollforward messages.