**Auteur** : Équipe 4NK

# Vérification déterministe — clauses universelles extraites (Option A)

## Entrées

- C3 vérification JSON : `docs/artefacts/collatz/c3_local_descent/verification_c3_local_descent_palier2p16.json`
- clauses JSON : `docs/artefacts/collatz/universal_clauses/palier2p16/clauses_universelles.json`

## Résultat

- ok : True
- palier (domaine) : 2^16
- max(2^m_stable) observé : 2^136

## Compteurs

- ok_records : 3072
- D_exact : 360
- F : 2712
- D_brother_local : 0