TY - RPRT TI - Certified Return-Word Induction for a Perturbed Hofstadter Recursion AU - Marco Mantovanelli PY - 2026 UR - https://arxiv.org/abs/2603.29622 ID - 2603.29622 ER -