Hyper Separation Logic (extended version). - Trayan Gospodinov; Peter Müller 001; Thibault Dardinier (CoRR, 2026)