Stuck processes on old module version after failed hot code upgrade
Precision Goal The goal is to understand how Erlang systems should recover from a failed hot code upgrade when some processes remain indefinitely on the old module version. Erlang's hot code loading mechanism keeps both old and new versions active, with processes transitioning only upon fully qualified function calls. This creates a recovery challenge when p