The logical architecture of the Q5 theorem series. Each node is a proven result. Edges show dependency. Click any node to open the paper.