Cet article prouve la conjecture de non-dégénérescence effective formulée dans l'étude précédente de l'auteur sur la structure 2-adique de la dynamique de Collatz comprimée 10.5281/zenodo.18685581. Il établit que les ensembles de survie restreints à l'intérieur d'une classe modulaire fixe diminuent exactement d'un facteur de un demi à chaque étape. La preuve repose sur la structure cylindrique précise des niveaux de valuation 2-adique, le comportement affine de la dynamique dans chaque branche, et un argument de séparation structurelle basé sur la profondeur cumulative 2-adique. Il est montré que des itinéraires distincts ne peuvent pas entrer en collision à une résolution finie, garantissant l'injectivité de la correspondance entre les trajectoires admissibles et les résidus initiaux. En conséquence, l'ensemble de survie infini a une mesure de Haar nulle. La question de sa vacuité, qui est équivalente à la conjecture classique de Collatz dans la classe modulaire principale, reste ouverte.
Miguel Cerdá Bennassar (Fri,) a étudié cette question.