Domain Corollaries of Viable Continuation Companion to Paper 71: Section 12 and Principal Appendices
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.
Authors
- Nova Spivack
Publication Details
- Journal
- Zenodo (CERN European Organization for Nuclear Research)
- Published
- 2026-09-13
- DOI
- https://doi.org/10.5281/zenodo.22733961
- Primary Topic
- Logic, programming, and type systems
- Type
- preprint