I think there are guarantees we’d absolutely want to commit to across versions. As a hypothetical example, if someone proposed a change that made dict lookup worse than O(1), do you think it would be accepted?
Other implementations might have different time complexities in their built-ins. Those would be important details to clarify in those implementations.