# État de reprise registre K

## Introduction

Ce document sert de point d’ancrage pour reprendre le calcul sans alourdir la conversation. Il liste les artefacts produits, l’avancement 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 d’alimentation : candidats_D19_palier2p32_ge31.csv
- noyau restant partiel (binaire uint32) : R32_after_D19.bin
- état d’avancement : 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