A corrected transport contract

This contract is not asserted as a theorem for the full class. The source's desired form $a_j(g)\le C_g{\epsilon }_j$ is one sufficient choice. The fine error may depend on the finite source complexity, because the diagonal argument fixes a source before refining it.