1: \begin{abstract}

2: The supplementary material contains a number of proofs, a presentation of the general contraction theory for cut posteriors, and some further details on simulations. In Section \ref{sup:sec:mainproofs} we present the proofs of Theorem \ref{BvM} and Proposition \ref{L1contractmarginal}. In Section \ref{sup:sec:cutcontract}, we develop the general contraction theory for cut posteriors which is a straightforward adaptation \cite{ghosal2007convergence}, and has general interest beyond the setting of hidden Markov models. In Section \ref{sup:techproofs}, we collect a number of technical results. In Section \ref{sup:sec:dirmix}, we document the assumptions required for the application of our contraction theory when the emissions are modelled as Dirichlet process mixtures of Gaussians. In Section \ref{sup:sec:keyresults}, we gather some key results from the literature. In Section \ref{extrasims}, we provide some further details of our computations.

3: \end{abstract}

4: