**Auteur** : Équipe 4NK

# Certificat de raffinement — décidabilité depuis 2^15 (domaine L)

## Entrées

- clauses : `docs/artefacts/collatz/universal_clauses/palier2p15/clauses_universelles.json`
- C3 : `docs/artefacts/collatz/c3_local_descent/verification_c3_local_descent_palier2p15.json`

## Domaine

- palier : 2^15
- |L| : 1536
- generated_at : 2026-03-09T17:26:47.413908Z

## Décidabilité (sur L)

- feuilles directes (m_leaf = 15) : 235
- feuilles raffinées (m_leaf > 15) : 1301
- profondeur max : 87

### Buckets (profondeur = m_leaf - M)

- depth=0 : 235
- depth=1 : 68
- depth=2 : 91
- depth=3 : 142
- depth=4 : 85
- depth=5 : 93
- depth=6 : 64
- depth=7 : 49
- depth=8 : 61
- depth=9 : 48
- depth=10 : 40
- depth=11 : 47
- depth=12 : 48
- depth=13 : 38
- depth=14 : 50
- depth=15 : 29
- depth=16 : 25
- depth=17 : 18
- depth=18 : 11
- depth=19 : 18
- depth=20 : 18
- depth=21 : 13
- depth=22 : 21
- depth=23 : 17
- depth=24 : 10
- depth=25 : 7
- depth=26 : 7
- depth=27 : 11
- depth=28 : 9
- depth=29 : 10
- depth=30 : 14
- depth=31 : 10
- depth=32 : 7
- depth=33 : 9
- depth=34 : 7
- depth=35 : 8
- depth=36 : 5
- depth=37 : 3
- depth=38 : 6
- depth=39 : 5
- depth=40 : 2
- depth=41 : 9
- depth=42 : 3
- depth=43 : 5
- depth=44 : 4
- depth=45 : 2
- depth=46 : 4
- depth=47 : 3
- depth=48 : 2
- depth=49 : 3
- depth=50 : 3
- depth=51 : 3
- depth=52 : 1
- depth=53 : 5
- depth=54 : 2
- depth=55 : 2
- depth=56 : 5
- depth=57 : 5
- depth=58 : 2
- depth=59 : 1
- depth=60 : 2
- depth=61 : 2
- depth=63 : 1
- depth=67 : 1
- depth=68 : 2
- depth=69 : 3
- depth=70 : 1
- depth=87 : 1

## Sorties

- JSON : `docs/artefacts/collatz/refinement_K/palier2p15/refinement_certificate_mod2p15.json`
- Audit JSON : `docs/artefacts/collatz/refinement_K/palier2p15/audit_refinement_certificate_mod2p15.json`