Breaking “provably correct” Leftpad

• October 6, 2025