Hash uniqueness is not a correctness property, but I agree it would be better engineering to not tie it to shortStr()