Sound State Encodings in Translational Separation Logic Verifiers (Extended Version). - Hongyi Ling; Thibault Dardinier; Ellen Arlt; Peter Müller 001 (CoRR, 2026)