Valuations 2-adiques et mesure de Haar nulle des orbites divergentes de Collatz

Français : Ce dépôt contient la version 4 du préprint consacré à la conjecture de Collatz (problème 3x+1). Les versions antérieures (v1-v3) ont établi un spectromètre de divergence C1-C10, soumis à une falsification critique révélant un mur ergodique, puis resserré le cadre par un dénombrement combinatoire des séquences de valuations. La présente version introduit un théorème conditionnel de mesure de Haar nulle pour les orbites divergentes, structuré en sept piliers : uniformité 2-adique exacte (Lemme G.1), marginales géométriques exactes, dénombrement exact des séquences suspectes, argument Borel-Cantelli sur Z2, lemme ultramétrique, forçage par blocs de valuations unitaires, et élimination du singleton 2-adique -1. Trois gaps sont explicitement cartographiés : l'indépendance jointe asymptotique des valuations (Gap A), le passage mesure nulle vers ensemble vide (Gap B), et les cycles non-triviaux (Gap C). 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. La conjecture de Collatz demeure ouverte. English : This deposit contains version 4 of the preprint devoted to the Collatz conjecture (3x+1 problem). Previous versions (v1-v3) established a C1-C10 divergence spectrometer, underwent critical falsification revealing an ergodic wall, and tightened the framework through combinatorial enumeration of valuation sequences. The present version introduces a conditional Haar measure-zero theorem for divergent orbits, structured in seven pillars: exact 2-adic uniformity (Lemma G.1), exact geometric marginals, exact enumeration of suspect sequences, Borel-Cantelli argument on Z2, ultrametric lemma, forcing by unit valuation blocks, and elimination of the 2-adic singleton -1. Three gaps are explicitly mapped: asymptotic joint independence of valuations (Gap A), the measure-zero-to-empty-set passage (Gap B), and non-trivial cycles (Gap C). Python source codes and JSON results from all versions are preserved in the deposit history and remain fully traceable. The Collatz conjecture remains open.