Paper 63 proved the Alpha theorem: if nontrivial reflexive reality exists, then there exists such that is the necessary pre-categorial ontological ground of its actuality. The present paper unfolds the consequences. We prove that whatever exists is Alpha-grounded, and we characterize Alpha structurally: Alpha is not grounded by same-level other, not object-level, not temporalized, primordial, not null, and not mere infinity. The result is a formal theory of grounded existence: to say that an admissible item of reflexive reality exists is to say that its actuality is grounded in Alpha. Machine-checked in, reflexive-closure-lean: 0 sorry, 2 explicit structural axioms. Trust boundary. Structural axioms are named in ; they package regress and "same-level cannot suffice" morals in typed form—not idle labels.
Nova Spivack (Sun,) studied this question.