This note gathers material from Paper 71 (Viable Continuation Under Constraint) that readers often treat as "the corollaries": (i) the nine domain structural corollaries of Section 12 (Selected domain corollaries and extension domains); (ii) the matching bridge appendix entries (ontology, defect readings, formal corollary line, scope); (iii) the cross-domain canonical principles and selected domain principles from the Canonical principles appendix; and (iv) the explicitly qualified frontier principles. The abstract summit theorems remain in the flagship and Lean ; this file does not add new formal claims. Reference. Full prose, Lean map, and proofs are in Paper 71 and viable-continuation-lean. Paper 72 develops a fuller principles monograph on the same spine.
Nova Spivack (Sun,) studied this question.