**Auteur** : Équipe 4NK

# Rapport d’exécution — universal_clauses

## 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 --scope universal_clauses --out-dir applications/collatz/out --docs-dir docs --universal-clauses-artefacts-dir docs/artefacts/collatz/universal_clauses
```

## Empreintes sha256 (scripts, artefacts)

- `/home/ncantu/code/algo/applications/collatz/collatz_k_scripts/collatz_generate_run_report.py`
  - sha256: `d08e999da6b22ab6d48886c65f2c464c85294f22300b0f77727845331411a66e`
- `/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.json`
  - sha256: `cad483cab3a6db3693dc6130e68f61e99350515719bf52fc63370f4287e7ef97`
- `/home/ncantu/code/algo/docs/artefacts/collatz/universal_clauses/clauses_universelles.json`
  - sha256: `45da7b5bb606ebe03a5bc596a0629f4762ca960dc675fe6fe55504c2bdc3ea9f`
- `/home/ncantu/code/algo/docs/artefacts/collatz/universal_clauses/clauses_universelles.md`
  - sha256: `8fde4f3ecbe1504ebf3bf88eed13bddeca7ca66c67c07cb148a91551a63988b6`
- `/home/ncantu/code/algo/docs/artefacts/collatz/universal_clauses/verification_universal_clauses.json`
  - sha256: `a45f5a6279febe00a8c723718e935d45481c1c4e2ec60b4664c7a506321121c5`
- `/home/ncantu/code/algo/docs/artefacts/collatz/universal_clauses/verification_universal_clauses.md`
  - sha256: `a40e151dc81c004009030b0749c9025cc5f74526ae0bf60fecd72d11fe20f5e3`

## Compteurs et métriques

- palier (domaine des témoins) : 2^13
- max(2^m_stable) observé : 2^85
- total clauses : 384
- D_exact : 27
- F : 330
- D_brother_local : 27
- ok_records : 384
- ok : True

## Chemins d’artefacts (versionnés)

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