**Auteur** : Équipe 4NK

# Rapport d’exécution — universal_clauses_palier2p16

## Contexte

- **But du run** : extraire des clauses universelles candidates (Option A : Lift(B12)) depuis l’artefact C3 local, et vérifier leur cohérence déterministe.
- **Assertion vérifiée** : cohérence arithmétique des clauses extraites et cohérence des relèvements au module \(2^{m_{stable}}\) avec \(m_{stable}=\max(m, A+1)\).

## Code et reproductibilité

- **Commit Git** : `40fa3808a7bb9078d6078205855dcc2a08578c94`
- **Commande** :

```bash
python3 applications/collatz/collatz_k_scripts/collatz_generate_run_report.py --profile universal_clauses_palier --out-dir applications/collatz/out --docs-dir docs --universal-clauses-artefacts-dir docs/artefacts/collatz/universal_clauses/palier2p16
```

## Empreintes sha256 (scripts, artefacts)

- `/home/ncantu/code/algo/applications/collatz/collatz_k_scripts/collatz_generate_run_report.py`
  - sha256: `2d4137fe97bc487d949675bf500eda9194399d0bd64c5d608b221bf072a3ddd1`
- `/home/ncantu/code/algo/applications/collatz/collatz_k_scripts/collatz_extract_universal_clauses.py`
  - sha256: `d7eec1a0fb3b0fc3dd530d3d6c92e06dd1bce00199db48ae001c45de9d517c4a`
- `/home/ncantu/code/algo/applications/collatz/collatz_k_scripts/collatz_verify_universal_clauses.py`
  - sha256: `e333125148f8f0d2a9634c8714ae4e1870830eb613d7e60702ebabead1abbed8`
- `/home/ncantu/code/algo/docs/artefacts/collatz/c3_local_descent/verification_c3_local_descent_palier2p16.json`
  - sha256: `256311afa9f7388fc08ec61b6734ca1fc5f839fd61061f5d31c16442a344fe3a`
- `/home/ncantu/code/algo/docs/artefacts/collatz/universal_clauses/palier2p16/clauses_universelles.json`
  - sha256: `20eb707f5d0a7745edaa3164b0fa16e61fc15706389e5d83a7792685e1aeb39f`
- `/home/ncantu/code/algo/docs/artefacts/collatz/universal_clauses/palier2p16/clauses_universelles.md`
  - sha256: `c78f8950f548c5129969430685625fa5283e6f705f3b2b887e1afd0ae406bb96`
- `/home/ncantu/code/algo/docs/artefacts/collatz/universal_clauses/palier2p16/verification_universal_clauses.json`
  - sha256: `2bca379b53674b688e4c7af3ed3cb5315c5ac36270920109ddabf20731f62621`
- `/home/ncantu/code/algo/docs/artefacts/collatz/universal_clauses/palier2p16/verification_universal_clauses.md`
  - sha256: `47f2c15df85bcc8f2d16ca1bc70fec39d3aac4c3b336adefc502e442cc36b417`

## Compteurs et métriques

- palier (domaine des témoins) : 2^16
- max(2^m_stable) observé : 2^136
- total clauses : 3072
- D_exact : 360
- F : 2712
- D_brother_local : 0
- ok_records : 3072
- ok : True

## Chemins d’artefacts (versionnés)

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