Aha, that is likely the case, but I still experience the disc (Spiderman, PS4) spinning for quite a long time after starting the game before spinning down. Ie,

Aha, that is likely the case, but I still experience the disc (Spiderman, PS4) spinning for quite a long time after starting the game before spinning down. Ie, not just a "is the correct disc inserted?"-check. Perhaps some kind of late release of file handle or something, or optimization from the ps4 itself.