**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_palier2p14.json`
- clauses JSON : `docs/artefacts/collatz/universal_clauses/palier2p14/clauses_universelles.json`

## Résultat

- ok : True
- palier (domaine) : 2^14
- max(2^m_stable) observé : 2^102

## Compteurs

- ok_records : 768
- D_exact : 60
- F : 648
- D_brother_local : 60