The Type II → Type I Passage of Gravitational Algebras: An Exact Finite-Dimensional Theorem and Its Continuum Proof Structure | Synapse