[skip ci] Mettre a jour le preambule formel et les notations du manuscrit Collatz

**Motivations:**
- Completer le cadrage formel en tete du document principal
- Harmoniser les definitions, statuts d enonces et protocoles explicites

**Root causes:**
- Le preambule formel n etait pas encore integre de maniere stable dans la version courante

**Correctifs:**
- Ajout et alignement des sections de cadre, hypotheses, statuts et references dans `v0/conjoncture_collatz.md`

**Evolutions:**
- Structuration explicite des protocoles de sensibilite et d auditabilite du registre

**Pages affectées:**
- `v0/conjoncture_collatz.md`

v0/conjoncture_collatz.md

@@ -1,5 +1,248 @@
 # Conjecture de Collatz: cadre formel, lemmes structuraux et certificat fini
 
+**Auteur** : Équipe 4NK
+
+## Introduction de l'objet mathématique
+
+Ce document fixe un cadre de preuve standard pour la conjecture de Collatz, en distinguant explicitement:
+
+- les énoncés démontrés;
+- les énoncés admis avec référence;
+- l'énoncé conjecturé.
+
+Le statut de la conjecture dans la littérature de référence reste ouvert [1, 2]. Le document ne pose pas une preuve complète acquise; il formalise un théorème-cadre conditionnel et les obligations mathématiques nécessaires pour conclure.
+
+## Prérequis de lecture
+
+Les notions suivantes sont supposées connues:
+
+- valuation 2-adique \(v_2\);
+- congruences modulo \(2^m\);
+- descente bien fondée sur \(\mathbb{N}\);
+- dynamique de Syracuse accélérée.
+
+## Cadre de référence et notations
+
+### Définition 1 (Application de Syracuse accélérée sur les impairs)
+
+Pour tout impair \(n \ge 1\), on définit
+\[
+a(n) := v_2(3n+1), \qquad U(n) := \frac{3n+1}{2^{a(n)}}.
+\]
+
+Le codomaine de \(U\) est l'ensemble des impairs positifs.
+
+### Définition 2 (Conjecture de Collatz, forme impairs \(\to\) impairs)
+
+\[
+\forall n \in 2\mathbb{N}+1,\ \exists k \ge 0,\ U^{(k)}(n)=1.
+\]
+
+### Définition 3 (Classe congruentielle et palier)
+
+Pour \(M \ge 1\), on note \(S_M\) l'ensemble des résidus impairs modulo \(2^M\):
+\[
+S_M := \{r \in \{1,\dots,2^M-1\} : r \equiv 1 \pmod 2\}.
+\]
+
+Une classe est notée \(n \equiv r \pmod{2^M}\), avec \(r \in S_M\).
+
+### Définition 4 (Clause de registre)
+
+Une clause est un quadruplet
+\[
+\mathcal{C}=(C,k,\rho,N),
+\]
+où:
+
+- \(C\) est une condition arithmétique explicite sur \(n\);
+- \(k \ge 1\) est une longueur d'itération;
+- \(\rho\) est une règle de réduction (descente directe ou fusion);
+- \(N\) est un seuil explicite.
+
+## Statut des énoncés
+
+- **Conjecture 1**: conjecturée.
+- **Lemme 1, Lemme 2, Lemme 3**: démontrés.
+- **Théorème 1**: démontré sous hypothèses (H1)-(H4).
+- **Proposition 1**: démontrée par calcul fini, indexée par ses paramètres.
+
+## Énoncés démontrés
+
+### Lemme 1 (Forme affine le long d'un préfixe de valuations)
+
+**Hypothèses.**
+
+- \(n\) impair positif;
+- \(k \ge 1\);
+- \(a_i := v_2(3n_i+1)\) pour \(n_0=n,\ n_{i+1}=U(n_i)\).
+
+**Énoncé.**
+
+En posant
+\[
+A_0:=0,\quad A_{i+1}:=A_i+a_i,\quad A:=A_k,
+\]
+\[
+C_0:=0,\quad C_{i+1}:=3C_i+2^{A_i},
+\]
+on a l'identité exacte
+\[
+U^{(k)}(n)=\frac{3^k n + C_k}{2^A}.
+\]
+
+**Preuve.**
+
+Par récurrence sur \(k\). Le pas d'hérédité utilise la définition de \(U\), puis remplace \(n_k\) par sa forme affine au rang \(k\). La récurrence de \(C_i\) et \(A_i\) donne l'identité au rang \(k+1\). \(\square\)
+
+### Lemme 2 (Clause de descente directe \(D\))
+
+**Hypothèses.**
+
+- hypothèses du lemme 1;
+- \(\Delta_D := 2^A-3^k >0\).
+
+**Énoncé.**
+
+Avec
+\[
+N_D := \left\lfloor \frac{C_k}{\Delta_D} \right\rfloor + 1,
+\]
+on a
+\[
+\forall n \ge N_D,\quad U^{(k)}(n) < n.
+\]
+
+**Preuve.**
+
+D'après le lemme 1,
+\[
+U^{(k)}(n)<n \iff 3^k n + C_k < 2^A n \iff C_k < \Delta_D\, n.
+\]
+La définition de \(N_D\) assure cette inégalité pour \(n \ge N_D\). \(\square\)
+
+### Lemme 3 (Clause de fusion \(F\), version \(a=1\))
+
+**Hypothèses.**
+
+- hypothèses du lemme 1;
+- \(\Delta_F := 3\cdot 2^A - 2\cdot 3^k > 0\);
+- \(y:=U^{(k)}(n)\equiv 2 \pmod 3\).
+
+**Énoncé.**
+
+Il existe
+\[
+m:=\frac{2y-1}{3}\in \mathbb{N}
+\]
+tel que \(U(m)=y\). De plus, pour
+\[
+N_F := \left\lfloor \frac{2C_k+1}{\Delta_F} \right\rfloor +1,
+\]
+on a \(m<n\) dès que \(n\ge N_F\).
+
+**Preuve.**
+
+La congruence \(y\equiv 2 \pmod 3\) assure l'intégralité de \((2y-1)/3\). Ensuite \(U(m)=y\) par construction de la branche impaire avec une seule division par 2. La borne \(m<n\) se réduit à une inégalité affine en \(n\), équivalente à \(\Delta_F n > 2C_k+1\). \(\square\)
+
+## Théorème-cadre conditionnel
+
+### Théorème 1 (Certificat fini \((K)\Rightarrow\) terminaison globale)
+
+**Hypothèses.**
+
+- (H1) il existe \(M\ge 1\), un registre fini \(K\) et une borne \(N^\ast\);
+- (H2) pour tout impair \(n>N^\ast\), la classe de \(n\) modulo \(2^M\) satisfait au moins une clause de \(K\);
+- (H3) chaque clause applicable produit une réduction stricte: soit \(U^{(k)}(n)<n\), soit \(U^{(k)}(n)=U(m)\) avec \(m<n\);
+- (H4) pour tout \(1\le n\le N^\ast\), la trajectoire atteint \(1\).
+
+**Énoncé.**
+
+La conjecture de Collatz est vraie.
+
+**Preuve.**
+
+Pour \(n>N^\ast\), (H2)-(H3) donnent un entier strictement plus petit dans la même trajectoire au sens de l'itération accélérée. La descente bien fondée sur \(\mathbb{N}\) interdit une chaîne infinie strictement décroissante; la trajectoire atteint donc un impair \(\le N^\ast\). L'hypothèse (H4) conclut. \(\square\)
+
+## État quantifié actuel (indexé par les choix)
+
+Les résultats numériques suivants ne constituent pas la preuve complète. Ils sont indexés par les choix \((\text{dynamique}=U,\ \text{profondeur}=16,\ \text{modulus}=2^{16})\), extraits de `v0/collatz_certificat_partiel_depth16.md`.
+
+### Proposition 1 (Couverture partielle à profondeur 16)
+
+**Hypothèses.**
+
+- génération des mots de parité jusqu'à longueur \(16\);
+- critère local de fermeture \(2^k>3^s\).
+
+**Énoncé.**
+
+Le calcul fournit:
+
+- classes fermées: \(63422\) sur \(65536\);
+- classes non fermées: \(2114\);
+- taux de fermeture: \(0.967742919922\).
+
+**Statut.**
+
+Démontré par calcul, au sens d'un résultat fini dépendant des paramètres ci-dessus; non extrapolé en énoncé universel.
+
+## Protocoles de robustesse et sensibilité
+
+### Définition 5 (Sensibilités étudiées)
+
+On étudie explicitement les dépendances suivantes:
+
+- au palier \(M\) de quotient \(2^M\);
+- à la longueur \(k\) des préfixes;
+- à la règle de fermeture (descente exacte, descente minorée, fusion).
+
+### Protocole R1 (Variation de palier)
+
+Comparer la couverture obtenue pour \(M\in\{11,\dots,16\}\), en conservant la même grammaire de clauses.
+
+### Protocole R2 (Variation de grammaire)
+
+Comparer:
+
+- \(K_D\): clauses de descente seules;
+- \(K_{D,F}\): descente + fusion;
+- \(K_{D,F,\underline D}\): ajout des clauses minorées.
+
+L'objet mesuré est le résidu non couvert \(|R_M|\) et le coefficient de survie
+\[
+q_M := \frac{|R_{M+1}|}{2|R_M|}.
+\]
+
+### Protocole R3 (Auditabilité du registre)
+
+Pour chaque clause \(\mathcal{C}\), fournir:
+
+- forme affine \((k,A,C_k)\);
+- condition de validité \(C(n)\);
+- seuil explicite \(N\);
+- type de réduction (\(D\) ou \(F\));
+- vérification indépendante reproductible.
+
+## Limites explicites du cadre
+
+- Le saut « mesure nulle \(\Rightarrow\) absence arithmétique de trou » n'est pas utilisé comme axiome de clôture.
+- La terminaison d'un automate de génération de clauses n'est pas postulée sans preuve.
+- Le passage \(\mathbb{Z}_2 \to \mathbb{N}\) est traité comme une contrainte supplémentaire, pas comme une équivalence implicite.
+
+## Conclusion de l'état de preuve
+
+Le cadre formel est fixé, les lemmes locaux sont explicités avec hypothèses, et le théorème-cadre est démontré sous hypothèses finies auditées. La partie manquante pour conclure la conjecture reste l'établissement d'un certificat fini \(K\) couvrant toutes les classes impaires au-delà d'une borne \(N^\ast\), avec preuve complète de couverture.
+
+## Références
+
+[1] J. C. Lagarias, *The 3x+1 Problem: An Overview*, arXiv:2111.02635.
+
+[2] T. Tao, *Almost all orbits of the Collatz map attain almost bounded values*, Forum of Mathematics, Pi, 2019; arXiv:1909.03562.
+
+[3] `v0/collatz_certificat_partiel_depth16.md`, registre de calcul et tableau de classes à profondeur 16.
+# Conjecture de Collatz: cadre formel, lemmes structuraux et certificat fini
+
 **Auteur** : Equipe 4NK
 
 ## Introduction de l'objet mathematique