**Auteur** : Équipe 4NK

# Rapport d’exécution — universal_clauses_palier2p15

## 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/palier2p15
```

## 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_palier2p15.json`
  - sha256: `4c67215954ad636858e34f7a862d1dccd91fe61792bb432a6c97dfa9460a5b4b`
- `/home/ncantu/code/algo/docs/artefacts/collatz/universal_clauses/palier2p15/clauses_universelles.json`
  - sha256: `d4a7e7ce75bcfd4a23555864f167d9a5ae6f2e71a53c0abb6ff4164bc99317b7`
- `/home/ncantu/code/algo/docs/artefacts/collatz/universal_clauses/palier2p15/clauses_universelles.md`
  - sha256: `1abf311dee9eb8ff8ef544ae029104c930729f0440b3a828da81dcba6a5eef05`
- `/home/ncantu/code/algo/docs/artefacts/collatz/universal_clauses/palier2p15/verification_universal_clauses.json`
  - sha256: `2f24fdc8a7b501430f4a817ab959d46b44f641b932b442c731f3ca4bba34d40a`
- `/home/ncantu/code/algo/docs/artefacts/collatz/universal_clauses/palier2p15/verification_universal_clauses.md`
  - sha256: `c9a4b90d310a1598c80f818445b90ebddb41fb67f021835208c010000971d1df`

## Compteurs et métriques

- palier (domaine des témoins) : 2^15
- max(2^m_stable) observé : 2^102
- total clauses : 1536
- D_exact : 180
- F : 1356
- D_brother_local : 0
- ok_records : 1536
- ok : True

## Chemins d’artefacts (versionnés)

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