you’re correct. each replica polls the state of the network from registry to determine which version it should run and which subnet it should join. once the node is upgraded, there’s still consensus mechanisms in order for the node to replicate the state from the rest of the subnet.
irt proposals, the success of execution of proposal merely indicates that governance canister was able to update registry successfully.