ncantu cb7197fa43 Version local H6 artefacts for all B12 states and add aggregated index

**Motivations:**
- Make H6(E) checks reproducible and citeable for all 60 B12 states
- Provide an aggregated view of Δm(E) and minimal observed horizons

**Root causes:**
- applications/collatz/out/ is Git-ignored, so local H6 artefacts must live in versioned docs paths
- Per-state H6 evidence was previously limited to E1

**Correctifs:**
- Replace ambiguous palier inference for local certificates with explicit palier in JSON

**Evolutions:**
- Add a generator for versioned local H6 artefacts (per state) at palier 2^13
- Generate per-state local H6 run reports and a versioned aggregated index
- Reference the aggregated index from the proof plan

**Pages affectées:**
- applications/collatz/collatz_k_scripts/collatz_generate_local_h6_artefacts.py
- applications/collatz/collatz_k_scripts/plan_lemmes_manquants_et_programme_de_preuve.md
- docs/artefacts/collatz/local_H6_index.md
- docs/artefacts/collatz/local_E*_palier2p13/**
- docs/collatz_run_report_2026-03-09_local_H6_E*_palier2p13.md
- docs/features/collatz_local_h6_artefacts_and_index.md

2026-03-09 01:00:12 +01:00

1.6 KiB

Raw Blame History

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.

1.6 KiB Raw Blame History Unescape Escape