Lemme de Sortie pour Syracuse : graphes modulaires et valuations 2-adiques

Français : Ce dépôt contient la version 5 du préprint consacré à la conjecture de Syracuse (problème 3n+1). Les versions antérieures (v1-v4) ont cartographié un mur ergodique (shift non uniquement ergodique, Z⁺ de mesure nulle dans Z₂) et identifié six pistes de contournement. La présente version franchit ce mur par une voie arithmétique pure : théorie des graphes modulaires finis et compensation déterministe des valuations 2-adiques. Elle introduit le Théorème de Bornitude par Compensation (D.1b) et le Lemme de Sortie (G) : toute trajectoire réelle sort des cycles modulaires en temps fini et converge vers 1. La chaîne logique compte désormais sept piliers complétés. Les codes sources Python et les résultats JSON de toutes les versions sont conservés dans l'historique du dépôt et restent intégralement traçables. Sous réserve d'une V6 de falsification interne et de peer-review humain. Tous fichiers exploratoires disponibles dans les versions précédentes. English : This deposit contains version 5 of the preprint devoted to the Syracuse (Collatz, 3n+1) conjecture. Previous versions (v1-v4) mapped an ergodic wall (non-uniquely ergodic shift, Z⁺ of Haar measure zero in Z₂) and identified six bypass pathways. The present version crosses this wall via pure arithmetic: finite modular graph theory and deterministic 2-adic valuation compensation. It introduces the **Boundedness by Compensation Theorem** (D.1b) and the **Escape Lemma** (G): every real trajectory exits modular cycles in finite time and converges to 1. The logical chain now counts seven completed pillars. Python source codes and JSON results from all versions are preserved in the deposit history and remain fully traceable. Subject to internal V6 falsification and future human peer-review. All exploration files in the precedent versions.