I think a more useful distinction is - mess with back-button history if and only if the user perceives a page transition regardless of if the location bar chang

I think a more useful distinction is - mess with back-button history if and only if the user perceives a page transition regardless of if the location bar changed it there was a page load.