La Conjecture de Collatz : Lemmes exacts, obstruction LTE et test de tameness sous décorrélation asymptotique

Description française : Ce dépôt contient la version 3 du préprint consacré à la conjecture de Collatz (problème 3x+1). Cette version intègre six corrections formelles issues d'une évaluation critique par un autre modèle de langage sur la v2, et synthétise cinq découvertes conditionnelles : (1) lemme exact sur la croissance sous-linéaire des phases pauvres, (2) falsification de la compensation locale par blocs, (3) conjecture de décorrelation asymptotique des valuations 2-adiques validée empiriquement, (4) test de tameness au sens de Foss-Tweedie par sous-échantillonnage adaptatif, et (5) fréquence positive des phases riches. Chaque découverte est soumise à une dialectique Thèse / Antithèse / Synthèse. Les codes sources Python et les résultats JSON de la présente version sont intégralement indexés. La conjecture reste ouverte, mais le cadre conditionnel est resserré et la frontière cartographiée. English description : This deposit contains version 3 of the preprint devoted to the Collatz conjecture (3x+1 problem). This version incorporates six formal corrections from a critical evaluation by another language model on v2, and synthesizes five conditional discoveries: (1) exact lemma on sublinear growth of poor phases, (2) falsification of local compensation by blocks, (3) asymptotic decorrelation conjecture of 2-adic valuations empirically validated, (4) tameness test in the sense of Foss-Tweedie by adaptive subsampling, and (5) positive frequency of rich phases. Each discovery undergoes Thesis / Antithesis / Synthesis dialectical scrutiny. Python source codes and JSON results from the present version are fully indexed. The conjecture remains open, but the conditional framework is tightened and the frontier mapped.