Open problems in Federer's Geometric Measure Theory
For a full proof of the coarea inequality in the context of metric spaces using the results of Davies you may also be interested in the PhD thesis of L. Reichel. See Theorem 7.1 in
http://e-collection.library.ethz.ch/eserv/eth:289/eth-289-02.pdf
Regarding currents of low dimension or codimension, a proof of the second question was obtained by F. Morgan (The exterior algebra ΛkRn and area minimization, Linear Algebra and its Applications Volume 66, April 1985, Pages 1–28). It is also stated in there that the general case is still open. I don't know if this has changed since then...
Theorem. The following inequality is true for any metric spaces $X,Y$, any $A\subset X$, any Lipschitz map $f:X\to Y$ and any real numbers $k,m\geq 0$. $$ \int_Y^*\mathscr{H}^k(A\cap f^{-1}\{y\})d\mathscr{H}^m(y)\leq (\mathrm{Lip} f)^m \frac{\alpha(k)\alpha(m)}{\alpha(k+m)}\mathscr{H}^{k+m}(A). $$
Fereder could prove the inequality in cases when he could establish equality $\lim_{\delta\to 0^+}\lambda_\delta(g)=\int^*g\, d\psi$ (see page 187 in Federer's book [F1]). For example he could prove Theorem when $Y$ is boundedly compact i.e. bounded and closed sets in $Y$ are compact (in fact Federer's result was originally proved in [F2]). In general he could prove the inequality $$ \lim_{\delta\to 0^+}\lambda_\delta(g)\leq\int^*g\, d\psi. $$ Then he asked [F1, page 187]:
The general problem whether or not the preceding inequality can always be replaced by the corresponding equation is unsolved.
A positive answer to this question would imply Theorem in the general case. The problem was answered in the positive by Davies [D, page 236]:
Note added 8 September 1969. H. Federer tells me that this work answers a question he raised in Geometric measure theory (Berlin, 1969) [...]
However, there is no proof of Theorem in Davies' paper and one could get the proof only by reading Federer's proof, by reading Davies' paper and by understanding how to combine the two together.
Surprisingly, it wasn’t until 2009 when Reichel [R] in his PhD thesis, re-wrote a complete proof of Theorem in its full generality, by following the original proof of Federer while making use of Davies’ result. Until recently Reichel’s thesis was the only place with a complete proof of Theorem, except that Reichel did not include the proof of Davies’ theorem. Davies’ theorem is however, very difficult.
You can find a new and a complete proof of Theorem that avoids Davis' result in:
https://arxiv.org/abs/2006.00419
This paper also contains a detailed history of the problem.
[D] Davies, R. O.: Increasing sequences of sets and Hausdorff measure, Proc. London Math. Soc. 20 (1970), 222-236.
[F1] Federer, H.: Geometric measure theory. Die Grundlehren der mathematischen Wissenschaften, Band 153 Springer-Verlag New York Inc., New York 1969.
[F2] Federer, H.: Some integralgeometric theorems. Trans. Amer. Math. Soc. 77 (1954), 238–261.
[R] Reichel, L. P.: The coarea formula for metric space valued maps. Ph.D. thesis, ETH Zurich, 2009.