**Motivations:**
- Intégrer la version courante de la démonstration dans l'historique Git
- Conserver la cohérence entre le manuscrit principal et le cadre de réduction utilisé
**Root causes:**
- La version locale de la démonstration n'était pas encore commitée
**Correctifs:**
- Actualisation de la structure de la démonstration autour du Lemme de Frère
- Reformulation des étapes de couverture exhaustive et de la conclusion
- Alignement des sections sur la réduction au noyau « both » et la clôture par mesure
**Evolutions:**
- Clarification du rôle des clauses de fusion et de la complétion par relèvement
- Consolidation de la logique de saturation et d'extinction du résidu
**Pages affectées:**
- `v0/démonstration collatz.md`
Nicolas Cantu
aead0611ca