> > Should we rule that `dim_names` and `permutation` are mutually exclusive? >
Since `dim_names` have to "map to the physical layout (row-major)" that means permutation will always be trivial which indeed makes it unnecessary to store both. (This makes me think about extension type implementations - do we want to offer an API to write/read an arbitrary order and handle that logic or do we leave that complexity to the user) Rok
