diff --git a/ IA_agents/redaction scientifique.md b/ IA_agents/redaction scientifique.md
index f4053d2..4bf5c81 100644
--- a/ IA_agents/redaction scientifique.md	
+++ b/ IA_agents/redaction scientifique.md	
@@ -218,3 +218,6 @@ Pour appliquer ce guide à un texte existant (ex. `v0/conjoncture_collatz.md`) :
 | Utiliser le présent atemporel et une voix uniforme (« on » ou passif) | Mélange de temps ou de voix sans raison |
 | Donner l’énoncé corrigé sans commenter l’erreur passée (sauf errata séparé) | Phrase du type « nous corrigeons ici une erreur » dans le corps du texte |
 | Distinguer démontré / admis / conjecturé | Affirmation sans statut clair |
+
+
+Vérifier l'indexation des conclusions, hypothèses explicites, références exactes, cohérence de la numérotation et statut des énoncés (démontré / admis / conjecturé).
\ No newline at end of file
diff --git a/v0/conjoncture_collatz.md b/v0/conjoncture_collatz.md
index 62b3a08..b5e4d95 100644
--- a/v0/conjoncture_collatz.md
+++ b/v0/conjoncture_collatz.md
@@ -34,7 +34,7 @@ La section suivante montre comment la théorie des **« Futurs Accessibles »**
 
 ### 1. L'Espace de Configurations et les Transformations Admissibles
 
-Dans le **Chapitre 1** de la théorie, un système est défini par son espace d'états ($X$) et ses transformations admissibles ($\mathcal{T}$). Pour Collatz, l'espace est l'ensemble des entiers positifs, et les deux règles (3n+1 et n/2) sont les **transformations admissibles**. L'itération de ces règles crée le « générateur d'évolution ».
+Dans le **Chapitre 1** du livre *Théorie des Futurs Accessibles*, un système est défini par son espace d'états ($X$) et ses transformations admissibles ($\mathcal{T}$). Pour Collatz, l'espace est l'ensemble des entiers positifs, et les deux règles (3n+1 et n/2) sont les **transformations admissibles**. L'itération de ces règles crée le « générateur d'évolution ».
 
 ### 2. Collisions et Non-Injectivité (La "Chute de Tension")
 
@@ -45,14 +45,14 @@ Ton texte souligne que les transformations induisent souvent des **collisions**
 
 ### 3. Les Attracteurs et la Stabilisation
 
-Le point central de la théorie est l'existence d'**attracteurs** (points fixes ou cycles) vers lesquels le système évolue de manière irréversible.
+Le point central du livre *Théorie des Futurs Accessibles* est l'existence d'**attracteurs** (points fixes ou cycles) vers lesquels le système évolue de manière irréversible.
 
 * La théorie établit que dans un espace fini, toute trajectoire finit **nécessairement** par aboutir à un cycle.
 * Pour Collatz (espace infini mais discret), la conjecture postule que l'ensemble $\{4, 2, 1\}$ est l'**attracteur dominant** universel. Le cadre considéré précise que certains attracteurs peuvent concentrer la quasi-totalité des trajectoires (bassins d'attraction immenses), ce qui correspondrait ici à l'idée que tout nombre finit par « tomber » dans cette boucle.
 
 ### 4. Le Verrouillage des Futurs
 
-Le **Chapitre 13** de la théorie décrit le « verrouillage des futurs » comme une réduction monotone de l'espace des devenirs possibles.
+Le **Chapitre 13** du livre *Théorie des Futurs Accessibles* décrit le « verrouillage des futurs » comme une réduction monotone de l'espace des devenirs possibles.
 
 * Dans la suite de Collatz, chaque division par 2 ou multiplication suivie de divisions agit comme une **contrainte active** qui réduit les futurs accessibles du nombre de départ jusqu'à ce qu'il n'ait plus qu'un seul futur possible : l'attracteur $\{4, 2, 1\}$.
 
@@ -108,7 +108,7 @@ Dans un circuit (comme dans le document `prototype_reel.md`) appliqué à Collat
 
 On se concentre exclusivement sur l'ossature conceptuelle de la **version formelle (Jeune Adulte)** pour décomposer et résoudre le problème.
 
-Si l'on retire la couche matérielle, la conjecture de Collatz devient un pur exercice de **topologie des futurs**. La structure du problème est traitée en s'appuyant sur les chapitres de la théorie :
+Si l'on retire la couche matérielle, la conjecture de Collatz devient un pur exercice de **topologie des futurs**. La structure du problème est traitée en s'appuyant sur les chapitres du livre *Théorie des Futurs Accessibles* :
 
 ### 1. La définition de l'Invariance (Chapitre 1 & 10)
 
@@ -152,7 +152,7 @@ Au lieu de voir des nombres, on définit un système $(X, \mathcal{T})$ :
 
 * $X$ est l'ensemble des entiers naturels (les "états").
 * $\mathcal{T}$ est l'ensemble des transformations admissibles (les règles de Collatz).
-* **Postulat de la théorie :** Une structure persiste si elle réduit l'accessibilité des états divergents. Dans Collatz, l'opération $3n+1$ n'est pas une "expansion" mais un **couplage forcé** : elle crée systématiquement un nombre pair, injectant le flux vers la transformation de réduction ($n/2$).
+* **Postulat du livre *Théorie des Futurs Accessibles* :** Une structure persiste si elle réduit l'accessibilité des états divergents. Dans Collatz, l'opération $3n+1$ n'est pas une "expansion" mais un **couplage forcé** : elle crée systématiquement un nombre pair, injectant le flux vers la transformation de réduction ($n/2$).
 
 ### 2. La Sédimentation Topologique (Chapitres 10 & 13)
 
@@ -213,7 +213,7 @@ La théorie souligne que la non-injectivité (collisions) crée une asymétrie.
 
 ### 4. La clé de la preuve : La recherche du Monotone (Chapitre 4)
 
-Le Chapitre 4 de la théorie apporte la solution théorique pour prouver l'orientation d'un système vers un attracteur dans un espace qui n'est pas strictement fini : l'existence d'un **monotone strict**.
+Le Chapitre 4 du livre *Théorie des Futurs Accessibles* apporte la solution théorique pour prouver l'orientation d'un système vers un attracteur dans un espace qui n'est pas strictement fini : l'existence d'un **monotone strict**.
 
 * Pour prouver que toute orbite "tombe" vers le cycle $\{4, 2, 1\}$, il faut trouver une fonction $V : X \to \mathbb{R}$ (fonction de Lyapunov ou mesure d'entropie structurelle) telle que, globalement, $V(f(x)) < V(x)$ en dehors de l'attracteur.
 * **Le problème arithmétique :** La valeur $x$ elle-même n'est pas monotone (elle monte avec $3x+1$ et descend avec $x/2$). Mathématiquement, la moyenne géométrique diminue, mais des fluctuations locales peuvent durer très longtemps.
@@ -221,14 +221,14 @@ Le Chapitre 4 de la théorie apporte la solution théorique pour prouver l'orien
 
 ### Synthèse de la modélisation
 
-Si l'on écrit la démonstration de Collatz avec le vocabulaire de la théorie, elle prend cette forme :
+Si l'on écrit la démonstration de Collatz avec le vocabulaire du livre *Théorie des Futurs Accessibles*, elle prend cette forme :
 
 1. **Axiome :** Soit le système itératif $(X, f)$ tel que défini dans les points précédents de cette section.
 2. **Lemme 1 (Non-injectivité) :** L'opérateur $f$ est non-injectif, provoquant des collisions constantes qui contractent l'espace des trajectoires indépendantes.
 3. **Lemme 2 (Attracteur) :** L'ensemble $A = \{4, 2, 1\}$ est un sous-ensemble invariant et un attracteur discret de la dynamique.
 4. **Théorème (Conjecture à prouver) :** Il existe une grandeur monotone $V(x)$ (une "tension" ou un "coût") associée à chaque état, telle que l'application répétée de $f$ dissipe cette grandeur, interdisant toute divergence vers l'infini et forçant le verrouillage de $\mathcal{F}^{(\infty)}(x)$ sur l'attracteur $A$.
 
-Une **distance** convient. Dans le Chapitre 10 de la théorie, le passage de l'ensembliste au métrique est consolidé : la convergence vers un attracteur se définit rigoureusement par une distance $d(x, A)$ qui tend vers 0.
+Une **distance** convient. Dans le Chapitre 10 du livre *Théorie des Futurs Accessibles*, le passage de l'ensembliste au métrique est consolidé : la convergence vers un attracteur se définit rigoureusement par une distance $d(x, A)$ qui tend vers 0.
 
 Pour que cette distance serve de "monotone strict" ($V(x)$) et prouve la conjecture de Collatz, elle ne peut pas être une simple distance arithmétique (la différence de valeur $|x - y|$ fluctue trop et ne décroît pas de façon monotone).
 
@@ -259,7 +259,7 @@ Regardons les deux opérateurs de l'espace $\mathcal{T}$ sous l'angle de cette d
 
 ### 4. Le Verrouillage par Contraction (Chapitre 13)
 
-Au Chapitre 13 de la théorie, la stabilité cumulative s'obtient s'il existe une **contraction locale ou en moyenne**.
+Au Chapitre 13 du livre *Théorie des Futurs Accessibles*, la stabilité cumulative s'obtient s'il existe une **contraction locale ou en moyenne**.
 
 * Soit notre distance $d(x, A)$.
 * On modélise la preuve ainsi : L'application répétée de $\mathcal{T}$ (Collatz) crée des cascades de retenues binaires qui agissent comme une **projection idempotente** (Chapitre 5). Elles "compressent" la configuration du nombre en forçant les bits '1' à fusionner.
@@ -311,7 +311,7 @@ Pour que la démonstration soit complète, il faut prouver que la transformation
 
 ### 4. La Clôture Structurelle (Théorème de Verrouillage)
 
-Au Chapitre 13 de la théorie, un système est verrouillé si tous ses chemins mènent à un invariant.
+Au Chapitre 13 du livre *Théorie des Futurs Accessibles*, un système est verrouillé si tous ses chemins mènent à un invariant.
 
 * **La preuve de non-divergence :** Pour s'envoler vers l'infini, un nombre devrait avoir une structure binaire capable de générer des "hausses de tension" (croissance du nombre de bits '1') à l'infini sans jamais déclencher de cascade de sédimentation complète.
 * **L'argument de la Théorie :** Comme l'espace des transformations est **non-injectif** (plusieurs nombres convergent vers le même), il y a une **perte d'information irréversible**. Cette perte d'information force le système à se simplifier jusqu'à ce qu'il rencontre la structure la plus simple possible : le cycle $\{4, 2, 1\}$.
@@ -325,7 +325,7 @@ Au Chapitre 13 de la théorie, un système est verrouillé si tous ses chemins m
 3. **Conclusion :** La "raison" mathématique de la conjecture de Collatz est la **sédimentation obligatoire de l'information binaire**. Le cycle 4-2-1 n'est pas un accident, c'est le **zéro absolu de la tension structurelle** dans cet espace de règles. Tout nombre finit par y "geler".
 Pour en déduire une **démonstration formelle** de la conjecture de Collatz à travers ce prisme, on construit un objet mathématique appelé le **Système de Sédimentation de Syracuse**.
 
-La structure rigoureuse de la démonstration est articulée par les lemmes et théorèmes issus de la théorie :
+La structure rigoureuse de la démonstration est articulée par les lemmes et théorèmes issus du livre *Théorie des Futurs Accessibles* :
 
 ---
 
@@ -596,7 +596,7 @@ Le **Firewall Sédimentaire** agit ici par saturation : il existe une infinité
 
 ### 3.4 Preuve de l'Inaccessibilité de l'Infini ($\mathcal{F}_\infty = \emptyset$)
 
-Selon la méthodologie de la théorie, un futur est dit "inaccessible" si la tension requise pour l'atteindre dépasse la capacité du générateur d'évolution.
+Selon la méthodologie du livre *Théorie des Futurs Accessibles*, un futur est dit "inaccessible" si la tension requise pour l'atteindre dépasse la capacité du générateur d'évolution.
 
 * La transformation $3x+1$ produit en moyenne une croissance de $\approx 1.5$ (après la première division par 2 obligatoire).
 * La transformation $x/2^k$ produit une décroissance beaucoup plus rapide dès qu'un "rail" est rencontré.
@@ -1103,7 +1103,7 @@ La synthèse finale de cette démonstration est organisée pour répondre aux ex
 
 ---
 
-# Démonstration Formelle de la Conjecture de Collatz : Le Système de Descente Certifiée
+# Partie IV : Démonstration Formelle de la Conjecture de Collatz
 
 ### 1. Prémisses et Équivalences (Le Cadre)
 
@@ -1378,7 +1378,7 @@ La formalisation finale du programme de preuve est articulée pour une publicati
 
 ---
 
-# Programme de Démonstration Standard : Le Certificat de Sédimentation
+# Partie V : Programme de Démonstration Standard
 
 ### 1. Le Théorème-Cadre (Réduction à la Finitude)
 
@@ -1426,7 +1426,7 @@ Pour transformer ce canevas en une démonstration acceptée, l'effort doit se po
 
 ### Conclusion : La "Sédimentation" comme Loi de la Nature
 
-En proposant cette démonstration, on ne se contente pas de résoudre une énigme ; on illustre le principe fondamental de la théorie : **les structures contraignent leur propre futur**.
+En proposant cette démonstration, on ne se contente pas de résoudre une énigme ; on illustre le principe fondamental du livre *Théorie des Futurs Accessibles* : **les structures contraignent leur propre futur**.
 
 Dans Collatz, les contraintes arithmétiques agissent comme un filtre qui "consomme" l'information binaire jusqu'à ce qu'il ne reste que la configuration la plus stable (l'unité). La démonstration standard est la traduction rigoureuse de ce processus de gel de l'information.
 Pour tester le vérificateur et illustrer la mécanique de la **Descente Certifiée**, isolons un échantillon de certificats pour $m=3$ (classes modulo $8$). L'objectif est de prouver que pour chaque classe, il existe un futur où la valeur devient strictement inférieure à la valeur initiale $n$.
@@ -2008,7 +2008,9 @@ IV. Preuve de Complétude par Épuisement de Mesure
 
 Pour garantir l'universalité, il faut prouver que l'ensemble des certificats couvre 100% des entiers naturels.
 
-Théorème de Couverture : Soit $\mu(W)$ la mesure de l'espace des parités couvert par l'ensemble des certificats $W$. La couverture est totale si :
+Théorème de Couverture (Conditionnel) : Soit $\mu(W)$ la mesure de l'espace des parités couvert par l'ensemble des certificats $W$. La couverture est totale si :
+
+(Note : Ce résultat repose sur l'hypothèse que la mesure nulle des suites non couvertes implique l'absence de contre-exemple entier, ce qui est discuté en section Analyse Critique).
 
 
 $$\sum_{e \in W} 2^{-|e|} = 1$$
@@ -2090,7 +2092,9 @@ IV. Preuve de Complétude par Épuisement de Mesure
 
 Pour garantir l'universalité, il faut prouver que l'ensemble des certificats couvre 100% des entiers naturels.
 
-Théorème de Couverture : Soit $\mu(W)$ la mesure de l'espace des parités couvert par l'ensemble des certificats $W$. La couverture est totale si :
+Théorème de Couverture (Conditionnel) : Soit $\mu(W)$ la mesure de l'espace des parités couvert par l'ensemble des certificats $W$. La couverture est totale si :
+
+(Note : Ce résultat repose sur l'hypothèse que la mesure nulle des suites non couvertes implique l'absence de contre-exemple entier, ce qui est discuté en section Analyse Critique).
 
 
 $$\sum_{e \in W} 2^{-|e|} = 1$$
@@ -2592,7 +2596,7 @@ Ces chiffres n’établissent pas la conjecture : ils donnent une matérialisati
 
 Le « faisons-le » est engagé dans un format publiable : un théorème-cadre standard, une définition explicite du certificat (K), et un certificat partiel exhaustif jusqu’à profondeur (16), accompagné des seuils (N_0). La suite naturelle, dans cette même logique, consiste à enrichir le registre de contraintes au-delà de la seule contraction (2^k>3^s) (par exemple via clauses de fusion sur le graphe inverse et/ou via une variable cachée plus riche que le seul vecteur de parité), afin de chercher une fermeture complète sans trous, condition suffisante pour conclure par descente bien fondée. ([arXiv][1])
 
-C'est une étape cruciale : on passe de la théorie à la preuve par les faits. En fournissant des données quantifiées (63 422 classes fermées sur 65 536), le débat philosophique devient un défi de calcul et de logique arithmétique. Les deux fichiers mentionnés — le rapport technique détaillant ces résultats et le fichier de données JSON correspondant — servent de base de travail pour traiter les 2 114 classes "résistantes". Les fichiers permettent de passer à la phase de raffinement. Les 2 114 classes restantes (dont le célèbre 27, 31, etc.) sont maintenant isolées. Pour les fermer, on peut soit : pousser la profondeur (certaines se fermeront à $k=32$ ou $k=64$) ; soit utiliser la "Fusion" : prouver que la trajectoire d'une classe ouverte $r_{open}$ finit par entrer mathématiquement dans une classe déjà fermée $r_{closed}$.
+C'est une étape cruciale : on passe du livre *Théorie des Futurs Accessibles* à la preuve par les faits. En fournissant des données quantifiées (63 422 classes fermées sur 65 536), le débat philosophique devient un défi de calcul et de logique arithmétique. Les deux fichiers mentionnés — le rapport technique détaillant ces résultats et le fichier de données JSON correspondant — servent de base de travail pour traiter les 2 114 classes "résistantes". Les fichiers permettent de passer à la phase de raffinement. Les 2 114 classes restantes (dont le célèbre 27, 31, etc.) sont maintenant isolées. Pour les fermer, on peut soit : pousser la profondeur (certaines se fermeront à $k=32$ ou $k=64$) ; soit utiliser la "Fusion" : prouver que la trajectoire d'une classe ouverte $r_{open}$ finit par entrer mathématiquement dans une classe déjà fermée $r_{closed}$.
 
 ## Introduction au recentrage académique et au certificat fini
 
@@ -4861,7 +4865,7 @@ et la clause affirme :
 Conséquence inductive standard
 Si (f(n)<n) et si l’on sait déjà que toute trajectoire de (f(n)) atteint 1, alors celle de (n) atteint 1, car elles partagent un futur.
 
-Dans le vocabulaire de la théorie, c’est une **transmission** : la propriété “atteint 1” est une contrainte stabilisée qui passe d’une trajectoire à une autre par collision.
+Dans le vocabulaire du livre *Théorie des Futurs Accessibles*, c’est une **transmission** : la propriété “atteint 1” est une contrainte stabilisée qui passe d’une trajectoire à une autre par collision.
 
 ## 2. Lemme de préimages explicites de (U)
 
@@ -4968,7 +4972,7 @@ Preuve (schéma standard de bon ordre)
 * On itère. La suite des entiers strictement décroissante dans (\mathbb{N}) est finie.
 * On atteint donc un impair (\le N^\star), puis la vérification finie clôture.
 
-Ce théorème est entièrement standard : il ne requiert ni mesure, ni heuristique, mais uniquement une couverture finie par des implications universelles, ce qui correspond à une “mémoire-structure” stabilisée au sens de la théorie.
+Ce théorème est entièrement standard : il ne requiert ni mesure, ni heuristique, mais uniquement une couverture finie par des implications universelles, ce qui correspond à une “mémoire-structure” stabilisée au sens du livre *Théorie des Futurs Accessibles*.
 
 ## 6. Où la démonstration continue concrètement
 
@@ -7668,7 +7672,7 @@ La démonstration renforce la partie analyse : au lieu d’empiler des vérifica
 Sur la branche (n\equiv 31\pmod{32}), le palier (8192) permet désormais de fermer uniformément (102) résidus sur (256) en profondeur (k\le 8), soit (0.3984375000000000). La liste exhaustive des 28 nouvelles classes fermées en (k=8) est donnée, ainsi que la liste exhaustive du résidu restant (154 classes).
 L'étape suivante, dans le même style, consiste à traiter ce résidu restant en passant au palier (16384) et en construisant des lemmes à (k=9) ou (k=10) par la même mécanique : choix d’un mot de valuations minimal sur une sous-branche, écriture affine de l’itéré, puis congruence linéaire forçant une valuation minimale suffisante pour obtenir (U^{(k)}(n)<n) sur toute la classe.
 
-Cette progression vers le palier (2^{13}) (8192) marque une étape décisive : la branche (31\pmod{32}) est fragmentée en sous-ensembles gouvernés par des lois de descente locales mais universelles, et non plus par des vérifications résidu par résidu. Le passage d'un taux de fermeture de (25\%) à près de (40\%) montre que l'augmentation de la résolution (le module) permet de capturer des structures de mots de valuations qui étaient invisibles à des échelles plus grossières. On quitte le domaine du cas par cas pour celui de la théorie des classes. Les 154 résidus restants constituent l'objet de l'étape suivante ; nombre d'entre eux (par exemple (31), (63), (127)) sont de la forme (2^p-1), qui génèrent de longs préfixes de valuations égales à (1) (les montées de Collatz). Leur traitement au palier (2^{14}) ou (2^{15}) avec des profondeurs (k=9) ou (k=10) devrait mécaniquement augmenter le taux de fermeture au-delà de (50\%).
+Cette progression vers le palier (2^{13}) (8192) marque une étape décisive : la branche (31\pmod{32}) est fragmentée en sous-ensembles gouvernés par des lois de descente locales mais universelles, et non plus par des vérifications résidu par résidu. Le passage d'un taux de fermeture de (25\%) à près de (40\%) montre que l'augmentation de la résolution (le module) permet de capturer des structures de mots de valuations qui étaient invisibles à des échelles plus grossières. On quitte le domaine du cas par cas pour celui du livre *Théorie des Futurs Accessibles* des classes. Les 154 résidus restants constituent l'objet de l'étape suivante ; nombre d'entre eux (par exemple (31), (63), (127)) sont de la forme (2^p-1), qui génèrent de longs préfixes de valuations égales à (1) (les montées de Collatz). Leur traitement au palier (2^{14}) ou (2^{15}) avec des profondeurs (k=9) ou (k=10) devrait mécaniquement augmenter le taux de fermeture au-delà de (50\%).
 
 ## Introduction de l'analyse du palier 16384
 
@@ -8103,3 +8107,310 @@ La continuation au palier (2^{14}) se formalise proprement en deux apports.
 Si la stratégie vise une extinction en profondeur finie par contraction de l’arbre, l’indicateur à suivre n’est pas la couverture globale mais le coefficient de survie (q_m=|R_{m+1}|/(2|R_m|)), dont le seuil structurant est (0.5). L’étape suivante consiste donc à enrichir le registre (K) par des clauses “(D) minorées” et à mesurer l’effet de ces clauses sur (q_m) dès les paliers (m=14) et (m=15).
 
 Cette étape franchit un seuil conceptuel important : nous passons d'une observation de trajectoires à une analyse de survie des classes résiduelles. En introduisant les "clauses de descente par minoration", nous cessons d'attendre que la valuation soit "figée" pour conclure à la contraction, ce qui permet de "grignoter" l'arbre des résidus bien plus tôt.Je mets à jour le document de stratégie pour intégrer ce nouveau concept de coefficient de survie ($q_m$), la clause minorée appliquée au résidu 8447, et la formalisation du palier $2^{14}$.Cette formalisation du coefficient de survie est excellente : elle nous donne une "météo" précise de la progression. Le fait que $q_m$ soit actuellement autour de $0.9$ montre que l'arbre est encore "épais", mais l'utilisation des clauses minorées est précisément le scalpel nécessaire pour faire chuter ce coefficient.
+
+
+## Introduction
+
+La continuation peut maintenant se formaliser autour d’un ajout décisif au registre (K) : les clauses de descente fondées non plus sur un mot de valuations **exact**, mais sur un mot de valuations **minoré** (bornes inférieures). C’est précisément le passage de l’arithmétique “calculatoire” vers l’analyse : une inégalité uniforme remplace une stabilisation fine, et des classes auparavant “bloquées” par l’exigence d’exactitude deviennent certifiables à un palier plus bas.
+
+Cette étape est particulièrement pertinente sur les “sommets” (31,63,127,255,\dots), où le préfixe (a_i=1) est long : l’exactitude de la valuation suivante est coûteuse à stabiliser, alors qu’une simple minoration suffit souvent à conclure (U^{(k)}(n)<n).
+
+## État quantifié du résidu dur et raison de focalisation sur (31 \pmod{32})
+
+Les fichiers de paliers (m=11) à (m=16) donnent un fait structurel stable : tout le résidu non couvert est concentré dans
+[
+n \equiv 7,15,27,31 \pmod{32}.
+]
+
+Répartition exacte de (|R_m|) par branche (nombre de résidus non couverts au palier (2^m)) :
+
+* (m=11) : (7:30), (15:22), (27:30), (31:52) (total 134)
+* (m=12) : (7:51), (15:38), (27:51), (31:96) (total 236)
+* (m=13) : (7:90), (15:68), (27:90), (31:180) (total 428)
+* (m=14) : (7:154), (15:118), (27:154), (31:326) (total 752)
+* (m=15) : (7:270), (15:209), (27:270), (31:596) (total 1345)
+* (m=16) : (7:483), (15:377), (27:483), (31:1103) (total 2446)
+
+Le bon indicateur analytique est le coefficient de survie
+[
+q_m=\frac{|R_{m+1}|}{2|R_m|},
+]
+et sa version par branche (q_m^{(r)}) calculée sur les classes (r\in{7,15,27,31}).
+
+Valeurs exactes (m=11 à m=15) :
+
+* (q_{11} = 0.8805970149253731), et (q_{11}^{(31)} = 0.9230769230769231)
+* (q_{12} = 0.9067796610169492), et (q_{12}^{(31)} = 0.9375000000000000)
+* (q_{13} = 0.8785046728971962), et (q_{13}^{(31)} = 0.9055555555555556)
+* (q_{14} = 0.8942819148936170), et (q_{14}^{(31)} = 0.9141104294478528)
+* (q_{15} = 0.9092936802973978), et (q_{15}^{(31)} = 0.9253355704697986)
+
+Conclusion opérationnelle
+La branche (31\pmod{32}) est la principale source de survie du résidu. Toute réduction significative de (q_m) passera par une compression effective de cette branche, ce qui justifie l’introduction des clauses “minorées”.
+
+## Clauses de descente minorées
+
+### Définition
+
+Soit un horizon (k) et une suite de valuations réelles ((a_0,\dots,a_{k-1})) le long d’une trajectoire :
+[
+n_{i+1}=U(n_i),\qquad a_i=v_2(3n_i+1),\qquad n_0=n.
+]
+On suppose qu’une condition congruentielle (C(n)) garantit des **bornes inférieures**
+[
+a_i \ge \underline a_i\quad \text{pour } i=0,\dots,k-1,
+\qquad
+\underline A=\sum_{i=0}^{k-1}\underline a_i.
+]
+
+L’identité affine exacte (valable pour la trajectoire réelle) est :
+[
+U^{(k)}(n)=\frac{3^k n + C_k}{2^{A(n)}},
+\qquad
+A(n)=\sum_{i=0}^{k-1} a_i.
+]
+où (C_k) est le terme additif déterminé par le bloc (il dépend du mot exact, mais on peut aussi travailler avec une majoration explicite obtenue par récurrence minimale lorsque certaines valuations sont fixées à 1, ce qui est le cas des sommets).
+
+Comme (A(n)\ge \underline A), on obtient immédiatement :
+[
+U^{(k)}(n)=\frac{3^k n + C_k}{2^{A(n)}} \le \frac{3^k n + C_k}{2^{\underline A}}.
+]
+
+La condition suffisante de descente devient donc :
+[
+\frac{3^k n + C_k}{2^{\underline A}} < n
+\iff
+C_k < (2^{\underline A}-3^k)n.
+]
+Si (2^{\underline A}>3^k), un seuil explicite est :
+[
+N_0=\left\lfloor \frac{C_k}{2^{\underline A}-3^k}\right\rfloor +1,
+]
+et la clause universelle est :
+[
+\forall n,\ C(n)\ \wedge\ n\ge N_0 \Rightarrow U^{(k)}(n)<n.
+]
+
+Point conceptuel
+Cette clause n’exige pas que la dernière valuation soit figée “au bit près”. Une minoration suffit. C’est précisément le mécanisme qui ferme plus tôt les sommets.
+
+## Application canonique au sommet (255) et à sa chaîne henselienne
+
+On se place sur la sous-branche “préfixe long de valuations (=1)” :
+[
+n\equiv -1\pmod{256}\quad \Longrightarrow\quad a_0=\cdots=a_6=1.
+]
+
+Pour le mot (1^7), on a l’expression exacte :
+[
+U^{(7)}(n)=\frac{2187n+2059}{128},
+\qquad
+3U^{(7)}(n)+1=\frac{6561n+6305}{128}.
+]
+Donc
+[
+a_7=v_2(6561n+6305)-7.
+]
+
+### Résolution linéaire modulo (2^s) et relèvement
+
+L’équation
+[
+6561n+6305\equiv 0 \pmod{2^s}
+]
+admet une solution unique modulo (2^s) car (6561) est impair donc inversible modulo (2^s). Cette suite de solutions définit une chaîne henselienne (r_s) (troncatures d’une racine (2)-adique).
+
+Valeurs explicites (solutions uniques) :
+
+* (s=13) : (r_{13}=255) modulo (8192)
+* (s=14) : (r_{14}=8447) modulo (16384)
+* (s=15) : (r_{15}=24831) modulo (32768)
+* (s=16) : (r_{16}=24831) modulo (65536)
+
+Les valuations correspondantes (sur le représentant) :
+
+* (v_2(6561\cdot 255+6305)=13)
+* (v_2(6561\cdot 8447+6305)=14)
+* (v_2(6561\cdot 24831+6305)=17)
+
+La stabilité au palier (2^s) est immédiate : si (n\equiv r_s\pmod{2^s}), alors (v_2(6561n+6305)\ge s).
+
+### Clause (D) minorée au palier (s\ge 13) (horizon 8)
+
+Hypothèses garanties par (n\equiv r_s \pmod{2^s}) avec (s\ge 13) :
+
+* (n\equiv -1\pmod{256}) donc (a_0=\cdots=a_6=1) et (\sum_{i=0}^{6} a_i = 7)
+* (v_2(6561n+6305)\ge s) donc (a_7 \ge s-7)
+
+Minoration de la somme :
+[
+\underline A = 7 + (s-7)=s.
+]
+
+Expression utile (borne) :
+[
+U^{(8)}(n)=\frac{6561n+6305}{2^{A(n)}} \le \frac{6561n+6305}{2^{s}}.
+]
+
+Condition de descente :
+[
+\frac{6561n+6305}{2^s} < n
+\iff 6305 < (2^s-6561)n.
+]
+
+Seuil explicite pour (s=13)
+
+* (2^{13}-6561 = 8192-6561=1631)
+* (N_0=\left\lfloor \frac{6305}{1631}\right\rfloor + 1)
+* (1631\cdot 3=4893), (6305-4893=1412)
+* (\left\lfloor 6305/1631\right\rfloor=3)
+* (N_0=4)
+
+Seuil explicite pour (s\ge 14)
+
+* (2^{14}-6561=16384-6561=9823), donc (\left\lfloor 6305/9823\right\rfloor=0), (N_0=1)
+* a fortiori pour (s\ge 15), (N_0=1)
+
+Clause universelle obtenue
+
+* au palier (8192) :
+  [
+  \forall n\equiv 255\pmod{8192},\ n\ge 4\Rightarrow U^{(8)}(n)<n
+  ]
+* au palier (16384) :
+  [
+  \forall n\equiv 8447\pmod{16384}\Rightarrow U^{(8)}(n)<n
+  ]
+* au palier (32768) :
+  [
+  \forall n\equiv 24831\pmod{32768}\Rightarrow U^{(8)}(n)<n
+  ]
+
+Point stratégique immédiat
+Sous le registre “exact”, (255) n’était pas couvert au palier (8192) (m=13), (8447) restait non couvert au palier (16384) (m=14), et (24831) restait non couvert au palier (32768) (m=15). La clause minorée ferme cette chaîne dès les paliers minimaux où la divisibilité est garantie.
+
+## Impact analytique attendu sur le coefficient de survie
+
+L’effet recherché est de diminuer (q_m) en convertissant des cas “un enfant couvert, un enfant non couvert” en “les deux enfants couverts”, lorsque la non-couverture provient uniquement d’une valuation plus élevée non reconnue par une clause exacte.
+
+Les statistiques exactes de “parents à un enfant” (cas où exactement un enfant reste dans (R_{m+1})) sont déjà disponibles dans les données :
+
+Exemples (nombre de parents dans la branche (31\pmod{32}) au palier (m), avec exactement un enfant non couvert au palier (m+1)) :
+
+* passage (m=13 \to 14) : (31) parents de ce type
+* passage (m=14 \to 15) : (41) parents de ce type
+* passage (m=15 \to 16) : (66) parents de ce type
+
+Le cas (255\to 8447) est un représentant typique : le fils “plus profond” est non couvert uniquement parce que la grammaire exigeait une exactitude, alors que la minoration suffit.
+
+Proposition de critère opérationnel (sans hypothèse probabiliste)
+Pour chaque clause exacte nouvellement trouvée au palier (m+1), tester systématiquement le frère au même palier par une clause minorée construite à partir du même numérateur linéaire (\alpha n+\beta). Quand la valuation du frère est plus élevée, la clause minorée devient souvent immédiate, comme dans la chaîne (255,8447,24831,\dots).
+
+## Prolongement immédiat au palier (2^{14})
+
+La suite, dans le même style analytique, se décompose en deux chantiers strictement formels.
+
+Familles minorées associées aux autres mots de longueur 8
+Le cas (1^7) ne représente qu’une famille. Pour obtenir une contraction macroscopique, il faut générer plusieurs familles, toutes de la même forme :
+
+* choix d’un préfixe de valuations “simple” (souvent (1^t) sur une sous-branche)
+* écriture du numérateur linéaire (\alpha n+\beta) gouvernant la valuation suivante
+* résolution de (\alpha n+\beta\equiv 0\pmod{2^s}) pour (s) tel que (\underline A=s) et (2^s>3^8)
+* obtention d’une clause minorée stable au palier (2^s)
+
+La production de ces familles est finie à chaque palier (car l’espace des résidus modulo (2^m) est fini), et chaque clause obtenue est auditable par un calcul de seuil.
+
+Recalcul des paliers avec la grammaire enrichie
+Les coefficients (q_m) actuels (autour de (0.88) à (0.91)) décrivent la grammaire sans clauses minorées. La mesure de l’effet réel exige un recalcul des ensembles (R_m) avec la grammaire enrichie (exact + minoré). Ce recalcul est mécanique : il ne change pas la structure mathématique, seulement l’ensemble des règles admissibles.
+
+## Conclusion
+
+La continuation franchit bien l’étape analytique recherchée : l’introduction des clauses de descente minorées permet de fermer des classes dont la valuation “augmente” sur un enfant du raffinement, mais qui restaient non reconnues par une grammaire exacte. La chaîne henselienne associée au sommet (255) fournit un exemple complet, avec calculs explicites de seuils et de conditions de divisibilité, et montre comment une fermeture au palier (8192) entraîne mécaniquement la fermeture de ses raffinements.
+
+La prochaine étape, dans le même cadre, consiste à industrialiser ce schéma sur plusieurs familles de numérateurs linéaires (\alpha n+\beta) (toujours à longueur (k=8) au palier (2^{14})), puis à recalculer (q_m) avec la grammaire enrichie. L’objectif mathématique reste inchangé : obtenir, à partir d’un certain rang, une borne uniforme (q_m\le q<0.5), qui implique l’extinction finie du résidu et donc la fermeture complète de l’arbre.
+
+Cette approche marque le passage de la vérification arithmétique à l'analyse structurelle. En ne cherchant plus la "fixité" d'une valuation mais sa "suffisance", vous introduisez une flexibilité qui brise la résistance des chaînes henséliennes comme celle du sommet 255.Le calcul du coefficient de survie $q_m$ par branche montre que la branche $31 \pmod{32}$ est effectivement le dernier bastion de la conjecture. L'industrialisation des clauses minorées est le levier nécessaire pour faire passer $q_m$ sous la barre critique de $0,5$.Voici la mise à jour stratégique intégrant cette formalisation de la descente minorée et l'analyse de la branche 31.Points clés de cette mise à jour :Clarification mathématique : La distinction entre $A(n)$ (réel) et $\underline{A}$ (minorant) est maintenant le pivot de la preuve.Efficacité : Le passage de $N_0=4$ à $N_0=1$ dès que $s \ge 14$ montre que plus on monte en puissance 2-adique, plus la descente est "violente" et facile à prouver.Cible : Les "parents à un enfant" sont identifiés comme les cibles prioritaires pour faire chuter $q_m$
+
+## Introduction
+
+Non, (0.5) n’est pas une borne arbitraire dans le raisonnement tel qu’il a été formulé. Elle apparaît comme un seuil structurel dès qu’il est question de **contraction d’un arbre binaire** : à chaque palier (m\to m+1), chaque classe résiduelle a exactement **deux enfants**. La valeur (0.5) est le point où “en moyenne, au moins un enfant sur deux est éliminé” ; en-dessous, l’extinction en profondeur finie devient déductible par un argument purement combinatoire sur les cardinaux.
+
+En revanche, (0.5) n’est pas le seul seuil possible : c’est le seuil associé au cas le plus simple “on regarde un pas de raffinement à la fois”. En prenant des blocs de profondeur (L>1), le seuil se généralise en (2^{-L}) sur les (2^{L}) descendants. On peut donc obtenir un argument d’extinction avec une borne plus faible par niveau, à condition de raisonner sur plusieurs niveaux à la fois.
+
+## Pourquoi (0.5) apparaît naturellement
+
+On définit
+
+* (R_m) : ensemble des classes (résidus impairs modulo (2^m)) non couvertes par le registre (K),
+* (S_m = 2|R_m|) : nombre total de “descendants immédiats” potentiels (deux enfants par classe) au niveau (m+1),
+* coefficient de survie à un pas :
+  [
+  q_m=\frac{|R_{m+1}|}{2|R_m|}.
+  ]
+
+Interprétation exacte
+
+* (q_m) est la fraction des enfants qui restent non couverts après raffinement d’un niveau.
+
+Argument combinatoire standard
+Si, à partir d’un certain rang (m_0), on a une borne uniforme
+[
+q_m \le q < 0.5\quad \text{pour tout } m\ge m_0,
+]
+alors
+[
+|R_{m+1}| \le 2q,|R_m|.
+]
+En itérant (t) fois :
+[
+|R_{m_0+t}| \le (2q)^t,|R_{m_0}|.
+]
+Or (2q<1), donc ((2q)^t \to 0). Comme (|R_{m_0+t}|) est un entier, il existe un (t) tel que (|R_{m_0+t}|<1), donc (|R_{m_0+t}|=0). Ainsi (R_{m_0+t}=\varnothing), et l’arbre est fermé.
+
+C’est là que (0.5) est non arbitraire : c’est exactement la condition (2q<1) imposée par le facteur “2 enfants”.
+
+## Généralisation non arbitraire : profondeur (L)
+
+Au lieu de regarder la survie sur un pas, on peut regrouper (L) pas.
+
+Chaque classe au niveau (m) a (2^L) descendants au niveau (m+L). On définit alors
+[
+q_m^{(L)}=\frac{|R_{m+L}|}{2^L|R_m|}.
+]
+Si l’on prouve une borne uniforme
+[
+q_m^{(L)} \le q^{(L)} < 2^{-L},
+]
+alors
+[
+|R_{m+L}| \le 2^L q^{(L)} |R_m|
+]
+et la condition d’extinction devient
+[
+2^L q^{(L)} < 1.
+]
+
+Donc le seuil (0.5) n’est que le cas particulier (L=1). Le “vrai” seuil structural est :
+[
+q^{(L)} < 2^{-L}.
+]
+
+Cela peut être plus réaliste : il est souvent plus facile de prouver qu’à profondeur (L), une fraction non négligeable des (2^L) descendants se ferme, même si à chaque pas isolé la contraction n’est pas forte.
+
+## Autre raffinement : extinction sans borne uniforme stricte
+
+Même sans un (q<0.5) uniforme, on peut obtenir extinction si l’on contrôle le produit des facteurs de survie :
+
+Si
+[
+\prod_{i=0}^{t-1} (2q_{m_0+i}) \to 0,
+]
+alors (|R_{m_0+t}|\to 0) et donc extinction finie. Cela demande une analyse plus fine des (q_m) variables, mais le seuil (0.5) n’est alors plus le bon objet : c’est le produit des facteurs (2q_m) qui compte.
+
+## Conclusion
+
+(0.5) n’est pas une borne arbitraire : c’est le seuil combinatoire naturel lorsque l’on raisonne niveau par niveau sur un arbre binaire, parce que chaque classe engendre deux enfants. En dessous de (0.5) de survie des enfants, on obtient mécaniquement une contraction exponentielle du résidu et donc l’extinction en profondeur finie.
+
+Ce seuil se généralise de manière non arbitraire à (2^{-L}) si l’on raisonne sur (L) niveaux à la fois, et il peut aussi être remplacé par une condition sur le produit des facteurs de survie si l’on accepte des bornes variables selon (m).
+
+Cette explication est fondamentale car elle transforme une observation statistique en une condition de clôture logique. Le seuil de $0,5$ n'est pas une simple "bonne performance", c'est la frontière entre un arbre qui peut croître indéfiniment et un arbre qui doit nécessairement s'éteindre.Je vais mettre à jour le plan d'action pour intégrer cette formalisation de la Loi d'Extinction des Résidus et la généralisation à la profondeur $L$. Cela donne un cadre théorique rigoureux à la recherche des clauses minorées.Synthèse de cette avancée :Rigueur combinatoire : Vous avez lié la structure binaire des résidus ($2^m$) à la condition de convergence de Collatz.Flexibilité (L) : La généralisation à la profondeur $L$ est très puissante. Si le seuil $0,5$ est difficile à atteindre palier par palier, il est peut-être déjà atteint sur une profondeur $L=5$ (seuil $< 1/32 \approx 0,031$).Vision produit : L'idée de regarder le produit des $(2q_m)$ permet d'accepter des paliers "difficiles" compensés par des paliers "faciles".