Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
This is not what you are asking for, but have looked at the older papers by Christodoulou. He gives a mathematically sound statement of the weak conjecture and proves it in the case of scalar field and spherical symmetry?