**Auteur** : Équipe 4NK

# Collatz — Artefacts H6 locaux et index agrégé (états B12)

## Objectif

Versionner et référencer, pour chaque état \(E\) de la base projective \(B_{12}\) (audit des 60 états), un paquet d’artefacts “local H6” permettant de vérifier une assertion de couverture au sens strict :

- le domaine des relèvements au palier \(2^m\) est égal à l’union des ensembles `covered` de certificats locaux D/F.

## Impacts

- Les preuves et diagnostics reposent sur des artefacts **versionnés** (et non sur `applications/collatz/out/`, ignoré par Git).
- Un index agrégé permet d’extraire \(\Delta m(E)\) et les horizons minimaux observés (D8 et fusion) pour chaque état.

## Modifications

- Ajout d’un générateur d’artefacts locaux : `applications/collatz/collatz_k_scripts/collatz_generate_local_h6_artefacts.py`.
- Ajout d’un index agrégé : `docs/artefacts/collatz/local_H6_index.md`.
- Ajout d’artefacts versionnés par état : `docs/artefacts/collatz/local_E{etat_id}_palier2p{m}/`.
- Génération de rapports d’exécution par état via le profil `local_H6` du générateur de rapports.

## Modalités d’analyse

- Vérifier la cohérence de l’index `docs/artefacts/collatz/local_H6_index.md` avec les `metadata.json` des répertoires `local_E*_palier2p*`.
- Pour un état donné, re-générer le rapport :
  - `python3 applications/collatz/collatz_k_scripts/collatz_generate_run_report.py --profile local_H6 --scope <...> --local-h6-artefacts-dir <dir> --out-dir applications/collatz/out --docs-dir docs`

## Modalités de déploiement

Aucun déploiement.