**Motivations:**
- Materialize the next iteration step (C1 at 2^14, then C3 at 2^14, then universal clauses from that C3).
**Root causes:**
- The palier 2^14 iteration was missing versioned artefacts and run reports, so it was not citable.
**Correctifs:**
- Generate local H6(E) artefacts for all 60 states at palier 2^14 and update `local_H6_index.md`.
- Generate deterministic C3 verification at palier 2^14 and extract/verify universal clauses under `universal_clauses/palier2p14/`.
**Evolutions:**
- Add run reports for all local H6 palier2p14 states, plus C3 palier2p14 and universal_clauses palier2p14.
- Add an iteration protocol instance seeded from C3 palier2p14 (targeting palier 2^15).
**Pages affectées:**
- docs/artefacts/collatz/local_E*_palier2p14/**
- docs/artefacts/collatz/local_H6_index.md
- docs/artefacts/collatz/c3_local_descent/verification_c3_local_descent_palier2p14.{json,md}
- docs/artefacts/collatz/universal_clauses/palier2p14/**
- docs/artefacts/collatz/iteration_protocol/palier2p14/**
- docs/collatz_run_report_2026-03-09_local_H6_E*_palier2p14.md
- docs/collatz_run_report_2026-03-09_c3_local_descent_palier2p14.md
- docs/collatz_run_report_2026-03-09_universal_clauses_palier2p14.md
**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
