Canonical Integral Models of Shimura Varieties of Abelian Type

We prove a conjecture of Pappas and Rapoport for all Shimura varieties of abelian type with parahoric level structure when $p>3$ by showing that the Kisin-Pappas-Zhou integral models of Shimura varieties of abelian type are canonical. In particular, this shows that these models of are independent of the choices made during their construction, and that they satisfy functoriality with respect to morphisms of Shimura data.