Two Pointers Explained: The Proof Nobody Shows You

Every algorithm blog on the internet tells you how to move two pointers. Virtually none of them prove why you're allowed to move them, or why the exact same structural logic manages unacknowledged byt