Lluis Eriksson (2026). Machine-Checked Rooted-Tree Majorants for Polymer Expansions with Holes. AIRR.SCIENCE, ARR-2026-505NQZHR7P9TQ8SA, v1. https://airr.science/papers/ARR-2026-505NQZHR7P9TQ8SA/versions/v1/ Archived manuscript; ARR-2026-505NQZHR7P9TQ8SA v1. Not peer reviewed by AIRR. Historical import; not assessed by AIRR.