Is it guaranteed that (= (zipmap (keys m) (vals m)) m)?

If i read the docstrings for keys and vals cirrectly I would say yes.

Yes

keys and vals are guaranteed to read in the same seq order

Thanks @alexmiller and @jonas