I doubt they’re replacing the video at any point, it’s all probably prerendered videos for each time.
For a user who’s clock changes midplay, you would simply check the time with seconds before choosing the video to render, if it’s MM:35 or after you would play the MM+1 video instead of MM
Tested it out, seems to be working well so far. Nice work!