You said, 'The reason for the HUP is simply the math of non-commuting operators.' By this, do you mean that the way this math works forces you to be 'uncertain'? If so, this seems like an artifact of the math, rather than a result of correct modelling. Or, to put it another way, if we modeled...