Instructions for the reviewer. This document is a map, not a proof. It presents the global strategy of the T-DFT programme, the logical dependency graph of the 13 companion documents, and the location within those documents of each step required by the JaeWitten problem 1. All detailed proofs are in the cited documents.
Luis Rodrigues (Sun,) studied this question.