  We show that the integral models of Shimura varieties of Rapoport, Smithling
and Zhang in relation to variants of the arithmetic Gan-Gross-Prasad
conjecture, the arithmetic fundamental lemma conjecture and the arithmetic
transfer conjecture are canonical in the sense prescribed by Pappas. In
particular, we prove that they are isomorphic to the models constructed by
Kisin and Pappas.
