HistMSO: A Logic for Reasoning about Consistency Models with MONA. - Isabelle Coget; Étienne Lozes (CoRR, 2026)