Relative stability theory and properness of K-moduli spaces

We define the relative stability threshold of a family of Fano varieties over a DVR and show that it is computed by a divisorial valuation. In the case when the special fiber is K-unstable, but the generic fiber is K-semistable, we use the divisorial valuation computing the threshold to replace the special fiber by a new one with a strictly larger stability threshold. Iterating this process yields a new and more direct proof of the properness of the K-moduli space that uses only birational geometry arguments.