The answer to this question might have changed since it was first asked nine years ago: a book is now available whose goal it is to give a detailed elaboration on Freedman's work:

[*The Disc Embedding Theorem*](https://global.oup.com/academic/product/the-disc-embedding-theorem-9780198841319?cc=de&lang=en&), ed. Behrens, Kalmar, Kim, Powell, Ray (Oxford University Press, 2021).

Some excerpts from the Preface:

> We choose to follow the proof from [FQ90], using gropes, which differs in many respects from Freedman's original proof using Casson towers [Fre82a]. The infinite construction using gropes, which we call a <i>skyscraper</i>, simplifies several key steps of the proof, and the known extensions of the theory to the non-simply connected case rely on this approach. &hellip;
<br><br>
We briefly indicate, for the experts, the salient differences between the proof given in this book and that given in [FQ90]. First, there is a slight change in the definition of towers (and therefore of skyscrapers). &hellip;
<br><br>
Additionally, the statement of the disc embedding theorem in [FQ90] asserts that immersed discs, under certain conditions including the existence of framed, algebraically transverse spheres, may be replaced by flat embedded discs with the same boundary and geometrically transverse spheres. The proofs given in [Fre82a, FQ90] produce the embedded discs but not the geometrically transverse spheres. We remedy this omission by modifying the start of the proof given in [FQ90], as in [<a href="https://arxiv.org/pdf/2006.05209.pdf">PRT20</a>]. &hellip; Besides these points, the proof of the disc embedding theorem given in this book only differs from that in [FQ90] in the increased amount of detail and number of illustrations.

In Section 1.5 they mention some things that are not covered in the book. In addition to bypassing the part of Freedman's original proof that "consisted of embedding uncountably many compactified Casson handles within the original Casson handle and then applying techniques of <i>decomposition space theory</i> and <i>Kirby calculus</i>," they say:

> Note that the ambient manifold is required to be smooth in the statement of the disc embedding theorem. There exists a category preserving version of the theorem, where &#8216;immersed&#8217; discs in a topological manifold are promoted to embedded ones. However, the proof requires the notion of topological transversality and smoothing away from a point (see Section 1.6). These facts, established by Quinn, in turn depend upon the disc embedding theorem in a smooth 4-manifold stated above. The fully topological version of the disc embedding theorem is beyond the scope of this book, since we will not discuss Quinn's proof of transversality.