MySQL version appears to be inconsistent?
Answering my own question, in case other might benefit.

The explanation, it turns out, was that although the upgrade succeeded, the restart of the daemon had failed silently. It took a kill -9 and systemctl start mysql to sort that out.