Finiteness of K-moduli compactifications | Synapse