diff --git a/v0/conjoncture_collatz.md b/v0/conjoncture_collatz.md index c5ed4c0..dc3a6b7 100644 --- a/v0/conjoncture_collatz.md +++ b/v0/conjoncture_collatz.md @@ -13753,9 +13753,9 @@ L’introduction des clauses de fusion est auditée au palier (2^{25}). Les fusi La continuation consiste à intégrer ces paquets dans le registre (K), puis à recalculer les paliers (D_{16}) et (D_{17}) sous fusion pour mesurer la contraction supplémentaire sur les états résistants. -## Introduction +## Introduction de l’intégration fusion pour \(D_{16}\) et \(D_{17}\) -La suite consiste à intégrer la couche « fusion » au registre (K) au palier (2^{25}), puis à recalculer les paquets (D_{16}) et (D_{17}) sur le noyau ainsi réduit, avec les mêmes objets auditables que précédemment : liste exhaustive des clauses, statistiques de couverture, invariants de type (\max A_k) après élimination, et impact par états (projection (B_{12}), 60 états). Cette logique s’inscrit dans la méthode de “mémoire-structure” (registre transmissible (K)) : l’évolution se formule sur un espace étendu où le registre de contraintes est une composante d’état, ce qui est précisément la discipline de formulation indiquée dans la version formelle. +La section intègre la couche « fusion » au registre (K) au palier (2^{25}), puis recalcule les paquets (D_{16}) et (D_{17}) sur le noyau réduit, avec les mêmes objets auditables : liste exhaustive des clauses, statistiques de couverture, invariants de type (\max A_k) après élimination, et impact par états (projection (B_{12}), 60 états). L’évolution est formulée sur l’espace étendu où le registre de contraintes constitue une composante d’état. Les fichiers d’audit correspondants sont produits ci-dessous. @@ -13820,9 +13820,6 @@ Téléchargements : La continuation immédiate, toujours “mécanique et auditable”, est de remonter au palier suivant et d’extraire le paquet (D_{18}) minimal sur le noyau restant après (D_{17}), puis de réévaluer si une nouvelle couche de fusion est utile à ce nouveau palier (la fusion devenant typiquement plus abondante lorsque la profondeur et la granularité augmentent). -## Conclusion +## Conclusion de l’intégration fusion pour \(D_{16}\) et \(D_{17}\) -La suite a été réalisée au format attendu : intégration explicite d’une couche de contraintes de fusion dans le registre transmissible (K), puis recalcul complet des paquets (D_{16}) et (D_{17}) sur le noyau réduit, avec invariants de fin de palier ((\max A_{16}=25), (\max A_{17}=26)) et listes exhaustives de clauses (CSV) prêtes pour un audit externe. La discipline de formulation sur espace étendu, où (K) est une composante d’état et non un commentaire, reste cohérente avec la méthodologie décrite dans la version formelle. - - -s données d'audit précises (paliers $2^{27}$ et $2^{28}$) dans le document global sur la structure de la preuve. Cette mise à jour du Canvas permet de passer d'une description théorique à un compte-rendu technique de l'extinction du noyau après l'intégration de la couche de fusion. Le document reflète maintenant la progression réelle de la mesure de couverture et les nouveaux invariants de fin de palier ($\max A_{16}=25$ et $\max A_{17}=26$). \ No newline at end of file +L’intégration explicite d’une couche de contraintes de fusion dans le registre (K), puis le recalcul des paquets (D_{16}) et (D_{17}) sur le noyau réduit, donnent les invariants de fin de palier (\max A_{16}=25) et (\max A_{17}=26), ainsi que des listes exhaustives de clauses (CSV) pour audit externe. Les données des paliers (2^{27}) et (2^{28}) sont ainsi intégrées dans la structure globale de la preuve. \ No newline at end of file