Purpose of this document. This is a self-contained reference for external readers. It states all main theorems, their proof status, and all open problems, with a dependency structure that shows what each result requires and what it enables. No derivations are given here; citations point to the working papers where proofs appear. Status labels: proved = proved in a programme document; conditional = proved under an explicit stated hypothesis; open = open, with resolution strategies known or partially known; conjecture = conjectured, no proof strategy currently available.
Donald G. Palmer (Thu,) studied this question.