> When is it a bug fix, and when is it a hard fork?

The simple answer is that this is a false dichotomy. A hard fork was necessary to fix this bug.