I'm sure you'll find that detach() just stops the PWM output i.e. it tells the servo library to discontinue generation of the PWM output on that pin. I think you've already explained what the servo would do when that happens. (Your description of the behaviour of analog servos when the signal is lost matches my own experience and I'm sure you're right about the digital servos too.)