**Auteur** : Équipe 4NK

# Rapport d’exécution — c3_local_descent

## Contexte

- **But du run** : vérifier C3 (clôture locale sur Lift(B12) au palier 2^13) via témoins D8/Fusion.
- **Assertion vérifiée** : cohérence arithmétique des témoins (U(m)=U^t(n), m<n) et agrégats (N*).

## Code et reproductibilité

- **Commit Git** : `e3e68fe39c8ad466e5741e87d20311ca93b2456e`
- **Commande** :

```bash
python3 applications/collatz/collatz_k_scripts/collatz_generate_run_report.py --profile c3_local_descent --scope c3_local_descent --out-dir applications/collatz/out --docs-dir docs --c3-artefacts-dir docs/artefacts/collatz/c3_local_descent
```

## Empreintes sha256 (scripts, artefacts)

- `/home/ncantu/code/algo/applications/collatz/collatz_k_scripts/collatz_verify_c3_local_descent.py`
  - sha256: `8959c31332dc650040a434efd9ebfa7a604d2f436a1316cf36371a12578b2b34`
- `/home/ncantu/code/algo/applications/collatz/collatz_k_scripts/collatz_k_core.py`
  - sha256: `2d5fb9fff733c37a2fa88334b034b70bfe23665d5a13bf4b2407bb13de7227dc`
- `/home/ncantu/code/algo/applications/collatz/collatz_k_scripts/collatz_k_fusion.py`
  - sha256: `421d4384b501129a2039c67a327e57e0dd891cdf125c1d74499627bc20a3f62f`
- `/home/ncantu/code/algo/docs/artefacts/collatz/c3_local_descent/verification_c3_local_descent.json`
  - sha256: `cad483cab3a6db3693dc6130e68f61e99350515719bf52fc63370f4287e7ef97`
- `/home/ncantu/code/algo/docs/artefacts/collatz/c3_local_descent/verification_c3_local_descent.md`
  - sha256: `5353489e85fca4ad3774a778e39b57e2994de8e4dfb937b62a8d41df31a952dd`

## Compteurs et métriques

- palier : 2^13
- |Lift(B12)| : 384
- D8 : 54 (exact=27, brothers=27)
- Fusion : 330
- N* (max seuils N0/Nf calculés) : 138
- base validation checked up to : 8191

## Chemins d’artefacts (versionnés)

- ARTEFACTS : `/home/ncantu/code/algo/docs/artefacts/collatz/c3_local_descent`