Given a tarball has been injected inside swh-storage, reconstruct such tarball.
The bit by bit representation is not guaranteed.

Invariant: The extracted content of the tarball regenerated is exactly the same as the original tarball's content.

Said otherwise:
forall t in Tarball (set of all tarballs)
extract t = (extract . read . inject) t