During last weekends' GP, Verstappen reportedly lost gear sync during his Q3 run. I've read somewhere (a quote I can now obviously not find anymore...) he overspun the rears exiting a corner, resulting in his car losing gear sync and having harder (up)shifts as a result on the following straights, losing time.
I've also heard radio comms of drivers having to do gear syncing procedures in FP, outlaps etc.
I'm interested in knowing how this actually works and what kind of sensors are associated with it. I assume it's some combination of shaft-sensors that allow the gear dogs and drive disc dogs to shift at the right angular position (i.e. preventing the dogs hitting each other face to face).
But angular position sensors have been around for decades in cam/crank position sensors without any need to manually sync and having a low failure rate. What makes F1 gearbox control systems so needy? Feel like I'm missing the point

Could someone with some in-depth knowledge explain how the gearbox and shifts are controlled, and what probably failed to work in this instance?
thanks!