ncantu c71cd4475a collatz: update scripts, conjoncture, hensel_b bundle and certs_shifted

**Motivations:**
- Sync refinement bundle script, hensel chain shifted, conjoncture and artefacts.

**Root causes:** N/A
**Correctifs:** N/A
**Evolutions:**
- collatz_build_hensel_chain_leaves_shifted.py
- collatz_build_refinement_bundle_over_Sm_multilevel.py
- README.md, conjoncture_collatz.md
- bundle_mod2p15_to2p24_hensel_b, certs_shifted

**Pages affectées:**
- applications/collatz/collatz_k_scripts/
- applications/collatz/conjoncture_collatz.md
- docs/artefacts/collatz/refinement_K/

2026-03-10 16:52:28 +01:00

2.3 KiB

Raw Permalink Blame History

scripts collatz registre K

Objet

Scripts Python nécessaires pour reproduire les calculs et audits produits jusqu’ici:

génération des paquets D_k (au moins la branche "après fusion" pour D16 et D17)
génération et audit des clauses de fusion (F)
production systématique des listes exhaustives en Markdown (bloc CSV)
génération et vérification de clauses terminales sur S_M (exactes et minorées)
certificats de raffinement (sur L et sur S_M)

Entrées

Les scripts attendent les fichiers:

audit_60_etats_B12_mod4096_horizon7.json
complétion_minorée_m15_vers_m16.md
candidats_D10_palier2p17.md

Exécution

Pipeline directe:

python collatz_k_pipeline.py
--audit60 /chemin/audit_60_etats_B12_mod4096_horizon7.json
--m15m16 /chemin/complétion_minorée_m15_vers_m16.md
--d10 /chemin/candidats_D10_palier2p17.md
--out /chemin/sorties

Orchestrateur:

python reproduce_all_audits.py --root /chemin/fichiers_source --out /chemin/sorties

Compléments (scripts unitaires)

collatz_generate_terminal_clauses_over_Sm.py : clauses terminales (D/F) directement décidables sur S_M.
collatz_generate_minorated_descent_clauses_over_Sm.py : clauses de descente minorées (D_minor) sur S_M.
collatz_verify_minorated_descent_clauses_over_Sm.py : vérification déterministe des clauses D_minor.
collatz_derive_brother_minorated_clauses_from_terminal_over_Sm.py : dérivation de clauses D_minor “par frères” à partir de clauses D_exact sur S_m.
collatz_build_refinement_certificate_over_Sm_multilevel.py : audit de fermeture par raffinement (multi-niveaux) sur S_M.
collatz_compare_dminor_families_incremental.py : tableau d’impact incrémental (Δopen_roots, Δq_m, Δparents_one_child, quantiles lb) par ajout de familles D_minor groupées par k.
collatz_build_hensel_chain_leaves.py : feuilles chaîne de Hensel (racine à palier M).
collatz_build_hensel_chain_leaves_shifted.py : chaîne Hensel décalée (Phase 3), démarrage à m=19..24 (--start-m). Charge .residues.json et D_minor > 50 Mo en flux ; --leaf-list-file pour éviter CLI long.
collatz_build_refinement_bundle_over_Sm_multilevel.py : pipeline “1 commande” (fermeture multi-niveaux + profil d’obstruction + diagnostic ciblé optionnel). --leaf-list-file pour chemins depuis un fichier.

2.3 KiB Raw Permalink Blame History Unescape Escape