A Bookworm Climbs up the Polynomial Hierarchy: Meta-Restoration Complexity in Arithmetic Puzzles. - Brynmor Chapman; Lily Chung; Erik D. Demaine; Yota Irino; Della H. Hendrickson; Tonan Kamata; Ryuhei Uehara (FUN, 2026)