Thanks, and shame on me for not looking it up first! I still wonder if the tracks were kept clock-synched or whether punch-ins would produce clock dislocations, and if they were somehow buffered...

This SoS article doesn't answer it, but provides more background.

https://www.soundonsound.com/sound-advice/all-about-digital-...