**Auteur** : Équipe 4NK # Audit déterministe — `conjoncture_collatz.md` ## Entrée - fichier : `/home/ncantu/code/algo/applications/collatz/conjoncture_collatz.md` ## Statistiques - lignes : 16975 - headings total : 996 - groupes de headings dupliqués (tous niveaux) : 344 ## Bornes détectées (rationalisation) - occurrences `# Conjecture de Collatz:` : [1] - canonical_end_line (premier bloc H1) : 16975 - début bloc importé : None - fin bloc importé : None - première section `## Branche ...` : 287 ## Doublons — top groupes | level | count | title_norm | occurrences (first 10) | | --- | --- | --- | --- | | 2 | 4 | `audit exhaustif` | L4432:Audit exhaustif, L4751:Audit exhaustif, L14005:Audit exhaustif, L14324:Audit exhaustif | | 2 | 4 | `conclusion de l'analyse du palier 16384` | L2001:Conclusion de l'analyse du palier 16384, L2237:Conclusion de l'analyse du palier 16384, L11574:Conclusion de l'analyse du palier 16384, L11810:Conclusion de l'analyse du palier 16384 | | 2 | 4 | `etape analytique suivante` | L462:Étape analytique suivante, L1589:Étape analytique suivante, L10035:Étape analytique suivante, L11162:Étape analytique suivante | | 2 | 4 | `impact par etat` | L6427:Impact par état, L6633:Impact par état, L16000:Impact par état, L16206:Impact par état | | 2 | 4 | `introduction de l'analyse du palier 16384` | L1814:Introduction de l'analyse du palier 16384, L2012:Introduction de l'analyse du palier 16384, L11387:Introduction de l'analyse du palier 16384, L11585:Introduction de l'analyse du palier 16384 | | 2 | 4 | `prolongement immediat au palier (2^{14})` | L2206:Prolongement immédiat au palier (2^{14}), L2445:Prolongement immédiat au palier (2^{14}), L11779:Prolongement immédiat au palier (2^{14}), L12018:Prolongement immédiat au palier (2^{14}) | | 3 | 4 | `enonce` | L5729:Énoncé, L7234:Énoncé, L7272:Énoncé, L15302:Énoncé | | 1 | 2 | `\frac{2202}{2690}` | L4838:\frac{2202}{2690}, L14411:\frac{2202}{2690} | | 2 | 2 | `ajout d’une fusion (f) deja demontree : (799\bmod 1024)` | L1524:Ajout d’une fusion (F) déjà démontrée : (799\bmod 1024), L11097:Ajout d’une fusion (F) déjà démontrée : (799\bmod 1024) | | 2 | 2 | `application canonique au sommet (255) et a sa chaine henselienne` | L2333:Application canonique au sommet (255) et à sa chaîne henselienne, L11906:Application canonique au sommet (255) et à sa chaîne henselienne | | 2 | 2 | `attaque du noyau a l’horizon 10 : candidats d10 stabilises a (2^{17})` | L5572:Attaque du noyau à l’horizon 10 : candidats D10 stabilisés à (2^{17}), L15145:Attaque du noyau à l’horizon 10 : candidats D10 stabilisés à (2^{17}) | | 2 | 2 | `audit fourni` | L4896:Audit fourni, L14469:Audit fourni | | 2 | 2 | `audits fournis (exhaustifs)` | L6893:Audits fournis (exhaustifs), L16466:Audits fournis (exhaustifs) | | 2 | 2 | `autre raffinement : extinction sans borne uniforme stricte` | L2536:Autre raffinement : extinction sans borne uniforme stricte, L12109:Autre raffinement : extinction sans borne uniforme stricte | | 2 | 2 | `bilan quantitatif sur la branche (31\pmod{32}) au palier (16384)` | L1971:Bilan quantitatif sur la branche (31\pmod{32}) au palier (16384), L11544:Bilan quantitatif sur la branche (31\pmod{32}) au palier (16384) | | 2 | 2 | `bloc contractif au palier (2^{14})` | L2019:Bloc contractif au palier (2^{14}), L11592:Bloc contractif au palier (2^{14}) | | 2 | 2 | `branche (15 \bmod 32) : fermeture uniforme d’une sous-classe de petit module` | L287:Branche (15 \bmod 32) : fermeture uniforme d’une sous-classe de petit module, L9860:Branche (15 \bmod 32) : fermeture uniforme d’une sous-classe de petit module | | 2 | 2 | `branche (15 \pmod{32})` | L634:Branche (15 \pmod{32}), L10207:Branche (15 \pmod{32}) | | 2 | 2 | `branche (27 \bmod 32) : fermeture uniforme deja disponible a petit module` | L341:Branche (27 \bmod 32) : fermeture uniforme déjà disponible à petit module, L9914:Branche (27 \bmod 32) : fermeture uniforme déjà disponible à petit module | | 2 | 2 | `branche (27 \pmod{32})` | L768:Branche (27 \pmod{32}), L10341:Branche (27 \pmod{32}) | | 2 | 2 | `branche (31 \bmod 32) : fermeture uniforme a module 512 (descente en profondeur 5)` | L396:Branche (31 \bmod 32) : fermeture uniforme à module 512 (descente en profondeur 5), L9969:Branche (31 \bmod 32) : fermeture uniforme à module 512 (descente en profondeur 5) | | 2 | 2 | `branche (31 \pmod{32})` | L948:Branche (31 \pmod{32}), L10521:Branche (31 \pmod{32}) | | 2 | 2 | `branche (7 \pmod{32})` | L501:Branche (7 \pmod{32}), L10074:Branche (7 \pmod{32}) | | 2 | 2 | `cadre formel de preuve` | L3843:Cadre formel de preuve, L13416:Cadre formel de preuve | | 2 | 2 | `cas difficile dans ce sous-cas : (t) impair, donc (a_5=1)` | L3184:Cas difficile dans ce sous-cas : (t) impair, donc (a_5=1), L12757:Cas difficile dans ce sous-cas : (t) impair, donc (a_5=1) | | 2 | 2 | `ce que cela apporte a la preuve globale` | L4426:Ce que cela apporte à la preuve globale, L13999:Ce que cela apporte à la preuve globale | | 2 | 2 | `ce que cette derivation apporte a la recherche` | L3325:Ce que cette dérivation apporte à la recherche, L12898:Ce que cette dérivation apporte à la recherche | | 2 | 2 | `ce que doit exprimer le lemme` | L5215:Ce que doit exprimer le lemme, L14788:Ce que doit exprimer le lemme | | 2 | 2 | `ce que fournit l’audit` | L6331:Ce que fournit l’audit, L15904:Ce que fournit l’audit | | 2 | 2 | `ce qui reste a faire immediatement (et qui est pret a etre produit)` | L5012:Ce qui reste à faire immédiatement (et qui est prêt à être produit), L14585:Ce qui reste à faire immédiatement (et qui est prêt à être produit) | ## TOC canonique (bloc initial) - L5 `Introduction de l'objet mathématique` - L15 `Prérequis de lecture` - L24 `Cadre de référence et notations` - L26 `Définition 1 (Application de Syracuse accélérée sur les impairs)` - L35 `Définition 2 (Conjecture de Collatz, forme impairs \(\to\) impairs)` - L41 `Définition 3 (Classe congruentielle et palier)` - L50 `Définition 4 (Clause de registre)` - L63 `Statut des énoncés` - L70 `Trajectoire hybride instrumentée (C1→C2→C3) et artefacts déterministes` - L100 `Énoncés démontrés` - L102 `Lemme 1 (Forme affine le long d'un préfixe de valuations)` - L128 `Lemme 2 (Clause de descente directe \(D\))` - L154 `Lemme 3 (Clause de fusion \(F\), version \(a=1\))` - L178 `Théorème-cadre conditionnel` - L180 `Théorème 1 (Certificat fini \((K)\Rightarrow\) terminaison globale)` - L197 `État quantifié actuel (indexé par les choix)` - L201 `Proposition 1 (Couverture partielle à profondeur 16)` - L220 `Protocoles de sensibilité` - L222 `Définition 5 (Sensibilités étudiées)` - L230 `Protocole R1 (Variation de palier)` - L234 `Protocole R2 (Variation de grammaire)` - L247 `Protocole R3 (Auditabilité du registre)` - L257 `Limites explicites du cadre` - L263 `Conclusion de l'état de preuve` - L267 `Références` - L276 `Annexes (contenu déplacé)` - L287 `Branche (15 \bmod 32) : fermeture uniforme d’une sous-classe de petit module` - L289 `Proposition 15-A` - L337 `Conclusion de la section précédente (CSP-001)` - L341 `Branche (27 \bmod 32) : fermeture uniforme déjà disponible à petit module` - L345 `Proposition 27-A` - L392 `Conclusion de la section précédente (CSP-002)` - L396 `Branche (31 \bmod 32) : fermeture uniforme à module 512 (descente en profondeur 5)` - L398 `Proposition 31-A` - L447 `Conclusion de la section précédente (CSP-003)` - L451 `Lecture analytique commune des quatre propositions` - L462 `Étape analytique suivante` - L475 `Conclusion de la section sur les clauses grossières et la continuation analytique` - L481 `Introduction à la densification des lemmes et à la couverture exhaustive` - L487 `Rappels` - L501 `Branche (7 \pmod{32})` - L503 `Proposition 7-B` - L549 `Conclusion de la section précédente (CSP-004)` - L555 `Proposition 7-C` - L601 `Conclusion de la section précédente (CSP-005)` - L607 `Couverture exhaustive au module 512 pour la branche (7 \pmod{32})` - L634 `Branche (15 \pmod{32})` - L636 `Proposition 15-B` - L682 `Conclusion de la section précédente (CSP-006)` - L688 `Proposition 15-C` - L734 `Conclusion de la section précédente (CSP-007)` - L740 `Couverture exhaustive au module 512 pour la branche (15 \pmod{32})` - L768 `Branche (27 \pmod{32})` - L770 `Proposition 27-B` - L810 `Conclusion de la section précédente (CSP-008)` - L816 `Proposition 27-C` - L862 `Conclusion de la section précédente (CSP-009)` - L868 `Proposition 27-D` - L914 `Conclusion de la section précédente (CSP-010)` - L920 `Couverture exhaustive au module 512 pour la branche (27 \pmod{32})` - L948 `Branche (31 \pmod{32})` - L952 `Proposition 31-B (descente)` - L998 `Conclusion de la section précédente (CSP-011)` - L1004 `Proposition 31-C (fusion, préimage courte (a=1))` - L1043 `Conclusion de la section précédente (CSP-012)` - L1050 `Proposition 31-D (descente à module 2048)` - L1096 `Conclusion de la section précédente (CSP-013)` - L1102 `Proposition 31-E (descente à module 2048)` - L1146 `Conclusion de la section précédente (CSP-014)` - L1152 `Couverture exhaustive au module 1024 pour la branche (31 \pmod{32})` - L1180 `Lecture analytique de l’étape atteinte` - L1192 `Conclusion de la section sur la couverture exhaustive aux modules 512 et 1024` - L1200 `Introduction à l'analyse structurée de la branche 31 modulo 32` - L1206 `Préfixe universel sur la branche (31 \pmod{32})` - L1208 `Lemme 31-0 (préfixe (1^4))` - L1251 `Étape analytique : la valuation (a_4) est gouvernée par (v_2(243n+211))` - L1262 `Lemme 31-1 (divisibilité minimale)` - L1283 `Conclusion de la section précédente (CSP-015)` - L1287 `Résolution systématique des congruences` - L1322 `Premier lemme de descente uniforme à grande portée : (n\equiv 95 \pmod{256})` - L1324 `Proposition 31-A (descente en 5 pas sur (95\bmod 256))` - L1357 `Conclusion de la section précédente (CSP-016)` - L1368 `Deuxième lemme : descente en 6 pas via la congruence (575\bmod 1024)` - L1372 `Proposition 31-B (descente en 6 pas sur (575\bmod 1024))` - L1408 `Conclusion de la section précédente (CSP-017)` - L1417 `Troisième lemme : descente en 6 pas via la congruence (735\bmod 1024)` - L1421 `Proposition 31-C (descente en 6 pas sur (735\bmod 1024))` - L1463 `Conclusion de la section précédente (CSP-018)` - L1472 `Quatrième lemme : descente en 6 pas via la congruence (1311\bmod 2048)` - L1476 `Proposition 31-D (descente en 6 pas sur (1311\bmod 2048))` - L1518 `Conclusion de la section précédente (CSP-019)` - L1524 `Ajout d’une fusion (F) déjà démontrée : (799\bmod 1024)` - L1528 `Proposition 31-E (fusion en 6 pas sur (799\bmod 1024))` - L1550 `Couverture exhaustive au module (2048) pour la branche (31 \pmod{32})` - L1552 `Liste exhaustive des 64 résidus (modulo 2048)` - L1564 `Résidus couverts par les propositions 31-A à 31-E` - L1577 `Complément non couvert (exhaustif)` - L1589 `Étape analytique suivante` - L1600 `Conclusion de la section sur la couverture de la branche 31 au module 2048` - L1608 `Introduction à l'analyse de la branche 31` - L1806 `Conclusion de la section précédente (CSP-020)` - L1814 `Introduction de l'analyse du palier 16384` - L1820 `Consolidation analytique au palier (8192) sur la branche (31\pmod{32})` - L1865 `Nouvelle clause analytique significative : (n\equiv 1759 \pmod{2048}\Rightarrow U^{(6)}(n)