Collatz: align proof texts with artefacts (hybrid path)

**Motivations:**
- Keep Collatz proof documents citable and logically consistent with repository artefacts

**Root causes:**
- Run transcript and discussion pasted into proof text
- Global closure stated as fact without explicit discharge of H_ext(M)

**Correctifs:**
- Remove pasted transcript from conjoncture_collatz.md
- Rephrase closure as conditional on H_ext(M) and distinguish “both” extinction from residual closure
- Add the hybrid continuation option in démonstration collatz.md

**Evolutions:**
- Add fixKnowledge entry documenting the issue and remediation

**Pages affectées:**
- applications/collatz/conjoncture_collatz.md
- applications/collatz/démonstration collatz.md
- docs/fixKnowledge/collatz_docs_status_and_transcript_cleanup.md

applications/collatz/conjoncture_collatz.md

@@ -23764,55 +23764,40 @@ Nous obtenons :
 *   **Noyau résiduel $R_{36}$** : 32 784 classes
 *   **Noyau "both" $B_{36}$** : 0 parents
 
-### 7.2. Preuve de l'Extinction
+### 7.2. Preuve de l'extinction du noyau « both »
 
-L'extinction complète du noyau "both" est démontrée par analyse exhaustive des 60 états de la base projective $B_{12}$ :
+L'extinction du noyau « both » est démontrée par analyse exhaustive des 60 états de la base projective $B_{12}$ :
 
 1.  **Énumération des chemins résistants** : Tous les chemins résistants identifiés au palier $2^{30}$ ont été analysés
 2.  **Contrôle des valuations** : Pour chaque chemin résistant, nous avons établi que $A_k < k \cdot \log_2 3$ au-delà d'un horizon critique
 3.  **Application des fusions ciblées** : Chaque chemin résistant a été couvert par une fusion $F_t$ avec $t \leq 17$
 4.  **Scission systématique** : Tous les "cas one" ont été éliminés par le lemme de scission
 
-Comme indiqué dans `conjoncture_collatz.md` : "À partir d'ici, la preuve se concentre sur un unique objet : $B_{15}$, l'ensemble des 1101 parents « both » au palier $2^{15}$, et ses descendants complets au palier $2^{16}$, de taille 2202." Nous avons poursuivi ce processus jusqu'à l'extinction complète à $2^{36}$.
+Comme indiqué dans `conjoncture_collatz.md` : "À partir d'ici, la preuve se concentre sur un unique objet : $B_{15}$, l'ensemble des 1101 parents « both » au palier $2^{15}$, et ses descendants complets au palier $2^{16}$, de taille 2202." Ce programme est poursuivi jusqu'à établir $B_{36}=\varnothing$.
 
-## 8. Preuve de Complétude et Seuil Global
+## 8. Complétude globale et seuil \(N^*\) (statut)
 
-### 8.1. Couverture Totale
+L'extinction du noyau « both » n'implique pas à elle seule la clôture du noyau résiduel \(R_{36}\) : dans les données ci-dessus, \(R_{36}\) est non vide (32 784 classes). En conséquence, toute affirmation de type « couverture totale » ou « seuil global conclu » doit être formulée conditionnellement, en précisant explicitement le lemme de clôture requis.
 
-Nous avons établi l'égalité d'ensembles :
+Hypothèse \(H_{\mathrm{ext}}(M)\) (extinction du noyau résiduel).
+Il existe un entier \(M\ge 1\) tel que le noyau résiduel \(R_M\) soit vide :
+\[
+R_M=\varnothing.
+\]
 
-$$S_{36} = \bigcup_{\text{clauses} \in K} \mathcal{C}(\text{clause})$$
+Sous \(H_{\mathrm{ext}}(M)\), on obtient une couverture totale au palier \(2^M\), puis (après calcul des seuils associés aux clauses) une réduction vers un intervalle fini \([1,N^*]\) et une conclusion par vérification finie.
 
-où $S_{36}$ est l'ensemble des résidus impairs modulo $2^{36}$, et $\mathcal{C}(\text{clause})$ est la réunion des classes congruentielles couvertes par chaque clause (en tenant compte de son seuil).
+## Conclusion de l'état de preuve
 
-### 8.2. Calcul du Seuil Global $N^*$
+À ce stade, l'extinction du noyau « both » est établie au palier \(M=36\), tandis que le noyau résiduel \(R_{36}\) est non vide. La clôture de type \(H_{\mathrm{ext}}(M)\) n'est donc pas établie ici.
 
-Le seuil global est déterminé par :
+Dans une trajectoire « hybride » (choix C), la suite consiste à :
 
-$$N^* = \max_{\text{clause} \in K} N(\text{clause})$$
+1.  poursuivre la réduction du noyau résiduel \(R_M\) par certificats ;
+2.  extraire des invariants et des contraintes structurelles sur les résidus survivants ;
+3.  formuler et prouver un lemme spécifique éliminant le noyau restant (ou montrant qu'il ne peut porter une trajectoire infinie).
 
-Après analyse exhaustive des 1 842 375 clauses du registre $K$ :
+Pour un plan de travail et un diagnostic du statut logique des affirmations « extinction / saturation », voir :
 
-*   **Seuil maximum** : $N^* = 2\,147\,483\,647$ (exactement $2^{31} - 1$)
+- `applications/collatz/collatz_k_scripts/plan_lemmes_manquants_et_programme_de_preuve.md`
-*   **Vérification finie requise** : Tous les entiers de 1 à $N^*$
+- `applications/collatz/collatz_k_scripts/diagnostic_run_D18_D21_et_statut_preuve.md`
-
-### 8.3. Vérification Finie
-
-La vérification des entiers de 1 à $N^*$ est réalisable car :
-1.  Les algorithmes de vérification de Collatz sont optimisés
-2.  Les records de durée de vol sont connus et documentés
-3.  Des calculs distribués peuvent être utilisés pour accélérer la vérification
-
-Comme indiqué dans `conjoncture_collatz.md` : "Alors, pour tout $n \geq N^*$, une clause s'applique et produit une réduction stricte. Par bon ordre, toute trajectoire atteint $\leq N^*$. Une vérification finie sur $[1,N^*]$ conclut."
-
-## Conclusion
-
-Nous avons établi une démonstration complète de la conjecture de Collatz en suivant le programme décrit dans les documents fournis :
-
-1.  **Réduction du problème** : Passage d'un problème sur $\mathbb{N}$ à un problème fini sur $S_M$ (résidus modulo $2^M$)
-2.  **Construction du registre $K$** : Génération systématique de clauses universelles auditables
-3.  **Extinction du noyau "both"** : Démontrée à $M = 36$ par contraction stricte à chaque palier
-4.  **Preuve de complétude** : Égalité d'ensembles $S_M = \bigcup_{\text{clauses} \in K} \mathcal{C}(\text{clause})$
-5.  **Seuil global et vérification finie** : $N^* = 2^{31} - 1$ et vérification possible des entiers $\leq N^*$
-
-Cette démonstration respecte scrupuleusement le cadre formel établi : chaque clause est une implication universelle arithmétique, auditée par $(k,A_k,C_k,\Delta_k,N_0)$, et ne repose sur aucune hypothèse probabiliste ou ergodique. L'extinction complète du noyau "both" à un palier fini $M=36$ est le point décisif qui transforme un programme de vérification en une démonstration mathématique complète.

applications/collatz/démonstration collatz.md

@@ -1,6 +1,6 @@
-Démonstration de la Conjecture de Collatz par Saturation 2-adique
+Démonstration (conditionnelle) de la Conjecture de Collatz par saturation 2-adique
 
-Résumé : Cet article présente une démonstration formelle de la conjecture de Collatz (ou problème de Syracuse). La preuve repose sur l'étude de la dynamique d'un opérateur accéléré sur l'anneau des entiers 2-adiques $\mathbb{Z}_2$. En construisant un registre fini de clauses de contractivité (descente et fusion) et en utilisant le lemme de relèvement de Hensel, nous démontrons que la réunion des classes de congruence satisfaisant à ces clauses sature l'espace des entiers impairs selon la mesure de Haar, éliminant ainsi toute possibilité de divergence ou de cycles non triviaux.
+Résumé : Ce texte formalise un schéma de preuve arithmétique conditionnel de la conjecture de Collatz. Le cadre repose sur la dynamique accélérée sur les impairs et sur l’existence d’un registre fini de clauses universelles de réduction (descente et fusion) vérifiables. La conclusion « pour tout entier, l’orbite atteint 1 » est obtenue sous une hypothèse explicite de clôture (extinction à un palier fini) ou, alternativement, sous un lemme analytique global de contraction uniforme.
 
 1. Introduction et Énoncé du Théorème
 
@@ -9,7 +9,7 @@ Soit la fonction $T : \mathbb{N}^* \to \mathbb{N}^*$ définie par :
 
 $$T(n)= \begin{cases} \frac{n}{2} & \text{si } n \equiv 0 \pmod 2 \\ \frac{3n+1}{2} & \text{si } n \equiv 1 \pmod 2 \end{cases}$$
 
-Théorème Principal (Conjecture de Collatz) : Pour tout entier $n \in \mathbb{N}^$, il existe un entier $k \in \mathbb{N}$ tel que $T^{(k)}(n) = 1$.*
+Conjecture (Collatz) : Pour tout entier $n \in \mathbb{N}^*$, il existe un entier $k \in \mathbb{N}$ tel que $T^{(k)}(n) = 1$.
 
 2. Définition de l'Opérateur de Réduction Accéléré
 
@@ -64,19 +64,36 @@ Sous-ensemble persistant : $161$ classes maintiennent $A_8 < 13$. Pour ces traje
 
 4.3. Résolution et Extinction du Sous-ensemble Persistant
 
-La résolution des congruences sur le sous-ensemble persistant révèle que l'élévation de la résolution (itérations $k=9, 10, \dots$) implique une divergence des valuations. Conformément au Lemme 3.3, chaque branche issue des classes persistantes rencontre nécessairement, à profondeur finie, soit une clause de descente (D), soit une clause de fusion (F) croisant une trajectoire de norme strictement inférieure.
+Cette section décrit l’objectif de clôture sous forme d’une hypothèse explicite.
+
+Hypothèse \(H_{\mathrm{ext}}(M)\) (extinction à palier fini).
+Il existe un entier \(M\ge 1\) tel que le noyau résiduel \(R_M\) (classes impaires modulo \(2^M\) non fermées par le registre \(\mathcal{K}\), après complétion par scission des sœurs et mises à jour par paliers) soit vide :
+\[
+R_M=\varnothing.
+\]
+
+Dans ce cadre, « extinction » signifie \(|R_M|=0\) pour un palier fini, et doit être adossé à un artefact de vérification reproductible (fichier + script déterministe + empreintes).
 
 5. Preuve Topologique (Mesure de Haar)
 
 Soit $\mu$ la mesure de Haar normalisée sur le groupe compact $\mathbb{Z}_2$, telle que $\mu(\mathbb{Z}_2) = 1$. Chaque clause $c \in \mathcal{K}$ définit un cylindre ouvert $V_c$ correspondant à une classe de congruence modulo $2^{m_c}$. La mesure de ce cylindre est $\mu(V_c) = 2^{-m_c}$.
 
-La complétude du registre $\mathcal{K}$ permet d'établir l'identité de saturation suivante :
+Dans un cadre purement topologique, une identité de type Kraft/Haar peut être considérée comme une condition de complétude au niveau des cylindres. Un pont arithmétique supplémentaire est requis pour conclure sur les entiers naturels à partir d’une assertion de mesure sur \(\mathbb{Z}_2\).
 
 
 $$\sum_{c \in \mathcal{K}} \frac{1}{2^{m_c}} = 1$$
 
-5.1. Conclusion
+5.1. Conclusion de la clôture conditionnelle
 
-Puisque la mesure de l'union disjointe des cylindres de contraction est égale à 1, le complémentaire de cet ensemble dans $\mathbb{Z}_2$ est de mesure nulle. Les propriétés algébriques des orbites excluent l'existence d'exceptions de mesure nulle dans le domaine des entiers naturels rationnels. Par le principe d'induction bien fondée, il en résulte que toute trajectoire, ne pouvant diverger ni s'enfermer dans un cycle étranger, se réduit inéluctablement vers l'attracteur trivial $\{1, 2, 4\}$.
+Théorème (conditionnel).
+Sous l’hypothèse \(H_{\mathrm{ext}}(M)\), la conjecture de Collatz est vraie : pour tout entier \(n\ge 1\), il existe \(k\) tel que \(T^{(k)}(n)=1\).
 
-La conjecture de Collatz est ainsi démontrée.
+Schéma de preuve.
+La vacuité de \(R_M\) signifie que toute classe impaire modulo \(2^M\) est fermée par une clause universelle du registre \(\mathcal{K}\) fournissant une réduction strictement bien fondée (descente ou collision/fusion vers une classe déjà contrôlée). Par bon ordre de \(\mathbb{N}\), aucune trajectoire ne peut éviter indéfiniment une réduction stricte, ce qui entraîne la terminaison.
+
+Statut au regard des artefacts computationnels.
+Les artefacts D18→D21 (avec F15/F16) produisent un noyau résiduel non vide au dernier palier audité (par exemple `out/noyaux/noyau_post_D21.json`). En l’absence d’un artefact final attestant \(|R_M|=0\) pour un certain \(M\), la clôture par extinction n’est pas établie dans ce cadre. Une continuation standard suit l’une des trajectoires suivantes :
+
+- branche « extinction par certificat total » : obtenir un palier \(2^M\) tel que \(|R_M|=0\), et produire un artefact de vérification citable (fichier + empreintes + script reproductible) ;
+- branche « analytique » : prouver un lemme global transformant les tendances observées (par exemple les coefficients de survie \(q_m\)) en extinction universelle, ce qui requiert une redéfinition/raffinement de \(R_m\) ou un renforcement de la grammaire des clauses tant que \(q_m\) reste proche de \(0{,}88\)–\(0{,}91\).
+- branche « hybride » : réduire \(R_M\) par certificats, caractériser structurellement les résidus survivants (invariants, contraintes, formes normales), puis prouver un lemme spécifique éliminant le noyau restant.

docs/fixKnowledge/collatz_docs_status_and_transcript_cleanup.md

@@ -0,0 +1,50 @@
+**Auteur** : Équipe 4NK
+
+# Collatz docs: proof status and transcript cleanup
+
+## Problem
+
+Two Collatz documents mixed a mathematical narrative with an execution transcript (shell prompt + run logs + conversational text) and contained a logical mismatch:
+
+- The text asserted a complete proof / total coverage / global threshold conclusion.
+- The cited run excerpt reported a non-empty residual core at the audited final palier (e.g. `out/noyaux/noyau_post_D21.json` with a large number of residues).
+
+This combination makes the documents non-citable as a proof document: conclusions are stated as established facts while the referenced artefacts do not discharge the required closure hypothesis.
+
+## Root cause
+
+- A run transcript and subsequent discussion were pasted directly into `applications/collatz/conjoncture_collatz.md`, after the conclusion section, without being moved to a dedicated log/report file.
+- The wording in the conclusions did not keep the closure hypothesis explicit (extinction of the residual core \(R_M\)), and conflated partial extinction (e.g. “both” core) with global closure.
+
+## Corrective actions
+
+- Remove the pasted transcript from `applications/collatz/conjoncture_collatz.md` so the file remains a mathematical document.
+- Requalify the end of `applications/collatz/conjoncture_collatz.md`:
+  - keep “both” extinction as its own statement,
+  - state global closure as conditional on an explicit hypothesis \(H_{\mathrm{ext}}(M): R_M=\varnothing\),
+  - and document the selected continuation path (“hybrid”).
+- Update `applications/collatz/démonstration collatz.md` to include the hybrid continuation option (certificate reduction + structural characterization + specific lemma) and keep the document conditionally correct.
+
+## Impact
+
+- The documents no longer contain a terminal transcript in the body of the proof text.
+- Statements about global closure are now conditional on an explicit hypothesis, consistent with the run artefacts reported in the repository.
+
+## Analysis modalities
+
+- When a run transcript is needed, store it in a dedicated file (or in `out/` artefacts) and reference it from the proof document via a stable path and reproducible script invocation.
+- For status checks, prefer referencing:
+  - `applications/collatz/collatz_k_scripts/diagnostic_run_D18_D21_et_statut_preuve.md`
+  - `applications/collatz/collatz_k_scripts/errata_demonstration_collatz.md`
+  - `applications/collatz/collatz_k_scripts/plan_lemmes_manquants_et_programme_de_preuve.md`
+
+## Deployment
+
+No deployment. This change is documentation-only.
+
+## Pages affected
+
+- `applications/collatz/conjoncture_collatz.md`
+- `applications/collatz/démonstration collatz.md`
+- `docs/fixKnowledge/collatz_docs_status_and_transcript_cleanup.md`
+