There should be a dump that contains all redirects, one redirect per line (similar to the entity dumps).
In JSON, such a line would probably look like {"from":"Q123","to":"Q456"}.
In n-triples, it would be wd:Q123 owl:sameAs wd:Q456.
This would allow consumers of our JSON dumps to resolve redirects.