Ordering of dict keys when using msgspec.json.encode #825

Question

When using msgspec.json.encode for a dictionary in Python 3.12, for example:

msgspec.json.encode({"b": 1, "a": 2})

I see that the ordering of the keys is preserved (with the default order=None). The above example returns b'{"b":1,"a":2}'. Is this order guaranteed to be the same between runs?