If the starter power was left on, would the load on the compressor nut not be removed as soon as the engine started spinning faster than the starter motor? I wouldn't have thought that the engine would drive the starter motor to that sort of extreme speed.

This is not a criticism of the diagnosis. Just interested in exactly how the bendix would behave.