Another thing you are apparently missing is deterministic ordering for tied elements:

https://modern-sql.com/blog/2026-03/order-equivalence-over-c...