algo/applications/collatz/collatz_k_scripts/etat_de_reprise_registreK.md
Nicolas Cantu 9a975c73d7 Restructuration projet : applications, pour enfants, these
**Motivations:**
- Clarifier l'organisation du dépôt par domaine applicatif
- Séparer les contenus par public cible (adulte, enfant, thèse)

**Evolutions:**
- Nouvelle arborescence applications/ (collatz, IA)
- Dossier pour enfants/ pour les contenus jeunesse
- Dossier these/ pour le livre jeune adulte
- Scripts de pipeline Collatz (01-setup, 02-run-pipeline, 03-run-direct-pipeline)
- Candidats D18 palier2p30, registreK partagé en archives zip
- Plan de relecture scientifique mis à jour

**Pages affectées:**
- .cursor/plans/relecture-scientifique-collatz.md
- v0/ → applications/collatz/, applications/IA/, pour enfants/, these/
- IA_agents/ → pour enfants/
2026-03-02 00:18:40 +01:00

1.3 KiB
Raw Permalink Blame History

État de reprise registre K

Introduction

Ce document sert de point dancrage pour reprendre le calcul sans alourdir la conversation. Il liste les artefacts produits, lavancement exact des traitements, et le prochain pas mécanique à exécuter.

Artefacts stabilisés

D18 (palier 2^30, clauses par paires de sœurs, condition A18 ≥ 29) :

  • audit : candidats_D18_palier2p30_ge29_et_impact.md
  • liste exhaustive (Markdown, bloc CSV) : candidats_D18_palier2p30_ge29_liste_exhaustive.md
  • CSV exhaustif : candidats_D18_palier2p30_ge29.csv
  • noyau restant après D18 (binaire uint32) : R30_after_D18.bin

Calcul en cours

D19 (palier 2^32, clauses par paires de sœurs, condition A19 ≥ 31) :

  • CSV en cours dalimentation : candidats_D19_palier2p32_ge31.csv
  • noyau restant partiel (binaire uint32) : R32_after_D19.bin
  • état davancement : offset = 7900000 sur 11181144 bases (mod 2^30)

Prochain pas de reprise

Finir le balayage D19 sur les bases restantes :

  • bases restantes = 3281144 Puis produire :
  • audit D19 (Markdown)
  • liste exhaustive D19 (Markdown, bloc CSV)

Fichiers de contrôle

  • D18_progress.json (paramètres + compteurs) : offset=3069964, paires couvertes=549356
  • D19_progress.json (paramètres + compteurs) : offset=7900000, paires couvertes=1130571